Solving obstacle problems with guaranteed accuracy. (Q1416447)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving obstacle problems with guaranteed accuracy. |
scientific article |
Statements
Solving obstacle problems with guaranteed accuracy. (English)
0 references
14 December 2003
0 references
The author sets out to find numerically guaranteed inclusion bounds for a nonlinear obstacle problem. This proceeds by reformulating the variational inequality of the obstacle problem into a fixed point of a compact operator. As the author wants to use Schauder's fixed point theorem, he constructs an algorithm to find a set which is mapped into itself by the operator in a finite element discretisation. The result of this algorithm is an approximate solution to the obstacle problem where the existence of a solution has been verified numerically. Interval arithmetic is used to carry out the computations numerically. The paper closes with two numerical examples.
0 references
Numerical verification
0 references
Error estimates
0 references
Finite element method
0 references
nonlinear obstacle problem
0 references
variational inequality
0 references
algorithm
0 references
interval arithmetic
0 references
numerical examples
0 references
Schauder's fixed point theorem
0 references
0 references
0 references
