抄録
本報告では、正規形の連立1階常微分方程式の初期値問題で、とくに定義域が広い場合を精度保証付きで解くための方法を提案する。この問題では解軌道の包含を求めるために区間評価を行うが、その過程で区間幅が増大するため、解軌道に対する実用的な区間評価を長時間にわたって行うのが困難であるというのがこの問題の難しさである。本報告では、区間幅の増大の原因がwrapping effectにあると考え、wrapping effectの影響を受けない「アフィン演算」という区間演算の拡張を用いることで、長時間積分を実現するのが目的である。
