[论文解读] Periodic Solutions for $N$-Body-Type Problems

Fengying Li, Shiqing Zhang|arXiv (Cornell University)|Aug 13, 2014

Spacecraft Dynamics and Control参考文献 13被引用 3

一句话总结

本文在原点处具有强力势能、无穷远处增长亚二次的N体问题中，建立了非碰撞周期解的无界序列的存在性。通过Ljusternik-Schnirelmann理论及对势能的松弛增长条件，作者证明了拉格朗日作用泛函存在无穷多个临界值，扩展了先前结果：在保持变分结构的同时，弱化了势能的非正性假设。

ABSTRACT

We consider non-autonomous $N$-body-type problems with strong force type potentials at the origin and sub-quadratic growth at infinity, and using Ljusternik-Schnirelmann theory, we prove the existence of unbounded sequences of critical values for the Lagrangian action corresponding to non-collision periodic solutions.

研究动机与目标

• 将N体问题中非碰撞周期解的无穷多解存在性结果，推广至先前假设之外的范围。
• 在保持临界值无界序列存在性的前提下，弱化势能必须非正的条件（如早期工作所要求）。
• 在势能满足亚二次增长条件下，证明Ljusternik-Schnirelmann理论的有效性，从而允许原点处更强的奇异性。
• 在新增长假设下，验证拉格朗日作用泛函的局部Palais-Smale条件，使抽象临界点理论得以应用。

提出的方法

• 作者使用Ljusternik-Schnirelmann理论分析与N体系统相关的拉格朗日作用泛函的临界点。
• 引入一个松弛的增长条件（V4'），即势能上界由相对距离的亚二次幂控制，允许在远距离处取正值。
• 证明依赖于通过Wirtinger不等式和相对位置大小的分情况分析，建立极小化序列中动能的统一有界性，从而验证局部Palais-Smale条件。
• 通过证明作用泛函的下水平集具有有限范畴，并且泛函在定义域边界附近趋于无穷，应用范畴论论证。
• 利用对称结构：解路径满足 $ x^k(t + T/2) = -x^k(t) $，这意味着平均值为零，从而可应用Wirtinger不等式控制速度的 $ L^2 $-范数。
• 证明结合了利用增长条件对势能的估计与利用谱不等式对动能的估计，最终得出序列在Sobolev空间 $ H^1 $ 中的统一有界性。

实验结果

研究问题

• RQ1 在N体势能的非正性假设更弱的条件下，能否证明存在无穷多个非碰撞周期解？
• RQ2 对于具有强力奇异性及亚二次增长的N体问题，其拉格朗日作用泛函是否仍存在无界临界值序列？
• RQ3 在允许远距离处势能取正值的松弛增长条件下，能否验证Palais-Smale条件？
• RQ4 当势能不一定是非正但满足亚二次上界时，Ljusternik-Schnirelmann理论是否仍适用于N体问题？
• RQ5 在变分设定中，哪些关于势能和解对称性的结构假设足以保证紧致性？

主要发现

• 本文在新条件（V4'）下证明了拉格朗日作用泛函存在无界临界值序列，该条件弱化了 $ V_{ij} \leq 0 $ 的要求。
• 作者通过证明任意作用有界的序列必存在弱收敛子列，并利用Wirtinger不等式导出动能的统一有界性，从而确立了局部Palais-Schnirelmann条件。
• 定义域的范畴为无穷，这是应用Ljusternik-Schnirelmann理论的关键要求，该结论通过利用对称结构和已知范畴估计得以确认。
• 证明根据相对位置大小分三种情况处理：全部小、全部大、混合；在每种情况下，作用泛函均保持有下界，确保了统一控制。
• 通过分情况分析证明了动能的有界性：当所有相对距离均较大时，亚二次增长确保控制；当部分较小时，势能整体有下界。
• 最终结论为：只要满足增长条件（V4'），即使势能不非正，拉格朗日作用泛函仍具有无穷多个临界点，对应于非碰撞的T-周期解。