Let be the first time Brownian motion started outside the unit half-disc reaches its semicircular boundary. A path that reaches must first cross that semicircle. The Strong Markov property at gives
Take , multiply by , and let . The Brownian representation of half-plane capacity identifies the left side with , while part b gives
Since the exit height is between zero and one, the dominated convergence theorem applies and yields

Articles by others on the same topic (0)

There are currently no matching articles.