For a twice continuously differentiable function, Itô's formula in this stopped diffusion reads
For ,
Setting eliminates the drift. Moreover is bounded on , so the stochastic integral is square-integrable on each finite horizon by the Itô isometry. Hence is a true martingale, not merely a local one. The process itself is bounded on the stopped interval. For , this particular function is the constant one; the logarithmic scale function will supply the nontrivial hitting identity.

Articles by others on the same topic (0)

There are currently no matching articles.