[论文解读] On flows associated to Sobolev vector fields in Wiener spaces: an approach à la DiPerna-Lions

Luigi Ambrosio, Alessio Figalli|ArXiv.org|Mar 10, 2008

Mathematical Dynamics and Fractals被引用 5

一句话总结

本文通过引入索伯列夫向量场取值于坎姆登-马汀空间的 $ L^r $-正则流概念，将迪珀纳-林斯的常微分方程流理论推广至无穷维维纳空间。在可积性和散度有界条件下，利用连续性方程方法和变量变换技术，建立了此类流的存在性与唯一性，适用于非坎姆登-马汀向量场。

ABSTRACT

In this paper we extend the DiPerna-Lions theory on ODEs with Sobolev vector fields to the setting of abstract Wiener spaces.

研究动机与目标

• 弥合无穷维流理论中索伯列夫向量场的理论空白，此前仅假设指数可积性。
• 将有限维的迪珀纳-林斯框架推广至维纳空间，其中由于零测集修改导致标准逐点唯一性失效。
• 为取值于坎姆登-马汀空间的索伯列夫空间向量场建立 $ L^r $-正则流的存在性与唯一性。
• 通过受先前工作启发的变量变换技术，处理非 $ \mathcal{H} $-取值的向量场。
• 利用连续性方程提供一个概率框架，将流的存在性与传输方程适定性联系起来。

提出的方法

• 通过积分方程和在维纳测度 $ \gamma $ 下前向像的绝对连续性，定义 $ L^r $-正则流，确保其在零测集修改下不变。
• 以连续性方程 $ \frac{d}{dt}\mu_t + \text{div}(\mathbf{b}_t \mu_t) = 0 $ 为核心工具，其中 $ \mu_t = \rho_t \gamma $，且 $ \rho_t \in L^r(\gamma) $。
• 使用时间依赖的变换 $ x \mapsto e^{-t\varepsilon}x + \sqrt{1-e^{-2t\varepsilon}}y $ 进行测度变换，将非 $ \mathcal{H} $-取值情形约化为 $ \mathcal{H} $-取值情形。
• 运用富比尼定理与高斯测度中的变量变换，估计向量场及其导数分量的 $ L^p $-范数。
• 通过涉及 $ \alpha_\varepsilon $、$ \beta_\varepsilon $、$ A_\varepsilon $、$ B_\varepsilon $ 的积分表示推导先验估计，以控制流的变分。
• 采用连续性方程的弱形式：$ \frac{d}{dt}\int u_t d\gamma = \int \langle \mathbf{b}_t, \nabla \phi \rangle_\mathcal{H} u_t d\gamma $，其中测试函数 $ \phi \in C^1_b(E) $。

实验结果

研究问题

• RQ1 迪珀纳-林斯的常微分方程流理论能否推广至无穷维维纳空间中的索伯列夫向量场？
• RQ2 在无穷维情形下，如何定义一种对零测集修改不变的流概念？
• RQ3 取值于坎姆登-马汀空间的索伯列夫向量场在何种条件下能保证 $ L^r $-正则流的存在性与唯一性？
• RQ4 能否通过变量变换技术在此框架内处理非坎姆登-马汀向量场？
• RQ5 连续性方程方法在多大程度上可作为传输方程的稳健替代方案，用于建立流的适定性？

主要发现

• 本文在分布散度有界条件下，为满足 $ p > 1 $ 的向量场 $ \mathbf{b} \in W^{1,p}_{\text{loc}}(E; \mathcal{H}) $，建立了 $ L^r $-正则流的存在性与唯一性。
• 通过变量变换与富比尼定理，导出了关键估计 $ \beta_\varepsilon \int \int |\alpha_\varepsilon B_\varepsilon| \, d\gamma d\gamma \leq \beta_\varepsilon \Lambda(p) \|\mathbf{c}\|_{L^p(\gamma; \mathbb{R}^N)} \|v\|_{L^{p'}(\gamma)} $。
• 估计式 $ \beta_\varepsilon \int \int |\alpha_\varepsilon A_\varepsilon| \, d\gamma d\gamma \leq 2^{1-1/q} \|v\|_{L^{q'}(\gamma)} \left( \sqrt{2} \| \| (\nabla \mathbf{c})^{\text{sym}} \|_{HS} \|_{L^q(\gamma)} + \| \text{div}_\gamma \mathbf{c} \|_{L^q(\gamma)} \right) $ 控制了对称导数与散度项。
• 证明依赖于恒等式 $ \int_0^1 \frac{e^{-2t\varepsilon}}{\sqrt{1-e^{-2t\varepsilon}}} dt = \frac{\sqrt{1-e^{-2\varepsilon}}}{\varepsilon} = \beta_\varepsilon^{-1} $，该式在变换的平均化中起关键作用。
• 该框架可通过时间依赖的高斯测度变换，将不取值于 $ \mathcal{H} $ 的向量场转化为 $ \mathcal{H} $-取值场，从而实现处理。
• 结果将有限维的迪珀纳-林斯理论推广至无穷维，为维纳空间中的随机与动力系统偏微分方程提供了稳健基础。