Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
computer-assisted methodfinite elementguaranteed error boundsinitial-boundary value problemsnonlinear wave equationsnumerical examples
Second-order nonlinear hyperbolic equations (35L70) Algorithms with automatic result verification (65G20) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60)
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.NEWLINENEWLINENEWLINEEssential 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.
- scientific article; zbMATH DE number 1639664
- scientific article; zbMATH DE number 4150839
- Numerical verification of solutions for nonlinear hyperbolic equations
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Computer-assisted proofs for semilinear elliptic boundary value problems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Crosswind Smear and Pointwise Errors in Streamline Diffusion Finite Element Methods
- scientific article; zbMATH DE number 45061 (Why is no real title available?)
- scientific article; zbMATH DE number 714521 (Why is no real title available?)
- scientific article; zbMATH DE number 804656 (Why is no real title available?)
- scientific article; zbMATH DE number 915500 (Why is no real title available?)
- scientific article; zbMATH DE number 3322278 (Why is no real title available?)
- Numerical verification of solutions for nonlinear hyperbolic equations
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- Real Interpolation of Sobolev Spaces on Subdomains of Rn
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Numerical verification of solutions for nonlinear hyperbolic equations
- Numerical existence and uniqueness proof for solutions of semilinear parabolic equations
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Rigorous numerical computations for 1D advection equations with variable coefficients
- scientific article; zbMATH DE number 1639664 (Why is no real title available?)
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
- scientific article; zbMATH DE number 804656 (Why is no real title available?)
- Numerical verification of the global uniqueness of a positive solution for Nekrasov's equation
This page was built for publication: Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5949506)
