ScalingStacks

Proof. [0238]

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 ODE (12) can be smoothly extended as long as ww remains bounded positively below and (1−t)​w′+w(1-t)w^{\prime}+w remains bounded (which imply boundedness of w′′w^{\prime\prime}, and in particular the boundedness of w,w′w,w^{\prime}). Notice

dd​t​((1−t)​w′+w)=(1−t)​w′′>0,\frac{d}{dt}((1-t)w^{\prime}+w)=(1-t)w^{\prime\prime}>0,

so (1−t)​w′+w(1-t)w^{\prime}+w is monotone increasing, and in particular positive. By

dd​t​((1−t)​w′+w)n−1=1−tw3,\frac{d}{dt}((1-t)w^{\prime}+w)^{n-1}=\frac{1-t}{w^{3}},

we see (1−t)​w′+w(1-t)w^{\prime}+w will be bounded as long as ww is bounded positively below.

The convexity of ww is ensured whenever the solution is smooth. Thus for some small ϵ>0\epsilon>0,

w⁡(t)≥w⁡(ϵ)−w′​(ϵ)​(t−ϵ),t≥ϵ.w(t)\geq w(\epsilon)-w^{\prime}(\epsilon)(t-\epsilon),\quad t\geq\epsilon.

For small ϵ\epsilon, we have w0−w0​ϵ<w⁡(ϵ)<w0w_{0}-w_{0}\epsilon<w(\epsilon)<w_{0} and −w0<w′​(ϵ)<0-w_{0}<w^{\prime}(\epsilon)<0, so w⁡(ϵ)/w′​(ϵ)>1−ϵw(\epsilon)/w^{\prime}(\epsilon)>1-\epsilon, whence w⁡(t)w(t) has an a priori lower bound slightly beyond t=1t=1. ∎

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