精度保証付きシミュレーション[4]−偏微分方程式の精度保証−
渡部 善隆, 中尾 充宏
Yoshitaka Watanabe and Mitsuhiro T. Nakao: Simulation with Guaranteed Accuracy [IV] --Verified Numerical Computation for Partial Differential Equations--, Journal of the Japan Society for Simulation Technology, Vol.19, No.3 (2000) pp.208-215. Some validated computations of the solution for partial differential equations are described. These methods are based on infinite dimensional fixed-point theorems using Newton-like operators. Interval arithmetic is used in order to take account of the effects of rounding errors in the floating point computations and check sufficient conditions for fixed-point theorems rigorously. 9 pages. The publisher holds the copyright on this manuscript.
|