A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
From MaRDI portal
Publication:2487204
DOI10.1007/s00607-004-0111-1zbMath1151.35337OpenAlexW2092068986MaRDI QIDQ2487204
Mitsuhiro T. Nakao, Kouji Hashimoto, Yoshitaka Watanabe
Publication date: 18 August 2005
Published in: Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2324/11820
Boundary value problems for second-order elliptic equations (35J25) Nonlinear elliptic equations (35J60) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25)
Related Items (36)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ Norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Some remarks on the behaviour of the finite element solution in nonsmooth domains ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations ⋮ Numerical verification of stationary solutions for Navier-Stokes problems ⋮ Numerical verification for solutions to partial differential equations ⋮ Some improvements of invertibility verifications for second-order linear elliptic operators ⋮ Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems ⋮ On the problem of superconvergence of finite element method algorithms ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse ⋮ Fast interval matrix multiplication ⋮ 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 ⋮ Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications ⋮ On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Numerical Verification Methods for Solutions of the Free Boundary Problem ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation ⋮ Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain ⋮ Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators ⋮ Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ On theL2a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator ⋮ An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space ⋮ 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 posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Numerical verification of positiveness for solutions to semilinear elliptic problems ⋮ Some considerations of the invertibility verifications for linear elliptic operators
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- On the Convergence of Some Interval-Arithmetic Modifications of Newton’s Method
- A numerical approach to the proof of existence of solutions for elliptic problems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Computer-assisted enclosure methods for elliptic differential equations
This page was built for publication: A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
