ScalingStacks

Proof. [03HA]

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.

First observe that 𝒲⁑(ℱ⁑(z),𝒰⁑(z))=ℱ′​(z)​𝒰​(z)βˆ’β„±β‘(z)​𝒰′​(z)\mathcal{W}(\mathcal{F}(z),\mathcal{U}(z))=\mathcal{F}^{\prime}(z)\mathcal{U}(z)-\mathcal{F}(z)\mathcal{U}^{\prime}(z) is a constant. In fact,

dd​z​𝒲​(ℱ⁑(z),𝒰⁑(z))\displaystyle\frac{d}{dz}\mathcal{W}(\mathcal{F}(z),\mathcal{U}(z)) =(ℱ′′​(z)​𝒰​(z)+ℱ′​(z)​𝒰′​(z))βˆ’(ℱ⁑(z)​𝒰′′​(z)+ℱ′​(z)​𝒰′​(z))\displaystyle=\Big(\mathcal{F}^{\prime\prime}(z)\mathcal{U}(z)+\mathcal{F}^{\prime}(z)\mathcal{U}^{\prime}(z)\Big)-\Big(\mathcal{F}(z)\mathcal{U}^{\prime\prime}(z)+\mathcal{F}^{\prime}(z)\mathcal{U}^{\prime}(z)\Big)
(4.49) =j⁑(j​z2+2​h+1)​(ℱ⁑(z)​𝒰​(z)βˆ’β„±β‘(z)​𝒰​(z))=0.\displaystyle=j(jz^{2}+2h+1)(\mathcal{F}(z)\mathcal{U}(z)-\mathcal{F}(z)\mathcal{U}(z))=0.

Hence 𝒲⁑(ℱ⁑(z),𝒰⁑(z))\mathcal{W}(\mathcal{F}(z),\mathcal{U}(z)) has to be a constant. Now we evaluate it at z=0z=0, we get

𝒲⁑(β„±,𝒰)=2​ℱ′​(0)​𝒰​(0).\mathcal{W}(\mathcal{F},\mathcal{U})=2\mathcal{F}^{\prime}(0)\mathcal{U}(0).

Now

ℱ′​(0)=2​jβ€‹βˆ«0∞eβˆ’t2​th+1​𝑑t=j​Γ​(h2+1),\mathcal{F}^{\prime}(0)=2\sqrt{j}\int_{0}^{\infty}e^{-t^{2}}t^{h+1}dt=\sqrt{j}\Gamma(\frac{h}{2}+1),

and similarly

𝒰⁑(0)=12​Γ​(h2+12).\mathcal{U}(0)=\frac{1}{2}\Gamma(\frac{h}{2}+\frac{1}{2}).

Applying Legendre duplication formula

(4.50) Γ⁑(t)​Γ​(t+12)Γ⁑(2​t)=Ο€22​tβˆ’1,t>0,\frac{\Gamma(t)\Gamma(t+\frac{1}{2})}{\Gamma(2t)}=\frac{\sqrt{\pi}}{2^{2t-1}},\ t>0,

we have

𝒲⁑(β„±,𝒰)=2βˆ’h​j​π​Γ​(h+1)>0.\mathcal{W}(\mathcal{F},\mathcal{U})=2^{-h}\sqrt{j\pi}\Gamma(h+1)>0.

∎

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