mit, spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “no, but…” has to be a...

58
Justin Solomon MIT, Spring 2017

Upload: others

Post on 25-May-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Justin SolomonMIT, Spring 2017

Page 2: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

SIGN

MISTAKES

LIKELY

Page 3: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Lots of (sloppy) math!

http://www.wgnflag.com/xcart/images/P/G-50_StopSeatBeltsStockSign.jpg

Page 4: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 5: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 6: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

http://www.takamine.com/templates/default/images/gclassical.pnghttp://firsttimeprogrammer.blogspot.com/2015/05/spectrogram-representation-of-b-note.html

Length of string

Page 7: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

“No, but…”

Has to be a weird drum Spectrum tells you a lot!

https://en.wikipedia.org/wiki/Hearing_the_shape_of_a_drum

Page 8: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

http://pngimg.com/upload/hammer_PNG3886.png

You can learn a lot about a shape by hitting it (lightly) with a hammer!

Page 9: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

What can you learn about its shape from

vibration frequencies and oscillation patterns?

Page 10: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Make “vibration modes” more precise

Progressively more complicated domains Line segments

Regions in ℝ𝟐

Graphs

Surfaces/manifolds

Next time: Discretization, applications

Page 11: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 12: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 13: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Theorem. Suppose 𝑨 ∈ ℂ𝒏×𝒏 is Hermitian. Then, 𝑨 has an orthogonal basis of 𝒏eigenvectors. If 𝑨 is positive definite, the corresponding eigenvalues are nonnegative.

Page 14: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Line segments

Regions in ℝ𝟐

Graphs

Surfaces/manifolds

Page 15: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Eigenfunctions:

“Dirichlet boundary conditions”

Page 16: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Minus second derivative operator!

Page 17: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 18: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Theorem. Let 𝑯 ≠ 𝟎 be an infinite-dimensional, separable Hilbert space and let 𝑲 ∈ 𝑳(𝑯) be compact and self-adjoint. Then, there exists a countable orthonormal basis of 𝑯 consisting of eigenvectors of 𝑲.

https://www.math.ku.edu/~matjohn/Teaching/S16/Math951/HilbertSchmidt.pdf

Hilbert space: Space with inner productSeparable: Admits countable, dense subsetCompact operator: Bounded sets to relatively compact setsSelf-adjoint: 𝐾𝑣, 𝑤 = ⟨𝑣, 𝐾𝑤⟩

Page 19: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 20: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Image by E. Vouga

Page 21: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Line segments

Regions in ℝ𝟐

Graphs

Surfaces/manifolds

Page 22: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Wave equation:

Page 23: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Gradient operator:

divergencegradient

http://www.gamasutra.com/db_area/images/feature/4164/figy.png, https://en.wikipedia.org/wiki/Gradient

Page 24: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

On board:1. Positive:

2. Self-adjoint:

“Dirichlet boundary conditions”

Page 25: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

On board:

“Laplace equation”“Harmonic function”

Images made by E. Vouga

Page 26: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Images made by E. Vouga

Page 27: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Coordinate-independent (important!)Images made by E. Vouga

Page 28: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Point constraints are ill-advisedhttp://wp.production.patheos.com/blogs/johnbeckett/files/2015/01/shutterstock_81695467.jpg

Page 29: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Small eigenvalue: Small Dirichlet Energyhttp://www.math.udel.edu/~driscoll/research/gww1-4.gif

Page 30: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Line segments

Regions in ℝ𝟐

Graphs

Surfaces/manifolds

Page 31: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Function:One value per vertex

Page 32: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

What is the Dirichlet energy of a function on a graph?

Page 33: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Orient edges arbitrarily

-1 +2

-1 0

0 0

1

-1

00

2

0

Page 34: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

v

w

Page 35: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

https://en.wikipedia.org/wiki/Laplacian_matrix

Symmetric Positive definite

Page 36: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

What is the smallest eigenvalue

of the graph Laplacian?

Page 37: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Fiedler vector (“algebraic connectivity”)

Page 38: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Value at v is average of neighboring values

Page 39: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Graph Laplacian encodes lots of information!

Example: Kirchoff’s TheoremNumber of spanning trees equals

Page 40: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 41: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Line segments

Regions in ℝ𝟐

Graphs

Surfaces/manifolds

Page 42: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

http://www.ieeta.pt/polymeco/Screenshots/PolyMeCo_OneView.jpg

Map points to real numbers

Page 43: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Suppose 𝒇: 𝑺 → ℝ and take 𝒑 ∈ 𝑺. For 𝒗 ∈ 𝑻𝒑𝑺, choose a curve 𝜶: −𝜺, 𝜺 → 𝑺 with

𝜶 𝟎 = 𝒑 and 𝜶′ 𝟎 = 𝒗. Then the differential of 𝒇 is 𝒅𝒇: 𝑻𝒑𝑺 → ℝ with

http://blog.evolute.at/

On the board (time-permitting):• Does not depend on choice of 𝜶• Linear map

Following Curves and Surfaces, Montiel & Ros

Page 44: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Following Curves and Surfaces, Montiel & Ros

Page 45: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Images made by E. Vouga

Decreasing E

Page 46: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

On the board:“Motivation” from finite-dimensional linear algebra.

Laplace-Beltrami operator

Page 47: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Things we should check (but probably won’t):• Independent of choice of basis

• 𝚫 = 𝛁 ⋅ 𝛁

Page 48: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Laplace-Beltrami coincides with Laplacian on ℝ𝟐

when 𝝈 takes 𝒙, 𝒚 axes to orthonormal vectors.

Page 49: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

http://alice.loria.fr/publications/papers/2008/ManifoldHarmonics//photo/dragon_mhb.png

Page 50: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

https://www.youtube.com/watch?v=CGiiSlMFFlI

Page 51: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

https://www.youtube.com/watch?v=Fyzqd2_T09Q

Page 52: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

https://www.youtube.com/watch?v=3uMZzVvnSiU

Page 53: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Theorem (Courant). The n-th eigenfunctionof the Dirichlet boundary value problem has at most n nodal domains.

https://en.wikipedia.org/wiki/Ernst_Chladni

Page 54: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Heat equationhttp://graphics.stanford.edu/courses/cs468-10-fall/LectureSlides/11_shape_matching.pdf

Page 55: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

https://en.wikipedia.org/wiki/Spherical_harmonics

Page 56: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!
Page 57: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

http://trecs.se/pix/pseudosphereNormalVectorField4096.png

Intuition:Laplacian measures difference with neighbors.

Page 58: MIT, Spring 2017groups.csail.mit.edu/.../8_laplacian_operator.pdf · “No, but…” Has to be a weird drum Spectrum tells you a lot!

Justin SolomonMIT, Spring 2017