論文

査読有り
2017年12月1日

Rigorous numerics for fast-slow systems with one-dimensional slow variable: Topological shadowing approach

Topological Methods in Nonlinear Analysis
ダウンロード
回数 : 17
  • Kaname Matsue

50
2
開始ページ
357
終了ページ
468
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.12775/TMNA.2017.008
出版者・発行元
Juliusz Schauder Center for Nonlinear Analysis

We provide a rigorous numerical computation method to validate periodic, homoclinic and heteroclinic orbits as the continuation of singular limit orbits for the fast-slow system (Formula presented) with one-dimensional slow variable y. Our validation procedure is based on topological tools called isolating blocks, cone condition and covering relations. Such tools provide us with existence theorems of global orbits which shadow singular orbits in terms of a new concept, the covering-exchange. Additional techniques called slow shadowing and m-cones are also developed. These techniques give us not only generalized topological verification theorems, but also easy implementations for validating trajectories near slow manifolds in a wide range, via rigorous numerics. Our procedure is available to validate global orbits not only for sufficiently small ε&gt
0 but all ε in a given half-open interval(0,ε0]. Several sample verification examples are shown as a demonstration of applicability.

リンク情報
DOI
https://doi.org/10.12775/TMNA.2017.008
Scopus
https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85012139428&origin=inward
Scopus Citedby
https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85012139428&origin=inward
ID情報
  • DOI : 10.12775/TMNA.2017.008
  • ISSN : 1230-3429
  • SCOPUS ID : 85012139428

エクスポート
BibTeX RIS