Functional Itô calculus?

We extend some results of the Itô calculus to functionals of the current path of a process to reflect the fact that often the impact of randomness is cumulative and depends on the history of the process, not merely on its current value. We express the differential of the functional in terms of adequately defined partial derivatives to obtain an Itô formula. We develop an extension of the Feynman-Kac formula to the functional case and an explicit expression of the integrand in the Martingale Representation Theorem. We establish that under certain conditions, even path dependent options prices satisfy a partial differential equation in a local sense. We exploit this fact to find an expression of the price difference between two models and compute variational derivatives with respect to the volatility surface.