Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations

DOI10.1016/S0377-0427(00)00563-XMaRDI QIDQ5949506zbMATH OpenFDO

Authors Teruya Minamoto

Publication date 21 November 2001

Published in Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0377-0427(00)00563-X

zbMATH Keywords

computer-assisted methodfinite elementguaranteed error boundsinitial-boundary value problemsnonlinear wave equationsnumerical examples

Mathematics Subject Classification ID

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)

Recommendations

• 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

Cites work

• 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

Cited in

(11)

• 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)