Spatial derivative control in perturbations of the identity map

ID: spatial-derivative-control-in-perturbations-of-the-identity-map

To deduce from , the remainder must be small in a topology controlling its spatial derivatives, such as locally. Small displacement alone is insufficient: differs uniformly from the identity by , but has Jacobian determinant at for nonzero . A smooth flow map generated by a smooth vector field has the required derivative control.

New to topics? Read the docs here!