Exponential test-function characterization of Brownian motion

ID: exponential-test-function-characterization-of-brownian-motion

Let be continuous with . If
is a martingale for every real , then conditional expectations solve
Thus is independent of and distributed as , so is Brownian motion.

New to topics? Read the docs here!