Eichtransformation der Lagrangefunktion: Unterschied zwischen den Versionen

Aus PhysikWiki
Zur Navigation springen Zur Suche springen
Die Seite wurde neu angelegt: „<noinclude>{{Scripthinweis|Mechanik|2|3}}</noinclude> Die Lgarangefunktion wird duch die Lagrangegleichung nicht eindeutig festgelegt. Betrachten wir beispielsw…“
 
*>SchuBot
Einrückungen Mathematik
 
(5 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
<noinclude>{{Scripthinweis|Mechanik|2|3}}</noinclude>
<noinclude>{{Scripthinweis|Mechanik|2|3}}</noinclude>
==Uneindeutigkeit der Lagrangefunktion==
Die Lagarangefunktion wird duch die Lagrangegleichung nicht eindeutig festgelegt.


Die Lgarangefunktion wird duch die Lagrangegleichung nicht eindeutig festgelegt.
Betrachten wir beispielsweise ein geladenes Teilchen im '''elektrischen''' Feld:


Betrachten wir beispielsweise ein geladenes Teilchen im elektrischen Feld:


 
:<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>




Die Lorentzkraft ist typischerweise nicht konservativ
Die {{FB|Lorentzkraft}} ist typischerweise '''nicht konservativ'''


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




<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 28: Zeile 28:




Dabei ist Phi skalar und A ein Vektorpotenzial (MKSA- System)
Dabei ist <math>\Phi</math> Skalar und A ein Vektorpotenzial (MKSA- System)
 
Ziel: Suche eine Lagrangefunktion
<math>L(q,\dot{q},t)=T-V</math>
in der Art, dass
 


<math>\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=0</math>
'''Ziel''': Suche eine Lagrangefunktion <math>L(q,\dot{q},t)=T-V</math>  in der Art, dass <math>\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=0</math>




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 45: 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 51: 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 62: 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 68: 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 78: Zeile 73:
Somit erfüllt unser Ansatz die Bewegungsgleichungen
Somit erfüllt unser Ansatz die Bewegungsgleichungen


<u>'''Eichtransformationen'''</u>
== Eichtransformationen ==


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


Die Potenziale lassen sich umeichen mit Hilfe der {{FB|Eichfunktion}}
:<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 91: 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 103: 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 112: 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 136: Zeile 123:




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


Zeile 142: 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 173: 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.


<u>'''Beispiel: eindimensionaler Oszi'''</u>
{{Beispiel|'''Beispiel: eindimensionaler Oszi'''




<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 204: 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>
 
 
<u>'''Forminvarianz der Lagrangegleichung'''</u>
 
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, 16:26 Uhr



Uneindeutigkeit der Lagrangefunktion

Die Lagarangefunktion wird duch die Lagrangegleichung nicht eindeutig festgelegt.

Betrachten wir beispielsweise ein geladenes Teilchen im elektrischen Feld:


(q1,q2,q3)=(x1,x2,x3)


e sei die Ladung

Bewegungsgleichung:


md2dt2(q1,q2,q3)=mq¯¨=eE¯(q¯,t)+eq¯˙×B¯(q¯,t)


Die Lorentzkraft ist typischerweise nicht konservativ

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


E¯(q¯,t)=Φ(q¯,t)tA¯(q¯,t)B¯(q¯,t)=×A¯(q¯,t)


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

Ziel: Suche eine Lagrangefunktion L(q,q˙,t)=TV in der Art, dass LqkddtLq˙k=0


Die Bewegungsgleichung

md2dt2(q1,q2,q3)=mq¯¨=eE¯(q¯,t)+eq¯˙×B¯(q¯,t)

ergeben.

Ansatz:


L(q,q˙,t)=m2q¯˙2+e(q¯˙A¯(q¯,t)Φ(q¯,t))


Probe:


Lq˙k=mq˙k+eAkddtLq˙k=mq¨k+eddtAk(q¯(t),t)ddtLq˙k=mq¨k+e(tAk+lAkqlq˙l)ddtLq˙k=mq¨k+e(tAk+(q¯˙)Ak)


Weiter:


Lqk=e[qk(q¯˙A¯)qkΦ]


Somit:


0=LqkddtLq˙k=mq¨k+e(tAk+(q¯˙)Ak)e[qk(q¯˙A¯)qkΦ]=mq¨k+e(tAk+qkΦ)+e[qk(q¯˙A¯)+(q¯˙)Ak]=mq¨keEk[eq¯˙×(×A¯)]k=mq¨keEk[eq¯˙×B¯]k


Somit erfüllt unser Ansatz die Bewegungsgleichungen

Eichtransformationen

Die Potenziale lassen sich umeichen mit Hilfe der Eichfunktion

χ:


A¯(q¯,t)A¯´(q¯,t)=A¯(q¯,t)+χ(q¯,t)Φ(q¯,t)Φ´(q¯,t)=Φ(q¯,t)tχ(q¯,t)


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


E¯´(q¯,t)=Φ´(q¯,t)tA¯´(q¯,t)=(Φ(q¯,t)tχ(q¯,t))t(A¯(q¯,t)+χ(q¯,t))=E¯(q¯,t)B¯´(q¯,t)=×A¯´(q¯,t)=×(A¯(q¯,t)+χ(q¯,t))=B¯(q¯,t)


Betrachten wir die Lagrangefunktion, so ergibt sich:


L´(q,q˙,t)=m2q¯˙2+e(q¯˙A¯´(q¯,t)Φ´(q¯,t))L´(q,q˙,t)=m2q¯˙2+e(q¯˙A¯(q¯,t)+q¯˙χΦ(q¯,t)+χ˙)L´(q,q˙,t)=L+e(χ˙+q¯˙χ)´=L+ddt(eχ(q¯,t))


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


Die Eichtransformation
L(q,q˙,t)L´(q,q˙,t)=L+ddt(M(q¯,t))

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


Allgemein gilt:

Sei M(q¯,t)=M(q1,...,qf,t)C3 beliebig und

L´(q,q˙,t)=L+(M˙+q¯˙M)=L+ddt(M(q¯,t))L´(q,q˙,t)=L+k=1fMqkq˙k+Mt


dann erfüllen die


{qk(t)}
das hamiltonsche Prinzip

Also:


δL´dt=0δLdt=0


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

L(q,q˙,t)L´(q,q˙,t)=L+ddt(M(q¯,t)) mit M(q¯,t)=M(q1,...,qf,t)C3

beliebig.

Beweis:

L´qkddtL´q˙k=Lqk+qk(l=1fMqlq˙l+Mt)ddtLq˙kddtq˙k(l=1fMqlq˙l+Mt)=LqkddtLq˙k+qkdMdtddtMqk=LqkddtLq˙k mit q˙k(l=1fMqlq˙l+Mt)=Mqk


Einzige Nebenbedingung:


M(q¯,t)=M(q1,...,qf,t)C3

darf nicht explizit von

q˙k

abhängen.


Beispiel: eindimensionaler Oszi


L=TV=m2q˙2mω22q2


Beispielhafte Eichfunktion:

M(q):=mω22q2dMdt=mω2qq˙


L´=m2q˙2mω22(q22qq˙)


Die Lagrangegleichungen lauten:

ddtL´q˙=mq¨+mω2q˙L´qk=mω2q+mω2q˙


Es folgt als Bewegungsgleichung

q¨+ω2q=0