Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases

• Terasaka Gen

  JR East Information Systems Company

• Nakamura Masao

  Graduate School of Informatics and Engineering, The University of Electro-Communications

• Nitta Koki

  Graduate School of Informatics and Engineering, The University of Electro-Communications

• Yamamoto Nobito

  Graduate School of Informatics and Engineering, The University of Electro-Communications

抄録

Numerical verification methods are proposed in order to construct local Lyapunov functions around non-hyperbolic equilibria of dynamical systems described by ODEs in two dimensional space. The normal form theory in dynamical systems gives basic ideas of these methods. To prove negative definiteness of polynomials of higher degree than two, a new theorem on interval arithmetic is also proposed.

収録刊行物

• JSIAM Letters

  JSIAM Letters 12 (0), 37-40, 2020

  一般社団法人 日本応用数理学会

キーワード

• numerical verification
• dynamical systems
• Lyapunov functions
• non-hyperbolic equilibria

詳細情報

• CRID: 1390848250130871296
• NII論文ID: 130007879242
• DOI: 10.14495/jsiaml.12.37
• ISSN: 18830617
• ISSN: 18830609
• Web Site: https://www.jstage.jst.go.jp/article/jsiaml/12/0/12_37/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可