平均値形式とアフィン演算を用いた常微分方程式の精度保証法(理論)

書誌事項

タイトル別名
  • Numerical Verification of ordinary differential equations using Affine Arithmetic and Mean Value Form(Theory)
  • 平均値形式とアフィン演算を用いた常微分方程式の精度保証法
  • ヘイキンチ ケイシキ ト アフィン エンザン オ モチイタ ジョウ ビブン ホウテイシキ ノ セイド ホショウホウ

この論文をさがす

抄録

常微分方程式の初期値問題に対して精度保証を行った場合,ローレンツ方程式などの初期値鋭敏性の強い問題では,区間幅が極端に増大してしまうという問題や高速に解くことが難しいといった問題がある.本論文では,ベキ級数演算を用いた柏木の方法に平均値形式とアフィン演算を組み合わせた,高精度かつ高速な常微分方程式の初期値問題の解法を提案し,実際に常微分方程式の初期値問題の長時間積分を解き,LohnerのAWAパッケージと比較することで有効性を示す.

収録刊行物

参考文献 (14)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ