Numerical verification method for solutions of nonlinear hyperbolic equations
Banach's fixed point theoremcomputer-assisted existence prooffinite elementguaranted error boundsNakao's methodnonlinear hyperbolic problemnumerical examplesverification method
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)
Numerical methods to verify the existence and uniqueness of the solution of nonlinear hyperbolic problems with guaranted error bounds are corisiderd. The suggested verification method is based on \textit{M. Plum}'s formulation of verification methods [\textit{J. Herzberger}, Topics in validated computations. Proc. IMACS-GAMM int. workshop, Oldenburg, Germany, 30 August--3 September 1993. Amsterdam: Elsevier. Stud. Comput. Math. 5, 323-379 (1994; Zbl 0814.65105)] and a weak formulation for determining a bound of the inverse norm of the linearized operator. For the proof of existence and uniqueness the idea contained in \textit{M. T. Nakao}'s method [Comput. Suppl. 9, 161-173 (1993; Zbl 0802.65111)] is used. Using a \(C^1\) finite element solution and an inequality constituting a bound on the norm of the inverse operator of the linearized one it is possible to construct numerically a set of functions which satisfies the hypothesis of Banach's fixed point theorem for a map on \(L^p\) space into the structure, which is represented in the computer. Some numerical examples are given. For the entire collection see [Zbl 0963.00018].
- Numerical verification of solutions for nonlinear hyperbolic equations
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Rigorous numerical computations for 1D advection equations with variable coefficients
- Numerical verification of solutions of Nekrasov's integral equation
- scientific article; zbMATH DE number 804656 (Why is no real title available?)
- Numerical Verification of the Hasselmann equation
- scientific article; zbMATH DE number 5785599 (Why is no real title available?)
- Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
This page was built for publication: Numerical verification method 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 Q2738490)
