FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
1
Vector Calculus via LinearizationsMatthias Kawski
Department of MathematicsCenter for Innovation in Engineering Education
Arizona State UniversityTempe, AZ 85287
[email protected]://math.la.asu.edu/~kawski
Lots of MAPLE worksheets (in all degrees of rawness), plus plenty of other class-materials: Daily instructions, tests, extended projects
“VISUAL CALCULUS” (to come soon, MAPLE, JAVA, VRML)
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
2
This work was partially supported by the NSF through Cooperative Agreement EEC-92-21460 (Foundation Coalition) and the grant DUE 94-53610 (ACEPT)
You zoom in calculus I for derivatives / slopes--
Why then don’t you zoom in calculus III for curl, div, and Stokes’ theorem ?
Vector Calculus via Linearizations
• Zooming• Uniform differentiability• Linear Vector Fields• Derivatives of Nonlinear Vector Fields• Stokes’ Theorem
long motivationside-track, regarding rigor etc.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
3The pre-calculator days
The textbook shows a static picture. The teacher thinks of the process.The students think limits mean factoring/canceling rational expressions and anyhow are convinced that tangent lines can only touch at one point.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
4Multi-media, JAVA, VRML 3.0 ???
Multi-media, VRML etc. animate the process. The “process-idea” of a limit comes across. Is it just adapting new technology to old pictures???
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
5
Calculators have ZOOM button!
New technologies provide new avenues:Each student zooms at a different point, leaves final result on screen, all get up, and …………..WHAT A MEMORABLE EXPERIENCE!(rigorous, and capturing the most important and idea of all!)
Tickmarks containinfo about ε and δ
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
6
Zooming in multivariable calculus
Zoom in on a surface -- is the Earth round or flat ???
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
7Zooming in on numerical tables
This applies to all: single variable, multi-variable and vector calculus.In this presentation only, emphasize graphical approach and analysis.
1.97 1.98 1.99 2.00 2.01 2.02 2.031.03 2.1909 2.2304 2.2701 2.3100 2.3501 2.3904 2.43091.02 2.4409 2.4804 2.5201 2.5600 2.6001 2.6404 2.68091.01 2.6709 2.7104 2.7501 2.7900 2.8301 2.8704 2.91091.00 2.8809 2.9204 2.9601 3.0000 3.0401 3.0804 3.12090.99 3.0709 3.1104 3.1501 3.1900 3.2301 3.2704 3.31090.98 3.2409 3.2804 3.3201 3.3600 3.4001 3.4404 3.48090.97 3.3909 3.4304 3.4701 3.5100 3.5501 3.5904 3.6309
-3 -2 -1 0 1 2 3 1.7 1.8 1.9 2.0 2.1 2.2 2.33 0 -5 -8 -9 -8 -5 0 1.3 1.20 1.55 1.92 2.31 2.72 3.15 3.602 5 0 -3 -4 -3 0 5 1.2 1.45 1.80 2.17 2.56 2.97 3.40 3.851 8 3 0 -1 0 3 8 1.1 1.68 2.03 2.40 2.79 3.20 3.63 4.080 9 4 1 0 1 4 9 1.0 1.89 2.24 2.61 3.00 3.41 3.84 4.29
-1 8 3 0 -1 0 3 8 0.9 2.08 2.43 2.80 3.19 3.60 4.03 4.48-2 5 0 -3 -4 -3 0 5 0.8 2.25 2.60 2.97 3.36 3.77 4.20 4.65-3 0 -5 -8 -9 -8 -5 0 0.7 2.40 2.75 3.12 3.51 3.92 4.35 4.80
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
8
Zooming on contour diagram
Easier than 3D. -- Important: recognize contour diagrams of planes!!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
9
Gradient field: Zooming out of normals!
Pedagogically correct order: Zoom in on contour diagram until linear, assign one normal vector to each magnified picture, then ZOOM OUT , put all small pictures together to BUILD a varying gradient field ……..
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
10
Naïve zooming on vector field
What we got?? Boring?? Not at all -- this is the key for INTEGRATION!This picture is key to convergence of Euler’s method for integrating DE’s
Be patient! Color will be utilized very soon, too.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
11
Zooming for line-INTEGRALS of vfs
Zooming for INTEGRATION?? -- derivative of curve, integral of field!YES, there are TWO kinds of zooming needed in introductory calculus!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
12
Two kinds of zooming
Zooming of the zeroth kind• Magnify domain only• Keep range fixed• Picture for continuity
(local constancy)• Existence of limits of
Riemann sums (integrals)
Zooming of the first kind• Magnify BOTH domain
and range• Picture for differentiability
(local linearity)• Need to ignore (subtract)
constant part -- picture can not show total magnitude!!!
It is extremely simple, just consistently apply rules all the way to vfs
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
13
The usual ε−δ boxes for continuity
This is EXACTLY the ε−δ characterization of continuity at a point, butwithout these symbols. CAUTION: All usual fallacies of confusion oforder of quantifiers still apply -- but are now closer to common sense!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
14
Zooming of 0th kind in calculus IContinuity via zooming:
Zoom in domain only: Tickmarks show δ>0.Fixed vertical window size controlled by ε>0
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
15Convergence of R-sumsvia zooming of zeroth kind (continuity)
The zooming of 0th kind picture demonstrate that the limit exists! -- The first partfor the proof in advanced calculus: (Uniform) continuity => integrability. Key idea: “Further subdivisions will not change the sum” => Cauchy sequence.
Common pictures demosntarte how areais exhausted in limit.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
16
Zooming of the 1st kind, calculus I
This is the usual calculator exercise -- this is remembered for whole life!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
17Zooming of the 2nd kind, calculus IZooming at quadratic ratios (in range/domain) exhibits “local quadratic-ness” near nondegenerate extrema. Even more impressive for surfaces!
Pure meanness:Instead of “find the min-value”, ask for “find the x-coordinate (to 12 decimal places) of the min”.
Why can’t one answer this by standard zooming on a calcuator?
Answer: The first derivative test!
Also: Zooming out of “n-th” kinde.g. to find power of polynomial,establish nonpol charater of exp.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
18
Zooming of the 1st kind, calculus I
Slightly more advanced, ε−δ characterization of differentiability at point.Useful for error-estimates in approximations, mental picture for proofs.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
19
Uniform continuity, pictoriallyA short side-excursion, re rigor in proof of Stokes’ thm.
Many have argued that uniform continuity belongs into freshmen calc.Practically all proofs require it, who cares about continuity at a point?Now we have the graphical tools -- it is so natural, LET US DO IT!!
Demonstration: Slide tubings of various radii over bent-wire!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
20
Uniform differentiability, pictoriallyA short side-excursion, re rigor in proof of Stokes’ thm.
With the hypothesis of uniform differentiability much less trouble withorder of quantifiers in any proof of any fundamental/Stokes’ theorem.Naïve proof ideas easily go thru, no need for awkward MeanValueThm
Demonstration: Slide cones of various opening angles over bent-wire!
Compare e.g. booksby Keith Stroyan
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
21
Zooming of 0th kind in multivar.calc.
Surfaces become flat, contours disappear, tables become constant? Boring? Not at all! Only this allows us to proceed w/ Riemann integrals!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
22
ε−δ for unif. continuity in multivar. calc.
Graphs sandwiched in cages -- exactly as in calc I. Uniformity: Terrific JAVA-VRML animations of moving cages, fixed size.
21
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
23Convergence of R-sums in multivar.calc.via zooming of 0th kind (continuity)
Almost the little-oh proof, with uniform-cont. hypothesis also almost the complete ε−δ proof. -- Remember THIS picture for advanced calc.!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
24
Zooming of 1st kind in multivar.calc.
If surface becomes planar (lienar) after magnification, call it differentiable at point.Partial derivatives (cross-sections become straight -- compare T.Dick & calculators)Gradients (contour diagrams become equidistant parallel straight lines)
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
25ε−δ for unif. differentiability in multivar.calc.
Graphs sandwiched between truncated cones -- as in calc I.New: Analogous pictures for contour diagrams (and gradients)
Animation: Slide this cone (with tilting center plane around)(uniformity)
Advanced calc:Where are ε and δ ?
24
Still need lots of workfinding good examplesgood parameter values
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
26Zooming of 0th kind in vector calc
Key application: Convergence of R-sums for line integralsAfter zooming: work=(precalc) (CONSTANT force) dot (displacement)Further magnification will not change sum at all (unif. cont./C.S.)
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
27ε−δ charact. for continuity in vector calc.
Warning: These are uncharted waters -- we are completely unfamiliar with these pictures. Usual = continuity only via components functions; Danger: each of these is rather tricky Fk(x,y,z) JOINTLY(?) continuous.
Analogous animations for uniform continuity, differentiability, unif.differentiability.Common problem: Independent scaling of domain / range ??? (“Tangent spaces”!!)
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
28
Zooming of 1st kind in vector calc.Now it is all obvious!! -- What will we get???
Prep: pictures for pointwise addition (subtraction) of vfs recommended
The originalvector field,colored by div
Same vector fieldafter subtractingconstant part (fromthe point for zooming)
Practically linear
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
29
Linear vector fields ???Who knows how to tell whether a pictured vector field is linear?---> What do linear vector fields look like? Do we care?((Do students need a better understanding of linearity anywhere?))
What are the curl and the divergence of linear vector fields?Can we see them? How do we define these as analogues of slope?
Usually we see them only in the DE course (if at all, even there).
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
30
Linearity ???Definition: A map/function/operator L: X -> Y is linear
if L(cP)=c L(p) and L(p+q)=L(p)+L(q) for all …..Can your students show where to find L(p),L(p+q)……. in the picture?
We need to get used to: “linear” here means “y-intercept is zero”.Additivity of points (identify P with vector OP). Authors/teachers need to learn to distinguish macroscopic, microscopic, infinitesimal vectors, tangent spaces, ...
Odd-ness and homogeneityare much easier to spot thanadditivity
[y/4,(2*abs(x)-x)/9]
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
31
Analogue(s) of “slope”Want to later geometrically define divergence as limit of flux-integral divided by enclosed volume, curl/rotation as limit of circulation integral divided by enclosed volume
What about the linear case?
This is the PERFECT SETTING to develop these concepts LIMIT-FREE -- in complete analogy with the development of the slope of a straight line BEFORE calculus!
Note, line-integrals of linear fields over polygonal paths do notrequire any integrals, --- midpoint/trapezoidal SUMS are exact! --in complete analogy with area under a line in PRECALCULUS!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
32
Recall: “linear” and slope in precalc
Consider divided differences,
rise over run
Linear <=> ratio is CONSTANT,INDEPENDENT of thechoice of points (xk,yk )
y yx x
2 1
2 1
−−
∆y
∆x
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
33
Rarely enough: “Linear” in multi-var. calc.
Using tables of function values, or contour diagrams, consider appropriate “divided differences” --> partial deriv.’s, gradient, ...In each fixed direction, ratios are constant, independent of choice of points, in particular independent w.r.t. parallel translation.
-3 -2 -1 0 1 2 33 -9 -6 -3 0 3 6 92 -6 -4 -2 0 2 4 61 -3 -2 -1 0 1 2 30 0 0 0 0 0 0 0
-1 3 2 1 0 -1 -2 -3-2 6 4 2 0 -2 -4 -6-3 9 6 3 0 -3 -6 -9
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
34As usual, first develop pictorial notion of circulation and divergence. BEFORE calculations
For NONlinear fields pictorially the local character of divergence and rotation is obvious -- for LINEAR vfs local and global are the same.(Students looking at magnetic field about wire always falsely agree that it is rotational!)
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
35
Constant ratios for linear fields
Work with polygonal paths in linear fields, each student has a differentbasepoint, a different shape, each student calculates the flux/circulation line integral w/o calculus (midpoint/trapezoidal sums!!), (and e.g. viamachine for circles etc, symbolically or numerically), then report findings to overhead in front --> easy suggestion to normalize by area--> what a surprise, independence of shape and location! just like slope.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
36
L Tds L x y y i x L x x y j y
L x y y i x L x x y j yc b x y
R• = − ⋅ + + ⋅
− + ⋅ − − ⋅= = −
∫ ( , ) ( , )
( , ) ( , )..( )... ( )
0 0 0 0
0 0 0 0
∆ ∆ ∆ ∆
∆ ∆ ∆ ∆∆ ∆only using linearity
Algebraic formulas: tr(L), (L-LT)/2
(x0,y0)
(x0,y0 -∆y)
(x0,y0+∆y)
(x0+∆x,y0)(x0-∆x, y0)
for L(x,y) = (ax+by,cx+dy), using only midpoint rule (exact!) and linearity for e.g. circulation integral over rectangle
Coordinate-free GEOMETRIC arguments w/ triangles, simplices in 3D are even nicer
Develop understanding where (a+d), (c-b) etc come from in limit free setting first
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
37
More formulas in linear setting
E.g. Translation-invariance in linear fields, additivity in integrand, line integrals of constant fields over closed curves vanish (constant fields) -- pictorial arguments for L Tds L p L Tds L p Tds L Tds L Tds
p C C C C C
• = + • = • + • = + •+∫ ∫ ∫ ∫ ∫( ( ) ) ( ) 0
Develop analogous formulas for flux integrals in 2d and 3d, again relying only on themidpoint rule for straight edges or flat parallelograms.
In order to later get general formulas via triangulation's (?!), replace rectangle firstby right triangles (trivial!), then by general triangles --> compare next slide ontelescoping sums, developing the arguments like “fluxes over interior surfaces cancel”.
Warning: To make sense out of div, rot, curl, need to have a notion of angle (inner product…), i.e. cannot get formulas in purely affine setting. Purely geometric (coordinate-free) proof in triangles are very neat & instructive!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
38
Telescoping sumsRecall: For linear functions, the fundamental theorem is exact without limits, it is just a telescoping sum!
Want: Stokes’ theorem for linear fields FIRST!
F b F a
F x F xF x F x
x xx
F x dx
k k
k k
k k
a
b
( ) ( )
( ( ) ( ))( ) ( )
( )
− =
= −
=−−
⋅
= ′
+
+
+
∑∑
∫
1
1
1∆
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
39Telescoping sums for linear Greens’ thm.This extends formulas from line-integrals over rectangles / trianglesfirst to general polygonal curves (no limits yet!), then to smooth curves.
L Nds
L Nds
trL A
trL A
trL A
C
Ck
k k
kk
k
• =
= •
= ⋅
= ⋅
= ⋅
∫∫∑
∑∑
∆
∆
The picture new TELESCOPING SUMS matters (cancellations!)
Caution, when arguing withtriangulations of smooth surfaces
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
40
Nonlinear vector fields, zoom 1st kind
If after zooming of the first kind we obtain a linear field, we declare the original field differentiable at this point, and define the divergence/rotation/curlto be the trace/skew symmetric part of the linear field we see after zooming.
The originalvector field,colored by rot
Same vector fieldafter subtractingconstant part (fromthe point for zooming)
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
41
Check for understanding (important)
Zooming of the 1st kind on a linear object returns the same object!
After zooming of first kind!
originalv-fieldis linear
subtractconstantpart at p
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
42Student exercise: LimitFix a nonlin field, a few base points,a set of contours,different studentsset up & evaluateline integrals overtheir contour at theirpoint, and let thecontour shrink.
Report all results totransparency in thefront. Scale by area,SEE convergence.
Instead of ZOOMING,this perspective lets thecontours shrink to a point.
Do not forget to alsodraw these contoursafter magnification!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
43
After zooming of 1st kind
Subtract constant part, and zoom:A familiar picture occurs: As thefield appears to be closer to linearthe ratios integral divided by areabecome independent of choice ofcontour,the limits appear to make sense!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
44
Rigor in the defn: DifferentiabilityRecall: Usual definitions of differentiability rely much on joint continuity of partial derivatives of component functions. This isnot geometric, and troublesome: diff’able not same as “partials exist”
Better: Do it like in graduate school -- the zooming picture is right!
A function/map/operator F between linear spaces X and Z is uniformlydifferentiable on a set K if for every p in K there exists a linear mapL = Lp such that for every ε > 0 there exists a δ > 0 (indep.of p) such that| F(q) - F(p) - Lp(q-p) | < ε | q - p | (or analogous pointwise definition).
Advantage of uniform: Never any problems when working with little-oh:F(q) = F(p) + Lp (q-p) +o( | q - p | ) -- all the way to proof of Stokes’ thm.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
45
| ( )|( )
( ) ( )div F Larea
diam circumference− < ⋅ ⋅ <1
4ε ε
Divergence, rotation, curl
For a differentiable fielddefine (where contourshrinks to the point p,circumference -->0 )
Intuitively define the divergence of F at p to be the trace of L, where L is the linear field to which the zooming at p converges (!!).
For a linear field we defined(and showed independenceof everything):
tr LL Nds
Nds
L Nds
areaC
C
C( )( )
=⋅
⋅=
⋅∫∫
∫Ψ
div F pF Nds
areaC( )( ) lim( )
=⋅∫
Use your judgment worrying about independence of the contour here….
Consequence:
Ψ = ∇ +( ) /x y2 2 4
Ψ = ∇ +( ) /x y2 2 4
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
46
Proof of Stokes’ theorem, nonlinearIn complete analogy to the proofof the fundamental theorem incalc I: telescoping sums + limits(+uniform differentiability, orMVTh, or handwaving….).
F Nds
F Nds
trF p A
div F dA
div F dA
C
Ck
k k k
Rk
R
k
k
• =
= •
≈ ⋅
≈
=
∫∫∑
∑∫∫∑
∫∫
( ) )
( )
( )
∆Here the hand-waving version:The critical steps use the linearresult, and the observation thaton each small region the vectorfield is practically linear.
It straightforward to put in little-oh’s, use uniform diff., and check that the orders of errors and number of terms in sum behave as expected!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
47
About little-oh’s & uniform differentiability
| ( ) | ( )div F L dV vol VpV kk
− < ⋅∫∫∫ ε
| ( ) | ( ) ( ) F L NdS diam V area SpS k k
k− • < ⋅ ⋅∫∫ ε
By hypothesis, for every p there exist a linear field Lp such that for every ε > 0 there is a δ > 0 (independent of p (!)) such that | F(q) - F(p) - Lp(q - p) | < ε | q - p | for all q such that | q - p | < δ.
Key: Stay away from pathological, arbitrarylarge surfaces boundingarbitrary small volumes,
Except for small number (lower order)of outside regions, hypothesize a regular subdivision, i.e. without pathological relations between diameter, circumference/surface area, volume!
The errors in the two approximate equalities in the nonlinear telescoping sum:
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
48
From 2d to 3dKey: DO IT SLOWLY. Develop the concepts in a planar setting - so you can see them!
In planar setting develop the notions of line-integrals, linear fields,trace(divergence), rotation, approximation by linear fields, andintegral theorems. After full mastery go to the hard-to-see 3d-case.
SPECIAL: The direction of the curl in 3d -- compare next slide!
I personally have not yet made up my mind about surface integrals -- I talked toKeith Stroyan, and sympathize with actually playing with Schwarz’ surface(beautiful animations of triangulations --> lighting/shading<=>tilting……)I do not like to start with parameterized surfaces, but instead parameterizable ones….?
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
49
Schwarz’ surface
Pictorially the troubleis obvious. SHADING!
Simple fun limit for proof
Not at all unreasonablein 1st multi-var calculus
Entertaining. Warningabout limitations ofintuitive arguments, …yet it is easy to fix!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
50
Prep: axis of rotation in 3d
Decompose linear, planar vectorfields into sum of symm. & skew-symm. part(geometrically -- hard?, angles!!, algebraically=link to linear algebra).(Good place to review the additivity of ((line))integral
drift + symmetric+antisymmetric.
Preliminary: Review that each scalar function may be written as a sum of even and odd part.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
51
Axis of rotation in 3dRequires prior development of decomposition symmetric/antisymmetric in planar case.Addresses additivity of rotation (angular velocity vectors) -- who believes that?
Don’t expect to see much if plotting vector field in 3d w/o special (bundle-) structure,however, plot ANY skew-symmetric linear field (skew-part after zooming 1st kind),jiggle a little, discover order, rotate until look down a tube, each student different axis
For more MAPLE files (curl in coords etc) see book: “Visual calculus”, or WWW-site.
usual nonsense 3d-field jiggle -- wait, there IS order! It is a rigid rotation!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
52Proposed class outlineAssuming multi-variable calculus treatment as in Harvard Consortium Calculus,with strong emphasis on Rule of Three, contour diagrams, Riemann sums, zooming.
• What is a vector field: Pictures. Applications. Gradfields <-->ODEs.• Constant vector fields. Work in precalculus setting!.
Nonlinear vfs. (Continuity). Line integrals via zooming of 0th kind.Conservative <=>circulation integrals vanish <=> gradient fields.
• Linear vector fields. Trace and skew-symmetric-part via line-ints.Telescoping sum (fluxes over interior surfaces cancel etc….),grad<=>all circ.int.vanish<=>irrotational (in linear case, no limits)
• Nonlinear fields: Zoom, differentiability, divergence, rotation, curl.Stokes’ theorem in all versions via little-oh modification of arguments in linear settings.Magnetic/gravitat. fields revisited, grad=> irrotational (w/ limits)
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
53
Animate curl & div, integrate DE (drift)
Color by rot:red=left turngreen=rite turn
divergencecontrols growth
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
54
Spinning corks in linear, rotating field
Period indep.of radiuscompare harmonic oscillator - pend clock
Always same side ofthe moon facing theEarth -- one rotationper full revolution.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
55
Spinning corks in magnetic field
Irrotational (black).
Angular velocity drops sharply w/increasing radius.
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
56
Tumbling “soccer balls” in 3D-field
Need to see the animation!
At this time:User supplies vector field and init cond’s or uses default example.
MAPLE integrates DEs fro position,calculates curl, integrates angularmomentum equations, and creates animationusing rotation matrices. Colored faces crucial!
FoundationCoalition
Vector Calculus via Linearizations, 9th Int Conf Tech Coll Math, RenoNV, Nov 1996
Matthias Kawski, AZ State Univ. http://math.la.asu.edu/~kawski
57
Stokes’ theorem & magnetic field
Homotop the blue curve into the magenta circle WITHOUT TOUCHING THE WIRE(beautiful animation -- curve sweeping out surface, reminiscent of Jacob’s ladder).3D=views, jiggling necessary to obtain understanding how curve sits relative to wire.More impressive curve formed from torus knots with arbitrary winding numbers, ...
F Tds F Tds
F NdS
C C
S
• = • +
∇ × • = +
∫ ∫∫∫
1 2
2 0π
Do your students have a mental picture of the objects in the equn?