The chain rule for Frechet derivatives states that if is differentiable at and is differentiable at , thenThe 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 isIf 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 thereforeNo continuity of the partial derivatives beyond the assumed differentiability is needed.
Articles by others on the same topic
There are currently no matching articles.