Numerical verification of solutions for a simplified Signorini problem (Q1591946)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical verification of solutions for a simplified Signorini problem |
scientific article |
Statements
Numerical verification of solutions for a simplified Signorini problem (English)
0 references
14 January 2001
0 references
The author proposes a numerical method for the automatic proof of existence of solutions for variational inequalities, which is based on Nakao's method by using a finite element approximation. The proposed method enables to verify the free boundary of a simplified Signorini problem, which has been impossible so far. The author has prepared a digestible exposition of several current methods for the existence of solutions of problems in the area of variational inequalities.
0 references
error estimates
0 references
Signorini problem
0 references
finite element method
0 references
numerical verification
0 references
automatic proof
0 references
variational inequalities
0 references
free boundary
0 references
0 references
0 references
