[论文解读] A probabilistic representation for the vorticity of a 3D viscous fluid and for general systems of parabolic equations

Barbara Busnello, Franco Flandoli+1 more|ArXiv.org|Jun 4, 2003

Navier-Stokes equation solutions参考文献 15被引用 13

一句话总结

本文通过带有布朗运动扰动的随机拉格朗日公式，为满足纳维-斯托克斯方程的三维粘性不可压缩流体的涡量建立了概率表示。利用费曼-卡茨型公式和随机分析，证明了涡量方程在局部时间内的存在性与唯一性结果，将先前在二维情况下的结果推广至更复杂的三维情形，其中涡量拉伸引入了非线性性及潜在奇点。

ABSTRACT

A probabilistic representation formula for general systems of linear parabolic equations, coupled only through the zero-order term, is given. On this basis, an implicit probabilistic representation for the vorticity in a 3D viscous fluid (described by the Navier-Stokes equations) is carefully analysed, and a theorem of local existence and uniqueness is proved.

研究动机与目标

• 为受纳维-斯托克斯方程控制的三维粘性不可压缩流体中的涡量建立概率表示。
• 将二维情况下（其中涡量仅被输运和扩散）所采用的概率方法扩展至三维情形，其中涡量拉伸引入了非线性性及可能的爆破。
• 利用随机分析和表示公式，证明涡量方程在局部时间内的存在性与唯一性结果。
• 建立比奥-萨伐尔定律与随机过程之间的联系，从而实现从涡量出发的概率化速度重构。
• 通过使用甘茨-伊万诺夫变换和比姆斯特-埃利沃思公式，在允许通过矩估计控制非线性项的框架下，克服三维中的分析挑战。

提出的方法

• 通过随机SDE $ dX(t) = u(t,X(t))dt + \nabla u(t,X(t))dt + \sqrt{2\nu}dW_t $ 引入随机拉格朗日公式，该公式对带有扩散的流体质点动力学进行建模。
• 涡量通过涉及由形变张量 $ \mathcal{D}_u $ 驱动的矩阵SDE解 $ V(r,s) $ 的随机过程期望的费曼-卡茨型公式进行表示。
• 通过克里洛夫提出的方法，将一组耦合抛物方程系统约化为解耦系统，利用变量变换消除了零阶项。
• 比奥-萨伐尔定律被概率化表示为 $ u(t,x) = \frac{1}{2}\int_0^\infty \frac{1}{s}\mathbf{E}[\xi(t,x+W_s) \times W_s]ds $，从而实现从涡量出发的概率化速度重构。
• 关键估计通过伯克霍尔德-戴维斯-冈迪不等式和格朗沃尔引理导出，用于控制随机过程差异的矩，特别是 $ \mathbf{E}|\Delta_{uvxy}Z^{\cdot,t,\cdot}_s|^q $。
• 证明依赖于霍尔德范数和 $ L^p $ 范数的先验估计，其中常数依赖于粘性系数 $ \nu $、时间 $ T $ 以及速度及其导数的有界性。

实验结果

研究问题

• RQ1 能否为考虑涡量拉伸的三维粘性不可压缩流中的涡量构造出概率表示公式？
• RQ2 在随机框架中，如何处理非线性拉伸项 $ (\xi \cdot \nabla)u $ 以确保适定性？
• RQ3 二维中使用概率方法在多大程度上可推广至三维？在三维中涡量不再仅被输运。
• RQ4 比奥-萨伐尔定律能否被概率化表示并估计，从而实现纳维-斯托克斯方程解的构造？
• RQ5 为控制非线性性并确保三维情况下的局部存在性与唯一性，需要哪些矩估计？

主要发现

• 建立了涡量的概率表示公式：$ \xi(t,x) = \mathbf{E}[V(t,0)\xi_0(X(0))] + \int_0^t \mathbf{E}[V(t,s)g(s,X(s))]ds $，其中 $ V $ 是由形变张量 $ \mathcal{D}_u $ 驱动的矩阵SDE的解。
• 本文在初始数据和外力足够光滑且有界的假设下，证明了涡量方程在局部时间内的存在性与唯一性结果。
• 通过随机微积分和格朗沃尔引理，导出了关键估计 $ \mathbf{E}|\Delta_{uvxy}Z^{\cdot,t,\cdot}_s|^q \leq Ct^{3q/2}M^{2q}e^{CM^{q}t^{q/2}}|x-y|^{\alpha q}\|u-v\|_{C^{1,\alpha}_b}^q $。
• 差分算子 $ \Delta_{uv}\mathcal{N}\!\mathcal{S} $ 的 $ C^\alpha_b $ 范数被有界为 $ C\varepsilon_0(\sqrt{T}+T+MT^{3/2}+MT^2)e^{3TM+CTM^2}|x-y|^\alpha\|u-v\|_{C^{1,\alpha}_b} $，确保了霍尔德连续性。
• 该方法通过随机过程的矩估计控制了非线性拉伸项，从而在三维中尽管存在潜在爆破的情况下，仍能证明局部适定性。
• 结果局限于局部时间，因为涡量拉伸可能导致有限时间爆破，这与当前三维纳维-斯托克斯理论中的分析局限性一致。