The chain rule for Frechet derivatives states that if is differentiable at and is differentiable at , then
The composition on the right is a composition of linear maps, equivalently a product of Jacobian matrices in coordinates.
Apply the chain rule to the affine function . The resulting derivative is
If the two partial derivatives agree everywhere, . The mean value theorem makes constant on . Define , which is itself differentiable by the chain rule. Taking gives , and therefore
No continuity of the partial derivatives beyond the assumed differentiability is needed.

Articles by others on the same topic (0)

There are currently no matching articles.