VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS

DOI10.14317/jami.2021.295zbMath1499.65680OpenAlexW3179027805MaRDI QIDQ5020330

Cheon Seoung Ryoo

Publication date: 5 January 2022

Full work available at URL: http://koreascience.or.kr:80/article/JAKO202116954520725.pdf

zbMATH Keywords

error estimatesinterval arithmeticNewton-like methodautomatic proofunilateral boundary value problems for second order equationsnumerical verification method

Mathematics Subject Classification ID

Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Solution of variational inequalities in mechanics
• Numerical verification of solutions for variational inequalities
• A verification method for solutions of nonsmooth equations
• Numerical verification of solutions for a simplified Signorini problem
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• An approach to the numerical verification of solutions for obstacle problems
• Optimale Eigenwerteinschließungen
• Numerical verification of solutions for Signorini problems using Newton-like method
• Error estimates for the approximation of some unilateral problems
• Numerical inclusion methods of solutions for variational inequalities
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria