In applied mathematics, the Ostrogradsky instability is a feature of some solutions of theories having equations of motion with more than two time derivatives (higher-derivative theories). It is suggested by a theorem of Mikhail Ostrogradsky in classical mechanics according to which a non-degenerate Lagrangian dependent on time derivatives higher than the first corresponds to a Hamiltonian unbounded from below. As usual, the Hamiltonian is associated with the Lagrangian via a Legendre transform. The Ostrogradsky instability has been proposed as an explanation as to why no differential equations of higher order than two appear to describe physical phenomena.[1] However, Ostrogradsky's theorem does not imply that all solutions of higher-derivative theories are unstable as many counterexamples are known.[2][3][4][5][6][7][8][9][10]

Outline of proof

Source:[11]

The main points of the proof can be made clearer by considering a one-dimensional system with a Lagrangian L(q,{\dot q}, {\ddot q}). The Euler–Lagrange equation is

\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.

Non-degeneracy of L means that the canonical coordinates can be expressed in terms of the derivatives of {q} and vice versa. Thus, \partial L/\partial{\ddot q} is a function of {\ddot q} (if it were not, the Jacobian \det[\partial^2 L/(\partial{\ddot q_i}\, \partial{\ddot q}_j)] would vanish, which would mean that L is degenerate), meaning that we can write q^{(4)} = F(q,{\dot q}, {\ddot q}, q^{(3)}) or, inverting, q = G(t, q_0, {\dot q}_0, {\ddot q}_0, q^{(3)}_0). Since the evolution of q depends upon four initial parameters, this means that there are four canonical coordinates. We can write those as

Q_1 : = q
Q_2 : = {\dot q}

and by using the definition of the conjugate momentum,

P_1 : = \frac{\partial L}{\partial{\dot q}} - \frac{d}{dt} \frac{\partial L}{\partial{\ddot q}}
P_2 : = \frac{\partial L}{\partial{\ddot q}}

The above results can be obtained as follows. First, we rewrite the Lagrangian into "ordinary" form by introducing a Lagrangian multiplier as a new dynamic variable \lambda

L(q,\dot{q},\ddot{q})\to \tilde{L}=L(Q_1,\dot{Q_1},\dot{Q_2})-\lambda(Q_2-\dot{Q_1}),

from which, the Euler-Lagrangian equations for Q_1,Q_2,\lambda read

Q_1:\frac{d}{dt}\frac{\partial L}{\partial \dot{Q_1}}+\dot{\lambda}-\frac{\partial L}{\partial Q_1}=0,
Q_2:\frac{d}{dt}\frac{\partial L}{\partial \dot{Q_2}}+{\lambda}=0,
\lambda:Q_2-\dot{Q_1}=0,

Now, the canonical momentum P_1,P_2 with respect to \tilde{L} are readily shown to be

P_1=\frac{\partial\tilde{L}}{\partial\dot{Q_1}}=\frac{\partial L}{\partial\dot{Q_1}}+\lambda=\frac{\partial L}{\partial\dot{Q_1}}-\frac{d}{dt}\frac{\partial L}{\partial\dot{Q_2}}
P_2=\frac{\partial\tilde{L}}{\partial\dot{Q_2}}=\frac{\partial {L}}{\partial\dot{Q_2}}

while

P_\lambda=0

These are precisely the definitions given above by Ostrogradski. One may proceed further to evaluate the Hamiltonian

\tilde{H}=P_1\dot{Q_1}+P_2\dot{Q_2}+p_\lambda\dot{\lambda}-\tilde{L}=P_1Q_2+P_2\dot{Q_2}-{L},

where one makes use of the above Euler-Lagrangian equations for the second equality. We note that due to non-degeneracy, we can write {\ddot q}=\dot{Q_2} as a(Q_1, Q_2, P_2). Here, only three arguments are needed since the Lagrangian itself only has three free parameters. Therefore, the last expression only depends on P_1,P_2,Q_1,Q_2, it effectively serves as the Hamiltonian of the original theory, namely,

H = P_1 Q_2 + P_2 a(Q_1, Q_2, P_2) - L(Q_1,Q_2,P_2).

We now notice that the Hamiltonian is linear in P_1 and hence unbounded from below. This is a source of the Ostrogradsky instability, and it stems from the fact that the Lagrangian depends on fewer coordinates than there are canonical coordinates (which correspond to the initial parameters needed to specify the problem). The extension to higher dimensional systems is analogous, and the extension to higher derivatives simply means that the phase space is of even higher dimension than the configuration space.

Notes

  1. ^ Motohashi, Hayato & Suyama, Teruaki (2015). "Third-order equations of motion and the Ostrogradsky instability". Physical Review D. 91 (8). arXiv:1411.3721. Bibcode:2015PhRvD..91h5009M. doi:10.1103/PhysRevD.91.085009. S2CID 118565011
  2. ^ Pais, A. & Uhlenbeck, G. E. (1950). "On Field theories with nonlocalized action". Physical Review. 79 (145): 145–165. Bibcode:1950PhRv...79..145P. doi:10.1103/PhysRev.79.145. S2CID 123644136
  3. ^ Pagani, E.; Tecchiolli, G.; Zerbini, S. (1987). "On the Problem of Stability for Higher Order Derivatives: Lagrangian Systems". Letters in Mathematical Physics. 14 (311): 311–319. Bibcode:1987LMaPh..14..311P. doi:10.1007/BF00402140. S2CID 120866609
  4. ^ Smilga, A. V. (2005). "Benign vs. Malicious ghosts in higher-derivative theories". Nuclear Physics B. 706 (598): 598–614. arXiv:hep-th/0407231. Bibcode:2005NuPhB.706..598S. doi:10.1016/j.nuclphysb.2004.10.037. S2CID 2058604
  5. ^ Pavsic, M. (2013). "Stable Self-Interacting Pais-Uhlenbeck Oscillator". Modern Physics Letters A. 28 (1350165). arXiv:1302.5257. Bibcode:2013MPLA...2850165P. doi:10.1142/S0217732313501654
  6. ^ Kaparulin, D. S.; Lyakhovich, S. L.; Sharapov, A. A. (2014). "Classical and quantum stability of higher-derivative dynamics". The European Physical Journal C. 74 (3072): 3072. arXiv:1407.8481. Bibcode:2014EPJC...74.3072K. doi:10.1140/epjc/s10052-014-3072-3. S2CID 54059979
  7. ^ Pavsic, M. (2016). "Pais-Uhlenbeck oscillator and negative energies". International Journal of Geometric Methods in Modern Physics. 13 (1630015): 1630015–1630517. arXiv:1607.06589. Bibcode:2016IJGMM..1330015P. doi:10.1142/S0219887816300154
  8. ^ Smilga, A. V. (2017). "Classical and quantum dynamics of higher-derivative systems". International Journal of Modern Physics A. 32 (1730025). arXiv:1710.11538. Bibcode:2017IJMPA..3230025S. doi:10.1142/S0217751X17300253. S2CID 119435244
  9. ^ Salvio, A. (2018). "Quadratic Gravity". Frontiers in Physics. 6 (77): 77. arXiv:1804.09944. Bibcode:2018FrP.....6...77S. doi:10.3389/fphy.2018.00077
  10. ^ Salvio, A. (2019). "Metastability in Quadratic Gravity". Physical Review D. 99 (10). arXiv:1902.09557. Bibcode:2019PhRvD..99j3507S. doi:10.1103/PhysRevD.99.103507. S2CID 102354306
  11. ^ Woodard, R.P. (2007). "Avoiding Dark Energy with 1/R Modifications of Gravity". The Invisible Universe: Dark Matter and Dark Energy. Vol. 720. Lecture Notes in Physics. pp. 403–433. arXiv:astro-ph/0601672. doi:10.1007/978-3-540-71013-4_14. ISBN 978-3-540-71012-7. S2CID 16631993