TransWikia.com

Deriving the Lagrangian for a free particle

Physics Asked on September 26, 2021

I’m a newbie in physics. Sorry, if the following questions are dumb. I began reading "Mechanics" by Landau and Lifshitz recently and hit a few roadblocks right away.

  1. Proving that a free particle moves with a constant velocity in an inertial frame of reference ($S$3. Galileo’s relativity principle). The proof begins with explaining that the Lagrangian must only depend on the speed of the particle ($v^2={bf v}^2$):
    $$L=L(v^2).$$
    Hence the Lagrance’s equations will be
    $$frac{d}{dt}left(frac{partial L}{partial {bf v}}right)=0,$$
    so
    $$frac{partial L}{partial {bf v}}=text{constant}.$$
    And this is where the authors say

Since $partial L/partial bf v$ is a function of the velocity only, it follows that
$${bf v}=text{constant}.$$

Why so? I can put $L=|{bf v}|=sqrt{v^2_x+v^2_y+v^2_z}$. Then
$$frac{partial L}{partial {bf v}}=frac{2}{sqrt{v^2_x+v^2_y+v^2_z}}begin{pmatrix} v_x v_y v_z end{pmatrix},$$
which will remain a constant vector $begin{pmatrix} 2 0 0 end{pmatrix}$ as the particle moves with an arbitrary non-constant positive $v_x$ and $v_y=v_z=0$. Where am I wrong here? If I am, how does one prove the quoted statement?

  1. Proving that $L=frac{m v^2}2$ ($S$4. The Lagrangian for a free particle). The authors consider an inertial frame of reference $K$ moving with a velocity ${bfepsilon}$ relative to another frame of reference $K’$, so ${bf v’=v+epsilon}$. Here is what troubles me:

Since the equations of motion must have same form in every frame, the Lagrangian $L(v^2)$ must be converted by this transformation into a function $L’$ which differs from $L(v^2)$, if at all, only by the total time derivative of a function of coordinates and time (see the end of $S$2).

First of all, what does same form mean? I think the equations should be the same, but if I’m right, why wouldn’t the authors write so?
Second, it was shown in $S$2 that adding a total derivative will not change the equations. There was nothing about total derivatives of time and coordinates being the only functions, adding which does not change the equations (or their form, whatever it means). Where am I wrong now? If I’m not, how does one prove the quoted statement and why haven’t the authors done it?

3 Answers

  1. In physics, it is often implicitly assumed that the Lagrangian $L=L(vec{q},vec{v},t)$ depends smoothly on the (generalized) positions $q^i$, velocities $v^i$, and time $t$, i.e. that the Lagrangian $L$ is a differentiable function. Let us now assume that the Lagrangian is of the form $$L~=~ellleft(v^2right),qquadqquad v~:=~|vec{v}|,tag{1}$$ where $ell$ is a differentiable function. The equations of motion (eom) become $$ vec{0}~=~frac{partial L}{partial vec{q}} ~approx~frac{mathrm d}{mathrm dt}frac{partial L}{partial vec{v}} ~=~frac{mathrm d }{mathrm dt} left(2vec{v}~ell^{prime}right) ~=~2vec{a}~ell^{prime}+4vec{v}~(vec{a}cdotvec{v}) ell^{primeprime}.tag{2}$$ (Here the $approx$ symbol means equality modulo eom.) If $ell$ is a constant function, the eom becomes a trivial identity $vec{0}equiv vec{0}$. This is unacceptable. Hence let us assume from now on that $ell$ is not a constant function. This means that generically $ell^{prime}$ is not zero. We conclude from eq. (2) that on-shell $$vec{a} parallel vec{v},tag{3}$$ i.e. the vectors $vec{a}$ and $vec{v}$ are linearly dependent on-shell. (The words on-shell and off-shell refer to whether eom is satisfied or not.) Therefore by taking the length on both sides of the vector eq. (2), we get $$ 0~approx~2a(ell^{prime}+2v^2ell^{primeprime}),qquadqquad a~:=~|vec{a}|.tag{4}$$ This has two branches. The first branch is that there is no acceleration, $$ qquad vec{a}~approx~vec{0},tag{5}$$ or equivalently, a constant velocity. The second branch imposes a condition on the speed $v$, $$ell^{prime}+2v^2ell^{primeprime}~approx~0.tag{6}$$ To take the second branch (6) seriously, we must demand that it works for all speeds $v$, not just for a few isolated speeds $v$. Hence eq. (6) becomes a 2nd order ODE for the $ell$ function. The full solution is precisely OP's counterexample $$L~=~ ellleft(v^2right)~=~alpha sqrt{v^2}+beta~=~alpha v+beta,tag{7}$$ where $alpha$ and $beta$ are two integration constants. This is differentiable wrt. the speed $v=|vec{v}|$, but it is not differentiable wrt. the velocity $vec{v}$ at $vec{v}=vec{0}$ if $alphaneq 0$. Therefore the second branch (6) is discarded. Thus the eom is the standard first branch (5). $Box$

  2. Firstly, the definition of form invariance is discussed in this Phys.SE post. Concretely, Landau and Lifshitz mean by form invariance that if the Lagrangian is $$L~=~ellleft(v^2right)tag{8}$$ in the frame $K$, it should be $$L^prime~=~ellleft(v^{prime 2}right)tag{9}$$ in the frame $K^{prime}$. Here $$vec{v}^{prime }~=~vec{v}+vec{epsilon}tag{10}$$ is a Galilean transformation.

    Secondly, OP asks if adding a total time derivative to the Lagrangian $$L ~longrightarrow~ L+frac{mathrm dF}{mathrm dt}tag{11}$$ is the the only thing that would not change the eom? No, e.g. scaling the Lagrangian $$L ~longrightarrow~ alpha Ltag{12}$$ with an overall factor $alpha$ also leaves the eom unaltered. See also Wikibooks. However, we already know that all Lagrangians of the form (8) and (9) lead to the same eom (5). (Recall that acceleration is an absolute notion under Galilean transformations.)

    Instead, I interpret the argument of Landau and Lifshitz as that they want to manifestly implement Galilean invariance via Noether Theorem by requiring that an (infinitesimal) change $$ Delta L~:=~L^prime-L ~=~2(vec{v}cdotvec{epsilon})ell^{prime} tag{13}$$ of the Lagrangian is always a total time derivative $$Delta L~=~frac{mathrm dF}{mathrm dt}tag{14}$$ even off-shell.

    Question: In general, how do we know/correctly identify if an expression $Delta L$ is a total time derivative (14), or not?

    Example: The expression $q^2 +2tvec{q}cdot vec{v}$ happens to be a total time derivative, but this fact may be easy to miss at a first glance. The lesson is that one should be very careful in claiming that a total time derivative must be on such and such form. It is easy to overlook possibilities.

    Well, one surefire (albeit admittedly a bit heavy-handed) test is to apply the Euler-Lagrange operator on the expression (13), and check if it is identically zero off-shell, or not. (Amusingly, this test actually happens to be both a necessary and sufficient condition, but that's another story.) We calculate: $$begin{align} vec{0} &~=~ frac{mathrm d}{mathrm dt}frac{partial Delta L}{partial vec{v}} -frac{partial Delta L}{partial vec{q}} &~=~4vec{epsilon}~(vec{a}cdotvec{v}) ell^{primeprime} +4vec{v}~(vec{a}cdotvec{epsilon}) ell^{primeprime} +4vec{a}~(vec{v}cdotvec{epsilon}) ell^{primeprime} +8vec{v}~(vec{v}cdotvec{epsilon})(vec{a}cdotvec{v}) ell^{primeprimeprime}. tag{15}end{align}$$ Since eq. (15) should hold for any off-shell configuration, we can e.g. pick $$ vec{a}~parallel~vec{v}~perp~vec{epsilon}.tag{16}$$ Then eq. (15) reduces to $$ vec{0}~=~ 4vec{epsilon} ~(pm a v) ell^{primeprime}. tag{17}$$ We may assume that $vec{epsilon}neqvec{0}$. Arbitrariness of $a$ and $v$ implies that $$ell^{primeprime}~=~0.tag{18}$$ (Conversely, it is easy to check that eq. (18) implies eq. (15).) The full solution to eq. (18) is the standard non-relativistic Lagrangian for a free particle, $$L~=~ ellleft(v^2right)~=~alpha v^2+beta, tag{19}$$ where $alpha$ and $beta$ are two integration constants. Eq. (19) is the main result. Alternatively, the main result (19) follows directly from the following Lemma.

    Lemma: If $F(vec{q}, vec{v}, vec{a}, vec{j}, ldots, t)$ in eq. (14) is a local function, and if $Delta L(vec{q}, vec{v}, vec{a}, vec{j}, ldots, t)$ does not depend on higher time derivatives $vec{a}$, $vec{j}$, $ldots$, then $F$ cannot not depend on time derivatives $vec{v}, vec{a}, vec{j}, ldots$. This in turn implies that $Delta L(vec{q}, vec{v}, t)$ is an affine function of $vec{v}$.

    We leave the proof of the Lemma as an exercise to the reader.

    The Lemma and eq. (13) yield that $ell^{prime}$ is independent of $vec{v}$, which again leads to the main result (19). $Box$

  3. For more on Galilean invariance, see also this Phys.SE post.

Correct answer by Qmechanic on September 26, 2021

Qmechanic's answer is good, and I only want to comment (but I can't) on two small mistakes in the logic of the derivation for the first part, but which doesn't affect the final answer.

From $(2)$ we see that $vec{a} approx vec{0}$ solves the equation. Now, assuming that $vec{a} neq vec{0}$, then we get the statement that on-shell $vec{a} ~||~ vec{v}$. After all, there is no notion of vectors being 'parallel' if one of them is the zero vector.

The next statement is not gotten by taking the length on both sides of the equation. This is because we don't know if $|vec{x} + vec{y} | = |vec{x}|+|vec{y}|$ or $|vec{x}|-|vec{y}|$. The former is when the two vectors are pointing in the same direction and the latter is when they are pointing in opposite directions.

Instead, dot with $vec{v}$. Then one gets begin{align} 2(vec{a}.vec{v})(l'+2v^2 l'') approx 0, end{align} whereby from the assumption that neither $vec{a}$ nor $vec{v}$ are identically 0, the stuff in the other paranthesis vanishes. Then the result that this branch is bad follows, leaving us with $vec{a} approx vec{0}$.

Hope that was useful :)

Answered by nervxxx on September 26, 2021

Also Qmechanic gave the correct answer, I believe it is overloaded, because there is actually no need to use motion equations (Euler-Lagrange equations) to answer to the second part of the OP question at least.

Actually you can simply just generalize original Landau approach to this issue for an answer, so I will mention it here in details:

Lets suppose that $Lleft(vec{v}^{2n}right)$($2n$ is to have scalar value) is the Lagrangian of a free particle in inertial frame $K$. suppose another inertial frames of reference $K'$ that moves relative to $K$ with infinitesimal velocity $vec{varepsilon}$, the Lagrangian $L'=Lleft[left(vec{v}+vec{varepsilon}right)^{2n}right]$ in $K'$ that describes the particle should be same Lagrangian as in $K$ up to a total time derivative.

To show that, we expand $left(vec{v}+vec{varepsilon}right)^{2n}$ in first order of $vec{varepsilon}$, to find it, we suppose at first that $n=1$, then: $$left(vec{v}+vec{varepsilon}right)^{2}simeq v^{2}+2vec{varepsilon}cdotvec{v}$$ then to find for $n=2$ we write: $$left(vec{v}+vec{varepsilon}right)^{4}simeqleft(v^{2}+2vec{varepsilon}cdotvec{v}right)left(v^{2}+2vec{varepsilon}cdotvec{v}right)simeq v^{4}+4left(vec{varepsilon}cdotvec{v}right)v^{2}$$ repeating this couple times insures you that: $$left(vec{v}+vec{varepsilon}right)^{2n}=v^{2n}+2nleft(vec{varepsilon}cdotvec{v}right)v^{2n-2}+Oleft(varepsilon^{2}right)$$ then we can write by expanding the Lagrangian that: $$Lleft[left(vec{v}+vec{varepsilon}right)^{2n}right] = Lleft(vec{v}^{2n}right)+2nleft(vec{varepsilon}cdotvec{v}right)v^{2n-2}frac{partial L}{partialvec{v}^{2n}}+Oleft(varepsilon^{2}right) simeq L+gleft(vright)sum_{i}varepsilon_{i}frac{dx_{i}}{dt}$$ Where: $$gleft(leftVert vec{v}rightVert right)equiv2n, v^{2n-2}frac{partial L}{partial v^{2n}}$$ because $Lleft(vright)$, it should be clear that $g$ have to be a function of speed only (not of velocity or it's components), also we see that the sum sign, is actually already a full time derivative by it's own, so to keep the second term full time derivative, we see that the only possible option for us it to have $gleft(vright)=const$, from this it follows immediately that $n=1$ (note that $n>0$) and $L=alpha v^{2}+beta$.

Answered by TMS on September 26, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP