相关论文: A computer-assisted proof of symbolic dynamics in …
The paper contains a rigorous proof of existence of symbolic dynamics chaos in the generalized H\'enon map's 4th iterate $H^4$, which was conjectured in the paper \textit{A 3D Smale Horseshoe in a Hyperchaotic Discrete-Time System} of Li…
This paper concerns the restricted 3-body problem. By applying topological methods we give a computer assisted proof of the existence of some classes of periodic orbits, the existence of symbolic dynamics and we give a rigorous lower…
While numerous planetary and asteroid satellites show evidence for non-trivial rotation states, none are as emblematic as Hyperion, which has long been held as the most striking example of chaotic spin-orbit evolution in the Solar System.…
In this paper, two models of interest for Celestial Mechanics are presented and analysed, using both analytic and numerical techniques, from the point of view of the possible presence of regular and/or chaotic motion, as well as the…
I explore computer simulations of the dynamics of small multi-fermion lattice systems. The method is more general, but I concentrate on Hubbard type models where the fermions hop between a small number of connected sites. I use the natural…
The Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions and with parameter $\nu=0.1212$ is considered. We give a computer-assisted proof the existence of symbolic dynamics and countable infinity of periodic orbits…
Hamiltonian theory of hybrid quantum-classical systems is used to study dynamics of the classical subsystem coupled to different types of quantum systems. It is shown that the qualitative properties of orbits of the classical subsystem…
In a realistic scenario, the evolution of the rotational dynamics of a celestial or artificial body is subject to dissipative effects. Time-varying non-conservative forces can be due to, for example, a variation of the moments of inertia or…
The dynamics of the outer regular satellites of Saturn are driven primarily by the outward migration of Titan, but several independent constraints on Titan's migration are difficult to reconcile with the current resonant orbit of the small…
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 here a new method which applies well ordered symbolic dynamics to find unstable periodic and non-periodic orbits in a chaotic system. The method is simple and efficient and has been successfully applied to a number of different…
Symbolic dynamics for homoclinic orbits in the two-dimensional symmetric map, $x_{n+1}+cx_{n}+x_{n-1}=3x_{n}^3$, is discussed. Above a critical $c^{\ast}$, the system exhibits a fully-developed horse-shoe so that its global behavior is…
The Heyland circle diagram is a classical graphical tool for representing the steady-state behavior of induction machines using no-load and blocked-rotor test data. While widely used in alternating-current machinery texts, the diagram is…
High-precision ephemerides are not only useful in supporting space missions, but also in investigating the physical nature of celestial bodies. This paper reports an update to the orbit and rotation model of the Martian moon Phobos. In…
We consider the dynamical behavior of Martin-L\"of random points in dynamical systems over metric spaces with a computable dynamics and a computable invariant measure. We use computable partitions to define a sort of effective symbolic…
We highlight the existence of a topological horseshoe arising from a a--priori stable model of the binary asteroid dynamics. The inspection is numerical and uses correctly aligned windows, as described in a recent paper by A. Gierzkiewicz…
The seminal physical model for investigating formulations of nonlinear dynamics is the billiard. Gravitational billiards provide an experimentally accessible arena for their investigation. We present a mathematical model that captures the…
We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in…
In this paper, is used the Lagrangian classical mechanics for modeling the dynamics of an underactuated system, specifically a rotary inverted pendulum that will have two equations of motion. A basic design of the system is proposed in…
We set up a methodology for computer assisted proofs of the existence and the KAM stability of an arbitrary periodic orbit for Hamiltonian systems. We give two examples of application for systems with 2 and 3 degrees of freedom. The first…