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-7zbMATH Open1456.65035arXiv1910.00759OpenAlexW3094361996MaRDI QIDQ2217873FDOQ2217873

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

Publication date: 11 January 2021

Published in: Numerische Mathematik (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

Cited In (5)

• 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
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
• 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)