Approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness

K. Nagatou*, N. Yamamoto, M. T. Nakao

*この研究の対応する著者

研究成果: Article査読

26 被引用数 (Scopus)

抄録

We propose a numerical method to verify the existence and local uniqueness of solutions to nonlinear elliptic equations. We numerically construct a set containing solutions which satisfies the hypothesis of Banach's fixed point theorem in a certain Sobolev space. By using the finite element approximation and constructive error estimates, we calculate the eigenvalue bound with smallest absolute value to evaluate the norm of the inverse of the linearized operator. Utilizing this bound we derive a verification condition of the Newton-Kantorovich type. Numerical examples are presented.

本文言語English
ページ(範囲)543-565
ページ数23
ジャーナルNumerical Functional Analysis and Optimization
20
5-6
出版ステータスPublished - 1999 7
外部発表はい

ASJC Scopus subject areas

  • 分析
  • 信号処理
  • コンピュータ サイエンスの応用
  • 制御と最適化

フィンガープリント

「Approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル