ScalingStacks

Proof. [0538]

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

Proof.

We again divide into different regions and estimate separately.

For |z⁡(𝒙)|≤1|z(\bm{x})|\leq 1, applying Corollary 3.24.1, we have

(4.307) (ωD+T−1​ψ)n−1=ωDn−1​(1+T−1​TrωD​ψ+∑k≥2T−k​Φk)(\omega_{D}+T^{-1}\psi)^{n-1}=\omega_{D}^{n-1}(1+T^{-1}\Tr_{\omega_{D}}\psi+\sum_{k\geq 2}T^{-k}\Phi_{k})

where Φk=O′​(rk−1)\Phi_{k}=O^{\prime}(r^{k-1}) is independent of TT. By (4.20) we have

(4.308) T−1​h=1+T−1​TrωD​ψ+T−2​B¯​(z).T^{-1}h=1+T^{-1}\Tr_{\omega_{D}}\psi+T^{-2}\underline{B}(z).

Using (3.316), it is easy to see that

(4.309) ∥ErrC​Y∥C0({|z(𝒙)|≤1})=O(T−2),\|\mathrm{Err}_{CY}\|_{C^{0}(\{|z(\bm{x})|\leq 1\})}=O(T^{-2}),

Immediately, by the definition of the weighted C0C^{0}-norm, we have

(4.310) ∥ErrC​Y∥Cδ,ν,μ0({|z(𝒙)|≤1})=O(T−2+νn+μ),\|\mathrm{Err}_{CY}\|_{C_{\delta,\nu,\mu}^{0}(\{|z(\bm{x})|\leq 1\})}=O(T^{-2+\frac{\nu}{n}+\mu}),

Now consider the region |z⁡(𝒙)|≥1|z(\bm{x})|\geq 1, then by (3.349) we may write

(4.311) ψ={(k−​z)⋅ωD+ξ,z≤−1,(k+​z)⋅ωD+ξ,z≥1,\displaystyle\psi=\begin{cases}(k_{-}z)\cdot\omega_{D}+\xi,&z\leq-1,\\ (k_{+}z)\cdot\omega_{D}+\xi,&z\geq 1,\end{cases}

where ξ=ϵ⁡(z)\xi=\epsilon(z). So it follows that

(ωD+T−1​ψ)n−1\displaystyle(\omega_{D}+T^{-1}\psi)^{n-1} =((1+T−1​k±​z)​ωD+T−1​ξ)n−1\displaystyle=\Big((1+T^{-1}k_{\pm}z)\omega_{D}+T^{-1}\xi\Big)^{n-1}
(4.312) =ωDn−1​((1+T−1​k±​z)n−1+(1+T−1​k±​z)n−2​T−1​TrωD​ξ+O⁡(T−2))\displaystyle=\omega_{D}^{n-1}\Big((1+T^{-1}k_{\pm}z)^{n-1}+(1+T^{-1}k_{\pm}z)^{n-2}T^{-1}\Tr_{\omega_{D}}\xi+O(T^{-2})\Big)

By (4.16), we have

(4.313) T−1​h=(1+T−1​k±​z)n−1+T−1​TrωD​ξ.T^{-1}h=(1+T^{-1}k_{\pm}z)^{n-1}+T^{-1}\Tr_{\omega_{D}}\xi.

So we obtain

(4.314) ErrC​Y=((1+T−1​k±​z)−1−(1+T−1​k±​z)−n+1)​T−1​TrωD​ξ+O⁡(T−2)\mathrm{Err}_{CY}=\Big((1+T^{-1}k_{\pm}z)^{-1}-(1+T^{-1}k_{\pm}z)^{-n+1}\Big)T^{-1}\Tr_{\omega_{D}}\xi+O(T^{-2})

Since for z∈[T−,T+]z\in[T_{-},T_{+}],

(4.315) UT(z)=T−T−n−22(T+k±z)n2=T(1−(1+T−1k±z)n2)≤−n2⋅k±z.U_{T}(z)=T-T^{-\frac{n-2}{2}}(T+k_{\pm}z)^{\frac{n}{2}}=T(1-(1+T^{-1}k_{\pm}z)^{\frac{n}{2}})\leq-\frac{n}{2}\cdot k_{\pm}z.

Here we use the following elementary inequality: (1−x)p≥1−p​x(1-x)^{p}\geq 1-px for any p≥1p\geq 1 and x∈(0,1)x\in(0,1). By Proposition 3.31, the asymptotics ξ=ϵ⁡(z)\xi=\epsilon(z) has the explicit exponential decaying rate ϵ⁡(z)=O⁡(e−(1−τ)​λ1​z)\epsilon(z)=O(e^{-(1-\tau)\sqrt{\lambda_{1}}z}) for any τ∈(0,1)\tau\in(0,1). Applying (4.315) and the the assumption

(4.316) 0<δ<δe≡λ1n⁡(|k−|+|k+|),0<\delta<\delta_{e}\equiv\frac{\sqrt{\lambda_{1}}}{n(|k_{-}|+|k_{+}|)},

we conclude that, as |z⁡(𝒙)|→+∞|z(\bm{x})|\to+\infty, the growth rate of eδ​UT​(z⁡(𝒙))e^{\delta U_{T}(z(\bm{x}))} is slower than the decaying rate of ϵ⁡(z)\epsilon(z).

Therefore,

(4.317) ∥ErrC​Y∥C0({∥z(𝒙)∥≥1})=O(T−2).\|\mathrm{Err}_{CY}\|_{C^{0}(\{\|z(\bm{x})\|\geq 1\})}=O(T^{-2}).

By the definition of the weighted norm, we have

(4.318) ∥ErrC​Y∥Cδ,ν,μ0({∥z(𝒙)∥≥1})=O(T−2+νn+μ).\|\mathrm{Err}_{CY}\|_{C_{\delta,\nu,\mu}^{0}(\{\|z(\bm{x})\|\geq 1\})}=O(T^{-2+\frac{\nu}{n}+\mu}).

The weighted C0,αC^{0,\alpha}-estimate can be obtained in a similar way. It suffices to analyze the Hölder regularity around the singular set 𝒫\mathcal{P}. Notice that a fixed function in O′​(r)O^{\prime}(r) has bounded C0,αC^{0,\alpha} norm, so the weighted C0,αC^{0,\alpha}-estimate is given by

(4.319) ‖ErrC​Y‖Cδ,ν,μ0​(ℳT)=O⁡(T−2+ν+αn+μ).\|\mathrm{Err}_{CY}\|_{C_{\delta,\nu,\mu}^{0}(\mathcal{M}_{T})}=O(T^{-2+\frac{\nu+\alpha}{n}+\mu}).

∎

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