Pith. sign in

REVIEW 3 major objections 7 minor 78 references

Universal Birkhoff Method for Computing Extremals in the Elliptic Restricted Three-Body Problem

T0 review · 3 major / 7 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read One guess-free spectral method computes and verifies finite-thrust extremals in the elliptic restricted three-body problem.

desk verdict New ER3BP extremal transfers with a guess-free spectral method, but Table 8's unacknowledged transversality mismatch is a load-bearing verification gap that needs fixing. read the letter →

arxiv 2608.07815 v1 pith:2Z7FRBLC submitted 2026-08-07 math.OC cs.NAcs.SYeess.SYmath.NA

classification math.OCcs.NAcs.SYeess.SYmath.NA MSC 49K1570F0765M70
keywords ellipticrestrictedthree-bodyproblemuniversalBirkhofftheoryspectralalgorithmguess-freeoptimalcontrolfinite-thrusttrajectoryoptimizationtransversalityconditionsDelta-proxpropellantmodellibration-pointorbits
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to show that finite-thrust extremal trajectories in the elliptic restricted three-body problem can be computed without any initial guess or dynamical-systems seeding, and that the resulting candidates can be checked by direct evaluation of the optimality conditions. It combines the universal Birkhoff theory of trajectory optimization with the fast spectral algorithm, representing libration-point orbits as Chebyshev interpolants built from fast Fourier transforms. For propulsion, it uses an engine-agnostic proxy for propellant consumption, the $\Delta$-prox functional, which removes the usual nondifferentiability at zero thrust through a control-splitting transformation. Candidate solutions in the paper are verified against Hamiltonian minimization, transversality, and control-switching conditions, and the reported transfers are validated by independent high-order propagation. If the central claim is right, end-to-end optimal transfers in this non-autonomous three-body setting no longer need low-energy manifold information as a starting point.

What carries the argument

The load-bearing object is the universal Birkhoff interpolant: a paired a/b expansion $x^N(\theta)=x_0 B^0_0(\theta)+\sum_{j=1}^N v_j B^a_j(\theta)=\sum_{j=1}^N v_j B^b_j(\theta)+x_f B^N_N(\theta)$ in which endpoint values and interior derivative values are the unknowns, so the same discretization carries both state and adjoint without committing to a polynomial basis. The companion machinery is the spectral algorithm, whose stabilization component starts from an arbitrary point and whose accuracy component drives the residual to tolerance; because the Birkhoff discretization has mesh-independent conditioning, the grid can be refined to large $N$, and the Chebyshev version uses closed-form Chebyshev-Gauss-Lobatto nodes with an FFT-based $O(N\log N)$ matrix-vector product. Libration-point orbits enter the constraints as Chebyshev interpolants of sampled state values, turning endpoint manifolds into algebraic functions whose derivatives feed the Hamiltonian value condition. Propellant consumption is modeled by the $\Delta\mathrm{prox}_1$ functional, an Isp-agnostic $L^1$ proxy made differentiable by splitting $u=u^a-u^b$, so no homotopy from a quadratic cost is required.

What would settle it

A direct check is to rerun the time-limited minimum-propellant transfer with tightened tolerances on the multiplier variables and print every component of $\lambda(\theta_0)+\nu_0$ and $\lambda(\theta_f)-\nu_f-(0,0,\nu_{zf},0,0,0)^T$. If the z-component at $\theta_0$ still shows $0.000000$ while $-\nu_{0z}$ is $0.002973$, the transversality check fails on that component; a second check is to propagate the reported control with a high-order integrator, integrate the adjoint equations backward, and compare the reconstructed multipliers at internal switching points.

Watch

Extended reading notes

Core claim

The paper's central claim is that the universal Birkhoff spectral algorithm can generate verifiable extremals for the elliptic restricted three-body problem with no assistance or initialization from dynamical systems theory. Concretely, it computes finite-thrust transfers from a 2:1 resonant L1 Lyapunov orbit to a 4:1 resonant southern near-rectilinear halo orbit under minimum-time, time-limited minimum-propellant, and time-bounded time-free minimum-propellant costs. The computed solutions are bang-bang or bang-off-bang, and the paper reports that all detected arcs satisfy the necessary conditions through the Hamiltonian value, transversality, and control-switching complementarity checks. Independent high-order propagation of the control histories is used to verify feasibility, and the departure and arrival points are themselves declared extremal after passing the same checks.

Load-bearing premise

The verification loop assumes the solver's reported multiplier variables, the costate and endpoint covectors, are accurate enough that componentwise agreement between them means the transversality conditions hold; if those dual variables are off, the claimed verifiable extremal status is not supported.

Editorial extensions

If this is right

  • Finite-thrust transfers between libration-point orbits in the ER3BP can be produced in one shot on an ordinary laptop, with no initial guess and no stable or unstable manifold seeding.
  • Every computed candidate carries local optimality certificates: Hamiltonian value, transversality, and control-switching complementarity are evaluated directly on the output.
  • The optimal departure and arrival points on the endpoint manifolds are part of the unknown solution, so no separate two-point boundary-value sweep is needed.
  • Minimum-propellant comparisons are reported in an Isp-agnostic proxy, allowing a direct time-versus-propellant trade without fixing engine parameters.
  • Because the method handles non-autonomous dynamics without special clock-time bookkeeping, the same pipeline extends from the circular restricted problem to the elliptic restricted problem.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the guess-free property carries over to other endpoint manifolds, the same pipeline should solve transfers to and from halo, distant retrograde, or ephemeris-derived orbits by swapping the Chebyshev endpoint interpolants; this is the paper's implied generalization but is not demonstrated here.
  • A direct extension would be a parametric sweep of the maximum true-anomaly bound from $2\pi$ to $4\pi$, plotting $\Delta\mathrm{prox}_1$ versus flight time to see whether the propellant saving between the $2\pi$ and $3\pi$ cases continues.
  • The printed verification tables leave one open check: in Table 8, $\lambda_z(\theta_0)$ is printed as $0.000000$ while $-\nu_{0z}$ is $0.002973$, so a stricter dual-variable tolerance on that component would clarify whether the verification loop is limited by printed precision or by costate accuracy.
  • Because the control is represented by a non-polynomial interpolant, this method should remain free of Gibbs artifacts for bang-bang controls with many switches, a property worth testing on a deliberately many-switch transfer.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 7 minor

Summary. The paper formulates finite-thrust optimal control problems in the elliptic restricted three-body problem (ER3BP), with departure and arrival on libration-point orbits represented by Chebyshev interpolants of Runge-Kutta solutions. It derives Pontryagin necessary conditions for minimum-time and time-constrained minimum-propellant (Δprox1) costs, including transversality conditions for the free departure/arrival points and a targeting inequality. Candidate solutions are computed by the universal Birkhoff method implemented in a guess-free spectral algorithm (α-DIDO) for three cases: minimum-time, time-limited minimum-propellant, and time-bounded time-free minimum-propellant. The paper claims that the Birkhoff-theoretic spectral algorithm generates verifiable extremals without initialization from dynamical systems theory, and it reports checks of the Hamiltonian value condition, transversality conditions, and control switching structure, together with independent feasibility propagation of the computed control histories.

Significance. If the central claim is fully supported, this is a valuable contribution: it would provide a guess-free computational route to finite-thrust extremals in the non-autonomous ER3BP, with machine-precision representation of libration orbits via FFT-based Chebyshev interpolation, boxed checkable optimality conditions, a six-grid comparison suggesting grid independence, and an explicit demonstration of bang-bang and bang-off-bang control structures. The independent feasibility propagation is a genuine strength, as is the use of an Isp-agnostic propellant model. However, the verification of optimality rests on numerical checks whose tolerance is not stated and one of which, the initial z-transversality in the time-limited case, is visibly violated in the reported table; these issues must be resolved before the central claim can be accepted.

major comments (3)
  1. [V.B.1, Table 8] Table 8 directly contradicts the transversality condition in Eq. (33) for the z-component at the initial time. Since e1(x0, θ0) = x0 − cheb0(θ0) and the z-component of cheb0 is identically zero on the planar L1 Lyapunov orbit, the Jacobian row for e1_z has ∂e1_z/∂z0 = 1 and zero elsewhere, so Eq. (33) forces λ_z(θ0) = −ν0_z. The table reports λ_z(θ0) = 0.000000 and −ν0_z = 0.002973, a 0.002973 discrepancy that is orders of magnitude larger than the agreement shown for the other components. The text immediately above the table states that the solution 'meets all of the transversality conditions within a reasonable numerical precision,' which is not supported by the tabulated data. If this is a typographical or data-entry error, it must be corrected; if it is genuine solver output, then the computed solution is not extremal by the paper's own checkable conditions, and the claim of verifiable extremals is unsupported for the time-limited case.
  2. [V.A.1 and Tables 4, 7, 10] The Hamiltonian value conditions are reported as satisfied only to about three decimal places, with discrepancies as large as 0.000125 (Table 4, final condition: LHS −0.002699 vs RHS −0.002824). No numerical tolerance is stated for any of the verification checks, so it is not possible to assess whether these residuals are acceptable. Given that the Hamiltonian value condition is one of the central 'checkable' conditions used to certify extremality, the authors should specify a tolerance for each check and demonstrate convergence of the residuals under mesh refinement, or explain why residuals at this level are consistent with the claimed verification.
  3. [V.A.2, V.B.2, V.C] The 'independent' validation performed in the paper is a high-accuracy propagation of the equations of motion with the Birkhoff-generated control, which verifies feasibility but not optimality. The optimality verification uses costates, endpoint covectors, and Hamiltonian values all produced by the same α-DIDO solver whose Birkhoff implementation is the subject of the paper. To substantiate the claim of 'verifiable extremals,' the authors should provide an independent check of the necessary conditions, for example, integrating the adjoint equations backward with the computed control and boundary multipliers, or reporting the residuals of the discretized optimality system in a way that does not rely solely on the solver's own dual-variable output. At minimum, the paper should explicitly acknowledge that the optimality checks and the solution generation share the same computational engine and discuss the implications for the strength of the verification.
minor comments (7)
  1. [III.C] The phrase 'the same manor' should be 'the same manner'.
  2. [IV heading] The heading 'An Overveiw of the Universal Birkhoff Theory' contains a misspelling: 'Overveiw' should be 'Overview'.
  3. [IV.D] The phrase 'all of these grid points meet this criteiron' should read 'criterion'.
  4. [V.B.1, item 5] The symbol '∆prop1' should be '∆prox1' for consistency with the notation introduced in Section II.B.
  5. [V.C] The phrase 'time-limed problem' should be 'time-limited problem'.
  6. [References] Reference [10] contains a typo: 'Ammerican Astronautical Society' should be 'American Astronautical Society'.
  7. [Remark 4] The phrase 'no Gibbs phenomena' should be 'no Gibbs phenomenon' (singular), matching the conventional term.

Circularity Check

1 steps flagged · score 3.0 of 10

Optimality verification is a self-consistency loop using the same α-DIDO solver's dual variables, and Table 8 directly violates the transversality condition (33); the central claim of a verifiable extremal is therefore only weakly supported.

  1. other [Abstract; Section IV.C; Section V.A.1, V.B.1, V.C (Tables 5, 8, 11)]
    "The extremality of the Birkhoff-computed solution is validated against the Hamiltonian minimization condition and the transversality conditions. ... all of this information is autonomously generated [57] using mechanized formulas presented in [9]. Such an enhanced α-version of DIDO was used in all the computations reported in Section V."

    The quantities used to certify extremality (λ, ν0, νf, νθ, νzf and the path covectors µ) are outputs of the same α-DIDO solver whose spectral algorithm is explicitly built to autonomously generate and solve the Hamiltonian necessary conditions. Checking (30), (33), (35), (38), (42) against these outputs is therefore a self-consistency check: the 'validation' reduces to the solver's own dual-generation machinery rather than an independent estimate of the costates. The only independent validation is the EOM propagation, which certifies feasibility, not optimality. Moreover, Table 8 reports λ_z(θ0)=0.000000 against -ν0_z=0.002973, a direct violation of (33) (since e1_z = z0), so the self-consistency loop is not even closed as reported.

full rationale

No structural circularity was found in the derivation of the Pontryagin necessary conditions in Section III; equations (33), (35), and (38) follow from the endpoint Lagrangian and are mathematically self-contained. The Chebyshev fits of the libration-point orbits are numerical approximations checked against an external ode78 propagation, so they are not a fitted parameter later renamed as a prediction. The independent propagation of the equations of motion with the computed control does provide an external check of feasibility. The circularity-adjacent weakness is that optimality is 'validated' using costates and covectors produced by the same α-DIDO solver that was constructed around the same Hamiltonian necessary conditions; this makes the optimality check a self-consistency test rather than an independent benchmark. Table 8 exacerbates the problem: its z-component row contradicts the paper's own equation (33), so the claim that all transversality conditions are met is not supported by the displayed data. The numerous self-citations to the universal Birkhoff theory and DIDO development are present but are not by themselves a circularity; the paper does present original numerical demonstrations in the ER3BP. The score reflects the partial circularity of the verification loop and the unacknowledged Table 8 violation, not a finding that the entire derivation is equivalent to its inputs.

Assumptions & free parameters 3 free parameters · 5 assumptions · 0 invented entities

No new free parameters or invented entities are introduced by this paper; the numerical results depend on hand-chosen targeting constraints (zU_f) and problem inputs (control bound, time bounds). The core method and propellant model are prior publications by the same authors, which increases the circularity burden but does not add entities.

free parameters (3)
  • zU_f = -0.013556
    Upper bound on the final z-position used to enforce the targeting exclusion zone around the NRHO perilune (Section II.D, equation (22)). This is chosen by hand and changes the optimization problem.
  • Targeting exclusion thresholds vL and vU = Not specified numerically
    Velocity bounds in equation (21) define the exclusion zone; they are replaced by the single z-constraint (22). The choice of the zone width is a modeling decision.
  • Upper control bound uU = 0.1 in each axis
    Thrust acceleration limit used in all numerical cases (Section V). This is a problem input, not fitted, but the demonstration depends on it.
assumptions (5)
  • domain assumption The universal Birkhoff theory of Ross (refs 51-55) provides a valid discretization with spectral convergence and mesh-independent condition number.
    The paper's numerical method and its advertised advantages are based on prior results by the same group; Section IV.
  • domain assumption The alpha version of DIDO correctly solves the discretized optimal control problem and returns accurate costates and covectors.
    The solver is not described in full and no public artifacts are provided; Section IV.C.
  • standard math The Chebyshev interpolants cheb0 and chebf accurately represent the endpoint orbits, with the final coefficient |aN| as an error estimate.
    Chebyshev approximation theory from Trefethen [66] and Boyd [67], used in Section II.C.
  • domain assumption The Delta-prox1 functional (equations 7 and 10) is an adequate Isp-agnostic model for propellant consumption in the ER3BP.
    Adopted from prior work by the same authors [45]; the paper does not validate it against other propellant models beyond citing [49,50].
  • domain assumption No singular arcs occur in the computed solutions.
    Observed numerically rather than proven; Section V states 'detected no singular arcs'.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Universal Birkhoff Method for Computing Extremals in the Elliptic Restricted Three-Body Problem." pith.science (2026). https://pith.science/paper/2Z7FRBLC

@misc{pith2026260807815,
  author       = {Pith},
  title        = {Pith review of: Universal Birkhoff Method for Computing Extremals in the Elliptic Restricted Three-Body Problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2Z7FRBLC}},
  note         = {Machine review of arXiv:2608.07815}
}
read the original abstract

The computation of finite-thrust extremal arcs in the elliptic restricted three-body trajectory optimization problem is considered. Libration-point orbits are approximated to near-machine precision using a fast Fourier transform of the sampled values of the state vector at Chebyshev-Gauss-Lobatto points. Checkable optimality conditions are derived by applying Pontryagin's principle to minimum-time and time-constrained minimum-propellant problems. These necessary conditions include criteria for optimal departure and arrival points. For propellant consumption, a recently developed computational model is employed. This model is agnostic to the specific impulse of the propellant and varies as the inverse quadratic of a cosine term. Candidate optimal solutions are generated by combining the universal Birkhoff theory for trajectory optimization with the fast, guess-free spectral algorithm. The extremality of the Birkhoff-computed solution is validated against the Hamiltonian minimization condition and the transversality conditions. It is shown that the Birkhoff-theoretic spectral algorithm can generate verifiable extremals without any assistance or initialization from dynamical systems theory.

Figures

Figures reproduced from arXiv: 2608.07815 by the authors.

Figure 1
Figure 1. ER3BP inertial, rotating, and Nechvile frames [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Sample initial and final orbits for trajectory opti [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Difference between Chebyshev and Runge-Kutta sol [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (13 more)
Figure 4
Figure 4. Figure 4: Chebyshev and RK78 solution for the 2:1 resonant [PITH_FULL_IMAGE:figures/full_fig_p009_4.png]
Figure 5
Figure 5. Figure 5: Chebyshev and RK78 solution for the 4:1 resonant so [PITH_FULL_IMAGE:figures/full_fig_p010_5.png]
Figure 6
Figure 6. Figure 6: True anomaly exclusion bands around areas of extre [PITH_FULL_IMAGE:figures/full_fig_p011_6.png]
Figure 7
Figure 7. Figure 7: Orbit targeting constraints for the southern NRHO [PITH_FULL_IMAGE:figures/full_fig_p012_7.png]
Figure 8
Figure 8. Figure 8: A schematic for the flow a universal Birkhoff theory [PITH_FULL_IMAGE:figures/full_fig_p018_8.png]
Figure 9
Figure 9. Figure 9: Three main algorithmic components of DIDO. Figure [PITH_FULL_IMAGE:figures/full_fig_p019_9.png]
Figure 10
Figure 10. Figure 10: Minimum-time transfer between an L1 Lyapunov orbit and L2 southern NRHO optimal departure and arrival points. We first discuss the extremality of these points via the transversality conditions derived in Section III. 1. Extremality of the Departure and Arrival Points …
Figure 11
Figure 11. Figure 11: Control trajectory for a minimum-time transfer b [PITH_FULL_IMAGE:figures/full_fig_p024_11.png]
Figure 12
Figure 12. Figure 12: Control bound-constraint covector components fo [PITH_FULL_IMAGE:figures/full_fig_p025_12.png]
Figure 13
Figure 13. Figure 13: Time-limited, minimum-propellant transfer bet [PITH_FULL_IMAGE:figures/full_fig_p026_13.png]
Figure 14
Figure 14. Figure 14: Control trajectory, and control bound constrain [PITH_FULL_IMAGE:figures/full_fig_p028_14.png]
Figure 15
Figure 15. Figure 15: Minimum-propellant transfer between an L1 Lyapunov and L2 southern NRHO [PITH_FULL_IMAGE:figures/full_fig_p029_15.png]
Figure 16
Figure 16. Figure 16: Control trajectory and control bound constraint [PITH_FULL_IMAGE:figures/full_fig_p031_16.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

78 extracted references · 52 canonical work pages

  1. [1]

    Study of the Transfer from the Earth to a Halo Orbit Around the Equilibrium Point L1,

    G´ omez, G., Jorba, A., Masdemont, J., and Sim´ o, C., “Study of the Transfer from the Earth to a Halo Orbit Around the Equilibrium Point L1,” Celestial Mechanics & Dynamical Astronomy, V ol. 56, No. 4, Aug. 1993, pp. 541–562. https://doi.org/10.1007/bf00696185

  2. [2]

    https://doi.org/10.2307/j.ctv301g1f

    Belbruno, E., Capture Dynamics and Chaotic Motions in Celestial Mechanic s: With Applications to the Construction of Low Energy Transfers , Princeton University Press, Princeton, 2004. https://doi.org/10.2307/j.ctv301g1f

  3. [3]

    D., Dynamical Systems, the Three-Body Problem and Space Mission Design, Marsden Books, 2011

    Koon, W., Lo, M., Marsden, J., and Ross, S. D., Dynamical Systems, the Three-Body Problem and Space Mission Design, Marsden Books, 2011. 32 of 38 American Institute of Aeronautics and Astronautics

  4. [4]

    Parker, J. S. and Anderson, R. L., Low-Energy Lunar Trajectory Design, Wiley, 1st ed., June 2014. https://doi.org/10.1002/9781118855065

  5. [5]

    Application o f Dynamical Systems Theory to Trajectory Design for a Libration Point Mission,

    Howell, K. C., Barden, B. T., and Lo, M. W., “Application o f Dynamical Systems Theory to Trajectory Design for a Libration Point Mission,” The Journal of the Astronautical Sciences , V ol. 45, No. 2, June 1997, pp. 161–178. https://doi.org/10.2514/6.1996-3602

  6. [6]

    J., and Prussing, J

    Longuski, J., Guzm´ an, J. J., and Prussing, J. E., Optimal Control with Aerospace Applications , Space technology library, Springer ; Published jointly by Microc osm Press, New Y ork, New Y ork : El Se- gundo, California, 2014. https://doi.org/10.1007/978-1-4614-8945-0

  7. [7]

    H., Ledyaev, Y

    Clarke, F. H., Ledyaev, Y . S., Stern, R. J., and Wolenski, Nonsmooth Analysis and Control theory , No. 178 in Graduate Texts in Mathematics, Springer, New Y ork Heidelberg, 1998. https://doi.org/10.1007/b97650

  8. [8]

    Bryson, A. E. and Ho, Y .-C., Applied Optimal Control: Optimization, Estimation, and Co ntrol, Cam- bridge University Press, Cambridge, rev. print ed., 1978. https://doi.org/10.1201/9781315137667

Show all 78 references
  1. [9]

    M., A Primer on Pontryagin’s Principle in Optimal Control , Second Edition, Collegiate Pub- lishers, San Francisco, CA, 2015

    Ross, I. M., A Primer on Pontryagin’s Principle in Optimal Control , Second Edition, Collegiate Pub- lishers, San Francisco, CA, 2015. https://www.amazon.com /Primer-Pontryagins-Principle-Optimal- Control/dp/0984357114

  2. [10]

    Leveraging Intermediate Dyna mical Models for Transitioning from the Circular Restricted Three-Body Problem to an Ephemeris Mod el,

    Park, B. and Howell, K., “Leveraging Intermediate Dyna mical Models for Transitioning from the Circular Restricted Three-Body Problem to an Ephemeris Mod el,” Ammerican Astronautical Society, Charlotte, North Carolina, Aug. 2022

  3. [11]

    An Analytical Study of Impulsive Appro ximation,

    Robbins, H. M., “An Analytical Study of Impulsive Appro ximation,” AIAA Journal, 4/8, 1417–1423. https://doi.org/10.2514/3.3687

  4. [12]

    Finite Burn Maneuver Modeling for a Genera lized Spacecraft Trajectory Design and Optimization System,

    Ocampo, C., “Finite Burn Maneuver Modeling for a Genera lized Spacecraft Trajectory Design and Optimization System,” Annals of the N.Y. Academy of Sciences , 1017: 210–233 (2004). https://doi.org/10.1196/annals.1311.013

  5. [13]

    Low-Energy, Low-Thrust Transfers to the Moon,

    Mingotti, G., Topputo, F., and Bernelli-Zazzera, F., “ Low-Energy, Low-Thrust Transfers to the Moon,” Celestial Mechanics and Dynamical Astronomy , V ol. 105, No. 1-3, Nov. 2009, pp. 61–74. https://doi.org/10.1007/s10569-009-9220-7

  6. [14]

    Transfer B etween Invariant Manifolds: From Impulse Transfer to Low-Thrust Transfer,

    Chupin, M., Haberkorn, T., and Tr´ elat, E., “Transfer B etween Invariant Manifolds: From Impulse Transfer to Low-Thrust Transfer,” Journal of Guidance, Control, and Dynamics, V ol. 41, No. 3, March 2018, pp. 658–672. https://doi.org/10.2514/1.G002922

  7. [15]

    Impulsi ve and Low-Thrust Transfer Design Between Stable and Nearly-Stable Periodic Orbits in the Restricted Problem,

    Pritchett, R. E., Zimovan, E., and Howell, K., “Impulsi ve and Low-Thrust Transfer Design Between Stable and Nearly-Stable Periodic Orbits in the Restricted Problem,” 2018 Space Flight Mechanics Meeting, American Institute of Aeronautics and Astronautics, Kiss immee, Florida, ...

  8. [16]

    Low-Thrust V a riable-Specific-Impulse Transfers and Guid- ance to Unstable Periodic Orbits,

    Senent, J., Ocampo, C., and Capella, A., “Low-Thrust V a riable-Specific-Impulse Transfers and Guid- ance to Unstable Periodic Orbits,” Journal of Guidance, Control, and Dynamics, V ol. 28, No. 2, March 2005, pp. 280–290. https://doi.org/10.2514/1.6398 33 of 38 American Institu...

  9. [17]

    Minimum Time Control of t he Restricted Three-Body Problem,

    Caillau, J.-B. and Daoud, B., “Minimum Time Control of t he Restricted Three-Body Problem,” SIAM Journal on Control and Optimization, V ol. 50, No. 6, Jan. 2012, pp. 3178–3202. https://doi.org/10.1137/110847299

  10. [18]

    Time-Minimum Control of the Restricted Elliptic Three- Body Problem Applied to Space Transfer,

    Chyba, M., Patterson, G., and Picot, G., “Time-Minimum Control of the Restricted Elliptic Three- Body Problem Applied to Space Transfer,” Recent Advances in Celestial and Space Mechanics , edited by B. Bonnard and M. Chyba, V ol. 23, Springer International P ublishing, Cham, 2...

  11. [19]

    Minimum-Fuel Low-ThrustTrajectories to the Moon,

    Y oon, S. W. and Petukhov, V ., “Minimum-Fuel Low-ThrustTrajectories to the Moon,” Acta Astronau- tica, V ol. 210, Sept. 2023, pp. 102–116. https://doi.org/10.1016/j.actaastro.2023.05.006

  12. [20]

    Exploiting Manifolds of L1 Halo Orbits for End-to-End Earth–Moon Low-Thrust Trajectory Design,

    Singh, S. K., Anderson, B. D., Taheri, E., and Junkins, J . L., “Exploiting Manifolds of L1 Halo Orbits for End-to-End Earth–Moon Low-Thrust Trajectory Design,” Acta Astronautica, V ol. 183, June 2021, pp. 255–272. https://doi.org/10.1016/j.actaastro.2021.03.017

  13. [21]

    M ultiple-Arc Optimization of Low-Thrust Earth- Moon Orbit Transfers Leveraging Implicit Costate Transfor mation,

    Beolchi, A., Pontani, M., Pozzi, C., and Fantino, E., “M ultiple-Arc Optimization of Low-Thrust Earth- Moon Orbit Transfers Leveraging Implicit Costate Transfor mation,” Acta Astronautica, V ol. 220, July 2024, pp. 330–344. https://doi.org/10.1016/j.actaastro.2024.04.030

  14. [22]

    Low-Thrus t Lyapunov to Lyapunov and Halo to Halo Missions with L 2 -Minimization,

    Chupin, M., Haberkorn, T., and Tr´ elat, E., “Low-Thrus t Lyapunov to Lyapunov and Halo to Halo Missions with L 2 -Minimization,” ESAIM: Mathematical Modelling and Numerical Analysis , V ol. 51, No. 3, May 2017, pp. 965–996. https://doi.org/10.1051/m2an/2016044

  15. [23]

    Transfer between the Planar Lyapunov Orbits Around the Earth–Moon L2 Point Using Low-Thrust Engine,

    Du, C., Starinova, O. L., and Liu, Y ., “Transfer between the Planar Lyapunov Orbits Around the Earth–Moon L2 Point Using Low-Thrust Engine,” Acta Astronautica, V ol. 201, Dec. 2022, pp. 513– 525. https://doi.org/10.1016/j.actaastro.2022.09.056

  16. [24]

    Low-thrust Transfe r Trajectory Planning and Tracking in the Earth–Moon Elliptic Restricted Three-Body Problem,

    Du, C., Starinova, O., and Liu, Y ., “Low-thrust Transfe r Trajectory Planning and Tracking in the Earth–Moon Elliptic Restricted Three-Body Problem,” Nonlinear Dynamics , V ol. 111, No. 11, June 2023, pp. 10201–10216. https://doi.org/10.1007/s11071-023-08383-0

  17. [25]

    Orthogonal Ap proximation of Invariant Manifolds in the Circular Restricted Three-Body Problem,

    Kelly, P ., Junkins, J. L., and Majji, M., “Orthogonal Ap proximation of Invariant Manifolds in the Circular Restricted Three-Body Problem,” Journal of Guidance, Control, and Dynamics , April 2023, pp. 1–12. https://doi.org/10.2514/1.g007304

  18. [26]

    Optimal Low-Thrust Invariant Manifold Trajecto- ries via Attainable Sets,

    Mingotti, G., Topputo, F., and Bernelli-Zazzera, F., “ Optimal Low-Thrust Invariant Manifold Trajecto- ries via Attainable Sets,”, Journal of Guidance, Control, and Dynamics, V ol. 34, No. 6, pp. 1644–1656, November 2011. https://doi.org/10.2514/1.52493

  19. [27]

    Low-Thrust Transfers i n the Earth-Moon System, Including Appli- cations to Libration Point Orbits,

    Ozimek, M. T. and Howell, K. C., “Low-Thrust Transfers i n the Earth-Moon System, Including Appli- cations to Libration Point Orbits,” Journal of Guidance, Control, and Dynamics, V ol. 33, No. 2, March 2010, pp. 533–549. https://doi.org/10.2514/1.43179 34 of 38 American Instit...

  20. [28]

    Fuel Optimization for Low-thrust Earth–Moon Transfer via Indirect Optimal Control,

    P´ erez-Palau, D. and Epenoy, R., “Fuel Optimization for Low-thrust Earth–Moon Transfer via Indirect Optimal Control,” Celestial Mechanics and Dynamical Astronomy, V ol. 130, No. 2, Feb. 2018, pp. 21. https://doi.org/10.1007/s10569-017-9808-2

  21. [29]

    A Survey of Methods Available for the Num erical Optimization of Continuous Dynamic Systems,

    Conway, B. A., “A Survey of Methods Available for the Num erical Optimization of Continuous Dynamic Systems,” Journal of Optimization Theory and Applications , V ol. 152, No. 2, Feb. 2012, pp. 271–306. https://doi.org/10.1007/s10957-011-9918-z

  22. [30]

    An Algorithmic Guide for Finite-Dimensional Optimal Control Problems,

    Caillau, J.-B., Ferretti, R., Tr´ elat, E., and Zidani, H., “An Algorithmic Guide for Finite-Dimensional Optimal Control Problems,” Handbook of Numerical Analysis , V ol. 24, Elsevier, 2023, pp. 559–626. https://doi.org/10.1016/bs.hna.2022.11.006

  23. [31]

    Combined Optimal Low-Thrust and Stable- Manifold Trajectories to the Earth-Moon Halo Orbits,

    Mingotti, G., Topputo, F., and Bernelli-Zazzera, F., “ Combined Optimal Low-Thrust and Stable- Manifold Trajectories to the Earth-Moon Halo Orbits,” AIP Conference Proceedings , V ol. 886, AIP , Princeton, New Jersey (USA), 2007, pp. 100–112. https://doi.org/10.1063/1.2710047

  24. [32]

    Low-Thrust Transfers from Distant Retrograde Orbits to L2 Halo Orbits in the Earth-Moon System ,

    Parrish, N. L., Parker, J. S., Hughes, S. P ., and Heilige rs, J., “Low-Thrust Transfers from Distant Retrograde Orbits to L2 Halo Orbits in the Earth-Moon System ,” Darmstadt, Germany, March 2016

  25. [33]

    Low-Thrust Transfer Design Based on Collocation Tech- niques: Applications in the Restricted Three-Body Problem ,

    Pritchett, R., Howell, K., and Grebow, D., “Low-Thrust Transfer Design Based on Collocation Tech- niques: Applications in the Restricted Three-Body Problem ,” AAS 17-62, AIAA/AAS Astrodynamics Specialist Conference, Columbia River Gorge, Stevenson, W A, August 21–24, 2017

  26. [34]

    On Poincar´ e’s Correction to Bruns’ Theorem,

    Macmillan, W. D., “On Poincar´ e’s Correction to Bruns’ Theorem,” Bulletin of the American Mathe- matical Society, 19, 1913, 349–355

  27. [35]

    Siegel, C. L. and Moser, J. K., Lectures on Celestial Mechanics , Springer-V erlag, New Y ork, N.Y ., 1971 (Translated by C. I. Kalme)

  28. [36]

    Periodic Motion Around Li bration Points in the Elliptic Restricted Three- Body Problem,

    Ferrari, F. and Lavagna, M., “Periodic Motion Around Li bration Points in the Elliptic Restricted Three- Body Problem,” Nonlinear Dynamics, V ol. 93, No. 2, July 2018, pp. 453–462. https://doi.org/10.1007/s11071-018-4203-4

  29. [37]

    Minimum Fu el Control of the Planar Circular Restricted Three-Body Problem,

    Caillau, J.-B., Daoud, B., and Gergaud, J., “Minimum Fu el Control of the Planar Circular Restricted Three-Body Problem,” Celestial Mechanics and Dynamical Astronomy , V ol. 114, No. 1-2, Oct. 2012, pp. 137–150. https://doi.org/10.1007/s10569-012-9443-x

  30. [38]

    Global Sear ch for Low-Thrust Transfers to the Moon in the Planar Circular Restricted Three-Body Problem,

    Oshima, K., Campagnola, S., and Y anao, T., “Global Sear ch for Low-Thrust Transfers to the Moon in the Planar Circular Restricted Three-Body Problem,” Celestial Mechanics and Dynamical Astronomy , V ol. 128, No. 2-3, June 2017, pp. 303–322. https://doi.org/10.1007/s10569-016-9748-2

  31. [39]

    Subregions of Motion and Elliptic Halo Orbits in the Elliptic Restricted Three-Body Problem,

    Campagnola, S., Lo, M., and Newton, P ., “Subregions of Motion and Elliptic Halo Orbits in the Elliptic Restricted Three-Body Problem,” AAS 08-200, AIAA/AAS Spaceflight Mechanics Meeting, Galveston, TX, January 27–31, 2008

  32. [40]

    The Dynamic s Around the Collinear Points of the Elliptic Three-Body Problem: A Normal Form Approach,

    Celletti, A., Lhotka, C., and Pucacco, G., “The Dynamic s Around the Collinear Points of the Elliptic Three-Body Problem: A Normal Form Approach,” Physica D: Nonlinear Phenomena , V ol. 468, Nov. 2024, pp. 134302. https://doi.org/10.1016/j.physd.2024.134302 35 of 38 American I...

  33. [41]

    G., Theory of Orbits: The Restricted Problem of Three Bodies , Academic Press, New Y ork, 1967

    Szebehely, V . G., Theory of Orbits: The Restricted Problem of Three Bodies , Academic Press, New Y ork, 1967

  34. [42]

    Periodic Orbits in the Elliptic Restri cted Three-Body Problem,

    Broucke, R. A., “Periodic Orbits in the Elliptic Restri cted Three-Body Problem,” Tech. rep. 32-1168, Jet Propulsion Laboratory, California Institute of Techno logy, Pasadena, CA, Feb, 1968

  35. [43]

    Stability of Periodic Orbits in the Ellip tic, Restricted Three-Body Problem

    Broucke, R., “Stability of Periodic Orbits in the Ellip tic, Restricted Three-Body Problem.” AIAA Jour- nal, V ol. 7, No. 6, June 1969, pp. 1003–1009. https://doi.org/10.2514/3.5267

  36. [44]

    Method to Design Ballisti c Capture in the Elliptic Restricted Three-Body Problem,

    Hyeraci, N. and Topputo, F., “Method to Design Ballisti c Capture in the Elliptic Restricted Three-Body Problem,” Journal of Guidance, Control, and Dynamics , V ol. 33, No. 6, Nov. 2010, pp. 1814–1823. https://doi.org/10.2514/1.49263

  37. [45]

    Nuances in Propellant Comp utation in the Elliptic Restricted Three- Body Problem,

    Dixon, M. J. and Ross, I. M., “Nuances in Propellant Comp utation in the Elliptic Restricted Three- Body Problem,” Journal of Guidance, Control and Dynamics , V ol. 49, No. 1, Jan. 2026. https://doi.org/10.2514/1.G009053

  38. [46]

    Transfers Bet ween Libration-Point Orbits in the Ellip- tic Restricted Problem,

    Hiday-Johnston, L. A. and Howell, K. C., “Transfers Bet ween Libration-Point Orbits in the Ellip- tic Restricted Problem,” Celestial Mechanics & Dynamical Astronomy , V ol. 58, No. 4, April 1994, pp. 317–337. https://doi.org/10.1007/bf00692008

  39. [47]

    Two-Impulse Trans fer to Multi-Revolution Halo Orbits in the Earth-Moon Elliptic Restricted Three-Body Problem Framew ork,

    Neelakantan, R. and Ramanan, R. V ., “Two-Impulse Trans fer to Multi-Revolution Halo Orbits in the Earth-Moon Elliptic Restricted Three-Body Problem Framew ork,” Journal of Astrophysics and As- tronomy, V ol. 43, No. 2, Aug. 2022, pp. 50. https://doi.org/10.1007/s12036-022-09830-x

  40. [48]

    Interpla netary Transfers Using Stable and Unstable Manifold Tubes Originating at L1 and L2 in the Elliptic Restr icted Three-Body Problems,

    Scantamburlo, E., Guzzo, M., and Paez, R. I., “Interpla netary Transfers Using Stable and Unstable Manifold Tubes Originating at L1 and L2 in the Elliptic Restr icted Three-Body Problems,” Acta As- tronautica, V ol. 200, Nov. 2022, pp. 97–110. https://doi.org/10.1016/j.actaast...

  41. [49]

    How to Find Minimum-Fuel Controllers,

    Ross, I. M., “How to Find Minimum-Fuel Controllers,” AIAA Guidance, Navigation, and Control Con- ference and Exhibit , American Institute of Aeronautics and Astronautics, Prov idence, Rhode Island, Aug. 2004. https://doi.org/10.2514/6.2004-5346

  42. [50]

    Space Trajectory Optimization and L1-Optimal Control Problems,

    Ross, I. M., “Space Trajectory Optimization and L1-Optimal Control Problems,” Elsevier Astrodynam- ics Series, V ol. 1, Elsevier, 2006, pp. 155–VIII. https://doi.org/10.1016/s1874-9305(07)80008-2

  43. [51]

    A Universa l Birkhoff Pseudospectral Method for Solving Boundary V alue Problems,

    Ross, I. M., Proulx, R. J., and Borges, C. F., “A Universa l Birkhoff Pseudospectral Method for Solving Boundary V alue Problems,”Applied Mathematics and Computation, V ol. 454, 128101, October, 2023. https://doi.org/10.1016/j.amc.2023.128101

  44. [52]

    A Universal Birkhoff Theory for Fast Traje ctory Optimization,

    Ross, I. M., “A Universal Birkhoff Theory for Fast Traje ctory Optimization,” Journal of Guidance, Control and Dynamics, vol. 47, no. 12, pp. 2468–2481, Dec. 2024. https://doi.org /10.2514/1.G007737

  45. [53]

    Implementations of the Uni versal Birkhoff Theory for Fast Trajectory Optimization,

    Proulx R. J. and Ross, I. M., “Implementations of the Uni versal Birkhoff Theory for Fast Trajectory Optimization,” Journal of Guidance, Control and Dynamics , vol. 47, no. 12, pp. 2482–2496, Dec

  46. [54]

    Hessians in Birkhoff-Theoretic Trajecto ry Optimizaiton,

    Ross, I. M., “Hessians in Birkhoff-Theoretic Trajecto ry Optimizaiton,” Journal of Guidance, Control and Dynamics, V ol. 48, No. 9, 2025, pp. 2105–2112. https://doi.org/10.2514/1.G008778. 36 of 38 American Institute of Aeronautics and Astronautics

  47. [55]

    A Million-Point Fast Trajectory Optimization Solver,

    Javeed, A., Kouri, D. P ., Ridzal, D., Steinman, J. D., an d Ross, I. M., “A Million-Point Fast Trajectory Optimization Solver,” AAS Paper 25-689, August 2025. arXiv preprint arXiv:2509.01855. https://arxiv.org/abs/2509.01855

  48. [56]

    Necessary C onditions for Singular Arcs for General Restricted Multi-Body Problem,

    Park, C., Ross, I. M., Gong, Q., and Y an, H., “Necessary C onditions for Singular Arcs for General Restricted Multi-Body Problem,” 49th IEEE Conference on Decision and Control , IEEE, Piscataway, NJ, 2010, pp. 5816-5821. https://doi.org/10.1109/cdc.2010.5717305

  49. [57]

    Enhancements to the DIDO Optimal Control T oolbox,

    Ross, I. M., “Enhancements to the DIDO Optimal Control T oolbox,” June 2020, arXiv:2004.13112. https://arxiv.org/abs/2004.13112

  50. [58]

    Spectral Algorit hm for Pseudospectral Methods in Optimal Control,

    Gong, Q., Fahroo, F., and Ross, I. M., “Spectral Algorit hm for Pseudospectral Methods in Optimal Control,” Journal of Guidance, Control, and Dynamics , V ol. 31, No. 3, May 2008, pp. 460–471. https://doi.org/10.2514/1.32908

  51. [59]

    Sc aling and Balancing for High-Performance Computation of Optimal Controls,

    Ross, I. M., Gong, Q., Karpenko, M. and Proulx, R. J., “Sc aling and Balancing for High-Performance Computation of Optimal Controls,” Journal of Guidance, Control and Dynamics , V ol. 41, No. 10, 2018, pp. 2086–2097. https://doi.org/10.2514/1.g003382

  52. [60]

    Guess-Free Trajectory Optimi zation,

    Ross, I. M. and Gong, Q., “Guess-Free Trajectory Optimi zation,” AIAA/AAS Astrodynamics Specialist Conference and Exhibit, 18–21 August 2008, Honolulu, Hawaii, AIAA 2008-6273. https://doi.org/10.2514/6.2008-6273

  53. [61]

    Karpenko, J

    M. Karpenko, J. K. Halverson, Y . Tedla, T. Lippman, K. Ha n, I. M. Ross, M. K. Barker, M. S. Robin- son, W. Carter, A. K. Boyd, G. W. Patterson, C. M. O’Shea, F. S. Turner, R. T. Poffenbarger, C. J. Den- nehy, T. V anzwieten, and A. A. Wolf, “Fast Attitude Maneuver s for NASA...

  54. [62]

    Pseudospectral Knotting Me thods for Solving Optimal Control Problems,

    Ross, I. M. and Fahroo, F., “Pseudospectral Knotting Me thods for Solving Optimal Control Problems,” Journal of Guidance, Control and Dynamics , V ol. 27, No. 3, pp. 397-405, 2004. https://doi.org/10.2514/1.3426

  55. [63]

    Autonomous Pseudospectral Kn otting Methods for Space Mission Opti- mization,

    Gong, Q. and Ross, I. M., “Autonomous Pseudospectral Kn otting Methods for Space Mission Opti- mization,” Advances in the Astronatuical Sciences , V ol. 124, 2006, AAS 06-151, pp. 779–794

  56. [64]

    The Control and Use of Libration-Poin t Satellites,

    Farquhar, R. W., “The Control and Use of Libration-Poin t Satellites,” Stanford University, CA, 1968

  57. [65]

    Near Rect ilinear Halo Orbits and Their Application in Cis-Lunar Space

    Zimovan, E. M., Howell, K. C. and Davis, D. C., “Near Rect ilinear Halo Orbits and Their Application in Cis-Lunar Space” 3rd IAA Conference on Dynamics and Control of Space Systems , May 2017. IAA-AAS-DyCoSS3-125

  58. [66]

    N., Approximation Theory and Approximation Practice , SIAM, Society for Industrial and Applied Mathematics, Philadelphia, extended edition e d., 2020

    Trefethen, L. N., Approximation Theory and Approximation Practice , SIAM, Society for Industrial and Applied Mathematics, Philadelphia, extended edition e d., 2020. https://doi.org/10.1137/1.9781611975949

  59. [67]

    P ., Chebyshev and F ourier Spectral Methods

    Boyd, J. P ., Chebyshev and F ourier Spectral Methods. Mineola, New Y ork: Dover Publications, 2000

  60. [68]

    Advances in Pseudospectral Methods for Optimal Control,

    Fahroo, F. and Ross, I. M., “Advances in Pseudospectral Methods for Optimal Control,” AIAA Guid- ance, Navigation and Control Conference and Exhibit , American Institute of Aeronautics and Astro- nautics, Honolulu, Hawaii, Aug. 2008. https://doi.org/10.2514/6.2008-7309 37 of 3...

  61. [69]

    A Review of Pseudospectra l Optimal Control: From Theory to Flight,

    Ross, I. M. and Karpenko, M., “A Review of Pseudospectra l Optimal Control: From Theory to Flight,” Annual Reviews in Control, V ol. 36, No. 2, Dec. 2012, pp. 182–197. https://doi.org/10.1016/j.arcontrol.2012.09.002

  62. [70]

    Direct Trajectory Optimiza tion by a Chebyshev Pseudospectral Method,

    Fahroo, F. and Ross, I. M., “Direct Trajectory Optimiza tion by a Chebyshev Pseudospectral Method,” Journal of Guidance, Control and Dynamics , V ol. 25, No. 1, 2002, pp.160-166. https://doi.org/10.2514/2.4862

  63. [71]

    Costate Computati on by a Chebyshev Pseudospectral Method,

    Gong, Q., Ross, I. M. and Fahroo, F., “Costate Computati on by a Chebyshev Pseudospectral Method,” Journal of Guidance, Control and Dynamics , V ol. 33, No. 2, pp. 623-628, 2010. https://doi.org/10.2514/1.45154

  64. [72]

    T. A. Driscoll, Hale, N., and Trefethen, L. N., editors, Chebfun Guide, Pafnuty Publications, Oxford, 2014

  65. [73]

    Six Myths of Polynomial Interpolatio n and Quadrature,

    L. N. Trefethen, “Six Myths of Polynomial Interpolatio n and Quadrature,” Mathematics Today, 47 (2011), pp. 184–188

  66. [74]

    Fast Mesh Refinement in Pseudospectral Optimal Control,

    Koeppen, N., Ross, I. M., Wilcox, L. C., and Proulx, R. J. , “Fast Mesh Refinement in Pseudospectral Optimal Control,” Journal of Guidance, Control, and Dynamics , V ol. 42, No. 4, April 2019, pp. 711– 722. https://doi.org/10.2514/1.g003904

  67. [75]

    An Optimal Control Theory for Nonlinear Op timization,

    Ross, I. M., “An Optimal Control Theory for Nonlinear Op timization,” Journal of Computational and Applied Mathematics, V ol. 354, July 2019, 39–51. http://dx.doi.org/10.1016/j.cam.2018.12.044

  68. [76]

    Derivation of Coordinate Descent Algorit hms from Optimal Control Theory

    Ross, I. M., “Derivation of Coordinate Descent Algorit hms from Optimal Control Theory” Operartions Research F orum, V ol. 4, No. 2, 2023. https://doi.org/10.1007/s43069-023-00215-6

  69. [77]

    On the Mathematics of the Natural Physics o f Optimization,

    Ross, I. M., “On the Mathematics of the Natural Physics o f Optimization,” Journal of Nonlinear and V ariational Analysis, to appear. 38 of 38 American Institute of Aeronautics and Astronautics

  70. [2024]

    https://doi.org/10.2514/1.G007738

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.