Michel Bauer (IPhT)
Rough path theory emerged in the 1990's motivated by practical and conceptual questions.
The general context is that of controlled differential equations, for example dUt=f(Ut)dXt where Xt is a known property of a system, changing with time, and Ut is an unknown whose evolution is to be computed via the equation. The emphasis is on the regularity of Xt as a function of time, and its consequences on that of Ut, making the necessary assumptions on f.
If Xt is smooth, we are on familiar grounds, but what if Xt, though continuous, has little regularity? In that case, it is the rule rather than the exception that Euler's discretization Utn+1=Utn+f(Utn)(Xtn+1−Xtn) does not converge when the mesh goes to 0. Approaching Xt more and more closely by smooth functions X(n)t, and seeing if the corresponding U(n)ts get close to something, has its own difficulties. What is the right notion of ``close''? Does lim, when it exists, depend on the approximation sequence X_t^{(n)} and how?
Rough path theory gives an answer to these questions in a form suggestive of deep relations to physics (power counting, counterterms, etc) that I will try to explain. The short answer is that depending on the regularity of X_t, making unambiguous sense of the equation dU_t=f(U_t)dX_t requires to supplement X_t with new data which roughly (!) speaking replace some undefined integrals by a formal, yet concrete, mathematical object: a rough path structure.
Plan:
- Motivations. The sewing lemma and Young integrals.
- Rough paths, combinatorics and regularity. A waltz with Brownian motion.
- Controlled rough paths, rough integrals and rough differential equations. Rough integrals versus stochastic integrals, the Itô stochastic area.
- Thermalization of a particle in a magnetic field. Outlook.