[论文解读] Nonlinear semigroups for delay equations in Hilbert spaces, inertial manifolds and dimension estimates

Mikhail Anikushin|arXiv (Cornell University)|Apr 27, 2020

Stability and Controllability of Differential Equations参考文献 28被引用 5

一句话总结

本文通过一种新颖的求解算子与非线性半群构造方法，在希尔伯特空间中建立了非自治非线性时滞方程的适定性，采用一种基础方法避免了复杂单调算子理论的依赖。关键贡献在于为时滞系统中的惯性流形与维数估计提供了一个严格的分析框架，且在标量时滞方程上展示了有效结果。

ABSTRACT

We study the well-posedness of nonautonomous nonlinear delay equations in $\mathbb{R}^{n}$ as evolutionary equations in a proper Hilbert space. We present a construction of solving operators (nonautonomous case) or nonlinear semigroups (autonomous case) for a large class of such equations. The main idea can be easily extended for certain PDEs with delay. Our approach has lesser limitations and much more elementary than some previously known constructions of such semigroups and solving operators based on the theory of accretive operators. In the autonomous case we also study differentiability properties of these semigroups in order to apply various dimension estimates using the Hilbert space geometry. However, obtaining effective dimension estimates for delay equations is a nontrivial problem and we explain it by means of a scalar delay equation. We also discuss our adjacent results concerned with inertial manifolds and their construction for delay equations.

研究动机与目标

• 通过一种构造性、基础性方法，建立希尔伯特空间中非自治非线性时滞微分方程的适定性。
• 为时滞方程构建非线性半群与求解算子的框架，避免依赖于高级单调算子理论。
• 分析半群的可微性以通过希尔伯特空间几何实现维数估计。
• 研究时滞方程中惯性流形的存在性与结构。
• 为标量时滞方程提供有效的维数估计，解决该领域中的一个非平凡挑战。

提出的方法

• 通过历史段与有界线性算子，将时滞方程表示为希尔伯特空间 $\mathbb{H} = \mathbb{R}^n \times L_2(-\tau,0;\mathbb{R}^n)$ 中的抽象演化方程。
• 在 $\mathbb{H}$ 上定义 $C_0$-半群的生成元 $A$，通过标准半群理论确保线性部分的适定性。
• 引入将状态历史映射到有限维输出的算子 $C$，并利用 (MES) 条件控制非线性项。
• 在非线性项 $F$ 满足利普希茨连续性的条件下，通过不动点论证建立完整非线性系统的适定性。
• 在 $L_1$ 与 $L_2$ 形式下使用 (MES) 条件证明半群的可微性，从而实现维数估计。
• 应用几何与动力系统技术构造惯性流形，并分析其正则性与维数。

实验结果

研究问题

• RQ1 如何将 $\mathbb{R}^n$ 中的非线性时滞方程重新表述为希尔伯特空间中的抽象演化方程，以确保适定性？
• RQ2 何种条件可确保非自治时滞方程的非线性半群的存在性与可微性？
• RQ3 能否通过希尔伯特空间几何与半群理论为时滞方程导出有效的维数估计？
• RQ4 在何种条件下时滞方程存在惯性流形，以及如何构造它们？
• RQ5 所提出的方法在简洁性与适用性方面与基于单调算子的现有构造相比如何？

主要发现

• 对于任意初始数据属于 $\mathbb{H}$，抽象时滞方程 $\dot{v}(t) = Av(t) + BF(t,Cv(t))$ 在 $\mathbb{H}$ 中存在适定的广义解，且解具有唯一性与时间连续性。
• 解族 $U(t,s)$ 在子空间 $\mathbb{E} = C([-\tau,0];\mathbb{R}^n)$ 上与经典求解算子 $\widetilde{U}(t,s)$ 一致，确保了自洽性。
• (MES) 条件对所有有界线性 $\widetilde{C}$ 成立，通过 $L_1$-范数估计实现对非线性项的有效控制。
• 在 (MES) 与 (ULIP) 条件下，半群具有可微性，从而可应用希尔伯特空间几何推导维数估计。
• 对于标量时滞方程，导出了有效的维数估计，表明该问题虽具非平凡性但可在所提框架下有效处理。
• 惯性流形存在，并通过全局吸引子映射 $\Phi_q$ 的利普希茨连续性构造，其在基空间 $\mathcal{Q}$ 上一致有界。