Lab 2: Clairaut's Theorem: Xy Yx
Lab 2: Clairaut's Theorem: Xy Yx
Math 235
Lab 1 Details
The overall goal of this lab is, given the particular function below, show that it does not
satisfy the conditions of Clairauts Theorem. To assist you, there are several items below
that will guide your thinking. In particular, you might first think about whether the function
is continuous. Then look at if it is differentiable, and twice differentiable. The theorem is
included below for your convenience.
Theorem (Clairaut). Suppose f is defined on a disk D that contains the point (a, b). If the
functions fxy and fyx are both continuous on D, then
fxy (a, b) = fyx (a, b).
1
f (x, y) =
xy(x2 y 2 )
x2 +y 2
(x, y) 6= 0
0 (x, y) = 0
1. First get a feeling for what f is by plotting it (for the plot, Maple will ignore the origin
so you can ignore the possible point of discontinuity at the origin).
2. Is f continuous at the origin?
(a) Try using the definition (limits) in Maple.
(b) Try using the squeeze theorem. (Hint: You might look to see if |xy| f (x, y)
|xy|. The absolute value function in Maple is abs())
3. Is f differentiable?
(a) Compute fx , fy using Maple (You might also use simplify here).
(b) Compute fx (0, 0) and fy (0, 0) by using the definition of the derivative (by hand).
(c) Show that fx and fy are continuous at the origin by seeing that 2|y| fx (x, y)
2|y|, and similarly, 2|x| fy (x, y) 2|x|. Can you show these algebraically? Do
they help prove continuity at the origin? (How?)
4. Show that fxy (0, 0) 6= fyx (0, 0). (Note: Compute fxy (0, 0) using the definition of the
derivative).
5. Discuss why Clairauts Theorem does not apply here.
Some helpful definitions:
The function z = f (x, y) is continuous at x = a, y = b if
lim
(x,y)(a,b)
f (x, y) = f (a, b)
Given z = f (x, y), the partial derivative with respect to x at the point x = a, y = b is:
f (a + h, b) f (a, b)
h0
h
fx (a, b) = lim
fy (a, b) = lim