Multivariate Calculus - Bruce E. Shapiro
Multivariate Calculus - Bruce E. Shapiro
Multivariate Calculus - Bruce E. Shapiro
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
64 LECTURE 9. THE PARTIAL DERIVATIVE<br />
Similarly, by the chain rule<br />
∂u<br />
∂x = ∂ ( 1√t<br />
e<br />
/(4ct))<br />
−x2<br />
∂x<br />
= √ 1 ( )<br />
e −x2 /(4ct) −2x<br />
t 4ct<br />
By the product rule,<br />
∂ 2 u<br />
∂x 2 = − ∂<br />
∂x<br />
−x<br />
=<br />
2ct √ t<br />
−x<br />
=<br />
2ct √ t<br />
= 1 √<br />
t<br />
e −x2 /(4ct)<br />
= √ 1 e −x2 /(4ct) ∂ ( ) −x<br />
2<br />
t ∂x 4ct<br />
= − x<br />
2ct √ t e−x2 /(4ct)<br />
( )<br />
x<br />
2ct √ /(4ct)<br />
t e−x2<br />
∂ /(4ct)<br />
∂x e−x2 − e −x2 /(4ct) ∂ x<br />
∂x 2ct √ t<br />
( ) ( )<br />
e −x2 /(4ct) −2x<br />
+<br />
4ct<br />
( x<br />
2<br />
4c 2 t 2 − 1<br />
2ct<br />
Multiplying the last equation through by c,<br />
c ∂2 u<br />
∂x 2 = √ 1 (<br />
e −x2 /(4ct) x<br />
2<br />
t 4ct 2 − 1 )<br />
2t<br />
Equivalence of Mixed Partials<br />
)<br />
(<br />
−e −x2 /(4ct) ) ( 1<br />
2ct √ t<br />
= ∂u<br />
∂t <br />
We observed at the end of example (9.5) that f xy = f yx . This property is true in<br />
general, although it is not stated formally in the book until section 15.3 theorem B.<br />
To see why it is true we observe the following:<br />
f xy (x, y) = ∂ ∂y<br />
∂f(x, y)<br />
∂x<br />
= ∂ ∂y f x(x, y)<br />
= lim<br />
k→0<br />
f x (x, y + k) − f x (x, y)<br />
k<br />
f(x + h, y + k) − f(x, y + k)<br />
lim<br />
= lim h→0 h<br />
k→0 k<br />
)<br />
− lim<br />
h→0<br />
f(x + h, y) − f(x, y)<br />
h<br />
= lim<br />
k→0<br />
lim<br />
h→0<br />
[f(x + h, y + k) − f(x, y + k)] − [f(x + h, y) − f(x, y)]<br />
hk<br />
[f(x + h, y + k) − f(x + h, y)] − [f(x, y + k) − f(x, y)]<br />
= lim lim<br />
k→0 h→0 hk<br />
f(x + h, y + k) − f(x + h, y)<br />
lim<br />
= lim k→0 k<br />
h→0<br />
h<br />
f y (x + h, y) − f y (x, y)<br />
= lim<br />
h→0 h<br />
= ∂<br />
∂x f y(x, y) = f yx (x, y).<br />
Hence in general it is safe to assume that f xy = f yx .<br />
− lim<br />
k→0<br />
f(x, y + k) − f(x, y)<br />
k<br />
Revised December 6, 2006. Math 250, Fall 2006