Solving Euler-Lagrange Equation for Conservative Field Motion

In summary: I thought, but now I'm not sure anymore. Since \frac{\partial T}{\partial r} has no explicit dependence on r, the partial derivative is zero.
  • #1
fluidistic
Gold Member
3,949
264

Homework Statement


The main problem is that I do not understand the problem. Here it is: A particle describes a one-dimensional motion under the action of a conservative field: [tex]\ddot r =-\frac{dU(r)}{dr}[/tex].
Consider now the following coordinates transformation: r=r(q,t). Demonstrate that the generalized coordinate q(t) satisfies Euler-Lagrange's equation, namely [tex]\frac{d}{dt} \left ( \frac{\partial L}{\partial \dot q} \right ) -\frac{\partial L}{\partial q}=0[/tex]. Note that [tex]L(q, \dot q , t)=T(q, \dot q ,t)-U(q,t)[/tex].


Homework Equations


Already given.


The Attempt at a Solution


I fail to understand what is the "coordinates transformation". Do they mean a "coordinates system" that moves with a uniform velocity with respect the the first one? I'm not getting this at all.
I give it another try: I choose the origin as being in the straight line of the particle's motion. The particle's distance from me is r. It is convenient to use vectors instead of modulus but anyway... So the transformation transforms my "r" into "r(q,t)". What's that? I still don't understand.
 
Physics news on Phys.org
  • #2
The simply mean that any coordinate transformation from [itex]r[/itex] and [itex]t[/itex] to [itex]q[/itex] and [itex]t[/itex] can be described in functional form as [itex]r=r(q,t)[/itex]. For example, it could be the transformation given by [itex]r=3q^2-t[/itex] or any other transformation.

In order to solve the problem at hand, try computing [itex]\frac{d}{dt} \left ( \frac{\partial L}{\partial \dot q} \right ) -\frac{\partial L}{\partial q}[/itex] using the chain rule, and then show that as long as [itex]\ddot{r}=-\frac{dU}{dr}[/itex], the result is zero.
 
  • #3
gabbagabbahey said:
The simply mean that any coordinate transformation from [itex]r[/itex] and [itex]t[/itex] to [itex]q[/itex] and [itex]t[/itex] can be described in functional form as [itex]r=r(q,t)[/itex]. For example, it could be the transformation given by [itex]r=3q^2-t[/itex] or any other transformation.

In order to solve the problem at hand, try computing [itex]\frac{d}{dt} \left ( \frac{\partial L}{\partial \dot q} \right ) -\frac{\partial L}{\partial q}[/itex] using the chain rule, and then show that as long as [itex]\ddot{r}=-\frac{dU}{dr}[/itex], the result is zero.

Thanks for the help. I'm sorry, I didn't copy well the problem. It is [tex]m\ddot r = - \frac{dU(r)}{dr}[/tex]. Hopefully it doesn't change almost anything.
[tex]\frac{\partial L}{\partial q}=\frac{\partial T (q, \dot q , t)}{\partial r} \cdot \frac{\partial r }{\partial q} - m \ddot r \cdot \frac{\partial r}{\partial q} = \frac{\partial r}{\partial q} \left ( \frac{\partial T}{\partial r} - m \ddot r \right )[/tex].
And if I'm not wrong, [tex]\frac{\partial L}{\partial \dot q}=0[/tex].
Hence E-L's equation is satisfied if and only if [tex]\frac{\partial r}{\partial q} \left ( \frac{\partial T}{\partial r} - m \ddot r \right )=0[/tex]. I don't think it's true so I made at least an error.
 
  • #4
fluidistic said:
[tex]\frac{\partial L}{\partial q}=\frac{\partial T (q, \dot q , t)}{\partial r} \cdot \frac{\partial r }{\partial q} - m \ddot r \cdot \frac{\partial r}{\partial q} = \frac{\partial r}{\partial q} \left ( \frac{\partial T}{\partial r} - m \ddot r \right )[/tex].

Good...and what is [itex]\frac{\partial T}{\partial r}[/itex] for a particle moving in one dimension? (What is [itex]T(r,\dot{r},t)[/itex]?)

And if I'm not wrong, [tex]\frac{\partial L}{\partial \dot q}=0[/tex].

Why do you think this?
 
  • #5
gabbagabbahey said:
Good...and what is [itex]\frac{\partial T}{\partial r}[/itex] for a particle moving in one dimension? (What is [itex]T(r,\dot{r},t)[/itex]?)
Is it just 0? Since T=(m/2) (dot r) ^2, since there's no r, if you derivate with respect to r it's 0.


Why do you think this?
Oops you're right, it's not worth 0 since T does depend on velocity.
I reach, as E-L equation: [tex]\frac{\partial r}{\partial q} \left ( \frac{\partial T}{\partial r} -m \ddot r \right ) - \frac{\partial r}{\partial \dot q} \cdot \frac{\partial T(q, \dot q , t)}{\partial r}=0[/tex].
Which reduces to [tex]\frac{\partial r}{\partial q} \ddot r =0[/tex]... which is untrue.
 
  • #6
fluidistic said:
Is it just 0? Since T=(m/2) (dot r) ^2, since there's no r, if you derivate with respect to r it's 0.

Yes. [itex]T[/itex] has no explicit dependence on [itex]r[/itex], so the partial derivative is zero.

I reach, as E-L equation: [tex]\frac{\partial r}{\partial q} \left ( \frac{\partial T}{\partial r} -m \ddot r \right ) - \frac{\partial r}{\partial \dot q} \cdot \frac{\partial T(q, \dot q , t)}{\partial r}=0[/tex].

How are you getting this?

[tex]\frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}}\right)=\frac{d}{dt}\left(\frac{\partial T}{\partial \dot{q}}\right)\neq \frac{\partial r}{\partial \dot q} \cdot \frac{\partial T(q, \dot q , t)}{\partial r}[/tex]
 
Last edited:
  • #7
gabbagabbahey said:
Yes. [itex]T[/itex] has no explicit dependence on [itex]r[/itex], so the partial derivative is zero.
Ok thanks for the clarification.


How are you getting this?

[tex]\frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}}\right)=\frac{d}{dt}\left(\frac{\partial T}{\partial \dot{q}}\right)\neq \frac{\partial r}{\partial \dot q} \cdot \frac{\partial T(q, \dot q , t)}{\partial r}[/tex]

I made a typo error, I meant [tex]\frac{\partial r}{\partial q} \cdot \frac{\partial T(q, \dot q , t)}{\partial r}[/tex].
Now I believe that [tex]\frac{\partial L}{\partial \dot q}=\underbrace{\frac{\partial T (q, \dot q , t)}{\partial r}}_{=0} \cdot \frac{\partial r}{\partial \dot q}=0[/tex]. So I reach once again [tex]\frac{\partial L}{\partial \dot q}=0[/tex]. Here I don't see any error but it seems false.
I'm checking once again my arithmetics and I don't see any error. I reach that E-L equations holds if [tex]\frac{\partial r}{\partial q} \ddot r=0[/tex] which holds, at least mathematically.
 
  • #8
Let's check your calculation for a very simple transformation, say [itex]r=2q[/itex]. Under this transformation, [itex]T=\frac{1}{2}m\dot{r}^2=2m\dot{q}^2[/itex], and so [itex]\frac{\partial L}{\partial\dot{q}}=4m\dot{q}\neq0[/itex]...clearly there is something wrong with your application of the chain rule. So, what exactly is wrong? Simple; [itex]T=\frac{1}{2}m\dot{r}^2[/itex] depends on [itex]\dot{r}[/itex], which in turn depends on [itex]\dot{q}[/itex].

In general, [itex]T[/itex] a function of several variables, and the chain rule tells you

[tex]\frac{\partial}{\partial\dot{q}}T(r,\dot{r},t)=\frac{\partial r}{\partial\dot{q}}\frac{\partial T}{\partial r}+\frac{\partial\dot{r}}{\partial\dot{q}}\frac{\partial T}{\partial\dot{r}}+\frac{\partial t}{\partial\dot{q}}\frac{\partial T}{\partial t}=\frac{\partial r}{\partial\dot{q}}\frac{\partial T}{\partial r}+\frac{\partial\dot{r}}{\partial\dot{q}}\frac{\partial T}{\partial\dot{r}}[/tex]

(The last term is obviously zero since [itex]\frac{\partial t}{\partial\dot{q}}=0[/itex])
 
  • #9
gabbagabbahey said:
Let's check your calculation for a very simple transformation, say [itex]r=2q[/itex]. Under this transformation, [itex]T=\frac{1}{2}m\dot{r}^2=2m\dot{q}^2[/itex], and so [itex]\frac{\partial L}{\partial\dot{q}}=4m\dot{q}\neq0[/itex]...clearly there is something wrong with your application of the chain rule. So, what exactly is wrong? Simple; [itex]T=\frac{1}{2}m\dot{r}^2[/itex] depends on [itex]\dot{r}[/itex], which in turn depends on [itex]\dot{q}[/itex].
Ok I see.
In general, [itex]T[/itex] a function of several variables, and the chain rule tells you

[tex]\frac{\partial}{\partial\dot{q}}T(r,\dot{r},t)=\frac{\partial r}{\partial\dot{q}}\frac{\partial T}{\partial r}+\frac{\partial\dot{r}}{\partial\dot{q}}\frac{\partial T}{\partial\dot{r}}+\frac{\partial t}{\partial\dot{q}}\frac{\partial T}{\partial t}=\frac{\partial r}{\partial\dot{q}}\frac{\partial T}{\partial r}+\frac{\partial\dot{r}}{\partial\dot{q}}\frac{\partial T}{\partial\dot{r}}[/tex]
Ok I must do a quick review of calculus 3. I have a question though... If you simplify the expression this way for each term: [tex]\frac{\partial r}{\partial \dot q} \frac{\partial T}{\partial r}[/tex] to [tex]\frac{\partial T}{\partial \dot q}[/tex], you get [tex]\frac{\partial T}{\partial \dot q}=3\frac{\partial T}{\partial \dot q}[/tex].
So I'm guessing that the T's aren't all the same in each of the 3 terms of the sum. Is this right?

(The last term is obviously zero since [itex]\frac{\partial t}{\partial\dot{q}}=0[/itex])
I don't really understand why it's true. [tex]\dot q[/tex] can depend on t, right? So we'd have [tex]\dot q (t)[/tex]. Now I believe we could have a [tex]t(\dot q)[/tex] by taking the inverse function.
Now why [tex]\frac{\partial t}{\partial \dot q}=0[/tex], I have no idea.

I'm going to bed now, tomorrow when I wake up I check this problem. Thanks for everything once again.
 
  • #10
fluidistic said:
If you simplify the expression this way for each term: [tex]\frac{\partial r}{\partial \dot q} \frac{\partial T}{\partial r}[/tex] to [tex]\frac{\partial T}{\partial \dot q}[/tex]

You can only cancel out differentials like this when [itex]T[/itex] is a function of [itex]r[/itex] only. For example, [itex]\frac{d}{dt}f(x)=\frac{dx}{dt}\frac{df}{dx}[/itex] by the chain rule, so you can effectively cancel the [itex]dx[/itex]'s to get [itex]\frac{d}{dt}f(x)=\frac{df}{dt}[/itex]. But when your function depends on more than one variable, you get a sum of several terms (3 in this case) and if you naively cancel out differentials you get stuff like [itex]\frac{\partial T}{\partial \dot{q}}=3\frac{\partial T}{\partial \dot{q}}[/itex]; which is clearly nonsense for nonzero [itex]T[/itex].

I don't really understand why it's true. [tex]\dot q[/tex] can depend on t, right? So we'd have [tex]\dot q (t)[/tex]. Now I believe we could have a [tex]t(\dot q)[/tex] by taking the inverse function.
Now why [tex]\frac{\partial t}{\partial \dot q}=0[/tex], I have no idea.

Now this is also a good question. Just remember that when you calculate a partial derivative you are always holding certain other variables constant. In this case, the Lagrangian is completely described by 3 variables; [itex]q[/itex], [itex]\dot{q}[/itex], and [itex]t[/itex]...when you calculate the partial derivative w.r.t [itex]\dot{q}[/itex], you hold [itex]q[/itex] and [itex]t[/itex] fixed. Therefor, [itex]\frac{\partial t}{\partial \dot q}=\frac{\partial q}{\partial \dot q}=0[/itex].

You also have a related error in your earlier calculations for [itex]\frac{\partial L}{\partial q}[/itex], that I missed:

[tex]\frac{\partial T}{\partial q}\neq\frac{\partial r}{\partial q}\frac{\partial T}{\partial r}[/tex]

you need to apply the chain rule properly.
 
Last edited:
  • #11
Thanks once again for this very useful lesson.
I've tried to redo [tex]\frac{\partial L}{\partial q}[/tex] and I get the same "error". Let's see what I did. I'd appreciate if you could point me out where my mistake is.
[tex]\frac{\partial L}{\partial q}=\frac{\partial L}{\partial r} \cdot \frac{\partial r}{\partial q}+ \frac{\partial L}{\partial \dot q} \cdot \frac{\partial \dot q}{\partial q}+ \frac{\partial L}{\partial t} \cdot \frac{\partial t}{\partial q}[/tex][tex]= \left ( \frac{\partial T}{\partial r} - \frac{\partial U}{\partial r} \right ) \cdot \frac{\partial r}{\partial q}+\left ( \frac{\partial T}{\partial \dot q} - \frac{\partial U}{\partial \dot q} \right ) \cdot \frac{\partial \dot q}{\partial q}+ \left ( \frac{\partial T}{\partial t} - \frac{\partial U}{\partial t} \right ) \cdot \frac{\partial t}{\partial q}[/tex][tex]= \left ( \frac{\partial T}{\partial r} - \frac{\partial U}{\partial r} \right ) \cdot \frac{\partial r}{\partial q}= \left ( \frac{\partial T}{\partial r} +m \ddot r \right ) \cdot \frac{\partial r}{\partial q}=\frac{\partial T}{\partial r} \cdot \frac{\partial r}{\partial q}[/tex].
I hope there's no typo. Where did I go wrong?
 
  • #12
Your error is in your first step. You either treat [itex]L[/itex] as a function of [itex]r[/itex], [itex]\dot{r}[/itex] and [itex]t[/itex] or of [itex]q[/itex], [itex]\dot{q}[/itex] and [itex]t[/itex]...you don't mix up coordinate systems like you've done and treat it as a function of of [itex]r[/itex], [itex]\dot{q}[/itex] and [itex]t[/itex].

[tex]\frac{\partial L}{\partial q}=\frac{\partial L}{\partial r}\frac{\partial r}{\partial q}+ \frac{\partial L}{\partial \dot{r}}\frac{\partial \dot{r}}{\partial q}+ \frac{\partial L}{\partial t}\frac{\partial t}{\partial q}[/tex]
 
  • #13
gabbagabbahey said:
Your error is in your first step. You either treat [itex]L[/itex] as a function of [itex]r[/itex], [itex]\dot{r}[/itex] and [itex]t[/itex] or of [itex]q[/itex], [itex]\dot{q}[/itex] and [itex]t[/itex]...you don't mix up coordinate systems like you've done and treat it as a function of of [itex]r[/itex], [itex]\dot{q}[/itex] and [itex]t[/itex].
Ah I see thank you. I will treat L as function of q, [tex]\dot q[/tex] and t. By the way, aren't you mixing the variables also by writing
[tex]\frac{\partial L}{\partial q}=\frac{\partial L}{\partial r}\frac{\partial r}{\partial q}+ \frac{\partial L}{\partial \dot{r}}\frac{\partial \dot{r}}{\partial q}+ \frac{\partial L}{\partial t}\frac{\partial t}{\partial q}[/tex]
? It seems that you've used [tex]L(q, \dot r , t)[/tex]. Or I'm still missing the point?
Edit: Yeah I'm missing something, you also use r.
 
  • #14
No, that's being consistent. The q that appears in gabbagabbahey's expression comes from the q in the [itex]\partial L/\partial q[/itex].

Think of it like this: let's say you decide to treat L as a function of three variables, X, Y, and Z. (Could be [itex]r,\dot{r},t[/itex] or [itex]q,\dot{q},t[/itex] or...) And let's say you want to express [itex]\partial L/\partial A[/itex] using the chain rule, where A is some variable (could be [itex]q[/itex]). You go through the list of variables that [itex]L[/itex] depends on, and for each one, write a term like this
[tex]\frac{\partial L}{\partial X}\frac{\partial X}{\partial A}[/tex]
You could sort of think of it as multiplying both top and bottom by [itex]\partial X[/itex] (although that's really just a memory aid, not any sort of rigorous mathematics). Once you've done that for each variable, add them all up. You'd get
[tex]\frac{\partial L}{\partial X}\frac{\partial X}{\partial A} + \frac{\partial L}{\partial Y}\frac{\partial Y}{\partial A} + \frac{\partial L}{\partial Z}\frac{\partial Z}{\partial A}[/tex]
So for example, expressing [itex]L[/itex] in terms of [itex]q,\dot{q},t[/itex] would get you
[tex]\frac{\partial L}{\partial q}\frac{\partial q}{\partial q} + \frac{\partial L}{\partial \dot{q}}\frac{\partial \dot{q}}{\partial q} + \frac{\partial L}{\partial t}\frac{\partial t}{\partial q}[/tex]
If [itex]q,\dot{r},t[/itex] were a valid set of variables for expressing [itex]L[/itex], you would get
[tex]\frac{\partial L}{\partial q}\frac{\partial q}{\partial q} + \frac{\partial L}{\partial \dot{r}}\frac{\partial \dot{r}}{\partial q} + \frac{\partial L}{\partial t}\frac{\partial t}{\partial q}[/tex]
But that doesn't work.
 
  • #15
fluidistic said:
Ah I see thank you. I will treat L as function of q, [tex]\dot q[/tex] and t.

That won't help you much...you'll simply get [itex]\frac{\partial L}{\partial q}=\frac{\partial L}{\partial q}[/itex], since [itex]\dot{q}[/itex] and [itex]t[/itex] are held constant for the partial derivative w.r.t [itex]q[/itex].

Treat it as a function of [itex]r[/itex], [itex]\dot{r}[/itex] and [itex]t[/itex] instead and you will get what I posted above.
 

FAQ: Solving Euler-Lagrange Equation for Conservative Field Motion

What is the Euler-Lagrange Equation?

The Euler-Lagrange Equation is a mathematical equation used to describe the motion of a conservative field. It is derived from the principle of least action, which states that the true path of an object is the one that minimizes the action integral, a measure of the change in energy over time.

What is a conservative field?

A conservative field is a vector field in which the line integral between any two points is independent of the path taken. This means that the work done by the field on an object moving through it is only dependent on the initial and final positions, not the path taken.

Why is solving the Euler-Lagrange Equation important?

Solving the Euler-Lagrange Equation allows us to understand the motion of a conservative field and accurately predict the path of an object moving through it. This is important in many areas of science, including physics, engineering, and economics.

What is the relationship between the Euler-Lagrange Equation and Newton's Laws of Motion?

The Euler-Lagrange Equation is a generalization of Newton's Second Law of Motion. It takes into account all possible paths an object can take, whereas Newton's Law only applies to a single, specific path. In the case of a conservative field, the Euler-Lagrange Equation reduces to Newton's Second Law.

How do you solve the Euler-Lagrange Equation for a conservative field?

To solve the Euler-Lagrange Equation, you must first determine the Lagrangian, which is a function that describes the energy of the system. Then, you take the partial derivative of the Lagrangian with respect to the position and velocity variables, and set it equal to zero. This results in a differential equation that can be solved to determine the path of the object in the conservative field.

Back
Top