ScalingStacks

Proof. [0235]

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.

Notice near y=1y=1, the function

(1−y−2)−1/n=(y−1)−1/n×Taylor series in y−1 with constant term 2−1/n.(1-y^{-2})^{-1/n}=(y-1)^{-1/n}\times\text{Taylor series in $y-1$ with constant term $2^{-1/n}$}.

Upon integration,

F⁡(x)=(x−1)(n−1)/n×Taylor series in x−1 with constant term 2−1/nnn−1.F(x)=(x-1)^{(n-1)/n}\times\text{Taylor series in $x-1$ with constant term $2^{-1/n}\frac{n}{n-1}$}.

Raising (18) to the power n/(n−1)n/(n-1), we see

w0−n+2n−1​(s−1)n/(n−1)=Taylor series in 𝔴w0−1 with first coefficient nn−1.w_{0}^{-\frac{n+2}{n-1}}(s-1)^{n/(n-1)}=\text{Taylor series in $\frac{\mathfrak{w}}{w_{0}}-1$ with first coefficient $\frac{n}{n-1}$}.

Inverting the function, 𝔴w0−1\frac{\mathfrak{w}}{w_{0}}-1 is a power series of (s−1)n/(n−1)(s-1)^{n/(n-1)} near s=1s=1. To leading order,

𝔴w0−1=n−1n​w0−n+2n−1​(s−1)nn−1​(1+O⁡((s−1)n2​n−1)),\frac{\mathfrak{w}}{w_{0}}-1=\frac{n-1}{n}w_{0}^{-\frac{n+2}{n-1}}(s-1)^{\frac{n}{n-1}}\left(1+O((s-1)^{\frac{n}{2n-1}})\right),
d​𝔴d​s≈w0−3n−1​(s−1)1/(n−1)=b1​(s−1)1/(n−1),\frac{d\mathfrak{w}}{ds}\approx w_{0}^{-\frac{3}{n-1}}(s-1)^{1/(n-1)}=b_{1}(s-1)^{1/(n-1)},

which agrees with the initial condition (16). ∎

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