Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations (Q5949506): Difference between revisions

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.