Related papers: Beyond the Melnikov method: a computer assisted ap…
Recently, the author and collaborators have developed a systematic program for proving the existence of homoclinic orbits in partial differential equations. Two typical forms of homoclinic orbits thus obtained are: (1). transversal…
In this paper we study the computability of the stable and unstable manifolds of a hyperbolic equilibrium point. These manifolds are the essential feature which characterizes a hyperbolic system. We show that (i) locally these manifolds can…
We numerically study quasiperiodic normally hyperbolic attracting invariant circles that appear for certain parameter values in a family of three-dimensional Henon-like maps. These parameter values make up contour segments in the parameter…
Using stationary phase methods, we provide an explicit formula for the Melnikov function of the one and a half degrees of freedom system given by a Hamiltonian system subject to a rapidly oscillating perturbation. Remarkably, the Melnikov…
We extend the list of known band structure topologies to include a large family of hyperbolic nodal links and knots, occurring both in conventional Hermitian systems where their stability relies on discrete symmetries, and in the…
This Part establishes the geometric theory of uniformly hyperbolic sets with explicit quantitative bounds throughout, and contains five main theorems. The Stable Manifold Theorem is proved via the backward graph transform, with a complete…
The Harper map is one of the simplest chaotic systems exhibiting reconnection of invariant manifolds. The method of asymptotics beyond all orders (ABAO) is used to construct stable/unstable manifolds of the Harper map. When the parameter…
We give an explicit arithmetical condition which guarantees the existence of the unstable manifold of the MacKay approximate renormalisation scheme for the breakup of invariant tori in one and a half degrees of freedom Hamiltonian systems,…
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)…
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…
We consider the $U(1)$ Chern-Simons gauge theory defined in a general closed oriented 3-manifold $M$; the functional integration is used to compute the normalized partition function and the expectation values of the link holonomies. The…
In this paper, we deal with a classical object, namely, a nonhyperbolic limit cycle in a system of smooth autonomous ordinary differential equations. While the existence of a center manifold near such a cycle was assumed in several studies…
We derive Melnikov type conditions for the persistence of heteroclinic solutions in perturbed slowly varying discontinuous differential equations extending to these equations similar results for continuous differential equations.
We use the version of the Lyapunov--Perron method operating on individual solutions to investigate the existence of invariant manifolds for non-autonomous dynamical systems, focusing in particular on inertial and stable manifolds. We…
Determining the existence of compact invariant manifolds is a central quest in the qualitative theory of differential equations. Singularities, periodic solutions, and invariant tori are examples of such invariant manifolds. A classical and…
Invariant manifolds are fundamental tools for describing and understanding nonlinear dynamics. In this paper, we present a theory of stable and unstable manifolds for infinite dimensional random dynamical systems generated by a class of…
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…
An interesting problem in solid state physics is to compute discrete breather solutions in $\mathcal{N}$ coupled 1--dimensional Hamiltonian particle chains and investigate the richness of their interactions. One way to do this is to compute…
We present a novel geometric approach for determining the unique structure of a Hamiltonian and establishing an instability criterion for quantum quadratic systems. Our geometric criterion provides insights into the underlying geometric…
A multi-cube method is developed for solving systems of elliptic and hyperbolic partial differential equations numerically on manifolds with arbitrary spatial topologies. It is shown that any three-dimensional manifold can be represented as…