研究課題
萌芽研究
研究分担者がそれぞれの分担課題に関して恒常的に検討を続け、以下のような研究実績を得た。1.中尾は、前年度に引き続き非線形楕円型境界値問題および定常Navier-Stokes方程式の解に対する数値的検証法の改良・拡張について検討し、特に本年度は、以下の成果を得た。(1)楕円型方程式の検証に関して、double turning pointの検証法を定式化し具体例を与えた。 (2)非凸領域上の定常Navier-Stokes方程式で記述されるStep-flow問題に対してその解の精度保証付きで計算することに成功した。 (3)特異随伴作用素をもつ楕円型問題に対する有限要素解の構成的なL-2誤差評価について、Aubin-Nitscheの技巧を用いない計算機援用的方法により数値的に評価する知見を得た。 (4)空間3次元熱対流問題の精度保証に関して、新たな分岐解の検証定式化とその実例を与えた。2.吉川は、ソボレフ空間の計算可能構造について、数値解析における有限要素法との関連を見込むために、ソボレフ関数の近似と近似の評価の管理を帰納的関数により行う手法について知見を得た。3.横山は、制御におけるパラメータ値の決定の最適化問題に対して、記号的代数的手法を適用し、大域的最適値を正確に求めることに成功した。数学研究応用では、逆ガロア問題において数値計算による証明を行い、さらに分解体計算では代数的近似を利用した高速化を実現した。
すべて 2008 2007 2006 2005
すべて 雑誌論文 (14件) (うち査読あり 3件) 学会発表 (1件)
Journal of Computational and Applied Mathematics (掲載決定)
Applied Mathematics Letters (掲載決定)
Hokkaido Mathematical Journal 36
ページ: 777-799
Journal of Computational and Applied Mathematics 199
ページ: 445-451
GAKUTO International Series, Mathematical Sciences and Applications, Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics, May 26-28, 2005, Hayama, Japan (To appear)
Proceedings of 2nd International Conference "From Scientific Computing to Computational Engineering", Athen, 5-8 July, 2006
ページ: 8
Proceedings of Nonlinear Theory and its Applications NOLTA 2006, 11-14 September, Bologna, Italy
ページ: 427-430
Lecture Notes in Computer Science 4151
ページ: 391-402
Journal of Complexity 22巻6号
ページ: 858-880
Computing 75
ページ: 1-14
Japan Journal of Industrial and Applied Mathematics 22
ページ: 111-131
Numerical Functional Analysis and Optimization 26
ページ: 523-542
Proceedings of the International Symposium on Symbolic and Algebraic Computation 2005
ページ: 21-28
Proceedings of ASCM 2005
ページ: 141-144
