Triangulation of diffeomorphisms (Q2402839): Difference between revisions

Let \({\mathbb{X}}\) be a domain in \({\mathbb{R}}^n\), \(n\geq 1\), with a simplicial partition, and let \(f: {\mathbb{X}} \buildrel{\text{into}}\over{\longrightarrow} {\mathbb{R}}^n\) be a continuous map. A continuous map \(f_\circ: {\mathbb{X}}\buildrel{\text{into}}\over{\longrightarrow} {\mathbb{R}}^n\) is called a Lagrange interpolation of \(f\), if it is affine on each simplex and if it agrees with \(f\) at the vertices of the simplexes. In the paper under review the authors consider Lagrange interpolations of diffeomorphisms. Their main result is Theorem 1.1: Let \({\mathbb{X}}\) and \({\mathbb{Y}}\) be domains in \({\mathbb{R}}^n\), where \(n\geq 1\), and let \(f: {\mathbb{X}}\buildrel{\text{onto}}\over{\longrightarrow} {\mathbb{Y}}\) be a \({\mathcal{C}}^1\)-diffeomorphism with inverse \(g: {\mathbb{Y}}\buildrel{\text{onto}}\over{\longrightarrow} {\mathbb{X}}\). Let \(\varepsilon=\varepsilon(x)>0\) and \(\delta=\delta(y)>0\) be continuous real valued functions defined on \({\mathbb{X}}\) and \({\mathbb{Y}}\), respectively. Then there is a homeomorphism \(f_\circ : {\mathbb{X}}\buildrel{\text{onto}}\over{\longrightarrow} {\mathbb{Y}}\) that is a Lagrange interpolation of \(f\) satisfying \[ \| Df(x) - Df_\circ(x)\|\leq \varepsilon(x), \text{ for almost every } x\in {\mathbb{X}}. \] Similarly, the inverse \(g_\circ : {\mathbb{Y}}\buildrel{\text{onto}}\over{\longrightarrow} {\mathbb{X}}\) satisfies \[ \| Dg(y) - Dg_\circ(y)\|\leq \delta(y), \text{ for almost every } y\in {\mathbb{Y}}. \] To obtain the main result the authors first prove the following triangulation theorem: Let \({\mathcal{U}}\) be an open cover of a domain \({\mathbb{X}}\subset{\mathbb{R}}^n\). Then \({\mathbb{X}}\) has a locally finite isotropic selfsimilar triangulation that is a refinement of \({\mathcal{U}}\).