TY - JOUR

T1 - Numerical verification for existence of a global-in-time solution to semilinear parabolic equations

AU - Mizuguchi, Makoto

AU - Takayasu, Akitoshi

AU - Kubo, Takayuki

AU - Oishi, Shin'ichi

N1 - Funding Information:
The authors express their sincere thanks to Prof. Masahide Kashiwagi in Waseda University, Assoc. Prof. Takuma Kimura in Saga University, Asst. Prof. Kouta Sekine, and Mr. Kazuaki Tanaka in Waseda University for their useful comments. The authors also would like to express sincere thanks to anonymous referees for giving them useful comments to improve this paper. The third author was supported in part by Grant for Basic Science Research Projects from The Sumitomo Foundation ( 121039 ).
Publisher Copyright:
© 2016

PY - 2017/5/1

Y1 - 2017/5/1

N2 - This paper presents a method of numerical verification for the existence of a global-in-time solution to a class of semilinear parabolic equations. Such a method is based on two main theorems in this paper. One theorem gives a sufficient condition for proving the existence of a solution to the semilinear parabolic equations with the initial point t=t′≥0. If the sufficient condition does not hold, the other theorem is used for enclosing the solution for time t∈(0,τ],τ>0 in a neighborhood of a numerical solution. Numerical results of obtaining a global-in-time solution for a certain semilinear parabolic equation are also given.

AB - This paper presents a method of numerical verification for the existence of a global-in-time solution to a class of semilinear parabolic equations. Such a method is based on two main theorems in this paper. One theorem gives a sufficient condition for proving the existence of a solution to the semilinear parabolic equations with the initial point t=t′≥0. If the sufficient condition does not hold, the other theorem is used for enclosing the solution for time t∈(0,τ],τ>0 in a neighborhood of a numerical solution. Numerical results of obtaining a global-in-time solution for a certain semilinear parabolic equation are also given.

KW - Global-in-time solution

KW - Semilinear parabolic equations

KW - Verified numerical computations

UR - http://www.scopus.com/inward/record.url?scp=84996486884&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84996486884&partnerID=8YFLogxK

U2 - 10.1016/j.cam.2016.10.024

DO - 10.1016/j.cam.2016.10.024

M3 - Article

AN - SCOPUS:84996486884

VL - 315

SP - 1

EP - 16

JO - Journal of Computational and Applied Mathematics

JF - Journal of Computational and Applied Mathematics

SN - 0377-0427

ER -