For the positive-domain power diffusion with , assuming the lifetime is the limit of the hitting times of , it is finite almost surely exactly when . For , the Itô formula gives
The negative drift bounds this positive process above by , whose first hit of zero is finite by recurrence of one-dimensional Brownian motion. The lifetime must precede that hit. At , is positive and finite on every compact time interval, so the lifetime is infinite. Approaching zero only as is not a finite boundary lifetime.
On an interval where is continuously differentiable, define . The Itô formula transforms into
The transformed Itô diffusion has constant noise coefficient. For a power diffusion , when , and when . This simplifies comparison with Brownian motion and exposes the boundary drift.