An Itô Formula for rough partial differential equations and some applications

Abstract

We investigate existence, uniqueness and regularity for solutions of rough parabolic equations of the form ∂tu−Atu−f = (X˙t(x)·∇+Y˙ t(x))u on [0, T ]×Rd . To do so, we introduce a concept of “differential rough driver”, which comes with a counterpart of the usual controlled paths spaces in rough paths theory, built on the Sobolev spaces Wk,p. We also define a natural notion of geometricity in this context, and show how it relates to a product formula for controlled paths. In the case of transport noise (i.e. when Y = 0), we use this framework to prove an Ito Formula (in the sense of a chain rule) for Nemytskii operations of the ˆ form u → F (u), where F is C2 and vanishes at the origin. Our method is based on energy estimates, and a generalization of the Moser Iteration argument to prove boundedness of a dense class of solutions of parabolic problems as above. In particular, we avoid the use of flow transformations and work directly at the level of the original equation. We also show the corresponding chain rule for F (u) = |u| p with p ≥ 2, but also when Y = 0 and p ≥ 4. As an application of these results, we prove existence and uniqueness of a suitable class of Lp-solutions of parabolic equations with multiplicative noise. Another related development is the homogeneous Dirichlet boundary problem on a smooth domain, for which a weak maximum principle is shown under appropriate assumptions on the coefficients.