Professional Documents
Culture Documents
Abstract
The inverse problem in the calculus of variations for ordinary dif-
ferential equations consists of classifying second order ordinary differen-
tial equations according to whether their solutions are those of Euler–
Lagrange eqautions and exhibiting the nonuniqeness of the resulting La-
grangians when they occur. A less ambitious problem is that of finding
all (if any) such Lagrangians for a given system of differential equations.
This Chapter provides an introduction to the local version of this in-
verse problem (in both its aspects), its implications and some of the knowl-
edge about systems of second order ordinary differential equations that
have resulted from its study. In particular, such a system can be posed as
a Reeb field on a contact manifold and, as a result, important theorems
like those of Liouville and Arnol’d and Noether can be applied without
the existence of a Lagrangian.
1
1 The problem and its history.
The inverse problem in the calculus of variations involves deciding whether the
solutions of a given system of second-order ordinary differential equations
1
1.1 Historical Note
(The reader is referred to the excellent Notes at the end of Chapter 5 of Olver’s
book [35] and the comprehensive first chapter of Anderson and Thompson [1] on
the history of the variational bicomplex. This section is primarily intended to
fill in the historical details of the local inverse problem for second order ordinary
differential equations.)
Helmholtz [21] first raised the matter of deciding which systems of second
order ordinary differential equations are Euler-Lagrange for a first-order La-
grangian (that is, one depending on velocities but not accelerations) in the form
presented. Mayer [33] gave necessary and sufficient conditions for this to be true.
Hirsch [24] is responsible for the multiplier problem, that is, the question of the
existence of multiplier functions which convert second order o.d.e.’s in normal
form into Euler-Lagrange equations. Hirsch produced certain self-adjointness
conditions which, of themselves, are not particularly useful in classifying second
order equations according to the existence and uniqueness of the corresponding
multipliers.
This multiplier problem was completely solved by Douglas in 1941 [15] for
two degrees of freedom, that is, a pair of second order equations on the plane.
As described above, Douglas’s solution took the form of an exhaustive classifi-
ciation of all such equations in normal form. In each case Douglas identified all
(if any) Lagrangians producing Euler-Lagrange equations whose normal form is
that of the equations in that particular case. His method studiously avoided
Hirsch’s self-adjointness conditions and he produced his own necessary and suf-
ficient conditions, now known perversely as the Helmholtz conditions. These
conditions are partly differential, partly algebraic and his approach was to gen-
erate a sequence of integrability conditions, solving these using Riquier–Janet
theory.
Douglas’s solution is so comprehensive that his conditions formed the basis
for subsequent attempts on the three and higher-degrees of freedom problems.
His technique is so opaque that only recently has serious advancement been
possible.
Following Douglas the next significant contribution to solving the Helmholtz
conditions was that of the Henneaux [22] and Henneaux and Shepley [23]. Mo-
tivated by Wigner’s question “Do the equations of motion (as opposed to the
variational principle) completely determine the corresponding quantum mechan-
ics?” Henneaux developed an algorithm for solving the Helmholtz conditions
for any given system of second order equations, and, in particular, he
solved the problem for spherically symmetric problems in dimension 3. In this
fundamental case Henneaux and Shepley showed that a two-parameter family of
Lagrangians produce the same equations of motion, answering Wigner’s ques-
tion in the negative for the hydrogen atom. (Henneaux’s Lagrangians produced
inequivalent quantum mechanical hydrogen atoms. Further mathematical as-
pects of this case were elaborated by Crampin and Prince [10, 12].)
At around the same time Sarlet [42] showed that the part of the Helmholtz
conditions which ensures the correct time evolution of the multiplier matrix
2
could be replaced by a possibly infinite sequence of purely algebraic initial con-
ditions. Like Henneaux’s work, Sarlet’s contribution made the solution of the
problem for particular higher dimensional systems a real possibility.
Henneaux’s prototype for geometrising Douglas’s Helmholtz conditions in-
spired and eventually united a group of mathematicians (Cantrijn, Cariñena,
Crampin, Ibort, Marmo, Prince, Sarlet, Saunders and Thompson) with interests
in Lagrangian formulations in their work on the inverse problem. Using tangent
bundle geometry (see Yano and Ishahara [49]) and the geometrical approach to
second order equations of Klein and Grifone [19, 20, 26, 27], they reformulated
the Helmholtz conditions for non-autonomous second order o.d.e.’s on a mani-
fold in terms of the corresponding non-linear connection on its tangent bundle.
This occurred in 1985 after a sequence of papers [8, 13, 42]. Over the next 9
years the group made considerable advances in the geometry of second order
equations, notably the work of Sarlet [43], and collectively Martı́nez, Cariñena
and Sarlet [30, 31, 32]. The work of these three on derivations along the tangent
bundle projection produced the geometric machinery needed to geometrically re-
formulate Douglas’s solution of the two-degree of freedom case opening the way
to extension to arbitrary dimension. This was achieved in 1993 by Crampin,
Sarlet, Martı́nez, Byrnes and Prince and is reported in [14]. Separately An-
derson and Thompson [1] applied exterior differential systems theory to some
special cases of the geometrised problem with considerable success. (Both of
these advances are outlined in Section ??.) In addition, the reader is directed
to the review papers of Morandi et al [34] and Anderson and Thompson [1] for
accounts of the problem prior to these developments.
3
References
[1] I. Anderson and G. Thompson. The inverse problem of the calculus of
variations for ordinary differential equations. Memoirs Amer. Math. Soc.
98 No. 473 (1992).
[2] D. E. Blair. Contact Manifolds in Riemannian Geometry. Lecture Notes in
Mathematics 509 (Springer, Berlin, 1976).
[3] R. L. Bryant, S. S. Chern, R. B. Gardner, H. L. Goldschmidt and P. A.
Griffiths. Exterior Differntial Systems. (Springer, Berlin, 1991).
[4] G. B. Byrnes. A complete set of Bianchi identities for tensor fields along the
tangent bundle projection. J. Phys. A: Math. Gen. 27 (1993), 6617–6632.
[5] G. B. Byrnes. A linear connection for higher-order ordinary differential
equations. J. Phys. A: Math. Gen. 29 (1996), 1685–1694.
[6] E.Cartan. Leçons sur les invariants intégraux. (Hermann, 1922).
[7] M. Crampin. Generalized Bianchi identities for horizontal distributions.
Math. Proc. Camb. Phil. Soc. 94 (1983), 125–132.
[8] M. Crampin. Tangent bundle geometry for Lagrangian dynamics. J. Phys.
A: Math. Gen. 16 (1985), 3755–3772.
[9] M. Crampin and F. A. E. Pirani. Applicable Differential Geometry. (CUP,
1987).
[10] M. Crampin and G. E. Prince. Generalizing gauge freedom for spherically
symmetric potentials. J. Phys. A: Math. Gen. 18 (1985), 2167–2175.
[11] M. Crampin and G. E. Prince. Equivalent Lagrangians and dynamical sym-
metries: some comments. Phys. Lett. 108A (1985), 191–194.
[12] M. Crampin and G. E. Prince. Alternative Lagrangians for spherically sym-
metric potentials. J. Math. Phys. 29 (1988), 1551–1555.
[13] M. Crampin, G. E. Prince and G. Thompson. A geometric version of the
Helmholtz conditions in time dependent Lagrangian dynamics. J. Phys. A:
Math. Gen. 17 (1984), 1437–1447.
[14] M. Crampin, W. Sarlet, E. Martı́nez, G. B. Byrnes and G. E. Prince.
Toward a geometrical understanding of Douglas’s solution of the inverse
problem in the calculus of variations. Inverse Problems 10 (1994), 245-260.
[15] J. Douglas. Solution of the inverse problem of the calculus of variations.
Trans. Am. Math. Soc. 50 (1941), 71–128.
[16] Y. Eliashberg. Contact 3-manifolds twenty years since J. Martinet’s work.
Ann. Inst. Fourier 42 (1992), 165–192.
4
[17] H. Gluck. Global Theory of Dynamical Systems, Lecture Notes in Mathe-
matics 819 (Springer, Berlin, 1980).
5
[33] A. Mayer. Die Existenzbedingungen eines kinetischen Potentiales. Berich.
Verh. Konig. Sach. Gesell. wissen. Leipzig, Math. Phys. Kl. 84 (1896),
519–529.
[34] G. Morandi, C. Ferrario, G. Lo Vecchio, G. Marmo and C. Rubano. The in-
verse problem in the calculus of variations and the geometry of the tangent
bundle. Phys. Rep. 188 (1990), 147–284.
[35] P. J. Olver. Applications of Lie Groups to Differential Equations, 2nd Edi-
tion (Springer, Berlin, 1993)
[36] G. E. Prince. A complete classification of dynamical symmetries in classical
mechanics. Bull. Austral. Math. Soc. 32 (1985), 299–308.
[37] G. E. Prince, J. Aldridge and G. B. Byrnes. A universal Hamilton–Jacobi
equation for second–order ODEs. J. Phys. A: Math. Gen. 32 (1999), 827–
844.
[38] G. E. Prince, J. Aldridge, S. E. Godfrey and G. B. Byrnes. The separation
of the Hamilton–Jacobi equation for the Kerr metric. J. Aust. Math. Soc.
Series B 41(1999), 248–259.
6
[46] S. Sternberg. Differential Geometry, 2nd edition (Chelsea, New York, 1983).
[47] D. J. Saunders. The Geometry of Jet Bundles (CUP, 1989).
[48] I. Vaisman. Cohomology and Differential Forms, (Marcel Dekker, New
York, 1973).
[49] K. Yano and S. Ishahara. Tangent and cotangent bundles (Marcel Dekker,
New York, 1973).