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

DOI10.1007/S00211-020-01155-7MaRDI QIDQ2217873zbMATHOpenAlexFDO

Authors Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi

Publication date 11 January 2021

Published in Numerische Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1910.00759

zbMATH Keywords

partial differential equationsexistence resultSchur complementelliptic problemnonlinear problem

Mathematics Subject Classification ID

Boundary value problems for second-order elliptic equations (35J25) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Numerical solutions to equations with linear operators (65J10)

Abstract: 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 Newton-type fixed point equation $w=-{mathcalL}^{-1}mathcalF(hatu)+{mathcalL}^{-1}mathcalG(w)$, where $mathcalL$ is a linearized operator, $mathcalF(hatu)$ is a residual, and $mathcalG(w)$ is a local Lipschitz term. Therefore, the estimations of $|{mathcalL}^{-1}mathcalF(hatu)|$ and $|{mathcalL}^{-1}mathcalG(w)|$ play major roles in the verification procedures. In this paper, using a similar concept as the `Schur complement' for matrix problems, we represent the inverse operator ${mathcalL}^{-1}$ as an infinite-dimensional operator matrix that can be decomposed into two parts, one finite dimensional and one infinite dimensional. This operator matrix yields a new effective realization of the infinite-dimensional Newton method, enabling a more efficient verification procedure compared with existing 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 ${mathcalL}^{-1}$ are presented in the appendix.

Recommendations

• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
• A numerical approach to the proof of existence of solutions for elliptic problems
• Numerical verification methods and computer-assisted proofs for partial differential equations
• Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration

Cites work

• scientific article; zbMATH DE number 1088117 (Why is no real title available?)
• scientific article; zbMATH DE number 2038134 (Why is no real title available?)
• A numerical approach to the proof of existence of solutions for elliptic problems
• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
• Bounds for eigenvalues of second-order elliptic differential operators
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Norm bound computation for inverses of linear operators in Hilbert spaces
• Numerical verification methods and computer-assisted proofs for partial differential equations
• Numerical verification of existence and inclusion of solutions for nonlinear operator equations
• Numerical verifications of solutions for nonlinear elliptic equations
• Some considerations of the invertibility verifications for linear elliptic operators
• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

Cited in

(5)

• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
• Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
• Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems

This page was built for publication: 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217873)