16.5. MIXED PARTIAL DERIVATIVES 293

12. Suppose

f (x,y) =

{2xy+6x3+12xy2+18yx2+36y3+sin(x3)+tan(3y3)

3x2+6y2 if (x,y) ̸= (0,0)

0 if (x,y) = (0,0) .

Find ∂ f∂x (0,0) and ∂ f

∂y (0,0).

13. Why must the vector in the definition of the directional derivative be a unit vector?Hint: Suppose not. Would the directional derivative be a correct manifestation ofsteepness?

16.5 Mixed Partial DerivativesUnder certain conditions the mixed partial derivatives will always be equal. This aston-ishing fact may have been known to Euler in 1734.

Theorem 16.5.1 Suppose f : U ⊆R2→R where U is an open set on which fx, fy, fxy andfyx exist. Then if fxy and fyx are continuous at the point (x,y) ∈U, it follows

fxy (x,y) = fyx (x,y) .

Proof: Since U is open, there exists r > 0 such that B((x,y) ,r)⊆U . Now let |t| , |s|<r/2 and consider

∆(s, t)≡ 1st{

h(t)︷ ︸︸ ︷f (x+ t,y+ s)− f (x+ t,y)−

h(0)︷ ︸︸ ︷( f (x,y+ s)− f (x,y))}. (16.6)

Note that (x+ t,y+ s) ∈U because

|(x+ t,y+ s)− (x,y)| = |(t,s)|=(t2 + s2)1/2

≤(

r2

4+

r2

4

)1/2

=r√2< r.

As implied above, h(t) ≡ f (x+ t,y+ s)− f (x+ t,y). Therefore, by the mean value theo-rem from calculus and the (one variable) chain rule,

∆(s, t) =1st(h(t)−h(0)) =

1st

h′ (αt) t

=1s( fx (x+αt,y+ s)− fx (x+αt,y))

for some α ∈ (0,1). Applying the mean value theorem again,

∆(s, t) = fxy (x+αt,y+β s)

where α,β ∈ (0,1).If the terms f (x+ t,y) and f (x,y+ s) are interchanged in (16.6), ∆(s, t) is also un-

changed and the above argument shows there exist γ,δ ∈ (0,1) such that

∆(s, t) = fyx (x+ γt,y+δ s) .

16.5. MIXED PARTIAL DERIVATIVES 29312. Suppose3x24 6y23 21 Ry 1 26 y3-Lein (3 3rx y) _ 2xy+6x? + 12xy~+18yx~+36y +sin(x )+tan (3y ) if (x,y) 4 (0,0)if (x,») = (0,0).: of 0Find Sf (0,0) and Sf (0,0).13. Why must the vector in the definition of the directional derivative be a unit vector?Hint: Suppose not. Would the directional derivative be a correct manifestation ofsteepness?16.5 Mixed Partial DerivativesUnder certain conditions the mixed partial derivatives will always be equal. This aston-ishing fact may have been known to Euler in 1734.Theorem 16.5.1 Suppose f :U CR? > R where U is an open set on which fs fy fry andfyx exist. Then if fry and fy, are continuous at the point (x,y) € U, it followstry (x,y) = fix (x,y).Proof: Since U is open, there exists r > 0 such that B((x,y),r) C U. Now let ||, |s| <r/2 and considerA(t) h(0)1A(s,t)= gif attyts)—fatty)—(Fayts)—f(y))t- (16.6)Note that (x+t,y +s) € U because(ethy+s)—(ey)| = [les)/= (2 492)!”IApe pvt? r—+—) =—<r.(G+5) -actAs implied above, h(t) = f (x+t,y+5)—f(x+t,y). Therefore, by the mean value theo-rem from calculus and the (one variable) chain rule,A(s.t) = = (h(t) -h(0)) = <H (art)= “(fe et atay +8) — fle tarry)for some @ € (0,1). Applying the mean value theorem again,A(s,t) = fry (x+at,y+ Bs)where a, B € (0,1).If the terms f(x+t,y) and f(x,y+5) are interchanged in (16.6), A(s,f) is also un-changed and the above argument shows there exist y,6 € (0,1) such thatA(s,t) = fix (x+ Yt,y + 6s).