[论文解读] Morse theory methods for quasi-linear elliptic systems of higher order

Guangcun Lu|arXiv (Cornell University)|Feb 22, 2017

Advanced Mathematical Modeling in Engineering参考文献 46被引用 3

一句话总结

本文为希尔伯特空间上非二阶连续可微泛函发展了一套新的局部莫尔斯理论，引入了广义的格罗莫尔-迈耶分裂定理和一种更弱的马里诺-普罗迪型扰动结果。这些工具使得临界点定理与分支定理得以推广，并应用于在假设 $\mathfrak{F}_{p,N}$ 下通过变分方法研究高阶拟线性椭圆组，将先前仅适用于 $C^2$ 泛函的结果推广至非 $C^2$ 情形。

ABSTRACT

We develop the local Morse theory for a class of non-twice continuously differentiable functionals on Hilbert spaces, including a new generalization of the Gromoll-Meyer's splitting theorem and a weaker Marino-Prodi perturbation type result. With them some critical point theorems and famous bifurcation theorems are generalized. Then we show that these are applicable to studies of quasi-linear elliptic equations and systems of higher order given by multi-dimensional variational problems as in (1.3).

研究动机与目标

• 将局部莫尔斯理论推广至希尔伯特空间上一类非二阶连续可微泛函，克服经典格罗莫尔-迈耶理论的局限性。
• 为这类泛函建立一个新的分裂定理与一种更弱的马里诺-普罗迪型扰动结果。
• 在无限维设定下推广势算子的临界点与分支定理。
• 将所发展的理论应用于由变分问题导出的高阶拟线性椭圆组。
• 在 $p \geq 2$ 和 $m$ 阶系统条件下，验证新框架在假设 $\mathfrak{F}_{p,N}$ 下的适用性。

提出的方法

• 基于临界点结构与非退化临界点附近的局部分裂，为并非必为 $C^2$ 的 $C^1$-泛函提出广义的格罗莫尔-迈耶分裂定理。
• 为势算子族发展参数化分裂与平移定理，实现在非光滑设定下的分支分析。
• 利用一族势算子的新隐函数定理，处理在缺乏完整 $C^2$ 正则性时的扰动问题。
• 建立一种适用于非 $C^2$ 泛函的更弱版本的马里诺-普罗迪扰动结果，确保在分支分析中具有鲁棒性。
• 将理论应用于定义在索伯列夫空间 $W_0^{m,p}(\Omega)$ 上的泛函，验证在假设 $\mathfrak{F}_{p,N}$ 下的 $(PS)$ 与 $(C)$-条件。
• 利用广义临界点理论推导高阶拟线性椭圆组的莫尔斯不等式与分支结果。

实验结果

研究问题

• RQ1 莫尔斯理论能否被推广至希尔伯特空间上非 $C^2$ 泛函，特别是在高阶椭圆组的背景下？
• RQ2 对于并非二阶连续可微的 $C^1$-泛函，格罗莫尔-迈耶分裂定理的适当推广是什么？
• RQ3 当泛函缺乏 $C^2$ 光滑性时，如何推广分支定理？
• RQ4 在何种条件下，与高阶拟线性椭圆组相关的泛函满足 $(PS)$ 或 $(C)$-条件？
• RQ5 新理论能否在 $p \geq 2$ 条件下，对形式为 (1.3) 的变分问题在假设 $\mathfrak{F}_{p,N}$ 下适用？

主要发现

• 为并非必为 $C^2$ 的 $C^1$-泛函建立了一种新的广义格罗莫尔-迈耶分裂定理，使得在非光滑设定下实现局部莫尔斯理论成为可能。
• 推导出一种更弱版本的马里诺-普罗迪扰动结果，允许在正则性要求降低的条件下进行分支分析。
• 在假设 $\mathfrak{F}_{p,N}$ 下，验证了泛函 $\mathcal{F}$ 的 $(PS)$ 与 $(C)$-条件，确保临界点序列的紧致性。
• 证明了泛函 $\mathcal{F}$ 的莫尔斯不等式，将临界群与底空间的拓扑不变量联系起来。
• 推广了高阶拟线性椭圆组的分支定理，将楚-劳特巴赫与拉宾诺维茨的结果扩展至非 $C^2$ 设定。
• 该理论成功应用于形式为 (1.3) 的多维变分问题，展示了其在研究高阶椭圆组方面的实用性。