単独高階微分方程式の連立一階微分方程式への変形について

単独高階線形微分方程式を一階の連立微分方程式に変形する方法は有名です．一方，逆に連立方程式を単独高階方程式に直せることが知られています．この事実は時々説明されることはあるものの証明が書かれていることはほとんどないです．

そこで巡回ベクトルを用いた証明のpdfを書きました．証明には微分加群を用いています．微分加群は圏論的に微分ガロア理論を捉える時の基本的な対象でもあります．

drive.google.com