Schwarz's theorem and a counterexample
Statement
State Schwarz's theorem on mixed partial derivatives. Then consider the function
Compute and and verify that they differ. Explain why this does not contradict Schwarz's theorem.
Hint
Compute the first partial derivatives at via the definition, then the second mixed partials via the definition at the origin. Schwarz's theorem requires regularity near the point.
Show solutionHide solution
Solution
Schwarz's theorem. If has continuous second partial derivatives in a neighbourhood of a point , then .
First partials at the origin. For ,
so . Similarly .
Mixed partials at the origin.
A direct computation gives and .
Why no contradiction. The second partial derivatives are not continuous at : along paths approaching the origin, and do not admit a limit equal to and respectively. Schwarz's hypothesis ( regularity near the point) fails, so the conclusion need not hold.
Conclusion. Schwarz's theorem is compatible with the existence of such counterexamples: only functions are guaranteed to have symmetric mixed partials.