Solving obstacle problems with guaranteed accuracy.

DOI10.1016/S0898-1221(03)00043-9zbMath1061.65056MaRDI QIDQ1416447

Cheon Seoung Ryoo

Publication date: 14 December 2003

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

zbMATH Keywords

algorithmvariational inequalitySchauder's fixed point theoremnumerical examplesinterval arithmeticFinite element methodError estimatesNumerical verificationnonlinear obstacle problem

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Variational inequalities (49J40) Newton-type methods (49M15) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Uses Software

• INTLAB

Cites Work

• On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators
• Numerical verification of solutions for variational inequalities
• Inclusion of zeros of nowhere differentiable \(n\)-dimensional functions
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• Numerical verification of solutions for elasto-plastic torsion problems
• Numerical verification of solutions for a simplified Signorini problem
• Explicit error bounds for the derivatives of piecewise-Lidstone interpolation
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Numerical inclusion methods of solutions for variational inequalities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Solving obstacle problems with guaranteed accuracy.