Numerical verification of solutions for some unilateral boundary value problems.

DOI10.1016/S0898-1221(02)00191-8zbMath1035.65064MaRDI QIDQ1416288

Sang Dong Kim, Howan Song, Cheon Seoung Ryoo

Publication date: 14 December 2003

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

variational inequalitynumerical examplesFinite element methodError estimatesNumerical verificationUnilateral boundary value problems

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Variational inequalities (49J40) Newton-type methods (49M15) Existence theories for optimal control problems involving partial differential equations (49J20) Algorithms with automatic result verification (65G20)

Related Items

Projection and self-adaptive projection methods for the Signorini problem with the BEM, Meshless projection iterative analysis of Signorini problems using a boundary element-free method

Cites Work

• 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
• Numerical verification of solutions for variational inequalities
• Numerical verification of solutions for elasto-plastic torsion problems
• Numerical verification of solutions for a simplified Signorini problem
• Error estimates for the approximation of some unilateral problems
• Numerical verifications of solutions for elliptic equations with strong nonlinearity