American Institute of Mathematical Sciences

Advanced
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

A. Aschwanden 1, , A. Schulze-Halberg 1, and  D. Stoffer 1,

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.
Keywords: Stable periodic solution, computer-assisted proof., interval arithmetic.
Mathematics Subject Classification: Primary: 58F15, 58F17; Secondary: 53C3.
Citation: A. Aschwanden, A. Schulze-Halberg, D. Stoffer. Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof. Discrete and 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 and 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 and 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 and Continuous Dynamical Systems, 2020, 40 (12) : 6681-6707. doi: 10.3934/dcds.2020162
[7]

Lorenzo Valvo, Ugo Locatelli. Hamiltonian control of magnetic field lines: Computer assisted results proving the existence of KAM barriers. Journal of Computational Dynamics, 2022  doi: 10.3934/jcd.2022002
[8]

Wenjie Li, Lihong Huang, Jinchen Ji. Globally exponentially stable periodic solution in a general delayed predator-prey model under discontinuous prey control strategy. Discrete and Continuous Dynamical Systems - B, 2020, 25 (7) : 2639-2664. doi: 10.3934/dcdsb.2020026
[9]

Bao Qing Hu, Song Wang. A novel approach in uncertain programming part I: new arithmetic and order relation for interval numbers. Journal of Industrial and Management Optimization, 2006, 2 (4) : 351-371. doi: 10.3934/jimo.2006.2.351
[10]

Xavier Cabré. A new proof of the boundedness results for stable solutions to semilinear elliptic equations. Discrete and Continuous Dynamical Systems, 2019, 39 (12) : 7249-7264. doi: 10.3934/dcds.2019302
[11]

Song Wang. Numerical solution of an obstacle problem with interval coefficients. Numerical Algebra, Control and Optimization, 2020, 10 (1) : 23-38. doi: 10.3934/naco.2019030
[12]

Anete S. Cavalcanti. An existence proof of a symmetric periodic orbit in the octahedral six-body problem. Discrete and Continuous Dynamical Systems, 2017, 37 (4) : 1903-1922. doi: 10.3934/dcds.2017080
[13]

Szandra Beretka, Gabriella Vas. Stable periodic solutions for Nazarenko's equation. Communications on Pure and Applied Analysis, 2020, 19 (6) : 3257-3281. doi: 10.3934/cpaa.2020144
[14]

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 and Management Optimization, 2011, 7 (2) : 497-521. doi: 10.3934/jimo.2011.7.497
[15]

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
[16]

E. N. Dancer, Norimichi Hirano. Existence of stable and unstable periodic solutions for semilinear parabolic problems. Discrete and Continuous Dynamical Systems, 1997, 3 (2) : 207-216. doi: 10.3934/dcds.1997.3.207
[17]

Josep M. Olm, Xavier Ros-Oton. Approximate tracking of periodic references in a class of bilinear systems via stable inversion. Discrete and Continuous Dynamical Systems - B, 2011, 15 (1) : 197-215. doi: 10.3934/dcdsb.2011.15.197
[18]

Raoul-Martin Memmesheimer, Marc Timme. Stable and unstable periodic orbits in complex networks of spiking neurons with delays. Discrete and Continuous Dynamical Systems, 2010, 28 (4) : 1555-1588. doi: 10.3934/dcds.2010.28.1555
[19]

Yong Li, Zhenxin Liu, Wenhe Wang. Almost periodic solutions and stable solutions for stochastic differential equations. Discrete and Continuous Dynamical Systems - B, 2019, 24 (11) : 5927-5944. doi: 10.3934/dcdsb.2019113
[20]

Vera Ignatenko. Homoclinic and stable periodic solutions for differential delay equations from physiology. Discrete and Continuous Dynamical Systems, 2018, 38 (7) : 3637-3661. doi: 10.3934/dcds.2018157

2021 Impact Factor: 1.588

Tools

Metrics

  • PDF downloads (88)
  • HTML views (0)
  • Cited by (2)

Other articles
by authors

[Back to Top]

Copyright © 2022 American Institute of Mathematical Sciences | Privacy Policy