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

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

*この研究の対応する著者

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルMathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers
編集者Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap
出版社Springer Verlag
ページ218-223
ページ数6
ISBN(印刷版)9783319328584
DOI
出版ステータスPublished - 2016
イベント6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 - Berlin, Germany
継続期間: 2015 11 112015 11 13

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
9582
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

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

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Verified computations for solutions to semilinear parabolic equations using the evolution operator」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル