A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator

Kouta Sekine, Mitsuhiro T. Nakao, Shin’ichi Oishi

研究成果: Article査読

抄録

Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of PDEs, the original problem is transformed into the infinite-dimensional Newton-type fixed point equation w= - L- 1F(u^) + L- 1G(w) , where L is a linearized operator, F(u^) is a residual, and G(w) is a nonlinear term. Therefore, the estimations of ‖ L- 1F(u^) ‖ and ‖ L- 1G(w) ‖ play major roles in the verification procedures. In this paper, using a similar concept to block Gaussian elimination and its corresponding ‘Schur complement’ for matrix problems, we represent the inverse operator L- 1 as an infinite-dimensional operator matrix that can be decomposed into two parts: finite-dimensional and infinite-dimensional. This operator matrix yields a new effective realization of the infinite-dimensional Newton method, which enables a more efficient verification procedure compared with existing Nakao’s methods for the solution of elliptic PDEs. We present some numerical examples that confirm the usefulness of the proposed method. Related results obtained from the representation of the operator matrix as L- 1 are presented in the “Appendix”.

本文言語English
ページ(範囲)907-926
ページ数20
ジャーナルNumerische Mathematik
146
4
DOI
出版ステータスPublished - 2020 12

ASJC Scopus subject areas

  • Computational Mathematics
  • Applied Mathematics

フィンガープリント 「A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル