Showing 1–6 of 6 results for author: Hénot, O

Global Continuation of Stable Periodic Orbits in Systems of Competing Predators

Authors: Kevin E. M. Church, Jia-Yuan Dai, Olivier Hénot, Phillipo Lappicy, Nicola Vassena

Abstract: We develop a continuation technique to obtain global families of stable periodic orbits, delimited by transcritical bifurcations at both ends. To this end, we formulate a zero-finding problem whose zeros correspond to families of periodic orbits. We then define a Newton-like fixed-point operator and establish its contraction near a numerically computed approximation of the family. To verify the co… ▽ More We develop a continuation technique to obtain global families of stable periodic orbits, delimited by transcritical bifurcations at both ends. To this end, we formulate a zero-finding problem whose zeros correspond to families of periodic orbits. We then define a Newton-like fixed-point operator and establish its contraction near a numerically computed approximation of the family. To verify the contraction, we derive sufficient conditions expressed as inequalities on the norms of the fixed-point operator, and involving the numerical approximation. These inequalities are then rigorously checked by the computer via interval arithmetic. To show the efficacy of our approach, we prove the existence of global families in an ecosystem with Holling's type II functional response, and thereby solve a stable connection problem proposed by Butler and Waltler in 1981. Our method does not rely on restricting the choice of parameters and is applicable to many other systems that numerically exhibit global families. △ Less

Submitted 3 April, 2025; originally announced April 2025.

From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal's Conjecture

Authors: Renato Calleja, Carlos García-Azpeitia, Olivier Hénot, Jean-Philippe Lessard, Jason D. Mireles James

Abstract: For the three body problem with equal masses, we prove that the most symmetric continuation class of Lagrange's equilateral triangle solution, also referred to as the $P_{12}$ family of Marchal, contains the remarkable figure eight choreography discovered by Moore in 1993, and proven to exist by Chenciner and Montgomery in 2000. This settles a conjecture of Marchal which dates back to the 1999 con… ▽ More For the three body problem with equal masses, we prove that the most symmetric continuation class of Lagrange's equilateral triangle solution, also referred to as the $P_{12}$ family of Marchal, contains the remarkable figure eight choreography discovered by Moore in 1993, and proven to exist by Chenciner and Montgomery in 2000. This settles a conjecture of Marchal which dates back to the 1999 conference on Celestial Mechanics in Evanston Illinois, celebrating Donald Saari's 60th birthday. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Numerical computation of transverse homoclinic orbits for periodic solutions of delay differential equations

Authors: Olivier Hénot, Jean-Philippe Lessard, Jason D. Mireles James

Abstract: 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é scenario}. The strategy is geometric in nature, and consists of viewing the connection as the zero of a nonlinear map, such that the invertibility of its Fréchet derivative implies the transversality of the intersect… ▽ More 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é scenario}. The strategy is geometric in nature, and consists of viewing the connection as the zero of a nonlinear map, such that the invertibility of its Fréchet derivative implies the transversality of the intersection. The map is defined by a projected boundary value problem (BVP), with boundary conditions in the (finite dimensional) unstable and (infinite dimensional) stable manifolds of the periodic orbit. The parameterization method is used to compute the unstable manifold and the BVP is solved using a discrete time dynamical system approach (defined via the \emph{method of steps}) and Chebyshev series expansions. We illustrate this technique by computing transverse homoclinic orbits in the cubic Ikeda and Mackey-Glass systems. △ Less

Submitted 16 October, 2023; v1 submitted 1 April, 2023; originally announced April 2023.

Constructive proofs for localized radial solutions of semilinear elliptic systems on $\mathbb{R}^d$

Authors: Jan Bouwe van den Berg, Olivier Hénot, Jean-Philippe Lessard

Abstract: Ground state solutions of elliptic problems have been analyzed extensively in the theory of partial differential equations, as they represent fundamental spatial patterns in many model equations. While the results for scalar equations, as well as certain specific classes of elliptic systems, are comprehensive, much less is known about these localized solutions in generic systems of nonlinear ellip… ▽ More Ground state solutions of elliptic problems have been analyzed extensively in the theory of partial differential equations, as they represent fundamental spatial patterns in many model equations. While the results for scalar equations, as well as certain specific classes of elliptic systems, are comprehensive, much less is known about these localized solutions in generic systems of nonlinear elliptic equations. In this paper we present a general method to prove constructively the existence of localized radially symmetric solutions of elliptic systems on $\mathbb{R}^d$. Such solutions are essentially described by systems of non-autonomous ordinary differential equations. We study these systems using dynamical systems theory and computer-assisted proof techniques, combining a suitably chosen Lyapunov-Perron operator with a Newton-Kantorovich type theorem. We demonstrate the power of this methodology by proving specific localized radial solutions of the cubic Klein-Gordon equation on $\mathbb{R}^3$, the Swift-Hohenberg equation on $\mathbb{R}^2$, and a three-component FitzHugh-Nagumo system on $\mathbb{R}^2$. These results illustrate that ground state solutions in a wide range of elliptic systems are tractable through constructive proofs. △ Less

Submitted 16 October, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Periodic orbits in Hořava-Lifshitz cosmologies

Authors: Kevin E. M. Church, Olivier Hénot, Phillipo Lappicy, Jean-Philippe Lessard, Hauke Sprink

Abstract: We consider spatially homogeneous Hořava-Lifshitz (HL) models that perturb General Relativity (GR) by a parameter $v\in (0,1)$ such that GR occurs at $v=1/2$. We describe the dynamics for the extremal case $v=0$, which possess the usual Bianchi hierarchy: type $\mathrm{I}$ (Kasner circle of equilibria), type $\mathrm{II}$ (heteroclinics that induce the Kasner map) and type… ▽ More We consider spatially homogeneous Hořava-Lifshitz (HL) models that perturb General Relativity (GR) by a parameter $v\in (0,1)$ such that GR occurs at $v=1/2$. We describe the dynamics for the extremal case $v=0$, which possess the usual Bianchi hierarchy: type $\mathrm{I}$ (Kasner circle of equilibria), type $\mathrm{II}$ (heteroclinics that induce the Kasner map) and type $\mathrm{VI_0},\mathrm{VII_0}$ (further heteroclinics). For type $\mathrm{VIII}$ and $\mathrm{IX}$, we use a computer-assisted approach to prove the existence of periodic orbits which are far from the Mixmaster attractor and thereby we obtain a new behaviour which is not described by the BKL picture of bouncing Kasner-like states. △ Less

Submitted 7 December, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: 21 pages, 7 figures. arXiv admin note: text overlap with arXiv:2012.07614

Spiderweb central configurations

Authors: Olivier Hénot, Christiane Rousseau

Abstract: In this paper we study spiderweb central configurations for the $N$-body problem, i.e configurations given by $N=n \times \ell+1$ masses located at the intersection points of $\ell$ concurrent equidistributed half-lines with $n$ circles and a central mass $m_0$, under the hypothesis that the $\ell$ masses on the $i$-th circle are equal to a positive constant $m_i$; we allow the particular case… ▽ More In this paper we study spiderweb central configurations for the $N$-body problem, i.e configurations given by $N=n \times \ell+1$ masses located at the intersection points of $\ell$ concurrent equidistributed half-lines with $n$ circles and a central mass $m_0$, under the hypothesis that the $\ell$ masses on the $i$-th circle are equal to a positive constant $m_i$; we allow the particular case $m_0=0$. We focus on constructive proofs of the existence of spiderweb central configurations, which allow numerical implementation. Additionally, we prove the uniqueness of such central configurations when $\ell \in \{2,\dots,9\}$ and arbitrary $n$ and $m_i$; under the constraint $m_1\geq m_2\geq \ldots \geq m_n$ we also prove uniqueness for $\ell \in \{10,\dots,18\}$ and $n$ not too large. We also give an algorithm providing a rigorous proof of the existence and local unicity of such central configurations when given as input a choice of $n$, $\ell$ and $m_0, . . . ,m_n$. Finally, our numerical simulations highlight some interesting properties of the mass distribution. △ Less

Submitted 23 October, 2018; originally announced October 2018.