Multivariable Calculus Quiz: Clairauts Theorem
18 questions · exam conditions
0:00
Clairauts TheoremQuestion 1 of 18

For a vector field F(x,y)=P(x,y),Q(x,y)\mathbf{F}(x,y) = \langle P(x,y), Q(x,y) \rangle to be conservative on a simply connected domain, there must exist a potential function f(x,y)f(x,y) such that f=F\nabla f = \mathbf{F}. If PP and QQ have continuous first partial derivatives, this is equivalent to the condition Py=QxP_y = Q_x. This condition is a direct consequence of which theorem?

The Fundamental Theorem of Line Integrals
Green's Theorem
The Chain Rule for Multivariable Functions
Clairaut's Theorem
← Back to quizzes

Multivariable Calculus Quiz

Multivariable Calculus Quiz: Clairauts Theorem

Practice Clairauts Theorem in Multivariable Calculus with focused quiz questions that help you check what you know, review explanations, and build confidence with test-style prompts.

What this quiz covers

This quiz focuses on Clairauts Theorem, giving you a quick way to practice the rules, question types, and explanations that matter most for Multivariable Calculus.

How to use this quiz

Try each quiz question before looking at the correct answer. Use the explanations to review missed ideas, then come back to similar questions until the pattern feels familiar.

All questions

Question 1

For a vector field F(x,y)=P(x,y),Q(x,y)\mathbf{F}(x,y) = \langle P(x,y), Q(x,y) \rangle to be conservative on a simply connected domain, there must exist a potential function f(x,y)f(x,y) such that f=F\nabla f = \mathbf{F}. If PP and QQ have continuous first partial derivatives, this is equivalent to the condition Py=QxP_y = Q_x. This condition is a direct consequence of which theorem?

  1. The Fundamental Theorem of Line Integrals
  2. Green's Theorem
  3. The Chain Rule for Multivariable Functions
  4. Clairaut's Theorem (correct answer)
Explanation: If a potential function ff exists such that f=fx,fy=P,Q\nabla f = \langle f_x, f_y \rangle = \langle P, Q \rangle, then P=fxP = f_x and Q=fyQ = f_y. The condition that PP and QQ have continuous first partial derivatives implies that ff has continuous second partial derivatives. Clairaut's theorem on the equality of mixed partials states that under these conditions, fxy=fyxf_{xy} = f_{yx}. Differentiating PP with respect to yy gives Py=(fx)y=fxyP_y = (f_x)_y = f_{xy}. Differentiating QQ with respect to xx gives Qx=(fy)x=fyxQ_x = (f_y)_x = f_{yx}. Therefore, the condition Py=QxP_y = Q_x is a direct consequence of fxy=fyxf_{xy} = f_{yx}, which is Clairaut's theorem.

Question 2

Let f(x,y)f(x,y) be a C2C^2 function defined on R2\mathbb{R}^2. If the mixed partial derivative fxyf_{xy} is given by the expression fxy(x,y)=ex2cos(y2)f_{xy}(x,y) = e^{x^2} \cos(y^2), which of the following expressions represents fyx(x,y)f_{yx}(x,y)?

  1. 2yex2sin(y2)-2y e^{x^2} \sin(y^2)
  2. 2xex2cos(y2)2x e^{x^2} \cos(y^2)
  3. ex2cos(y2)e^{x^2} \cos(y^2) (correct answer)
  4. 00
Explanation: When you encounter mixed partial derivatives in multivariable calculus, the key concept to remember is Clairaut's theorem (also called Schwarz's theorem). This fundamental result states that for any C2C^2 function, the mixed partial derivatives are equal: fxy=fyxf_{xy} = f_{yx} Since we're told that f(x,y)f(x,y) is C2C^2 (meaning it has continuous second partial derivatives) and given that fxy(x,y)=ex2cos(y2)f_{xy}(x,y) = e^{x^2} \cos(y^2), Clairaut's theorem immediately tells us that fyx(x,y)f_{yx}(x,y) must equal the same expression. Therefore, fyx(x,y)=ex2cos(y2)f_{yx}(x,y) = e^{x^2} \cos(y^2), which is answer choice C. Let's examine why the other options are incorrect. Choice A (2yex2sin(y2)-2y e^{x^2} \sin(y^2)) appears to be the result of taking a partial derivative of fxyf_{xy} with respect to yy, giving you a third-order derivative rather than the mixed second derivative. Choice B (2xex2cos(y2)2x e^{x^2} \cos(y^2)) similarly looks like the partial derivative of fxyf_{xy} with respect to xx. Choice D (0) would only be correct if the mixed partials were somehow always zero, which has no basis in the given information. Study tip: Whenever you see a problem involving mixed partial derivatives of a C2C^2 function, immediately think "equality of mixed partials." This theorem is one of the most frequently tested concepts in multivariable calculus, so memorize it: for smooth functions, fxy=fyxf_{xy} = f_{yx} always.

Question 3

Let u(x,t)u(x, t) be a C2C^2 function representing the temperature at position xx and time tt, which satisfies the heat equation ut=kuxxu_t = k u_{xx} for some constant kk. Which of the following quantities must be equal to utxu_{tx}?

  1. kuxxxk u_{xxx}
  2. uxtu_{xt} (correct answer)
  3. kuxxtk u_{xxt}
  4. Cannot be determined without knowing u(x,t)u(x,t).
Explanation: The problem states that u(x,t)u(x,t) is a C2C^2 function, which means its second-order partial derivatives are continuous. Clairaut's theorem states that for such functions, the order of mixed partial differentiation does not matter. Therefore, utx=x(ut)u_{tx} = \frac{\partial}{\partial x}(\frac{\partial u}{\partial t}) must be equal to uxt=t(ux)u_{xt} = \frac{\partial}{\partial t}(\frac{\partial u}{\partial x}). The heat equation itself provides a relationship between different partials, but the equality of mixed partials comes directly from the smoothness condition (C2C^2) and Clairaut's theorem.

Question 4

Let f(x,y)f(x,y) be a function with continuous second-order partial derivatives on R2\mathbb{R}^2. Suppose fxx(x,y)=6xy2f_{xx}(x,y) = 6x y^2, fyy(x,y)=eycos(x)f_{yy}(x,y) = e^y \cos(x), and fxy(x,y)=x3+2ysin(x)f_{xy}(x,y) = x^3 + 2y \sin(x). What is the value of fyx(1,0)f_{yx}(1, 0)?

  1. 1 (correct answer)
  2. 0
  3. 3
  4. -1
Explanation: Clairaut's theorem states that if a function's second-order partial derivatives are continuous on a disk containing a point, then the mixed partial derivatives are equal at that point. Since ff has continuous second-order partial derivatives, we have fyx(x,y)=fxy(x,y)f_{yx}(x,y) = f_{xy}(x,y) for all (x,y)(x,y). Therefore, we only need to evaluate the given expression for fxyf_{xy} at the point (1,0)(1,0). The information about fxxf_{xx} and fyyf_{yy} is extraneous.
fyx(1,0)=fxy(1,0)=(1)3+2(0)sin(1)=1+0=1f_{yx}(1,0) = f_{xy}(1,0) = (1)^3 + 2(0)\sin(1) = 1 + 0 = 1.

Question 5

A function g(x,y)g(x,y) has continuous second-order partial derivatives (gg is C2C^2). At the point P=(3,4)P=(3,4), the gradient is g(P)=1,2\nabla g(P) = \langle 1, -2 \rangle and its Hessian matrix is Hg(P)=(5A81)H_g(P) = \begin{pmatrix} 5 & A \\ 8 & -1 \end{pmatrix}. What must be the value of AA?

  1. 8 (correct answer)
  2. -1
  3. 5
  4. -2
Explanation: The Hessian matrix of a function g(x,y)g(x,y) is defined as Hg=(gxxgxygyxgyy)H_g = \begin{pmatrix} g_{xx} & g_{xy} \\ g_{yx} & g_{yy} \end{pmatrix}. The problem states that gg is a C2C^2 function, which means its second-order partial derivatives are continuous. By Clairaut's theorem, this implies that the mixed partial derivatives are equal: gxy=gyxg_{xy} = g_{yx}. Therefore, the Hessian matrix must be symmetric. From the given matrix, we have gxy(P)=Ag_{xy}(P) = A and gyx(P)=8g_{yx}(P) = 8. For the matrix to be symmetric, we must have A=8A=8. The information about the gradient is extraneous.

Question 6

Let f(x,y)f(x,y) be a function with continuous second-order partial derivatives on its domain. Let a change of variables to polar coordinates be given by x=rcosθx = r\cos\theta and y=rsinθy=r\sin\theta, and define g(r,θ)=f(rcosθ,rsinθ)g(r, \theta) = f(r\cos\theta, r\sin\theta). Which of the following statements must be true for all r>0r>0?

  1. The relationship between grθg_{r\theta} and gθrg_{\theta r} depends on the specific function f(x,y)f(x,y).
  2. grθ=gθrg_{r\theta} = -g_{\theta r}
  3. grr+gθθ=0g_{rr} + g_{\theta\theta} = 0
  4. grθ=gθrg_{r\theta} = g_{\theta r} (correct answer)
Explanation: When you encounter problems involving change of variables and mixed partial derivatives, the key concept to recall is Clairaut's theorem (also called Schwarz's theorem), which states that mixed partial derivatives are equal when the function has continuous second-order partial derivatives. Since f(x,y)f(x,y) has continuous second-order partial derivatives and g(r,θ)=f(rcosθ,rsinθ)g(r,\theta) = f(r\cos\theta, r\sin\theta), the composite function gg inherits this smoothness property. The transformation from Cartesian to polar coordinates involves smooth functions (cosθ\cos\theta and sinθ\sin\theta), so the chain rule applies cleanly, and all second-order partial derivatives of gg remain continuous. By Clairaut's theorem, this continuity guarantees that grθ=gθrg_{r\theta} = g_{\theta r} for all points where both mixed partials exist and are continuous, which includes all r>0r > 0. Looking at the wrong answers: Choice A incorrectly suggests the relationship depends on the specific function ff, but Clairaut's theorem applies universally to any function with continuous second partials. Choice B claims grθ=gθrg_{r\theta} = -g_{\theta r}, which would violate Clairaut's theorem and has no mathematical basis. Choice C states grr+gθθ=0g_{rr} + g_{\theta\theta} = 0, which resembles a Laplace equation but isn't generally true for arbitrary functions under polar coordinate transformation. Study tip: Whenever you see mixed partial derivatives with continuous second-order partials, immediately think "Clairaut's theorem" - the order of differentiation doesn't matter. Coordinate transformations preserve this property as long as the transformation functions are smooth.

Question 7

A student computes fxyf_{xy} for f(x,y)=x3y2+2xyf(x,y) = x^3y^2 + 2xy and gets 6x2y+26x^2y + 2. Then computes fyxf_{yx} and gets 6xy2+26xy^2 + 2. The student concludes that Clairaut's theorem fails for this function. What is the most likely explanation?

  1. The student is correct; Clairaut's theorem does not apply to polynomial functions with mixed terms like x3y2x^3y^2
  2. The student made an error in computing fyxf_{yx}; the correct value should be 6x2y+26x^2y + 2 to match fxyf_{xy} (correct answer)
  3. The student made an error in computing fxyf_{xy}; the correct value should be 6xy2+26xy^2 + 2 to match fyxf_{yx}
  4. Both computations contain errors; the correct value for both mixed partials should be 3x2y+23x^2y + 2
Explanation: For f(x,y)=x3y2+2xyf(x,y) = x^3y^2 + 2xy: fx=3x2y2+2yf_x = 3x^2y^2 + 2y, so fxy=6x2y+2f_{xy} = 6x^2y + 2. Also, fy=2x3y+2xf_y = 2x^3y + 2x, so fyx=6x2y+2f_{yx} = 6x^2y + 2. The student correctly computed fxyf_{xy} but incorrectly computed fyxf_{yx}. Since this is a polynomial, both mixed partials exist and are continuous everywhere, so Clairaut's theorem guarantees they are equal. Choice A incorrectly suggests the theorem doesn't apply to polynomials. Choice C incorrectly identifies which computation is wrong. Choice D gives an incorrect value for both partials.

Question 8

A function ϕ(x,y)\phi(x,y) is known to have continuous second partial derivatives everywhere except possibly at (0,0)(0,0). If ϕxy(0,0)\phi_{xy}(0,0) and ϕyx(0,0)\phi_{yx}(0,0) both exist, what additional condition is needed to conclude ϕxy(0,0)=ϕyx(0,0)\phi_{xy}(0,0) = \phi_{yx}(0,0)?

  1. That ϕ\phi itself is continuous at (0,0)(0,0), ensuring that all derivative relationships are preserved at that point
  2. No additional condition is needed; existence of both mixed partials at a point automatically implies their equality by the symmetry of partial differentiation
  3. That all second partial derivatives ϕxx\phi_{xx}, ϕyy\phi_{yy}, ϕxy\phi_{xy}, and ϕyx\phi_{yx} exist at (0,0)(0,0), providing sufficient regularity
  4. That ϕxy\phi_{xy} and ϕyx\phi_{yx} are continuous at (0,0)(0,0), completing the hypotheses required by Clairaut's theorem (correct answer)
Explanation: When you encounter questions about mixed partial derivatives and their equality, you're dealing with Clairaut's theorem (also called Schwarz's theorem), which is fundamental to understanding when the order of partial differentiation doesn't matter. Clairaut's theorem states that if the mixed partial derivatives ϕxy\phi_{xy} and ϕyx\phi_{yx} both exist in a neighborhood of a point and are continuous at that point, then they are equal at that point. The key insight is that mere existence of the mixed partials isn't sufficient—continuity at the point is the crucial additional requirement. Option D correctly identifies this missing piece. You're told the mixed partials exist at (0,0)(0,0), but Clairaut's theorem requires their continuity at (0,0)(0,0) to guarantee equality. Option A is incorrect because continuity of ϕ\phi itself doesn't ensure the mixed partials are equal. A function can be continuous while having discontinuous derivatives. Option B reflects a common misconception. The symmetry of partial differentiation isn't automatic—it requires the conditions of Clairaut's theorem. There are counterexamples where mixed partials exist but aren't equal when continuity fails. Option C is wrong because knowing that ϕxx\phi_{xx} and ϕyy\phi_{yy} exist doesn't help establish equality of the mixed partials. The "regularity" that matters specifically concerns the continuity of ϕxy\phi_{xy} and ϕyx\phi_{yx}. Remember: When you see mixed partial derivatives, immediately think Clairaut's theorem. Existence alone isn't enough—you need continuity of the mixed partials at the point to guarantee their equality.

Question 9

Let z(x,y)=f(x2+y2)z(x,y) = f(x^2 + y^2) where ff is a twice continuously differentiable function of one variable. Using Clairaut's theorem, which equation must ff satisfy for the mixed partials of zz to be equal?

  1. No additional condition on ff is needed; Clairaut's theorem automatically applies since zz inherits twice continuous differentiability from ff (correct answer)
  2. f(t)=0f''(t) = 0 for all tt, ensuring that the second derivative terms in the mixed partials cancel appropriately
  3. f(t)+tf(t)=0f'(t) + tf''(t) = 0 for all t0t \geq 0, which emerges from the condition zxy=zyxz_{xy} = z_{yx}
  4. ff must be linear, i.e., f(t)=at+bf(t) = at + b for constants aa and bb, to ensure the mixed partials have the required symmetry
Explanation: Since ff is twice continuously differentiable and z(x,y)=f(x2+y2)z(x,y) = f(x^2 + y^2) is a composition of ff with the smooth function x2+y2x^2 + y^2, the function zz automatically inherits twice continuous differentiability everywhere. By the chain rule, zxy=2xyf(x2+y2)z_{xy} = 2xyf''(x^2 + y^2) and zyx=2xyf(x2+y2)z_{yx} = 2xyf''(x^2 + y^2), so they are automatically equal. Clairaut's theorem applies without additional conditions on ff. The other choices incorrectly suggest additional constraints are needed when the composition already ensures the required regularity and symmetry.

Question 10

A function h(x,y)h(x,y) satisfies hxy(2,3)=7h_{xy}(2,3) = 7 and both hxyh_{xy} and hyxh_{yx} are continuous in a neighborhood of (2,3)(2,3). If hyxh_{yx} is computed directly and found to equal 55 at (2,3)(2,3), what conclusion should be drawn?

  1. There must be a computational error since Clairaut's theorem guarantees hxy(2,3)=hyx(2,3)=7h_{xy}(2,3) = h_{yx}(2,3) = 7 under the given conditions (correct answer)
  2. The result is acceptable because Clairaut's theorem only applies when the function is twice continuously differentiable everywhere
  3. The mixed partials can be different because Clairaut's theorem requires global continuity of mixed partials, not just local continuity
  4. This indicates that while hxyh_{xy} is continuous at (2,3)(2,3), the assumption about hyxh_{yx} being continuous there must be incorrect
Explanation: If both mixed partial derivatives exist and are continuous in a neighborhood of (2,3)(2,3), then by Clairaut's theorem they must be equal at that point. Since we're told both conditions are satisfied, getting different values indicates a computational error. The theorem's conditions are met, so equality must hold. Choice B incorrectly requires global differentiability. Choice C misstates the theorem's requirements. Choice D incorrectly suggests we should doubt the given continuity condition rather than suspect computational error.

Question 11

Suppose there exists a function f(x,y)f(x,y) with continuous second-order partial derivatives such that fx(x,y)=2xyk+y2f_x(x,y) = 2xy^k + y^2 and fy(x,y)=3x2y2+2xyf_y(x,y) = 3x^2y^2 + 2xy. What must be the value of the constant kk?

  1. 2
  2. 3 (correct answer)
  3. 1
  4. No such value of kk exists.
Explanation: If a function f(x,y)f(x,y) exists with continuous second-order partial derivatives, then by Clairaut's theorem, we must have (fx)y=(fy)x(f_x)_y = (f_y)_x. We compute these two mixed partial derivatives. (fx)y=y(2xyk+y2)=2kxyk1+2y(f_x)_y = \frac{\partial}{\partial y}(2xy^k + y^2) = 2kxy^{k-1} + 2y. (fy)x=x(3x2y2+2xy)=6xy2+2y(f_y)_x = \frac{\partial}{\partial x}(3x^2y^2 + 2xy) = 6xy^2 + 2y. For these expressions to be equal for all (x,y)(x,y), the coefficients of like terms must match. 2kxyk1+2y=6xy2+2y2kxy^{k-1} + 2y = 6xy^2 + 2y. This implies 2kxyk1=6xy22kxy^{k-1} = 6xy^2. Comparing the powers of yy, we see that k1=2k-1 = 2, which gives k=3k=3. Comparing the coefficients, 2k=62k = 6, which also gives k=3k=3. Thus, the only possible value is k=3k=3.

Question 12

Let f(x,y)=x3y2+exysin(x2y)f(x,y) = x^3y^2 + e^{xy} \sin(x^2y). If fxy(a,b)f_{xy}(a,b) exists and is continuous in a neighborhood of (a,b)(a,b), which of the following statements about fyx(a,b)f_{yx}(a,b) is necessarily true?

  1. fyx(a,b)=fxy(a,b)f_{yx}(a,b) = f_{xy}(a,b) by Clairaut's theorem since ff is composed of elementary functions
  2. fyx(a,b)=fxy(a,b)f_{yx}(a,b) = f_{xy}(a,b) provided that fyx(a,b)f_{yx}(a,b) exists and is continuous in a neighborhood of (a,b)(a,b) (correct answer)
  3. fyx(a,b)f_{yx}(a,b) exists but may not equal fxy(a,b)f_{xy}(a,b) since the exponential and trigonometric terms create discontinuities
  4. fyx(a,b)=fxy(a,b)f_{yx}(a,b) = f_{xy}(a,b) regardless of continuity conditions since both mixed partials involve the same variables
Explanation: Clairaut's theorem states that if both mixed partial derivatives exist and are continuous in a neighborhood of a point, then they are equal at that point. The correct answer requires both conditions: existence and continuity of both mixed partials. Choice A incorrectly assumes elementary functions automatically satisfy all conditions. Choice C incorrectly suggests the function type matters more than continuity. Choice D ignores the continuity requirement entirely.

Question 13

A function f(x,y)f(x, y) has continuous second partial derivatives, and it is known that fxy(x,y)=6x+4yf_{xy}(x, y) = 6x + 4y. If g(x,y)=f(y,x)g(x, y) = f(y, x), what is gxy(x,y)g_{xy}(x, y)?

  1. 6x+4y6x + 4y
  2. 6y+4x6y + 4x (correct answer)
  3. 44
  4. 66
Explanation: Let u=yu=y and v=xv=x. Then g(x,y)=f(u,v)g(x,y) = f(u,v). Using the chain rule, we find the partial derivatives of gg. gx(x,y)=fu(u,v)ux+fv(u,v)vx=fu(y,x)0+fv(y,x)1=fv(y,x)g_x(x,y) = f_u(u,v) \frac{\partial u}{\partial x} + f_v(u,v) \frac{\partial v}{\partial x} = f_u(y,x) \cdot 0 + f_v(y,x) \cdot 1 = f_v(y,x). Now we differentiate gxg_x with respect to yy to find gxyg_{xy}. gxy(x,y)=y(fv(y,x))g_{xy}(x,y) = \frac{\partial}{\partial y}(f_v(y,x)). Applying the chain rule again: gxy(x,y)=fvu(y,x)uy+fvv(y,x)vy=fvu(y,x)1+fvv(y,x)0=fvu(y,x)g_{xy}(x,y) = f_{vu}(y,x) \frac{\partial u}{\partial y} + f_{vv}(y,x) \frac{\partial v}{\partial y} = f_{vu}(y,x) \cdot 1 + f_{vv}(y,x) \cdot 0 = f_{vu}(y,x). Since ff has continuous second partial derivatives, Clairaut's theorem states that fvu=fuvf_{vu} = f_{uv}. The variables for ff are uu and vv, so this is fxyf_{xy} in its original variable names. Therefore, fvu(u,v)=fuv(u,v)=6u+4vf_{vu}(u,v) = f_{uv}(u,v) = 6u + 4v. We need to evaluate this at (u,v)=(y,x)(u,v) = (y,x). gxy(x,y)=fvu(y,x)=6y+4xg_{xy}(x,y) = f_{vu}(y,x) = 6y + 4x.

Question 14

A function f(x,y)f(x,y) has continuous third-order partial derivatives everywhere. It is known that fxxy(x,y)=12xy+exf_{xxy}(x,y) = 12xy + e^x and fyxx(x,y)=12xy+exf_{yxx}(x,y) = 12xy + e^x. What is fxyx(x,y)f_{xyx}(x,y)?

  1. 12y+ex12y + e^x
  2. 12x12x
  3. 12xy+ex12xy + e^x (correct answer)
  4. Cannot be determined from the given information.
Explanation: Clairaut's theorem extends to higher-order derivatives. If a function's third-order partial derivatives are all continuous, then the order of differentiation does not matter for any third-order mixed partial derivative. This means that any partial derivative with two 'x' differentiations and one 'y' differentiation will be the same, regardless of the order. Therefore, fxxy=fyxx=fxyxf_{xxy} = f_{yxx} = f_{xyx}. Since we are given that fxxy(x,y)=12xy+exf_{xxy}(x,y) = 12xy + e^x, it must be that fxyx(x,y)f_{xyx}(x,y) is also equal to 12xy+ex12xy + e^x. The information about fyxxf_{yxx} is redundant and serves to confirm this fact.

Question 15

For the function u(x,y)=ln(x2+y2+1)+arctan(yx)u(x,y) = \ln(x^2 + y^2 + 1) + \arctan\left(\frac{y}{x}\right), Clairaut's theorem can be applied to conclude uxy=uyxu_{xy} = u_{yx} everywhere except possibly where:

  1. x2+y2+1=0x^2 + y^2 + 1 = 0, where the logarithm is undefined and creates discontinuities in the mixed partials
  2. x=0x = 0, where the arctangent function creates discontinuities that violate the continuity requirements of Clairaut's theorem (correct answer)
  3. y=0y = 0, where the partial derivatives with respect to yy become undefined due to the arctangent term
  4. x=0x = 0 and y=0y = 0, where both terms in the function create singularities that prevent the mixed partials from being continuous
Explanation: The function ln(x2+y2+1)\ln(x^2 + y^2 + 1) is well-defined and smooth everywhere since x2+y2+11>0x^2 + y^2 + 1 \geq 1 > 0. However, arctan(y/x)\arctan(y/x) is undefined when x=0x = 0, and the partial derivatives involving this term will have discontinuities along the yy-axis. This violates the continuity condition needed for Clairaut's theorem. Choice A is impossible since x2+y2+11x^2 + y^2 + 1 \geq 1. Choice C incorrectly identifies where problems occur. Choice D incorrectly suggests both terms create issues and misidentifies the problematic region.

Question 16

Consider g(x,y)=ex2y2cos(xy)g(x,y) = e^{x^2-y^2} \cos(xy). If you need to compute both gxyg_{xy} and gyxg_{yx} to verify they satisfy Clairaut's theorem, which approach is most efficient?

  1. Compute gxyg_{xy} directly using the product rule and chain rule, then use Clairaut's theorem to conclude gyx=gxyg_{yx} = g_{xy} without further calculation
  2. Compute both gxyg_{xy} and gyxg_{yx} independently to verify Clairaut's theorem, since the theorem's conclusion cannot be assumed without verification
  3. First verify that gg is twice continuously differentiable, then compute only gxyg_{xy} and apply Clairaut's theorem for gyxg_{yx} (correct answer)
  4. Use symmetry properties of the exponential and cosine functions to conclude immediately that gxy=gyxg_{xy} = g_{yx} without explicit computation
Explanation: Since g(x,y)=ex2y2cos(xy)g(x,y) = e^{x^2-y^2} \cos(xy) is composed of exponential and trigonometric functions with polynomial arguments, it is infinitely differentiable everywhere. Once we verify this (which is immediate for such functions), Clairaut's theorem guarantees gxy=gyxg_{xy} = g_{yx}, so we only need to compute one of them. Choice A assumes the theorem applies without verification. Choice B is inefficient since it computes both when one suffices. Choice D incorrectly invokes 'symmetry properties' that don't actually apply to this function form.

Question 17

Let F(x,y)=x4+y4+x2y2+xyF(x,y) = x^4 + y^4 + x^2y^2 + xy. To verify that Fxy=FyxF_{xy} = F_{yx} using Clairaut's theorem, what is the minimum condition that must be verified?

  1. That FF is continuous everywhere, since polynomial functions automatically satisfy all differentiability requirements
  2. That both FxyF_{xy} and FyxF_{yx} exist, since equality follows immediately from the symmetry of mixed partial differentiation
  3. That both FxyF_{xy} and FyxF_{yx} exist and are continuous, which for polynomials is automatically satisfied everywhere (correct answer)
  4. That FF has continuous second partial derivatives FxxF_{xx}, FyyF_{yy}, FxyF_{xy}, and FyxF_{yx} in the domain of interest
Explanation: Clairaut's theorem requires that both mixed partial derivatives exist and are continuous in a neighborhood of the point in question. For polynomial functions, all partial derivatives of any order exist and are continuous everywhere, so this condition is automatically satisfied. Choice A only mentions continuity of FF itself, which is insufficient. Choice B incorrectly suggests existence alone is sufficient. Choice D is overly broad, mentioning all second partials when only the mixed partials' continuity is needed for Clairaut's theorem.

Question 18

For w(x,y)=xyw(x,y) = |xy|, what prevents the direct application of Clairaut's theorem to conclude wxy=wyxw_{xy} = w_{yx} throughout the domain?

  1. The absolute value function is not differentiable everywhere, so the mixed partial derivatives fail to exist along the coordinate axes
  2. The mixed partial derivatives exist everywhere but have different values in different quadrants, preventing the equality required by Clairaut's theorem
  3. The function w(x,y)=xyw(x,y) = |xy| is not continuous at the origin, violating a fundamental requirement for applying Clairaut's theorem
  4. While wxyw_{xy} and wyxw_{yx} exist almost everywhere, they are not continuous along the lines x=0x = 0 and y=0y = 0 (correct answer)
Explanation: When analyzing whether Clairaut's theorem applies to a function involving absolute values, you need to check if the mixed partial derivatives exist and are continuous throughout the domain. Clairaut's theorem states that wxy=wyxw_{xy} = w_{yx} when both mixed partials are continuous. For w(x,y)=xyw(x,y) = |xy|, let's trace what happens. In each quadrant where xyxy has a consistent sign, the function behaves like w=xyw = xy or w=xyw = -xy, giving us wxy=wyx=1w_{xy} = w_{yx} = 1 or wxy=wyx=1w_{xy} = w_{yx} = -1 respectively. The mixed partials do exist almost everywhere. The critical issue occurs along the coordinate axes (x=0x = 0 or y=0y = 0). Here, the mixed partial derivatives exist but experience jump discontinuities as you cross from one quadrant to another. Since Clairaut's theorem requires the mixed partials to be continuous, this discontinuity prevents direct application of the theorem. Option A is incorrect because the mixed partials do exist along the coordinate axes through limit processes. Option B misses the point—the mixed partials are equal within each quadrant where they're continuous. Option C is wrong because xy|xy| is continuous everywhere, including at the origin (lim(x,y)(0,0)xy=0=w(0,0)\lim_{(x,y) \to (0,0)} |xy| = 0 = w(0,0)). Option D correctly identifies that while the mixed partials exist almost everywhere, their lack of continuity along the coordinate axes prevents applying Clairaut's theorem. Study tip: For absolute value functions in multivariable calculus, always check continuity of derivatives at boundary lines where the expression inside the absolute value changes sign.