Abstract:The existence of elliptic periodic solutions of a perturbed Kepler problem is proved. The equations are in the plane and the perturbation depends periodically on time. The proof is based on a local description of the symplectic group in two degrees of freedom.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence and stability of periodic solutions in the plane for the perturbed Kepler problem. Specifically, the author studied the existence and stability of elliptic periodic solutions of the Kepler problem perturbed by periodic time - dependent perturbations in the plane. The Kepler problem is a classical problem in celestial mechanics, which describes the motion of two point masses under the action of gravity. When a small - parameter perturbation is introduced, the dynamic behavior of the system will change, especially the existence and stability of periodic solutions will be affected. The paper proves the existence of these periodic solutions by locally describing the symplectic group of two - dimensional degrees of freedom and further analyzes the stability of these solutions.
### Main research problems
1. **Existence of periodic solutions**: Prove that in the plane, the perturbed Kepler problem has elliptic periodic solutions.
2. **Stability of periodic solutions**: Analyze the stability of these periodic solutions, especially the stability in the sense of Lyapunov.
### Research methods
- **Symplectic geometry method**: Use tools in symplectic geometry, such as Poincaré coordinates and symplectic matrices, to deal with the dynamic properties of the system.
- **Averaging method**: Use the averaging method to deal with the periodic time - dependent perturbation terms, thereby simplifying the analysis of the system.
- **Variational framework**: Use the variational framework to find the critical points of periodic solutions and analyze the non - degeneracy conditions of these critical points.
### Key results
- **Existence of periodic solutions**: By analyzing the critical points of the function \(\Gamma_N\), it is proved that for a small perturbation parameter \(\epsilon\), the system has \(2\pi\)-periodic solutions.
- **Stability of periodic solutions**: By analyzing the Floquet multipliers, sufficient conditions for the periodic solutions to be stable in the sense of Lyapunov are given. Specifically, if \(\partial^2_{\lambda\lambda} \gamma_N(\lambda^*, \eta^*, \xi^*) > 0\) and \(\det(D^2 \gamma_N(\lambda^*, \eta^*, \xi^*)) > 0\), then the periodic solution is elliptic, that is, all Floquet multipliers \(\mu_i\) satisfy \(|\mu_i| = 1\) and \(\mu_i\neq\pm1\). Conversely, if \(\partial^2_{\lambda\lambda} \gamma_N(\lambda^*, \eta^*, \xi^*) < 0\) or \(\det(D^2 \gamma_N(\lambda^*, \eta^*, \xi^*)) < 0\), then the periodic solution is unstable in the sense of Lyapunov.
### Formula display
- **Equation of the Kepler problem**:
\[
\ddot{x}=-\frac{x}{|x|^3}+\epsilon\nabla_x U(t, x),\quad x\in\mathbb{R}^2\setminus\{0\}
\]
where \(\epsilon\) is a small parameter and \(U\) is a smooth function with a period of \(2\pi\).
- **Poincaré coordinates**:
\[
\lambda = l + g,\quad\Lambda = L,\quad\eta=\sqrt{2H}\sin h,\quad\xi=\sqrt{2H}\cos h
\]
where \(h = -g\) and \(H = L - G\).
- **Stability conditions of periodic solutions**:
\[
\partial^2_{\lambda\lambda} \gamma_N(\lambda^*, \eta^*, \xi^*) > 0\quad\text{and}\quad\det(D^2 \gamma_N(\lambda^*, \eta^*, \xi^*)) > 0
\]
### Conclusion
This paper, through rigorous mathematical analysis, proves the...