Current browse context:
math.PR
Change to browse by:
References & Citations
Mathematics > Probability
Title: An Itô Formula for rough partial differential equations and some applications
(Submitted on 27 Jun 2018 (v1), last revised 8 Jul 2020 (this version, v5))
Abstract: We investigate existence, uniqueness and regularity for solutions of rough parabolic equations of the form $\partial _tu-A_tu-f=(\dot X_t(x) \cdot \nabla + \dot Y_t(x))u$ on $[0,T]\times\mathbb{R}^d.$ 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 $W^{k,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 It\^o Formula (in the sense of a chain rule) for Nemytskii operations of the form $u\mapsto F(u),$ where $F$ is $C^2$ 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\geq 2,$ but also when $Y\neq 0$ and $p\geq 4.$ As an application of these results, we prove existence and uniqueness of a suitable class of $L^p$-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.
Submission history
From: Antoine Hocquet [view email][v1] Wed, 27 Jun 2018 12:07:02 GMT (59kb)
[v2] Fri, 2 Nov 2018 13:28:22 GMT (58kb)
[v3] Tue, 19 Feb 2019 19:46:51 GMT (58kb)
[v4] Mon, 30 Sep 2019 19:32:11 GMT (57kb)
[v5] Wed, 8 Jul 2020 13:50:20 GMT (61kb)
Link back to: arXiv, form interface, contact.