Verified numerical computation for elliptic eigenvalue problems and its applications 楕円形固有値問題に対する精度保証付き数値計算とその応用
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Verified numerical computation for elliptic eigenvalue problems and its applications
- タイトル別名
-
楕円形固有値問題に対する精度保証付き数値計算とその応用
- 著者名
-
長藤, かおり
- 著者別名
-
ナガトウ, カオリ
- 学位授与大学
-
九州大学
- 取得学位
-
博士(数理学)
- 学位授与番号
-
甲第4830号
- 学位授与年月日
-
1999-03-25
注記・抄録
博士論文
1 Introduction 2 Enclosing method for eigenvalues with uniqueness property 3 Excluding method for eigenvalues 4 Applications to nonlinear elliptic problems 5 Numerical examples 6 Conclusions
数理
目次
- Contents / (0003.jp2)
- 1 Introduction / p1 (0004.jp2)
- 2 Enclosing method for eigenvalues with uniqueness property / p2 (0005.jp2)
- 2.1 Problem and the fixed point formulation / p2 (0005.jp2)
- 2.2 Verification conditions / p5 (0008.jp2)
- 2.3 Algorithm in a computer / p9 (0012.jp2)
- 2.4 Uniqueness of the enclosed eigenvalue / p15 (0018.jp2)
- 3 Excluding method for eigenvalues / p23 (0026.jp2)
- 3.1 Motivation / p23 (0026.jp2)
- 3.2 Verification conditions / p24 (0027.jp2)
- 3.3 Algorithm in a computer / p26 (0029.jp2)
- 4 Applications to nonlinear elliptic problems / p31 (0034.jp2)
- 4.1 Statement of the problem and the fixed point formulation / p31 (0034.jp2)
- 4.2 Verification conditions / p34 (0037.jp2)
- 4.3 Estimation of constants and algorithm / p35 (0038.jp2)
- 5 Numerical examples / p38 (0041.jp2)
- 6 Conclusions / p46 (0049.jp2)
- Appendix / p47 (0050.jp2)
- References / p51 (0054.jp2)