lecture ii: vector and multivariate calculus - cs.uu.nl 2 - calculus.pdf · dot product •a...
Post on 10-Jul-2018
228 Views
Preview:
TRANSCRIPT
Lecture II: Vector and Multivariate Calculus
Dot Product• "⃗, $ ∈ ℝ', "⃗ ( $ = ∑+,-' "+ ( $+ ∈ ℝ.• "⃗ ( $ = "⃗ $ cos 1 .• 1 convex angle between the vectors.
• Squared norm of vector: "⃗ 3 = "⃗ ( "⃗.• Alternative notation: "⃗ ( $ = "⃗, $• Matrix multiplication 4 = 5 ( 6ó 7+8 = 5+,., 6.,8• Note: "⃗, "⃗ is always non-negative.• "⃗, $ - measure similarity (angle)• "⃗, "⃗ - measures length.
Dot Product• A geometric interpretation: the part of "⃗ which is parallel to a unit
vector in the direction of #.• And vice versa!
• Projected vector: "∥ = &'(( #.
• The part of # orthogonal to "⃗ has no effect!
Linear Transformations
• Represented as a matrix: ! = #$, y ∈ ℝ), $ ∈ ℝ*,# ∈ ℝ)×*• In fact, a stack of dot products:
• ! =#,,., $⋮
#*,., $• Canonical axis system: (1,0,0,0, … ) etc.• When 4 = 5, and the matrix is full-rank, it is a change of coordinates.• Geometric intuition: representing $ with the rows of #, instead of the
canonical axis system.
Special Linear Transformations
• Rotation matrix in ℝ": R = %&'( −'*+('*+( %&'( .
• What you learned: rotates a point , = (., 0) by angle ( in CCW direction.• Alternative interpretation:• , is currently represented in the canonical representation.• 2, is the representation of , in the basis %&'(,−'*+( and '*+(,−%&'( .
• Watch chalkboard!
Cross Product
• Typically defined only for ℝ".
• %⃗×' = %)'* − %*'), '-%* − '*%-, %-') − %) ∈ ℝ".
• Or more generally:
%⃗×' =%- %) %*'- ') '*/0 /1 3̂
Cross Product
• The result vector is orthogonal to both vectors.• Direction: Right-hand rule.• Normal to the plane spanned by both vectors.
• Its magnitude is "⃗×$ = "⃗ $ sin ).• Parallel vectors ó cross product zero.
• The part of $ parallel to "⃗ has no effect on the cross product!• Geometric interpretation: axis of shortest rotation between "⃗ and $.
$ = R+×,())"⃗• Another geometric interpretation: "⃗×$ = /0+1+2232451+6.
Symmetric Bilinear Maps• Alsodenotedas“2-tensors”.• 1:ℝ4×ℝ4 → ℝ, 1 7, :⃗ = <.• Take two vectors into a scalar.• Symmetry: 1 7, :⃗ = 1 :⃗, 7• Linearity: 1 =7 + ?@, :⃗ = =1 7, :⃗ + ?1 @, :⃗ .• The same for :⃗ for symmetry.
• Can be represented by symmetric A×A matrices: c = 7C1:⃗.
Metric
• ! is positive definite if for every ", ! ", " > 0.• Consequently, negative-definite, positive semidefinite (≥ 0).
• Interpretation:• ! is a generalized dot product, or a metric.• The original dot product: simply ! = )*+*.• It’s only a true metric (=non-negative) if indeed ! is PSD.
• Often notated -⃗, . /.• Then, -⃗, -⃗ / is “the squared length of -⃗ in the metric of !”.
Functions of Several Variables• A single function of several variables:
!:ℝ$ → ℝ, ! '(, '),⋯ , '$ = ,.• Partial derivative vector, or gradient, is a vector:
-! = .,.'(
,⋯ , .,.'$• In the direction of steepest ascent.
Multi-Valued Functions• A vector-valued function of several variables:
!:ℝ$ → ℝ&, ! (), (*,⋯ , ($ = -), -*,⋯ , -& .
• Can be viewed as a change of coordinates, or a mapping.• Recall: Linear functions óℝ&×$ matrices.
• The derivatives form a matrix, denoted as the Jacobian:
/! =
0-)0()
⋮ 0-)0($
⋯ ⋯0-$0()
⋮ 0-$0($
https://www.math.duke.edu/education/ccp/materials/mvcalc/parasurfs/para1.html
Jacobian Measures Deformation• Consider two points !, ! + Δ!, where Δ! is very small.• Taylor series:
% ! + Δ! ≈ % ! + '(Δ!
• 1st-order linear approximation.
• Original infinitesimal squared length: Δ!, Δ! .• Target length after map:
% ! + Δ! − % ! , % ! + Δ! − % ! ≈'(Δ!, '(Δ! = Δ!, Δ! +
Where , = '(- . '( , a symmetric bilinear form!• Interpretation: '( encodes the change of lengths, or deformation.
12
%:ℝ1 → ℝ3, % 45, 46,⋯ , 41 = 85, 86,⋯ , 83
Directional Derivative
• The change in function ! in the (unit) direction "#:
$%! = $! , #
• Formally: a map $%:ℝ) → ℝ between direction "# and scalar $! , #
Vector Fields in 3D
• A vector-valued function assigning a vector to each point in space: !:ℝ$ → ℝ$, ! (⃗ = *⃗.• Physics: velocity fields, force fields, advection, etc.• Special vector fields:• Constant• Rotational• Gradient fields of scalar functions: *⃗ = +,.
http://vis.cs.brown.edu/results/images/Laidlaw-2001-QCE.011.html
Integration over a Curve
• Given a curve "⃗ # = % # , ' # , ((#) , # ∈ [#-, #.].• And a vector field 0⃗(%, ', ()• The integration of the field on the curve is defined as:
120⃗ 3 4"⃗ = 1
56
570⃗ 3 4%
4# ,4'4# ,
4(4# 4#
• Interpretation: the “work done“ by 0⃗ along "⃗.• Geometric description: summing dot products of vector 0⃗ and infinitesimal
curve segments 4"⃗.
Conservative Vector Fields
• A vector field "⃗ is conservative if there is a scalar function # so that for every curve $⃗ % , % ∈ [%), %*]:
,-"⃗ . /$⃗ = # %* − # %)
• Equivalently: if "⃗ = 2#.• The integral is then path independent.
Conservative Vector Fields
• Physical interpretation: the vector field "⃗ is the result of a potential #.• Example: the work (potential energy) $ by gravity force %⃗ = '$ is
only dependent of the height gained\lost.• Question: What the scalar potential $ for a gravity field?
• Corollary: the integral of a conservative vector field over a closed curve is zero!
The Curl (Rotor) Operator• Definition: !×$⃗ = ⁄' '( , *' '+ , ⁄' ', ×$⃗.• Produces a vector field from a vector field.• Geometric intuition: !×$⃗ encodes local rotation (vorticity) that the
vector field (as a force) induces locally on the point.• Direction: the rotation axis -..
• Integral definition:
!×$⃗ / -. = lim3→517 8
9$⃗ / :;⃗
• ; is an infinitesemal curve around the point• 7 is the area it encompasses.
http://www.chabotcollege.edu/faculty/shildreth/physics/gifs/curl.gif
Irrotational Fields• Fields where !×$⃗ = 0.• Also denoted Curl-free.
• Conservative fields => irrotational.• as for every scalar ':
!×!' = 0• It is evident from the integral definition: lim+→-
.+ ∮0 $⃗ 1 23⃗.
• Is irrotational => Conservative fields also correct?• Only (and if only) for simply-connected domains!
Divergence• Definition: ! " $⃗ = ⁄' '( , *' '+ , ⁄' ', " $⃗.• Produces a scalar value from a vector field.• Geometric intuition:! " $⃗ encodes local change in density induced by
vector field as a flux.• Integral definition:
! " $⃗ = lim0→ 214 5
6(0)$⃗ " 9: ;<
• <(4) is the surface of an infinitesimal volume around the point.• 9: is the outward local normal.• Divergence-free fields (! " $⃗ = 0) are called solenoidal.
http://magician.ucsd.edu/essentials/WebBookse8.html
Laplacian• The divergence of the gradient of a scalar field:
∆" = $%" = $ & $" .• Produces a scalar value from a scalar field.• Geometric intuition: Measuring how much a function is diffused or
similar to the average of its surrounding.• Found in heat and wave equations.• Used extensively in signal processing, e.g. for denoising.
Differential Forms
• What is “"⃗ # $%⃗” in “∫' "⃗ # $%⃗”?• Provisionally: an infinitesimal scalar that is the dot product of vector "⃗
and small curve segment $%⃗.• Is this related to the directional derivative ()* = (* , $ ?• Yes!
Differential Forms• A !-form is a map (function) ℝ#×ℝ#×⋯ℝ# → ℝ.
• A 1-form is then a function ℝ# → ℝ.• Taking a vector to a scalar.• Just like the directional derivative! '() = ') , ,
• Notation: - ., /, 0 ,. + 2 ., /, 0 ,/ + ℎ ., /, 0 ,0.• “given input (infinitesimal) vector : ,., ,/, ,0 , return output dot
product -, 2, ℎ , ,., ,/, ,0 ”.• This is exactly 6⃗ 7 ,8⃗. 6⃗ = -, 2, ℎ .• 1-forms can (only) be integrated on curves by “summing” all the
scalars along the curve.
! 9:;<=
0- and 1-forms.
• Note: 1-forms are equivalent to vectors!• ! ", $, % &" + ( ", $, % &$ + ℎ ", $, % &%ó+⃗ = !, (, ℎ .• What is “-.” then for a scalar .?• Scalar function ó 0-forms • Just taking scalars to scalars…
The Exterior Derivative• The operator “!” takes "-forms to (" + 1)-forms.• For the case of 0- to 1-forms:
!' = )', (!+, !,, !-)• The 1-form = just the directional derivative operator!• !' is equivalent to the gradient )'.• What happens when we integrate?
∫/ )' 0 !2⃗=∫/ !'• Remember: )' is conservative. We get:
3/!' = ' 45 − ' 47
• Very elegant formulation: “d” is a differential, and when we integrate, we “inverse” the operation.
Stokes Theorem
• A more general form of the idea of “conservative fields”• The modern definition:
!"#$ = !
&"$
• Geometric interpretation: Integrating the differential of a field inside a domain ó integrating the field on the boundary.• Colloquial definition: the change inside is exactly the sum of “ingoing”
and “outgoing” through the boundary.
Stokes Theorem
• Generalizes many classical results.• Integrating along a curve: ∫" #$ % &(⃗ = $ *+ − $ *- .
• Special case: Fundamental theory of calculus: ∫./.0 12 3 &3 = 1 3+ − 1(3-).
• Kelvin-Stokes Theorem:
∮78 9⃗ % &(⃗ = ∬8 #×9⃗ &<.• Divergence theorem:
=>
# % 9⃗ &? =@7>
9⃗ % AB &<• …and many similar more.
top related