Numerical verifications of solutions for elliptic equations with strong nonlinearity

Mitsuhiro Nakao, Nobito Yamamoto

研究成果: Article査読

9 被引用数 (Scopus)

抄録

Numerical methods for automatic proof of the existence and the local uniqueness of weak solutions of elliptic boundary value problems with strongly nonlinear terms are proposed. They are based on the infinite dimensional fixed point theorems and the explicit error estimates for finite element approximations. We present detailed verification procedures and numerical examples for the typical model problem: — ∆u=eu.

本文言語English
ページ(範囲)535-543
ページ数9
ジャーナルNumerical Functional Analysis and Optimization
12
5-6
DOI
出版ステータスPublished - 1991 1 1
外部発表はい

ASJC Scopus subject areas

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

フィンガープリント

「Numerical verifications of solutions for elliptic equations with strong nonlinearity」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル