# Simpler Euler-Lagrange equation

1. Jul 13, 2009

### daudaudaudau

If we have a functional
$$J(y)=\int L(y,y',x)dx$$

then the first variation is
$$\delta J=\int\left(\frac{\partial L}{\partial y}\eta(x)+\frac{\partial L}{\partial y'}\eta'(x)\right)dx,$$
where $\eta(x)$ is the variation of the stationary solution. Now, if $L$ is independent of $y(x)$, then $\frac{\partial L}{\partial y}=0$ and I have
$$\delta J=\int\left(\frac{\partial L}{\partial y'}\eta'(x)\right)dx.$$

At this point, why can't I simply say that $\eta'(x)$ is arbitrary and hence the E-L equation is $\frac{\partial L}{\partial y'}=0$ ?

2. Jul 14, 2009

### Count Iblis

eta-prime is not arbitrary, because eta is zero at both end points. If eta prime were arbitrary then the condition that eta is zero at one boundary would imply that eta at the other boundary is arbitrary and thus not necessarily equal to zero.

3. Jul 14, 2009

### Count Iblis

You can also treat the fact that eta-prime is not arbitrary everywhere by introducing a contstraint: The integral of eta-prime over the interval has to be zero. You can then introduce a Lagrange multiplier to take that into acount and you then find that:

$$\frac{\partial L}{\partial y'} = \lambda$$

which is the same as saying that:

$$\frac{d}{dt}\frac{\partial L}{\partial y'} = 0$$