Computer-assisteed proof of a periodic solution in a non-linear feedback DDE
| dc.creator | Zalewski, Mikolaj | |
| dc.date | 2007-01-09 | |
| dc.date.accessioned | 2026-07-07T07:39:28Z | |
| dc.date.available | 2026-07-07T07:39:28Z | |
| dc.description | In this paper we rigorously prove the existance of a non-trivial periodic orbit for the non-linear delay differential equation: $x'(t) = K \sin(x(t-1))$ for $K=1.6$. We show that the equations on the Fourier equations have a solution by computing the local Brower degree. This degree can be computed by using a homotopy which validity can be checked by checking a finite number of inequalities. Checking these inequalities is done by a computer program. | |
| dc.description | 19 pages, 1 figure | |
| dc.identifier | https://arxiv.org/abs/math/0701265 | |
| dc.identifier | http://arxiv.org/abs/math/0701265 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/121459 | |
| dc.subject | Dynamical Systems | |
| dc.subject | 34K13, 65G20 | |
| dc.title | Computer-assisteed proof of a periodic solution in a non-linear feedback DDE | |
| dc.type | text |