Numerical existence and uniqueness proof for solutions of semilinear parabolic equations
From MaRDI portal
Publication:1600357
DOI10.1016/S0893-9659(01)80031-8zbMath1002.65099WikidataQ126586933 ScholiaQ126586933MaRDI QIDQ1600357
Publication date: 13 June 2002
Published in: Applied Mathematics Letters (Search for Journal in Brave)
35K55: Nonlinear parabolic equations
35K60: Nonlinear initial, boundary and initial-boundary value problems for linear parabolic equations
65M12: Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs
65G20: Algorithms with automatic result verification
Cites Work
- 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
- Unnamed Item
- Unnamed Item