• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

非線形常微分方程式の精度保証付き数値計算

研究課題

研究課題/領域番号 07780287
研究種目

奨励研究(A)

配分区分補助金
研究分野 計算機科学
研究機関九州大学

研究代表者

柏木 雅英  九州大学, 工学部, 助教授 (00257247)

研究期間 (年度) 1995
研究課題ステータス 完了 (1995年度)
配分額 *注記
1,000千円 (直接経費: 1,000千円)
1995年度: 1,000千円 (直接経費: 1,000千円)
キーワード精度保証付き数値計算 / 非線形常微分方程式 / 区間解析 / ベキ級数演算 / 自動微分法
研究概要

本研究は、計算機自身に数値計算を行うと同時に結果の精度の保証を行わせるという発想に基づく精度保証付き数値計算の分野において、特に非線形常微分方程式の精度保証付き計算の新しい方法を開発することを目的として行なわれたものである。
Lohnerが提案した区間解析とTaylor展開を用いる方法について、ベキ級数展開に対する演算を定義することにより新しく捉えなおし,またそれを大幅に改良した方法を構築し,詳細な理論的解析を行うことによりこの方法の有効性を明らかにした。また,本研究の方法は,自動微分法と呼ばれる新しい数値計算法と深い関連があるが,そこで得られた知見を導入することにより更に改良できることを示した。
また、この方法を実際に計算機上に実現し、それが用意に実装可能であることを示した。このシステムは高い汎用性を持ち、問題の記述は極めて用意である。更に、特に初期値問題における長時間の積分について、平均値の定理を用いた誤差補償法の導入によって大幅な改良に成功し、実用的問題に対しても適用可能であることを示した。
また、本研究で得られたベキ級数に対する演算法は、常微分方程式に限らずより多くの問題に適応可能であることが分かり、それについても検討した。これにより、高次導関数の計算、関数の値域の評価、精度保証付き数値積分が効率的に行なえることが分かった。

報告書

(1件)
  • 1995 実績報告書

URL: 

公開日: 1995-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi