著者

中尾 充宏 栄 伸一郎 田端 正久 長藤 かおり 村重 淳 山本 野人 渡部 善隆 大石 進一

出版者

佐世保工業高等専門学校

雑誌

基盤研究(S)

巻号頁・発行日

2008

---

非線形偏微分方程式に対する解の数値的検証法の開発とその適用を中心として研究を進め、特に、これまでほとんど研究例を見ない非線形発展方程式に対し、十分有効な数値的検証原理を見出すことに成功した。また、従来から蓄積してきた楕円型方程式の解に対する解の検証方式に新たな知見を加え、その拡張・改良を行うとともに、流体方程式をはじめ理論解析が困難な実際問題に適用して数値的証明を行い、その有効性を実証した。

著者

長藤 かおり

出版者

九州大学

雑誌

若手研究(B)

巻号頁・発行日

2006

---

バンド構造の本質的スペクトルを持つ1次元シュレディンガー作用素の固有値非存在範囲を精度保証付きで求める手法を開発し,検証数値例を与えた。本質的スペクトルのギャップにおける離散スペクトル(固有値)の存在・非存在は,半導体理論とも密接に関連する重要な問題である。本研究では,線形常微分方程式の基本解を計算機援用解析により厳密に求める手法をもとに,固有値が存在しない範囲を数学的に厳密に保証する方法を提案した。