文献

J-GLOBAL ID：202202265393436628   整理番号：22A0158439

正規双曲線多様体に沿ったドリフト軌道の計算機支援証明【JST・京大機械翻訳】

Computer assisted proof of drift orbits along normally hyperbolic manifolds

著者 (4件)： Capinski Maciej J. (Faculty of Applied Mathematics, AGH University of Science and Technology, al. Mickiewicza 30, Krakow 30-059, Poland) ,  Gonzalez Jorge (School of Mathematics, Georgia Institute of Technology, 686 Cherry Street, Atlanta, GA 30332, USA) ,  Marco Jean-Pierre (Institut de Mathematiques, Analyse algxebrique, Universite Pierre et Marie Curie, 175 rue du Chevaleret, Paris 75013, France) ,  Mireles James Jason D. (Department of Mathematical Sciences, Florida Atlantic University, 777 Glades Road, Boca Raton, FL 33431, USA)
資料名： Communications in Nonlinear Science and Numerical Simulation  (Communications in Nonlinear Science and Numerical Simulation)
巻： 106  ページ： Null  発行年： 2022年 
JST資料番号： W3226A  ISSN： 1007-5704  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 通常双曲線不変多様体理論は,動的系における拡散を証明するための効率的なツールを提供する。本論文では,この手法に基づくアプリオリカオスシステムにおける拡散の計算機支援証明のための方法論を開発した。厳密な間隔アルゴリズム計算によるコンピュータによって実行できる有限数のステップで必要な条件を検証する方法を考案した。提案手法を一般化標準マップに適用し,明確な動作範囲にわたる拡散を得た。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *多様体 ,  動的系 ,  双曲線 ,  *ドリフト ,  *計算機械 ,  無秩序系 ,  コンピュータ

著者キーワード (5件)： 正規双曲線多様体 ,  Arnold拡散 ,  散乱マップ ,  トポロジカルシャドウイング ,  コンピュータ支援証明

分類 (3件)： データ保護  (JD01020V) ,  パターン認識  (JE07000S) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (7件)： 双曲線 ,  多様体 ,  ドリフト ,  軌道 ,  計算機 ,  支援 ,  証明