オストログラドスキーの定理

オストログラドスキーの定理 (オストログラドスキーのていり、) とは、力学変数の高階微分を運動方程式に含む物理系のハミルトニアンが下に非有界となることを述べる定理である。1850年にミハイル・オストログラドスキーにより証明された。この定理は、運動方程式に高階微分項が含まれる系には一定の条件を満足する場合を除き物理的に不安定なモードが存在するため、そのような系は物理的ではないことを示している。2007年の Woodard の講義録で紹介されたことにより修正重力理論および宇宙論の文脈でこの定理への関心が高まった。
概要.
一般化座標 formula_1 により記述される物理系について考える。通常の物理系ではそのラグランジアン formula_2 は座標 formula_1 と速度 formula_4 の関数 formula_5 である。 このとき、系の運動方程式はラグランジュ方程式
であり、従ってこれは座標 formula_1 に関する2階微分方程式である、つまりこの系の運動方程式は座標 formula_1 の時間による2階微分 (加速度) formula_9 を含む。例えばラグランジアン formula_10 に対応するニュートンの運動方程式
はまさにそのようになっている他、電磁場の方程式であるマクスウェル方程式や重力場の方程式であるアインシュタイン方程式も同じように2階微分方程式である。
ラグランジアン formula_2 が座標 formula_1, 速度 formula_4, 加速度 formula_9 の関数 formula_16 であるような物理系について考えると、そのラグランジュ方程式
は座標 formula_1 に関する3階以上の微分方程式になり得る。このような系に関して、オストログラドスキーの定理は次のことを主張する。
一般にオストログラドスキーの定理が適用される系のハミルトニアンは、少なくともひとつの正準運動量 formula_23 の線型な関数であり、上下ともに非有界となる。このこと自体は不安定性の存在を直ちに意味するわけではないが、そのような系が他の自由度と相互作用を持つと、エネルギー最小状態 (基底状態) が存在しないため不安定な系となる。この意味でオストログラドスキーの定理により存在が保証される不安定性は線型不安定性またはオストログラドスキー不安定性と呼ばれ、また線型不安定性を持つ力学自由度のことをオストログラドスキーゴーストと呼ぶ。オストログラドスキーの定理は、通常の物理系の運動方程式が (ニュートンの運動方程式のように) 2階微分方程式として定式化される理由を説明すると解釈される。
より一般的な多自由度系におけるオストログラドスキー不安定性の解析は Motohashi et al. (2016) で与えられている。
具体例.
次のラグランジアンにより記述される系について考える。
この系の運動方程式は formula_25 という4階微分方程式である。この系はラグランジュ未定乗数 formula_26 を導入することにより、座標 formula_27 で記述される次のラグランジアンへと書き換えられる。
これを正準形式へと書き換えることを考える。formula_1, formula_30, formula_26 に対応する正準運動量をそれぞれ formula_32, formula_23, formula_34 とすると
となるが、このうち第1式および第3式は一般化速度 formula_4, formula_37 について解くことができないため、これはとなっている。対応するハミルトニアン
は、拘束条件を満足する超曲面上での等式 () として
という形に求まる。これは運動量 formula_32 に線型に依存し、上下ともに非有界である。こうしてオストログラドスキーの定理が成立することが確認される。なお一般に定理が成立することを証明するには、この議論を任意のラグランジアン formula_41 に対して実行すればよい。
この系についてオストログラドスキーゴーストに対応する自由度を次のような書き換えを通じて陽に分離することも可能である。まず、上の系は
というラグランジアンと等価である (つまり等価な運動方程式を導く)。そこで新しい変数 formula_43, formula_44 を
により定義し、ラグランジアンを座標 formula_43, formula_44 を用いて書き直すと
となる。このとき、座標 formula_43 に関する運動項 formula_50 は負符号を取り、このためにハミルトニアンが下に非有界となっていることが見て取れる。すなわち力学変数 formula_43 が表す自由度がオストログラドスキーゴーストである。
修正重力理論への応用.
一般相対性理論では重力場は計量テンソル formula_52 により表現され、アインシュタイン方程式に従う。重力場に加えてスカラー場 formula_53 の自由度を持つ修正重力理論 (スカラー・テンソル理論) において、ラグランジアンに高階微分を含むが運動方程式が2階微分方程式となる最も一般的な理論のクラスとしてホルンデスキー理論が知られている。その拡張として運動方程式に高階微分を含む理論を考えようとすると、オストログラドスキー不安定性のために一般にはゴーストが現れるため、健全な理論を構成することは自明ではなくなる。Langlois & Noui は2015年に実際にスカラー・テンソル理論に対してオストログラドスキーの定理を適用し、オストログラドスキーゴーストが存在しないが運動方程式が高階微分であるような理論を構成した。これはオストログラドスキーの定理の仮定である非縮退条件を破る (縮退条件を課す) ことによって実現される。