Rough path

Abstract: Rough path analysis provides a fresh perspective on Ito's important theory of stochastic differential equations. Key theorems of modern stochastic analysis (existence and limit theorems for stochastic flows, Freidlin-Wentzell theory, the Stroock-Varadhan support description) can be obtained with dramatic simplifications. Classical approximation results and their limitations (Wong-Zakai, McShane's counterexample) receive 'obvious' rough path explanations. Evidence is building that rough paths will play an important role in the future analysis of stochastic partial differential equations and the authors include some first results in this direction. They also emphasize interactions with other parts of mathematics, including Caratheodory geometry, Dirichlet forms and Malliavin calculus. Based on successful courses at the graduate level, this up-to-date introduction presents the theory of rough paths and its applications to stochastic analysis. Examples, explanations and exercises make the book accessible to graduate students and researchers from a variety of fields.

Abstract: We introduce a new notion of “regularity structure” that provides an algebraic framework allowing to describe functions and/or distributions via a kind of “jet” or local Taylor expansion around each point. The main novel idea is to replace the classical polynomial model which is suitable for describing smooth functions by arbitrary models that are purpose-built for the problem at hand. In particular, this allows to describe the local behaviour not only of functions but also of large classes of distributions. We then build a calculus allowing to perform the various operations (multiplication, composition with smooth functions, integration against singular kernels) necessary to formulate fixed point equations for a very large class of semilinear PDEs driven by some very singular (typically random) input. This allows, for the first time, to give a mathematically rigorous meaning to many interesting stochastic PDEs arising in physics. The theory comes with convergence results that allow to interpret the solutions obtained in this way as limits of classical solutions to regularised problems, possibly modified by the addition of diverging counterterms. These counterterms arise naturally through the action of a “renormalisation group” which is defined canonically in terms of the regularity structure associated to the given class of PDEs. Our theory also allows to easily recover many existing results on singular stochastic PDEs (KPZ equation, stochastic quantisation equations, Burgers-type equations) and to understand them as particular instances of a unified framework. One surprising insight is that in all of these instances local solutions are actually “smooth” in the sense that they can be approximated locally to arbitrarily high degree as linear combinations of a fixed family of random functions/distributions that play the role of “polynomials” in the theory. As an example of a novel application, we solve the long-standing problem of building a natural Markov process that is symmetric with respect to the (finite volume) measure describing the $$\Phi ^4_3$$ Euclidean quantum field theory. It is natural to conjecture that the Markov process built in this way describes the Glauber dynamic of $$3$$ -dimensional ferromagnets near their critical temperature.

Abstract: We introduce a new concept of solution to the KPZ equation which is shown to extend the classical Cole-Hopf solution. This notion provides a factorisation of the Cole-Hopf solution map into a \universal" measurable map from the probability space into an explicitly described auxiliary metric space, composed with a new solution map that has very good continuity properties. The advantage of such a formulation is that it essentially provides a pathwise notion of a solution, together with a very detailed approximation theory. In particular, our construction completely bypasses the Cole-Hopf transform, thus laying the groundwork for proving that the KPZ equation describes the uctuations of systems in the KPZ universality class. As a corollary of our construction, we obtain very detailed new regularity results about the solution, as well as its derivative with respect to the initial condition. Other byproducts of the proof include an explicit approximation to the stationary solution of the KPZ equation, a well-posedness result for the Fokker-Planck equation associated to a particle diusing in a rough space-time dependent potential, and a new periodic homogenisation result for the heat equation with a space-time periodic potential. One ingredient in our construction is an example of a non-Gaussian rough path such that the area process of its natural approximations needs to be renormalised by a diverging term for the approximations to converge.