An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory

DOI10.1186/s13661-014-0235-yzbMath1303.65032OpenAlexW2158016240WikidataQ59319938 ScholiaQ59319938MaRDI QIDQ481617

Cheon Seoung Ryoo

Publication date: 12 December 2014

Published in: Boundary Value Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1186/s13661-014-0235-y

zbMATH Keywords

variational inequalitieserror estimatesfinite element methodnumerical verificationSchauder fixed point theoryunilateral boundary value problems for second order equations

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)

Related Items (3)

Meshless numerical analysis of partial differential equations with nonlinear inequality constraints ⋮ Two projection methods for the solution of Signorini problems ⋮ An augmented Lagrangian method for the Signorini boundary value problem with BEM

Cites Work

• 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
• 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
• Numerical verification of solutions for Signorini problems using Newton-like method
• Numerical inclusion methods of solutions for variational inequalities
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

This page was built for publication: An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory