[论文解读] Differential Equations in Metric Spaces with Applications

Rinaldo M. Colombo, Graziano Guerra|ArXiv.org|Dec 4, 2007

Stability and Controllability of Differential Equations被引用 4

一句话总结

本文在较弱假设下建立了完备度量空间中微分方程的局部适定性，采用构造性欧拉多边形逼近框架。证明了解的存在性、唯一性及连续依赖性，将应用扩展至具有非局部源项的平衡律、Hille-Yosida 定理、算子分裂法以及满足最优交换性条件的热方程。

ABSTRACT

This paper proves the local well posedness of differential equations in metric spaces under assumptions that allow to comprise several different applications. We consider below a system of balance laws with a dissipative non local source, the Hille-Yosida Theorem, a generalization of a recent result on nonlinear operator splitting, an extension of Trotter formula for linear semigroups and the heat equation.

研究动机与目标

• 在弱于以往研究的假设下，建立度量空间中微分方程的局部适定性。
• 在度量空间中推广现有关于非线性算子分裂和 Lie-Trotter 乘积公式的结论。
• 将度量空间中微分方程的应用扩展至具有耗散性非局部源项的平衡律。
• 通过欧拉多边形逼近提供一种构造性框架，改进正则性与收敛性估计。
• 通过反例证明该框架中交换性条件的最优性。

提出的方法

• 在完备度量空间 $ (X,d) $ 上使用局部流定义，要求时间与状态变量的利普希茨连续性。
• 将欧拉 $ \varepsilon $-多边形逼近定义为在小时间区间上局部流映射的复合。
• 建立欧拉逼近关于精确解的利普希茨连续性与一致收敛性。
• 通过迭代逼近的构造性证明，利用一致有界性与连续模。
• 在 dyadic 划分上使用极限过程定义全局过程 $ P(t,t_0)u $，确保切触性与半群性质。
• 使用一个关键技术引理，将欧拉逼近与精确解之间的误差控制在连续模积分之内。

实验结果

研究问题

• RQ1 在何种弱化条件下，可证明度量空间中微分方程的局部适定性？
• RQ2 欧拉多边形逼近如何在不依赖线性性的情况下用于构造度量空间中的解？
• RQ3 算子分裂在度量空间中收敛性的最优交换性条件是什么？
• RQ4 该框架能否扩展至具有非局部耗散源项的平衡律？
• RQ5 所提方法如何在非线性情形下推广 Hille-Yosida 定理与 Lie-Trotter 乘积公式？

主要发现

• 当存在局部流时，度量空间中微分方程的柯西问题具有局部适定性，解通过欧拉多边形逼近构造。
• 欧拉 $ \varepsilon $-多边形逼近与精确解之间的差值被有界为 $ \frac{2L^2}{\ln 2} \cdot t \int_0^\Delta \frac{\omega(\xi)}{\xi} d\xi $，其中 $ \omega $ 为连续模。
• 所构造的过程 $ P(t,t_0)u $ 关于 $ u $ 一致利普希茨连续，关于 $ (t,t_0) $ 连续，并满足半群性质 $ P(t_2,t_1)P(t_1,t_0)u = P(t_2,t_0)u $。
• 交换性条件 (2.7) 是最优的，如第 2.1 节中的反例所示，其失效将导致非收敛。
• 该框架可推广至热方程、Hille-Yosida 定理以及具有对角占优非局部源项的平衡律，包括对 [12] 的推广。
• 对于满足 (C) 的希尔伯特空间中凸闭子集，投影映射满足二次误差界：$ \| \Pi(\Pi(u+\tau v)+\tau' v) - \Pi(u+(\tau+\tau')v) \| \leq K \|v\| \tau \tau' $。