Numerical verification of solutions for a simplified Signorini problem (Q1591946)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Numerical verification of solutions for a simplified Signorini problem |
scientific article; zbMATH DE number 1550656
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Numerical verification of solutions for a simplified Signorini problem |
scientific article; zbMATH DE number 1550656 |
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
0.94910705
0 references
0 references
0.8975409
0 references
0.8959252
0 references
0.8945843
0 references
0.89432853
0 references
0.8938568
0 references
