arXiv subjects

Maciej J. Capiński

Publications and source records attributed to Maciej J. Capiński.

8 recordsLinked to original sources

arXiv2024

Breakdown of homoclinic orbits to L3: Nonvanishing of the Stokes constant

The Restricted Planar Circular 3-Body Problem models the motion of a body of negligible mass under the gravitational influence of two massive bodies, called the primaries, which perform circular orbits coplanar with that of the massless body. In rotating coordinates, it can be modelled by a two degrees of freedom Hamiltonian system, which has five critical points called the Lagrange points. Among them, the point L3 is a saddle-center which is collinear with the primaries and beyond the largest of the two. The papers arXiv:2107.09942 and arXiv:2107.09941 provide an asymptotic formula for the distance between the one dimensional stable and unstable manifolds of L3 in a transverse section for small values of the mass ratio $μ$. This distance is exponentially small with respect to $μ$ and its first order depends on what is usually called a Stokes constant. The non-vanishing of this constant implies that the distance between the invariant manifolds at the section is not zero. In this paper, we prove that the Stokes constant is non-zero. The proof is computer assisted.

math.DS↗

arXiv2024

Characterising blenders via covering relations and cone conditions

We present a characterisation of a blender based on the topological alignment of certain sets in phase space in combination with cone conditions. Importantly, the required conditions can be verified by checking properties of a single iterate of the diffeomorphism, which is achieved by finding finite series of sets that form suitable sequences of alignments. This characterisation is applicable in arbitrary dimension. Moreover, the approach naturally extends to establishing C1-persistent heterodimensional cycles. Our setup is flexible and allows for a rigorous, computer-assisted validation based on interval arithmetic.

math.DS↗

arXiv2024

Oscillatory collision approach in the Earth-Moon restricted three body problem

We consider the Earth-Moon planar circular restricted three body problem and present a proof of the existence orbits, which approach arbitrarily close to one of the primary masses, and at the same time after each approach they move away from the mass to a prescribed distance. In other words the orbits oscillate between being arbitrarily close to collision and away from it. We achieve our goal with the use of topological tools combined with rigorous interval computations. We use the Levi-Civita regularization and validate that the dynamics in the regularized coordinates leads to a good topological alignment between various sets. We then perform shadowing arguments that this leads to the required dynamics in the original coordinates of the system.

math.DS↗

arXiv2022

Breakdown of heteroclinic connections in the analytic Hopf-Zero singularity: Rigorous computation of the Stokes constant

Consider analytic generic unfoldings of the three dimensional conservative Hopf-Zero singularity. Under open conditions on the parameters determining the singularity, the unfolding possesses two saddle-foci when the unfolding parameter is small enough. One of them has one dimensional stable manifold and two dimensional unstable manifold whereas the other one has one dimensional unstable manifold and two dimensional stable manifold. Baldomá, Castejón and Seara [BCS13] gave an asymptotic formula for the distance between the one dimensional invariant manifolds in a suitable transverse section. This distance is exponentially small with respect to the perturbative parameter, and it depends on what is usually called a Stokes constant. The non-vanishing of this constant implies that the distance between the invariant manifolds at the section is not zero. However, up to now there do not exist analytic techniques to check that condition. In this paper we provide a method for obtaining accurate rigorous computer assisted bounds for the Stokes constant. We apply it to two concrete unfoldings of the Hopf-Zero singularity, obtaining a computer assisted proof that the constant is non-zero.

math.DS↗

arXiv2022

Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds II: Application to the Restricted Three Body Problem

We present a computer assisted proof or diffusion in the Planar Elliptic Restricted Three Body Problem. We treat the elliptic problem as a perturbation of the circular problem, where the perturbation parameter is the eccentricity of the primaries. The unperturbed system preserves energy, and we show that for sufficiently small perturbations we have orbits with explicit energy changes, independent from the size of the perturbation. The result is based on shadowing of orbits along transversal intersections of stable/unstable manifolds of a normally hyperbolic cylinder.

math.DS↗

arXiv2021

Oscillatory Motions and Parabolic Manifolds at Infinity in the Planar Circular Restricted Three Body Problem

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 obtain the existence of oscillatory motions. All the constructed trajectories cross the orbit of Jupiter but avoid close encounters with it. The proof relies on the method of correctly aligned windows and is computer assisted.

math.DS↗

arXiv2015

Hedging Conditional Value at Risk with Options

We present a method of hedging Conditional Value at Risk of a position in stock using put options. The result leads to a linear programming problem that can be solved to optimise risk hedging.

q-fin.RM↗

arXiv2015

Geometric proof for normally hyperbolic invariant manifolds

We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a given neighbourhood. Our proof follows from a graph transform type method and is performed in the state space of the system. We do not require the map to be invertible. From our method follows also the smoothness of the established manifolds, which depends on the smoothness of the map, as well as rate conditions, which follow from bounds on the derivative of the map. Our method is tailor made for rigorous, interval arithmetic based, computer assisted validation of the needed assumptions.

math.DS↗