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

オストログラドスキーの定理 (オストログラドスキーのていり、theorem of Ostrogradsky) とは、力学変数の高階微分を運動方程式に含む物理系のハミルトニアンが下に非有界となることを述べる定理である。1850年にミハイル・オストログラドスキーにより証明された。この定理は、運動方程式に高階微分項が含まれる系には一定の条件を満足する場合を除き物理的に不安定なモードが存在するため、そのような系は物理的ではないことを示している。2007年の Woodard の講義録で紹介されたことにより修正重力理論および宇宙論の文脈でこの定理への関心が高まった。 一般化座標 q {\displaystyle q} により記述される物理系について考える。通常の物理系ではそのラグランジアン L {\displaystyle L} は座標 q {\displaystyle q} と速度 q ˙ {\displaystyle {\dot {q}}} の関数 L = L ( q , q ˙ ) {\displaystyle L=L(q,{\dot {q}})} である。 このとき、系の運動方程式はラグランジュ方程式 ∂ L ∂ q − d d t ∂ L ∂ q ˙ = 0 {\displaystyle {\frac {\partial L}{\partial q}}-{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}}}=0} であり、従ってこれは座標 q {\displaystyle q} に関する2階微分方程式である、つまりこの系の運動方程式は座標 q {\displaystyle q} の時間による2階微分 (加速度) q ¨ {\displaystyle {\ddot {q}}} を含む。例えばラグランジアン L = 1 2 m q ˙ 2 − V ( q ) {\displaystyle L={\frac {1}{2}}m{\dot {q}}^{2}-V(q)} に対応するニュートンの運動方程式 m d 2 q d t 2 = F ( q ) ,     F ( q ) = − d V d q ( q ) {\displaystyle m{\frac {d^{2}q}{dt^{2}}}=F(q),\ \ F(q)=-{\frac {dV}{dq}}(q)} はまさにそのようになっている他、電磁場の方程式であるマクスウェル方程式や重力場の方程式であるアインシュタイン方程式も同じように2階微分方程式である。 ラグランジアン L {\displaystyle L} が座標 q {\displaystyle q} , 速度 q ˙ {\displaystyle {\dot {q}}} , 加速度 q ¨ {\displaystyle {\ddot {q}}} の関数 L = L ( q , q ˙ , q ¨ ) {\displaystyle L=L(q,{\dot {q}},{\ddot {q}})} であるような物理系について考えると、そのラグランジュ方程式 ∂ L ∂ q − d d t ∂ L ∂ q ˙ + d 2 d t 2 ∂ L ∂ q ¨ = 0 {\displaystyle {\frac {\partial L}{\partial q}}-{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}}}+{\frac {d^{2}}{dt^{2}}}{\frac {\partial L}{\partial {\ddot {q}}}}=0} は座標 q {\displaystyle q} に関する3階以上の微分方程式になり得る。このような系に関して、オストログラドスキーの定理は次のことを主張する。 ラグランジアン L = L ( q , q ˙ , q ¨ ) {\displaystyle L=L(q,{\dot {q}},{\ddot {q}})} により記述される物理系について、そのラグランジアンが加速度 q ¨ {\displaystyle {\ddot {q}}} に関する非縮退条件 ∂ 2 L ∂ q ¨ 2 ≠ 0 {\displaystyle {\frac {\partial ^{2}L}{\partial {\ddot {q}}^{2}}}\neq 0} を満足するとき、この系のハミルトニアン H {\displaystyle H} は上下ともに非有界となる。 一般にオストログラドスキーの定理が適用される系のハミルトニアンは、少なくともひとつの正準運動量 P {\displaystyle P} の線型な関数であり、上下ともに非有界となる。このこと自体は不安定性の存在を直ちに意味するわけではないが、そのような系が他の自由度と相互作用を持つと、エネルギー最小状態 (基底状態) が存在しないため不安定な系となる。この意味でオストログラドスキーの定理により存在が保証される不安定性は線型不安定性またはオストログラドスキー不安定性と呼ばれ、また線型不安定性を持つ力学自由度のことをオストログラドスキーゴーストと呼ぶ。オストログラドスキーの定理は、通常の物理系の運動方程式が (ニュートンの運動方程式のように) 2階微分方程式として定式化される理由を説明すると解釈される。 より一般的な多自由度系におけるオストログラドスキー不安定性の解析は Motohashi et al. (2016) で与えられている。 次のラグランジアンにより記述される系について考える。 L = 1 2 q ¨ 2 {\displaystyle L={\frac {1}{2}}{\ddot {q}}^{2}} この系の運動方程式は d 4 q d t 4 = 0 {\displaystyle {\frac {d^{4}q}{dt^{4}}}=0} という4階微分方程式である。この系はラグランジュ未定乗数 λ {\displaystyle \lambda } を導入することにより、座標 ( q , Q , λ ) {\displaystyle (q,Q,\lambda )} で記述される次のラグランジアンへと書き換えられる。 L = 1 2 Q ˙ 2 − λ ( Q − q ˙ ) {\displaystyle L={\frac {1}{2}}{\dot {Q}}^{2}-\lambda (Q-{\dot {q}})} これを正準形式へと書き換えることを考える。 q {\displaystyle q} , Q {\displaystyle Q} , λ {\displaystyle \lambda } に対応する正準運動量をそれぞれ p {\displaystyle p} , P {\displaystyle P} , Λ {\displaystyle \Lambda } とすると p = ∂ L ∂ q ˙ = λ ,     P = ∂ L ∂ Q ˙ = Q ˙ ,     Λ = ∂ L ∂ λ ˙ = 0 {\displaystyle p={\frac {\partial L}{\partial {\dot {q}}}}=\lambda ,\ \ P={\frac {\partial L}{\partial {\dot {Q}}}}={\dot {Q}},\ \ \Lambda ={\frac {\partial L}{\partial {\dot {\lambda }}}}=0} となるが、このうち第1式および第3式は一般化速度 q ˙ {\displaystyle {\dot {q}}} , λ ˙ {\displaystyle {\dot {\lambda }}} について解くことができないため、これは拘束系（英語版）となっている。対応するハミルトニアン H = p q ˙ + P Q ˙ + Λ λ ˙ − L {\displaystyle H=p{\dot {q}}+P{\dot {Q}}+\Lambda {\dot {\lambda }}-L} は、拘束条件を満足する超曲面上での等式 (弱等式（英語版）) として H = 1 2 P 2 + p Q {\displaystyle H={\frac {1}{2}}P^{2}+pQ} という形に求まる。これは運動量 p {\displaystyle p} に線型に依存し、上下ともに非有界である。こうしてオストログラドスキーの定理が成立することが確認される。なお一般に定理が成立することを証明するには、この議論を任意のラグランジアン L ( q , q ˙ , q ¨ ) {\displaystyle L(q,{\dot {q}},{\ddot {q}})} に対して実行すればよい。 この系についてオストログラドスキーゴーストに対応する自由度を次のような書き換えを通じて陽に分離することも可能である。まず、上の系は L = q ¨ Q − 1 2 Q 2 {\displaystyle L={\ddot {q}}Q-{\frac {1}{2}}Q^{2}} というラグランジアンと等価である (つまり等価な運動方程式を導く)。そこで新しい変数 x {\displaystyle x} , y {\displaystyle y} を x = q + Q 2 ,     y = q − Q 2 {\displaystyle x={\frac {q+Q}{\sqrt {2}}},\ \ y={\frac {q-Q}{\sqrt {2}}}} により定義し、ラグランジアンを座標 x {\displaystyle x} , y {\displaystyle y} を用いて書き直すと L = − 1 2 x ˙ 2 + 1 2 y ˙ 2 − 1 4 ( x − y ) 2 {\displaystyle L=-{\frac {1}{2}}{\dot {x}}^{2}+{\frac {1}{2}}{\dot {y}}^{2}-{\frac {1}{4}}(x-y)^{2}} となる。このとき、座標 x {\displaystyle x} に関する運動項 − 1 2 x ˙ 2 {\displaystyle -{\frac {1}{2}}{\dot {x}}^{2}} は負符号を取り、このためにハミルトニアンが下に非有界となっていることが見て取れる。すなわち力学変数 x {\displaystyle x} が表す自由度がオストログラドスキーゴーストである。 一般相対性理論では重力場は計量テンソル g μ ν {\displaystyle g_{\mu \nu }} により表現され、アインシュタイン方程式に従う。重力場に加えてスカラー場 ϕ {\displaystyle \phi } の自由度を持つ修正重力理論 (スカラー・テンソル理論) において、ラグランジアンに高階微分を含むが運動方程式が2階微分方程式となる最も一般的な理論のクラスとしてホルンデスキー理論が知られている。その拡張として運動方程式に高階微分を含む理論を考えようとすると、オストログラドスキー不安定性のために一般にはゴーストが現れるため、健全な理論を構成することは自明ではなくなる。Langlois & Noui は2015年に実際にスカラー・テンソル理論に対してオストログラドスキーの定理を適用し、オストログラドスキーゴーストが存在しないが運動方程式が高階微分であるような理論を構成した。これはオストログラドスキーの定理の仮定である非縮退条件を破る (縮退条件を課す) ことによって実現される。 ^ 時刻 t {\displaystyle t} に陽に依存することも可能であるが、いまの文脈では時間依存性を持たせることは自明な拡張に過ぎないため、ここではラグランジアンの時間依存性は考慮しない。 ^ アインシュタイン方程式に対応するアインシュタイン・ヒルベルト作用はリッチテンソルで書かれるため、ラグランジアンに計量テンソルの2階微分を含む。ただしこれは一般共変性が明白な形に作用を表示するためのものであり、部分積分により2階微分をラグランジアンから消去することが可能である。この意味でアインシュタイン方程式も他の例と同じくラグランジアンに力学変数の1階微分までを含む理論となっている。 ^ M. V. Ostrogradsky: Mem. Acad. St. Petersbourg VI 4 (1850) 385 ^ a b c Woodard, Richard (2007). “Avoiding Dark Energy with 1/R Modifications of Gravity”. The Invisible Universe: Dark Matter and Dark Energy, Lecture Notes in Physics (Springer-Verlag) 720: 403. arXiv:astro-ph/0601672. ISBN 978-3-540-71012-7.  ^ a b c d e 本橋隼人「オストログラドスキーの定理：整合的な修正重力理論への道のり」『日本物理学会誌』第71巻第11号、日本物理学会、2016年4月、734-735頁。  ^ ランダウ, L. D.、リフシッツ, E. M.『場の古典論』恒藤 敏彦（訳）、東京図書、1978年10月30日、306-308頁。ISBN 978-4-489-01161-0。  ^ a b Motohashi, Hayato; Suyama, Teruaki (2015). “Third order equations of motion and the Ostrogradsky instability”. Physical Review D 91 (8): 085009. arXiv:1411.3721. doi:10.1103/PhysRevD.91.085009.  ^ Richard P Woodard (2015年). “Ostrogradsky's theorem on Hamiltonian instability”. Scholarpedia. doi:10.4249/scholarpedia.32243. 2020年1月7日閲覧。 ^ a b Motohashi, Hayato; Noui, Karim; Suyama, Teruaki; Yamaguchi, Masahide; Langlois, David (2016). “Healthy degenerate theories with higher derivatives”. Journal of Cosmology and Astroparticle Physics 2016 (7): 033. arXiv:1603.09355. doi:10.1088/1475-7516/2016/07/033.  ^ Kobayashi, Tsutomu (2019). “Horndeski theory and beyond: a review”. Reports on Progress in Physics 82: 086901. arXiv:1901.07183. doi:10.1088/1361-6633/ab2429.  ^ Langlois, David; Noui, Karim (2016). “Degenerate higher derivative theories beyond Horndeski: evading the Ostrogradski instability”. Journal of Cosmology and Astroparticle Physics 2016: 034. arXiv:1510.06930. doi:10.1088/1475-7516/2016/02/034.  解析力学 修正重力理論 ホルンデスキー理論