Eichtransformation der Lagrangefunktion: Unterschied zwischen den Versionen

Aus PhysikWiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
*>SchuBot
Einrückungen Mathematik
 
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 6: Zeile 6:




<math>\left( {{q}_{1}},{{q}_{2}},{{q}_{3}} \right)=\left( {{x}_{1}},{{x}_{2}},{{x}_{3}} \right)</math>
:<math>\left( {{q}_{1}},{{q}_{2}},{{q}_{3}} \right)=\left( {{x}_{1}},{{x}_{2}},{{x}_{3}} \right)</math>




Zeile 14: Zeile 14:




<math>m\frac{{{d}^{2}}^{{}}}{d{{t}^{2}}}\left( {{q}_{1}},{{q}_{2}},{{q}_{3}} \right)=m\ddot{\bar{q}}=e\bar{E}(\bar{q},t)+e\dot{\bar{q}}\times \bar{B}(\bar{q},t)</math>
:<math>m\frac{{{d}^{2}}^{{}}}{d{{t}^{2}}}\left( {{q}_{1}},{{q}_{2}},{{q}_{3}} \right)=m\ddot{\bar{q}}=e\bar{E}(\bar{q},t)+e\dot{\bar{q}}\times \bar{B}(\bar{q},t)</math>




Zeile 22: Zeile 22:




<math>\begin{align}
:<math>\begin{align}
   & \bar{E}(\bar{q},t)=-\nabla \Phi (\bar{q},t)-\frac{\partial }{\partial t}\bar{A}(\bar{q},t) \\
   & \bar{E}(\bar{q},t)=-\nabla \Phi (\bar{q},t)-\frac{\partial }{\partial t}\bar{A}(\bar{q},t) \\
  & \bar{B}(\bar{q},t)=\nabla \times \bar{A}(\bar{q},t) \\
  & \bar{B}(\bar{q},t)=\nabla \times \bar{A}(\bar{q},t) \\
Zeile 34: Zeile 34:


Die Bewegungsgleichung
Die Bewegungsgleichung
<math>m\frac{{{d}^{2}}^{{}}}{d{{t}^{2}}}\left( {{q}_{1}},{{q}_{2}},{{q}_{3}} \right)=m\ddot{\bar{q}}=e\bar{E}(\bar{q},t)+e\dot{\bar{q}}\times \bar{B}(\bar{q},t)</math>
:<math>m\frac{{{d}^{2}}^{{}}}{d{{t}^{2}}}\left( {{q}_{1}},{{q}_{2}},{{q}_{3}} \right)=m\ddot{\bar{q}}=e\bar{E}(\bar{q},t)+e\dot{\bar{q}}\times \bar{B}(\bar{q},t)</math>
ergeben.
ergeben.


Zeile 40: Zeile 40:




<math>L(q,\dot{q},t)=\frac{m}{2}{{\dot{\bar{q}}}^{2}}+e\left( \dot{\bar{q}}\bar{A}(\bar{q},t)-\Phi (\bar{q},t) \right)</math>
:<math>L(q,\dot{q},t)=\frac{m}{2}{{\dot{\bar{q}}}^{2}}+e\left( \dot{\bar{q}}\bar{A}(\bar{q},t)-\Phi (\bar{q},t) \right)</math>




Zeile 46: Zeile 46:




<math>\begin{align}
:<math>\begin{align}
   & \frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=m{{{\dot{q}}}_{k}}+e{{A}_{k}} \\
   & \frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=m{{{\dot{q}}}_{k}}+e{{A}_{k}} \\
  & \frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=m{{{\ddot{q}}}_{k}}+e\frac{d}{dt}{{A}_{k}}(\bar{q}(t),t) \\
  & \frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=m{{{\ddot{q}}}_{k}}+e\frac{d}{dt}{{A}_{k}}(\bar{q}(t),t) \\
Zeile 57: Zeile 57:




<math>\frac{\partial L}{\partial {{q}_{k}}}=e\left[ \frac{\partial }{\partial {{q}_{k}}}\left( \dot{\bar{q}}\cdot \bar{A} \right)-\frac{\partial }{\partial {{q}_{k}}}\Phi  \right]</math>
:<math>\frac{\partial L}{\partial {{q}_{k}}}=e\left[ \frac{\partial }{\partial {{q}_{k}}}\left( \dot{\bar{q}}\cdot \bar{A} \right)-\frac{\partial }{\partial {{q}_{k}}}\Phi  \right]</math>




Zeile 63: Zeile 63:




<math>\begin{align}
:<math>\begin{align}
   & 0=\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=m{{{\ddot{q}}}_{k}}+e\left( \frac{\partial }{\partial t}{{A}_{k}}+\left( \dot{\bar{q}}\cdot \nabla  \right){{A}_{k}} \right)-e\left[ \frac{\partial }{\partial {{q}_{k}}}\left( \dot{\bar{q}}\cdot \bar{A} \right)-\frac{\partial }{\partial {{q}_{k}}}\Phi  \right] \\
   & 0=\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=m{{{\ddot{q}}}_{k}}+e\left( \frac{\partial }{\partial t}{{A}_{k}}+\left( \dot{\bar{q}}\cdot \nabla  \right){{A}_{k}} \right)-e\left[ \frac{\partial }{\partial {{q}_{k}}}\left( \dot{\bar{q}}\cdot \bar{A} \right)-\frac{\partial }{\partial {{q}_{k}}}\Phi  \right] \\
  & =m{{{\ddot{q}}}_{k}}+e\left( \frac{\partial }{\partial t}{{A}_{k}}+\frac{\partial }{\partial {{q}_{k}}}\Phi  \right)+e\left[ -\frac{\partial }{\partial {{q}_{k}}}\left( \dot{\bar{q}}\cdot \bar{A} \right)+\left( \dot{\bar{q}}\cdot \nabla  \right){{A}_{k}} \right] \\
  & =m{{{\ddot{q}}}_{k}}+e\left( \frac{\partial }{\partial t}{{A}_{k}}+\frac{\partial }{\partial {{q}_{k}}}\Phi  \right)+e\left[ -\frac{\partial }{\partial {{q}_{k}}}\left( \dot{\bar{q}}\cdot \bar{A} \right)+\left( \dot{\bar{q}}\cdot \nabla  \right){{A}_{k}} \right] \\
Zeile 76: Zeile 76:




Die Potenziale lassen sich umeichen mit Hilfe der Eichfunktion
Die Potenziale lassen sich umeichen mit Hilfe der {{FB|Eichfunktion}}
<math>\chi </math>
:<math>\chi </math>:
:




<math>\begin{align}
:<math>\begin{align}
   & \bar{A}(\bar{q},t)\to \bar{A}\acute{\ }(\bar{q},t)=\bar{A}(\bar{q},t)+\nabla \chi (\bar{q},t) \\
   & \bar{A}(\bar{q},t)\to \bar{A}\acute{\ }(\bar{q},t)=\bar{A}(\bar{q},t)+\nabla \chi (\bar{q},t) \\
  & \Phi (\bar{q},t)\to \Phi \acute{\ }(\bar{q},t)=\Phi (\bar{q},t)-\frac{\partial }{\partial t}\chi (\bar{q},t) \\
  & \Phi (\bar{q},t)\to \Phi \acute{\ }(\bar{q},t)=\Phi (\bar{q},t)-\frac{\partial }{\partial t}\chi (\bar{q},t) \\
Zeile 87: Zeile 86:




Durch Eisnetzen sieht man schnell, dass sich die Felder nicht ändern:
Durch Einsetzen sieht man schnell, dass sich die Felder nicht ändern:




<math>\begin{align}
:<math>\begin{align}
   & \bar{E}\acute{\ }(\bar{q},t)=-\nabla \Phi \acute{\ }(\bar{q},t)-\frac{\partial }{\partial t}\bar{A}\acute{\ }(\bar{q},t)=-\nabla \left( \Phi (\bar{q},t)-\frac{\partial }{\partial t}\chi (\bar{q},t) \right)-\frac{\partial }{\partial t}\left( \bar{A}(\bar{q},t)+\nabla \chi (\bar{q},t) \right)=\bar{E}(\bar{q},t) \\
   & \bar{E}\acute{\ }(\bar{q},t)=-\nabla \Phi \acute{\ }(\bar{q},t)-\frac{\partial }{\partial t}\bar{A}\acute{\ }(\bar{q},t)=-\nabla \left( \Phi (\bar{q},t)-\frac{\partial }{\partial t}\chi (\bar{q},t) \right)-\frac{\partial }{\partial t}\left( \bar{A}(\bar{q},t)+\nabla \chi (\bar{q},t) \right)=\bar{E}(\bar{q},t) \\
  & \bar{B}\acute{\ }(\bar{q},t)=\nabla \times \bar{A}\acute{\ }(\bar{q},t)=\nabla \times \left( \bar{A}(\bar{q},t)+\nabla \chi (\bar{q},t) \right)=\bar{B}(\bar{q},t) \\
  & \bar{B}\acute{\ }(\bar{q},t)=\nabla \times \bar{A}\acute{\ }(\bar{q},t)=\nabla \times \left( \bar{A}(\bar{q},t)+\nabla \chi (\bar{q},t) \right)=\bar{B}(\bar{q},t) \\
Zeile 99: Zeile 98:




<math>\begin{align}
:<math>\begin{align}
   & L\acute{\ }(q,\dot{q},t)=\frac{m}{2}{{{\dot{\bar{q}}}}^{2}}+e\left( \dot{\bar{q}}\bar{A}\acute{\ }(\bar{q},t)-\Phi \acute{\ }(\bar{q},t) \right) \\
   & L\acute{\ }(q,\dot{q},t)=\frac{m}{2}{{{\dot{\bar{q}}}}^{2}}+e\left( \dot{\bar{q}}\bar{A}\acute{\ }(\bar{q},t)-\Phi \acute{\ }(\bar{q},t) \right) \\
  & L\acute{\ }(q,\dot{q},t)=\frac{m}{2}{{{\dot{\bar{q}}}}^{2}}+e\left( \dot{\bar{q}}\bar{A}(\bar{q},t)+\dot{\bar{q}}\cdot \nabla \chi -\Phi (\bar{q},t)+\dot{\chi } \right) \\
  & L\acute{\ }(q,\dot{q},t)=\frac{m}{2}{{{\dot{\bar{q}}}}^{2}}+e\left( \dot{\bar{q}}\bar{A}(\bar{q},t)+\dot{\bar{q}}\cdot \nabla \chi -\Phi (\bar{q},t)+\dot{\chi } \right) \\
Zeile 108: Zeile 107:
Einsetzen zeigt: L´ führt zu denselben Lagrangegleichungen wie L.
Einsetzen zeigt: L´ führt zu denselben Lagrangegleichungen wie L.


Die Eichtransformation
{{Def|Die Eichtransformation
 
:<math>L(q,\dot{q},t)\to L\acute{\ }(q,\dot{q},t)=L+\frac{d}{dt}\left( M(\bar{q},t) \right)</math>
 
mit einer beliebigen Eichfunktion M (skalar) läßt die Lagrangegleichungen invariant.|Eichtransformation}}
<math>L(q,\dot{q},t)\to L\acute{\ }(q,\dot{q},t)=L+\frac{d}{dt}\left( M(\bar{q},t) \right)</math>
 
 
Mit einer beliebigen Eichfunktion M ( skalar) läßt die Lagrangegleichungen invariant.


Allgemein gilt:
Allgemein gilt:


Sei
Sei <math>M(\bar{q},t)=M({{q}_{1}},...,{{q}_{f}},t)\in {{C}^{3}}</math> beliebig und
<math>M(\bar{q},t)=M({{q}_{1}},...,{{q}_{f}},t)\in {{C}^{3}}</math>
:<math>\begin{align}
beliebig
 
und
<math>\begin{align}
   & L\acute{\ }(q,\dot{q},t)=L+\left( \dot{M}+\dot{\bar{q}}\cdot \nabla M \right)=L+\frac{d}{dt}\left( M(\bar{q},t) \right) \\
   & L\acute{\ }(q,\dot{q},t)=L+\left( \dot{M}+\dot{\bar{q}}\cdot \nabla M \right)=L+\frac{d}{dt}\left( M(\bar{q},t) \right) \\
  & L\acute{\ }(q,\dot{q},t)=L+\sum\limits_{k=1}^{f}{\frac{\partial M}{\partial {{q}_{k}}}{{{\dot{q}}}_{k}}+\frac{\partial M}{\partial t}} \\
  & L\acute{\ }(q,\dot{q},t)=L+\sum\limits_{k=1}^{f}{\frac{\partial M}{\partial {{q}_{k}}}{{{\dot{q}}}_{k}}+\frac{\partial M}{\partial t}} \\
Zeile 132: Zeile 123:




<math>\left\{ {{q}_{k}}(t) \right\}</math>
:<math>\left\{ {{q}_{k}}(t) \right\}</math>
  das hamiltonsche Prinzip
  das hamiltonsche Prinzip


Zeile 138: Zeile 129:




<math>\delta \int{L\acute{\ }dt=0\Leftrightarrow \delta \int{Ldt=0}}</math>
:<math>\delta \int{L\acute{\ }dt=0\Leftrightarrow \delta \int{Ldt=0}}</math>




Das bedeutet, die Euler- Lagrangegleichungen sind invariant unter Transformationen der Art
Das bedeutet, die Euler- Lagrangegleichungen sind invariant unter Transformationen der Art
 
:<math>L(q,\dot{q},t)\to L\acute{\ }(q,\dot{q},t)=L+\frac{d}{dt}\left( M(\bar{q},t) \right)</math> mit <math>M(\bar{q},t)=M({{q}_{1}},...,{{q}_{f}},t)\in {{C}^{3}}</math>
 
<math>L(q,\dot{q},t)\to L\acute{\ }(q,\dot{q},t)=L+\frac{d}{dt}\left( M(\bar{q},t) \right)</math>
 
 
mit
<math>M(\bar{q},t)=M({{q}_{1}},...,{{q}_{f}},t)\in {{C}^{3}}</math>
beliebig.
beliebig.


'''Beweis:'''
'''Beweis:'''
 
:<math>\begin{align}
 
<math>\begin{align}
   & \frac{\partial L\acute{\ }}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L\acute{\ }}{\partial {{{\dot{q}}}_{k}}}=\frac{\partial L}{\partial {{q}_{k}}}+\frac{\partial }{\partial {{q}_{k}}}\left( \sum\limits_{l=1}^{f}{\frac{\partial M}{\partial {{q}_{l}}}{{{\dot{q}}}_{l}}+\frac{\partial M}{\partial t}} \right)-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}-\frac{d}{dt}\frac{\partial }{\partial {{{\dot{q}}}_{k}}}\left( \sum\limits_{l=1}^{f}{\frac{\partial M}{\partial {{q}_{l}}}{{{\dot{q}}}_{l}}+\frac{\partial M}{\partial t}} \right) \\
   & \frac{\partial L\acute{\ }}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L\acute{\ }}{\partial {{{\dot{q}}}_{k}}}=\frac{\partial L}{\partial {{q}_{k}}}+\frac{\partial }{\partial {{q}_{k}}}\left( \sum\limits_{l=1}^{f}{\frac{\partial M}{\partial {{q}_{l}}}{{{\dot{q}}}_{l}}+\frac{\partial M}{\partial t}} \right)-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}-\frac{d}{dt}\frac{\partial }{\partial {{{\dot{q}}}_{k}}}\left( \sum\limits_{l=1}^{f}{\frac{\partial M}{\partial {{q}_{l}}}{{{\dot{q}}}_{l}}+\frac{\partial M}{\partial t}} \right) \\
  & =\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}+\frac{\partial }{\partial {{q}_{k}}}\frac{dM}{dt}-\frac{d}{dt}\frac{\partial M}{\partial {{q}_{k}}}=\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}} \\
  & =\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}+\frac{\partial }{\partial {{q}_{k}}}\frac{dM}{dt}-\frac{d}{dt}\frac{\partial M}{\partial {{q}_{k}}}=\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}} \\
\end{align}</math>
\end{align}</math> mit <math>\frac{\partial }{\partial {{{\dot{q}}}_{k}}}\left( \sum\limits_{l=1}^{f}{\frac{\partial M}{\partial {{q}_{l}}}{{{\dot{q}}}_{l}}+\frac{\partial M}{\partial t}} \right)=\frac{\partial M}{\partial {{q}_{k}}}</math>
 
 
mit
 
 
<math>\frac{\partial }{\partial {{{\dot{q}}}_{k}}}\left( \sum\limits_{l=1}^{f}{\frac{\partial M}{\partial {{q}_{l}}}{{{\dot{q}}}_{l}}+\frac{\partial M}{\partial t}} \right)=\frac{\partial M}{\partial {{q}_{k}}}</math>




Zeile 169: Zeile 146:




<math>M(\bar{q},t)=M({{q}_{1}},...,{{q}_{f}},t)\in {{C}^{3}}</math>
:<math>M(\bar{q},t)=M({{q}_{1}},...,{{q}_{f}},t)\in {{C}^{3}}</math>
darf nicht explizit von
darf nicht explizit von
<math>{{\dot{q}}_{k}}</math>
:<math>{{\dot{q}}_{k}}</math>
abhängen.
abhängen.


Zeile 177: Zeile 154:




<math>L=T-V=\frac{m}{2}{{\dot{q}}^{2}}-\frac{m{{\omega }^{2}}}{2}{{q}^{2}}</math>
:<math>L=T-V=\frac{m}{2}{{\dot{q}}^{2}}-\frac{m{{\omega }^{2}}}{2}{{q}^{2}}</math>




Beispielhafte Eichfunktion:
Beispielhafte Eichfunktion:
 
:<math>M(q):=\frac{m{{\omega }^{2}}}{2}{{q}^{2}}\Rightarrow \frac{dM}{dt}=m{{\omega }^{2}}q\dot{q}</math>
 
<math>M(q):=\frac{m{{\omega }^{2}}}{2}{{q}^{2}}\Rightarrow \frac{dM}{dt}=m{{\omega }^{2}}q\dot{q}</math>






<math>L\acute{\ }=\frac{m}{2}{{\dot{q}}^{2}}-\frac{m{{\omega }^{2}}}{2}\left( {{q}^{2}}-2q\dot{q} \right)</math>
:<math>L\acute{\ }=\frac{m}{2}{{\dot{q}}^{2}}-\frac{m{{\omega }^{2}}}{2}\left( {{q}^{2}}-2q\dot{q} \right)</math>




Die Lagrangegleichungen lauten:
Die Lagrangegleichungen lauten:
 
:<math>\begin{align}
 
<math>\begin{align}
   & \frac{d}{dt}\frac{\partial L\acute{\ }}{\partial {{{\dot{q}}}_{{}}}}=m\ddot{q}+m{{\omega }^{2}}\dot{q} \\
   & \frac{d}{dt}\frac{\partial L\acute{\ }}{\partial {{{\dot{q}}}_{{}}}}=m\ddot{q}+m{{\omega }^{2}}\dot{q} \\
  & \frac{\partial L\acute{\ }}{\partial {{q}_{k}}}=-m{{\omega }^{2}}q+m{{\omega }^{2}}\dot{q} \\
  & \frac{\partial L\acute{\ }}{\partial {{q}_{k}}}=-m{{\omega }^{2}}q+m{{\omega }^{2}}\dot{q} \\
Zeile 200: Zeile 173:


Es folgt als Bewegungsgleichung
Es folgt als Bewegungsgleichung
 
:<math>\ddot{q}+{{\omega }^{2}}q=0</math>}}
 
<math>\ddot{q}+{{\omega }^{2}}q=0</math>}}
 
==Forminvarianz der Lagrangegleichung==
 
Eine schwächere Form der Invarianz ( als die Eichinvarianz) ist die Forminvarianz.
 
Dabei gilt als Forminvarianz:
 
 
<math>\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=0\Rightarrow \frac{\partial L}{\partial {{Q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{Q}}}_{k}}}=0</math>
 
 
Für welche Trnsformationen der generalisierten Koordinaten
 
 
<math>F:\left\{ {{q}_{k}} \right\}\to \left\{ {{Q}_{k}} \right\}</math>
 
 
sind nun die Lagrangegleichungen forminvariant ?
 
Satz:
 
Sei
<math>F:\left\{ {{q}_{k}} \right\}\to \left\{ {{Q}_{k}} \right\}</math>
ein C²- Diffeomorphismus,
 
also eine umkehrbare und eindeutige Abbildung und sind
 
 
<math>F,{{F}^{-1}}</math>
beide zweimal stetig differenzierbar, dann ist
 
 
<math>\left\{ {{Q}_{k}}(t) \right\}</math>
Lösung der Lagrangegleichung zur transformierten Lagrangefunktion:
 
 
<math>\tilde{L}({{Q}_{k}},{{\dot{Q}}_{k}},t):=L({{f}_{k}}({{Q}_{i}},t),\sum\limits_{i}{{}}\frac{\partial {{f}_{k}}}{\partial {{Q}_{i}}}{{\dot{Q}}_{i}}+\frac{\partial {{f}_{k}}}{\partial t},t)</math>
 
 
mit
 
 
<math>\begin{align}
  & {{f}_{k}}({{Q}_{i}},t)={{q}_{k}} \\
& \sum\limits_{i}{{}}\frac{\partial {{f}_{k}}}{\partial {{Q}_{i}}}{{{\dot{Q}}}_{i}}+\frac{\partial {{f}_{k}}}{\partial t}={{{\dot{q}}}_{k}} \\
\end{align}</math>
 
 
Diese Aussage ist äquivalent zur Aussage:
 
 
<math>\left\{ {{q}_{k}}(t) \right\}</math>
sind Lösung der Lagrangegleichungen zu
<math>L({{q}_{k}},{{\dot{q}}_{k}},t)</math>
 
 
'''Beweis:'''
 
 
<math>\frac{d}{dt}\frac{\partial \tilde{L}}{\partial {{{\dot{Q}}}_{k}}}=\sum\limits_{l=1}^{f}{\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{l}}}\frac{\partial {{{\dot{q}}}_{l}}}{\partial {{{\dot{Q}}}_{k}}}=}\sum\limits_{l=1}^{f}{\frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{l}}}\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}} \right)}</math>
wegen
 
 
<math>\begin{align}
  & {{f}_{k}}({{Q}_{i}},t)={{q}_{k}} \\
& \sum\limits_{i}{{}}\frac{\partial {{f}_{k}}}{\partial {{Q}_{i}}}{{{\dot{Q}}}_{i}}+\frac{\partial {{f}_{k}}}{\partial t}={{{\dot{q}}}_{k}} \\
\end{align}</math>
 
 
Nun:
 
 
<math>\begin{align}
  & \frac{d}{dt}\frac{\partial \tilde{L}}{\partial {{{\dot{Q}}}_{k}}}=\sum\limits_{l=1}^{f}{\left\{ \left[ \frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{l}}} \right) \right]\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}+\frac{\partial L}{\partial {{{\dot{q}}}_{l}}}\frac{d}{dt}\left( \frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}} \right) \right\}} \\
& =\sum\limits_{l=1}^{f}{\left\{ \left[ \frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{l}}} \right) \right]\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}+\frac{\partial L}{\partial {{{\dot{q}}}_{l}}}\left( \frac{\partial {{{\dot{q}}}_{l}}}{\partial {{Q}_{k}}} \right) \right\}} \\
\end{align}</math>
 
 
und auf der anderen Seite:
 
 
<math>\frac{\partial \tilde{L}}{\partial {{Q}_{k}}}=\sum\limits_{l=1}^{f}{\left( \frac{\partial L}{\partial {{q}_{l}}}\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}+\frac{\partial L}{\partial {{{\dot{q}}}_{l}}}\left( \frac{\partial {{{\dot{q}}}_{l}}}{\partial {{Q}_{k}}} \right) \right)}</math>
 
 
Somit:
 
 
<math>\begin{align}
  & \frac{d}{dt}\frac{\partial \tilde{L}}{\partial {{{\dot{Q}}}_{k}}}-\frac{\partial \tilde{L}}{\partial {{Q}_{k}}}=\sum\limits_{l=1}^{f}{\left\{ \left[ \frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{l}}} \right) \right]\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}+\frac{\partial L}{\partial {{{\dot{q}}}_{l}}}\left( \frac{\partial {{{\dot{q}}}_{l}}}{\partial {{Q}_{k}}} \right)-\left( \frac{\partial L}{\partial {{q}_{l}}}\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}+\frac{\partial L}{\partial {{{\dot{q}}}_{l}}}\left( \frac{\partial {{{\dot{q}}}_{l}}}{\partial {{Q}_{k}}} \right) \right) \right\}} \\
& =\sum\limits_{l=1}^{f}{\left\{ \left[ \frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{l}}} \right) \right]\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}-\left( \frac{\partial L}{\partial {{q}_{l}}}\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}} \right) \right\}}=\sum\limits_{l=1}^{f}{\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}\left\{ \left[ \frac{d}{dt}\left( \frac{\partial L}{\partial {{{\dot{q}}}_{l}}} \right) \right]-\left( \frac{\partial L}{\partial {{q}_{l}}} \right) \right\}} \\
\end{align}</math>
 
 
Dabei bildet
 
 
<math>\frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}</math>
die Transformationsmatrix, die nichtsingulär sein muss, also
<math>\det \frac{\partial {{q}_{l}}}{\partial {{Q}_{k}}}\ne 0</math>
 
 
Daher die Bedingung, dass
 
Sei
<math>F:\left\{ {{q}_{k}} \right\}\to \left\{ {{Q}_{k}} \right\}</math>
ein C²- Diffeomorphismus,
 
also eine umkehrbare und eindeutige Abbildung und
 
 
<math>F,{{F}^{-1}}</math>
beide zweimal stetig differenzierbar.
 
Nur dann ist
<math>\left\{ {{Q}_{k}}(t) \right\}</math>
Lösung der Lagrangegleichung zur transformierten Lagrangefunktion.
 
Denn diese Aussage ist äquivalent zu
 
 
<math>\begin{align}
  & {{Q}_{i}}={{F}_{i}}({{q}_{1}},...{{q}_{f}},t) \\
& {{q}_{k}}={{f}_{k}}({{Q}_{1}},...,{{Q}_{f}},t)\quad mit\quad \det \frac{\partial {{f}_{k}}}{\partial {{Q}_{i}}}\ne 0 \\
\end{align}</math>
 
 
Man sagt, die Variationsableitung
 
 
<math>\frac{d}{dt}\frac{\partial \tilde{L}}{\partial {{{\dot{Q}}}_{k}}}-\frac{\partial \tilde{L}}{\partial {{Q}_{k}}}</math>
ist kovariant unter diffeomorphen Transformationen der generalisierten Koordinaten
 
Also gibt es auch unendlich viele äquivalente Sätze generalisierter Koordinaten.

Aktuelle Version vom 12. September 2010, 17:26 Uhr



Uneindeutigkeit der Lagrangefunktion

Die Lagarangefunktion wird duch die Lagrangegleichung nicht eindeutig festgelegt.

Betrachten wir beispielsweise ein geladenes Teilchen im elektrischen Feld:



e sei die Ladung

Bewegungsgleichung:



Die Lorentzkraft ist typischerweise nicht konservativ

Die Darstellung des elektrischen und magnetischen Feldes erfolgt über die Potenziale:



Dabei ist Skalar und A ein Vektorpotenzial (MKSA- System)

Ziel: Suche eine Lagrangefunktion in der Art, dass


Die Bewegungsgleichung

ergeben.

Ansatz:



Probe:



Weiter:



Somit:



Somit erfüllt unser Ansatz die Bewegungsgleichungen

Eichtransformationen

Die Potenziale lassen sich umeichen mit Hilfe der Eichfunktion

:



Durch Einsetzen sieht man schnell, dass sich die Felder nicht ändern:



Betrachten wir die Lagrangefunktion, so ergibt sich:



Einsetzen zeigt: L´ führt zu denselben Lagrangegleichungen wie L.


Die Eichtransformation

mit einer beliebigen Eichfunktion M (skalar) läßt die Lagrangegleichungen invariant.


Allgemein gilt:

Sei beliebig und


dann erfüllen die


das hamiltonsche Prinzip

Also:



Das bedeutet, die Euler- Lagrangegleichungen sind invariant unter Transformationen der Art

mit

beliebig.

Beweis:

mit


Einzige Nebenbedingung:


darf nicht explizit von

abhängen.


Beispiel: eindimensionaler Oszi



Beispielhafte Eichfunktion:



Die Lagrangegleichungen lauten:


Es folgt als Bewegungsgleichung