![Page 1: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/1.jpg)
DISCRETE DIFFERENTIAL GEOMETRY:
AN APPLIED INTRODUCTIONKeenan Crane • CMU 15-458/858
![Page 2: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/2.jpg)
Keenan Crane • CMU 15-458/858
DISCRETE DIFFERENTIAL GEOMETRY:
AN APPLIED INTRODUCTION
LECTURE 6:EXTERIOR CALCULUS — DIFFERENTIATION
![Page 3: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/3.jpg)
a
a(u)
u
1-form 3-form differential 2-form
• Today: exterior calculus
•how do k-forms change?
•how do we integrate k-forms?
Exterior Calculus—Overview• Previously:
•1-form—linear measurement of a vector
•k-form—multilinear measurement of volume
•differential k-form—k-form at each point
![Page 4: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/4.jpg)
Integration and Differentiation•Two big ideas in calculus:
•differentiation
•integration
•linked by fundamental theorem of calculus
•Exterior calculus generalizes these ideas
•differentiation of k-forms (exterior derivative)
•integration of k-forms (measure volume)
•linked by Stokes’ theorem
•Goal: integrate differential forms over meshes to get discrete exterior calculus (DEC)
![Page 5: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/5.jpg)
Motivation for Exterior Calculus•Why study these two very similar viewpoints? (I.e., vector vs. exterior calculus)
•Hard to measure change in volumes using basic vector calculus
•Duality clarifies the distinction between different concepts/quantities•Topology: notion of differentiation that does not require metric (e.g., cohomology)
•Geometry: clear language for calculus on curved domains (Riemannian manifolds)
•Physics: clear distinction between physical quantities (e.g., velocity vs. momentum)• Computer Science: Leads directly to discretization/computation!
![Page 6: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/6.jpg)
Exterior Derivative
![Page 7: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/7.jpg)
Derivative—Many Interpretations…
“pushforward”
“slope of the graph”/“rise over run”
“best linear approximation”
“difference in the limit”
![Page 8: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/8.jpg)
Vector Derivatives—Visualized
grad f div X
f X Y
curl Y
![Page 9: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/9.jpg)
Review—Vector Derivatives in CoordinatesHow do we express grad, div, and curl in coordinates?
grad div curl
![Page 10: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/10.jpg)
Exterior Derivative
exactness
differential
Where do these rules come from?(What’s the geometric motivation?)
product rule
![Page 11: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/11.jpg)
Exterior Derivative—Differential
![Page 12: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/12.jpg)
Review: Directional Derivative•The directional derivative of a scalar function at a point p
with respect to a vector X is the rate at which that function increases as we walk away from p with velocity X.
•More precisely: p
X
•Alternatively, suppose that X is a vector field, rather than just a vector at a single point. Then we can write just:
•The result is a scalar function, whose value at each point p is the directional derivative along the vector X(p).
![Page 13: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/13.jpg)
Review: Gradient
I.e., at each point the gradient is the unique vector* such that taking the inner product ⟨・,・⟩ with a given vector X yields the directional derivative along X.
*Assuming it exists! I.e., assuming the function is differentiable.
![Page 14: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/14.jpg)
Differential of a Function•Recall that differential 0-forms are just ordinary scalar functions
•Change in a scalar function can be measured via the differential
•Two ways to define differential:
1. As unique 1-form such that applying to any vector field gives directional derivative along those directions:
2. In coordinates:
…but wait, isn’t this just the same as the gradient?
![Page 15: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/15.jpg)
Gradient vs. Differential•Superficially, gradient and differential look quite similar (but not identical!):
•Especially in Rn:
•So what’s the difference?•For one thing, one is a vector field; the other is a differential 1-form•More importantly, gradient depends on inner product; differential doesn’t
Makes a big difference when it comes to curved geometry, numerical optimization, …
![Page 16: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/16.jpg)
Exterior Derivative—Product Rule
![Page 17: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/17.jpg)
Exterior Derivative
exactness
differential
product rule
![Page 18: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/18.jpg)
Review: Product of Numbers
Q: What’s the geometric interpretation of the statement “4 × 3 = 12”?
Q: Why is it true that ab = ba for any two real numbers a, b?
Q: How about “3 × 4 = 12”?
A:
4
3
4
3 12
A:
![Page 19: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/19.jpg)
Product Rule—Derivative
Q: Why? What’s the geometric interpretation?
![Page 20: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/20.jpg)
Product Rule—Exterior Derivative
Q: Geometric intuition?
(Does this cartoon depict the exterior derivative? Or a directional derivative?)
![Page 21: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/21.jpg)
Product Rule—“Recursive Evaluation”
![Page 22: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/22.jpg)
Exterior Derivative—Examples
![Page 23: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/23.jpg)
Exterior Derivative—Exactness
![Page 24: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/24.jpg)
Exterior Derivative
exactness
differential
product rule
Why?
![Page 25: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/25.jpg)
grad ff curl � grad f
Review: Curl of Gradient
Key idea: exterior derivative should capture a similar idea.
![Page 26: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/26.jpg)
A:
Q: Does this operation remind you of anything (perhaps from vector calculus)?
![Page 27: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/27.jpg)
Exterior Derivative and CurlSuppose we have a vector field
Its curl is then
Looks an awful lot like…
Especially if we then apply the Hodge star.
![Page 28: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/28.jpg)
d � d = 0
f df
Intuition: in Rn, first d behaves just like gradient; second d behaves just like curl.
![Page 29: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/29.jpg)
Exterior Derivative in 3D (1-forms)
A:
Q: Does this operation remind you of anything (perhaps from vector calculus)?
![Page 30: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/30.jpg)
Exterior Derivative and Divergence
Its divergence is then
Looks an awful lot like…
Especially if we then apply the Hodge star.
Suppose we have a vector field
![Page 31: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/31.jpg)
Exterior Derivative - Divergence
( codifferential: )
![Page 32: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/32.jpg)
Exterior vs. Vector Derivatives—Summary
grad f div X
f X Y
curl Y
![Page 33: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/33.jpg)
Exterior Derivative
exactness
differential
product rule
![Page 34: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/34.jpg)
Exterior Derivative—Summary
![Page 35: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/35.jpg)
Exterior Calculus—Diagram View•Taking a step back, we can draw many of the operators seen so far as diagrams:
![Page 36: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/36.jpg)
Laplacian•Can now compose operators to get other operators
•E.g., Laplacian from vector calculus:
•Can express exact same operator via exterior calculus:
•…except that this expression easily generalizes to curved domains.
•Can also generalize to k-forms:
•Will have much more to say about the Laplacian later on!
-
![Page 37: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/37.jpg)
•Exterior derivative d used to differentiate k-forms
•0-form: “gradient”
•1-form: “curl”
•2-form: “divergence” (codifferential δ)
•and more...
•Natural product rule
•d of d is zero
•Analogy: curl of gradient
•More general picture (soon!) via Stokes’ theorem
Exterior Derivative - Summary
![Page 38: DDG 458 SP19 Lecture06 ExteriorDifferentiation](https://reader033.vdocuments.us/reader033/viewer/2022060219/6293c36f982844752b611117/html5/thumbnails/38.jpg)
Thanks!
DISCRETE DIFFERENTIAL GEOMETRYAN APPLIED INTRODUCTION