Numerical verification of solutions for nonlinear hyperbolic equations

DOI10.1016/S0893-9659(97)00110-9zbMath0890.35089OpenAlexW2010049971MaRDI QIDQ1375852

Teruya Minamoto

Publication date: 21 January 1998

Published in: Applied Mathematics Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0893-9659(97)00110-9

zbMATH Keywords

fixed point formulationnumerical verification of existenceone space dimensional case

Mathematics Subject Classification ID

Second-order nonlinear hyperbolic equations (35L70) Theoretical approximation in context of PDEs (35A35)

Related Items

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations, Rigorous numerical computations for 1D advection equations with variable coefficients, Numerical existence and uniqueness proof for solutions of semilinear parabolic equations

Cites Work

• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
• Crosswind Smear and Pointwise Errors in Streamline Diffusion Finite Element Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item