ScalingStacks

Proof. [0466]

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.

Starting from the definition of the function vv in terms of γi\gamma_{i} (cf. (4.11)), we can differentiate with respect to ηp\eta_{p} to get

∂v∂ηp=−2πA1/2∫S∂γ∂ηp(η1−η1′,η2−η2′,μ)d𝒜(η1′,η2′).\frac{\partial v}{\partial\eta_{p}}=-2\pi A^{1/2}\int_{S}\frac{\partial\gamma}{\partial\eta_{p}}(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)d\mathcal{A}(\eta_{1}^{\prime},\eta_{2}^{\prime}).

Using the differential relations in Lemma 4.20,

2​∂v∂ηp=−2πA1/2∫S∂γp​3∂μ(η1−η1′,η2−η2′,μ)d𝒜(η1′,η2′)=−2πA1/2∂∂μ∫Sγp​3(η1−η1′,η2−η2′,μ)d𝒜(η1′,η2′)=∂βp​3∂μ,\begin{split}2\frac{\partial v}{\partial\eta_{p}}&=-2\pi A^{1/2}\int_{S}\frac{\partial\gamma_{p3}}{\partial\mu}(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)d\mathcal{A}(\eta_{1}^{\prime},\eta_{2}^{\prime})\\ &=-2\pi A^{1/2}\frac{\partial}{\partial\mu}\int_{S}\gamma_{p3}(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)d\mathcal{A}(\eta_{1}^{\prime},\eta_{2}^{\prime})\\ &=\frac{\partial\beta_{p3}}{\partial\mu},\end{split}

and similarly 2​∂v∂ηp=−∂βp​4∂μ.2\frac{\partial v}{\partial\eta_{p}}=-\frac{\partial\beta_{p4}}{\partial\mu}.

Next we study ∂βp​3∂η¯q\frac{\partial\beta_{p3}}{\partial\bar{\eta}_{q}} in the complement of {fS=0,μ≤0}\{f_{S}=0,\mu\leq 0\}. We have

∂2βp​3∂η¯q​∂μ=2​∂2v∂ηp​∂η¯q=−12​∂2wp​q¯∂μ​∂μ,\frac{\partial^{2}\beta_{p3}}{\partial\bar{\eta}_{q}\partial\mu}=2\frac{\partial^{2}v}{\partial\eta_{p}\partial\bar{\eta}_{q}}=-\frac{1}{2}\frac{\partial^{2}w^{p\bar{q}}}{\partial\mu\partial\mu},

where the second equality uses the distributional equation (4.6). But by Lemma 4.24, for fixed η1,η2\eta_{1},\eta_{2},

limμ→+∞∂βp​3∂η¯q​(η1,η2,μ)=0,\lim_{\mu\to+\infty}\frac{\partial\beta_{p3}}{\partial\bar{\eta}_{q}}(\eta_{1},\eta_{2},\mu)=0,

and the asymptotes we obtained in Section 4.2, 4.3 easily imply

limμ→+∞∂wp​q¯∂μ​(η1,η2,μ)=0.\lim_{\mu\to+\infty}\frac{\partial w^{p\bar{q}}}{\partial\mu}(\eta_{1},\eta_{2},\mu)=0.

Thus we can integrate from μ=+∞\mu=+\infty to obtain

∂βp​3∂η¯q=−12​∂wp​q¯∂μ.\frac{\partial\beta_{p3}}{\partial\bar{\eta}_{q}}=-\frac{1}{2}\frac{\partial w^{p\bar{q}}}{\partial\mu}.

A completely parallel argument shows

∂βp​4∂η¯q=12​∂wp​q¯∂μ.\frac{\partial\beta_{p4}}{\partial\bar{\eta}_{q}}=\frac{1}{2}\frac{\partial w^{p\bar{q}}}{\partial\mu}.

Finally by integrating the second part of Lemma 4.20 we see

∂βp​3∂ηq=∂βq​3∂ηp,∂βp​4∂ηq=∂βq​4∂ηp,p,q=1,2.\frac{\partial\beta_{p3}}{\partial\eta_{q}}=\frac{\partial\beta_{q3}}{\partial\eta_{p}},\quad\frac{\partial\beta_{p4}}{\partial\eta_{q}}=\frac{\partial\beta_{q4}}{\partial\eta_{p}},\quad p,q=1,2.

∎

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