Opis

• Tytuł:
  Computer-assisted proof of a periodic solution in a nonlinear feedback DDE
• Twórca:
  Zalewski, Mikołaj
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2016 Topological Methods in Nonlinear Analysis
• Data:
  2009.06.01
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion;
  Recenzowany artykuł
• Język:
  angielski
• Źródło:
  Topological Methods in Nonlinear Analysis; Vol 33, No 2 (June 2009); 373 - 393;
  1230-3429
• Wydawca:
  Nicolaus Copernicus University in Toruń
• Relacja: https://apcz.umk.pl/TMNA/article/view/TMNA.2009.025/8633
• Temat i słowa kluczowe:
  Topological degree;
  dynamical systems;
  ordinary differential equations;
  55M20;
  34K15;
  34C35
• Identyfikator: https://apcz.umk.pl/TMNA/article/view/TMNA.2009.025
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  pozostałe