Quelltext der Seite Das Hamiltonsche Prinzip

==Das Hamiltonsche Prinzip==

<u>'''Variationsprinzipien'''</u>

Die bisher betrachteten Variationen waren differenziell. Derart wurden sie beim d´Alembertschen Prinzip angewendet.

Differenzielle Variation:
<math>\delta {{\vec{r}}_{i}}</math>


Beim Hamiltonschen Prinzip dagegen wird die gesamte Bahn variiert:


<math>{{\vec{r}}_{i}}(t)</math>


Hat man also eine Bahn gefunden, so variiert man diese, indem eine beliebige , gänzlich von der ersten Bahn verschiedene Bahn betrachtet wird.

Lediglich Anfangs- und Endpunkt zu den Messzeiten t1 und t2 werden festgehalten.

===Skizze===

Grundidee des Hamiltonschen Prinzips ist, dass die wirklich angenommene Bahn eine bestimmte Größe, nämlich die sogenannte Wirkung der Bahn , extremal macht.

==Fermatsches Prinzip==

Dieses Phänomen ist bei der Lichtausbreitung als Fermatsches Prinzip bekannt.

In der geometrischen Optik gibt es die Moeglichkeit, einen Lichtweg zu finden, indem das Fermatsche Prinzip berücksichtigt wird. Demnach sucht sich Licht immer den kürzesten W4eg in einer Anordnung von Spiegeln und brechenden Gläsern mit Brechungsindex n(r )

Vorsicht ! Das Licht sucht sich demnach den kürzesten Optischen Weg, also den Weg, der in der kürzesten Dauer zurückgelegt werden kann ( Das Licht bewegt sich entlang der lichtartigen Geodäten).

Sei der Brechungsindex
<math>n(\vec{r})=\frac{c}{{{c}_{0}}}</math>


So gilt:


<math>\delta \int\limits_{1}^{2}{ds}n(\vec{r})=0</math>


als Bedingung an den tatsächlich zwischen 1 und 2 angenommenen Weg.

Betrachten wir ein Teilchen im kräftefreien Fall, so gilt, dass die Bewegung auf Geodäten stattfindet. Dies sind die kürzesten Verbindungen zwischen zwei Punkten, bei Kugeln beispielsweise die Großkreise.

Gemäß der allgemeinen Relativitätstheorie verzerren Masseansammlungen den Raum derartig ( die Metrik des Raumes), dass alle Teilchenbahnen Geodäten werden. Unabhängig davon, ob Kräfte vorliegen oder nicht.

==Allgemeine Aufgabe der Variationsrechnung==

Sei I : C² - > R   ein Funktional

Beispiel:
<math>q(t)\to I[q]:=\int\limits_{t1}^{t2}{dt}F(q(t),\dot{q}(t),t)</math>


Die Funktion q(t) sollte zweimal stetig differenzierbar und reell sein. ( Bahnkurve mit existierender Geschwindigkeit und Beschleunigung).

Die Aufgabe lautet nun:

Suche ein q(t) derart, dass
<math>\delta I[q]=0</math>


Das Funktional sollte also in q(t) extremal werden. Sprich, Maximum, Minimum oder Sattelpunkt aufweisen.

====Die Variierten Bahnen====

Eine Variierte Bahn ist dann eine Bahn, die zu jeder Zeit t mit t1<t<t2 ( eigentlich kleiner gleich) dem Punkt q(t) auf der reellen Bahn einen variierten Bezugspunkt q´(t) auf der variierten Bahn zuordnet.

Dabei gilt:

1.
<math>q\acute{\ }(t)\in {{C}^{2}}</math>
Die variierten Punkte stammen auch aus quadratintegrablen komplexen Funktionen

2.
<math>\delta q(t):=q\acute{\ }(t)-q(t)</math>
differenzielle Variation. Die Zeit wird nicht variiert.

3.
<math>\delta t=0</math>


4.
<math>\begin{align}
  & q\acute{\ }({{t}_{1}})=q({{t}_{1}}) \\
 & q\acute{\ }({{t}_{2}})=q({{t}_{2}}) \\
\end{align}</math>
 Anfangs- und Endpunkt sind fest

5.
<math>\delta q({{t}_{1}})=\delta q({{t}_{2}})=0</math>


Da die Variation der Integrationsgrenzen verschwindet kann Integration und Variation vertauscht werden:


<math>0=\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dtF(q,\dot{q},t)}=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\delta F(q,\dot{q},t)=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left[ \frac{\partial F}{\partial q}\delta q+\frac{\partial F}{\partial \dot{q}}\delta \dot{q} \right]}}</math>


Die letzte Identität gilt, da die Variation nicht auf die Zeit bezogen werden muss ( Zeit wird nicht variiert).

Für die variierte Geschwindigkeit gilt:


<math>\delta \dot{q}(t):=\dot{q}\acute{\ }(t)-\dot{q}(t)=\frac{d}{dt}(q\acute{\ }(t)-q(t))=\frac{d}{dt}\delta q</math>


Also folgt mit Hilfe partieller Integration


<math>\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left[ \frac{\partial F}{\partial q}\delta q+\frac{\partial F}{\partial \dot{q}}\delta \dot{q} \right]}=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left[ \frac{\partial F}{\partial q}\delta q+\frac{\partial F}{\partial \dot{q}}\frac{d}{dt}\delta q \right]}=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left[ \frac{\partial F}{\partial q}\delta q-\frac{d}{dt}\frac{\partial F}{\partial \dot{q}}\delta q \right]}+\frac{\partial F}{\partial \dot{q}}\delta q{{\left. {} \right|}_{{{t}_{1}}}}^{{{t}_{2}}}</math>


Da jedoch die Variation an den Grenzen t1 und t2 verschwindet gilt:


<math>\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left[ \frac{\partial F}{\partial q}-\frac{d}{dt}\frac{\partial F}{\partial \dot{q}} \right]\delta q}=0</math>


Da q jedoch völlig frei variierbar ist:


<math>\frac{\partial F}{\partial q}-\frac{d}{dt}\frac{\partial F}{\partial \dot{q}}=0</math>


Dies ist die verallgemeinerte Euler-Lagrange- Gleichung der Variationsrechnung

Diese Differenzialgleichung ist äquivalent zum Integralprinzip


<math>\delta I[q]=0</math>


Neben der Einführung einer bijektiven Abbildung zwischen Bahnpunkten bund variierten Punkten ergibt sich auch die leichte Möglichkeit der Ableitung durch Einführung eines Variationsparameters:
<math>\alpha </math>
:


<math>q(t,\alpha )=q(t)+\alpha \eta (t)</math>


Die konkurrierende Funktion wird durch den Parameter
<math>\alpha </math>
bei festem
<math>\eta (t)</math>
parametrisiert.

Weitere Möglichkeiten sind zu finden unter „direkte Methoden der Variationsrechnung)

==Exkurs zur Variationsrechnung==

# Das Extremum einer Funktion f(x) bei einer Variablen

<math>\delta f(x)=f(x+\delta x)-f(x)=\frac{d}{dx}f(x)\delta x=0</math>
für beliebige Variationen


<math>\delta x\ne 0</math>



<math>\frac{d}{dx}f(x)=0</math>
an x=x0 ( Nullstelle)

# Extremum einer Funktion f(x1,x2,...,xN) mehrerer Variablen


<math>\delta f=f(x1+\delta x1,...)-f(x1,...)=\sum\limits_{i=1}^{N}{{}}\frac{\partial }{\partial {{x}_{i}}}f(x)\delta {{x}_{i}}=0</math>
für beliebige
<math>\delta {{x}_{i}}\ne 0</math>



<math>\frac{\partial f}{\partial {{x}_{i}}}=0</math>
	i=1...,N bei xi =xi0 ( Nullstellen der Funktion)

entsprechend:

3. Extremum eines Funktionals

f[x]=f[x(t)]


<math>\begin{align}
  & {{x}_{1}},...,{{x}_{N}}->x(t) \\
 & \delta {{x}_{1}},...,\delta {{x}_{N}}->\delta x(t) \\
 & \delta f=\sum\limits_{i=1}^{N}{\frac{\partial f}{\partial {{x}_{i}}}\delta {{x}_{i}}->}\delta f=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\frac{\delta f}{\delta x(t)}\delta x(t)} \\
\end{align}</math>


Mit
<math>\frac{\delta f}{\delta x(t)}</math>
als Funktionalableitung

Beispiel : Integral als Funktional

Sei
<math>f[x]:=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dtF(x(t))}</math>



<math>\delta f=f[x(t)+\delta x(t)]-f[x(t)]=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left\{ F(x(t)+\delta x(t))-F(x(t)) \right\}}</math>



<math>=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\frac{dF(x)}{dx}\delta x(t)}\quad \to \frac{dF(x)}{dx}=\frac{\delta f}{\delta x(t)}</math>
 wegen
<math>\delta f=\sum\limits_{i=1}^{N}{\frac{\partial f}{\partial {{x}_{i}}}\delta {{x}_{i}}->}\delta f=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\frac{\delta f}{\delta x(t)}\delta x(t)}</math>



<math>\delta f=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\frac{dF(x)}{dx}\delta x(t)}\quad =0\ f\ddot{u}r\ beliebige\ \delta x(t)\ (Extremum)</math>


Somit folgt jedoch wegen der Beliebigkeit der variierten x:


<math>\frac{dF(x)}{dx}=\frac{\delta f}{\delta x(t)}=0</math>
als Funktionalgleichung zur Berechnung von x(t)

Bei Abhängigkeit von
<math>x,\dot{x}</math>
:


<math>f[x,\dot{x}]=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dtF(x(t),\dot{x}(t))}</math>



<math>\delta f=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\delta F(x,\dot{x})}=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left\{ \frac{\partial F}{\partial x}\delta x+\frac{\partial F}{\partial \dot{x}}\delta \dot{x} \right\}=}\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left\{ \frac{\partial F}{\partial x}+\frac{d}{dt}\frac{\partial F}{\partial \dot{x}} \right\}\delta x(t)}</math>


Im Extremum gilt dies wieder für beliebige Variationen
<math>\delta x(t)</math>
.

Somit gewinnt man die Euler-Lagrange- Gleichung zur Berechnung von x(t):


<math>\frac{\partial F}{\partial x}+\frac{d}{dt}\frac{\partial F}{\partial \dot{x}}=0</math>


<u>'''Das Hamiltonsche Wirkungsprinzip'''</u>

Voraussetzung:

* holonome ( integrable) Zwangsbed. -> Bedingung fuer Existenz generalisierter Koordinaten ( q1,..., qf)
* konservative Kräfte -> Bedingung für Existenz der Lagrangegleichung / Lagrangefunktion
*
<math>L({{q}_{1}},...{{q}_{f}},{{\dot{q}}_{1}},...,{{\dot{q}}_{f}},t)=T-V</math>


Nehmen wir nun die Lgrangegleichung als Funktional:


<math>F=L({{q}_{1}},...{{q}_{f}},{{\dot{q}}_{1}},...,{{\dot{q}}_{f}},t)=T-V</math>


Nun ist auch das Variationsprinzip auf mehrere Variablen zu verallgemeinern:

Die entstehende Euler- Lagrange- Gleichung entspricht einer Lagrangegleichung 2. Art

Integralprinzip entspricht dem Hamiltonschen Wirkungsprinzip

Somit erhalten wir bei Integration über die Zeit ein Wirkungsfunktional:


<math>\begin{align}
  & \delta W=0 \\
 & W:=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt}F=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt}L({{q}_{1}},...{{q}_{f}},{{{\dot{q}}}_{1}},...,{{{\dot{q}}}_{f}},t)=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt}T-V \\
\end{align}</math>


Bei Berechnung der Variation erhalten wir:


<math>\begin{align}
  & \delta W=0 \\
 & \delta W=\delta \int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt}F=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt}\sum\limits_{k=1}^{f}{{}}\left\{ \frac{\partial L}{\partial {{q}_{k}}}\delta {{q}_{k}}(t)+\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}\frac{d}{dt}\delta {{q}_{k}}(t) \right\} \\
 & \delta W=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt}\sum\limits_{k=1}^{f}{{}}\left\{ \frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}} \right\}\delta {{q}_{k}}(t)=0 \\
\end{align}</math>


Da auch hier wieder völlig frei in q variiert werden kann ( gilt für beliebige
<math>\delta {{q}_{k}}(t),k=1,...,f</math>
)

gilt als Lagrangegleichung 2. Art:


<math>\frac{\partial L}{\partial {{q}_{k}}}-\frac{d}{dt}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}=0</math>


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


<math>\begin{align}
  & L=T-V=\frac{m}{2}{{{\dot{q}}}^{2}}-\frac{m{{\omega }^{2}}}{2}{{q}^{2}} \\
 & \delta W=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\delta \left\{ \frac{m}{2}{{{\dot{q}}}^{2}}-\frac{m{{\omega }^{2}}}{2}{{q}^{2}} \right\}} \\
\end{align}</math>


Mit Hilfe:


<math>\delta {{q}^{2}}=2q\delta q</math>


ergibt sich:


<math>\delta W=\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt\left\{ -\frac{d}{dt}m\dot{q}-m{{\omega }^{2}}q \right\}}\delta q=0</math>



<math>\begin{align}
  & m\ddot{q}-m{{\omega }^{2}}q=0 \\
 & \ddot{q}+{{\omega }^{2}}q=0 \\
\end{align}</math>


'''Unterschiede zum d´Alembertschen Prinzip'''

Das Hamiltonsche Prinzip ist ein Integralprinzip. Das heißt, die integrierte Summe aller Variationen ist extremal, die tatsächliche Bahn ( gesamte Bahn) wird also mit einer differenziell benachbarten Bahn verglichen ).

Das Hamiltonsche Prinzip unterliegt dem teleologischen Prinzip. Es ist zweckgebunden. Der Zweck betrifft dabei die Eigenschaften der gesamten Bahn.

Außerdem ist das Hamiltonprinzip völlig unabhängig von der Koordinatenwahl.

Wirkung = Energie X  Zeit

Wirkung = Impuls X Ort

Vergleiche dazu: Plancksches Wirkungsquantum !

Die Wirkung ist also quantisiert . Zwischen den Größen, die eine Wirkung best9mmen entsteht eine Unschärfe. Somit ist die Wirkung quantisiert und sucht sich in der Natur ein Minimum.

Allgemein kann man das Hamil5tonsche Wirkungsprinzip natürlich auch formulieren, wenn die Zwangsbedingungen beliebig ( nichtholonom) sind und die eingeprägten Kräfte nicht konservativ:

Seien die eingeprägten Kräfte ( nicht konservativer Art) von der Form:


<math>{{\bar{X}}_{i}}</math>


So gilt mit
<math>\delta A=\sum\limits_{i}{{{{\bar{X}}}_{i}}\delta {{{\bar{r}}}_{i}}}</math>



<math>\int\limits_{{{t}_{1}}}^{{{t}_{2}}}{dt}\left( \delta T+\delta A \right)=0</math>


<u>'''Eichtransformationen der Lagrangefunktion'''</u>

Die Lgarangefunktion wird duch die Lagrangegleichung nicht eindeutig festgelegt.

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>


e sei die Ladung

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>


Die Lorentzkraft ist typischerweise nicht konservativ

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


<math>\begin{align}
  & \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) \\
\end{align}</math>


Dabei ist Phi 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>


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>
ergeben.

Ansatz:


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


Probe:


<math>\begin{align}
  & \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\left( \frac{\partial }{\partial t}{{A}_{k}}+\sum\limits_{l}{\frac{\partial {{A}_{k}}}{\partial {{q}_{l}}}{{{\dot{q}}}_{l}}} \right) \\
 & \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) \\
\end{align}</math>


Weiter:


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


Somit:


<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] \\
 & =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{{E}_{k}}-{{\left[ e\dot{\bar{q}}\times \left( \nabla \times \bar{A} \right) \right]}_{k}} \\
 & =m{{{\ddot{q}}}_{k}}-e{{E}_{k}}-{{\left[ e\dot{\bar{q}}\times \bar{B} \right]}_{k}} \\
\end{align}</math>


Somit erfüllt unser Ansatz die Bewegungsgleichungen

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

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


<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) \\
 & \Phi (\bar{q},t)\to \Phi \acute{\ }(\bar{q},t)=\Phi (\bar{q},t)-\frac{\partial }{\partial t}\chi (\bar{q},t) \\
\end{align}</math>


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


<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{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) \\
\end{align}</math>


Betrachten wir die Lagrangefunktion, so ergibt sich:


<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}(\bar{q},t)+\dot{\bar{q}}\cdot \nabla \chi -\Phi (\bar{q},t)+\dot{\chi } \right) \\
 & L\acute{\ }(q,\dot{q},t)=L+e\left( \dot{\chi }+\dot{\bar{q}}\cdot \nabla \chi  \right)\acute{\ }=L+\frac{d}{dt}\left( e\chi (\bar{q},t) \right) \\
\end{align}</math>


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

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.

Allgemein gilt:

Sei
<math>M(\bar{q},t)=M({{q}_{1}},...,{{q}_{f}},t)\in {{C}^{3}}</math>
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+\sum\limits_{k=1}^{f}{\frac{\partial M}{\partial {{q}_{k}}}{{{\dot{q}}}_{k}}+\frac{\partial M}{\partial t}} \\
\end{align}</math>


dann erfüllen die


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

Also:


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


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>
beliebig.

'''Beweis:'''


<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}{\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>


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>


Einzige Nebenbedingung:


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

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


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


Beispielhafte Eichfunktion:


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


Die Lagrangegleichungen lauten:


<math>\begin{align}
  & \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} \\
\end{align}</math>


Es folgt als Bewegungsgleichung


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

[[Kategorie:Mechanik]]