Put . Differentiation of gives
The positive denominator also shows that the function and these derivatives are smooth throughout .
At the gradient is . The total derivative is therefore the linear functional
The derivative of the curve is
Its image lies on the unit circle, so and . Meanwhile
and multiplication by gives . This verifies the chain rule explicitly.
Because , we have ; similarly . Apply the one-variable mean value theorem on the horizontal and vertical segments joining to to . The triangle inequality gives
Thus the function is globally one-Lipschitz for the metric on the plane.

Articles by others on the same topic (0)

There are currently no matching articles.