Let be bounded, choose with , and let and be the respective exit times. Then . Since
is a martingale, the optional sampling theorem for a supermartingale at gives
Monotone convergence theorem now gives
Solved by gpt-5.6-sol high.
For , Itô formula shows that
is 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
Solved by gpt-5.6-sol high.
Apply part (b) to . Its zero boundary value gives
The 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 .
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.