Related papers: Validated computations for connecting orbits in po…
The problem of finding a point in the intersection of closed sets can be solved by the method of alternating projections and its variants. It was shown in earlier papers that for convex sets, the strategy of using quadratic programming (QP)…
Using a variational method, we prove the existence of heteroclinic solutions for a 6dimensional system of ordinary differential equations. We derive this system from the classical B{\'e}nard-Rayleigh problem near the convective instability…
In this work we consider a two-dimensional piecewise smooth system, defined in two domains separated by the switching manifold $x=0$. We assume that there exists a piecewise-defined continuous Hamiltonian that is a first integral of the…
Connecting orbits are important invariant structures in the state space of nonlinear systems and various techniques are designed for their computation. However, a uniform analytic approximation of the whole orbit seems rare. Here, based on…
We consider a Hamiltonian system with 2 degrees of freedom, with a hyperbolic equilibrium point having a loop or homoclinic orbit (or, alternatively, two hyperbolic equilibrium points connected by a heteroclinic orbit), as a step towards…
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…
We present an extension of the theory known as Lin's method to heteroclinic chains that connect hyperbolic equilibria and hyperbolic periodic orbits. Based on the construction of a so-called Lin orbit, that is, a sequence of continuous…
We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order…
In this paper we consider families of holomorphic maps defined on subsets of the complex plane, and show that the technique developed in \cite{LSvS1} to treat unfolding of critical relations can also be used to deal with cases where the…
For piecewise-linear maps the stable and unstable manifolds of hyperbolic periodic solutions are themselves piecewise-linear. Hence compact subsets of these manifolds can be represented using polytopes (i.e. polygons, in the case of…
For a given a normally hyperbolic invariant manifold, whose stable and unstable manifolds intersect transversally, we consider several tools and techniques to detect trajectories with prescribed itineraries: the scattering map, the…
Semiclassical sum rules, such as the Gutzwiller trace formula, depend on the properties of periodic, closed, or homoclinic (heteroclinic) orbits. The interferences embedded in such orbit sums are governed by classical action functions and…
The Melnikov method is applied to periodically perturbed open systems modeled by an inverse--square--law attraction center plus a quadrupolelike term. A compactification approach that regularizes periodic orbits at infinity is introduced.…
We establish necessary and sufficient conditions for the realization of mapping schemata as post-critically finite polynomials, or more generally, as post-critically finite polynomial maps from a finite union of copies of the complex…
To verify the correct operation of systems, engineers need to determine the set of configurations of a dynamical model that are able to safely reach a specified configuration under a control law. Unfortunately, constructing models for…
Convergence to stationary solutions in fully nonlinear parabolic systems with general nonlinear boundary conditions is shown in situations where the set of stationary solutions creates a $C^2$-manifold of finite dimension which is normally…
Transient stability assessment of power systems needs to account for increased risk from uncertainties due to the integration of renewables and distributed generators. The uncertain operating condition of the power grid hinders reliable…
We present a method for proving the existence of symmetric periodic, heteroclinic or homoclinic orbits in dynamical systems with the reversing symmetry. As an application we show that the Planar Restricted Circular Three Body Problem…
A general relation is derived for the action difference between two fixed points and a phase space area bounded by the irreducible component of a heteroclinic tangle. The determination of this area can require accurate calculation of…
We propose a general framework for computer-assisted verification of the presence of symmetry breaking, period-tupling and touch-and-go bifurcations of symmetric periodic orbits for reversible maps. The framework is then adopted to…