1: % Analysis of the Riccati system
2: \section{Analysis of the Riccati system}
3: \label{section:riccati-analysis}
4:
5: In this lengthy section we analyze systems of differential equations that arise from derivatives of the Riccati system \eqref{Riccati.System} and prove Theorems \ref{thm:A-part1} and \ref{thm:A-part2}. We begin by deriving these systems of differential equations. We then use the curvature hypothesis to estimate the various coefficients that appear in the system. Proceeding in two iterations we compare the Riccati system to a model system with well understood asymptotics to obtain estimates for the compactified metric. In the last part of this section we translate these decay estimates to H\"older estimates for the metric and prove Theorems \ref{thm:A-part1} and \ref{thm:A-part2}.
6:
7: Fix an essential subset $K$, and set $\gbar = e^{-2r} g$. In Fermi coordinates on $W \times [0,\infty)$, where $W$ is a sufficiently small open ball (see page \pageref{choosingW}), we may write
8: \[ g = dr^2 + g_{\alpha \beta}(y,r) dy^{\alpha} dy^{\beta}. \]
9:
10: We set $\rho := e^{-r}$, and remind the reader of the convention given on page \pageref{page:greek} that $\rho$ does not count as a tangential or Greek variable. In these `compactified Fermi coordinates', $(y^{\beta},\rho)$ over $W \times (0, 1]$, we now have
11: \[ g = \frac{d\rho^2}{\rho^2} + g_{\alpha \beta}(y, - \log \rho) dy^{\alpha} dy^{\beta}, \]
12: and consequently
13: \[ \gbar = d\rho^2 + \rho^2 g_{\alpha \beta}(y, - \log \rho) dy^{\alpha} dy^{\beta}. \]
14:
15: We work out the first derivatives of $\gbar$:
16: \begin{equation} \label{eqn:gbar.normal.derivative}
17: \begin{aligned}
18: \partial_{\rho} \gbar_{\alpha \beta} &= 2 \rho g_{\alpha \beta} + \rho^2 \partial_r g_{\alpha \beta} \cdot \left(-\frac{1}{\rho}\right) \\
19: & = 2 \rho^{-1} (\delta^{\gamma}_{\alpha}-\sffud{\gamma}{\alpha}) \gbar_{\gamma \beta}, \\
20: \partial_{\mu} \gbar_{\alpha \beta} &= \rho^2 \partial_{\mu} g_{\alpha \beta}.
21: \end{aligned}
22: \end{equation}
23:
24: We now take tangential derivatives of the Riccati system \eqref{Riccati.System}. First observe
25: \begin{equation} \label{Tangential.System}
26: \left\{ \begin{aligned}
27: (\partial_{\mu} \sffud{\beta}{\alpha})' &= -(\partial_{\mu} \sffud{\beta}{\gamma}) \sffud{\gamma}{\alpha} - \sffud{\beta}{\gamma} (\partial_{\mu} \sffud{\gamma}{\alpha}) -\partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0}, \\
28: (\partial_{\mu} g_{\alpha \beta})' &= 2 (\partial_{\mu} \sffud{\gamma}{\alpha}) g_{\gamma \beta} + 2 \sffud{\gamma}{\alpha} (\partial_{\mu} g_{\gamma \beta}).
29: \end{aligned}
30: \right.
31: \end{equation}
32: In order to use the estimate for the shape operator, we rescale this system. Set $W = e^{2r} \sff$, $\gbar = e^{-2r} g$. The system becomes
33: \begin{equation} \label{Transformed.Tangential.System}
34: \left\{ \begin{aligned}
35: (\partial_{\mu} \Wsffud{\beta}{\alpha})' & = - (\partial_{\mu} \Wsffud{\beta}{\gamma}) \sffud{\gamma}{\alpha} - \sffud{\beta}{\gamma} (\partial_{\mu} \Wsffud{\gamma}{\alpha}) + 2 \partial_{\mu} \Wsffud{\beta}{\alpha} - e^{2r}\partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0} , \\
36: (\partial_{\mu} \gbar_{\alpha \beta})' & = 2 e^{-2r} (\partial_{\mu} \Wsffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + 2 \sffud{\gamma}{\alpha} (\partial_{\mu} \gbar_{\gamma \beta}) - 2 (\partial_{\mu} \gbar_{\alpha \beta}).
37: \end{aligned}
38: \right.
39: \end{equation}
40:
41: We also need equations for the second derivatives of the metric.
42:
43: We have
44: \[ \partial^2_{\rho} \gbar_{\alpha \beta} = -2 \rho^{-2} (\delta^{\gamma}_{\alpha}-\sffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + \rho^{-2} (\partial_r \sffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + \rho^{-1} (\delta^{\gamma}_{\alpha}-\sffud{\gamma}{\alpha}) \partial_{\rho} \gbar_{\gamma \beta}.\]
45:
46: Taking a tangential derivative of equation \eqref{eqn:gbar.normal.derivative} yields
47: \begin{equation*}
48: \partial_{\mu} \partial_{\rho} \gbar_{\alpha \beta} = -2 \rho^{-1} (\partial_{\mu} \sffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + 2 \rho^{-1} (\delta^{\gamma}_{\alpha}-\sffud{\gamma}{\alpha}) \partial_{\mu} \gbar_{\gamma \beta}.
49: \end{equation*}
50:
51: The second tangential derivative of the Riccati system after the same rescaling as above is
52: \begin{equation} \label{Transformed.Second.Tangential.System}
53: \left\{ \begin{aligned}
54: (\partial_{\nu} \partial_{\mu} \Wsffud{\beta}{\alpha})' & = - (\partial_{\nu}\partial_{\mu} \Wsffud{\beta}{\gamma}) \sffud{\gamma}{\alpha} - \sffud{\beta}{\gamma} (\partial_{\nu} \partial_{\mu} \Wsffud{\gamma}{\alpha}) + 2 \partial_{\nu} \partial_{\mu} \Wsffud{\beta}{\alpha} \\
55: &-e^{-2r}(\partial_{\mu} \Wsffud{\beta}{\gamma}) (\partial_{\nu} \Wsffud{\gamma}{\alpha}) - e^{-2r}(\partial_{\nu} \Wsffud{\beta}{\gamma}) (\partial_{\mu} \Wsffud{\gamma}{\alpha}) - e^{2r} \partial_{\nu} \partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0}\\
56: (\partial_{\nu} \partial_{\mu} \gbar_{\alpha \beta})' & = 2 e^{-2r} (\partial_{\nu} \partial_{\mu} \Wsffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + 2 \sffud{\gamma}{\alpha} (\partial_{\nu} \partial_{\mu} \gbar_{\gamma \beta}) - 2 (\partial_{\mu} \gbar_{\alpha \beta}) \\
57: &+ 2 e^{-2r}( \partial_{\mu} \Wsffud{\gamma}{\alpha})( \partial_{\nu}\gbar_{\gamma \beta}) + 2 e^{-2r} (\partial_{\nu} \Wsffud{\gamma}{\alpha}) (\partial_{\nu}\partial_{\mu} \gbar_{\gamma \beta}).
58: \end{aligned}
59: \right.
60: \end{equation}
61:
62: The missing ingredient before we can begin an analysis in both systems \eqref{Transformed.Tangential.System} and \eqref{Transformed.Second.Tangential.System} is an estimate for the coordinate derivatives of curvature. We can obtain estimates on these terms from the estimates \eqref{AH1} and \eqref{AH2} of the covariant derivatives of curvature and the addition of terms that couple derivatives of the metric into the equations. The following lemmas provide these estimates.
63:
64: \begin{lemma} \label{lemma:est.covg0gg0}
65: \begin{equation*}
66: \partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0} = - \Gamma^{\beta}_{\sigma \mu} (\riemdudd{0}{\sigma}{\alpha}{0} + \kronecker{\sigma}{\alpha}) + \Gamma^{\sigma}_{\alpha \mu} (\riemdudd{0}{\beta}{\sigma}{0} + \kronecker{\beta}{\sigma}) + O( e^{(1-a)r} )
67: \end{equation*}
68: \end{lemma}
69: The proof is straightforward. See \cite{Bahuaud} for a proof.
70:
71: \begin{lemma} \label{lemma:est.cov00gg0}
72: \begin{equation*}
73: \partial_{0} \riemdudd{0}{\beta}{\alpha}{0} = - \Gamma^{\beta}_{\sigma \mu} (\riemdudd{0}{\sigma}{\alpha}{0} + \kronecker{\sigma}{\alpha}) + \Gamma^{\sigma}_{\alpha \mu} (\riemdudd{0}{\beta}{\sigma}{0} + \kronecker{\beta}{\sigma} ) + O( e^{-ar} )
74: \end{equation*}
75: \end{lemma}
76: The proof follows by straightforward computation.
77:
78: The next two lemmas include initial estimates for the first tangential derivatives of the metric and shape operator as hypotheses. Such estimates are available on the second iteration of the overall argument. We assume $\gbar$ is $C^{0,1}$ which corresponds to our eventual application when the curvature decay $a > 1$.
79:
80: \begin{lemma} \label{lemma:est.covgggg0} If $\gbar$ is $C^{0,1}$, then
81: \begin{align*}
82: \partial_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0} &= O(e^{(2-a)r}).
83: \end{align*}
84: \end{lemma}
85: \begin{proof}
86: We begin with the standard formula relating covariant and coordinate derivatives:
87: \[ \nabla_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0}= \partial_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0} - \Gamma^{s}_{\lambda \mu} \riemdudd{s}{\beta}{\alpha}{0} + \Gamma^{\beta}_{ s\mu} \riemdudd{\lambda}{s}{\alpha}{0} - \Gamma^{\sigma}_{\alpha \mu} \riemdudd{\lambda}{\beta}{\sigma}{0} - \Gamma^{\sigma}_{0 \mu} \riemdudd{\lambda}{\beta}{\alpha}{\sigma}.\]
88: Note the placement of the Greek index $\sigma$ over the Latin index $s$ in some of the contractions above are due to form of Christoffel symbols in Fermi coordinates.
89:
90: We obtain
91: \begin{align} \label{eqn:locref1}
92: \partial_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0} &= \nabla_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0} + \Gamma^{s}_{\lambda \mu} \riemdudd{s}{\beta}{\alpha}{0} - \Gamma^{\beta}_{ s\mu} \riemdudd{\lambda}{s}{\alpha}{0} + \Gamma^{\sigma}_{\alpha \mu} \riemdudd{\lambda}{\beta}{\sigma}{0} + \Gamma^{\sigma}_{0 \mu} \riemdudd{\lambda}{\beta}{\alpha}{\sigma} \nonumber \\
93: &= \nabla_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0} + \Gamma^{\sigma}_{\lambda \mu} \riemdudd{\sigma}{\beta}{\alpha}{0} - \Gamma^{\beta}_{\sigma\mu} \riemdudd{\lambda}{\sigma}{\alpha}{0} + \Gamma^{\sigma}_{\alpha \mu} \riemdudd{\lambda}{\beta}{\sigma}{0} \\
94: &+ \Gamma^{\sigma}_{0 \mu} \riemdudd{\lambda}{\beta}{\alpha}{\sigma} + \Gamma^{0}_{\lambda \mu} \riemdudd{0}{\beta}{\alpha}{0}- \Gamma^{\beta}_{0\mu} \riemdudd{\lambda}{0}{\alpha}{0} \nonumber
95: \end{align}
96:
97: We consider the last three terms in \eqref{eqn:locref1}. We use estimate \eqref{AH0} and the fact that in Fermi coordinates $\Gamma^{0}_{\lambda \mu} = -\sffdd{\lambda}{\mu}$ and $\Gamma^{\sigma}_{0 \mu} = \sffud{\sigma}{\mu}$, to obtain
98: \begin{align*}
99: \Gamma^{\sigma}_{0 \mu} \riemdudd{\lambda}{\beta}{\alpha}{\sigma} &+ \Gamma^{0}_{\lambda \mu} \riemdudd{0}{\beta}{\alpha}{0}- \Gamma^{\beta}_{0\mu} \riemdudd{\lambda}{0}{\alpha}{0} \\
100: & = \sffud{\sigma}{\mu} \riemdudd{\lambda}{\beta}{\alpha}{\sigma} -\sffdd{\lambda}{\mu} \riemdudd{0}{\beta}{\alpha}{0}
101: + \sffud{\beta}{\mu} \riemuddd{0}{\lambda}{\alpha}{0} \\
102: &= \sffud{\sigma}{\mu} ( g_{\lambda \sigma} \kronecker{\beta}{\alpha} - g_{\lambda \alpha} \kronecker{\beta}{\sigma}) -\sffdd{\lambda}{\mu} \kronecker{\beta}{\alpha} + \sffud{\beta}{\mu} g_{\lambda \alpha} + O(e^{-ar}) \\
103: &= O(e^{-ar})
104: \end{align*}
105:
106: Note that for all Greek indices, $\Gamma^{\sigma}_{\alpha \mu} = \Gambar^{\sigma}_{\alpha \mu} = O(1)$ by assumption that $\gbar$ is Lipschitz. Consequently, the three terms in \eqref{eqn:locref1} like $\Gamma^{\sigma}_{\alpha \mu} \riemdudd{\lambda}{\beta}{\sigma}{0} = O(e^{(1-a)r})$.
107:
108: Collecting these estimates we find,
109: \begin{align*}
110: \partial_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0} &= \nabla_{\mu} \riemdudd{\lambda}{\beta}{\alpha}{0} + O(e^{(1-a)r}) + O(e^{-ar}) \nonumber\\
111: &= O(e^{(2-a)r})+ O(e^{(1-a)r}) + O(e^{-ar}) \nonumber \\
112: &= O(e^{(2-a)r}).
113: \end{align*}
114: \end{proof}
115:
116: \begin{lemma} \label{lemma:est.sec.cov.der} If $\gbar$ is $C^{0,1}$ and the tangential derivatives of the shape operator satisfy $\partial_{\mu} \sffud{\beta}{\alpha} = O(1)$, then
117: \begin{align*}
118: \partial_{\nu} \partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0} &= (\partial \gbar * (\riem+\delta))_{\phantom{\beta}\alpha}^{\beta} + O( e^{(2-a)r} ),
119: \end{align*}
120: where $\partial \gbar * (\riem+\delta)$ denotes terms that are bounded coefficients multiplied by contractions of first tangential derivatives of $\gbar$ and $\riem+\delta$.
121: \end{lemma}
122: \begin{proof}
123: We again begin with a standard formula relating covariant and coordinate derivatives.
124: \begin{align} \label{eqn:locref2}
125: \nabla_{\nu} \nabla_{\mu} \riemdudd{0}{\beta}{\alpha}{0} &= \partial_{\nu} (\nabla_{\mu} \riemdudd{0}{\beta}{\alpha}{0}) - \Gamma^{s}_{\nu \mu} (\nabla_{s} \riemdudd{0}{\beta}{\alpha}{0}) - \Gamma^{\sigma}_{\nu 0}( \nabla_{\mu} \riemdudd{\sigma}{\beta}{\alpha}{0} ) \nonumber \\
126: & + \Gamma^{\beta}_{\nu \sigma}( \nabla_{\mu} \riemdudd{0}{\sigma}{\alpha}{0} ) - \Gamma^{\sigma}_{\nu \alpha} (\nabla_{\mu} \riemdudd{0}{\beta}{\sigma}{0} ) - \Gamma^{\sigma}_{\nu 0} (\nabla_{\mu} \riemdudd{0}{\beta}{\alpha}{\sigma}) \\
127: &= \partial_{\nu} (\nabla_{\mu} \riemdudd{0}{\beta}{\alpha}{0}) - \Gamma^{0}_{\nu \mu} (\nabla_{0} \riemdudd{0}{\beta}{\alpha}{0}) - \Gamma^{\sigma}_{\nu \mu} (\nabla_{\sigma} \riemdudd{0}{\beta}{\alpha}{0}) - \Gamma^{\sigma}_{\nu 0}( \nabla_{\mu} \riemdudd{\sigma}{\beta}{\alpha}{0} ) \nonumber \\
128: & + \Gamma^{\beta}_{\nu \sigma}( \nabla_{\mu} \riemdudd{0}{\sigma}{\alpha}{0} ) - \Gamma^{\sigma}_{\nu \alpha} (\nabla_{\mu} \riemdudd{0}{\beta}{\sigma}{0} ) - \Gamma^{\sigma}_{\nu 0} (\nabla_{\mu} \riemdudd{0}{\beta}{\alpha}{\sigma}) \nonumber.
129: \end{align}
130:
131: We first consider estimates for the contractions $\Gamma * \nabla \riem$ that appear above. The behaviour of the contractions come in three families based on the placement of the indices. We estimate a typical member of these families using the estimates on page \pageref{pg:curvests} and the fact that $\gbar$ is Lipschitz as follows
132: \[ \Gamma^{0}_{\nu \mu} (\nabla_{0} \riemdudd{0}{\beta}{\alpha}{0}) = \sffdd{\mu}{\nu} O(e^{-ar}) = O(e^{(2-a)r}).\]
133: \[ \Gamma^{\sigma}_{\nu \mu} (\nabla_{\sigma} \riemdudd{0}{\beta}{\alpha}{0} )= \Gambar^{\sigma}_{\nu \mu} (\nabla_{\sigma} \riemdudd{0}{\beta}{\alpha}{0} )= O(e^{(2-2a)r}).\]
134: \[ \Gamma^{\sigma}_{\nu 0}( \nabla_{\mu} \riemdudd{\sigma}{\beta}{\alpha}{0}) = O(e^{(2-a)r}).\]
135:
136: Consequently all of the contractions $\Gamma * \nabla \riem$ that appear are at worst $O(e^{(2-a)r})$.
137:
138: We now expand the first term of \eqref{eqn:locref2} above.
139: \begin{align*}
140: \partial_{\nu} (\nabla_{\mu} \riemdudd{0}{\beta}{\alpha}{0}) &= \partial_{\nu} \left( \partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0} - \Gamma^{\sigma}_{\mu 0} \riemdudd{\sigma}{\beta}{\alpha}{0} + \Gamma^{\beta}_{\mu \sigma} \riemdudd{0}{\sigma}{\alpha}{0} - \Gamma^{\sigma}_{\mu \alpha} \riemdudd{0}{\beta}{\sigma}{0} - \Gamma^{\sigma}_{\mu 0} \riemdudd{0}{\beta}{\alpha}{\sigma} \right) \\
141: &= \partial_{\nu} \partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0}
142: - \partial_{\nu} \Gamma^{\sigma}_{\mu 0} \riemdudd{\sigma}{\beta}{\alpha}{0}
143: - \Gamma^{\sigma}_{\mu 0} \partial_{\nu} \riemdudd{\sigma}{\beta}{\alpha}{0}
144: + \partial_{\nu}\Gamma^{\beta}_{\mu \sigma} \riemdudd{0}{\sigma}{\alpha}{0}
145: + \Gamma^{\beta}_{\mu \sigma} \partial_{\nu} \riemdudd{0}{\sigma}{\alpha}{0} \\
146: &- \partial_{\nu}\Gamma^{\sigma}_{\mu \alpha} \riemdudd{0}{\beta}{\sigma}{0}
147: - \Gamma^{\sigma}_{\mu \alpha} \partial_{\nu}\riemdudd{0}{\beta}{\sigma}{0}
148: - \partial_{\nu}\Gamma^{\sigma}_{\mu 0} \riemdudd{0}{\beta}{\alpha}{\sigma}
149: - \Gamma^{\sigma}_{\mu 0} \partial_{\nu}\riemdudd{0}{\beta}{\alpha}{\sigma}.
150: \end{align*}
151:
152: We again examine representative behaviour of the terms. First we have
153: \[ \Gamma^{\sigma}_{\mu 0} \partial_{\nu} \riemdudd{\sigma}{\beta}{\alpha}{0} = O(e^{(2-a)r}),\]
154: by Lemma \ref{lemma:est.covgggg0} and the fact $\Gamma^{\sigma}_{\mu 0} = \sffud{\sigma}{\mu}$. Next, Lemma \ref{lemma:est.covg0gg0} and the fact that $\gbar$ is Lipschitz yield
155: \[ \Gamma^{\sigma}_{\mu \alpha} \partial_{\nu} \riemdudd{0}{\beta}{\sigma}{0} = O(e^{(1-a)r}).\]
156: Finally, as $\gbar$ is Lipschitz and the tangential derivatives of $\sffud{\sigma}{\mu}$ are bounded,
157: \[ \partial_{\nu} \Gamma^{\sigma}_{\mu 0} \riemdudd{\sigma}{\beta}{\alpha}{0} = \partial_{\nu} \sffud{\sigma}{\mu} \riemdudd{\sigma}{\beta}{\alpha}{0}= O(e^{(1-a)r}).\]
158: Now
159: \begin{align*}
160: -\partial_{\nu} \Gamma^{\sigma}_{\mu \alpha} \riemdudd{0}{\beta}{\sigma}{0} &+ \partial_{\nu}\Gamma^{\beta}_{\mu \sigma} \riemdudd{0}{\sigma}{\alpha}{0} \\
161: &=-\partial_{\nu} \Gamma^{\sigma}_{\mu \alpha} (\riemdudd{0}{\beta}{\sigma}{0}+\kronecker{\beta}{\sigma}) + \partial_{\nu}\Gamma^{\beta}_{\mu \sigma} (\riemdudd{0}{\sigma}{\alpha}{0} + \kronecker{\sigma}{\alpha}) \\
162: &=-\partial_{\nu} \Gambar^{\sigma}_{\mu \alpha} (\riemdudd{0}{\beta}{\sigma}{0}+\kronecker{\beta}{\sigma}) + \partial_{\nu}\Gambar^{\beta}_{\mu \sigma} (\riemdudd{0}{\sigma}{\alpha}{0} + \kronecker{\sigma}{\alpha}).
163: \end{align*}
164: We now apply the derivative to the Christoffel symbols. The product rule yields sums of terms that are contractions of second tangential partial derivatives of $\gbar$ contracted with $\riem+\delta$ and remainder terms involving only first tangential derivatives of $\gbar$ which we may estimate:
165: \begin{align*}
166: -\partial_{\nu} \Gamma^{\sigma}_{\mu \alpha} \riemdudd{0}{\beta}{\sigma}{0} &+ \partial_{\nu}\Gamma^{\beta}_{\mu \sigma} \riemdudd{0}{\sigma}{\alpha}{0} \\
167: &=-\partial_{\nu} \Gambar^{\sigma}_{\mu \alpha} (\riemdudd{0}{\beta}{\sigma}{0}+\kronecker{\beta}{\sigma}) + \partial_{\nu}\Gambar^{\beta}_{\mu \sigma} (\riemdudd{0}{\sigma}{\alpha}{0} + \kronecker{\sigma}{\alpha}) \\
168: &= (\partial \gbar * (\riem + \delta))^{\beta}_{\phantom{\beta}\alpha} + O(e^{-ar})
169: \end{align*}
170:
171: Collecting everything above, using the worst case estimate yields
172: \begin{align*}
173: \partial_{\nu} \partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0} &= \nabla_{\nu} \nabla_{\mu} \riemdudd{0}{\beta}{\alpha}{0} + (\partial \gbar * (\riem + \delta))^{\beta}_{\phantom{\beta}\alpha} + O( e^{(2-a)r} )
174: \end{align*}
175: \end{proof}
176:
177: We now proceed with the analysis of systems \eqref{Transformed.Tangential.System} and \eqref{Transformed.Second.Tangential.System}. In what follows we regard these systems as systems of ODEs in new dependent variables. For example, we regard the components $\partial_{\mu} \Wsffud{\beta}{\alpha}$ and $\partial_{\mu} \gbar_{\alpha \beta}$ in \eqref{Transformed.Tangential.System} as vectors in $\mathbb{R}^{n^3}$ which we denote $\partial W$ and $\partial \gbar$. The above system may be compactly written as:
178: \begin{equation} \label{eqn:tansys3}
179: \left\{ \begin{aligned}
180: (\partial W)' &= A \partial W + B \partial \gbar + H_1, \\
181: (\partial \gbar)' &= C \partial W + D \partial \gbar + H_2.
182: \end{aligned}
183: \right.
184: \end{equation}
185: where $A,B,C,D, H_1$ and $H_2$ are $(n^3 \times n^3)$-matrices. We will not need the explicit form of these matrices in what follows; we only need estimates on the size of the matrix entries. An entirely similar discussion holds for $\eqref{Transformed.Second.Tangential.System}$.
186:
187: We now state our main comparison result for systems of this form. For a proof see \cite[Appendix 3.1]{Bahuaud}.
188:
189: \begin{theorem} \label{thm:ODEcomp} Suppose that $a, b, c, d, e, f$ are smooth functions on $[t_0, t_1]$ (respectively $[t_0, \infty)$) with $a, b, c, d$ positive. Suppose that $x$ and $y$ are nonnegative continuous functions that are smooth where they are nonzero and satisfy the differential inequalities
190: \begin{align*}
191: x' & \leq a x + by + e, \\
192: y' & \leq c x + dy + f.
193: \end{align*}
194: Suppose in addition that $u$ and $v$ are positive smooth solutions of the corresponding system of differential equations:
195: \begin{align*}
196: u' & = a u + bv + e, \\
197: v' & = c u + dv + f.
198: \end{align*}
199: If $x(t_0) < u(t_0)$ and $y(t_0) < v(t_0)$ then $x < u$ and $y < v$ on $[t_0, t_1]$ (respectively $[t_0, \infty)$).
200: \end{theorem}
201:
202: We are now ready to obtain our estimates for the first derivatives of the compactified metric and shape operator.
203:
204: \begin{prop} \label{prop:firstiteration} Given curvature assumptions \eqref{AH0}, \eqref{AH1}, the first derivatives of the shape operator and compactified metric satisfy:
205: \[ \partial_{\mu} \sffud{\beta}{\alpha} = O(e^{(1-a)r}), \; \; 0 < a \leq 2\]
206: \begin{equation*}
207: \partial_{r} \sffud{\beta}{\alpha} =
208: \left\{ \begin{aligned}
209: &O(e^{-ar}),& 0 < a < 2 \\
210: &O(r e^{-2r}), & a=2
211: \end{aligned}
212: \right.
213: \end{equation*}
214: \begin{equation*}
215: \partial_{\mu} \gbar_{\alpha \beta} =
216: \left\{ \begin{aligned}
217: &O(e^{(1-a)r}),& 0 < a < 1 \\
218: &O(r),& a=1 \\
219: &O(1),& a > 1
220: \end{aligned}
221: \right.
222: \end{equation*}
223: \[ \partial_{\rho} \gbar_{\alpha \beta} = O(1). \]
224: \caution we provide estimates for $\sffud{\beta}{\alpha}$ in uncompactified coordinates $(r,y^{\alpha})$ but estimates for $\gbar$ in compactified coordinates $(\rho,y^{\alpha})$!
225: \end{prop}
226: \begin{proof}
227: Inserting the estimate for the coordinate derivative of curvature from Lemma \ref{lemma:est.covg0gg0} into
228: \eqref{Transformed.Tangential.System}, we obtain
229: \begin{equation*}
230: \left\{ \begin{aligned}
231: (\partial_{\mu} \Wsffud{\beta}{\alpha})' & = - (\partial_{\mu} \Wsffud{\beta}{\gamma}) \sffud{\gamma}{\alpha} - \sffud{\beta}{\gamma} (\partial_{\mu} \Wsffud{\gamma}{\alpha}) + 2 \partial_{\mu} \Wsffud{\beta}{\alpha} \\
232: &+ e^{2r}
233: \Gamma^{\sigma}_{\alpha \mu} (\riemdudd{0}{\beta}{\sigma}{0} + \kronecker{\beta}{\sigma}) - e^{2r} \Gamma^{\beta}_{\sigma \mu} (\riemdudd{0}{\sigma}{\alpha}{0} + \kronecker{\sigma}{\alpha}) + O( e^{(3-a)r} ), \\
234: (\partial_{\mu} \gbar_{\alpha \beta})' & = 2 e^{-2r} (\partial_{\mu} \Wsffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + 2 \sffud{\gamma}{\alpha} (\partial_{\mu} \gbar_{\gamma \beta}) - 2 (\partial_{\mu} \gbar_{\alpha \beta}).
235: \end{aligned}
236: \right.
237: \end{equation*}
238: This system is of the form \eqref{eqn:tansys3} with coefficient estimates $A = O(e^{-ar})$ when $0 < a < 2$ and $A = O(re^{-2r})$ when $a=2$. Also we have $B = O(e^{(2-a)r})$, $C = O(e^{-2r})$, $D = O(e^{-ar})$, $H_1 = O(e^{(3-a)r})$, $H_2 = 0$. We compare this system to the model system
239: \begin{equation*}
240: \left\{ \begin{aligned}
241: u' & = ce^{-ar} u + ce^{(2-a)r} v + ce^{(3-a)r}, \\
242: v' & = ce^{-2r} u + ce^{-ar} v,
243: \end{aligned}
244: \right.
245: \end{equation*}
246: for some constant $c > 0$, when $0< a < 2$, and we compare to the model system
247: \begin{equation*}
248: \left\{ \begin{aligned}
249: u' & = cre^{-2r} u + c v + ce^{r}, \\
250: v' & = ce^{-2r} u + cre^{-2r} v,
251: \end{aligned}
252: \right.
253: \end{equation*}
254: when $a=2$. Note that solutions to this comparison system with positive initial conditions remain positive.
255:
256: Set $x(r) = |\partial W|$ and $y(r) = |\partial \gbar|$. These functions are continuous and smooth where they are nonzero. The Cauchy-Schwarz inequality implies that when $x$ and $y$ are nonzero, $x' \leq |(\partial W)'|$ and $y' \leq |(\partial \gbar)'|$. Applying this and the coefficient estimates to our system implies
257: \begin{equation*}
258: \left\{ \begin{aligned}
259: x' & \leq ce^{-ar} x + ce^{(2-a)r} y + ce^{(3-a)r}, \\
260: y' & \leq ce^{-2r} x + ce^{-ar} y,
261: \end{aligned}
262: \right.
263: \end{equation*}
264:
265: By Theorem \ref{thm:ODEcomp} and the analysis of the appendix, we find that the solutions satisfy estimates
266: \begin{equation*}
267: \partial W =
268: \left\{ \begin{aligned}
269: O(e^{(3-a)r}),& 0 < a \leq 2
270: \end{aligned}
271: \right.
272: \end{equation*}
273: and
274: \begin{equation*}
275: \partial \gbar =
276: \left\{ \begin{aligned}
277: &O(e^{(1-a)r}),& 0 < a < 1 \\
278: &O(r),& a=1 \\
279: &O(1),& a > 1
280: \end{aligned}
281: \right.
282: \end{equation*}
283:
284: For the estimates for $\rho$ derivatives, observe that $\partial_{\rho} \gbar_{\alpha \beta} = 2 \rho^{-1} (\kronecker{\gamma}{\alpha}-\sffud{\gamma}{\alpha}) \gbar_{\gamma \beta} = O(1)$ by the shape operator estimate from Theorem \ref{thm:comparison}.
285:
286: We may estimate $\partial_r \sffud{\gamma}{\alpha}$ using the Riccati equation and the estimates for the shape operator with \eqref{AH0}:
287: \begin{equation*}
288: \partial_r \sffud{\beta}{\alpha} = - \sffud{\beta}{\mu} \sffud{\mu}{\alpha} - (\riem_{\partial r})^{\beta}_{\phantom{\beta}\alpha} =
289: \left\{ \begin{aligned}
290: &O(e^{-ar}),& 0 < a < 2 \\
291: &O(r e^{-2r}) = O( \rho^2\log \rho), & a=2
292: \end{aligned}
293: \right.
294: \end{equation*}
295: \end{proof}
296:
297: We now perform the second iteration of the argument to estimate second derivatives of the metric
298: \begin{prop} \label{prop:seconditeration} Given curvature assumptions \eqref{AH0}, \eqref{AH1} and \eqref{AH2} for $a > 1$, the second derivatives of the shape operator and compactified metric satisfy:
299: \begin{equation*}
300: \partial^2_{\mu \nu} \sffud{\beta}{\alpha} =
301: \left\{ \begin{aligned}
302: &O(e^{(2-a)r}),& 0 < a < 2 \\
303: &O( r ), &a=2
304: \end{aligned}
305: \right.
306: \end{equation*}
307: \begin{equation*}
308: \partial^2_r \sffud{\beta}{\alpha} =
309: \left\{ \begin{aligned}
310: &O(e^{-ar}),& 0 < a < 2 \\
311: &O(r e^{-2r}), & a=2
312: \end{aligned}
313: \right.
314: \end{equation*}
315: \[ \partial_r \partial_{\mu} \sffud{\beta}{\alpha} = O(e^{(1-a)r}) \]
316:
317: \begin{equation*}
318: \partial^2_{\mu \nu} \gbar_{\alpha \beta}, \partial^2_{\rho \rho} \gbar_{\alpha \beta}=
319: \left\{ \begin{aligned}
320: &O(e^{(2-a)r}) = O(\rho^{a-2}),& 0 < a < 2 \\
321: &O(r) = O( \log \rho), & a=2
322: \end{aligned}
323: \right.
324: \end{equation*}
325: \[ \partial^2_{\mu \rho} \gbar_{\alpha \beta} = O(1).\]
326: \end{prop}
327: \begin{proof}
328: Note that as $a > 1$, Proposition \ref{prop:firstiteration} provides estimates for the first derivatives of the shape operator and compactified metric.
329:
330: For the second tangential derivatives, we now insert the estimates from Lemma \ref{lemma:est.covgggg0} and \ref{lemma:est.sec.cov.der} to obtain the system
331: \begin{equation*}
332: \left\{ \begin{aligned}
333: (\partial_{\nu} \partial_{\mu} \Wsffud{\beta}{\alpha})' & = - (\partial_{\nu}\partial_{\mu} \Wsffud{\beta}{\gamma}) \sffud{\gamma}{\alpha} - \sffud{\beta}{\gamma} (\partial_{\nu} \partial_{\mu} \Wsffud{\gamma}{\alpha}) + 2 \partial_{\nu} \partial_{\mu} \Wsffud{\beta}{\alpha} \\
334: &-e^{-2r}(\partial_{\mu} \Wsffud{\beta}{\gamma}) (\partial_{\nu} \Wsffud{\gamma}{\alpha}) - e^{-2r}(\partial_{\nu} \Wsffud{\beta}{\gamma}) (\partial_{\mu} \Wsffud{\gamma}{\alpha}) \\
335: &- e^{2r}( (\partial \gbar * (\riem+\delta))_{\phantom{\beta}\alpha}^{\beta} + O( e^{(2-a)r} ) ) \\
336: (\partial_{\nu} \partial_{\mu} \gbar_{\alpha \beta})' & = 2 e^{-2r} (\partial_{\nu} \partial_{\mu} \Wsffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + 2 \sffud{\gamma}{\alpha} (\partial_{\nu} \partial_{\mu} \gbar_{\gamma \beta}) - 2 (\partial_{\mu} \gbar_{\alpha \beta}) \\
337: &+ 2 e^{-2r}( \partial_{\mu} \Wsffud{\gamma}{\alpha})( \partial_{\nu}\gbar_{\gamma \beta}) + 2 e^{-2r} (\partial_{\nu} \Wsffud{\gamma}{\alpha}) (\partial_{\nu}\partial_{\mu} \gbar_{\gamma \beta}).
338: \end{aligned}
339: \right.
340: \end{equation*}
341: This system is again of the form \eqref{eqn:tansys3} with coefficient estimates $A = O(e^{-ar})$ $(0 < a < 2)$ and $A=O(re^{-2r})$ $(a=2)$, $B = O(e^{(2-a)r})$, $C = O(e^{-2r})$, $D = O(e^{-ar})$, $H_1 = O(e^{(4-a)r})$, $H_2 = O(e^{(1-a)r})$. We again compare this system to a model system. By Theorem \ref{thm:ODEcomp} and the analysis of the appendix, we find that the solutions satisfy estimates
342: \begin{equation*}
343: |\partial^2 W| =
344: \left\{ \begin{aligned}
345: &O(e^{(4-a)r}),& 0 < a < 2 \\
346: &O( r e^{2r} ), &a=2
347: \end{aligned}
348: \right.
349: \end{equation*}
350: and
351: \begin{equation*}
352: |\partial^2 \gbar| =
353: \left\{ \begin{aligned}
354: &O(e^{(2-a)r}),& 0 < a < 2 \\
355: &O(r),& a=2
356: \end{aligned}
357: \right.
358: \end{equation*}
359:
360: For the second $\rho$ derivatives we find
361: \[ \partial^2_{\rho} \gbar_{\alpha \beta} = -2 \rho^{-2} (\delta^{\gamma}_{\alpha}-\sffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + \rho^{-2} (\partial_r \sffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + \rho^{-1} (\delta^{\gamma}_{\alpha}-\sffud{\gamma}{\alpha}) \partial_{\rho} \gbar_{\gamma \beta}.\]
362: Consequently we find
363: \begin{equation*}
364: \partial^2_{\rho} \gbar_{\alpha \beta} =
365: \left\{ \begin{aligned}
366: &O(e^{(2-a)r}) = O(\rho^{a-2}),& 0 < a < 2 \\
367: &O(r) = O( \log \rho), & a=2
368: \end{aligned}
369: \right.
370: \end{equation*}
371:
372: Taking a tangential derivative of equation \eqref{eqn:gbar.normal.derivative} yields
373: \begin{equation*}
374: \partial_{\mu} \partial_{\rho} \gbar_{\alpha \beta} = -2 \rho^{-1} (\partial_{\mu} \sffud{\gamma}{\alpha}) \gbar_{\gamma \beta} + 2 \rho^{-1} (\delta^{\gamma}_{\alpha}-\sffud{\gamma}{\alpha}) \partial_{\mu} \gbar_{\gamma \beta}.
375: \end{equation*}
376:
377: Given the estimates from Proposition \ref{prop:firstiteration}, we find
378: \begin{equation*}
379: \partial_{\mu} \partial_{\rho} \gbar_{\alpha \beta}=
380: \left\{ \begin{aligned}
381: &O(e^{(2-a)r}) = O(\rho^{a-2}),& 0 < a < 2 \\
382: &O(1), & a=2
383: \end{aligned}
384: \right.
385: \end{equation*}
386:
387: Finally we work out the remaining estimates for second derivatives of $\sffud{\beta}{\alpha}$. Differentiating the Riccati equation yields
388: \begin{equation*}
389: \partial^2_r \sffud{\beta}{\alpha} = - (\partial_r \sffud{\beta}{\mu}) \sffud{\mu}{\alpha} - \sffud{\beta}{\mu} (\partial_r \sffud{\mu}{\alpha}) - \partial_r (\riem_{\partial r})^{\beta}_{\phantom{\beta}\alpha}.
390: \end{equation*}
391: Note that from Lemma \ref{lemma:est.cov00gg0},
392: \[ \partial_r (\riem_{\partial r})^{\beta}_{\phantom{\beta}\alpha} = -\Gamma^{\sigma}_{\alpha \mu} (\riemdudd{0}{\beta}{\sigma}{0} + \kronecker{\beta}{\sigma} )+ \Gamma^{\beta}_{\sigma \mu} (\riemdudd{0}{\sigma}{\alpha}{0} + \kronecker{\beta}{\sigma}) + O( e^{-ar} ) = O(e^{-ar}).\]
393: Combined with the estimate for $\partial_r \sffud{\beta}{\mu}$ from Proposition \ref{prop:firstiteration}, we have
394: \begin{equation*}
395: \partial^2_r \sffud{\beta}{\alpha} =
396: \left\{ \begin{aligned}
397: &O(e^{-ar}),& 0 < a < 2 \\
398: &O(r e^{-2r}), & a=2
399: \end{aligned}
400: \right.
401: \end{equation*}
402: Finally, the first equation of \eqref{Tangential.System} combined with the estimates Proposition \ref{prop:firstiteration} allows us to estimate the mixed derivatives of $\sffud{\beta}{\alpha}$.
403: \begin{equation*}
404: \partial_r \partial_{\mu} \sffud{\beta}{\alpha} = -(\partial_{\mu} \sffud{\beta}{\gamma}) \sffud{\gamma}{\alpha} - \sffud{\beta}{\gamma} (\partial_{\mu} \sffud{\gamma}{\alpha}) -\partial_{\mu} \riemdudd{0}{\beta}{\alpha}{0} = O(e^{(1-a)r}), \; 0 < a \leq 2
405: \end{equation*}
406: \end{proof}
407:
408: We now present a Lemma that allows us to convert decay estimates for functions into H\"older estimates.
409:
410: \begin{lemma} \label{lemma:holderreg}
411: Suppose that $F$ is a function in compactified Fermi coordinates $W \times [0, \epsilon)$ that is smooth for $\rho > 0$.
412: \begin{enumerate}
413: \item If $0 < a < 1$ and all coordinate derivatives of $F$ satisfy
414: \[ \partial F(p, \rho) = O(\rho^{a-1}),\]
415: Then $F \in C^{0,a}(W \times [0, \epsilon))$.
416: \item If all coordinate derivatives of $F$ satisfy
417: \[ \partial F(p, \rho) = O(\log \rho),\]
418: Then $F \in C^{0,b}(W \times [0, \epsilon))$, for every $0 < b < 1$.
419: \item If $1 < a < 2$ and all second coordinate derivatives of $F$ satisfy
420: \[ \partial^2 F(p, \rho) = O(\rho^{a-2}),\]
421: Then $F \in C^{1,a-1}(W \times [0, \epsilon))$.
422: \item If all second coordinate derivatives of $F$ satisfy
423: \[ \partial^2 F(p, \rho) = O(\log \rho),\]
424: Then $F \in C^{1,b}(W \times [0, \epsilon))$, for every $0 < b < 1$.
425: \end{enumerate}
426: \end{lemma}
427: \begin{proof}
428: We will only give the proof for the first two cases, the others being straightforward generalizations. For the first case take a truncated cylinder $W \times (0, \epsilon)$ on which
429: \[ |\partial_\mu F(p, \rho)| \leq C \rho^{a-1}, \; \mbox{and} \]
430: \[ |\partial_\rho F(p, \rho)| \leq C \rho^{a-1} \]
431: for some constant $C > 0$ independent of $\rho \in (0, \epsilon)$ and $p \in W$. We first remark that it is sufficient to prove only the following ``tangential" H\"older continuity:
432: $$
433: \frac{\left|F(p, \rho) - F(q, \rho)\right|}{\left|p-q\right|^a} \leq\tilde{C}\qquad\forall p, q \in W, p \neq q ~\text{and}~ \rho \in (0, \epsilon)
434: $$
435: for some constant $\tilde{C}$ independent of $p, q, \rho$. Indeed if $\rho, \rho' \in (0, \epsilon), \rho \neq \rho'$ :
436: \begin{eqnarray*}
437: \frac{\left|F(p, \rho) - F(q, \rho')\right|}{\left(\left|p-q\right|^2 + \left|\rho-\rho'\right|^2\right)^\frac{a}{2}}
438: &\leq& \frac{\left|F(p,\rho)-F(q,\rho)\right|}{\left(\left|p-q\right|^2+\left|\rho-\rho'\right|^2\right)^\frac{a}{2}}
439: +\frac{\left|F(q,\rho)-F(q,\rho')\right|}{\left(\left|p-q\right|^2+\left|\rho-\rho'\right|^2\right)^\frac{a}{2}}\\
440: &\leq& \frac{\left|F(p,\rho)-F(q,\rho)\right|}{\left(\left|p-q\right|\right)^a}
441: + \frac{\left|F(q,\rho)-F(q,\rho')\right|}{\left|\rho-\rho'\right|^a}\\
442: &\leq& \tilde{C} + \frac{\left|F(q,\rho)-F(q,\rho')\right|}{\left|\rho-\rho'\right|^a}
443: \end{eqnarray*}
444:
445: The second term can be easily estimated (assume $0 < \rho' < \rho$):
446:
447: \begin{eqnarray*}
448: F(q,\rho)-F(q,\rho') & = & \int_{\rho'}^{\rho} \partial_\rho F(q, \sigma) d\sigma\\
449: \left|F(q,\rho)-F(q,\rho')\right| &\leq& \int_{\rho'}^{\rho} \left|\partial_\rho F(q, \sigma)\right| d\sigma\\
450: & \leq & C \int_{\rho'}^{\rho} \sigma^{a-1} d\sigma\\
451: & \leq & C (\rho - \rho') \int_0^1 \left( \rho x + (1-x) \rho' \right)^{a-1} dx \qquad \left(\sigma = \rho x + (1-x) \rho'\right)\\
452: & \leq & C \left(\rho-\rho'\right)^a \int_0^1 x^{a-1} dx
453: \qquad \text{because}~\left(\rho'+x(\rho-\rho')\right)^{a-1} \leq \left(x(\rho-\rho')\right)^{a-1}\\
454: & \leq & \frac{C}{a} \left(\rho-\rho'\right)^a
455: \end{eqnarray*}
456:
457: So we need only estimate the tangential H\"older inequality. Let $p$ and $q$ be two points in $W$ and denote
458: $d = \left|p-q\right|$ the (euclidean) distance between $p$ and $q$ in the chart and assume $d < 1$. We distinguish two cases. First assume that $\rho \geq d$:
459:
460: \begin{eqnarray*}
461: \left|F(p, \rho) - F(q, \rho)\right| & = & \left|\int_0^1 \left(p^\mu - q^\mu\right) \partial_\mu F\right|\\
462: & \leq& \left|p^\mu - q^\mu\right| \sup_{p' \in \Omega_0} \left|\partial_{\mu} F(p', \rho)\right|\\
463: & \leq& C~d~\rho^{a-1}\\
464: & \leq& C \left(\frac{d}{\rho}\right)^{1-a} d^a\\
465: & \leq& C~d^a
466: \end{eqnarray*}
467:
468: Assuming now that $\rho \leq d$, we ``lift" the inequality to $\rho = d$:
469: \[ \begin{array}{rcccccc}
470: \left|F(p, \rho) - F(q, \rho)\right| & \leq &
471: \left|F(p, \rho) - F(p, d)\right|
472: &+& \left|F(p, d) - F(q, d)\right|
473: &+& \left|F(q, d) - F(q, \rho)\right|\\
474: & \leq & C \int_\rho^d \sigma^{a-1} d \sigma & + & C d^a & + & C \int_\rho^d \sigma^{a-1} d \sigma\\
475: & \leq & \multicolumn{5}{l}{C d^a + 2 \frac{C}{a} \left(d^a - \rho^a \right)}\\
476: & \leq & \multicolumn{5}{l}{\tilde{C} d^a}\\
477: \end{array} \]
478:
479: Thus $F \in \mathcal{C}^{0, a}\left(W \times (0, \epsilon)\right)$. A standard continuity argument shows that
480: $F \in \mathcal{C}^{0, a}\left(W\times [0, \epsilon)\right)$.
481:
482: In the second case we use the estimate that for any $0<b<1$ there exists $C'>0$ where
483: \[ |\log \rho| \leq C' \rho^{-b},\]
484: and we repeat the same argument above.
485: \end{proof}
486:
487: As explained in \cite{Bahuaud} we can use metric estimates to improve the regularity of the manifold transition functions via a bootstrap argument involving the transformation formula for Christoffel symbols under change of coordinates. We have
488: \begin{lemma} \label{lemma:transfncreg}
489: Suppose $\cA_1 = \{(U_{\alpha}, \phi_{\alpha})\}$ and $\cA_2 = \{(V_{\beta}, \psi_{\beta})\}$ are two smooth atlases arising from distinct essential subsets that are $C^{0,1}$ compatible. Suppose that $\gbar$ is a metric that is $C^{k,\alpha}$ with respect to both atlases, for either $k=0, \alpha=1$ or $k\geq1$, $0 \leq \alpha \leq 1$. Then $\cA_1$ and $\cA_2$ are $C^{k+1,\alpha}$ compatible.
490: \end{lemma}
491: \begin{proof}
492: This is a local question so we reduce to the case where $f: (U \subset \bR^{n+1}, x^i) \rightarrow (\widetilde{U} \subset \bR^{n+1}, y^i)$ is a $C^{0,1}$ diffeomorphism between open sets of $\bR^{n+1}$.
493: Write the components of the metric as
494: \[ \gbar_{ij} = \gbar\left( \pd{}{x^i}, \pd{}{x^j} \right) \; \mbox{and} \; \gtil_{kl} = \gbar\left( \pd{}{y^k} , \pd{}{y^l} \right). \]
495: As $\gbar$ satisfies $C^{k,\alpha}$ estimates in both systems of coordinates, Christoffel symbols are $C^{k-1,\alpha}$ functions (bounded in the Lipschitz case). The transformation law for Christoffel symbols under a change of coordinates states
496: \begin{equation} \label{eqn:ChristoffelChangeCoords}
497: \pd{^2 y^m}{x^i \partial x^j} = \pd{y^k}{x^i} \pd{y^l}{x^j} \Gambar^m_{kl} - \left( \Gamtil^l_{ij} \circ f \right) \pd{y^m}{x^l}.
498: \end{equation}
499: On our first application of \eqref{eqn:ChristoffelChangeCoords} we find that the right hand side of this equation is bounded if $f \in C^{0,1}$ and if $\gbar \in C^{k,\alpha}$ with respect to both sets of coordinates. Consequently $f$ satisfies a $C^{1,1}$ estimate. Applying \eqref{eqn:ChristoffelChangeCoords} again with the improvement in regularity of the derivatives of $f$ allows us to conclude that the right hand side lies in $C^0$ and $f$ is consequently in $C^2$. The rest of the argument follows by this bootstrap procedure and the fact that the product of $f$ and a $C^{0,\alpha}$ function remains $C^{0, \alpha}$ and that composition $\Gamtil^l_{ij} \circ f$ remains $C^{0, \alpha}$.
500: \end{proof}
501:
502: We also require an analogue of Lemma \ref{lemma:transfncreg} when the metrics enjoy only H\"older regularity. Fortunately in this case we can use our decay estimates and Lemma \ref{lemma:holderreg} to improve the manifold regularity.
503: \begin{lemma} \label{lemma:transfncreg2}
504: Suppose $f: (U \subset \bR^{n+1}, x^i) \rightarrow (\widetilde{U} \subset \bR^{n+1}, y^i)$ is a $C^{\infty}(U) \cap C^{0,1}(\overline{U})$ diffeomorphism between open sets of $\bR^{n+1}$. Suppose the components of the metric are
505: \[ \gbar_{ij} = \gbar\left( \pd{}{x^i}, \pd{}{x^j} \right) \; \mbox{and} \; \gtil_{kl} = \gbar\left( \pd{}{y^k} , \pd{}{y^l} \right), \]
506: are $C^{0,\alpha}(\overline{U})$ and additionally $\partial \gbar_{ij} = O( (x^{n+1})^{a-1}), \partial \gtil_{kl} = O( (y^{n+1})^{a-1})$, for $0 < a < 1$. Then $f \in C^{\infty}(U) \cap C^{1,\alpha}(\overline{U})$.
507: \end{lemma}
508: \begin{proof}
509: Again the point of departure is the formula
510: \begin{equation*}
511: \pd{^2 y^m}{x^i \partial x^j} = \pd{y^k}{x^i} \pd{y^l}{x^j} \Gambar^m_{kl} - \left( \Gamtil^l_{ij} \circ f \right) \pd{y^m}{x^l}.
512: \end{equation*}
513: Since $f$ is Lipschitz, all factors like $\pd{y^k}{x^i} = O(1)$. We observe that $\Gambar^m_{kl} = O((x^{n+1})^{a-1})$. Note that $\Gamtil^l_{ij} \circ f = O((f^{n+1})^{a-1})$, where $y^{n+1} = f^{n+1}(x^1, \ldots, x^{n+1})$ is the $(n+1)$-component function of $f$. Since $f \in C^{0,1}(\overline{U})$, we have
514: \[ \left|f^{n+1}(x^1, \ldots, x^{n+1}) - f^{n+1}(x^1, \ldots, x^{n}, 0)\right| \leq C x^{n+1}, \]
515: where $C$ is independent of $x^1, \ldots, x^{n}$. Consequently, $\Gamtil^l_{ij} \circ f = O((x^{n+1})^{a-1})$ and
516: \[ \pd{^2 y^m}{x^i \partial x^j} = O((x^{n+1})^{a-1}). \]
517: Lemma \ref{lemma:holderreg} now implies that $\pd{y^k}{x^i}$ are $C^{0,\alpha}$ functions.
518: \end{proof}
519:
520: We now come to the proof of Theorems \ref{thm:A-part1} and \ref{thm:A-part2}.
521:
522: \begin{proof}[Proof of Theorem \ref{thm:A-part1}]
523: Given an essential subset and a reference covering by truncated cylinders (cf. page \pageref{pg:refcov}), Theorem \ref{thm:comparison} gives the required estimates so that we can apply Theorem 17 of \cite{BahuaudMarsh}. We therefore obtain that $\Mbar = M \cup M(\infty)$ is endowed with a $C^{0,1}$ structure independent of essential subset. Given any choice of essential subset, and any choice of Fermi coordinates in the reference covering the estimates of Proposition \ref{prop:firstiteration} and Lemma \ref{lemma:holderreg} imply that the components of compactified metric $\gbar$ are $C^{0,a}$ functions if $0 < a < 1$, $C^{0,b}$ functions for every $0 < b < 1$ when $a=1$ and $C^{0,1}$ if $a > 1$. Consequently, $\gbar$ extends to the boundary with the stated regularity. Note that the extension remains positive definite by the metric estimate from Theorem \ref{thm:comparison}. Consequently $g$ is conformally compact with the stated regularity.
524:
525: Whenever two truncated cylinders from distinct essential subsets overlap we have a smooth transition function that is $C^{0,1}$ up to the boundary. Since the metric enjoys H\"older/Lipschitz estimates in each cylinder, we may apply Lemma \ref{lemma:transfncreg} or \ref{lemma:transfncreg2} to improve the regularity of the transition function by one order.
526: \end{proof}
527:
528: \begin{proof}[Proof of Theorem \ref{thm:A-part2}]
529: Theorem \ref{thm:A-part1} already provides the initial estimates. We apply Proposition \ref{prop:seconditeration} and Lemma \ref{lemma:holderreg} to obtain the improvement in metric regularity, and Lemma \ref{lemma:transfncreg} to obtain the improvement in manifold regularity.
530: \end{proof}
531: