# American Institute of Mathematical Sciences

October  2006, 14(4): 721-736. doi: 10.3934/dcds.2006.14.721

## Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof

 1 Department of Mathematics, ETH Zürich, CH-8092 Zürich, Switzerland, Switzerland, Switzerland

Received  October 2004 Revised  July 2005 Published  January 2006

We study the delay equation $\dot{x}(t)=-\mu x(t)+f(x(t-1))$ with $\mu>0$ and a nonmonotone $C^1$-function $f$ obeying $x f(x)>0$ (positive feedback) outside a small neighbourhood of zero. By means of a computer-assisted method we prove the existence of asymptotically orbitally stable periodic solutions. The main idea behind our proof is the reduction of the infinite-dimensional dynamics to a finite-dimensional map. In particular, for two classes of nonlinearities $f$ we construct two types of solutions, the dynamics of which is reduced to a one- and a two-dimensional map, respectively.
Citation: A. Aschwanden, A. Schulze-Halberg, D. Stoffer. Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof. Discrete & Continuous Dynamical Systems, 2006, 14 (4) : 721-736. doi: 10.3934/dcds.2006.14.721
 [1] Chiara Caracciolo, Ugo Locatelli. Computer-assisted estimates for Birkhoff normal forms. Journal of Computational Dynamics, 2020, 7 (2) : 425-460. doi: 10.3934/jcd.2020017 [2] Maxime Breden, Jean-Philippe Lessard. Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs. Discrete & Continuous Dynamical Systems - B, 2018, 23 (7) : 2825-2858. doi: 10.3934/dcdsb.2018164 [3] Thomas Wanner. Computer-assisted equilibrium validation for the diblock copolymer model. Discrete & Continuous Dynamical Systems, 2017, 37 (2) : 1075-1107. doi: 10.3934/dcds.2017045 [4] István Balázs, Jan Bouwe van den Berg, Julien Courtois, János Dudás, Jean-Philippe Lessard, Anett Vörös-Kiss, JF Williams, Xi Yuan Yin. Computer-assisted proofs for radially symmetric solutions of PDEs. Journal of Computational Dynamics, 2018, 5 (1&2) : 61-80. doi: 10.3934/jcd.2018003 [5] Piotr Zgliczyński. Steady state bifurcations for the Kuramoto-Sivashinsky equation: A computer assisted proof. Journal of Computational Dynamics, 2015, 2 (1) : 95-142. doi: 10.3934/jcd.2015.2.95 [6] Maciej J. Capiński, Emmanuel Fleurantin, J. D. Mireles James. Computer assisted proofs of two-dimensional attracting invariant tori for ODEs. Discrete & Continuous Dynamical Systems, 2020, 40 (12) : 6681-6707. doi: 10.3934/dcds.2020162 [7] Wenjie Li, Lihong Huang, Jinchen Ji. Globally exponentially stable periodic solution in a general delayed predator-prey model under discontinuous prey control strategy. Discrete & Continuous Dynamical Systems - B, 2020, 25 (7) : 2639-2664. doi: 10.3934/dcdsb.2020026 [8] Bao Qing Hu, Song Wang. A novel approach in uncertain programming part I: new arithmetic and order relation for interval numbers. Journal of Industrial & Management Optimization, 2006, 2 (4) : 351-371. doi: 10.3934/jimo.2006.2.351 [9] Xavier Cabré. A new proof of the boundedness results for stable solutions to semilinear elliptic equations. Discrete & Continuous Dynamical Systems, 2019, 39 (12) : 7249-7264. doi: 10.3934/dcds.2019302 [10] Song Wang. Numerical solution of an obstacle problem with interval coefficients. Numerical Algebra, Control & Optimization, 2020, 10 (1) : 23-38. doi: 10.3934/naco.2019030 [11] Anete S. Cavalcanti. An existence proof of a symmetric periodic orbit in the octahedral six-body problem. Discrete & Continuous Dynamical Systems, 2017, 37 (4) : 1903-1922. doi: 10.3934/dcds.2017080 [12] Szandra Beretka, Gabriella Vas. Stable periodic solutions for Nazarenko's equation. Communications on Pure & Applied Analysis, 2020, 19 (6) : 3257-3281. doi: 10.3934/cpaa.2020144 [13] Carl. T. Kelley, Liqun Qi, Xiaojiao Tong, Hongxia Yin. Finding a stable solution of a system of nonlinear equations arising from dynamic systems. Journal of Industrial & Management Optimization, 2011, 7 (2) : 497-521. doi: 10.3934/jimo.2011.7.497 [14] Richard Hofer, Arne Winterhof. On the arithmetic autocorrelation of the Legendre sequence. Advances in Mathematics of Communications, 2017, 11 (1) : 237-244. doi: 10.3934/amc.2017015 [15] E. N. Dancer, Norimichi Hirano. Existence of stable and unstable periodic solutions for semilinear parabolic problems. Discrete & Continuous Dynamical Systems, 1997, 3 (2) : 207-216. doi: 10.3934/dcds.1997.3.207 [16] Josep M. Olm, Xavier Ros-Oton. Approximate tracking of periodic references in a class of bilinear systems via stable inversion. Discrete & Continuous Dynamical Systems - B, 2011, 15 (1) : 197-215. doi: 10.3934/dcdsb.2011.15.197 [17] Raoul-Martin Memmesheimer, Marc Timme. Stable and unstable periodic orbits in complex networks of spiking neurons with delays. Discrete & Continuous Dynamical Systems, 2010, 28 (4) : 1555-1588. doi: 10.3934/dcds.2010.28.1555 [18] Yong Li, Zhenxin Liu, Wenhe Wang. Almost periodic solutions and stable solutions for stochastic differential equations. Discrete & Continuous Dynamical Systems - B, 2019, 24 (11) : 5927-5944. doi: 10.3934/dcdsb.2019113 [19] Vera Ignatenko. Homoclinic and stable periodic solutions for differential delay equations from physiology. Discrete & Continuous Dynamical Systems, 2018, 38 (7) : 3637-3661. doi: 10.3934/dcds.2018157 [20] Feng Wang, Jifeng Chu, Zaitao Liang. Prevalence of stable periodic solutions in the forced relativistic pendulum equation. Discrete & Continuous Dynamical Systems - B, 2018, 23 (10) : 4579-4594. doi: 10.3934/dcdsb.2018177

2020 Impact Factor: 1.392