A PROGRAMMED ALGORITHM FOR EXISTENCE PROOFS FOR 2-POINT BOUNDARY-VALUE-PROBLEMS

被引：4
|
作者：
GOHLEN, M
PLUM, M
SCHRODER, J
机构：
[1] Mathematisches Institut, Universität Köln, Köln 41, D-5000
来源：
COMPUTING | 1990年 / 44卷 / 02期
关键词：
AMS Subject Classifications: 65L10; 34B15; 34A40; differential inequalities; numerical existence proofs; Two-point boundary value problems; verified error bounds;
D O I：
10.1007/BF02241862
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
For (scalar) nonlinear two-point boundary value problems of the second order, we present a programmed algorithm for proving the existence of a solution within calculated bounds. This algorithm is based on the theory of (functional-) differential inequalities applied to certain transformed problems. © 1990 Springer-Verlag.
引用
收藏
页码：91 / 132
页数：42
相关论文
共 50 条
12345