Computer-assisted proof of a periodic solution in a nonlinear feedback DDE
Słowa kluczowe
Topological degree, dynamical systems, ordinary differential equationsAbstrakt
In this paper, we rigorously prove the existence of a non-trivial periodic orbit for the nonlinear DDE: $x'(t) = - K \sin(x(t-1))$ for $K=1.6$. We show that the equations for the Fourier coefficients have a solution by computing the local Brouwer degree. This degree can be computed by using a homotopy, and its validity can be proved by checking a finite number of inequalities. Checking these inequalities is done by a computer program.Pobrania
Opublikowane
2009-06-01
Jak cytować
1.
ZALEWSKI, Mikołaj. Computer-assisted proof of a periodic solution in a nonlinear feedback DDE. Topological Methods in Nonlinear Analysis [online]. 1 czerwiec 2009, T. 33, nr 2, s. 373–393. [udostępniono 22.7.2024].
Numer
Dział
Articles
Statystyki
Liczba wyświetleń i pobrań: 0
Liczba cytowań: 0