A functional extension of the Ito formula

Abstract We develop a non-anticipative pathwise calculus for functionals of a Brownian semimartingale and its quadratic variation. A functional Ito formula is obtained for locally Lipschitz functionals of a Brownian semimartingale and its quadratic variation. As a result we obtain a constructive martingale representation theorem for Brownian martingales verifying a regularity property.