Noether Theorem

Suppose we have a functional

And some family of transformations
where satisfying and:

Then there is a first integral of Euler-Lagrange equations:

Summation is implied with a vector of variables.

Example

If there is no dependence, we can try .
The theorem then gives:
which is a First integral in First integrals.