Related papers: Continuation of homoclinic orbits in the suspensio…
We consider homoclinic solutions of fourth order equations $$ u^{""} + \beta^2 u^{"} + V_u (u)=0 {in} \R ,$$ where $V(u)$ is either the suspension bridge type $V(u)=e^u-1-u$ or Swift-Hohenberg type $ V(u)= {1/4}(u^2-1)^2$. For the…
In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of…
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…
We study the existence of homoclic solutions for reversible Hamiltonian systems taking the family of differential equations u^4+au^2-u+f(u,b)=0 as a model. Here f is an analytic function and a, b real parameters. These equations are…
Existence of homoclinic orbits in the cubic nonlinear Schr\"odinger equation under singular perturbations is proved. Emphasis is placed upon the regularity of the semigroup $e^{\e t \pa_x^2}$ at $\e = 0$. This article is a substantial…
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…
This paper introduces techniques of symplectic topology to the study of homoclinic orbits in Hamiltonian systems. The main result is a strong generalization of homoclinic existence results due to Sere and to Coti-Zelati, Ekeland and Sere,…
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…
In this paper, we study the existence and multiplicity of homoclinic solutions for following Hamiltonian systems with asymptotically quadratic nonlinearities at infinity \begin{eqnarray*} \ddot{u}(t)-L(t)u+\nabla W(t,u)=0. {eqnarray*} We…
This paper investigates the dynamics of a particle orbiting around a rotating homogeneous cube, and shows fruitful results that have implications for examining the dynamics of orbits around non-spherical celestial bodies. This study can be…
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…
Homoclinic snaking is a widespread phenomenon observed in many pattern-forming systems. Demonstrating its occurrence in non-perturbative regimes has proven difficult, although a forcing theory has been developed based on the identification…
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…
About twenty years ago, Rabinowitz showed firstly that there exist heteroclinic orbits of autonomous Hamiltonian system joining two equilibria. A special case of autonomous Hamiltonian system is the classical pendulum equation. The phase…
In this article, we study the existence of homoclinic orbits for the first-order Hamiltonian system {equation*} J\dot{u}(t)+\nabla H(t,u(t))=0,\quad t\in\mathbb{R}. {equation*} Under the Ambrosetti-Rabinowitz's superquadraticy condition, or…
The restricted circular three-body problem is considered for the following parameter values $C=3.03$, $\mu=0.0009537$ - the values for {\em Oterma} comet in the Sun-Jupiter system. We present a computer assisted proof of an existence of…
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…
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…
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 interpret the close link between the critical points of Mather's barrier functions and minimal homoclinic orbits with respect to the Aubry sets on $\mathbb{T}^n$. We also prove a critical point theorem for barrier functions, and the…