Away from the origin, the chain rule gives and . Differentiating once more yields the two-dimensional case of the Hessian of the Euclidean norm:These partial derivatives are smooth wherever , so Clairaut's theorem gives . None of these formulas supplies a derivative at the origin: even the restriction has no two-sided derivative there.
Write , . Since is constant, the multivariable chain rule gives and . Applying these operators twice to a twice continuously differentiable function givesThe mixed terms cancel and , soThis is rotational invariance of the Laplacian: an orthogonal change of coordinates preserves the trace of the Hessian matrix. A nonconstant angle would introduce additional derivatives and is not covered by this constant rotation calculation.
Articles by others on the same topic
There are currently no matching articles.