連立遅延エルニーニョ方程式における分数調波解の存在の計算機援用証明

抄録

概要. 本稿では，エルニーニョが起きるペルー沖での海面温度とそれより東方でエルニーニョ現象は起きていない隣接地域の海面温度を従属変数とする連立遅延エルニーニョ方程式に現れる多様な周期解の存在の精度保証付き数値計算法に基づく計算機援用証明を示す．