Title
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations.
Abstract
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.
Year
DOI
Venue
2017
10.1016/j.cam.2016.10.024
J. Computational Applied Mathematics
Keywords
Field
DocType
65G40,65M15,35K20
Parabolic partial differential equation,Mathematical optimization,Mathematical analysis,Mathematics,Numerical verification,Parabola
Journal
Volume
Issue
ISSN
315
C
0377-0427
Citations 
PageRank 
References 
2
0.46
3
Authors
4
Name
Order
Citations
PageRank
Makoto Mizuguchi161.66
Akitoshi Takayasu271.70
Takayuki Kubo320.46
Shin'ichi Oishi428037.14