ScalingStacks

Proof. [0405]

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.

By Lemma 2.7 the sum β1+β2+β0\beta_{1}+\beta_{2}+\beta_{0} is independent of μ1,μ2\mu_{1},\mu_{2}. Given η≠0\eta\neq 0, we shall evaluate this sum at the limit point (μ1→−∞,μ2→−∞,μ1−μ2→+∞)(\mu_{1}\to-\infty,\mu_{2}\to-\infty,\mu_{1}-\mu_{2}\to+\infty). Then β0\beta_{0} has no contribution, while β1\beta_{1} contributes

2​limμ1−μ2→+∞∫μ1=+∞,fix μ1−μ2μ1=−∞∂α1∂η​d​μ1,2\lim_{\mu_{1}-\mu_{2}\to+\infty}\int_{\mu_{1}=+\infty,\text{fix $\mu_{1}-\mu_{2}$}}^{\mu_{1}=-\infty}\frac{\partial\alpha_{1}}{\partial{\eta}}d\mu_{1},

and β2\beta_{2} contributes

2​limμ1→−∞∫μ2=+∞,fix μ1μ2=−∞∂α2∂η​d​μ22\lim_{\mu_{1}\to-\infty}\int_{\mu_{2}=+\infty,\text{fix $\mu_{1}$}}^{\mu_{2}=-\infty}\frac{\partial\alpha_{2}}{\partial{\eta}}d\mu_{2}

plus

−2limμ1→−∞∫μ1−μ2=−∞,fix μ1μ1−μ2=+∞∂α3∂ηd(μ1−μ2).-2\lim_{\mu_{1}\to-\infty}\int_{\mu_{1}-\mu_{2}=-\infty,\text{fix $\mu_{1}$}}^{\mu_{1}-\mu_{2}=+\infty}\frac{\partial\alpha_{3}}{\partial{\eta}}d(\mu_{1}-\mu_{2}).

Observe

limμ1→−∞,fix μ1−μ2α3​(μ1,μ2,η)=12​(μ1−μ2)2+(a11+2​a12+a22)​|η|2,\lim_{\mu_{1}\to-\infty,\text{fix $\mu_{1}-\mu_{2}$}}\alpha_{3}(\mu_{1},\mu_{2},\eta)=\frac{1}{2\sqrt{(\mu_{1}-\mu_{2})^{2}+(a_{11}+2a_{12}+a_{22})|\eta|^{2}}},
limμ1→−∞,fix μ1−μ2∂α3∂η=−(a11+2​a12+a22)​η¯4​((μ1−μ2)2+(a11+2​a12+a22)​|η|2)3/2\lim_{\mu_{1}\to-\infty,\text{fix $\mu_{1}-\mu_{2}$}}\frac{\partial\alpha_{3}}{\partial\eta}=\frac{-(a_{11}+2a_{12}+a_{22})\bar{\eta}}{4((\mu_{1}-\mu_{2})^{2}+(a_{11}+2a_{12}+a_{22})|\eta|^{2})^{3/2}}

Using Lebesgue dominated convergence theorem, the third integral contribution is equal to

(a11+2​a12+a22)​η¯2​∫−∞+∞1(x2+(a11+2​a12+a22)​|η|2)3/2​𝑑x=1η.\frac{(a_{11}+2a_{12}+a_{22})\bar{\eta}}{2}\int_{-\infty}^{+\infty}\frac{1}{(x^{2}+(a_{11}+2a_{12}+a_{22})|\eta|^{2})^{3/2}}dx=\frac{1}{\eta}.

The other two contributions are zero by similar arguments. ∎

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