ScalingStacks

Proposition 4.22 (Weighted Schauder estimate, the local version) . [0534]

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

Proposition 4.22 (Weighted Schauder estimate, the local version).

For every sufficiently large parameter T≫1T\gg 1, let ℳT\mathcal{M}_{T} be the neck region with an S1S^{1}-invariant Kähler metric ωT\omega_{T} constructed in Section 4.1. Then the following estimates hold:

  1. (1)

    (Interior estimate) Given k∈{0,1}k\in\{0,1\} and α∈(0,1)\alpha\in(0,1), there is some uniform constant Ck,α>0C_{k,\alpha}>0 such that for any 𝒙∈ℳ̊​(T−,T+)\bm{x}\in\mathring{\mathcal{M}}(T_{-},T_{+}), r∈(0,1)r\in(0,1), u∈Ck+2,α​(Bs⁡(𝒙)​(𝒙))u\in C^{k+2,\alpha}(B_{s(\bm{x})}(\bm{x})),

    rk+2+α⋅‖u‖Cδ,ν,μk+2,α​(Br⋅s⁡(𝒙)​(𝒙))\displaystyle r^{k+2+\alpha}\cdot\|u\|_{C_{\delta,\nu,\mu}^{k+2,\alpha}(B_{r\cdot s(\bm{x})}(\bm{x}))}
    (4.288) ≤\displaystyle\leq Ck,α​(‖Δ​u‖Cδ,ν+2,μk,α​(B2​r⋅s⁡(𝒙)​(𝒙))+‖u‖Cδ,ν,μ0​(B2​r⋅s⁡(𝒙)​(𝒙))),\displaystyle C_{k,\alpha}\Big(\|\Delta u\|_{C_{\delta,\nu+2,\mu}^{k,\alpha}(B_{2r\cdot s(\bm{x})}(\bm{x}))}+\|u\|_{C_{\delta,\nu,\mu}^{0}(B_{2r\cdot s(\bm{x})}(\bm{x}))}\Big),

    where s⁡(𝒙)≡𝔰⁡(𝒙)4s(\bm{x})\equiv\frac{\mathfrak{s}(\bm{x})}{4} and 𝔰⁡(𝒙)\mathfrak{s}(\bm{x}) is the regularity scale at 𝒙\bm{x} given by Proposition 4.18.

  2. (2)

    (Higher order estimate away from 𝒫\mathcal{P}) There exists some large constant C𝒫>0C_{\mathcal{P}}>0 such that if 𝒙∈ℳ̊T\bm{x}\in\mathring{\mathcal{M}}_{T} satisfies

    (4.289) r⁡(𝒙)≥C𝒫⋅T−1,r(\bm{x})\geq C_{\mathcal{P}}\cdot T^{-1},

    then the uniform Schauder estimate (4.288) holds for all k∈ℤ+k\in\mathbb{Z}_{+} and α∈(0,1)\alpha\in(0,1).

  3. (3)

    (Boundary estimate) For any k∈ℤ+k\in\mathbb{Z}_{+} and α∈(0,1)\alpha\in(0,1), there exists some uniform constant Ck,α>0C_{k,\alpha}>0 such that for all 𝒙∈∂ℳT\bm{x}\in\partial\mathcal{M}_{T}, r∈(0,1)r\in(0,1) and u∈Ck+2,α​(T2​(∂ℳT))u\in C^{k+2,\alpha}(T_{2}(\partial\mathcal{M}_{T})),

    rk+2+α⋅‖u‖Cδ,ν,μk+2,α​(Br⋅s⁡(𝒙)+​(𝒙))\displaystyle r^{k+2+\alpha}\cdot\|u\|_{C_{\delta,\nu,\mu}^{k+2,\alpha}(B_{r\cdot s(\bm{x})}^{+}(\bm{x}))}
    (4.290) ≤\displaystyle\leq Ck,α​(‖Δ​u‖Cδ,ν+2,μk,α​(B2​r⋅s⁡(𝒙)+​(𝒙))+‖∂u∂n‖Cδ,ν,μk+1,α​(B2​r⋅s⁡(𝒙)+​(𝒙))+‖u‖Cδ,ν,μ0​(B2​r⋅s⁡(𝒙)+​(𝒙))),\displaystyle C_{k,\alpha}\Big(\|\Delta u\|_{C_{\delta,\nu+2,\mu}^{k,\alpha}(B_{2r\cdot s(\bm{x})}^{+}(\bm{x}))}+\Big\|\frac{\partial u}{\partial n}\Big\|_{C_{\delta,\nu,\mu}^{k+1,\alpha}(B_{2r\cdot s(\bm{x})}^{+}(\bm{x}))}+\|u\|_{C_{\delta,\nu,\mu}^{0}(B_{2r\cdot s(\bm{x})}^{+}(\bm{x}))}\Big),

    where Bs+​(𝒙)≡Bs​(𝒙)∩ℳTB_{s}^{+}(\bm{x})\equiv B_{s}(\bm{x})\cap\mathcal{M}_{T}.

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