ScalingStacks

Proof. [023B]

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 note that if gg solves the equation, then so does g+c​yg+cy for any constant cc. Thus, we may reduce to the initial condition g⁡(0)=−1,g′​(0)=0g(0)=-1,g^{\prime}(0)=0 below. The initial condition specifies a sign choice of the square root, whence

dd​y​(gy)=1y2​(1−yn)12,\frac{d}{dy}\left(\frac{g}{y}\right)=\frac{1}{y^{2}(1-y^{n})^{\frac{1}{2}}},

and the Lemma is reduced to Prop. 5.3. ∎

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