Publication:4851662

zbMath0834.65095MaRDI QIDQ4851662

Mitsuhiro T. Nakao

Publication date: 21 November 1995

zbMATH Keywords

numerical example; existence; error estimates; finite element; fixed point equation; compact operator; rounding error; verification condition; semilinear hyperbolic problem

Mathematics Subject Classification ID

35L70: Second-order nonlinear hyperbolic equations

65M60: Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs

65M15: Error bounds for initial value and initial-boundary value problems involving PDEs

Related Items

Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations, Numerical verification of solutions for nonlinear hyperbolic equations