The flowbox theorem for divergence-free Lipschitz vector fields (Q2401343)

The standard flowbox theorem [\textit{J. Palis jun.} and \textit{W. de Melo}, Geometric theory of dynamical systems. An introduction. New York-Heidelberg-Berlin: Springer-Verlag (1982; Zbl 0491.58001)] states that orbits of \(C^r\)-smooth flows, with \(r\geq1\), can be straightened out in neighbourhoods of regular orbits. However, since the requisite changes of coordinates are defined only implicitly, it cannot be guaranteed that geometric invariants of the flow -- such as symplectic or volume forms -- will be preserved, which can be disadvantageous in perturbation theory. A flowbox theorem for Hamiltonian vector fields was proven in [\textit{R. Abraham} and \textit{J. E. Marsden}, Foundations of mechanics. 2nd ed. Reading, MA: The Benjamin/Cummings Publishing Company, Inc. (1978; Zbl 0393.70001)], whereas a proof that implies preservation of the volume form can be found in [the author, Ergodic Theory Dyn. Syst. 27, 1445--1472 (2007; Zbl 1129.37010)]. While corresponding results for vector fields that are merely Lipschitz continuous -- which is the standard regularity assumption for unique local integrability -- were obtained in [\textit{C. Calcaterra} and \textit{A. Boldt}, J. Math. Anal. Appl. 338, 1108--1115 (2008; Zbl 1155.34033)], the changes of coordinates constructed there do not necessarily preserve the volume when applied to the particular case of divergence-free vector fields. Here, the author provides a proof of the flowbox theorem for divergence-free Lipschitz-continuous vector fields that implies preservation of the volume; moreover, he shows that the corresponding change of coordinates is a lipeomorphism, i.e., a bijective Lipschitz map with Lipschitz inverse.