zev kaplowitz - university of marylanddrp.math.umd.edu/project-slides/kaplowitzspring2015.pdf · a...
TRANSCRIPT
![Page 1: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/1.jpg)
ZEV KAPLOWITZ
Directed Reading Program
A Geometric Approach of Differential Forms
University of Maryland
![Page 2: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/2.jpg)
A problem with parametric integration
When two different parametrizations are used when integratinga function over a surface, different values seem to appear.
Proof.if φ1(x) = (x ,
√1− x2)and φ2(θ) = (cos(θ), sin(θ))∫ 1
−11− x2dx 6=
∫ π0
sin2(θ)dθ for∫y 2dy over the top half of a
circle
Our problem stems from the fact that the points φ1(ai) arenot evenly spaced along the curve
![Page 3: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/3.jpg)
A problem with parametric integration
When two different parametrizations are used when integratinga function over a surface, different values seem to appear.
Proof.if φ1(x) = (x ,
√1− x2)and φ2(θ) = (cos(θ), sin(θ))∫ 1
−11− x2dx 6=
∫ π0
sin2(θ)dθ for∫y 2dy over the top half of a
circle
Our problem stems from the fact that the points φ1(ai) arenot evenly spaced along the curve
![Page 4: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/4.jpg)
A problem with parametric integration
When two different parametrizations are used when integratinga function over a surface, different values seem to appear.
Proof.if φ1(x) = (x ,
√1− x2)and φ2(θ) = (cos(θ), sin(θ))∫ 1
−11− x2dx 6=
∫ π0
sin2(θ)dθ for∫y 2dy over the top half of a
circle
Our problem stems from the fact that the points φ1(ai) arenot evenly spaced along the curve
![Page 5: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/5.jpg)
A calculated transformation
Using Riemann sums we can find an appropriate integral
n∑i=1
F (ai)∆a =n∑
i=1
f (φ1(ai))Li as n goes to infinity
lim∆a→0 F (ai) = lim∆a→0f (φ1(ai ))Li
∆awhen boiled down has
F (a) = f (φ1(ai))
∣∣∣∣dφ1
da
∣∣∣∣ dafor lines in R2and similarly for surfaces in R3
F (a) = f (φ(a, b))Area(dφ
da,dφ
db)da db
![Page 6: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/6.jpg)
A calculated transformation
Using Riemann sums we can find an appropriate integral
n∑i=1
F (ai)∆a =n∑
i=1
f (φ1(ai))Li as n goes to infinity
lim∆a→0 F (ai) = lim∆a→0f (φ1(ai ))Li
∆awhen boiled down has
F (a) = f (φ1(ai))
∣∣∣∣dφ1
da
∣∣∣∣ dafor lines in R2and similarly for surfaces in R3
F (a) = f (φ(a, b))Area(dφ
da,dφ
db)da db
![Page 7: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/7.jpg)
Forms
Definition (1-form)A 1-form is simply a linear function denoted by ω which is feda vector and:
• projects onto each coordinate axis, scaling each by someconstant and adding the result
• projects onto some line and then multiplies by someconstant or
The vectors fed exist on on the tangent space to a pointdenoted by TpR2 for a line and TpR3 for a surface
![Page 8: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/8.jpg)
Forms
Definition (1-form)A 1-form is simply a linear function denoted by ω which is feda vector and:
• projects onto each coordinate axis, scaling each by someconstant and adding the result
• projects onto some line and then multiplies by someconstant or
The vectors fed exist on on the tangent space to a pointdenoted by TpR2 for a line and TpR3 for a surface
![Page 9: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/9.jpg)
Forms
Definition (1-form)A 1-form is simply a linear function denoted by ω which is feda vector and:
• projects onto each coordinate axis, scaling each by someconstant and adding the result
• projects onto some line and then multiplies by someconstant or
The vectors fed exist on on the tangent space to a pointdenoted by TpR2 for a line and TpR3 for a surface
![Page 10: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/10.jpg)
Forms
Definition (1-form)A 1-form is simply a linear function denoted by ω which is feda vector and:
• projects onto each coordinate axis, scaling each by someconstant and adding the result
• projects onto some line and then multiplies by someconstant or
The vectors fed exist on on the tangent space to a pointdenoted by TpR2 for a line and TpR3 for a surface
![Page 11: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/11.jpg)
Multiplying 1-forms
The multiplication of two one forms, say ω(V1) and υ(V2), isconsidered a 2-form and denoted by ω ∧ υ(V1,V2) and isevaluated in the following way:
ω ∧ υ(V1,V2) =
∣∣∣∣ω(V1) ω(V2)υ(V1) υ(V2)
∣∣∣∣Definitionfor ω = adx + bdy + cdz , 〈ω〉 = 〈a, b, c〉
It is possible to show through the linearity of forms two uniquegeometric and algebraic definitions
![Page 12: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/12.jpg)
Multiplying 1-forms
The multiplication of two one forms, say ω(V1) and υ(V2), isconsidered a 2-form and denoted by ω ∧ υ(V1,V2) and isevaluated in the following way:
ω ∧ υ(V1,V2) =
∣∣∣∣ω(V1) ω(V2)υ(V1) υ(V2)
∣∣∣∣
Definitionfor ω = adx + bdy + cdz , 〈ω〉 = 〈a, b, c〉
It is possible to show through the linearity of forms two uniquegeometric and algebraic definitions
![Page 13: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/13.jpg)
Multiplying 1-forms
The multiplication of two one forms, say ω(V1) and υ(V2), isconsidered a 2-form and denoted by ω ∧ υ(V1,V2) and isevaluated in the following way:
ω ∧ υ(V1,V2) =
∣∣∣∣ω(V1) ω(V2)υ(V1) υ(V2)
∣∣∣∣Definitionfor ω = adx + bdy + cdz , 〈ω〉 = 〈a, b, c〉
It is possible to show through the linearity of forms two uniquegeometric and algebraic definitions
![Page 14: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/14.jpg)
ω ∧ υ = |〈ω〉| |〈υ〉| ω ∧ υ
Evaluating ω ∧ υ on the pair of vectors (V1,V2) gives the areaof the parallelogram spanned by V1 and V2 projected onto the
plane containing the vectors 〈ω〉 and 〈υ〉, and multiplied bythe area of the parallelogram spanned by 〈ω〉 and 〈υ〉
ω ∧ υ = c1dx ∧ dy + c2dx ∧ dz + c3dy ∧ dz
Every 2-form projects the parallelogram spanned by V1 and V2
onto each of the (2-dimensional) coordinate planes, computesthe resulting (signed) areas, multiplies each by some constant,
and adds the results
![Page 15: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/15.jpg)
ω ∧ υ = |〈ω〉| |〈υ〉| ω ∧ υ
Evaluating ω ∧ υ on the pair of vectors (V1,V2) gives the areaof the parallelogram spanned by V1 and V2 projected onto the
plane containing the vectors 〈ω〉 and 〈υ〉, and multiplied bythe area of the parallelogram spanned by 〈ω〉 and 〈υ〉
ω ∧ υ = c1dx ∧ dy + c2dx ∧ dz + c3dy ∧ dz
Every 2-form projects the parallelogram spanned by V1 and V2
onto each of the (2-dimensional) coordinate planes, computesthe resulting (signed) areas, multiplies each by some constant,
and adds the results
![Page 16: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/16.jpg)
Differential Forms
Forms that are differentiable on a given interval can be usedmore easily for our integral previously on the part whichinvolved Area(dφ
da, dφdb
)
Example
for the differential 2 form acting on two vector fieldsV1 = 〈2y , 0,−x〉 and V2 = 〈z , 1, xy〉 with
ω = x2ydx ∧ dy − xzdy ∧ dz
ω(V1,V2) = x2y
∣∣∣∣2y z0 1
∣∣∣∣− xz
∣∣∣∣ 0 1−x xy
∣∣∣∣ = 2x2y 2 − x2z
![Page 17: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/17.jpg)
Differential Forms
Forms that are differentiable on a given interval can be usedmore easily for our integral previously on the part whichinvolved Area(dφ
da, dφdb
)
Example
for the differential 2 form acting on two vector fieldsV1 = 〈2y , 0,−x〉 and V2 = 〈z , 1, xy〉 with
ω = x2ydx ∧ dy − xzdy ∧ dz
ω(V1,V2) = x2y
∣∣∣∣2y z0 1
∣∣∣∣− xz
∣∣∣∣ 0 1−x xy
∣∣∣∣ = 2x2y 2 − x2z
![Page 18: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/18.jpg)
Integrating Forms
Through a similar proof as with the integral of a function weassociate the integral of a 2-form in R3 through equivalentRiemann sums∑
i
∑j
f (xi , yj)dx ∧ dy(V 1i ,j ,V
2i ,j) =
∑i
∑j
ωφ(xi ,yj )(V1i ,j ,V2
i ,j)
Through extensive calculations becomes:∫M
ω =
∫R
ωφ(x ,y)(∂φ
∂x,∂φ
∂y)dx ∧ dy
The orientation of the parametrization is crucial and canswitch based on the choice of V 1
i ,j and −V 1i ,j
![Page 19: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/19.jpg)
Integrating Forms
Through a similar proof as with the integral of a function weassociate the integral of a 2-form in R3 through equivalentRiemann sums∑
i
∑j
f (xi , yj)dx ∧ dy(V 1i ,j ,V
2i ,j) =
∑i
∑j
ωφ(xi ,yj )(V1i ,j ,V2
i ,j)
Through extensive calculations becomes:∫M
ω =
∫R
ωφ(x ,y)(∂φ
∂x,∂φ
∂y)dx ∧ dy
The orientation of the parametrization is crucial and canswitch based on the choice of V 1
i ,j and −V 1i ,j
![Page 20: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/20.jpg)
Integrating Forms
Through a similar proof as with the integral of a function weassociate the integral of a 2-form in R3 through equivalentRiemann sums∑
i
∑j
f (xi , yj)dx ∧ dy(V 1i ,j ,V
2i ,j) =
∑i
∑j
ωφ(xi ,yj )(V1i ,j ,V2
i ,j)
Through extensive calculations becomes:∫M
ω =
∫R
ωφ(x ,y)(∂φ
∂x,∂φ
∂y)dx ∧ dy
The orientation of the parametrization is crucial and canswitch based on the choice of V 1
i ,j and −V 1i ,j
![Page 21: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/21.jpg)
Differentiating Forms
Since the variation of forms depends on the direction from anarbitrary point p, the derivative of a 1 form can only be takenas a 2-form with a chosen vector W.
dω(V ) = ∇ω(V ) ·W
Example
for ω = ydx − x2dy with V = 〈1, 2〉 and W = 〈2, 3〉
dw = 〈−4x , 1〉 · 〈2, 3〉 = −8x + 3
![Page 22: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/22.jpg)
Differentiating Forms
Since the variation of forms depends on the direction from anarbitrary point p, the derivative of a 1 form can only be takenas a 2-form with a chosen vector W.
dω(V ) = ∇ω(V ) ·W
Example
for ω = ydx − x2dy with V = 〈1, 2〉 and W = 〈2, 3〉
dw = 〈−4x , 1〉 · 〈2, 3〉 = −8x + 3
![Page 23: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/23.jpg)
Differentiating Forms
Since the variation of forms depends on the direction from anarbitrary point p, the derivative of a 1 form can only be takenas a 2-form with a chosen vector W.
dω(V ) = ∇ω(V ) ·W
Example
for ω = ydx − x2dy with V = 〈1, 2〉 and W = 〈2, 3〉
dw = 〈−4x , 1〉 · 〈2, 3〉 = −8x + 3
![Page 24: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/24.jpg)
An Approach to Stokes Theorem
an n-cell is defined as the image of a differentiable map anddenoted by σ where as a chain is a formal linear combinationof n-cells where ∫
C
ω =∑i
ni
∫σi
ω
the boundary of a n-cell is denoted by ∂σ and is formulated
∂σ =n∑
i=1
(−1)i+1(φ(x1,...,xi−1,1) − φ(x1,...,xi−1,0))
![Page 25: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/25.jpg)
An Approach to Stokes Theorem
an n-cell is defined as the image of a differentiable map anddenoted by σ where as a chain is a formal linear combinationof n-cells where ∫
C
ω =∑i
ni
∫σi
ω
the boundary of a n-cell is denoted by ∂σ and is formulated
∂σ =n∑
i=1
(−1)i+1(φ(x1,...,xi−1,1) − φ(x1,...,xi−1,0))
![Page 26: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/26.jpg)
An Approach to Stokes Theorem
Generalized Stokes Theorem:∫∂σ
ω =
∫σ
dω
Actual Stokes Theorem:∫C
~F · d~r =
∫∫S
Curl ~F · nd ~S
![Page 27: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/27.jpg)
An Approach to Stokes Theorem
Generalized Stokes Theorem:∫∂σ
ω =
∫σ
dω
Actual Stokes Theorem:∫C
~F · d~r =
∫∫S
Curl ~F · nd ~S
![Page 28: ZEV KAPLOWITZ - University Of Marylanddrp.math.umd.edu/Project-Slides/KaplowitzSpring2015.pdf · A Geometric Approach of Di erential Forms University of Maryland. A problem with parametric](https://reader034.vdocuments.site/reader034/viewer/2022042922/5f6c7a24da141018fa3fce25/html5/thumbnails/28.jpg)
THANK YOU!