ScalingStacks

Lemma 4.15 . [045D]

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 4.15.

For ∑si2≲1\sum s_{i}^{2}\lesssim 1,

{|IΓ,f​(s1,s2,t1,t2,t3)+f⁡(s1,s2)4​π​R|≤C,|∂IΓ,f∂ti−f⁡(s1,s2)​ti4​π​R3(1+15(∑jtjn→j)⋅H→)|≤C,i=3,4,5,|∂IΓ,f∂si+14​π​R∂f∂si(s1,s2)|≤C,i=1,2.\begin{cases}|I_{\Gamma,f}(s_{1},s_{2},t_{1},t_{2},t_{3})+\frac{f(s_{1},s_{2})}{4\pi R}|\leq C,\\ |\frac{\partial I_{\Gamma,f}}{\partial t_{i}}-\frac{f(s_{1},s_{2})t_{i}}{4\pi R^{3}}(1+\frac{1}{5}(\sum_{j}t_{j}\vec{n}_{j})\cdot\vec{H})|\leq C,\quad&i=3,4,5,\\ |\frac{\partial I_{\Gamma,f}}{\partial s_{i}}+\frac{1}{4\pi R}\frac{\partial f}{\partial s_{i}}(s_{1},s_{2})|\leq C,\quad&i=1,2.\end{cases}

where H→\vec{H} is the mean curvature vector of Γ\Gamma at h→​(s1,s2)\vec{h}(s_{1},s_{2}). If morever ‖f‖C3≤C\left\lVert f\right\rVert_{C^{3}}\leq C, ‖fi‖C3≤C\left\lVert f_{i}\right\rVert_{C^{3}}\leq C, then

|∂2IΓ,f∂ti​∂tj−(δi​j​R2−3​ti​tj)​f4​π​R5|≤CR2,|∂2IΓ,f∂ti​∂sj−ti4​π​R3​∂f∂sj|≤CR,|∂2IΓ,f∂si​∂sj|≤CR.|\frac{\partial^{2}I_{\Gamma,f}}{\partial t_{i}\partial t_{j}}-\frac{(\delta_{ij}R^{2}-3t_{i}t_{j})f}{4\pi R^{5}}|\leq\frac{C}{R^{2}},\quad|\frac{\partial^{2}I_{\Gamma,f}}{\partial t_{i}\partial s_{j}}-\frac{t_{i}}{4\pi R^{3}}\frac{\partial f}{\partial s_{j}}|\leq\frac{C}{R},\quad|\frac{\partial^{2}I_{\Gamma,f}}{\partial s_{i}\partial s_{j}}|\leq\frac{C}{R}.

If morever f⁡(0)=0f(0)=0, then at s1=s2=0s_{1}=s_{2}=0,

|∂2IΓ,f∂ti​∂tj|≤CR,|∂2IΓ,f∂si​∂sj+14​π​R​∂2f∂si​∂sj|≤C.|\frac{\partial^{2}I_{\Gamma,f}}{\partial t_{i}\partial t_{j}}|\leq\frac{C}{R},\quad|\frac{\partial^{2}I_{\Gamma,f}}{\partial s_{i}\partial s_{j}}+\frac{1}{4\pi R}\frac{\partial^{2}f}{\partial s_{i}\partial s_{j}}|\leq C.

If morever d​f​(0)=0df(0)=0, then |∂2IΓ,f∂ti​∂sj|≤C|\frac{\partial^{2}I_{\Gamma,f}}{\partial t_{i}\partial s_{j}}|\leq C for s1=s2=0s_{1}=s_{2}=0.

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