Related papers: Validated computations for connecting orbits in po…
This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a…
We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular…
In this work we develop a method for computing mathematically rigorous enclosures of some one dimensional manifolds of heteroclinic orbits for nonlinear maps. Our method exploits a rigorous curve following argument build on high order…
We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds (NHIMs). The method is based on a new geometric proof of the normally…
In this paper, we consider the dynamics of solutions to complex-valued evolutionary partial differential equations (PDEs) and show existence of heteroclinic orbits from nontrivial equilibria to zero via computer-assisted proofs. We also…
This paper develops a computational method for studying stable/unstable manifolds attached to periodic orbits of differential equations. The method uses high order Chebyshev-Taylor series approximations in conjunction with the…
This paper presents methodology for the computation of whole sets of heteroclinic connections between iso-energetic slices of center manifolds of center x center x saddle fixed points of autonomous Hamiltonian systems. It involves: (a)…
This article concerns arbitrary finite heteroclinic networks in any phase space dimension whose vertices can be a random mixture of equilibria and periodic orbits. In addition, tangencies in the intersection of un/stable manifolds are…
In this paper we study high order expansions of chart maps for local finite dimensional unstable manifolds of hyperbolic equilibrium solutions of scalar parabolic partial differential equations. Our approach is based on studying an…
We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds. We do not need to know the explicit formulas for the homoclinic orbits prior…
This dissertation describes the space of heteroclinic orbits for a class of semilinear parabolic equations, focusing primarily on the case where the nonlinearity is a second degree polynomial with variable coefficients. Along the way, a new…
We present a methodology for computer assisted proofs of Shil'nikov homoclinic intersections. It is based on geometric bounds on the invariant manifolds using rate conditions, and on propagating the bounds by an interval arithmetic…
The task of inducing, via continuous static state-feedback control, an asymptotically stable heteroclinic orbit in a nonlinear control system is considered in this paper. The main motivation comes from the problem of ensuring convergence to…
We describe a method for computing an atlas for the stable or unstable manifold attached to an equilibrium point, and implement the method for the saddle-focus libration points of the planar equilateral restricted four body problem. We…
We present a computational method for studying transverse homoclinic orbits for periodic solutions of delay differential equations, a phenomenon that we refer to as the \emph{Poincar\'{e} scenario}. The strategy is geometric in nature, and…
In this paper, we prove existence of symmetric homoclinic orbits for the suspension bridge equation $u""+\beta u" + e^u-1=0$ for all parameter values $\beta \in [0.5,1.9]$. For each $\beta$, a parameterization of the stable manifold is…
We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous…
We study bifurcations of homoclinic orbits to hyperbolic saddle equilibria in a class of four-dimensional systems which may be Hamiltonian or not. Only one parameter is enough to treat these types of bifurcations in Hamiltonian systems but…
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…
We prove a general theorem on the existence of heteroclinic orbits in Hilbert spaces, and present a method to reduce the solutions of some P.D.E. problems to such orbits. In our first application, we give a new proof in a slightly more…