[论文解读] On the wellposedness of some McKean models with moderated or singular diffusion coefficient

Mireille Bossy, Jean-François Jabir|arXiv (Cornell University)|Sep 5, 2018

Navier-Stokes equation solutions参考文献 14被引用 3

一句话总结

本文建立了两类具有奇异或缓和扩散系数的非线性 McKean-Vlasov SDE 的适定性：第一类是在 Sobolev 正则性假设下（取代 Hölder 条件）的弱解；第二类是速度方向具有条件 McKean 扩散、位置方向具有非退化扩散的拉格朗日随机模型。关键贡献在于结合强椭圆性条件下扩散系数的 Girsanov 变换，提出了一种新颖的 $L^2(\Omega)$-不动点方法，确保在有界、Lipschitz 系数和条件扩散项一致椭圆性的条件下，弱解与路径唯一性成立。

ABSTRACT

We investigate the well-posedness problem related to two models of nonlinear McKean Stochastic Differential Equations with some local interaction in the diffusion term. First, we revisit the case of the McKean-Vlasov dynamics with moderate interaction, previously studied by Meleard and Jourdain in [16], under slightly weaker assumptions, by showing the existence and uniqueness of a weak solution using a Sobolev regularity framework instead of a Holder one. Second, we study the construction of a Lagrangian Stochastic model endowed with a conditional McKean diffusion term in the velocity dynamics and a nondegenerate diffusion term in the position dynamics.

研究动机与目标

• 以 Sobolev 正则性替代 Hölder 连续性，重新表达具有适度相互作用的 McKean-Vlasov SDE 的适定性。
• 建立具有速度方向条件 McKean 扩散和位置方向非退化扩散的拉格朗日随机模型的弱解与强解的存在性与唯一性。
• 解决非线性平均场 SDE 中扩散系数依赖奇异核所引发的数学挑战。
• 为在拉格朗日粒子框架下通过条件 McKean 扩散对湍流流体流动进行建模，提供严谨的理论框架。
• 通过处理漂移与扩散分量中的条件非线性，拓展先前关于奇异 McKean SDE 的结果。

提出的方法

• 在具有平方可积密度的概率测度空间中，使用 $L^2(\Omega)$-不动点方法构造弱解。
• 对速度过程应用 Girsanov 变换，依赖于扩散系数 $\sigma(x)$ 的强椭圆性以确保测度的绝对连续性。
• 分析采用条件 McKean SDE 的形式，其中漂移与扩散系数依赖于给定位置下速度分布的条件期望。
• 证明利用傅里叶分析与 Parseval 恒等式，控制涉及 $\triangle_x G^\gamma_{t-s}$ 的热核卷积项的正则性，建立 $L^2$ 估计。
• 框架假设 $b$、$\sigma$、$\ell$ 和 $\gamma$ 有界且满足 Lipschitz 连续性，且条件扩散 $\Gamma[x;\rho_s]$ 满足一致椭圆性，从而保证路径唯一性。
• 通过逼近取光滑核 $G^{\gamma,\delta}$ 的极限，并利用 $\mathcal{C}^\infty_c$ 函数在 $L^2$ 中的稠密性，将所得的 $L^2$-有界性推广至所有 $f \in L^2((0,T)\times\mathbb{R}^d)$。

实验结果

研究问题

• RQ1 能否在弱化为 Sobolev 正则性假设（而非 Hölder 连续性）下，重新确立具有适度相互作用的 McKean-Vlasov SDE 的适定性？
• RQ2 在有界、Lipschitz 系数条件下，具有速度方向条件 McKean 扩散与位置方向非退化扩散的拉格朗日随机模型是否存在弱解？
• RQ3 何种条件可确保此类具有奇异扩散结构的条件 McKean SDE 的路径唯一性？
• RQ4 如何将 $L^2(\Omega)$-不动点方法适配以处理非线性 SDE 中扩散系数内的条件期望？
• RQ5 能否通过傅里叶分析与时空域上的 $L^2$-范数估计，控制条件扩散核的正则性？

主要发现

• 本文在 Sobolev 正则性下建立了具有适度相互作用的 McKean-Vlasov SDE 的弱解存在性与唯一性，优于以往基于 Hölder 条件的假设。
• 通过 $L^2(\Omega)$-不动点方法，为具有速度方向条件 McKean 扩散与位置方向非退化扩散的拉格朗日随机模型构造了弱解。
• 在条件扩散系数满足一致椭圆性条件 $\xi \cdot \Gamma \xi \geq \gamma^2 |\xi|^2$ 时，实现了路径唯一性。
• $\int_0^t \triangle_x G^\gamma_{t-s} * f(s,x) \, ds$ 的 $L^2$-范数被有界为 $\frac{2}{\gamma^2} \|f\|_{L^2((0,T)\times\mathbb{R}^d)}$，确保了解构造的稳定性。
• 通过光滑核 $G^{\gamma,\delta}$ 的逼近在 $L^2$ 中收敛于真实核，且由此得到的估计可由稠密性推广至所有 $f \in L^2((0,T)\times\mathbb{R}^d)$。
• 该方法确保了解映射在 $L^2(\Omega)$ 意义下为压缩映射，从而在给定假设下保证了解的唯一性。