2
$\begingroup$

Consider the following particular case of the inverse problem of the calculus of variations: given a system of second-order equations $$ \ddot{q}^i = f^i(q, \dot{q}, t), \quad i = 1, \dots, n, \label{1}\tag{1} $$ does there exist a Lagrangian $L(q, \dot{q}, t)$ whose Euler--Lagrange equations are equivalent to \eqref{1}?

As it is discussed in this MO post and in this other, the answer is affirmative for the 1-dimensional case.

And now my question is: still in the 1-dimensional case, assuming that the second-order ODE is autonomous, that is, if the equation takes the form $$ \ddot{q}=f(q,\dot{q}), $$ is it guaranteed that the Lagrangian is of the form $L=L(q,\dot{q})$?

$\endgroup$
4
  • 2
    $\begingroup$ You might want to have a look at mathoverflow.net/questions/379946/…. In particular, the equation $\ddot q + \dot q = 0$ does not have a Lagrangian that is independent of time, but it is the E-L equation of the functional $\int \mathrm{e}^t {\dot q}^2\, \mathrm{d}t$. $\endgroup$ Commented Aug 27 at 17:06
  • $\begingroup$ @RobertBryant I must have misunderstood something very silly. Why is not a valid Lagrangian $L=-q+\ln(\dot{q})$? Its E-L equation is $\ddot{q}=\dot{q}$, if I am right... $\endgroup$ Commented Aug 29 at 7:22
  • $\begingroup$ @RobertBryant Sorry, I copied it wrong from my notes. It is $L=-q+\dot{q} \ln(\dot{q})$. The Euler-Lagrange eq is $\frac{\ddot{q}}{\dot{q}}=-1$ $\endgroup$ Commented Aug 30 at 13:23
  • $\begingroup$ I guess the problem is that your $L$ is not even $C^1$ where $\dot q = 0$. We usually require the Lagrangian to be $\dot q$-convex, i.e., $L_{\dot q\dot q}$ exists everywhere and is nonzero. If you allow time dependence, this problem goes away: $L = \mathrm{e}^t\dot q^2$ is smooth and convex. $\endgroup$ Commented Aug 30 at 19:28

1 Answer 1

4
$\begingroup$

Since the Euler-Lagrange equation for an autonomous Lagrangian $L(q,\dot q)$ is $$ \frac{\partial L}{\partial q} - \frac{d}{dt}\left(\frac{\partial L}{\partial \dot q}\right) = L_q - \dot q L_{q\dot q} - \ddot q L_{\dot q\dot q}, $$ it follows that finding an autonomous Lagrangian for the ODE $\ddot q = f(q,\dot q)$ is equivalent to solving the second order linear PDE $$ L_q - \dot q L_{q\dot q} - f(q,\dot q) L_{\dot q\dot q} = 0 $$ for $L(q,\dot q)$. The Lagrangian is said to be nondegenerate if $L_{\dot q\dot q}$ is nonzero.

To keep the notation simple, write $\dot q = p$, so that the equation becomes $$ L_q - p L_{qp} - f(q,p) L_{pp} = 0.\tag1 $$ This is a hyperbolic linear PDE on the region in the domain of $f$ in the $qp$-plane where $p\not=0$, so local solutions in such a region will exist, even when one requires that $L_{pp}\not=0$. (Note that, given any two solutions $L$ and $L'$ for which, say $L_{pp}$ and $L'_{pp}$ are positive, then any positive linear combination of those solutions will also be a non-degenerate solution, so, at least away from the line $p=0$, there always exist (locally) many distinct nondegenerate Lagrangians for the equation $\ddot q = f(q,\dot q)$.) Whether or not there is a 'global' solution (especially a nondegenerate one), i.e., a solution in the entire domain of $f(p,q)$ in the $qp$-plane, depends on global properties of $f$ and its domain. It is not immediately clear whether, along the locus $p=0$, there will exist a $C^2$ solution $L$ for which $L_{pp}$ is nonzero.

It may be of interest to note that one can avoid having to solve a second order PDE to construct $L$. The usual process for solving the inverse problem by 'multipliers' reduces the problem to first solving a first order PDE and then computing a couple of line integrals. This goes as follows:

One interpretation of the critical curves of the Lagrangian $L$, written as $\mathrm{d} q- p\,dt = \mathrm{d}p - f(q,p)\,dt=0$ in $tqp$-space is as the null curves of the closed $2$-form $$ \omega = (\mathrm{d}L_p - L_q\,\mathrm{d}t)\wedge (\mathrm{d}q - p\,\mathrm{d}t) = L_{pp}\,(\mathrm{d}p - f(q,p)\,\mathrm{d}t)\wedge (\mathrm{d}q - p\,\mathrm{d}t), $$ So regarding $f(q,p)$ as known, one seeks a nonzero function $g(q,p)$ such that the $2$-form $$ \omega = g(p,q)\,(\mathrm{d}p - f(q,p)\,\mathrm{d}t)\wedge (\mathrm{d}q - p\,\mathrm{d}t) $$ be closed. The equation $\mathrm{d}\omega=0$ is the first order linear PDE $$ p\,g_q + f(q,p)\,g_p + f_p(q,p)\,g = 0,\tag2 $$ which can be solved by the usual method of characteristics away from the points where $p = f(q,p) = 0$ (where the characteristics may not foliate). Taking a nonvanishing solution $g(q,p)$ of (2), use the closedness of the corresponding $\omega$ to write it as the exterior derivative of a $1$-form $$ \begin{aligned} \omega &= \bigl(f(p,q)g(p,q)\mathrm{d}q - pg(q,p)\,\mathrm{d}p\bigr)\wedge\mathrm{d}t + g(p,q)\,\mathrm{d}p\wedge{d}q \\ &= \mathrm{d}\bigl(a(q,p)\,\mathrm{d}t + b(q,p)\,\mathrm{d}q\bigr), \end{aligned} $$ where $b_p = g$ and $\mathrm{d}a = fg\mathrm{d}q - pg\,\mathrm{d}p$. Then $L(q,p) = a(q,p) + pb(q,p)$ is the desired nondegenerate Lagrangian, with $L_{pp} = g(q,p)\not=0$.

It's not always possible for (2) to have a nonvanishing solution $g$ in a neighborhood of the locus $p=0$, though. For example, if $f(q,p)=p$, then (2) becomes $p(g_q+g_p) + g=0$, so $g$ has to vanish along $p=0$. On the other hand, if, for example, $f(q,p) = p^2h(q,p)$ for some smooth $h$, one can divide equation (2) by $p$ to get the non-singular equation $$ g_q + ph(q,p)\,g_p + \bigl(2h(q,p)+ph_p(q,p)\bigr)\,g = 0,\tag2 $$ which clearly has nonvanishing solutions $g$ near $p=0$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .