Derivation of Noether's theorem in Lagrangian dynamics

[physiks]

I'm going to run through a derivation I've seen and ask a few questions about some parts that I'm unsure about.

Firstly the theorem: For every symmetry of the Lagrangian there is a conserved quantity.

Assume we have a Lagrangian L invariant under the coordinate transformation q_i→q_i+εK_i(q)
where q denotes the set of all the q_i.
My book says that by a symmetry we mean that L is unchanged to first order when the coordinates are changed by some small amount. This doesn't really fit in with my idea of symmetry. I don't really understand the physical idea of the statement.

This means that dL/dε=0, but dL/dε=∑_i[(∂L/∂q_i)(∂q_i/∂ε)+(∂L/∂q_i')(∂q_i'/∂ε)]. I'm using primes instead of dots for time derivatives by the way.
My first issue is that we're finding the total derivative dL/dε, so why does the chain rule not take the form ∑_i[(∂L/∂q_i)(dq_i/dε)+(∂L/∂q_i')(dq_i'/dε)]?
Secondly can't L have time dependence, so what happens to the term (∂L/∂t)(∂t/∂ε)?
Is it because the term is zero because obviously changing the coordinates by some amount ε has no influence on the passage of time?

Now substitute ∂q_i/∂ε=K_i and ∂q_i'/∂ε=K_i'.
This is a bit confusing. Am I correct in thinking that the new q_i are the old q_i+εK_i(q) and here we want ∂[newq_i]/∂ε etc which gives the result stated above when using the relation stated. Obviously if these were total derivatives things would be messy.

Then we just use the EL equation on the first term, and note we have what looks like the derivative of a product. We can write this as d/dt(conserved quantity)=0 to prove the theorem.

Thankyou to anybody who helps :)

 

[BvU]

Hello Phys,

Since you've had no response so far, perhaps you can study some of the stuff in this link about the theorem. At least it should show the specific case of ${dL\over d\dot q}$ conservation if $q$ doesn't appear in $L$. (Which constitutes a symmetry!). Also the case $L$ not explicitly time dependent (a symmetry under time translation) $\Rightarrow$ H conserved.

If you have a few hours to spend, Susskinds lectures on "relativity" are real jewels (google Lecture 1 | Modern Physics: Special Relativity (Stanford) link -- the real subject is field theory). He works out the $\epsilon$ stuff.

 

[kkz23691]

This could be an useful book: "Emmy Noether's Wonderful Theorem" by Dwight E. Neuenschwander