# Brownian Motion and Complex Analysis

I was recently taught in a lecture on complex analysis based off of this paper that much of complex analysis can be rephrased in the language of Brownian Motion. The paper gives some simple proofs of standard results in complex analysis using this language, but I would be interested in seeing a proof of Cauchy's Integral formula or his residue theorem. In particular, I am curious about how one could compute an integral using the ideas of Brownian Motion.

I think that you are looking for the Kakutani Representation Theorem for harmonic functions: Let $$B$$ be a Brownian motion in $$\mathbb{R}^n$$ and let $$U$$ be a bounded open domain in $$\mathbb{R}^n$$. Let $$x$$ in $$U$$ and consider the Brownian motion $$X(\cdot) = x + B(\cdot)$$ starting at $$x$$. Let $$\tau_x = \inf\{t\geq0\mid X(t) \notin U\}$$ be the first hitting time of $$\partial U$$, which is finite a.s. Then for every continuous function $$g:\partial U \to \mathbb{R}^n$$ we have that
$$u(x) = E\big{[}g(X(\tau_x))\big{]}$$ where $$u$$ is the unique solution to the Laplace equation in $$U$$ with boundary condition equal to $$g$$.
From this representation, note that the Mean Value Theorem for harmonic functions follows from the isotropy of the Brownian motion and the uniqueness of the solution to the Dirichlet problem. In the case $$n=2$$, you can use essentially the same argument to prove the Cauchy Integral Formula. Or, alternatively, you can deduce it from the Mean Value Theorem as in the answer here. (Once established for circles you can use the homotopy invariance of the integrals of holomorphic functions to extend the formula for arbitrary simple curves.)