ScalingStacks

Lemma 6 [03X1]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Lemma 6

With the above choice of vv assume that the metric satisfies for any z∈∂U1z\in\partial U_{1} the condition

(∇ezg)​(nz,nz)=0,(\nabla_{e_{z}}\,g)(n_{z},n_{z})=0\,\,,

where ez∈Tz​Be_{z}\in T_{z}B is the unit tangent vector to ∂U1\partial U_{1} and nzn_{z} is the normal vector to ∂U1\partial U_{1} (all scalar products and lengths are taken with respect to the metric gg).

Then there exists C>0C>0 such that

(∇v(z,P)g)​(nP,nP)≤C​g​(nP,v(z,P))(\nabla_{v_{(z,P)}}\,g)(n_{P},n_{P})\leq Cg(n_{P},v_{(z,P)})

for all (z,P)∈ℳ(z,P)\in{\cal M}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.