Unfortunately I can'thope this question is still of interest. It turned out that some coauthors and I needed this fact for a recent paper. As such, I've gone through and filled in the details (and fixed some errors) from my original answer. The paper is here and the relevant section is Lemma 18 in the second appendix, which starts on page 24.
I didn't try to get explicit estimates on $\epsilon(r,Q)$, but here's an argumentin theory it can be done by bounding each of the constants. Sorry in advance for the length of the argument; I wasn't able to show such an $\epsilon$ existsfind a cleaner approach which gets around inducting on the regularity of the distance function. As
To begin, we fix a notational remarkpoint $p$, I'm going to denotewhich will be the center of the ball throughout. Consider two different Riemannian distance betweenmetrics on $U$. The first, (denoted $g$) is the Riemannian metric of interest. The second, $g_0$, is the flat metric satisfying $(g_0){}_{ij}(x) = g_{ij}(p)$ for all $ x \in U$ (i.e. we consider the metric at $p$ and do not change the components throughout $q$$U$). We then consider two separate distance functions. The first, which we denote $d$, is the distance from $p$ in the $g$ metric. The second, which we denote $\delta_0$, is the distance from $p$ in the $g_0$ metric.
As a broad overview, we can break up this argument into 4 steps.
- Using the $C^0$-scale control, we show that $d$ and $\delta_0$ are $C^0$ close.
- By bounding the total acceleration of $g$-geodesics in the $x$-coordinates, we show that $d$ and $\delta_0$ are $C^1$ close.
- By bounding the total jerk of $g$-geodesics in the $x$-coordinates, we show that $d$ and $\delta_0$ are $C^2$ close.
- Using the implicit function theorem, we show that the level sets of $d$ are $C^2$ close to level sets of $\delta_0$ (which are ellipsoids with bounded eccentricity). This then implies that the level sets of $d$ are convex, at least at small enough scales.
Step 1. The first step is to show that $d$ and $\delta_0$ are $C^0$ close. To do this, consider the $g$ by-geodesics in the $d(p,q)$$g_0$ metric (and vice versa), and use the $C^0$-scale control. This shows that the distance functions control each other, or more precisely that $$ Q^{-1} \delta_0(p,q) \leq d(p,q) \leq Q \delta_0(p,q) $$
Step 2. We now want to show that the distance functions are close in $C^1$. To do so, consider a point $q$ which is close to $p$ (either in terms of $d$ or $\delta_0$). The geodesic from $p$ to $q$ with respect toin the inner product $g(0)$$g_0$ metric is a straight line whose length (extendedin the sense of $g_0$) is $\delta_0(q)$. Furthermore, the gradient of $\delta_0$ at $q$ is of unit norm (again in the natural way to allsense of $U$$g_0$) byand points in the same direction as the line segment from $|p-q|_g$$p$ to $q$. On the other hand, the unit speed geodesic for the metric $g$ from $p$ to $q$ satisfy the equations \begin{equation} \label{geodesicequations} \frac{d^2 \gamma^i}{ds^2} + \Gamma^{i}_{jk}\frac{d \gamma^j}{ds}\frac{d\gamma^k}{ds} = 0 \end{equation} where \begin{equation} \label{Christoffel}\Gamma^i_{jk} = \frac{1}{2} g^{i\ell} \left( \frac{\partial g_{j \ell}}{\partial x^k} + \frac{\partial g_{k \ell}}{\partial x^j} - \frac{\partial g_{jk}}{\partial x^\ell} \right). \end{equation}
However, from the scale-$C^1$-control, we can estimate that \begin{eqnarray*} \left \vert \frac{d^2 \gamma^i}{ds^2} \right \vert &\leq & \sum_{j,k} \frac{Q}{2} \frac{3(Q-1)}{r} \left \vert \frac{d \gamma^j}{ds} \right \vert \left \vert \frac{d \gamma^k}{ds} \right \vert \end{eqnarray*} along the entire geodesic. In order to make the estimates readable, we will absorb any constants involving $n,r$ and $Q$ using the notation $ f_1 \lesssim f_2$ whenever $f_1 \leq C f_2$ for some constant $ C$ depending only on $n,Q,$ and $r$. We will also use the notation $$ \left. \left \| \frac{d^k \gamma}{ds^k} \right \|_{L^1} \right \vert_{s=\tau} = \sum_{i=1}^n \left \vert \frac{d^k \gamma^i (\tau)}{ds^k} \right \vert $$ and the corresponding notation for the $L^2$ norm as well.
SupposeIn this notation, we find that $$ \left \vert \frac{d^2 \gamma^i}{ds^2} \right \vert \lesssim \left \vert \frac{d \gamma^j}{ds} \right \vert \left \vert \frac{d \gamma^k}{ds} \right \vert. $$
Summing over the $g$$i$ index, this implies that \begin{eqnarray*} \left. \left \| \frac{d^2 \gamma}{ds^2} \right \|_{L^1} \right \vert_{s=\tau} &\lesssim & \left. \left \| \frac{d \gamma}{ds} \right \|_{L^2}^2 \right \vert_{s=\tau} \\ & \lesssim & \left \| 1 + \int_0^\tau \left. \left \| \frac{d^2 \gamma}{ds^2} \right \|_{L^1} \right \vert_{s=t} \,dt \right \|_{L^2}^2 \\ & \leq & 2 + 2\left(\int_0^\tau \left. \left \| \frac{d^2 \gamma}{ds^2} \right \|_{L^1} \right \vert_{s=t} \,dt \right )^2 \end{eqnarray*}
We define $F(\tau) = \int_0^\tau \left. \left \| \frac{d^2 \gamma}{ds^2} \right \|_{L^1} \right \vert_{s=t} \,dt$. In other words $F(\tau)$ is the total acceleration of a $C^2$-scaled controlled with precision$g$ geodesic in coordinates. When written in terms of $Q$$F$, the above estimate shows that \begin{eqnarray*} \frac{d F}{d \tau } &\lesssim & 1 + F^2 \end{eqnarray*} Dividing both sides by $1 + F^2$ and integrating, we find that $$\arctan{F(\tau)} \lesssim \tau. $$ For $\tau$ small, this provides an upper bound for $F$. ThenHowever, wheneversince $|p-q|_g$$\gamma$ is a unit speed geodesic, this shows that for small $d$ (equivalently $\delta_0$), the acceleration $d(p,q)$ and(in coordinates) of $|p-q|_g$$\gamma$ is very small. As a result, $\gamma$ is $C^1$-close to a line segment from $p$ to $q$ (in coordinates). Therefore, the gradient of $d$ at $q$ is close to the gradient of $\delta_0$ at $q$, which implies that the functions are $C^1$-close as well.
Step 3. We now want to show that the distance functions are $C^2$ close inas well. To do so, we start by taking one derivative of the geodesic equations and use the $C^2$ scale control to bound the $C^1$ norm of the Christoffel symbols. If I'm rememberingWhen we do so, we get an estimate of the implicit function theorem correctlyform $$\left \| \frac{ d^3 \gamma}{ d s^3 } \right \|_{L^1} \lesssim \left \| \frac{ d^2 \gamma}{ d s^2 } \right \|_{L^1} \left \| \frac{ d \gamma}{ d s } \right \|_{L^1}^2 +\left \| \frac{ d \gamma}{ d s } \right \|_{L^1}^3.$$
From here, we can basically repeat Step 2 verbatim. There are other ways of controlling this term, but it's probably simplest to do it using a method we've already done. Using Young's inequality, this shows that \begin{eqnarray*} \left \| \frac{ d^3 \gamma}{ d s^3 } \right \|_{L^1} & \lesssim & \left \| \frac{ d^2 \gamma}{ d s^2 } \right \|_{L^1}^2 + \left \| \frac{ d \gamma}{ d s } \right \|_{L^1}^4 +\left \| \frac{ d \gamma}{ d s } \right \|_{L^1}^3 \\ \end{eqnarray*} Using the bound on $F$ from the $C^1$ estimate, for small time we can be usedcontrol $\left \| \frac{ d \gamma}{ d s } \right \|$ by a constant, which implies \begin{eqnarray*} \left \| \dfrac{ d^3 \gamma}{ d s^3 } \right \|_{L^1} & \lesssim \left \| \dfrac{ d^2 \gamma}{ d s^2 } \right \|_{L^1}^2 + 1. \end{eqnarray*}
Using the estimate $$ \left. \left \| \frac{ d^2 \gamma}{ d s^2 } \right \| \right \vert_{s = \tau} \leq \int_0^\tau \left . \left \| \frac{ d^3 \gamma}{ d s^3 } \right \| \right \vert_{s = t} dt, $$ we can rewrite the preceding line to obtain \begin{eqnarray*} \left. \left \| \frac{ d^3 \gamma}{ d s^3 } \right \| \right \vert_{s = \tau} & \lesssim \left( \int_0^\tau \left . \left \| \dfrac{ d^3 \gamma}{ d s^3 } \right \| \right \vert_{s = t} dt \right) ^2 + 1. \end{eqnarray*}
We again integrate out the differential inequality to show that if $$ \int_0^\tau \left . \left \| \dfrac{ d^3 \gamma}{ d s^3 } \right \| \right \vert_{s = t} dt \lesssim \tan(\tau). $$ For sufficiently small times $\tau$, this provides a small bound on the total jerk of $\gamma$, which also bounds the point-wise acceleration of $\gamma$. As a result, $\gamma$ is $C^2$-close to a line segment from $p$ to $q$. Therefore, the gradient of $d$ is $C^1$-close to the gradient of $\delta_0$ at q, which implies that the two distance functions are close in $C^2$ norm-close.
Step 4. Finally, theirwe show that the ball $B_{g_0}(p,\epsilon)$ is convex in the $x$-coordinates for $\epsilon$ small. Consider a point $q$ with $d(p,q)$ small and the hyperplane (in $x$-coordinates) $V$ through $q$ which is perpendicular to the line segment from $p$ to $q$. Near $q$, both the functions $d$ and $\delta_0$ have gradients which are transverse to this hyperplane. As such, by the implicit function theorem we can locally find two functions $\ell_1, \ell_2:V \to \mathbb{R}$ so that $d(v,\ell_1(v)) = d(q)$ and $d(v,\ell_2(v)) = \delta_0(q)$. In other words, we use the implicit function theorem to express the level sets are closeof $d$ and $\delta_0$ as graphs in a small neighborhood of $q$. Furthermore, we can write the derivatives of $\ell_1$ and $\ell_2$ in terms of the derivatives of $d(q)$ and $ \delta_0(q)$, respectively.
Since $d(q)$ and $ \delta_0(q)$ are $C^2$ norm as well-close, it follows that $\ell_1$ and $\ell_2$ are also $C^2$-close. TheHowever, the level sets of $|p-q|_g$$\delta_0$ are ellipsoids with bounded eccentricity, so it follows that are uniformly convex (by the$\ell_2$ is $Q$-precision(uniformly) and since any surface thatstrongly convex. Since $\ell_1$ is $C^2$-close to a strictly-convex surface is itself convexthe graph of an ellipsoid, for small enough $r$$d$ the level setHessian of $d(p,q) = r$$\ell_1$ must be non-negative definite. This implies that $\ell_1$ is alsoa convex function and so secants of $\ell_1$ lie entirely above the graph of $\ell_1$.
In factother words, if we could have done even better. Since any surface that isdraw a segment between two points in $C^1$ close$\ell_1$, the intermediate points are closer to a strictly-convex surface is also convex$p$ than the endpoints. Put more simply, ifthe ball $g$$B_g(p,\epsilon)$ is merelyconvex (at least for $\epsilon$ small enough).
Hopefully this makes sense. In my original answer, I thought it would be possible to do a similar argument with scale-$C^1$-scale controlledcontrol, we getbut this turns out not to be the same resultcase. It'sIt might be possible to modify the scale-$C^2$-control to allow for less smooth level sets of $d$, but the assumption needs to be strong enough to ensure that the level sets are convex. At present, I'm not sure of a good question whether this can be made explicitway to relax scale-$C^2$-control, and this answer is more than long enough already, so I'll add details if I think of anything towardsleave that endalone.