The usual set-up of Lagrangian mechanics on n-dimensional Euclidean spaceRn is as follows. Consider a differentiablepathu : → Rn. The action of the path u, denoted S, is given by where L is a function of time, position and velocity known as the Lagrangian. The principle of least action states that, given an initial state x0 and a final state x1 in Rn, the trajectory that the system determined by L will actually follow must be a minimizer of the action functionalS satisfying the boundary conditionsu = x0, u = x1. Furthermore, the critical points of S must satisfy the Euler-Lagrange equations for S: where the upper indices i denote the components of u = . In the classical case the Euler-Lagrange equations are the second-order ordinary differential equations better known as Newton's laws of motion: The inverse problem of Lagrangian mechanics is as follows: given a system of second-order ordinary differential equations that holds for times 0 ≤ t ≤ T, does there exist a Lagrangian L : × Rn × Rn → R for which these ordinary differential equations are the Euler-Lagrange equations? In general, this problem is posed not on Euclidean space Rn, but on an n-dimensional manifoldM, and the Lagrangian is a function L : × TM → R, where TM denotes the tangent bundle of M.
Douglas' theorem and the Helmholtz conditions
To simplify the notation, let and define a collection of n2 functions Φji by Theorem. There exists a Lagrangian L : × TM → R such that the equations are its Euler-Lagrange equations if and only ifthere exists a non-singularsymmetric matrixg with entries gij depending on both u and v satisfying the following three Helmholtz conditions:
Applying Douglas' theorem
At first glance, solving the Helmholtz equations - seems to be an extremely difficult task. Condition is the easiest to solve: it is always possible to find a g that satisfies, and it alone will not imply that the Lagrangian is singular. Equation is a system of ordinary differential equations: the usual theorems on the existence and uniqueness of solutions to ordinary differential equations imply that it is, in principle, possible to solve. Integration does not yield additional constants but instead first integrals of the system, so this step becomes difficult in practice unless has enough explicit first integrals. In certain well-behaved cases, this condition is satisfied. The final and most difficult step is to solve equation, called the closure conditions since is the condition that the differential 1-formgi is a closed form for each i. The reason why this is so daunting is that constitutes a large system of coupled partial differential equations: for ndegrees of freedom, constitutes a system of partial differential equations in the 2nindependent variables that are the components gij of g, where denotes the binomial coefficient. In order to construct the most general possible Lagrangian, one must solve this huge system! Fortunately, there are some auxiliary conditions that can be imposed in order to help in solving the Helmholtz conditions. First, is a purely algebraic condition on the unknown matrix g. Auxiliary algebraic conditions on g can be given as follows: define functions by The auxiliary condition on g is then In fact, the equations and are just the first in an infinite hierarchy of similar algebraic conditions. In the case of a parallel connection, the higher order conditions are always satisfied, so only and are of interest. Note that comprises conditions whereas comprises conditions. Thus, it is possible that and together imply that the Lagrangian function is singular. As of 2006, there is no general theorem to circumvent this difficulty in arbitrary dimension, although certain special cases have been resolved. A second avenue of attack is to see whether the system admits a submersion onto a lower-dimensional system and to try to "lift" a Lagrangian for the lower-dimensional system up to the higher-dimensional one. This is not really an attempt to solve the Helmholtz conditions so much as it is an attempt to construct a Lagrangian and then show that its Euler-Lagrange equations are indeed the system.