Brownian proof of the fundamental theorem of algebra

ID: brownian-proof-of-the-fundamental-theorem-of-algebra

If a nonconstant complex polynomial had no zeros, its reciprocal would be an entire holomorphic function, bounded and tending to zero at infinity. Its real and imaginary parts are harmonic functions. Thus , for planar Brownian motion started at zero, is a bounded complex martingale with expectation . For fixed , the Gaussian density bounds by . Outside a sufficiently large disk, . Hence . Let and then to obtain , a contradiction. This proves the fundamental theorem of algebra without the maximum modulus principle.

New to topics? Read the docs here!