Find Generalized Euler Equation for Function y(x)

  • Thread starter Thread starter stunner5000pt
  • Start date Start date
stunner5000pt
Messages
1,443
Reaction score
4
Find the (generalized Euler) equation which a function y(x) must satisify in order that the action
A = \int_{x_{1}}^{x_{2}} L(y(x),y'(x,),y''(x),x) dx [/tex]
be stationary that is \delta A = 0 for arbitrary variations \delta y(x) such taht
\delta y(x) = \frac{d}{dx} \delta y(x)=0 \mbox{when} \ x=x_{1},x_{2}
Hint: \delta A = \int_{x_{1}}^{x_{2}} \left(\frac{\partial L}{\partial y} \delta y + \frac{\partial L}{\partial y'} \delta y'+ \frac{\partial L}{\partial y''} \delta y'' \right) dx, \mbox{where} \ \delta y' = \frac{d}{dx} \delta y \mbox{ and } \delta y'' = \frac{d}{dx} \delta y' = \frac{d^2}{dx^2} \delta y


by generalized Euler equation does the question ask the Euler Langrange equation?
well in the hint the first term is zero...
so we have
\delta A = \int_{x_{1}}^{x_{2}} \left(\frac{\partial L}{\partial y} \delta y + \frac{\partial L}{\partial y'} \delta y'+ \frac{\partial L}{\partial y''} \delta y'' \right) dx = \int_{x_{1}}^{x_{2}} \left(\frac{\partial L}{\partial y} \frac{d}{dx} \delta y + \frac{\partial L}{\partial y''} \frac{d}{dx} \delta y'\right) dx = 0
integration by parts so
\left[ {\frac{\partial L}{\partial y} \delta y} \right]_{x_{1}}^{x_{2}} - \left[\frac{\partial^2 L}{\partial y \partial x} \delta y} \right]_{x_{1}}^{x_{2}} + \left[ \frac{\partial L}{\partial y''} \delta y'} \right]_{x_{1}}^{x_{2}} - \left[ \frac{\partial^2 L}{\partial y'' \partial x} \delta y'} \right]_{x_{1}}^{x_{2}} = 0
not too sure about whrer this is going...
Will continued working of thie problem yield the EUler Lagrange equations?
Please help!
Thank you
 
Last edited:
Physics news on Phys.org
stunner5000pt said:
well in the hint the first term is zero...

No it isn't.

You want to integrate by parts to get rid of the \delta y' and \delta y''. The reason is, roughly speaking, we aren't free to vary these. However, we are free to vary \delta y. You want to integrate by parts until you have some boundary terms, which should vanish since the endpoints are fixed, and an integral of some expression times \delta y. Then you can use the arbitrariness of \delta y to argue that for this integral to vanish, the expression multiplying \delta y must be zero for all x.

This is just a simple extension of the usual case, so I'd suggest going back over the derivation of the original Euler-Lagrange equation in your book.
 
Last edited:
but isn't delta y (x) = 0 in the question? Doestnt the fndamental lemma follow?

well ok integration by parts
\delta A = \int_{x_{1}}^{x_{2}} \frac{\partial L}{\partial y} \delta y dx + \left[\frac{\partial L}{\partial y'} \delta y dx - \frac{\partial^2 L}{\partial y' \partial x} \delta y\right]_{x_{1}}^{x_{2}} + \left[\frac{\partial L}{\partial y''} \frac{d}{dx}\delta y - \frac{\partial^2 L}{\partial y'' \partial x} \frac{d}{dx} \delta y dx \right]_{x_{1}}^{x_{2}}
ok the first term is not zero... i m not sure why not delta y(x) = 0 isn't it?

now i guess i could make the second and third term into the Euler Lagrange equation by saying that the second bracketed term is dM/dq and then the third bracketed term is d/dx (dM/dq) and that yield the euler lagrange... is that going in teh right direction?
doesht that become zero afterward? So we are left iwth only
\delta A = \int_{x_{1}}^{x_{2}} \frac{\partial L}{\partial y} \delta y dx
is that hte kind of expression we want in the first place?
 
isnt delta y (x) = 0 at x1 and x2?
SO doest the first term equal zero??
 
\delta y is zero at the endpoints, yes, but not in between, so you can't assume the integral vanishes.

You're on the right track with that equation you wrote in your last post, although there are a few mistakes. Remember from the derivation of the original Euler-Lagrange equations that:

\begin{align} \int_{x_1}^{x_2} \frac{\partial L}{\partial y&#039;} \delta y&#039; dx<br /> <br /> &amp;= \int_{x_1}^{x_2} \left( \frac{d}{dx} \left( \frac{\partial L}{\partial y&#039;} \delta y \right) - \frac{d}{dx} \left( \frac{\partial L}{\partial y&#039;} \right) \delta y \right) dx \\ <br /> <br /> &amp;=\left[ \frac{\partial L}{\partial y&#039;} \delta y \right]_{x_1}^{x_2} - \int_{x_1}^{x_2} \frac{d}{dx} \left( \frac{\partial L}{\partial y&#039;} \right) \delta y dx \end{align}

You can argue that the boundary term vanishes. You will have to do something like this for the \frac{\partial L}{\partial y&#039;&#039;} term, although there will be an extra step.
 
Last edited:
but waht about the Fundamental Lemma of the calculus of variations?
doesnt it say just that... taht if delta y =0 then the integral is zero?
 
well anyway... to correct what i posted in number 3

\delta A = \int_{x_{1}}^{x_{2}} \frac{\partial L}{\partial y} \delta y dx + \left[\frac{\partial L}{\partial y&#039;} \delta y dx \right]_{x_{1}}^{x_{2}} - \int_{x_{1}^{x_{2}} \frac{d}{dx} \frac{\partial L}{\partial y&#039;} \frac{d}{dx<br /> \delta y dx + \left[\frac{\partial L}{\partial y&#039;&#039;} \frac{d}{dx}\delta y \right]_{x_{1}}^{x_{2}} - \int_{x_{1}}^{x_{2}} \frac{d}{dx} \frac{\partial L}{\partial y&#039;&#039;} \frac{d^2}{dx^2} \delta y dx
does this address the problems?

in what you posted... whaat is the boundary term? is it
\left[\frac{\partial L}{\partial y&#039;} \delta y\right]_{x_{1}}^{x_{2}}??
 
Last edited:
No, look carefully at what I did. You're evaluating the integrand at the endpoints where you should be integrating it. And the fundamental lemma states that if:

\int_{x_1}^{x_2} f(y,...,x)\delta y dx = 0

where \delta y is arbitrary, then f(y,...,x)=0. You don't have something in this form yet, but that's what you need to get. And yes, that is what I was referring to as the boundary term. You can see it vanishes precisely because \delta y=0 at the endpoints.
 
ah i see
i got the answer
it is a second order ODE wrt dl/dq where q is the coordinate

thanks for your help!
if you can help with the particle in a field question... that's all the help i would need for tonight!

thank you
 
Back
Top