Professional Documents
Culture Documents
Lecture 12
Partial Derivatives
Example 2. Find
z
, z
x y
if z = x2 sin(xy).
69
Solution:
z
= 2x sin(xy) + x2 cos(xy) y
x
= 2x sin(xy) + x2 y cos(xy)
z
= x2 cos(xy)x = x3 cos(xy).
y
2
It turns out that the numbers (A, B) in the definition of differentiability in
the previous lecture are exactly the partial derivatives of the function f with
respect to x and y at x0 , y0 . Indeed, for y = 0 we get
f (x0 + x, y0 ) = f (x0 , y0 ) + Ax + o(|x|),
and hence A = fx (x0 , y0 ). In a similar way we find B = fy (x0 , y0 ). We can
rewrite the definition of differentiability as
f (x0 + x, y0 ) = f (x0 , y0) + fx (x0 , y0 )x + fy (x0 , y0 )y + o(||r||).
2. Higher-Order Partial Derivatives
For a given function f (x, y), f
and f
are functions of x and y, each can have
x
y
partial derivatives. We define
2f
2f
f
f
,
=
=
x2
x x
y 2
y y
2f
=
xy
x
f
y
2f
,
=
yx
y
f
x
.
2
These are called the second-order partial derivatives. Moreover, xf2 and
2f
are called the pure second-order partial derivatives as they are oby 2
tained by differentiation with respect to the same variable twice.
2f
yx
2f
xy
and
In this context,
f
x
and
f
y
We define third-order partial derivatives as the partial derivatives of the secondorder partial derivatives, and so on. For example, we have
2
3f
f
2f
3f
,
,
=
=
x3
x x2
y 2 x
y yx
4f
=
4
x
x
3f
x3
4f
,
=
2
x yx
x
3f
y 2 x
70
Higher-order partial derivatives also have different notations. For example,
2f
2f
4f
4f
=
f
,
=
f
,
f
=
=
.
xx
yx xxyy
x2
xy
yyxx
y 2 x2
2f
= fyx (note the difference in the order for x and y in the notation).
(fx ) =
(e sin y + ) = ex cos y
= (fx )y =
y
y
x
x
(fxy ) =
(e cos y) = ex cos y.
= (fxy )x =
x
x
fx =
fxy
fxyx
2.
3. Partial Derivatives of Functions of More Than Two Variables
For functions of more than two variables, the partial derivatives and higherorder partial derivatives are defined analogously.
For example,
f
= fx (x, y, z) is calculated by holding y and z
x
f
= fxi (x1 , . . . , xn ) is calculated by holding all
xi
fixed.
the variables except xi fixed.
fxy =
fxyy =
(2xyz + 1) = 2xz,
y
(2xz) = 0.
y
2
Example 5. Find
3z
Solution:
z
= 2 cos sin
2z
=
(2 cos sin ) = 2 sin sin
3z
=
(2 sin sin ) = 2 sin cos
71
Example 6. Find
x1
p
x21 + x22 + + x2n and
xi
p
2
Solution
q
1
1 2
2
2
2
=
x1 + x2 + + xn
(x1 + x22 + + x2n ) 2 2x1 (chain rule)
x1
2
x1
= p 2
x1 + x22 + + x2n
q
1
1 2
The following theorem shows that we can use information on the partial derivatives fx (x, y) and fy (x, y) to determine the differentiability of f (x, y).
Theorem 1. If fx (x, y), fy (x, y) exist for (x, y) in some circular region centered at
(x0 , y0), and fx (x, y), fy (x, y) are continuous at (x0 , y0), then f (x, y) is differentiable
at (x0 , y0).
Proof. We want to show
f (x0 + x, y0 + y) f (x0 , y0) fx (x0 , y0 )x fy (x0 , y0 )y
p
=0
(x,y)(0,0)
x2 + y 2
lim
Denoting the fraction above by I, we want to find a function g(x, y) such that
|I| g(x, y) and
lim
(x,y)(0,0)
g(x, y) = 0
lim
(x,y)(0,0)
I = 0,
as required.
To use the given information about the partial derivatives, we write
f (x0 + x, y0 + y) f (x0 , y0)
= [f (x0 + x, y0 + y) f (x0 , +x, y0 )] + [f (x0 + x, y0 ) f (x0 , y0)],
and use the mean-value theorem to obtain
f (x0 + x, y0 + y) f (x0 + x, y0 ) = fy (x0 + x, y0 + 1 y) y, 0 < 1 < 1
f (x0 + x, y0 ) f (x0 , y0 ) = fx (x0 + 2 x, y0 )x, 0 < 2 < 1.
72
Thus
f (x0 + x, y0 + y) f (x0 , y0 )
= fy (x0 + x, y0 + 1 y)y + fx (x0 + 2 x, y0 )x.
Substituting this into the expression of I, we obtain
[fx (x0 + 2 x, y0 ) fx (x0 , y0 )]x + [fy (x0 + x, y0 + 1 y) fy (x0 , y0 )]y
p
x2 + y 2
x
= [fx (x0 + 2 x, y0 ) fx (x0 , y0 )] p
x2 + y 2
y
+[fy (x0 + x, y0 + 1 y) fy (x0 , y0)] p
x2 + y 2
|x|
|x|
|x|
x
=p
=
= 1, and similarly
Since p
x2 + y 2
|x|
x2 + y 2
x2
I =
y
p 2
1,
x + y 2
we obtain
x
|I| |fx (x0 + 2 x, y0 ) fx (x0 , y0 )| p
x2 + y 2
y
+ |fy (x0 + x, y0 + 1 y) fy (x0 , y0)| p
x2 + y 2
Let us choose g(x, y) to be the right hand side of this last inequality. Since
fx (x, y) and fy (x, y) are continuous at (x0 , y0 ), as (x, y) (x0 , y0 ),
fx (x, y) fx (x0 , y0 ) 0, fy (x, y) fy (x0 , y0 ) 0.
But from 0 < 1 < 1, 0 < 2 < 1 we know that as (x, y) (0, 0),
(x0 + 2 x, y0 ) (x0 , y0 ), (x0 + x, y0 + 1 y) (x0 , y0 ).
Therefore, as (x, y) (0, 0),
|fx (x0 + 2 x, y0 ) fx (x0 , y0 )| 0
(x,y)(0,0)
g(x, y) = 0.
73
As we already have, by the definition of g(x, y),
|I| g(x, y),
the squeezing method implies
lim
(x,y)(0,0)
I = 0.
Hence
fxyy = fyyx = fyxy = 0,
fxy = fyx = ex (x + 1).
2.