arXiv subjects

Jason D. Mireles James

Publications and source records attributed to Jason D. Mireles James.

7 recordsLinked to original sources

arXiv2026

From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal's Conjecture

For the three body problem with equal masses, we prove that the most symmetric continuation class of Lagrange's equilateral triangle solution, also referred to as the $P_{12}$ family of Marchal, contains the remarkable figure eight choreography discovered by Moore in 1993, and proven to exist by Chenciner and Montgomery in 2000. This settles a conjecture of Marchal which dates back to the 1999 conference on Celestial Mechanics in Evanston Illinois, celebrating Donald Saari's 60th birthday.

math.DS↗

arXiv2023

Numerical computation of transverse homoclinic orbits for periodic solutions of delay differential equations

We present a computational method for studying transverse homoclinic orbits for periodic solutions of delay differential equations, a phenomenon that we refer to as the \emph{Poincaré scenario}. The strategy is geometric in nature, and consists of viewing the connection as the zero of a nonlinear map, such that the invertibility of its Fréchet derivative implies the transversality of the intersection. The map is defined by a projected boundary value problem (BVP), with boundary conditions in the (finite dimensional) unstable and (infinite dimensional) stable manifolds of the periodic orbit. The parameterization method is used to compute the unstable manifold and the BVP is solved using a discrete time dynamical system approach (defined via the \emph{method of steps}) and Chebyshev series expansions. We illustrate this technique by computing transverse homoclinic orbits in the cubic Ikeda and Mackey-Glass systems.

math.DS↗

arXiv2023

Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem

This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori framework for computer assisted existence proofs. Our framework is applied to the study collision and near collision orbits in the circular restricted three body problem. In this case the coordinate systems are the standard rotating coordinates, and the two Levi-Civita coordinate systems regularizing collisions with each of the massive primaries. The proposed framework is used to prove the existence of a number of orbits which have long been studied numerically in the celestial mechanics literature, but for which there are no existing analytical proofs at the mass and energy values considered here. These include transverse ejection/collisions from one primary body to the other, Strömgren's assymptotic periodic orbits (transverse homoclinics for $L_{4,5}$), families of periodic orbits passing through collision, and orbits connecting $L_4$ to ejection or collision.

math.DS↗

arXiv2020

Computer Assisted Proofs of Attracting Invariant Tori for ODEs

This work studies existence and regularity questions for attracting invariant tori in three dimensional dissipative systems of ordinary differential equations. Our main result is a constructive method of computer assisted proof which applies to explicit problems in non-perturbative regimes. We obtain verifiable lower bounds on the regularity of the attractor in terms of the ratio of the expansion rate on the torus with the contraction rate near the torus. We consider separately two important cases of rotational and resonant tori. In the rotational case we obtain $C^k$ lower bounds on the regularity of the embedding. In the resonant case we verify the existence of tori which are only $C^0$ and neither star-shaped nor Lipschitz

math.DS↗

arXiv2019

Resonant Tori, Transport Barriers, and Chaos in a Vector Field with a Neimark-Sacker Bifurcation

We make a detailed numerical study of a three dimensional dissipative vector field derived from the normal form for a cusp-Hopf bifurcation. The vector field exhibits a Neimark-Sacker bifurcation giving rise to an attracting invariant torus. Our main goals are to (A) follow the torus via parameter continuation from its appearance to its disappearance, studying its dynamics between these events, and to (B) study the embeddings of the stable/unstable manifolds of the hyperbolic equilibrium solutions over this parameter range, focusing on their role as transport barriers and their participation in global bifurcations. Taken together the results highlight the main features of the global dynamics of the system.

math.DS↗

arXiv2016

Validated Computation of Heteroclinic Sets

In this work we develop a method for computing mathematically rigorous enclosures of some one dimensional manifolds of heteroclinic orbits for nonlinear maps. Our method exploits a rigorous curve following argument build on high order Taylor approximation of the local stable/unstable manifolds. The curve following argument is a uniform interval Newton method applied on short line segments. The definition of the heteroclinic sets involve compositions of the map and we use a Lohner-type representation to overcome the accumulation of roundoff errors. Our argument requires precise control over the local unstable and stable manifolds so that we must first obtain validated a-posteriori error bounds on the truncation errors associated with the manifold approximations. We illustrate the utility of our method by proving some computer assisted theorems about heteroclinic invariant sets for a volume preserving map of $\mathbb{R}^3$.

math.DS↗

arXiv2015

Computation of maximal local (un)stable manifold patches by the parameterization method

In this work we develop some automatic procedures for computing high order polynomial expansions of local (un)stable manifolds for equilibria of differential equations. Our method incorporates validated truncation error bounds, and maximizes the size of the image of the polynomial approximation relative to some specified constraints. More precisely we use that the manifold computations depend heavily on the scalings of the eigenvectors: indeed we study the precise effects of these scalings on the estimates which determine the validated error bounds. This relationship between the eigenvector scalings and the error estimates plays a central role in our automatic procedures. In order to illustrate the utility of these methods we present several applications, including visualization of invariant manifolds in the Lorenz and FitzHugh-Nagumo systems and an automatic continuation scheme for (un)stable manifolds in a suspension bridge problem. In the present work we treat explicitly the case where the eigenvalues satisfy a certain non-resonance condition.

math.DS↗