Abstract
Being motivated by the problem of deducing \(\mathsf {L}^{p}\)-bounds on the second fundamental form of an isometric immersion from \(\mathsf {L}^{p}\)-bounds on its mean curvature vector field, we prove a nonlinear Calderón–Zygmund inequality for maps between complete (possibly noncompact) Riemannian manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
Let \(\psi \,{:}\,(M,g) \rightarrow (N,h)\) be an isometric immersion with second fundamental form \(\mathrm {II}_{\psi }\) and mean curvature vector field \(\mathrm {H}_{\psi } = \mathrm {trace}(\mathrm {II}_{\psi })\). A natural problem in the geometry of submanifolds is to determine how much information can be gained from the knowledge of the mean curvature of the given immersion \(\psi \). Assuming that the geometric properties of the ambient space N are sufficiently known, the submanifold geometry of M is encoded into its second fundamental form and this latter, in turn, has strong interplays with the intrinsic geometry of M via Gauss equations. Thus, one is led to investigate how much intrinsic knowledge of M has to be combined with the knowledge of the mean curvature \(\mathrm {H}_{\psi }\) in order to deduce information on \(\mathrm {II}_{\psi }\). This paper aims at investigating the possibility of deducing \(\mathsf {L}^{p}\)-bounds on \(\mathrm {II}\) from a corresponding \(\mathsf {L}^{p}\)-bound on \(\mathrm {H}_{\psi }\). Since \(\mathrm {II}_{\psi }\) and \(\mathrm {H}_{\psi }\) are nothing but the (generalized) Hessian and Laplacian of the 1-Lipschitz map \(\psi \), it is natural to consider these estimates as a kind of \(\mathsf {L}^{p}\)-Calderón–Zygmund inequalities in the sense of [5], but formulated for (special) manifold-valued maps. Thus, we are led naturally to study possible extensions of the results of [5] to this more general framework. As a preliminary observation, we point out that when \((N,h) = \mathbb {R}^{n}\) is the standard Euclidean space, a direct application of [5, Theorem C] implies the validity of the following statement:
Theorem
Assume that (M, g) is a compact connected m-dimensional Riemannian manifold such that
for some constants \(V,R,i\in (0,\infty )\). Then, for every \(p\in (1,\infty )\) and \(n \in \mathbb {N}_{\ge 3}\), there exists a constant \(C\in (0,\infty )\) depending only on p, m, n, V, R, i, such that the following estimate holds
for every isometric immersion \(\psi \,{:}\,M \rightarrow \mathbb {R}^{n}\).
A natural consequence of estimate (1) is represented by the next \(\mathsf {L}^{p}\) precompactness conclusion for isometric immersions in the spirit of [2, Theorem 1.1]:
Corollary
Let \((M_k,g_{k})\) be a sequence of compact connected Riemannian manifolds satisfying the following conditions:
Let \(\psi _{k}\,{:}\,M_{k} \rightarrow \mathbb {R}^{n}\) be a sequence of isometric immersions with an \(L^{p}\) uniform bound on their mean curvature, namely:
for some \(m<p<+\infty \). Then, there exist an m-dimensional Riemannian manifold M, an isometric immersion \( \psi \,{:}\,M \rightarrow \mathbb {R}^{n}\) and a sequence of points \(y_{k} \in \mathbb {R}^{n}\) such that, after possibly passing to subsequences, one has
Note that the existence of an intrinsic \(\mathsf {C}^{1,\alpha }\) limit of the sequence \(M_{k}\) follows from the classical Anderson precompactness result [1, Theorem 1.1]. We are grateful to the anonymous referee for having pointed this out. In fact, the intrinsic diameter of the sequence \(M_{k}\) is uniformly bounded by a constant \(D=D(V,R,i)>0\). This follows, e.g., from the fact that, by (c) and (d), the metric coefficients in harmonic coordinates; hence, the volumes, are uniformly controlled on any ball of fixed radius \(r=r(R,i)>0\); see the end of Sect. 1. Thus, by (b), there cannot be too many disjoint balls with uniform radius centered along a minimizing geodesic that realize the diameter.
Now, the key point to prove the corollary is to show that the \(\mathsf {L}^{p}\)-norms of the second fundamental forms of the immersions \(\psi _{k}\) are uniformly bounded. Note that, up to translating each \(\psi _{k}(M_{k})\) so to have \(0 \in \psi _{k}(M_{k})\), we can always assume
for some uniform constant \(C=C(V,R,i,p)>0\). Indeed, since the maps \(\psi _{k}\) are 1-Lipschitz, this is a consequence of the uniform intrinsic diameter bound combined with condition (b). We are in the position to use estimate (1) of the theorem.
In case the ambient space (N, h) is a complete manifold with nontrivial topology, estimates like (1) are not accessible via methods involving Euclidean targets. The use of Nash’s embedding theorem does not help here, because, due to its implicit nature, it is not possible to control the resulting extrinsic geometry. New methods modeled from the very beginning on manifold-valued maps need to be implemented. The alluded extension of (1) can be seen as a special case of the next nonlinear \(\mathsf {L}^p\)-Calderón–Zygmund inequality involving \(\mathscr {L}\)-Lipschitz continuous maps, \(0 \le \mathscr {L}\le +\infty \). As usual, by an \(\infty \)-Lipschitz map we shall mean a map that is just continuous. Moreover, given positive extended real numbers \(a,b \in \mathbb {R}_{> 0} \cup \{+\infty \}\) we agree to set \(a/b =1\) if \(a=b=+\infty \). We refer to Sect. 1 for more details on notation and definitions.
Theorem A
Let (M, g), (N, h) be connected Riemannian manifolds and set \(m:=\mathrm {dim}(M)\), \(n:=\mathrm {dim}(N)\). Assume that M is geodesically complete with \({\text {Ric}}_{M} \ge -A\) for some \(0 \le A <+\infty \) and that its \(\mathsf {C}^{1,1/2}\)-harmonic radius satisfies \(r_{1,1/2}(M) >0\). Assume also that N is geodesically complete with \(\mathsf {C}^{1,1/2}\)-harmonic radius \(r_{1,1/2}(N) >0\). Then for every \(1< p< +\infty \), there exists a constant \(C=C(p,m,n,A)>0\), which only depends on the indicated parameters, such that for all \(0\le \mathscr {L}\le +\infty \), all \(\mathscr {L}\)-Lipschitz continuous maps \(\psi \in \mathsf {C}^{2}(M,N)\), and any \(o \in N\), one has
where we have set
The proof of Theorem A is given in Sect. 2, where we also observe that a less precise version of this global inequality can be stated for a slightly larger family of uniformly continuous maps.
Note that in case \(\mathscr {L}=+\infty \), the statement of Theorem A becomes nontrivial only in case \(r_{1,1/2}(N)=+\infty \). Note also that an important feature of the above global inequality is that it entails that the possible presence of the \(\Vert \mathrm{d}\psi \Vert _{2p}^2 \) term is due to the possible finiteness of \(r_{1,1/2}(N)\). Namely, when \(r_{1,1/2}(N)=+\infty \) the \(\Vert \mathrm{d}\psi \Vert _{2p}^2 \) term cancels and the “traditional” Calderón–Zygmund inequality holds, without imposing any assumption of uniform continuity on the map. Thus, Theorem A actually recovers, with a new quantitative dependence on the harmonic radius of the source, one of the Euclidean-target results in [5]. The reason is explained in the next proposition that gives rise to the following interesting interpretation: the presence of the \(\Vert \mathrm{d}\psi \Vert _{2p}^2 \) term in the nonlinear Calderón–Zygmund inequality measures the curvature on N.
Proposition
Let (M, g) be a complete, noncompact, connected m-dimensional Riemannian manifold and assume that there exists some \(o \in M\) and some \(\alpha \in (0,1)\) such that \(r_{1,\alpha }(o)= +\infty \). Then, (M, g) is isometric to the Euclidean \(\mathbb {R}^m\).
Although the result might be known to the experts, we were not able to find any specific reference and, therefore, a complete proof is given in the final “Appendix.”
As a simple consequence of Theorem A, we point out the following result that, as announced, extends estimate (1) to more general targets. For comparison, recall that the harmonic radii appearing in the statement can be estimated from below by combining a double-sided bound on the Ricci tensor with a positive lower bound of the injectivity radius; see the end of Sect. 1 for more details.
Corollary B
Let (M, g) be compact and assume that the ambient manifold (N, h) is complete, with \(r_{1,1/2}(N)>0\). Then, for every \(1<p<+\infty \) and for every \(A \ge 0\) such that \({\text {Ric}}_{M}\ge -A\), there exists a constant
which only depends on the indicated parameters, such that for every isometric immersion \(\psi \,{:}\,M\rightarrow N\) one has
where
The possible applications of global Calderón–Zygmund inequalities for maps go beyond the immersion theory. By way of example, a natural problem first investigated by Chen and Jost in [4] concerns with the study of solutions of the prescribed tension field equation, i.e., the Poisson equation for a manifold-valued map \(\psi \,{:}\,M \rightarrow N\). In their seminal paper, Chen and Jost consider the case of compact targets having a nonpositive curvature. In particular, they provide a linear(!) \(\mathsf {W}^{2,2}\) a priori estimate for a map in a give homotopy class by integrating the Bochner formula. Using our completely different approach we are able to extend their \(\mathsf {L}^{2}\) result to much more general situations. There is a prize to pay: our \(\mathsf {L}^{p}\) estimate no more depends on the homotopy class of a given map and, thus, presents a nonlinear term which measure, in some sense, the curvature of the target space; see Theorem A. Yet, we believe that our estimate will still be useful to investigate existence properties of maps with prescribed (p-)tension field.
2 Some notation
Given a Riemannian manifoldFootnote 1 \(M=(M,g)\), we denote with \(\nabla \) its Levi–Civita connection and with \(\mathrm {vol}\) the Riemannian volume measure, \( {\text {dist}}(x,y)\) the geodesic distance and \(B_r(x)\) the corresponding open balls. The injectivity radius at x is denoted by \(r_{\mathrm {inj}}(x)\in (0,\infty ]\). Duals, tensor products and pullbacks of Euclidean vector bundles will be equipped with their canonically given Euclidean metrics, while with the usual abuse of notation these metrics will all be denoted with \(|\cdot |\). We understand all our vector bundles and function spaces to be over the field \(\mathbb {R}\). Given another Riemannian manifold \(N=(N,h)\), we will sometimes write \(\nabla ^M\) and \(\nabla ^N\), etc. in order to distinguish these data. Set \(m:=\mathrm {dim}(M)\), \(n:=\mathrm {dim}(N)\). For any smooth map \(\psi \,{:}\,M\rightarrow N\), the vector bundle \(TM\otimes \psi ^*(TN) \rightarrow M\) comes equipped with the tensor product covariant derivative
In view of
one can consider the generalized Hessian
as well as its generalized Laplacian
In case N is the Euclidean \(\mathbb {R}^n\), then everything boils down to the usual definitions.
All \(\mathsf {L}^p\)-norms are always understood with respect to \(\mathrm {vol}(\mathrm{d}x)\). For example, given a Borel section \(\Psi \) in the Euclidean vector bundle \(E\rightarrow M\) one has
with the obvious adaption for \(p=\infty \). Of course, this notation includes real-valued functions \(\Psi \,{:}\,M\rightarrow \mathbb {R}\), which under standard identifications correspond to sections in the trivial line bundle over M.
We also record a (slightly modified) definition of the \(\mathsf {C}^{k,\alpha }\)-harmonic radius: given \(x\in M\), \(k\in \mathbb {N}_{\ge 0}\), \(\alpha \in (0,1)\). Then the \(\mathsf {C}^{k,\alpha }\)-harmonic radius \(r_{k,\alpha }(x)\) of M at x is defined to be the supremum of all \(r>0\) such that \(B_{r}(x)\) is relatively compact and admits a centered \(\Delta \)-harmonic coordinate system \(\phi \,{:}\,B_{r}(x)\rightarrow U\subset \mathbb {R}^m\) having the following properties: one has
and for all \(i,j\in \{1,\dots , m\}\),
For every \(x\in M\) one has \(r_{k,\alpha }(x)\in (0,\infty ]\), and as the function \(x\mapsto \min (r_{k,\alpha }(x),1)\) is Lipschitz (cf. Proposition A.1 in [3]), it follows that \(\inf _U r_{k,\alpha }\in (0,\infty ]\) in case U is relatively compact, and
is the \(\mathsf {C}^{k,\alpha }\)-harmonic radius of M. We will be particularly interested in the case \(k=1\), where in case M is geodesically complete with \(\left\| \mathrm {Ric}\right\| _{\infty }<\infty \) and \(r_{\mathrm {inj}}(M)>0\) one has
for some constant C depending on m, \(\left\| \mathrm {Ric}\right\| _{\infty }\) and \(r_{\mathrm {inj}}(M)\).
3 Proof of Theorem A
The following local result is our main technical tool. As it stands, it does not even require the geodesic completeness of the underlying Riemannian manifolds. It is worth to point out that the result is new even for real-valued maps, where we can take \(R \rightarrow +\infty \). Indeed, even in this case, the explicit dependence on the harmonic radius of the source space was never obtained before.
Theorem 2.1
For all natural numbers \(m, n \ge 2\) and all \(1<p<+\infty \), there exists a constant \(C=C(n,m,p)>0\), which only depends on the indicated parameters, with the following property: for all
-
connected Riemannian manifolds M, N with \(m=\mathrm {dim}(M)\), \(n=\mathrm {dim}(N)\),
-
\(x \in M\), \(y\in N\),
-
\(r\in (0,\min (r^{M}_{1,1/2}(x),1)/2 ]\), \(R\in (0,r^{N}_{1,1/2}(y))\),
-
\(u\in \mathsf {C}^2(M ,N)\) with \(u(B_{r}^{M}(x)) \subset B_{R}^{N}(y)\),
the following estimate holds,
The proof of Theorem 2.1 is based on the following lemma. The remarkable fact is that it holds for functions in \(\mathsf {W}^{2,q}\) and thus does not need any decay at the boundary. Only this fact makes it possible at all to formulate global Calderón–Zygmund inequalities, as in general there is no substitute for compactly supported functions.
Lemma 2.2
Let \(s\in (0,1]\), \(q\in (1,\infty )\), and let P be a second order smooth elliptic differential operator of the form \(P=\sum _{i,j=1}^ma^{ij}\partial _i \partial _j \) which is defined on the Euclidean ball \(B^{\mathbb {R}^m}_{2s}(0)\subset \mathbb {R}^m\). Assume that \((a^{ij})\ge 1/2\) as a bilinear form, that for all i, j the function \(a^{ij}\) is Lipschitz continuous, and pick \(\Lambda >0\), \(0<\alpha \le 1\) such that
where
denotes the \(\mathsf {C}^{\alpha }\)-seminorm of a function \(f\,{:}\,\Omega \rightarrow \mathbb {R}\). Then, there is a constant \(C=C(m,\Lambda ,\alpha ,q)>0\) which only depends on the indicated parameters, such that for every \(u\in \mathsf {W}^{2,q}(B^{\mathbb {R}^m}_{2s}(0))\) one has
Proof
For \(s=1\) this is precisely the content of Theorem 9.11 in [6]. The general case follows from applying this to the scaled operator, resp., function
(where \({\tilde{h}}(z):=h(zs)\) denotes the scaling operator applied to a function \(h\,{:}\,B^{\mathbb {R}^m}_{2s}(0)\rightarrow \mathbb {R}\)) and then scaling back. Note here that
and that
while \((\widetilde{a^{ij}})\ge 1/2\) and \(\max _{ij}\left\| \widetilde{a^{ij}}\right\| _{\mathsf {L}^{\infty }(B^{\mathbb {R}^m}_{2}(0))}\le \Lambda \) remain unchanged. \(\square \)
Now we can give the proof of Theorem 2.1:
Proof of Theorem 2.1
In the sequel, \( X\lesssim Y\) means that there exists a constant \(b\in (0,\infty )\), which only depends on m and n, such that \(X\le b Y\). In addition,
denotes the Hilbert–Schmidt norm of any real-valued matrix \(A=(A_{ij})\), and we will use the Einstein sum convention.
Fix a \(\mathsf {C}^{1,1/2}\)-harmonic coordinate system on \(B^{M}_{2r}(x)\) and one on \(B^{N}_{R}(y)\). The following pointwise (in)equalities are all understood to hold on \(B^{M}_{2r}(x)\). The Hessian of u has the coordinate expression
where \(i,j,k \in \{1,\ldots ,m\}\), \(\alpha ,\beta ,\gamma \in \{1,\ldots ,n\}\), \(u = (u^{1},\ldots ,u^{n})\) and
Taking traces we also get the coordinate expression of its Laplacian
noting that in harmonic coordinates one has
Let us compute
where \(({\text {Hess}}(u))^{\alpha } = (({\text {Hess}}(u))^{\alpha }_{ij})\) and \(G^{-1}=(g^{ij})\). By the choice of r, R, setting
the following estimates hold:
and
where we have set \(G=(g_{ij})\), \(H = (h_{\alpha \beta })\), \({}^{M}\Gamma ^{l} = ({}^{M}\Gamma ^{l}_{ij})\) and \({}^{N}\Gamma ^{\alpha } = ({}^{N}\Gamma ^{\alpha }_{ij})\). In particular, using
we have
with \(\partial u = (\partial _{i}u^{\alpha })\). Then
with
Since
and
from the above we deduce
In view of
and using (5) and (6), we can apply Lemma 2.2 with \(s=r / \sqrt{2}\), \(P=g^{ij}\partial _i\partial _j\), and use \( \mathrm {vol}( d y)\lesssim d y \lesssim \mathrm {vol}( dy)\) to obtain
for some constant \(C' = C'(m,n,p )>0\). Using (4) we get
and furthermore
so that
completing the proof. \(\square \)
The proof of Theorem A is obtained using Theorem 2.1 in two different ways, according to the fact that the center of the balls is taken in a certain partition of the source manifold.
Proof of Theorem A
Let \(\psi \in \mathsf {C}^{2}(M,N)\) be an \(\mathscr {L}\)-Lipschitz map. We set
and we observe for future use that
Indeed, if \(\mathscr {L}<+\infty \) this follows from
while if \(\mathscr {L}=+\infty \) we can assume \(r_{1,1/2}(N)=+\infty \) and the statement becomes trivial.
Now, given a reference point \(o \in N\), we define
where as usual \(B_{\infty }^N(o):=N\), and we consider the decomposition
We are going to elaborate separately the local estimates on the balls \(B^{M}_{2{\hat{r}}}(\bar{x})\) according to the fact that the center \(\bar{x}\) is taken either in \(\Omega _{\psi ,o}\) or in \(\Omega _{\psi ,o}^{c}\).
Let \(\bar{x}\in \Omega _{\psi ,o}\). We claim that
Indeed, if \({\text {dist}}_{M}(x,\bar{x})<2{\hat{r}}\), keeping in mind (9), we have
as claimed. If \(r_{1,1/2}(N)<\infty \), then applying the local inequality from Theorem 2.1 to \(r={\hat{r}}/4\), \(y=o\), and \(R = r_{1,1/2}(N)/2\) gives that
where \(C=C(p,m,n)>0\). In case \(r_{1,1/2}(N)=+\infty \), the same inequality may be deduced by applying Theorem 2.1 to \(r={\hat{r}}/4\), \(y=o\), and \(R>0\) and taking \(R\rightarrow \infty \).
Now, we let \(\bar{x}\in \Omega _{\psi ,o}^{c}\). We claim that
Indeed, according to (9),
Combining this latter with the triangle inequality and the fact that \(\bar{x}\in \Omega ^{c}_{\psi ,o}\), we deduce
as claimed. We shall use (10) into the local estimate on \(B^{M}_{{\hat{r}}}(\bar{x})\) in order to get rid of the dependence of the 0-order term from the center \(\bar{x}\in \Omega ^{c}_{\psi ,o}\). Indeed, by (9),
Therefore, if \(r_{1,1/2}(N)<+\infty \), we can apply the local inequality from Theorem 2.1 to \(r={\hat{r}}/4\), \(y=\psi (\bar{x})\), \(R = r_{1,1/2}(N)/8 \) and obtain
where \(C=C(p,m,n)>0\). Again, the \(r_{1,1/2}(N)=+\infty \) situation can be treated as above, producing the same inequality in this case, too.
Whence, using (10), we conclude the validity of the estimate
Summarizing, we have obtained that this estimate holds, for some absolute constant \(C=C(p,m,n)>0\), regardless of the location of the center \(\bar{x}\in M\).
We now pick a sequence of points \(\{x_j\,{:}\,j\in \mathbb {N}\}\subset M\) such that \(\{B^{M}_{{\hat{r}} /8}(x_{j}) \,{:}\,j\in \mathbb {N}\}\) is a cover of M and \(\{B^{M}_{{\hat{r}} }(x_{j}) \,{:}\,j\in \mathbb {N}\}\) has an intersection multiplicity \(\le D=D(A)\in (0,\infty )\). Then summing over j in the last inequality, using monotone convergence and
implies
where \(C=C(p,m,n,A)>0\). This completes the proof. \(\square \)
Remark 2.3
We see from the above arguments that the only crucial property we have to require on the map \(\psi \,{:}\,M \rightarrow N\) is that, given \(R>0\) there exists a suitable \(r>0\) such that, for every \(\bar{x}\in M\), it holds \(\psi (B^{M}_{r}(\bar{x})) \subseteq B^{N}_{R}(\psi (\bar{x}))\). Call such a map an (r, R)-uniformly continuous map. Thus, whenever the rays \(0<R<r_{1,1/2}(N)/16\) and \(0<r<r_{1,1/2}(M)/16\) are fixed, a global inequality of the above type, with an explicit dependence on these rays, can be obtained for the class of (r, R)-uniformly continuous maps.
Notes
If nothing else is said, we understand our manifolds to be smooth and without boundary.
References
Anderson, M.T.: Convergence and rigidity of manifolds under Ricci curvature bounds. Invent. Math. 102, 429–445 (1990)
Brüning, P.: Immersions with bounded second fundamental form. J. Geom. Anal. 25, 1344–1386 (2015)
Brüning, J., Güneysu, B.: Heat kernel estimates and the relative compactness of perturbations by potentials. Preprint. arXiv:1606.00651
Chen, W., Jost, J.: Maps with prescribed tension fields. Commun. Anal. Geom. 12, 93–109 (2004)
Güneysu, B., Pigola, S.: The Calderón–Zygmund inequality and Sobolev spaces on noncompact Riemannian manifolds. Adv. Math. 281, 353–393 (2015)
Gilbarg, D., & Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Reprint of the: edition, Classics in Mathematics, p. 2001. Springer, Berlin (1998)
Acknowledgements
The authors are grateful to Giona Veronelli for suggestions that led to an improvement of the presentation of the paper. The second author is partially supported by INdAM-GNAMPA.
Author information
Authors and Affiliations
Corresponding author
Appendix A. On the infinite harmonic radius
Appendix A. On the infinite harmonic radius
This appendix is devoted to a proof of the following
Proposition
Let (M, g) be a complete, noncompact, m-dimensional Riemannian manifold and assume that there exists some \(o \in M\) and some \(\alpha \in (0,1)\) such that \(r_{1,\alpha }(o)= +\infty \). Then, (M, g) is isometric to the Euclidean \(\mathbb {R}^m\).
Proof
By assumption, there exist a sequence of rays \(R_k \rightarrow +\infty \) and a corresponding sequence \(\varphi _k\,{:}\,B_{R_k}(o) \rightarrow \mathbb {R}^m\) of harmonic coordinates charts centered at o such that conditions (2) and (3) are satisfied. We consider the corresponding sequence \((B_{R_k}(o),g,o)\) of pointed Riemannian manifolds, and we show that it has a subsequence that converges in the \(\mathsf {C}^{1}\)-topology to \((\mathbb {R}^m,g_\infty ,0)\), where \(g_\infty \) is a scalar product with constant coefficients. In particular, \((\mathbb {R}^m,g_\infty ,0)\) is isometric to \(\mathbb {R}^m\). Since the same subsequence of pointed Riemannian manifolds obviously converges in the \(\mathsf {C}^{\infty }\)-topology to (M, g, o), we obtain the desired conclusion. Indeed, pointed \(\mathsf {C}^{1}\)-convergence implies pointed GH convergence and, since the limit metric spaces are proper (they are complete Riemannian manifolds), they must be metrically isometric. But metrically isometric Riemannian manifolds are isometric in the Riemannian sense by the Myers–Steenrod theorem.
Let
Observe that, by condition (2), \(B^{\mathbb {R}^{m}}_{R_{k}/\sqrt{2}} (0)\Subset \Omega _k\). It follows that \(\{\Omega _k\}\) exhausts \(\mathbb {R}^m\). Moreover, \(\Omega _k \Subset B^{\mathbb {R}^{m}}_{\sqrt{2}R_{k}} (0) \Subset \Omega _{k^\prime }\), for every \(k^\prime \gg 1\). In particular, each \(\Omega _k\) is relatively compact and, up to extracting a subsequence, we can assume that \(\Omega _k \Subset \Omega _{k+1}\). Now, fix \(k_0\). According to property (3), for every \(k \gg 1\) we have that the metric coefficients \((g_k)_{ij}\) of \(g_k\) are uniformly bounded in \(\mathsf {C}^{1,\alpha }({\bar{\Omega }}_{k_0})\). Since, by Ascoli-Arzelá, for any domain \(D \Subset \mathbb {R}^m\) and any \(0< \beta < \alpha \) the embedding \(\mathsf {C}^{1,\alpha }(D) \hookrightarrow \mathsf {C}^{1,\beta }(D)\) is compact, we deduce that a subsequence \((g_{k'})_{ij}\) converges in the \(\mathsf {C}^{1}\)-topology on \(\Omega _{k_0}\). Now, we let \(k_0\) increase to \(+\infty \) and we use a diagonal argument to deduce the existence of a \(\mathsf {C}^1\) metric \(g_\infty \) on \(\mathbb {R}^m\) such that, in the coordinates of \(\mathbb {R}^m\), a suitable subsequence \(\{g_{k''}\}\) \(\mathsf {C}^1\)-converges to \(g_\infty \) uniformly on compact sets. We stress that \(g_\infty \) is actually Riemannian and it is bi-Lip equivalent to the Euclidean metric \(g_E\). Indeed, by taking the limit in condition (2) along \(g_{k''}\) gives that \(2^{-1}\cdot g_{\mathbb {R}^{m}} \le g_\infty \le 2 \cdot g_{\mathbb {R}^{n}}\). We show that \(g_{\infty }\) has constant coefficients. To this end we recall that, by condition (3), for every \(k'' > k''_0\) it holds
Letting \(k^{\prime \prime } \rightarrow +\infty \) shows that the metric coefficients \((g_\infty )_{ij}\) are constant on \(\Omega _{k^{\prime \prime }_0}\). Since \(k^{\prime \prime }_0\) is arbitrary, the claimed property follows. In particular, the covariant differentiation with respect to \(g_\infty \) is Euclidean.
In conclusion, we have obtained that \((\Omega _{k^{\prime \prime }},g_{k^{\prime \prime }},0_{k^{\prime \prime }})\) \(\mathsf {C}^1\)-converges to \((\mathbb {R}^m,g_\infty ,0)\) and this, by definition, means that \((B_{k^{\prime \prime }}(o), g, 0)\) \(\mathsf {C}^1\)-converges to the same pointed Riemannian manifold. \(\square \)
Rights and permissions
About this article
Cite this article
Güneysu, B., Pigola, S. Nonlinear Calderón–Zygmund inequalities for maps. Ann Glob Anal Geom 54, 353–364 (2018). https://doi.org/10.1007/s10455-018-9605-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-018-9605-5