A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions

Koki Nitta, Nobito Yamamoto, Kaname Matsue

研究成果: ジャーナルへの寄稿学術誌査読

抄録

We propose a verification method for specification of homoclinic orbits as application of our previous work for constructing local Lyapunov functions by verified numerics. Our goal is to specify parameters appeared in the given systems of ordinary differential equations (ODEs) which admit homoclinic orbits to equilibria. Here we restrict ourselves to cases that each equilibrium is independent of parameters. The feature of our methods consists of Lyapunov functions, integration of ODEs by verified numerics, and Brouwer’s coincidence theorem on continuous mappings. Several techniques for constructing continuous mappings from a domain of parameter vectors to a region of the phase space are shown. We present numerical examples for problems in 3 and 4-dimensional cases.

本文言語英語
ジャーナルJapan Journal of Industrial and Applied Mathematics
DOI
出版ステータス印刷中 - 2022

!!!All Science Journal Classification (ASJC) codes

  • 工学(全般)
  • 応用数学

フィンガープリント

「A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル