Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method

DOI10.1006/jmaa.1997.5712zbMath0893.35006OpenAlexW2004220260MaRDI QIDQ1378621

Nobito Yamamoto, Mitsuhiro T. Nakao

Publication date: 9 February 1998

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jmaa.1997.5712

zbMATH Keywords

existenceenclosure methodconstructive error estimate

Mathematics Subject Classification ID

Nonlinear boundary value problems for linear elliptic equations (35J65) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65M99) Numerical methods for partial differential equations, boundary value problems (65N99)

Related Items

Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness ⋮ On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains ⋮ Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains. ⋮ Solving obstacle problems with guaranteed accuracy. ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Finite element method by using quartic B-splines ⋮ An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems ⋮ On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection ⋮ Numerical verifications for eigenvalues of second-order elliptic operators ⋮ A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ A numerical verification method for a periodic solution of a delay differential equation ⋮ Verified numerical computations for an inverse elliptic eigenvalue problem with finite data ⋮ On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces ⋮ Numerical verification of solutions for obstacle problems using a Newton-like method ⋮ A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations ⋮ Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications ⋮ Some considerations of the invertibility verifications for linear elliptic operators

Uses Software

• PROFIL/BIAS

Cites Work

• Numerical verifications of solutions for nonlinear elliptic equations
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• A numerical approach to the proof of existence of solutions for elliptic problems
• A‐posteriori error estimates for the finite element method
• A Posteriori Error Estimates for Nonlinear Problems. Finite Element Discretizations of Elliptic Equations
• Pointwise a Posteriori Error Estimates for Elliptic Problems on Highly Graded Meshes
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item