Numerical existence and uniqueness proof for solutions of semilinear parabolic equations

被引：4

作者：

Minamoto, T ^{[1
]}

机构：

[1] Saga Univ, Dept Informat Sci, Saga 8408502, Japan

来源：

APPLIED MATHEMATICS LETTERS | 2001年 / 14卷 / 06期

关键词：

numerical verification; parabolic equation;

D O I：

10.1016/S0893-9659(01)80031-8

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We describe a numerical method to verify the existence and local uniqueness of solutions of semilinear parabolic equations. We present a detailed description of the verification procedure and determine error bounds for its computation. Several examples are given. (C) 2001 Elsevier Science Ltd. All rights reserved.

引用

页码：707 / 714

页数：8

共 7 条

[1]

Adams R, 1978, Sobolev spaces

[2] Numerical verification of solutions for nonlinear hyperbolic equations [J].