ScalingStacks

Proof. [02XI]

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.

The first integral follows from Lemma 7.18 applied to β=(α0,…,αr−1)\beta=(\alpha_{0},\dots,\alpha_{r-1}) and f⁡(z)=z|α|+r(|α|+r)!f(z)=\frac{z^{|\alpha|+r}}{(|\alpha|+r)!}. The second one follows similarly, applying Lemma 7.18 to the function f⁡(z)=z|α|+r(|α|+r)!​(log⁡(z)−∑j=αi+1|α|+r1j)f(z)=\frac{z^{|\alpha|+r}}{(|\alpha|+r)!}\left(\log(z)-\sum_{j=\alpha_{i}+1}^{|\alpha|+r}\frac{1}{j}\right), after some possible permutation (for i=1,…,r−1i=1,\dots,r-1) or linear change of variables (for i=0i=0). ∎

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