Theorem von Noether: Unterschied zwischen den Versionen

Aus PhysikWiki
Zur Navigation springen Zur Suche springen
*>SchuBot
Einrückungen Mathematik
*>SchuBot
K Interpunktion, replaced: ( → (
 
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 4: Zeile 4:




<math>L({{q}_{1}},...,{{\dot{q}}_{1}},...,t)</math>
:<math>L({{q}_{1}},...,{{\dot{q}}_{1}},...,t)</math>




'''Theorem ( E.Noether, 1882-1935)'''
'''Theorem (E.Noether, 1882-1935)'''


Die Lagrangefunktion
Die Lagrangefunktion
<math>L({{q}_{1}},...,{{\dot{q}}_{1}},...,t)</math>
:<math>L({{q}_{1}},...,{{\dot{q}}_{1}},...,t)</math>
eines autonomen Systems sei unter der Transformation
eines autonomen Systems sei unter der Transformation




<math>\bar{q}\to {{h}^{s}}(\bar{q})</math>
:<math>\bar{q}\to {{h}^{s}}(\bar{q})</math>
invariant. Dabei ist s ein eindimensionaler Parameter und
invariant. Dabei ist s ein eindimensionaler Parameter und
<math>{{h}^{s=0}}(\bar{q})=\bar{q}</math>
:<math>{{h}^{s=0}}(\bar{q})=\bar{q}</math>
die Identität.
die Identität.


Zeile 22: Zeile 22:




<math>I(\bar{q},\dot{\bar{q}})=\sum\limits_{i=1}^{f}{\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d}{ds}{{h}^{s}}({{q}_{i}}) \right)}_{s=0}}}</math>
:<math>I(\bar{q},\dot{\bar{q}})=\sum\limits_{i=1}^{f}{\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d}{ds}{{h}^{s}}({{q}_{i}}) \right)}_{s=0}}}</math>




Zeile 28: Zeile 28:


Sei
Sei
<math>\bar{q}=\bar{q}(t)</math>
:<math>\bar{q}=\bar{q}(t)</math>
eine Lösung der Lagrangegleichung. Dann ist auch
eine Lösung der Lagrangegleichung. Dann ist auch
<math>\bar{q}(s,t):={{h}^{s}}(\bar{q},t)</math>
:<math>\bar{q}(s,t):={{h}^{s}}(\bar{q},t)</math>
Lösung, das heißt:
Lösung, das heißt:




<math>\frac{d}{dt}\frac{\partial L(\bar{q}(s,t),\dot{\bar{q}}(s,t))}{\partial {{{\dot{q}}}_{i}}}=\frac{\partial L(\bar{q}(s,t),\dot{\bar{q}}(s,t))}{\partial {{q}_{i}}}</math>
:<math>\frac{d}{dt}\frac{\partial L(\bar{q}(s,t),\dot{\bar{q}}(s,t))}{\partial {{{\dot{q}}}_{i}}}=\frac{\partial L(\bar{q}(s,t),\dot{\bar{q}}(s,t))}{\partial {{q}_{i}}}</math>




Zeile 40: Zeile 40:




<math>\begin{align}
:<math>\begin{align}
   & \frac{d}{ds}L(\bar{q}(s,t),\dot{\bar{q}}(s,t))=\sum\limits_{i=1}^{f}{\left( \frac{\partial L}{\partial {{q}_{i}}}\left( \frac{d{{q}_{i}}}{ds} \right)+\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d{{{\dot{q}}}_{i}}}{ds} \right)}_{{}}} \right)=}0 \\
   & \frac{d}{ds}L(\bar{q}(s,t),\dot{\bar{q}}(s,t))=\sum\limits_{i=1}^{f}{\left( \frac{\partial L}{\partial {{q}_{i}}}\left( \frac{d{{q}_{i}}}{ds} \right)+\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d{{{\dot{q}}}_{i}}}{ds} \right)}_{{}}} \right)=}0 \\
  & \Rightarrow \frac{d}{dt}I(\bar{q},\dot{\bar{q}})=\sum\limits_{i=1}^{f}{\frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d}{ds}{{h}^{s}}({{q}_{i}}) \right)}_{s=0}} \right)=}\sum\limits_{i=1}^{f}{\left( \frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}\left( \frac{d{{q}_{i}}}{ds} \right)+\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}\frac{d}{dt}{{\left( \frac{d{{q}_{i}}}{ds} \right)}_{{}}} \right)} \\
  & \Rightarrow \frac{d}{dt}I(\bar{q},\dot{\bar{q}})=\sum\limits_{i=1}^{f}{\frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d}{ds}{{h}^{s}}({{q}_{i}}) \right)}_{s=0}} \right)=}\sum\limits_{i=1}^{f}{\left( \frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}\left( \frac{d{{q}_{i}}}{ds} \right)+\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}\frac{d}{dt}{{\left( \frac{d{{q}_{i}}}{ds} \right)}_{{}}} \right)} \\
Zeile 52: Zeile 52:




<math>\frac{d}{ds}L(\bar{q}(s,t),\dot{\bar{q}}(s,t))=\sum\limits_{i=1}^{f}{\left( \frac{\partial L}{\partial {{q}_{i}}}\left( \frac{d{{q}_{i}}}{ds} \right)+\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d{{{\dot{q}}}_{i}}}{ds} \right)}_{{}}} \right)=}0</math>
:<math>\frac{d}{ds}L(\bar{q}(s,t),\dot{\bar{q}}(s,t))=\sum\limits_{i=1}^{f}{\left( \frac{\partial L}{\partial {{q}_{i}}}\left( \frac{d{{q}_{i}}}{ds} \right)+\frac{\partial L}{\partial {{{\dot{q}}}_{i}}}{{\left( \frac{d{{{\dot{q}}}_{i}}}{ds} \right)}_{{}}} \right)=}0</math>




Zeile 58: Zeile 58:




<math>\frac{d}{dt}I(\bar{q},\dot{\bar{q}})=\frac{d}{ds}L=0</math>
:<math>\frac{d}{dt}I(\bar{q},\dot{\bar{q}})=\frac{d}{ds}L=0</math>

Aktuelle Version vom 12. September 2010, 23:32 Uhr




Voraussetzung: Autonomes, das heißt, nicht explizit zeitabhängiges System mit f Freiheitsgraden und einer Lagrangefunktion


L(q1,...,q˙1,...,t)


Theorem (E.Noether, 1882-1935)

Die Lagrangefunktion

L(q1,...,q˙1,...,t)

eines autonomen Systems sei unter der Transformation


q¯hs(q¯)

invariant. Dabei ist s ein eindimensionaler Parameter und

hs=0(q¯)=q¯

die Identität.

Dann gibt es ein Integral der Bewegung


I(q¯,q¯˙)=i=1fLq˙i(ddshs(qi))s=0


Beweis:

Sei

q¯=q¯(t)

eine Lösung der Lagrangegleichung. Dann ist auch

q¯(s,t):=hs(q¯,t)

Lösung, das heißt:


ddtL(q¯(s,t),q¯˙(s,t))q˙i=L(q¯(s,t),q¯˙(s,t))qi


Invarianz der Lagrangefunktion für beliebige s:


ddsL(q¯(s,t),q¯˙(s,t))=i=1f(Lqi(dqids)+Lq˙i(dq˙ids))=0ddtI(q¯,q¯˙)=i=1fddt(Lq˙i(ddshs(qi))s=0)=i=1f(ddtLq˙i(dqids)+Lq˙iddt(dqids)) Mit ddtLq˙i=Lqiddt(dqids)=(dq˙ids)


und mit Hilfe von


ddsL(q¯(s,t),q¯˙(s,t))=i=1f(Lqi(dqids)+Lq˙i(dq˙ids))=0


folgt dann:


ddtI(q¯,q¯˙)=ddsL=0