相关论文: Computer Assisted Proof of Drift Orbits Along Norm…
We consider the elliptic three body problem as a perturbation of the circular problem. We show that for sufficiently small eccentricities of the elliptic problem, and for energies sufficiently close to the energy of the libration point L2,…
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…
We present a diffusion mechanism for time-dependent perturbations of autonomous Hamiltonian systems introduced in [25]. This mechanism is based on shadowing of pseudo-orbits generated by two dynamics: an `outer dynamics', given by…
The restricted planar elliptic three body problem (RPETBP) describes the motion of a massless particle (a comet) under the gravitational field of two massive bodies (the primaries, say the Sun and Jupiter) revolving around their center of…
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…
Hamiltonian normal forms allow for the analytical approximation of center manifold trajectories and their invariant manifolds through the separation of the saddle and center subspaces that make up the dynamics at the collinear libration…
The elliptic restricted three body problem has been well studied. However, the previous formulations of the problem have used a rotating coordinate system to keep the positions of the primary and secondary on the x-axis. This requires the…
The existence of hyperbolic orbits is proved for a class of restricted three-body problems with a fixed energy by taking limit for a sequence of periodic solutions which are obtained by variational methods.
We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular…
In the circular restricted three-body problem, low energy transit orbits are revealed by linearizing the governing differential equations about the collinear Lagrange points. This procedure fails when time-periodic perturbations are…
We present a mechanism for Arnold diffusion in energy in a model of the elliptic Hill four-body problem. Our model is expressed as a small perturbation of the circular Hill four-body problem, with the small parameter being the eccentricity…
The full three-body problem, on the motion of three celestial bodies under their mutual gravitational attraction, is one of the oldest unsolved problems in classical mechanics. The main difficulty comes from the presence of unstable and…
This paper investigates the secular motion of a massless asteroid within the framework of the double-averaged elliptic restricted three-body problem. By employing Poincar\'e variables, we analyze the stability properties of asteroid orbits…
We demonstrate the remarkable effectiveness of boundary value formulations coupled to numerical continuation for the computation of stable and unstable manifolds in systems of ordinary differential equations. Specifically, we consider the…
We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous…
This study examines the dynamics of the third body in an elliptic restricted three-body problem (ERTBP) framework, taking into account perturbations from radiation pressure, oblateness, and elongation of the primary bodies, as well as…
The restricted planar elliptic three body problem models the motion of a massless body under the Newtonian gravitational force of the two other bodies, the primaries, which evolve in Keplerian ellipses. A trajectory is called oscillatory if…
Consider the Restricted Planar Circular 3 Body Problem with both realistic mass ratio and Jacobi constant for the Sun-Jupiter pair. We prove the existence of all possible combinations of past and future final motions. In particular, we…
The main goal of the present paper is to evaluate the perturbed locations and investigate the linear stability of the triangular points. We studied the problem in the elliptic restricted three body problem frame of work. The problem is…
The restricted circular three-body problem is considered for the following parameter values $C=3.03$, $\mu=0.0009537$ - the values for {\em Oterma} comet in the Sun-Jupiter system. We present a computer assisted proof of an existence of…