Abstract:The two-boost problem in space mission design asks whether two points of phase space can be connected with the help of two boosts of given energy. We provide a positive answer for a class of systems related to the restricted three-body problem by defining and computing its Lagrangian Rabinowitz Floer homology. The main technical work goes into dealing with the noncompactness of the corresponding energy hypersurfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the **two - boost problem**, specifically, given a certain amount of energy, whether two points in the phase space can be connected by two boosts. This problem is of great significance in aerospace mission design, for example, how to transfer a spacecraft from one orbit to another through two boosts.
### Problem Background
The two - boost problem can be traced back to the work of W. Hohmann, who studied the accessibility of celestial bodies. The Hohmann transfer is one of the key methods in aerospace mission design. It transfers a spacecraft from one circular orbit to another through two tangential boosts. For the Kepler problem, given any two points in the phase space, they can always be connected by two boosts. However, for more complex systems, whether this conclusion still holds is a problem worthy of exploration.
### Main Contributions of the Paper
By defining and calculating the **Lagrangian Rabinowitz Floer homology** (LRFH), the author provides a positive answer for a class of systems related to the restricted three - body problem. The main technical difficulty lies in dealing with the non - compactness of the corresponding energy hypersurface.
### Specific Problem Description
Mathematically, the two - boost problem can be formalized as follows: Given the cotangent bundle \(T^*Q\) of a manifold \(Q\), a Hamilton function \(H: T^*Q\rightarrow\mathbb{R}\) and two points \(q_0, q_1\in Q\), does there exist a Hamilton orbit with energy \(c\) such that this orbit connects the cotangent fibers \(T^*_{q_0}Q\) and \(T^*_{q_1}Q\)?
### Solution
The author introduces the Lagrangian Rabinowitz Floer homology to solve this problem. For some specific classes of Hamilton functions (such as magnetic Hamilton functions), when the energy \(c\) is greater than a certain critical value, the LRFH is non - trivial, thus ensuring the solvability of the two - boost problem.
### Key Formulas
- **Lagrangian Rabinowitz Action Functional**:
\[
A_H^{q_0, q_1}(v, \eta):=\int_0^1\lambda(\partial_t v)dt-\eta\int_0^1(H(v(t)) - c)dt
\]
where \(\lambda = p dq\) is the standard symplectic 1 - form.
- **Critical Point Conditions**:
\[
\partial_t v=\eta X_H(v),\quad v(t)\in H^{-1}(c)\quad\forall t\in[0, 1]
\]
### Conclusion
By introducing the Lagrangian Rabinowitz Floer homology, this paper successfully solves the two - boost problem and proves that in some cases, even if the configuration space of the system is non - compact, the two - boost problem is still solvable. This provides a theoretical basis for the orbit transfer problem in aerospace mission design.