Verified numerical computation for elliptic eigenvalue problems and its applications

[目次]

  • Contents
  • 1 Introduction / p1
  • 2 Enclosing method for eigenvalues with uniqueness property / p2
  • 2.1 Problem and the fixed point formulation / p2
  • 2.2 Verification conditions / p5
  • 2.3 Algorithm in a computer / p9
  • 2.4 Uniqueness of the enclosed eigenvalue / p15
  • 3 Excluding method for eigenvalues / p23
  • 3.1 Motivation / p23
  • 3.2 Verification conditions / p24
  • 3.3 Algorithm in a computer / p26
  • 4 Applications to nonlinear elliptic problems / p31
  • 4.1 Statement of the problem and the fixed point formulation / p31
  • 4.2 Verification conditions / p34
  • 4.3 Estimation of constants and algorithm / p35
  • 5 Numerical examples / p38
  • 6 Conclusions / p46
  • Appendix / p47
  • References / p51

「国立国会図書館デジタルコレクション」より

この本の情報

書名 Verified numerical computation for elliptic eigenvalue problems and its applications
著作者等 長藤 かおり
書名別名 楕円形固有値問題に対する精度保証付き数値計算とその応用
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想