[论文解读] Stochastic transport equation in bounded domains

Wladimir Neves, Christian Olivera|arXiv (Cornell University)|Jun 14, 2014

Stochastic processes and financial applications参考文献 21被引用 5

一句话总结

该论文通过强随机迹和伊藤-司托克斯变换，建立了有界域中非光滑系数的随机线性输运方程弱解的全局存在性与唯一性。关键贡献在于无需假设漂移的散度从下方有界，即证明了唯一性，从而将适定性结果推广至更低正则性设置。

ABSTRACT

This paper is concerned with the initial-boundary value problem \; for stochastic transport equations in bounded domains. For a given stochastic perturbation of the drift vector field, we prove existence and uniqueness of weak solutions with non-regular coefficients. The existence of weak solutions relies strongly on the existence of strong stochastic trace, and also on the passage from the Stratonovich into Itô's formulation for bounded domains.Moreover, the uniqueness of weak solutions is obtained under suitable conditions.

研究动机与目标

• 建立有界域中非光滑系数随机线性输运方程（SLTE）初边值问题的适定性。
• 发展强随机迹理论，以在解缺乏足够正则性时处理边界条件。
• 在不假设漂移向量场的散度从下方有界的情况下，证明弱解的唯一性。
• 将迪普纳-利翁斯与安布罗西奥的框架推广至具有有变分（BV）正则性和非光滑系数的随机设置。
• 通过基于测度的边界迹理论，解决对可测有界解定义边界迹的挑战。

提出的方法

• 引入强随机迹作为关键工具，以在缺乏空间正则性时定义弱解的边界条件。
• 应用伊藤-司托克斯转换公式，将随机输运方程转化为伊藤形式，从而可使用伊藤微积分工具。
• 利用BV函数理论与迹定理，在边界 $\Gamma$ 上定义漂移与解的限制。
• 采用受富尼基启发的时间反演过程方法，推导先验估计与存在性结果。
• 使用基于光滑化核与法向延拓的全局逼近方法，将 $L^1_{\text{loc}}$ 解逼近于 $C^\infty$ 空间。
• 利用与可容许形变相关的水平集函数 $h$，构造区域与边界的正则化逼近。

实验结果

研究问题

• RQ1 在有界域中，非光滑系数的随机线性输运方程是否存在弱解？
• RQ2 当解缺乏足够正则性时，如何严格定义边界条件？
• RQ3 在不假设漂移的散度从下方有界的情况下，解的唯一性是否可能？
• RQ4 强随机迹在随机设置中确保正确边界行为方面起到何种作用？
• RQ5 从伊藤到司托克斯的转换如何影响初边值问题的适定性？

主要发现

• 严格证明了强随机迹的存在性与唯一性，从而可为弱解定义边界条件。
• 在 $L^q((0,T);BV_{\text{loc}}(\mathbb{R}^d;\mathbb{R}^d))$ 漂移（$q>2$）且散度属于 $L^1_{\text{loc}}$ 的条件下，弱解存在。
• 在不假设漂移散度从下方有界的情况下，建立了弱解的唯一性，相较于确定性结果为重大改进。
• 边界条件通过测度 $d\mu = (b\cdot\mathbf{n})\,dr\,dt$ 正确地定义，且在随机迹条件下，迹 $\gamma u$ 几乎必然在 $\Gamma_T$ 上为零。
• 从司托克斯到伊藤公式的转换对于推导正确的伊藤积分表示以及证明迹条件 $\gamma u = 0$ a.s. 至关重要。
• 时间反演过程方法与全局光滑化确保了逼近在 $L^1_{\text{loc}}$ 中收敛，从而验证了弱解框架。