The infinite occupation time of one-dimensional Brownian motion implies
For a start , first wait until hits zero, which happens in finite time by recurrence of one-dimensional Brownian motion, and apply the Strong Markov property. The repeated exit-and-return argument in Question 4(c) then proves the infinite occupation integral. Since , the Feynman-Kac formula gives . The random variables increase to infinity almost surely; the monotone convergence theorem therefore yields the intended positive-potential growth from Brownian recurrence:
Under global boundedness, no such solution exists when the initial function is bounded below by a positive constant. The PDF prints ; if the subscript means bounded over the whole product, its hypotheses with are incompatible, rather than an example of growth within that class. The precise correction is to require and its indicated derivatives to be bounded on for every finite . The derivation above then gives the requested limit. Already satisfies the printed initial-data assumption but cannot have a globally bounded classical solution, by this formula. Also the PDF's in this clause reverses the argument order from used in the equation; the limit above keeps the equation's time-first convention.