Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

DOI10.1016/0362-546X(95)00165-RzbMath0864.35089OpenAlexW2056310225MaRDI QIDQ5689186

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Publication date: 20 February 1997

Published in: Nonlinear Analysis: Theory, Methods & Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0362-546x(95)00165-r

zbMATH Keywords

error estimatesfinite element approximationrounding error

Mathematics Subject Classification ID

PDEs in connection with fluid mechanics (35Q35) Nonlinear elliptic equations (35J60) Magnetohydrodynamics and electrohydrodynamics (76W05) Finite difference methods for boundary value problems involving PDEs (65N06)

Related Items (6)

Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Numerical verification for solutions to partial differential equations ⋮ Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method ⋮ VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS ⋮ An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory ⋮ Numerical verification of solutions for elasto-plastic torsion problems

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear elliptic equations
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• PROFIL/BIAS - A fast interval library
• A numerical approach to the proof of existence of solutions for elliptic problems

This page was built for publication: Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria