[论文解读] An Itô Formula for rough partial differential equations and some applications

Antoine Hocquet, Torstein Nilssen|arXiv (Cornell University)|Jun 27, 2018

Nonlinear Partial Differential Equations参考文献 52被引用 1

一句话总结

该论文提出了一种基于Sobolev型控制路径空间的新型框架，用于研究由微分粗糙路径驱动的粗糙抛物型PDE。它为满足 $F \in C^2$ 的Nemytskii型算子 $F(u)$ 建立了伊藤公式，通过广义Moser迭代证明了局部有界性，并在几何性与强制性假设下推导出 $L^p$-解的链式法则，从而在不使用流变换的情况下实现了存在性、唯一性及弱最大值原理。

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 abla + \dot Y_t(x))u$ on $[0,T] imes\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ô 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 eq 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.

研究动机与目标

• 通过避免流变换技术，解决多重粗糙噪声下随机PDE中稳定性差与直接分析困难的问题。
• 在Sobolev空间 $W^{k,p}$ 中，为具有微分粗糙驱动的粗糙抛物方程建立功能性分析框架。
• 在粗糙PDE背景下，为满足 $F \in C^2$ 且在零点处为零的Nemytskii映射 $F(u)$ 建立链式法则（伊藤公式）。
• 在乘性噪声下，为粗糙抛物方程的 $L^p$-解建立存在性、唯一性及弱最大值原理。
• 将Moser迭代推广至粗糙PDE，以控制解的 $L^\infty$-范数，确保稠密类解的有界性。

提出的方法

• 引入‘微分粗糙驱动’的概念，即作用于Sobolev空间上的一族算子，将粗糙路径理论推广至PDE。
• 在Sobolev空间 $W^{k,p}$ 中定义控制路径，构建粗糙抛物方程的新类 $\mathcal{H}^{\alpha,p}_B$。
• 通过广义分部积分法与余项估计，建立 $\mathcal{H}^{\alpha,p}_B$ 中控制路径的乘积公式。
• 应用能量估计与广义Moser迭代方案，证明 $L^p$-设定下解的局部有界性。
• 通过能量方法与对偶性推导 $F(u)$ 的伊藤公式，避免使用随机流，仅依赖于原方程的直接估计。
• 在粗糙驱动具有几何性与强制性假设下，证明齐次Dirichlet问题的弱最大值原理。

实验结果

研究问题

• RQ1 在Sobolev空间中，由微分粗糙路径驱动的粗糙抛物PDE的合适解的定义是什么？
• RQ2 在不使用随机流变换的情况下，如何为满足 $F \in C^2$ 的Nemytskii映射 $F(u)$ 推导链式法则（伊藤公式）？
• RQ3 在乘性噪声下，哪些条件可保证粗糙抛物方程的 $L^p$-解的局部有界性？
• RQ4 粗糙驱动的几何性如何与控制路径框架中的乘积公式及括号结构相关联？
• RQ5 当驱动非几何时，括号 $[B]_{st} = B^2_{st} - \frac{1}{2}B^1_{st} \circ B^1_{st}$ 的非零性如何导致标准能量估计的失效？

主要发现

• 论文为满足 $F \in C^2$ 且 $F(0) = 0$ 的 $F(u)$ 建立了新的伊藤公式，适用于具有输运噪声（$Y = 0$）的粗糙抛物方程的解，该公式通过能量估计与Moser迭代推导得出。
• 对于 $F(u) = |u|^p$，在输运噪声情况下，当 $p \geq 2$ 时链式法则成立；当 $Y \neq 0$ 时，当 $p \geq 4$ 时成立，从而扩展了伊藤公式的适用范围。
• 通过广义Moser迭代论证，证明了一类稠密 $L^p$-解的局部有界性，确保了无需光滑逼近的 $L^\infty$-界。
• 在微分粗糙驱动具有 $H^{-1}$-强制性与几何性条件下，为粗糙抛物方程的 $L^p$-解建立了存在性与唯一性。
• 在系数满足适当假设且驱动具有几何性条件下，证明了光滑区域上齐次Dirichlet问题的弱最大值原理。
• 当驱动为几何时，括号 $[B]_{st}$ 定义为 $B^2_{st} - \frac{1}{2}B^1_{st} \circ B^1_{st}$，其取值属于 $D^1$，其非零性反映了算子代数中的非交换性。