Numerical existence and uniqueness proof for solutions of semilinear parabolic equations

DOI10.1016/S0893-9659(01)80031-8zbMath1002.65099WikidataQ126586933 ScholiaQ126586933MaRDI QIDQ1600357

Teruya Minamoto

Publication date: 13 June 2002

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

zbMATH Keywords

numerical examplesnumerical verificationsemilinear parabolic equations

Mathematics Subject Classification ID

Nonlinear parabolic equations (35K55) Nonlinear initial, boundary and initial-boundary value problems for linear parabolic equations (35K60) Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs (65M12) Algorithms with automatic result verification (65G20)

Related Items (2)

On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems ⋮ On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems

Cites Work

• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
• Numerical verification of solutions for nonlinear hyperbolic equations
• 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
• Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations

This page was built for publication: Numerical existence and uniqueness proof for solutions of semilinear parabolic equations