Verified computations for solutions to semilinear parabolic equations using the evolution operator

Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin’ichi Oishi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationMathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers
EditorsIlias S. Kotsireas, Siegfried M. Rump, Chee K. Yap
PublisherSpringer Verlag
Pages218-223
Number of pages6
ISBN (Print)9783319328584
DOIs
Publication statusPublished - 2016
Event6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 - Berlin, Germany
Duration: 2015 Nov 112015 Nov 13

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9582
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015
CountryGermany
CityBerlin
Period15/11/1115/11/13

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Verified computations for solutions to semilinear parabolic equations using the evolution operator'. Together they form a unique fingerprint.

Cite this