Difference between 2 Langrangians, proof

  • Thread starter Thread starter fluidistic
  • Start date Start date
  • Tags Tags
    Difference Proof
Click For Summary

Homework Help Overview

The discussion revolves around demonstrating that two Lagrangians, differing by a total derivative of a function, yield the same equations of motion. The original poster attempts to understand this relationship through the lens of the Euler-Lagrange equations.

Discussion Character

  • Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of a total time derivative in the context of the Euler-Lagrange equations. There are attempts to clarify why such a derivative contributes only a constant to the integral of the Lagrangian. Questions arise regarding the dependence of variables and the application of the fundamental theorem of calculus.

Discussion Status

The discussion is active, with participants providing insights and clarifications. Some guidance has been offered regarding the application of the fundamental theorem of calculus and the nature of constants in the context of fixed endpoints. There is acknowledgment of understanding developing among participants, though some uncertainties remain.

Contextual Notes

Participants are navigating the complexities of Lagrangian mechanics, specifically the treatment of total derivatives and their implications for motion equations. There is an emphasis on the assumptions regarding variable dependencies and the constraints of the problem setup.

fluidistic
Gold Member
Messages
3,934
Reaction score
286

Homework Statement


Demonstrate that if the Lagrangians [tex]L(q, \dot q ,t)[/tex] and [tex]L'(q, \dot q , t)[/tex] who differ in a total derivative of a function f(q,t) give the same motion equations.
That is, [tex]L'=L +\frac{d}{dt}f(q,t)[/tex]

Homework Equations


Euler-Lagrange's equation.

The Attempt at a Solution


I tried to use Euler-Lagrange's equation to see if I could reach the same equations for L and L' but without any success. I've checked out in Landau & Lifgarbagez's book. Here is what it more or less says: "If we have [tex]L'=L+\frac{d}{dt}(2a \vec r \cdot \dot \vec r+a \dot r ^2 t)[/tex], we can omit the second term since it's a total derivative with respect to time."
So according to this book it's obvious while I have to prove it. But I don't understand why it's obvious nor why it's true.
 
Physics news on Phys.org
It's obvious because the Euler-Lagrange equations come from the variation of the integral of L*dt. A total time derivative in L can only contribute a constant to the integral of L*dt. The variation of a constant is 0.
 
Dick said:
It's obvious because the Euler-Lagrange equations come from the variation of the integral of L*dt. A total time derivative in L can only contribute a constant to the integral of L*dt. The variation of a constant is 0.
I thank you for the reply, much appreciated.
I'm still not getting it. Ok for your 1st and 3rd sentence, but I don't see why the second is true.
If I understand you, you are implying that [tex]\int _{t_0}^{t_1} \frac{d}{dt} f(q,t) dt=\int _{t_0}^{t_1} d f(q,t)=K[/tex], a constant. Also the integral of d f(q,t) doesn't make sense to me. I'm missing something...
 
fluidistic said:
If I understand you, you are implying that [tex]\int _{t_0}^{t_1} \frac{d}{dt} f(q,t) dt=\int _{t_0}^{t_1} d f(q,t)=K[/tex], a constant. Also the integral of d f(q,t) doesn't make sense to me. I'm missing something...

Just use the fundamental theorem of calculus...
 
gabbagabbahey said:
Just use the fundamental theorem of calculus...
That's what I had done first on my draft, but I wasn't sure it was right. So it's worth [tex]f(q,t_2)-f(q, t_1)[/tex]. But I'm not sure q depends on t. If it does then we indeed reach a constant, but if it doesn't, I don't see it.
Also, I'm not sure I can use the FTC since I have an integral of a differential of a function, not a differential of a variable. I mean I don't even have a "dt" or whatsoever.
 
q does depend on t. But in euler-lagrange you fix the endpoints. So q(t1) is fixed and q(t2) is fixed.
 
Dick said:
q does depend on t. But in euler-lagrange you fix the endpoints. So q(t1) is fixed and q(t2) is fixed.

Ok I see. If q is constant we're done and if q depends on t we're also done. It cannot depend on anything else I guess.
Now am I right in post #3? How can I apply the FTC? I don't have a differential of a variable.
 
You have integral of d/dt(f(q(t),t)*dt from t1 to t2. That's f(q(t2),t2)-f(q(t1),t1) by FTW as gabbagabbahey said. Everything is fixed at the endpoints. It's a constant.
 
Dick said:
You have integral of d/dt(f(q(t),t)*dt from t1 to t2. That's f(q(t2),t2)-f(q(t1),t1) by FTW as gabbagabbahey said. Everything is fixed at the endpoints. It's a constant.

Thanks I now get it. Those differentials! I missed that I shouldn't have simplified the dt's in the equation [tex]\int _{t_0}^{t_1} \frac{d}{dt} f(q,t) dt=\int _{t_0}^{t_1} d f(q,t)[/tex] and that I should have applied it (the FTC) in the left hand side. Sorry to both for being so slow minded. I'm happy I've understood at least.
Thanks once again.
 
  • #10
On a side note, you can also use the chain rule to show that

[tex]\frac{\partial L'}{\partial q}-\frac{d}{dt}\frac{\partial L'}{\partial \dot{q}}=\frac{\partial L}{\partial q}-\frac{d}{dt}\frac{\partial L}{\partial \dot{q}}[/tex]
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
7
Views
7K
  • · Replies 15 ·
Replies
15
Views
2K