[论文解读] Parameterized splitting theorems and bifurcations for potential operators

Guangcun Lu|arXiv (Cornell University)|Dec 10, 2017

Stability and Controllability of Differential Equations参考文献 54被引用 4

一句话总结

本文为具有较低可微性要求的势算子发展了参数化分裂定理，从而在拟线性椭圆组中建立了新的分歧定理。通过将莫尔斯理论工具推广至 $C^{1,1}$ 或 $C^1$ 泛函，该研究在不需 $C^2$ 光滑性的情况下，为梯度映射和椭圆方程建立了分歧准则，将经典结果（如 Rabinowitz 和 Fadell–Rabinowitz 定理）推广至更弱的正则性设定。

ABSTRACT

We show that parameterized versions of splitting theorems in Morse theory can be effectively used to generalize some famous bifurcation theorems for potential operators. In particular, such generalizations based on the author's recent splitting theorems [38, 39, 42, 43] and that of [8] are given though potential operators in [42, 43] have weaker differentiability, even discontinuous. As applications, we obtain many bifurcation results for quasi-linear elliptic Euler equations and systems of higher order.

研究动机与目标

• 将经典分歧定理（如 Rabinowitz、Fadell–Rabinowitz）推广至可微性低于 $C^2$ 的势算子。
• 利用参数化分裂定理，建立梯度映射分歧的必要与充分条件。
• 将这些结果应用于具有或不具有增长限制的拟线性椭圆系统。
• 通过在更小空间上的有限维约化，将莫尔斯理论工具推广至非 $C^2$ 泛函。
• 利用参数化分裂技术，分析对称设定下的分歧以及由区域变形引起的分歧。

提出的方法

• 利用作者近期在希尔伯特空间上针对 $C^{1,1}$ 和 $C^1$ 泛函所提出的参数化分裂定理版本。
• 应用参数化 Bobylev–Burman 分裂引理以处理非光滑势算子。
• 采用适用于 $C^1$ 或 $C^{1,1}$ 泛函的 Lyapunov–Schmidt 型约化，避免对完整 $C^2$ 假设的依赖。
• 通过原点处 Hessian 算子 $B(0)$ 的谱分解，定义对应于核、正定与负定部分的子空间 $X_0$、$X_+$、$X_-$。
• 施加条件以确保 $0$ 是 $B(0)|_X$ 的谱中孤立点，且 $B(0)$ 在 $X/X_0$ 上诱导出一个双曲算子。
• 应用分裂定理将泛函在局部分解为一个二次型与余项的直和，从而实现临界群的计算。

实验结果

研究问题

• RQ1 能否通过参数化分裂定理将势算子的分歧定理推广至 $C^2$ 泛函之外？
• RQ2 当泛函仅为 $C^{1,1}$ 或 $C^1$ 时，梯度映射分歧的必要与充分条件是什么？
• RQ3 如何将莫尔斯理论适配于分歧问题中非 $C^2$ 泛函的临界群计算？
• RQ4 在较弱可微性与增长条件下，拟线性椭圆系统会涌现出何种分歧结果？
• RQ5 参数化分裂定理能否用于研究对称问题中的分歧以及由区域变形引起的分歧？

主要发现

• 本文通过将分裂定理推广至参数化设定，为 $C^{1,1}$ 和 $C^1$ 势算子建立了新的分歧准则。
• 证明了若 $B(0)$ 可逆且 $0$ 是 $ ext{spec}(B(0)|_X)$ 的孤立点，则在较弱光滑性条件下分裂定理依然成立。
• 对于拟线性椭圆系统，无论非线性项是否具有增长限制，均获得了分歧结果。
• 该方法可通过 Fadell–Rabinowitz 型定理分析对称设定下的分歧，适用于非平凡临界轨道。
• 通过分析泛函对区域参数的依赖性，该方法实现了对区域变形引起的分歧分析。
• 当 $ ext{dim }H^+ < ty$ 或 $ ext{dim }H^- < ty$ 时，子空间 $X_+$ 和 $X_-$ 分别与 $H^+$ 和 $H^-$ 重合，从而确保与谱分解的一致性。