Find Generalized Euler Equation for Function y(x)

  • Thread starter Thread starter stunner5000pt
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around deriving the generalized Euler equation for a function y(x) in the context of the calculus of variations, specifically focusing on the conditions under which the action A is stationary. Participants are exploring the implications of varying y(x) and its derivatives within the integral of the action.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants are attempting to integrate by parts to eliminate terms involving variations of y' and y''. Questions arise about the conditions under which these variations can be assumed to vanish, particularly at the endpoints of integration. There is also discussion about the implications of the Fundamental Lemma of the calculus of variations and its relevance to the problem.

Discussion Status

The discussion is ongoing, with several participants providing insights and corrections to each other's reasoning. Some participants are questioning the assumptions made about the variations and their impact on the resulting equations. There is no explicit consensus yet, but productive dialogue is occurring around the derivation process.

Contextual Notes

Participants are navigating the complexities of the problem, including the fixed endpoints for variations and the resulting boundary terms that arise during integration by parts. The original poster and others are grappling with the implications of these constraints on the formulation of the Euler-Lagrange equations.

stunner5000pt
Messages
1,447
Reaction score
5
Find the (generalized Euler) equation which a function y(x) must satisify in order that the action
[tex]A = \int_{x_{1}}^{x_{2}} L(y(x),y'(x,),y''(x),x) dx[/tex] [/tex]
be stationary that is [itex]\delta A = 0[/itex] for arbitrary variations [itex]\delta y(x)[/itex] such taht
[tex]\delta y(x) = \frac{d}{dx} \delta y(x)=0 \mbox{when} \ x=x_{1},x_{2}[/tex]
Hint: [tex]\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[/tex]


by generalized Euler equation does the question ask the Euler Langrange equation?
well in the hint the first term is zero...
so we have
[tex]\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[/tex]
integration by parts so
[tex]\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[/tex]
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 [itex]\delta y'[/itex] and [itex]\delta y''[/itex]. The reason is, roughly speaking, we aren't free to vary these. However, we are free to vary [itex]\delta y[/itex]. 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 [itex]\delta y[/itex]. Then you can use the arbitrariness of [itex]\delta y[/itex] to argue that for this integral to vanish, the expression multiplying [itex]\delta y[/itex] 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
[tex]\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}}[/tex]
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 the right direction?
doesht that become zero afterward? So we are left iwth only
[tex]\delta A = \int_{x_{1}}^{x_{2}} \frac{\partial L}{\partial y} \delta y dx[/tex]
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??
 
[itex]\delta y[/itex] 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:

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

You can argue that the boundary term vanishes. You will have to do something like this for the [itex]\frac{\partial L}{\partial y''}[/itex] term, although there will be an extra step.
 
Last edited:
but what 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

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

in what you posted... whaat is the boundary term? is it
[tex]\left[\frac{\partial L}{\partial y'} \delta y\right]_{x_{1}}^{x_{2}}[/tex]??
 
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:

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

where [itex]\delta y[/itex] 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 [itex]\delta y[/itex]=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
 

Similar threads

Replies
0
Views
2K
Replies
1
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
Replies
9
Views
2K