Validated solutions of initial value problems for ordinary differential equations

被引：236

作者：

Nedialkov, NS ^{[1
]}

Jackson, KR

Corliss, GF

机构：

[1] Univ Toronto, Dept Comp Sci, Toronto, ON M5S 3G4, Canada

[2] Marquette Univ, Dept Math Stat & Comp Sci, Milwaukee, WI 53201 USA

来源：

APPLIED MATHEMATICS AND COMPUTATION | 1999年 / 105卷 / 01期

关键词：

initial value problems; ordinary differential equations; interval arithmetic; Taylor series methods;

D O I：

10.1016/S0096-3003(98)10083-8

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Compared to standard numerical methods for initial-value problems (IVPs) for ordinary differential equations (ODEs), validated methods for IVPs for ODEs have two important advantages: if they return a solution to a problem, then (1) the problem is guaranteed to have a unique solution, and (2) an enclosure of the true solution is produced. The authors survey Taylor series methods for validated solutions of IVPs for ODEs, describe several such methods in a common framework, and identify areas for future research. (C) 1999 Elsevier Science Inc. All rights reserved.

引用

页码：21 / 68

页数：48

共 43 条

[1]

ADAMS E, 1987, DISCRETIZATION DIFFE, P9

[2]

Alefeld G., 1983, INTRO INTERVAL COMPU

[3]

[Anonymous], [No title captured]

[4]

[Anonymous], THESIS U KARLSRUHE

[5]

BAUCH H, 1989, Z ANGEW MATH MECH, V69, pT110

[6]

Berz M., 1996, COMPUTATIONAL DIFFER

[7] ATOMFT - SOLVING ODES AND DAES USING TAYLOR-SERIES [J].

CHANG, YF ;

CORLISS, G .

COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1994, 28 (10-12) :209-233

[8]

Corless R. M., 1992, Computer Arithmetic and Enclosure Methods. Proceedings of the Third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), P3

[9] SURVEY OF INTERVAL ALGORITHMS FOR ORDINARY DIFFERENTIAL-EQUATIONS [J].

CORLISS, GF .

APPLIED MATHEMATICS AND COMPUTATION, 1989, 31 :112-120

[10]

Corliss GF, 1996, MATH RES, V90, P228

← 1 2 3 4 5 →