I Spatial homogeneity condition for a free particle Lagrangian

Click For Summary
The discussion centers on the implications of spatial homogeneity for the Lagrangian of a free particle, referencing Landau-Lifshitz's mechanics. It argues that the proposed Lagrangian, which includes a potential term, does not satisfy the conditions for a free particle in an inertial frame, as it implies constant acceleration rather than constant velocity. Participants debate the definitions of "inertial frame" and "free particle," with emphasis on the requirement that a free particle's Lagrangian should not depend on spatial coordinates. The conversation highlights that while spatial homogeneity suggests translational invariance, it does not necessarily lead to a Lagrangian independent of spatial coordinates. Ultimately, the necessity of this independence in the context of Lagrangian mechanics remains contested.
  • #31
See also this thread from PSE. The first answer, basically addresses my question.
 
Physics news on Phys.org
  • #32
cianfa72 said:
See also this thread from PSE. The first answer, basically addresses my question.
I'm not sure it does, since that answer implies that the proposed "free particle Lagrangian" in the original question is in fact a "free particle Lagrangian". But it isn't, for the same reasons that the one in your OP isn't--at least, not if we assume it is written in an inertial frame, which is a key qualifier in L&L's presentation that is not mentioned at all in the PSE thread.
 
  • #33
PeterDonis said:
I'm not sure it does, since that answer implies that the proposed "free particle Lagrangian" in the original question is in fact a "free particle Lagrangian". But it isn't, for the same reasons that the one in your OP isn't--at least, not if we assume it is written in an inertial frame, which is a key qualifier in L&L's presentation that is not mentioned at all in the PSE thread.
Sorry to insist on this point: the proposed Lagrangian there, namely $$L = \frac{1}{2}mv^2 + 4x^3v_x$$ gives rise to the same stationary action solution as ##L = \frac{1}{2}mv^2## in the same frame (i.e. given two fixed start and end events the path between them with stationary action is the same). However the former depends on spatial coordinate ##x##.

From L&L p. 5, a free particle Lagrangian written in an inertial frame should not depend on ##x## coordinate based on spatial homogeneity requirement that applies in an inertial frame.

The above Lagrangian fulfills the "translation invariant" condition, however according to L&L it is not a "valid" free particle Lagrangian written in an inertial frame since it does depend on spatial coordinate ##x##.

Sorry to repeate this, but this is the point unclear to me.
 
  • #34
cianfa72 said:
the proposed Lagrangian there, namely $$L = \frac{1}{2}mv^2 + 4x^3v_x$$ gives rise to the same stationary action solution as ##L = \frac{1}{2}mv^2## in the same frame
What are you basing this on? The Euler-Lagrange equations are not the same.
 
  • #35
cianfa72 said:
The above Lagrangian fulfills the "translation invariant" condition
How? ##x^3## is not translation invariant.
 
  • #36
PeterDonis said:
What are you basing this on? The Euler-Lagrange equations are not the same.
Are you sure? ##4x^{3}v_{x}=4x^{3}\dot{x}=d\left(x^{4}\right)/dt## is a total time derivative.
 
  • #37
renormalize said:
Are you sure? ##4x^{3}v_{x}=4x^{3}\dot{x}=d\left(x^{4}\right)/dt## is a total time derivative.
Ah, I see. In one dimension, yes, this is true--but then it's confusing why ##v_x## is written in the second term but ##v^2## in the first.

As far as I can tell, L&L do not discuss the fact that you can add a total time derivative to a Lagrangian without changing the equations of motion.
 
  • Like
Likes dextercioby
  • #38
PeterDonis said:
As far as I can tell, L&L do not discuss the fact that you can add a total time derivative to a Lagrangian without changing the equations of motion.
From Landau & Lifshitz, Mechanics (3rd ed.), pg. 4:
1724173093546.png
 
  • Like
Likes PeterDonis and cianfa72
  • #39
PeterDonis said:
What are you basing this on? The Euler-Lagrange equations are not the same.
##4x^3v_x = 4x^3\dot x##. It is the ##\frac {d} {dt} \left (x^4(t) \right )## therefore it is the "standard" free particle Lagrangian written in an inertial frame + a total derivative term.
 
  • #40
renormalize said:
From Landau & Lifshitz, Mechanics (3rd ed.), pg. 4:
Ah, missed it. Thanks!

Their further discussion appears to assume that no total time derivative term is added and should be read with that qualifier in mind.
 
  • Like
Likes renormalize
  • #41
cianfa72 said:
##4x^3v_x = 4x^3\dot x##. It is the ##\frac {d} {dt} \left (x^4(t) \right )## therefore it is the "standard" free particle Lagrangian written in an inertial frame + a total derivative term.
Yes, @renormalize already pointed that out. And as I noted in post #40 just now, their further discussion appears to assume that no total time derivative is added, so, for example, when they say that the Lagrangian of a free particle in an inertial frame cannot depend on position, what they really mean is "except for a possible total time derivative term that depends on position but does not change the equations of motion". And similarly for other statements they make about Lagrangians, such as when they derive ##L = \frac{1}{2} m v^2## as the only possible free particle Lagrangian in an inertial frame.
 
  • Like
Likes cianfa72
  • #42
PeterDonis said:
How? ##x^3## is not translation invariant.
If one translates by the same amount ##c## the ##x## coordinates of the start and end events, one gets the same (translated) solution path (as stationary action path).
 
  • #43
cianfa72 said:
If one translates by the same amount ##c## the ##x## coordinates of the start and end events, one gets the same (translated) solution path (as stationary action path).
Yes, we've resolved that based on @renormalize pointing out that the ##x^3 v_x## term is a total time derivative, so the equation of motion is the same.
 
  • Like
Likes cianfa72
  • #44
PeterDonis said:
Yes, we've resolved that based on @renormalize pointing out that the ##x^3 v_x## term is a total time derivative, so the equation of motion is the same.
##L = \frac{1}{2} m v^2 + x## is "translation invariant" as well. Does it "count" as spatially homogeneous ?
 
  • #45
cianfa72 said:
On the same ground ##L = \frac{1}{2} m v^2 + x## is "translation invariant".
No, it isn't. ##x## is not a total time derivative.
 
  • Like
Likes Vanadium 50
  • #46
PeterDonis said:
No, it isn't. ##x## is not a total time derivative.
Yes, it isn't a total time derivative. However: fix a pair of start and end events. Suppose ##\alpha(t)## is a stationary action path for the Lagrangian in #44. Then translates the start and end ##x## coordinate of the same amount ##c##. Then ##\alpha (t) + c## will be a stationary action path as well.
 
  • #47
cianfa72 said:
Yes, it isn't a total time derivative. However: fix a pair of start and end events. Suppose ##\alpha(t)## is a stationary action path for the Lagrangian in #44. Then translates the start and end ##x## coordinate of the same amount ##c##. Then ##\alpha (t) + c## will be a stationary action path as well.
You keep making this statement but it is not true. Please do the actual calculation! Write your Lagrangian as ##L\left(x,\dot{x}\right)=\frac{1}{2}m\dot{x}^{2}+kx## (where I've inserted the coupling constant ##k## to allow us to examine the force-free case by setting ##k=0##). Then ##L## and the resulting equations-of-motion are simple enough that you can easily find the stationary solution ##x(t)##. Do so and then evaluate ##L## on the stationary path (i.e., put ##x## "on-shell") and then integrate from ##t_0## to ##t_1## to evaluate the value of the stationary action ##S[t_0,t_1]##. Use the same technique to calculate ##S[t_0+c,t_1+c]## and you'll find that the difference ##S[t_0+c,t_1+c]-S[t_0,t_1]## is non-zero and proportional to the coupling ##k##. The two stationary paths are not the same when ##k\neq 0##.
 
  • Like
Likes Vanadium 50 and PeterDonis
  • #48
renormalize said:
Please do the actual calculation!
And on that note, this thread is closed since the OP question has been thoroughly answered.
 
  • #49
renormalize said:
Use the same technique to calculate ##S[t_0+c,t_1+c]##
Two notes for clarification:

First, this is a translation in time, but the OP was talking about a translation in space. The point that the action is what needs to be evaluated is still valid.

Second, in any case, this Lagrangian is irrelevant to the claim made in L&L that was asked about in the OP, since this Lagrangian is not the Lagrangian of a free particle in an inertial frame.
 
  • Like
Likes cianfa72

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
636
Replies
8
Views
1K
  • · Replies 51 ·
2
Replies
51
Views
4K
Replies
22
Views
3K
  • · Replies 25 ·
Replies
25
Views
3K
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K