On the equicontinuity of families of inverse mappings of Riemannian manifolds (Q2202649)

Let \(D\) be compact in \((M^n,g)\), an \(n\)-dimensional Riemannian manifold, and \(\Gamma=\Gamma(E,F,D)\) be the family of all paths connecting the sets \(E\) and \(F\) in \(D\); the modulos of \(\Gamma\) is defined by \[ \mathcal{M}(\Gamma)=\inf_{\rho\in F(\Gamma)}\int_D\rho^n(x)d\mu_{M^n}(x) \] where \(d\mu_{M^n}(x)\) stands for the Riemannian volume form on \(M^n\) and \(F(\Gamma)\) is comprised by all real-valued positive Borel functions \(\rho\) on \(D\) such that \(\int_\gamma\rho ds\ge 1\) for all \(\gamma\in \Gamma\). Let \(Q\in L_1(D)\), and \(\mathcal R_Q(D,u^{-1}(D))\) be the family of all homeomorphisms \(u\) of domain \(u^{-1}(D)\) such that \[ \mathcal{M}(u^{-1}(\Gamma(\mathcal S_1,\mathcal S_2, D)))\le \int_{A_{g}^{r_1,r_2}\cap D} Q(x)\lambda^n(d_g(x,x_0))d\mu_{M^n}(x) \] where \(x_0\in D\), and \(d_g(x,x_0),A_{g}^{r_1,r_2},\mathcal S_1,\lambda\) are, successively, the classical geodesic distance on \(M^n\), the geodesic ring (on \(M^n\)) of inner and outer radii \(r_1\) and \(r_2\), the geodesic sphere (on \(M^n\)) of radius \(r_1\), \(\lambda\) is a positive Borel function on \([r_1,r_2]\) such that its Lebesgue integral is bigger than one. The purpose of the article is to show that \(\mathcal R_Q(D,u^{-1}(D))\) is equicontinuous in \(u^{-1}(D)\), i.e., for any \(\varepsilon>0\) there exists \(\delta>0\) such that the geodesic distance (on \(u^{-1}(D)\)) between \(u^{-1}(x)\) and \(u^{-1}(x_0)\) is less than \(\varepsilon\) for all \(x\in D\) with \(d_g(x,x_0)<\delta\) for all \((x_0,u)\in D\times\mathcal R_Q(D,u^{-1}(D))\).