ScalingStacks

Proof. [052I]

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 have ϕ⁡(T−)=ϕ⁡(T+)−Ψ,\phi(T_{-})=\phi(T_{+})-\Psi, where

(4.169) Ψ=∫T−T+z​h​𝑑z.\Psi=\int_{T_{-}}^{T_{+}}zhdz.

Away from HH we have

(4.170) dDdDcΨ=∫T−T+zdDdDchdz=−∫T−T+z∂z2ω~dzd_{D}d_{D}^{c}\Psi=\int_{T_{-}}^{T_{+}}zd_{D}d_{D}^{c}hdz=-\int_{T_{-}}^{T_{+}}z\partial_{z}^{2}\tilde{\omega}dz

Integration by parts we get

(4.171) dDdDcΨ=(−z∂zω~+ω~)|T−T+=ϵTd_{D}d_{D}^{c}\Psi=(-z\partial_{z}\tilde{\omega}+\tilde{\omega})|^{T_{+}}_{T_{-}}=\epsilon_{T}

Notice since there is a factor zz in the integrand we do not get residue term at z=0z=0. Notice Ψ\Psi is continuous on DD, and the right hand side is smooth on DD, so elliptic regularity implies that Ψ\Psi is indeed smooth on DD, and the equation holds globally on DD.

On the other hand, we have

(4.172) ∫DΨ​ωDn−1=∫T−T+z​∫Dh​ωDn−1​𝑑z\int_{D}\Psi\omega_{D}^{n-1}=\int_{T_{-}}^{T_{+}}z\int_{D}h\omega_{D}^{n-1}dz

Using (4.14)

∫DΨ​ωDn−1∫DωDn−1=\displaystyle\frac{\int_{D}\Psi\omega_{D}^{n-1}}{\int_{D}\omega_{D}^{n-1}}= T2−n​k+−2​[(k+​z+T)n+1n+1−T​(k+​z+T)nn]\displaystyle T^{2-n}k_{+}^{-2}[\frac{(k_{+}z+T)^{n+1}}{n+1}-\frac{T(k_{+}z+T)^{n}}{n}]
(4.173) −T2−n​k−−2​[(k−​z+T)n+1n+1−T​(k−​z+T)nn]+T−1​B¯T,\displaystyle-T^{2-n}k_{-}^{-2}[\frac{(k_{-}z+T)^{n+1}}{n+1}-\frac{T(k_{-}z+T)^{n}}{n}]+T^{-1}\underline{B}_{T},

where we used the definition of T−T_{-} and T+T_{+}. (4.171) and (4.173) together yield the conclusion. ∎

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