Related papers: Validated computations for connecting orbits in po…
We propose a new algorithm for computing validated bounds for the solutions to the first order variational equations associated to ODEs. These validated solutions are the kernel of numerics computer-assisted proofs in dynamical systems…
The paper addresses parametric inequality systems described by polynomial functions in finite dimensions, where state-dependent infinite parameter sets are given by finitely many polynomial inequalities and equalities. Such systems can be…
The orbit problem is at the heart of symmetry reduction methods for model checking concurrent systems. It asks whether two given configurations in a concurrent system (represented as finite strings over some finite alphabet) are in the same…
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…
Transverse linearization-based approaches have become among the most prominent methods for orbitally stabilizing feedback design in regards to (periodic) motions of underactuated mechanical systems. Yet, in an $n$-dimensional state-space,…
The aim of this paper is to prove the existence of periodic solutions to symmetric Newtonian systems in any neighborhood of an isolated orbit of equilibria. Applying equivariant bifurcation techniques we obtain a generalization of the…
Chaotic dynamics can be effectively studied by continuation from an anti-integrable limit. We use this limit to assign global symbols to orbits and use continuation from the limit to study their bifurcations. We find a bound on the…
We consider the bifurcation diagram in a suitable parameter plane of a quadratic vector field in $\mathbb{R}^3$ that features a homoclinic flip bifurcation of the most complicated type. This codimension-two bifurcation is characterized by a…
We present a geometric algorithm for obtaining consistent solutions to systems of partial differential equations, mainly arising from singular covariant first-order classical field theories. This algorithm gives an intrinsic description of…
The analysis performed as well as extensive numerical simulations have revealed the possibility of the generation of homoclinic orbits as a result of homoclinic bifurcation in a porous pellet. A method has been proposed for the development…
In this paper we study the dynamics near the equilibrium point of a family of Hamiltonian systems in the neighborhood of a $0^2 iw$ resonance. The existence of a family of periodic orbits surrounding the equilibrium is well-known and we…
The present work studies the robustness of certain basic homoclinic motions in an equilateral restricted four body problem. The problem can be viewed as a two parameter family of conservative autonomous vector fields. The main tools are…
This paper analyses the stability of cycles within a heteroclinic network lying in a three-dimensional manifold formed by six cycles, for a one-parameter model developed in the context of game theory. We show the asymptotic stability of the…
Answering a question posed by Adam Epstein, we show that the collection of conjugacy classes of polynomials admitting a parabolic fixed point and at most one infinite critical orbit is a set of bounded height in the relevant moduli space.…
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…
By decomposing the regular representation of a particular (Heisenberg-like) Lie supergroup into irreducible subspaces, we show that not all of them can be obtained by applying geometric quantization to coadjoint orbits with an even…
In this paper, we propose a new convex approach to stability analysis of nonlinear systems with polynomial vector fields. First, we consider an arbitrary convex polytope that contains the equilibrium in its interior. Then, we decompose the…
We construct a highly-symmetric periodic orbit of eight bodies in three dimensions. In this orbit, each body collides with its three nearest neighbors in a regular periodic fashion. Regularization of the collisions in the orbit is achieved…
In this paper, the dynamical heteroclinic orbit and attractor have been employed to make the late-time behaviors of the model insensitive to the initial condition and thus alleviates the fine tuning problem in cosmological dynamical system…
We prove the presence of chaos near a homoclinic orbit in the modified Li-Yorke sense [10] by implementing chaotic perturbations. A Duffing oscillator is considered to show the effectiveness of our technique, and simulations that support…