Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
From MaRDI portal
Publication:5949506
DOI10.1016/S0377-0427(00)00563-XzbMath0998.65099MaRDI QIDQ5949506
Publication date: 21 November 2001
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
numerical examples; finite element; initial-boundary value problems; computer-assisted method; guaranteed error bounds; nonlinear wave equations
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
65G20: Algorithms with automatic result verification
Related Items
Cites Work
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
- Numerical verification of solutions for nonlinear hyperbolic equations
- Crosswind Smear and Pointwise Errors in Streamline Diffusion Finite Element Methods
- Real Interpolation of Sobolev Spaces on Subdomains of Rn
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item