Let be bounded, choose with , and let and be the respective exit times. Then . Sinceis a martingale, the optional sampling theorem for a supermartingale at givesMonotone convergence theorem now gives
For , Itô formula shows thatis a martingale. Take expectations and let . The function is bounded on the compact set , while is bounded and by part (a). The dominated convergence theorem therefore gives Dynkin formula for Brownian motion
Apply part (b) to . Its zero boundary value givesThe assumptions say that for every and that uniformly. Thus the integrand converges pointwise to zero and is dominated by , whose expectation is finite by part (a). The dominated convergence theorem gives for every .
Articles by others on the same topic
There are currently no matching articles.