---
title: Two-Boost Problem in Space Mission Design
url: https://www.emergentmind.com/topics/two-boost-problem-in-space-mission-design
type: topic
---

# Two-Boost Problem in Space Mission Design

The two-boost problem in space mission design asks, for a specified autonomous Hamiltonian system, whether it is possible to connect two phase space points or two positions, using a trajectory that comprises exactly two instantaneous velocity changes (“boosts”) at prescribed energy. The framework admits natural generalization to dynamical systems such as the planar circular restricted three-body problem, and the central analytical tools are contact geometry, Hamiltonian dynamics, and Lagrangian Rabinowitz Floer homology. Rigorous existence results have been established using Floer-theoretic invariants, under mild decay conditions on the potential, linking physical transfer scenarios to deep symplectic topology [2412.08415], [2512.13373].

## 1. Precise Formulation of the Two-Boost Problem

Let $Q$ be a configuration manifold (commonly $Q \cong \mathbb{R}^n$ or $\mathbb{R}^2$ minus collision points), and consider the cotangent bundle $T^*Q$ equipped with the canonical one-form $\lambda = p\,dq$ and symplectic form $\omega = d\lambda$. Fix an autonomous Hamiltonian $H: T^*Q \to \mathbb{R}$ and an energy level set $\Sigma_c = \{(q, p) \in T^*Q \mid H(q, p) = c\}$.

A "boost" of magnitude $\Delta v$ is defined as an instantaneous change in momentum $p \to p+\Delta p$, subject to $|\Delta p| \leq \Delta v$. A two-boost trajectory at energy $c$ from $q_0$ to $q_1$ consists of:
- An initial Hamiltonian orbit (drift) on $\Sigma_c$ from $(q_0, p_0)$ to $(q_1', p_1')$,
- A first boost at time $t_1$: $H(q(t_1), p(t_1)+\Delta p_1) = c$,
- A second drift,
- A second boost at $t_2$ into $T^*_{q_1}Q$ with $|\Delta p_2| \leq \Delta v_2$.

Equivalently, the problem seeks a Hamiltonian chord $v(t)$ on $\Sigma_c$, joining $T^*_{q_0}Q$ to $T^*_{q_1}Q$, with exactly two discontinuities in the momentum coordinate.

The core functional encoding such trajectories is the Rabinowitz action:
\[
A^{H-c}_{q_0, q_1}(v, \eta) = \int_0^1 \lambda(\dot{v})\,dt - \eta \int_0^1 (H(v(t)) - c) dt
\]
Critical points $(v, \eta)$ with $\eta \neq 0$ yield Hamiltonian chords $\dot{v} = \eta X_H(v)$ connecting the designated fibers on $\Sigma_c$.

## 2. Model Hamiltonians and Dynamical Systems Classes

The natural physical setting is the planar circular restricted three-body problem, formulated in rotating coordinates. The Hamiltonian is typically:

\[
H(q, p) = H_0(q, p) - V(q) = \frac{1}{2}(p_1^2 + p_2^2) + p_1 q_2 - p_2 q_1 - V(q_1, q_2)
\]
with $V$ representing the gravitational potential of primary masses $1-\mu, \mu$, in polar coordinates given by:
\[
V(r, \theta) = \frac{1-\mu}{\sqrt{r^2 + 2 r \mu \cos\theta + \mu^2}} + \frac{\mu}{\sqrt{r^2 - 2 r (1-\mu)\cos\theta + (1-\mu)^2}}
\]

Key technical conditions on $V$ ensure proper decay/growth at infinity ($V(r, \theta) \leq a/r$, $\partial_r V + 2V/r \geq 0$), guaranteeing that $H$ is asymptotic to the rotating Kepler problem.

Regularization techniques (Moser, Levi-Civita) exclude collision singularities, so noncompactness is only an issue at spatial infinity. In polar coordinates, the quadratic "Coriolis" form
\[
H_0(r, \theta, p_r, p_\theta) = \frac{p_r^2}{2} + \frac{p_\theta^2}{2 r^2} + p_\theta
\]
serves as the model for analytic estimates.

## 3. Contact Geometry, Reeb Chords, and the Hamiltonian Reformulation

On regular energy hypersurfaces, the Liouville vector field $Z=\sum p_i \partial_{p_i}$ is transverse to $\Sigma_c$, so $\alpha := \lambda|_{\Sigma_c}$ constitutes a contact form. The Reeb vector field $R$ is specified by $d\alpha(R, \cdot) = 0$, $\alpha(R) = 1$. Special Legendrian submanifolds arise as the intersections $\Lambda_i = T^*_{q_i}Q \cap \Sigma_c$.

A Reeb chord from $\Lambda_0$ to $\Lambda_1$ is a trajectory $\gamma: [0, T] \to \Sigma_c$ solving $\dot{\gamma}(t) = R(\gamma(t))$, with endpoints on the respective Legendrians. Time rescaling identifies these objects with Hamiltonian chords as defined above.

## 4. Lagrangian Rabinowitz Floer Homology Construction and Existence Results

Lagrangian Rabinowitz Floer homology (LRFH) is built from the action functional $A^{H-c}_{q_0, q_1}(v, \eta)$ over the space $\{ v \in W^{1,2}([0,1], T^*Q) : v(i) \in T^*_{q_i}Q \} \times \mathbb{R}$. Critical points correspond to valid two-boost trajectories.

The chain complex $CF_*(A^{H-c}_{q_0, q_1})$ is generated by critical points, graded via Maslov index, with an action filtration. The boundary operator $\partial$ counts rigid Floer trajectories, solutions of
\[
\partial_s v + J_{s, t, \eta}(v)(\partial_t v - \eta X_{H_s}(v))=0, \qquad \partial_s \eta + \int_0^1 (H_s(v) - c) dt = 0
\]
with specified asymptotics.

By analytic continuation (Floer theory invariance under compact perturbations), the positive part $LRFH_*^+(A^{H_0-h}_{q_0, q_1})$ is isomorphic to the ordinary homology of the based path space $\Omega_{q_0, q_1}(Q)$:
\[
_*^+ LRFH_*(A^{H_0-h}_{q_0, q_1}) \cong H_*(\Omega_{q_0, q_1}(Q); \mathbb{Z}_2)
\]
This is nontrivial in degree $1/2$, confirming existence of a positive action chord (i.e., a two-boost solution).

**Existence theorem ([2412.08415], [2512.13373]):** If $H = H_0 - V$ satisfies the decay conditions and $q_0, q_1$ are within a ball of radius $R_1$, then for
\[
c > \max \left\{ \sqrt[3]{32 a^2},\, \sqrt{4 a (3 R_1 + 2 \sqrt[3]{2 a})} \right\}
\]
there exists a Hamiltonian chord at energy $c$ joining $T^*_{q_0}Q$ and $T^*_{q_1}Q$. This result is optimal within the technical framework imposed by the behavior of $V$ at infinity.

## 5. Boundedness of Reeb Chords and Analytical Techniques at Infinity

A central difficulty arises from noncompactness at infinity, especially ensuring boundedness of the critical chord sets (Reeb chord moduli). The key geometric fact is that at sufficiently large energy $c$, flow outside a suitable compact set is hyperbolic, precluding return of a chord that leaves that set.

Analytical handles include:
- **Energy–momentum estimate:** For $(r, \theta, p_r, p_\theta)$ with $R_1 \leq r < c^2/2a$,
  \[
  e := H - p_\theta \geq \frac{(c-e)^2}{2 r^2} - \frac{a}{r}
  \]
  implying bounds on $c - p_\theta$, enforcing non-return from infinity.

- **No radial maxima at infinity (Lemma 2.2):** The second Poisson bracket,
  \[
  \{H, \{H, r\}\} = \frac{p_\theta^2}{r^3} + \partial_r V = \frac{2}{r} (H - p_\theta) + \frac{2}{r} V + \partial_r V > 0
  \]
  ensures that a chord cannot attain its radial maximum outside $B(R_1)$ without contradiction.

- **Compact cut-off technique:** Define compactly supported perturbation $H_1=H_0-\chi_0\,\chi_1 V$ so that $H_1=H$ within $T^*B(R_1)\cap\{H=c\}$ and $H_1=H_0$ outside a compact set, reducing the moduli problems to compact analysis.

These estimates guarantee all critical chords lie in a bounded region, permitting standard transversality and gluing arguments of Floer theory.

## 6. Physical Interpretation and Mission Design Implications

The analytic existence result rigorously validates the classical two-impulse mission design (e.g., Hohmann transfer and its generalizations), even in the context of two gravitational primaries with more complex dynamics. For any two positions $q_0, q_1$ within a specified ball, a sufficiently high energy $c$ ensures the existence of a transfer orbit connecting $q_0$ and $q_1$ with one boost at launch and one at arrival, coasting otherwise under the gravitational and Coriolis forces.

Required energy bounds are explicit:
\[
c > \max\Bigl\{ \sqrt[3]{32 a^2},\, \sqrt{4 a (3R_1 + 2\sqrt[3]{2a})} \Bigr\}
\]
where $a$ corresponds to decay estimates of $V$. This guarantees the trajectory remains in the hyperbolic regime at spatial infinity; thus, the system's geometric and spectral invariants translate directly into mission feasibility constraints [2512.13373].

## 7. Floer-Theoretic Spectral Invariants and Boost Energy Relations

The spectral invariant associated with the shortest action chord is given by
\[
\operatorname{Spec}^+(H) = \min \{ \eta > 0 \mid \text{critical points of } A^{H-c} \text{ exist} \}
\]
Nontriviality of $LRFH_*^+(A^{H-c})$ is equivalent to $\operatorname{Spec}^+(H) < \infty$, guaranteeing existence of a valid chord within energy $c$. In the quadratic model $H_0$, one finds $\operatorname{Spec}^+(H_0) = |q_1 - q_0|/\sqrt{2}$, so any $c > |q_0||q_1|/2$ admits a solution. For perturbed models $H_0-V$, penalization and continuation methods extend the existence to all $c > c_{\text{min}}$ as detailed above.

These results clarify the interplay between system geometry, Hamiltonian dynamics, and the minimum energy requirements for two-impulse trajectory existence, grounding traditional mission planning within a rigorous symplectic and Floer-theoretic framework [2412.08415], [2512.13373].

Source: https://www.emergentmind.com/topics/two-boost-problem-in-space-mission-design