Professional Documents
Culture Documents
Ma201-Mathematics-Iii: Multivariable Calculus For Partial Differential Equations
Ma201-Mathematics-Iii: Multivariable Calculus For Partial Differential Equations
Department of Mathematics
Indian Institute of Technology Patna
India 801103
Curve
A curve C is a continuous geometric object which can be described by the image of
the function C : [a, b] → Rn , i.e., the image of the map
t → (x1 (t) , x2 (t) , · · · , xn (t)) , where xi : [a, b] → R.
Orientation
An orientation of a curve C is the orientation given by a consistent direction given by
an arrow along the length of C.
h
Figure : Helix Curve of radius 1
We see that in the xy-plane (projection), this is just a circle !! In the z-direction, we
have linear growth.
Vector form ~r (t) = (t, f (t)) describes the same curve as f (x), where
f : [a, b] → R.
Try to understand the difference between - plot of a function, and Curve’s figure.
Limit
Limit of ~r (t) for t0 ∈ [a, b] exists if lim xj (t) = Lj ∈ R where Lj is finite.
t→t0
This means limit should exist component-wise (to all components), for a vector
valued function.
−1, t ∈ [−1, 0),
Example: Take y (t) =
1, t ∈ (0, 1]
Now consider, the vector valued function ~r (t) = t, y (t) , t2 , t ∈ [−1, 1] .
Continuity
A vector function ~r (t) where ~r : [a, b] → Rn is continuous at t0 ∈ [a, b] if
~r (t0 ) = r0 ∈ Rn and lim ~r (t) = r0 .
t→t0
Differentiability
~
r (t)−~
r (t0 )
A vector function ~r (t) is differentiable at t = t0 if lim t−t0
exists. The limit
t→t0
0
is denoted by r (t0 ) and called the derivative of ~r (t) .
An equivalent definition: By setting t = t0 + h, we have
r0 (t0 ) = lim ~r(t0 +h)−~
h
r (t0 )
h→0
tangent at t = 0.
Smooth Parameterization
A curve C has smooth parameterization by ~r (t) , t ∈ [a, b] , if ~r0 (t) 6= 0 ∀t ∈ (a, b) .
If C has a smooth parameterization, we say C is a smooth curve.
Note: Differentiation is not sufficient for smooth curve. Cusp curve is not smooth.
Example: Consider the curve ~r (t) = t2 , t3 , t ∈ [−1, 1] is not smooth curve as
Parametric Curve
Let I ⊆ R, F : I → R3 . The set of points {F (t) : t ∈ I} is called graph of F . If F is
continuous, then such graph is called a curve with parameter t.
Note: Equation of a line can be given by a point (from which it passes through),
~
and the direction d, i.e., by ~x = x~0 + td.
Here R (t0 ) (is a vector) defines the point from which it passes through, and R0 (t0 )
defines the direction of the tangent line, (which by def, is nonzero).
Remark: Note that R0 (t0 ) is a vector !! Why? From where to where?
Why do I need R0 (t0 )? What happens in Cusp Curve? Why do we want to get
rid of Cusp type curves?
PDE
A general scalar PDE of 2nd order in 3D, is given by
F (x, y, z, ux , uy , uz , uxx , uxy , uxz , uyx , uyy , uyz , uzx , uzy , uzz ) = 0.
Q. How do you be sure that the solution will be in C 2 by looking into the given PDE.
Note that partial derivatives exist may not imply function is continuous.
Q: Is it always necessary that uxy = uyx . If required, under what condition ?
Hint: Schwarz Theorem which provides a sufficient condition and states that uxy and
uyx should exist and continuous.
Limit
L is the limit of f : R3 → R at x0 ∈ R3 if f (xn ) → L whenever xn ∈ Rn , xn 6= x0
xn → x0 as n → ∞ .
Continuity
f : R3 → R is continuous at x0 ∈ R3 if lim f (x) = f (x0 ) .
x→x0
For non convergence of limit (or to show f is not continuous), we generally take
different paths to get different values.
For the existence, we can use the upper bound of the function → 0 as
(x, y) → (0, 0) .
To check limit/continuity existence at (0, 0), we generally use the kind of
Sandwich argument.
Dr. Pratibhamoy Das ( Department of Mathematics[4pt]Indian Institute of TechnologyJuly
MA201- MATHEMATICS-III Patna[4pt]India
27, 2021 801103)
19 / 55
u(x, y)
Q: Consider f (x, y) = . Assume f is continuous at x = 0. But you dont know,
v(x, y)
beforehand. Then you are choosing the path u = mv and took xn → 0 as n → ∞.
Where exactly you are doing wrong.
Partial Derivative
The partial derivative of f : R3 → R at x0 = (x0 , y0 , z0 ) with respect to x is
∂f
= lim f (x0 +h,y0 ,z0h)−f (x0 ,y0 ,z0 ) .
∂x x=x 0 h→0
∂f ∂f
Similarly, it is defined with respect to y and z is ∂y
and ∂z x=x0
.
x=x0
Q: The limit def looks complicated. Can you give an example of a function whose
derivative can only be find out by using Limit definition, (not by differentiating the
function). Hint: Think about something with sin(1/x).
In 1D → Only one independent direction.
Partial derivative = Derivative (there is only one direction, -ve is omitted)
Hence partial derivative ⇒ continuty.
In 2D/nD → Infinitely many directions.
Partial derivative
xy does not impliy continuty. Take
x2 +y 2
, (x, y) 6= (0, 0)
f (x, y) =
0, (x, y) = (0, 0)
Q: When can we say partial derivative impiles continuity ?
Ans: Sufficient condition: Take S = (x, y) ∈ R2 ; x ∈ (a, b) , y ∈ (a, b)
Note/Observations:
In Rn , partial derivative looks into only n independent directions.
In R2 , we have two independent directions for partial derivatives.
∂f
∂x
checks the increment along x-axis.
∂f
∂y
checks the increment along y-axis.
There are other directions also, which are not considered in the definitions of fx
and fy .
xy
x2 +y 2
, (x, y) 6= (0, 0)
Take (i) f (x, y) =
0, (x, y) = (0, 0) ,
x sin y1 + y sin x1 ; x 6= 0, y 6= 0
x sin x1 ; x 6= 0, y = 0
(ii) f (x, y) =
y sin y1 ; x = 0, y 6= 0
0 ; x = 0, y = 0
In (i) partial derivative exist does not imply continuity.
In (ii), continuity does not imply partial derivatives exist.
Dr. Pratibhamoy Das ( Department of Mathematics[4pt]Indian Institute of TechnologyJuly
MA201- MATHEMATICS-III Patna[4pt]India
27, 2021 801103)
24 / 55
In addition, we have observed
Physical Significance
∂f
∂xi
(ā) is the rate of change of f at ā in the direction ēi .
Gradient
∂f ∂f ∂f
Gradiant of f at ā is given by ∇f (ā) = ∂x1
(ā) , ∂x2
(ā) , ..., ∂xn
(ā) ∈ Rn .
Directional Derivative
The directional derivative of f : Rn → R at ā ∈ Rn is given by
Du f (ā) = lim f (ā+tū)−f (ā) = d f (ā + tū)
t→0 t dt t=0
Differentiability
|f (x+h)−f (x)−αh|
f is differentiable at x ∈ R ⇔ ∃ α ∈ R such that |h|
→ 0 as h → 0 .
Here, both α and h are scalars.
Differentiablity
Let f : R3 → R and x = (x1 , x2 , x3 ) . f is differentiable at x if
∃α = (α1 , α2 , α3 ) ∈ R3 such that the error function ε (H) = f (x+H)−f
kHk
(x)−α.H
→0
as H → 0
Note: Derivative of f is f 0 (x) = (α1 , α2 , α3 ) ∈ R3
Here H is vector, (so vector convergence is taken, when H → 0), whereas
f (x + H) is scalar.
Numerator is scalar. We took dot product to make α.H a scalar. Hence α must
be a vector !!
To make denominator scalar, we took norm from the domain space.
Dr. Pratibhamoy Das ( Department of Mathematics[4pt]Indian Institute of TechnologyJuly
MA201- MATHEMATICS-III Patna[4pt]India
27, 2021 801103)
29 / 55
Consider f : R3 → R.
Note:
If f is differentiable at x ∈ R3 , then f is continuous at x.
∂f
This implification was not there when ∂xi
exist or f is continuous or f has
directional derivative.
If f is differentiable at x then fx |x , fy |x , fz |x will exist and
f 0 (x) = (α1 , α2 , α3 ) = ∂f
∂f ∂f
,
∂x x ∂y
, ∂z x .
x
Observations
(i) f : R3 → R , but f 0 ∈ R3 i.e. f 0 : R3 → R3 .
(ii) The above formula requires the partial derivatives of f . However partial
derivative of f exist, does not imply f is continuous (forget the differentiability).
(iii) So if f is differentiable theoretically, then we can find the derivative of f by
evaluating partial derivatives.
Increment Theorem
Let f (x, y) is differentiable at (x0 , y0 ) . Then
f (x0 + ∆x, y0 + ∆y) − f (x0 , y0 ) = fx (x0 , y0 ) ∆x + fy (x0 , y0 ) ∆y + ε1 ∆x + ε2 ∆y ,
where ε1 (∆x, ∆y) , ε2 (∆x, ∆y) → 0 as ∆x → 0 and ∆y → 0 .
Note: We are not exactly using the Taylor series here, as ε1 and ε2 can not depend
on fxx , fxy , fyy when I am giving the definition of first order derivative.
Exercise:(Use the above definition to show that
2 2
xy xx2 −y
+y 2
; (x, y) 6= (0, 0)
f (x, y) = is differentiable at (0, 0).
0 ; (x, y) = (0, 0)
Remark: If f is differentiable at x , then the directional derivative of f at x̄ in the
u
direction u is ∇u f (x̄) = ∇f (x̄) . |u| .
h (x) = f (a) + (x − a) f 0 (a) is the tangent line (for one variable case) for 1D.
Dr. Pratibhamoy Das ( Department of Mathematics[4pt]Indian Institute of TechnologyJuly
MA201- MATHEMATICS-III Patna[4pt]India
27, 2021 801103)
33 / 55
Two Variable Case
2D/nD Differentiability
Consider a function f : R2 → R (can be extended for f : Rn → R ). Analogous to 1D,
the following notions are required for 2D differentiability at (a, b).
(i) fx , fy exist at (a, b).
(ii) The tangent plane h (x, y) = f (a, b) + fx (a, b) (x − a) + fy (y − b) be a good
linear approx for f (x, y) when (x, y) is near to (a, b).
This means lim √f (x,y)−h(x,y)
2 2
= 0 (Analogous to 1D).
(x,y)→(a,b) (x−a) +(y−b)
Note:
(i) The denominator is the length of the vector (x − a, x − b) to (0, 0).
(ii) Analogous to 1D, h(x, y)(= 0) is the tangent plane of f at (a, b).
Q: Can I replace the length in denominator by any other norm?
Remark: f (x, y) = ||x| − |y|| − |x| − |y| has partial derivative at (0, 0). However
h (x, y) = f (0, 0) + fx (0, 0) (x − 0) + fy (0, 0) (y − 0) is not a ’good linear approx’ of
f near (0, 0). f is not differentiable at (0, 0).
Figure : Tangency of
x2 and x3 at x = 0.
Dr. Pratibhamoy Das ( Department of Mathematics[4pt]Indian Institute of TechnologyJuly
MA201- MATHEMATICS-III Patna[4pt]India
27, 2021 801103)
37 / 55
Best Linear Approximation
Consequences
Let f : Rn → Rm is differentiable at x = x0 then it is continuous at x = x0 .
2
x sin x1 ; x 6= 0,
Example: Consider f (x) =
0 ; x = 0.
We begin by noting that f (x) is continuous at x = 0. The Jacobian is given by
Jf (x) = 2x sin x1 − cos x1 ,
and this function is not defined at x = 0. By any way, it cannot be made continuous
at x = 0 because of the oscillating nature of the term cos(1/x).
However f is differentiable at 0, since
f (h)−f (0) h2 sin h
1
Df (0) = f 0 (0) = lim h−0
= lim h
= lim h sin 1
h
=0
h→0 h→0 h→0
1
− cos x1 ; x 6= 0,
2x sin x
Hence the derivative of f is Df (x) =
0 ; x = 0.
Hence Df (x) is defined for all x, but Jf (x) is not.
This means Jf (x) is not a good indicator of whether Df (x) exists at x = 0 or not.
Definition of C 1 map
A mapping f : U → Rm which is differentiable on U ⊂ Rn and Df (x) is a
continuous function on U, is said to be of class C 1 on U . We write f ∈ C 1 for
U ⊂ Rn , or f ∈ C 1 (U) .
Note: The above matrix may not be symmetric as second order partial derivatives
may not be commutative !!
Q: How do represent of the first and second order derivatives of a function
f : Rn → Rn ?
Clairault’s Theorem
Suppose that f : Rn → R is a C 2 mapping, then the matrix D2 f (x) is symmetric ;
i.e fxi xj = fxj xi .
Here
f (X), f (X0 ) are in R .
f 0 (C) ∈ R1×2 and (X − X0 ) ∈ R2×1 .
f 0 (C)(X − X0 ) ∈ R is a scalar.
Dr. Pratibhamoy Das ( Department of Mathematics[4pt]Indian Institute of TechnologyJuly
MA201- MATHEMATICS-III Patna[4pt]India
27, 2021 801103)
46 / 55
Observations
In other words: ∃ c1 ∈ (0, 1) such that
f (x0 + h, y0 + k) = f (x0 , y0 ) + hfx (C) + kfy (C) , where C = (x0 + c1 h, y0 + c1 k) .
Note:
In the MVT, we have just used the differentiability on the line joining X and X0 .
Hence the assumption on f (differentiable on whole R2 ) ) can be weakened, if we
fix X and X0 .
Local Maxima
Let f : [a, b] → R . Then x0 ∈ [a, b] is said to be local maxima of f if there exists a
δ > 0 such that f (x) ≤ f (x0 ) for all x ∈ [a, b] ∩ (x0 − δ, x0 + δ) .
Question: We did not get any condition which is necessary and sufficient for
maximum/minimum till now. Did we?
Point of Inflection
Le f : (a, b) → R be continuous at c ∈ (a, b). Then c is said to be point of inflection
if ∃δ > 0 such that either f is convex on (c − δ, c) and concave on (c, c + δ), OR f is
concave on (c − δ, c) and convex on (c, c + δ).
Critical Point
Let f : R → R . A point x0 is called is called a critical point of f if f 0 (x0 ) = 0.
Saddle Point
A critical point which is a local minimum in at least one direction and a local
maximum in at least one direction is known as saddle point.
Q: In the previous statement, what will happen, if we assume fyy (x0 , y0 ) < 0 or
fyy (x0 , y0 ) > 0 instead of fxx (x0 , y0 ) < 0 or fxx (x0 , y0 ) > 0 ?