Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations (Q5949506)
From MaRDI portal
scientific article; zbMATH DE number 1675906
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations |
scientific article; zbMATH DE number 1675906 |
Statements
Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations (English)
0 references
21 November 2001
0 references
The paper is concerned with initial-boundary value problems for nonlinear wave equations on bounded cylindrical domains with one- or two-dimensional spatial parts. A computer-assisted method for proving the existence of a unique solution within a numerically computed set is proposed. The proof is based on Banach's fixed point theorem. Essential analytical parts of the method consist in the computation of bounds for some embedding constant and for the inverse of the operator obtained by linearization of the problem at some finite element approximation to the solution. Two numerical examples with quadratic nonlinearities illustrate the method.
0 references
guaranteed error bounds
0 references
initial-boundary value problems
0 references
nonlinear wave equations
0 references
computer-assisted method
0 references
finite element
0 references
numerical examples
0 references
0 references
0 references
