13
: R 7R . : D 7→ R , D⊆ R : R 7R : R 7R = : R 7R = : R 7R = = : R 7R : R 7R = =

MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Embed Size (px)

Citation preview

Page 1: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

MATH2111 Higher Several Variable Calculus

Week 1 Part 1

Dr Denis Potapov

School of Mathematics and StatisticsUniversity of New South Wales

Semester 1, 2016 [updated: March 14, 2016]

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 1 / 26

Curves and surfacesSummary of analytical approach to curves and surfaces

Several Variable Calculus studies Calculus Tools for the mapping

f : Rm 7→ Rn.

f : D 7→ Rn, D ⊆ Rm

Conventional geometrical interpretation of the mapping is as follows:

f : R 7→ R plane curve via graph of function;

f : R2 7→ R space surface via graph of function; or implicit plane curvevia f = const;

f : R3 7→ R implicit space surface via f = const.

f : R 7→ Rn parametric curve;

n = 2 plane curve;n = 3 space curve;

f : R2 7→ R3 parametric surface;

f : Rn 7→ Rn n = 2 plane vector �eld;n = 3 space vector �eld.

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 2 / 26

Page 2: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Plane curvesEllipse

Plot

f(t) = a cos t i+ b sin t j, t ∈ [−π, π].

If

x = a cos t and y = b sin t,

then (xa

)2+(yb

)2= 1.

The latter is the implicit equation ofellipse:

gnuplot> set parametric

gnuplot> plot [-pi:pi] cos(t), 2*sin(t)

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 3 / 26

Ellipse animation

ellipse-animation.pdf

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 4 / 26

Page 3: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Plane curveFunction graph

Plot

f(t) = (1+ t) i+4

3t2 j, t ∈ [−1, 3]

If

x = 1+ t and y =4

3t2

then

y =4

3(x − 1)2

The graph of this function is parabola.

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 5 / 26

Directory of known functions and curves

plane-curves-directory.pdf (to create)

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 6 / 26

Page 4: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Space curvesExample of helix

Plot

f(t) = cos t i+ sin t j+ t k,

t ∈ [−2π, 2π] .

gnuplot> set parametric

gnuplot> splot [-2*pi:2*pi] cos(u), sin(u), u

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 7 / 26

Helix animation

helix-animation.pdf

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 8 / 26

Page 5: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

"ABC" curve

Plotf(t) = cos t i+ sin t j+ sin 3t k, t ∈ R

with GNUPLOT

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 9 / 26

Limits, the case of curvesSimple approach to limits in case of curves

Forf : I 7→ Rn, I ⊆ R

withf(t) = (x1(t), x2(t), . . . , xn(t)) , xi : I 7→ R.

De�nition

limt→a

f(t) =(limt→a

x1(t), . . . , limt→a

xn(t)).

Theorem (Algebraic properties of limits)

limt→a

[f(t) + g(t)

]= lim

t→af(t) + lim

t→ag(t)

limt→a

[λ(t) · f(t)

]=[limt→a

λ(t)]·[limt→a

f(t)], where λ : I 7→ R

limt→a

[f(t) · g(t)

]=[limt→a

f(t)]·[limt→a

g(t)]

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 10 / 26

Page 6: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Limits, the case of curves

limits-algebraic-theorem.canvas

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 11 / 26

Continuity in case of curves

Forf : I 7→ Rn, I ⊆ R

De�nition

f is continuous at t = a, if and only if

limt→a

f(t) = f(a)

f is continuous on I if f is continuous for every t = a ∈ I

withf(t) = (x1(t), x2(t), . . . , xn(t)) , xi : I 7→ R

Theorem

f is continuous if and only if xi is continuous for every i = 1, 2, . . . , n

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 12 / 26

Page 7: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Continuity, proofs

continuity-per-component.canvas

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 13 / 26

Continuity in case of curves, II

Forf, g : I 7→ Rn and λ : I 7→ R

Theorem

If

f, g and λ

are continuous, then

f + g, λ · f and f · g

are continuous

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 14 / 26

Page 8: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Continuity, proofs

continuity-algebraic-theorem.canvas

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 15 / 26

Derivative in case of curves

Forf : I 7→ Rn, I ⊆ R

De�nition

f is di�erentiable at t = a, if

f ′(a) := limt→a

f(t)− f(a)

t − a

exists;

f is di�erentiable on I if f is di�erentiable at every t = a ∈ I

withf(t) = (x1(t), x2(t), . . . , xn(t)) , xi : I 7→ R

Theorem

f is di�erentiable if and only if xi is di�erentiable for every i = 1, 2, . . . , n

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 16 / 26

Page 9: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Derivative, proofs

derivative-per-component.canvas

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 17 / 26

Derivative in case of curves, II

Forf, g : I 7→ Rn and λ : I 7→ R

Theorem

If

f, g and λ

are di�erentiable, then

f + g, λ · f and f · g

are di�erentiable

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 18 / 26

Page 10: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Derivative, proofs

derivative-algebraic-theorem.canvas

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 19 / 26

Tangent LineGeometry of derivative

Forf : I 7→ Rn, I ⊆ R

the limit

f ′(a) = limt→a

f(t)− f(a)

t − a

if exists and non-zero, represents thedirection of the tangent line at f(a).The parametric equation of such line is

r(s) = f(a) + (s − a) · f ′(a), s ∈ R.

f(t) − f(a)

f(a)

f(t)

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 20 / 26

Page 11: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Tangent LineAnimation

tangent-animation.pdf

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 21 / 26

VelocityMechanical of derivative

For a position vector of a particle at time t ∈ I:

r : I 7→ Rn, I ⊆ R

the limit

v(t0) = limt→t0

r(t)− r(t0)

t − t0

if exists, represents the direction and magnitude of the instantaneous velocity ofthe particle at moment t = t0.Similarly, the limit

a(t0) = limt→a

v(t)− v(t0)

t − t0

if exists, represents the direction and magnitude of the instantaneous acceleration

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 22 / 26

Page 12: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Smooth and piecewise smooth curves

Forf : I 7→ Rn, I ⊆ R

De�nition

f is smooth over I, if it is di�erentiable over I (except the end points) and

f ′(a) 6= 0, ∀a ∈ I.

f is piece-wise smooth over I, if there is a partition

I = I1 ∪ I2 ∪ . . . ∪ Ik

such that everyf : Ij 7→ Rn, j = 1, 2, . . . , k

is smooth

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 23 / 26

Smooth and piecewise smooth curvesCondition f′ 6= 0 important

Plot

f(t) = t3 i+ t2 k, t ∈ R.

Ifx = t3 and t = x

13 ,

theny = x

23 .

Note that,

f ′(t) = 3t2 i+ 2t j and f ′(0) = 0.

y = x2/3y = (−x)2/3

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 24 / 26

Page 13: MATH2111 Higher Several Variable Calculus Week 1 …web.maths.unsw.edu.au/~potapov/2111_2015/week-1/math2111-lecture-1...MATH2111 Higher Several Variable Calculus Week 1 Part 1 Dr

Smooth and piecewise smooth curvesCondition f′ 6= 0 important

Plotf(t) = t3 i+ t3 k, t ∈ R.

Ifx = t3 then y = x .

On the other hand

f ′(t) = 3t2 i+ 3t2 j and f ′(0) = 0.

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 25 / 26

Surfaces, visualisation

quadratic-surfaces-visualisation.pdf (to create)JKress-surface-visualisation.pdf

D Potapov (UNSW Maths & Stats) MATH2111 Semester 1, 2016 26 / 26