[论文解读] Approximation of the inertial manifold for a nonlocal dynamical system

Xingjie Yan, Jinchun He+1 more|arXiv (Cornell University)|Mar 2, 2014

Stability and Controllability of Differential Equations参考文献 19被引用 3

一句话总结

该论文证明了具有分数阶拉普拉斯算子 $(-\Delta)^{\alpha/2}$ 的非局部偏微分方程存在一个惯性流形，并在引入小的法向扩散 $\varepsilon\Delta$ 时，提供了该惯性流形的渐近逼近。论文证明了当 $\varepsilon \to 0^+$ 时，带有与不带法向扩散的惯性流形之间的 Hausdorff 半距离收敛于零，收敛速度为 $o(\varepsilon)$，前提是满足依赖于 $\alpha$ 和扩散参数的谱隙条件。

ABSTRACT

We consider inertial manifolds and their approximation for a class of partial differential equations with a nonlocal Laplacian operator $-(-Δ)^{\fracα{2}}$, with $0

研究动机与目标

• 证明对于由分数阶拉普拉斯算子 $(-\Delta)^{\alpha/2}$ 控制的非局部动力系统（其中 $0 < \alpha < 2$）存在惯性流形。
• 研究异常扩散参数 $\alpha$ 对惯性流形存在性所要求的谱隙条件的影响。
• 分析当在系统中加入小的法向扩散 $\varepsilon\Delta$（$\varepsilon \in (0,1)$）时，惯性流形的逼近行为。
• 推导当 $\varepsilon \to 0^+$ 时，带有与不带法向扩散的惯性流形之间 Hausdorff 半距离的估计。

提出的方法

• 采用 Lyapunov-Perron 方法，在适当的函数空间中将惯性流形构造为非线性映射的不动点图像。
• 在谱隙条件成立的前提下证明了惯性流形的存在性，该条件将线性算子的特征值间隙与非线性的利普希茨常数联系起来。
• 通过投影 $P_N$ 和 $I - P_N$ 将解空间分解为低频与高频分量，以处理惯性流形上的动力学。
• 在加权函数空间 $\mathcal{F}_\sigma$ 中应用压缩映射原理，证明由系统导出的积分方程存在唯一解。
• 通过 $\varepsilon$ 的幂级数展开推导出惯性流形的渐近逼近，其中系数 $\Phi^k(p)$ 表示第 $k$ 阶校正项。
• 利用校正项 $\Phi^k(p)$ 的一致有界性，对流形 $\mathcal{M}_\varepsilon$ 与 $\mathcal{M}_0$ 之间的 Hausdorff 半距离进行估计。

实验结果

研究问题

• RQ1 在何种条件下，具有分数阶拉普拉斯算子 $(-\Delta)^{\alpha/2}$ 的非局部 PDE 存在惯性流形？
• RQ2 异常扩散项中的参数 $\alpha$ 如何影响惯性流形存在性所需的谱隙条件？
• RQ3 当在系统中加入小的法向扩散 $\varepsilon\Delta$ 且 $\varepsilon \to 0^+$ 时，惯性流形的行为如何？
• RQ4 如何用不带法向扩散的流形来近似带有小法向扩散的系统的惯性流形？
• RQ5 以 Hausdorff 半距离衡量，带有小法向扩散的惯性流形向无扩散流形的收敛速率是多少？

主要发现

• 当谱隙条件满足时，同时包含异常扩散与法向扩散的非局部系统存在惯性流形，该条件取决于 $\alpha$、特征值与非线性项利普希茨常数之间的相互作用。
• 当 $\alpha < 1$ 时，在无法向扩散（即 $\varepsilon = 0$）的情况下，谱隙条件不成立，因此在标准假设下不存在惯性流形。
• 带有小法向扩散 $\varepsilon\Delta$ 的系统惯性流形 $\mathcal{M}_\varepsilon$ 可表示为一个摄动级数：$\mathcal{M}_\varepsilon = \{p + \Phi^0(p) + \varepsilon\Phi^1(p) + \cdots \mid p \in P_N H\}$。
• 当 $\varepsilon \to 0^+$ 时，$\mathcal{M}_\varepsilon$ 与 $\mathcal{M}_0$ 之间的 Hausdorff 半距离满足 $\text{dist}_H(\mathcal{M}_\varepsilon, \mathcal{M}_0) \leq o(\varepsilon)$，表明流形之间收敛。
• 对于 $k \geq 1$ 的校正项 $\Phi^k(p)$ 在 $H$ 中一致有界，确保了摄动级数的收敛性以及渐近逼近的有效性。
• 通过在加权空间 $\mathcal{F}_\sigma$ 中应用压缩映射原理，并利用算子 $A_\varepsilon$ 生成的半群的指数二分性估计，建立了收敛速率 $o(\varepsilon)$。