ScalingStacks

Proof. [045S]

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 differentiate the series definition (4.9) of γ\gamma to get

∂γ∂ηp=316​π2​∑(n1,n2)∈ℤ2ap​q¯​(η¯q+nq)|(η1+n1,η2+n2,μ)|a5.\frac{\partial\gamma}{\partial\eta_{p}}=\frac{3}{16\pi^{2}}\sum_{(n_{1},n_{2})\in\mathbb{Z}^{2}}\frac{a_{p\bar{q}}(\bar{\eta}_{q}+n_{q})}{|(\eta_{1}+n_{1},\eta_{2}+n_{2},\mu)|_{a}^{5}}.

Using the elementary formula for indefinite integrals

∫1(s2+t2)5/2​𝑑s=13​s(s2+t2)3/2​t2+23​1t4​(ss2+t2∓1),\int\frac{1}{(s^{2}+t^{2})^{5/2}}ds=\frac{1}{3}\frac{s}{(s^{2}+t^{2})^{3/2}t^{2}}+\frac{2}{3}\frac{1}{t^{4}}(\frac{s}{\sqrt{s^{2}+t^{2}}}\mp 1),

we see

∫1|(η1,η2,μ)|a5dμ=A−1/2γ±,\int\frac{1}{|(\eta_{1},\eta_{2},\mu)|_{a}^{5}}d\mu=A^{-1/2}\gamma_{\pm},

or equivalently

∂∂ηp​(−18​π2​1|(η1,η2,μ)|a3)=∂∂μ​(3​ap​q¯​η¯q16​π2​A1/2​γ±).\frac{\partial}{\partial\eta_{p}}\left(-\frac{1}{8\pi^{2}}\frac{1}{|(\eta_{1},\eta_{2},\mu)|_{a}^{3}}\right)=\frac{\partial}{\partial\mu}\left(\frac{3a_{p\bar{q}}\bar{\eta}_{q}}{16\pi^{2}A^{1/2}}\gamma_{\pm}\right).

Thus after summation

∂γ∂ηp=∂∂ηp​∑(n1,n2)∈ℤ2(−18​π2​1|(η1+n1,η2+n2,μ)|a3)=12​∂γp​3∂μ=−12​∂γp​4∂μ.\frac{\partial\gamma}{\partial\eta_{p}}=\frac{\partial}{\partial\eta_{p}}\sum_{(n_{1},n_{2})\in\mathbb{Z}^{2}}\left(-\frac{1}{8\pi^{2}}\frac{1}{|(\eta_{1}+n_{1},\eta_{2}+n_{2},\mu)|_{a}^{3}}\right)=\frac{1}{2}\frac{\partial\gamma_{p3}}{\partial\mu}=-\frac{1}{2}\frac{\partial\gamma_{p4}}{\partial\mu}.

The ‘morever’ statement follows from summing over the elementary differential relations

(ap​r¯​η¯r)​∂γ±∂ηq​(η1,η2,μ)=(aq​r¯​η¯r)​∂γ±∂ηp​(η1,η2,μ),p,q=1,2.(a_{p\bar{r}}\bar{\eta}_{r})\frac{\partial\gamma_{\pm}}{\partial\eta_{q}}(\eta_{1},\eta_{2},\mu)=(a_{q\bar{r}}\bar{\eta}_{r})\frac{\partial\gamma_{\pm}}{\partial\eta_{p}}(\eta_{1},\eta_{2},\mu),\quad p,q=1,2.

∎

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