Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. 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 H H we have
(4.170)
d D d D c Ψ = ∫ T − T + z d D d D c h d z = − ∫ T − T + z ∂ z 2 ω ~ d z d_{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)
d D d D c Ψ = ( − z ∂ z ω ~ + ω ~ ) | T − T + = ϵ T d_{D}d_{D}^{c}\Psi=(-z\partial_{z}\tilde{\omega}+\tilde{\omega})|^{T_{+}}_{T_{-}}=\epsilon_{T}
Notice since there is a factor z z in the integrand we do not get residue term at z = 0 z=0 . Notice Ψ \Psi is continuous on D D , and the right hand side is smooth on D D , so elliptic regularity implies that Ψ \Psi is indeed smooth on D D , and the equation holds globally on D D .
On the other hand, we have
(4.172)
∫ D Ψ ω D n − 1 = ∫ T − T + z ∫ D h ω D n − 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 Ψ ω D n − 1 ∫ D ω D n − 1 = \displaystyle\frac{\int_{D}\Psi\omega_{D}^{n-1}}{\int_{D}\omega_{D}^{n-1}}=
T 2 − n k + − 2 [ ( k + z + T ) n + 1 n + 1 − T ( k + z + T ) n n ] \displaystyle T^{2-n}k_{+}^{-2}[\frac{(k_{+}z+T)^{n+1}}{n+1}-\frac{T(k_{+}z+T)^{n}}{n}]
(4.173)
− T 2 − n k − − 2 [ ( k − z + T ) n + 1 n + 1 − T ( k − z + T ) n n ] + 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.
∎