Ostrogradsky instability

In applied mathematics, the Ostrogradsky instability is a consequence of 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 linearly unstable Hamiltonian 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]

Outline of proof [2]

The main points of the proof can be made clearer by considering a one-dimensional system with a Lagrangian . The Euler–Lagrange equation is

Non-degeneracy of means that the canonical coordinates can be expressed in terms of the derivatives of and vice versa. Thus, is a function of (if it was not, the Jacobian would vanish, which would mean that is degenerate), meaning that we can write or, inverting, . Since the evolution of depends upon four initial parameters, this means that there are four canonical coordinates. We can write those as

and by using the definition of the conjugate momentum,

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

,

from which, the Euler-Lagrangian equations for read

,
,
,

Now, the canonical momentum with respect to are readily shown to be

while

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

,

where one makes use of the above Euler-Lagrangian equations for the second equality. We note that due to non-degeneracy, we can write as . Here, only three arguments are needed since the Lagrangian itself only has three free parameters. Therefore, the last expression only depends on , it effectively serves as the Hamiltonian of the original theory, namely,

.

We now notice that the Hamiltonian is linear in . This is Ostrogradsky's 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, which exacerbates the instability (since the Hamiltonian is linear in even more canonical coordinates).

Notes

  1. Motohashi, Hayato; Suyama, Teruaki (2015). "Third-order equations of motion and the Ostrogradsky instability". Physical Review D. 91 (8). arXiv:1411.3721. doi:10.1103/PhysRevD.91.085009.
  2. Woodard, R.P. (2007). "Avoiding Dark Energy with 1/R Modifications of Gravity". The Invisible Universe: Dark Matter and Dark Energy (PDF). Lecture Notes in Physics. 720. pp. 403–433. arXiv:astro-ph/0601672. doi:10.1007/978-3-540-71013-4_14. ISBN 978-3-540-71012-7.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.