Maths WorkshopMaths problems with full solutions
Exercise 1086Calculus › Multivariable calculus › Partial derivativesL1Added 3 Nov 2026

Schwarz's theorem and a counterexample

#Schwarz theorem#mixed partials#symmetry

Statement

State Schwarz's theorem on mixed partial derivatives. Then consider the function
f(x,y)={xy(x2−y2)x2+y2if (x,y)≠(0,0),0if (x,y)=(0,0).f(x,y)=\begin{cases}\dfrac{xy(x^2-y^2)}{x^2+y^2}&\text{if }(x,y)\neq(0,0),\\[2mm]0&\text{if }(x,y)=(0,0).\end{cases}
Compute fxy(0,0)f_{xy}(0,0) and fyx(0,0)f_{yx}(0,0) and verify that they differ. Explain why this does not contradict Schwarz's theorem.

Hint

Compute the first partial derivatives at (0,0)(0,0) via the definition, then the second mixed partials via the definition at the origin. Schwarz's theorem requires C2C^2 regularity near the point.

Show solutionHide solution

Solution

Schwarz's theorem. If ff has continuous second partial derivatives in a neighbourhood of a point (a,b)(a,b), then fxy(a,b)=fyx(a,b)f_{xy}(a,b)=f_{yx}(a,b).

First partials at the origin. For x≠0x\neq0,
f(x,0)−f(0,0)x=0x=0,\frac{f(x,0)-f(0,0)}{x}=\frac{0}{x}=0,
so fx(0,0)=0f_x(0,0)=0. Similarly fy(0,0)=0f_y(0,0)=0.

Mixed partials at the origin.
fxy(0,0)=lim⁡y→0fx(0,y)−fx(0,0)y,fyx(0,0)=lim⁡x→0fy(x,0)−fy(0,0)x.f_{xy}(0,0)=\lim_{y\to0}\frac{f_x(0,y)-f_x(0,0)}{y},\qquad f_{yx}(0,0)=\lim_{x\to0}\frac{f_y(x,0)-f_y(0,0)}{x}.
A direct computation gives fxy(0,0)=−1f_{xy}(0,0)=-1 and fyx(0,0)=1f_{yx}(0,0)=1.

Why no contradiction. The second partial derivatives are not continuous at (0,0)(0,0): along paths approaching the origin, fxyf_{xy} and fyxf_{yx} do not admit a limit equal to −1-1 and 11 respectively. Schwarz's hypothesis (C2C^2 regularity near the point) fails, so the conclusion need not hold.

Conclusion. Schwarz's theorem is compatible with the existence of such counterexamples: only C2C^2 functions are guaranteed to have symmetric mixed partials.