[论文解读] Minimal $P$-symmetric periodic solutions of nonlinear Hamiltonian systems

Shanshan Tang|arXiv (Cornell University)|Jun 14, 2016

Nonlinear Partial Differential Equations参考文献 22被引用 4

一句话总结

该论文在哈密顿函数满足超二次、渐近线性及次二次增长条件时，建立了首阶自治哈密顿系统中最小 $P$-对称周期解的存在性。通过临界点理论、Galerkin逼近及Maslov $P$-指标迭代不等式，证明了非平凡 $P$-解在最小 $P$-对称周期 $k\tau$ 或 $\frac{k\tau}{k+1}$ 下的存在性，扩展了文献中已有结果。

ABSTRACT

In this paper some existence results for the minimal P-symmetric periodic solutions are proved for first order autonomous Hamiltonian systems when the Hamiltonian function is superquadratic, asymptotically linear and subquadratic. These are done by using critical points theory, Galerkin approximation procedure, Maslov $P$-index theory and its iteration inequalities.

研究动机与目标

• 在哈密顿函数满足不同增长条件时，建立首阶自治哈密顿系统中最小 $P$-对称周期解的存在性。
• 通过引入Maslov $P$-指标理论及其迭代不等式，扩展先前关于 $P$-解的研究，以确保 $P$-对称周期的最小性。
• 分析哈密顿函数为超二次、渐近线性（可能退化）及次二次的情形，提供统一的存在性准则。
• 利用变分法与紧致性论证，证明非平凡 $P$-解在最小 $P$-对称周期 $k\tau$ 或 $\frac{k\tau}{k+1}$ 下的存在性。

提出的方法

• 在 $P$-对称 $C^1$-函数空间上应用临界点理论，求解 $P$-边值问题的解。
• 采用Galerkin逼近方法，在 $P$-对称函数的有限维子空间中构造近似解序列。
• 利用Maslov $P$-指标及其迭代不等式估计Morse指标，并确定 $P$-对称周期的最小性。
• 对Hessian矩阵 $H''(x)$ 施加条件，如正定性与强制性，以保证Palais-Smale条件及极小化序列的紧致性。
• 应用变分分析中的链接定理（如同调链接）以确立作用泛函临界点的存在性。
• 应用 $P$-对称周期的定义：$T = \min\{\lambda > 0 \mid x(t + \lambda/k) = P x(t) \text{ 对所有 } t\}$ 来刻画最小解。

实验结果

研究问题

• RQ1 在何种条件下，首阶自治哈密顿系统会存在具有最小 $P$-对称周期 $k\tau$ 或 $\frac{k\tau}{k+1}$ 的 $P$-对称周期解？
• RQ2 如何利用Maslov $P$-指标及其迭代不等式来确保 $P$-对称周期的最小性？
• RQ3 哈密顿函数 $H$ 的哪些增长条件（超二次、渐近线性、次二次）能保证此类最小解的存在？
• RQ4 当渐近矩阵 $h_\infty$ 退化，或 $H^\prime(x)=0$ 仅在原点成立时，能否证明非平凡 $P$-解的存在性？

主要发现

• 在超二次 $H$ 情形下，若满足条件 (H0)–(H3)、(HX1)–(HX3) 及 $(P)_k$ 条件，则系统存在最小 $P$-对称周期为 $k\tau$ 或 $\frac{k\tau}{k+1}$ 的 $P$-解。
• 在渐近线性 $H$ 情形下，若满足 (H0)–(H5)、(HX1)–(HX4)，并附加对 $\nu_P(h_\infty)$ 及 $G_\infty(x) = H(x) - \frac{1}{2}(h_\infty x,x)$ 行为的约束，则此类解的存在性得证。
• 当 $H$ 为次二次且满足 (H8)–(H10) 时，通过同调链接与Palais-Smale条件，可保证存在具有最小 $P$-对称周期的非平凡 $P$-解。
• 解 $x_0$ 为非平凡解，原因在于 $\{x : H^\prime(x) = 0\} = \{0\}$，且其Morse指标满足 $i_P(x_0) \leq \dim \ker_{\mathbb{R}}(P - I)$。
• 最小 $P$-对称周期被证明为 $k\tau$ 或 $\frac{k\tau}{k+1}$，后者源于Maslov $P$-指标的迭代结构。
• 结果推广了Liu等人先前的工作，特别是将最小 $P$-解的存在性从非退化情形扩展至更一般情况。