Numerical verification of solutions for variational inequalities
From MaRDI portal
Publication:1277004
DOI10.1007/S002110050394zbMath0919.65043OpenAlexW2062697801MaRDI QIDQ1277004
Mitsuhiro T. Nakao, Cheon Seoung Ryoo
Publication date: 1998
Published in: Numerische Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002110050394
numerical examplevariational inequalitiesobstacle problemsSchauder's fixed point theoremweak solutionsfinite elementnumerical verificationexplicit error estimates
Numerical optimization and variational techniques (65K10) Variational inequalities (49J40) Newton-type methods (49M15)
Related Items (16)
On characterizations and regularity of the solution of bilateral obstacle problems ⋮ Numerical verification for solutions to partial differential equations ⋮ VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS ⋮ Error bounds for nonlinear complementarity problems with band structure ⋮ Numerical verification of solutions for some unilateral boundary value problems. ⋮ Solving obstacle problems with guaranteed accuracy. ⋮ Numerical verification of solutions for obstacle problems. ⋮ An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ A numerical approach to the proof of existence of solutions for some generalized obstacle problems ⋮ Numerical verification of solutions for obstacle problems using a Newton-like method ⋮ A computational verification method of existence of solution for elastoplastic torsion problems with uniqueness ⋮ Computational proofs of the existence of solutions to elasto-plastic torsion problems ⋮ Numerical verification of solutions for a simplified Signorini problem ⋮ Verified computation of solutions for obstacle problems with guaranteed \(L^\infty\) error bound ⋮ Numerical verification of solutions for variational inequalities of the second kind
This page was built for publication: Numerical verification of solutions for variational inequalities
