Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator
This article presents a theorem for guaranteeing existence of a solution for an initial-boundary value problem of semilinear parabolic equations. The sufficient condition of our main theorem is derived by a fixed-point formulation using the evolution operator. We note that the sufficient condition can be checked by verified numerical computations.
- 2.Sobolevskii, P.E.: On equations of parabolic type in Banach space with unbounded variable operator having a constant domain. Akad. Nauk Azerbaidzan. SSR Doki, 17:6 (1961). (in Russian)Google Scholar