x: 被食者(ウサギ)、y: 捕食者(キツネ)
α: 被食者成長率、β: 捕食率、δ: 捕食者成長率、γ: 捕食者死亡率
H = δx + βy − γ ln x − α ln y
古典LVの閉軌道は中心点を囲む閉曲線の連続体であり、
リミットサイクル(孤立した閉軌道)ではない!
この系は構造不安定である:
6.4節: 古典LVの解析、閉軌道の存在証明
6.5節: 保存系とハミルトン系
7.2節: Bendixson判定法(閉軌道の非存在条件)
5章: 中心点 vs 安定/不安定スパイラル
この値は符号が一定ではないため、Bendixsonの判定法は適用できない。
→ 閉軌道の存在を「否定できない」(実際に存在する)