[Physics] Is the path of stationary action unique? What are the physical implications of $L_{\dot{x}}=L_x$

actiongeodesicslagrangian-formalism

Below, for any function $Q$ the notation $Q_x$ means $\frac{\partial Q}{\partial x}$, and $Q_{xx}$ means $\frac{\partial^2 Q}{\partial x^2}$.

In physics, the trajectory of a particle is given by the Euler-Lagrange condition:

$$\frac{d L_{\dot{x}}}{dt}=L_x \:\:\:\:\:\:\:\ (1)$$

This condition guarantees that the particle travels along a trajectory of stationary action.

I would appreciate it if someone could help me understand the physical implications of a trajectory where (1) is satisfied but also the condition

$$L_{\dot{x}}=L_x \:\:\:\:\:\:\:\ (2)$$

is satisfied.

For example, if we have the action

$$S=f(x) \:\:\:\:; \:\:\:\:x=x(t)$$

and thus the lagrangian

$$L(x,\dot{x},t)\equiv\frac{\delta S}{\delta t}=f_x\dot{x}$$
$$S=\int_{t_0}^{t_1} L(x,\dot{x},t) \:\:dt$$
then
$$L_x=f_{xx}\dot{x}$$
$$L_{\dot{x}}=f_{x}$$

and if you differentiate $L_{\dot{x}}$ w.r.t. $t$ you'll see that the the Euler Lagrange condition (1) is satisfied. Now, if condition (2) is also imposed, then the trajectory is a stationary action trajectory, but also

$$L_{\dot{x}}=L_x \Rightarrow \:\:\: f=e^{t+\ln{x}+C} \:\:\:\:\:\:\:\ (result)$$

where $C$ is the constant of integration.

Specifically, my question: I thought condition (1) already imposed a unique path upon the particle. But adding condition (2) seems to impose an even "unique-er" path upon the particle (i.e. the "result"). Does this mean that the path of stationary action is not necessarily unique? That there are many trajectories that satisfy the principle of stationary action?

And more generally, I would appreciate it if someone could help me understand the real world physical implications of a trajectory that satisfies condition (2) and of the "result."

Best Answer

The Euler-Lagrange equations are obtained by employing the principle of least action. This means that if we make a slight change to the path of the particle (call it $\delta x$(t)), the action should not change (to first order in $\delta x$). We write $\delta S$ for the change of the action, so the Euler-Lagrange equations are obtained by requiring that $\delta S = 0$ for any slight change of the path $x(t)$ with the ends held fixed.

Let us calculate the change of the action $\delta S$ (we ommit terms of higher order in $\delta x$):

$\delta S = \int_{t_0}^{t_1}L(x + \delta x,\dot x + \delta\dot x,t)\mathrm{d}t - \int_{t_0}^{t_1}L(x,\dot x,t)\mathrm{d}t = \int_{t_0}^{t_1}(L_{\,x}\delta x+L_{\,\dot x}\delta \dot x)\mathrm{d}t = \int_{t_0}^{t_1}(L_{\,x} - \frac{\mathrm{d}}{\mathrm{d}t} L_{\,\dot x})\delta x \; \mathrm{d}t + \left.L_{\,\dot x}\delta x\right|_{t_0}^{t_1}$

In the last step we integrated by parts. Now the last term can be omitted because the ends of the path are held fixed, so $\delta x(t_0) = \delta x(t_1) = 0$. Since $\delta S = 0$ should hold for otherwise arbitrary $\delta x$ we conclude that

$L_{\,x} - \frac{\mathrm{d}}{\mathrm{d}t} L_{\,\dot x} = 0$

which is precisely the Euler-Lagrange equation.

Now the problem with your Lagrangian is that it is essentially zero. This can be seen by noting that I can add a total time derivative of an arbitrary function $\frac{\mathrm{d}}{\mathrm{d}t}g(x,t)$ to a Lagrangian without changing its physical meaning. This added term would amount to the expression $g_x\delta x|_{t_0}^{t_1}$ in the change of the action and therefore give zero, since again the ends of the path are held fixed.

Since any two Lagrangians are equivalent if they differ by a total time derivative $\frac{\mathrm{d}}{\mathrm{d}t}g(x,t)$ and yours is obtained from a total time derivative ($\frac{\mathrm{d}f}{\mathrm{d}t}$), your Lagrangian is equivalent to the Lagrangian $L=0$.

So it is not surprising that your Lagrangian does not give unique equations of motions, in fact it does not give any equations of motions at all.

This also happens when there is gauge symmetry in a physical system. Then the equations of motions don't uniquely determine the evolution of all variables used to describe the system. In your system the only degree of freedom is a gauge symmetry, so there is no physical content in your Lagrangian.