オストログラドスキーの定理 (オストログラドスキーのていり、theorem of Ostrogradsky) とは、力学変数の高階微分を運動方程式に含む物理系のハミルトニアンが下に非有界となることを述べる定理である。1850年にミハイル・オストログラドスキーにより証明された[1]。この定理は、運動方程式に高階微分項が含まれる系には一定の条件を満足する場合を除き物理的に不安定なモードが存在するため、そのような系は物理的ではないことを示している。2007年の Woodard の講義録[2]で紹介されたことにより修正重力理論および宇宙論の文脈でこの定理への関心が高まった[3]。 概要[編集] 一般化座標 により記述される物理系について考える。通常の物理系ではそのラグランジアン は座標 と速度 の関数 である[注釈 1]。 このとき、系の運動方程式はラグランジュ方程式 であり、従ってこれは座標 に