Legendre- Transformation und Hamiltonfunktion: Difference between revisions

From testwiki
Jump to navigation Jump to search
*>SchuBot
Einrückungen Mathematik
*>SchuBot
Einrückungen Mathematik
Line 4: Line 4:


Ausgehend von einer Funktion
Ausgehend von einer Funktion
<math>y=f(x)</math> wobei <math>f(x)\cong L,x\cong {{\dot{q}}_{k}}</math>
:<math>y=f(x)</math> wobei <math>f(x)\cong L,x\cong {{\dot{q}}_{k}}</math>




Soll statt x die Variable  
Soll statt x die Variable  
<math>u=\frac{d}{dx}f(x)</math>
:<math>u=\frac{d}{dx}f(x)</math>




Line 18: Line 18:




<math>u=\frac{d}{dx}f(x)\Rightarrow x=\phi (u)</math>
:<math>u=\frac{d}{dx}f(x)\Rightarrow x=\phi (u)</math>




Line 24: Line 24:




<math>\frac{{{d}^{2}}}{d{{x}^{2}}}f(x)\ne 0</math>
:<math>\frac{{{d}^{2}}}{d{{x}^{2}}}f(x)\ne 0</math>
Ansonsten:  
Ansonsten:  
<math>u=\frac{d}{dx}f(x)=const.</math>
:<math>u=\frac{d}{dx}f(x)=const.</math>
und damit nicht umkehrbar.
und damit nicht umkehrbar.


Line 32: Line 32:




<math>y=f(x)=f(\phi (u)):=F(u)</math>
:<math>y=f(x)=f(\phi (u)):=F(u)</math>




Line 40: Line 40:




<math>y=F(u)</math> ist <math>y=f(x)</math>
:<math>y=F(u)</math> ist <math>y=f(x)</math>
nicht mehr eindeutig rekonstruierbar, weil alle Funktionen
nicht mehr eindeutig rekonstruierbar, weil alle Funktionen




<math>y=f(x)+a</math>
:<math>y=f(x)+a</math>
mit beliebigem, konstanten a wegen
mit beliebigem, konstanten a wegen




<math>u=\frac{d}{dx}y=\frac{d}{dx}(f(x)+a)=\frac{df}{dx}</math>
:<math>u=\frac{d}{dx}y=\frac{d}{dx}(f(x)+a)=\frac{df}{dx}</math>




dann auf die selbe Funktion  
dann auf die selbe Funktion  
<math>y=F(u)</math>
:<math>y=F(u)</math>
führen:
führen:


Alle Funktionen, die die gleiche Steigung u bei x haben, führen auf das selbe F(u).   
Alle Funktionen, die die gleiche Steigung u bei x haben, führen auf das selbe F(u).   
<math>y=F(u)</math>
:<math>y=F(u)</math>
ist also nicht umkehrbar.
ist also nicht umkehrbar.


Line 64: Line 64:




<math>\begin{align}
:<math>\begin{align}
   & x\to u \\  
   & x\to u \\  
  & y\to z=xu-f(x)=\phi (u)u-f(\phi (u))=g(u) \\  
  & y\to z=xu-f(x)=\phi (u)u-f(\phi (u))=g(u) \\  
Line 73: Line 73:




<math>y=f(\phi (u))</math>
:<math>y=f(\phi (u))</math>




Line 79: Line 79:




<math>y(x)\to g(u)</math>
:<math>y(x)\to g(u)</math>
heißt LEGENDRE- TRANSFORMATION
heißt LEGENDRE- TRANSFORMATION


Graphische Veranschaulichung von  
Graphische Veranschaulichung von  
<math>g(u)=x\frac{df}{dx}-f(x)</math>
:<math>g(u)=x\frac{df}{dx}-f(x)</math>
:
:


Line 97: Line 97:




<math>\begin{align}
:<math>\begin{align}
   & y\cong L \\  
   & y\cong L \\  
  & x\cong \dot{q} \\  
  & x\cong \dot{q} \\  
Line 112: Line 112:




<math>\begin{align}
:<math>\begin{align}
   & L({{q}_{1}},...,{{q}_{f}},{{{\dot{q}}}_{1}},...,{{{\dot{q}}}_{f}},t) \\  
   & L({{q}_{1}},...,{{q}_{f}},{{{\dot{q}}}_{1}},...,{{{\dot{q}}}_{f}},t) \\  
  & {{p}_{k}}:=\frac{\partial L}{\partial {{{\dot{q}}}_{k}}} \\  
  & {{p}_{k}}:=\frac{\partial L}{\partial {{{\dot{q}}}_{k}}} \\  
Line 122: Line 122:




<math>\begin{align}
:<math>\begin{align}
   & L({{q}_{1}},...,{{q}_{f}},{{{\dot{q}}}_{1}},...,{{{\dot{q}}}_{f}},t)\in {{C}^{2}} \\  
   & L({{q}_{1}},...,{{q}_{f}},{{{\dot{q}}}_{1}},...,{{{\dot{q}}}_{f}},t)\in {{C}^{2}} \\  
  & \det \frac{{{\partial }^{2}}L}{\partial {{{\dot{q}}}_{k}}\partial {{{\dot{q}}}_{l}}}\ne 0 \\  
  & \det \frac{{{\partial }^{2}}L}{\partial {{{\dot{q}}}_{k}}\partial {{{\dot{q}}}_{l}}}\ne 0 \\  
\end{align}</math> damit <math>{{p}_{k=}}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}</math> nach <math>{{\dot{q}}_{k}}</math>
\end{align}</math> damit <math>{{p}_{k=}}\frac{\partial L}{\partial {{{\dot{q}}}_{k}}}</math> nach <math>{{\dot{q}}_{k}}</math>
auflösbar
auflösbar

Revision as of 17:27, 12 September 2010


{{#set:Urheber=Prof. Dr. E. Schöll, PhD|Inhaltstyp=Script|Kapitel=4|Abschnitt=1}} Kategorie:Mechanik __SHOWFACTBOX__


Mathematisches Problem:

Ausgehend von einer Funktion

y=f(x) wobei f(x)L,xq˙k


Soll statt x die Variable

u=ddxf(x)


verwendet werden.

Also die Steigung von f(x) am Punkt x.

Das bedeutet, wir wollen eine Funktion, die nicht von bestimmten Koordinaten x abhängt sondern nur von der Steigung der Funktion selbst, die sie in Abhängigkeit von x an diesen Stellen hätte.


u=ddxf(x)x=ϕ(u)


Mit der Voraussetzung


d2dx2f(x)0

Ansonsten:

u=ddxf(x)=const.

und damit nicht umkehrbar.

Die Substitution in f führt dann auf:


y=f(x)=f(ϕ(u)):=F(u)


Bei dieser Trafo geht jedoch Information verloren.

Das heißt: Aus


y=F(u) ist y=f(x)

nicht mehr eindeutig rekonstruierbar, weil alle Funktionen


y=f(x)+a

mit beliebigem, konstanten a wegen


u=ddxy=ddx(f(x)+a)=dfdx


dann auf die selbe Funktion

y=F(u)

führen:

Alle Funktionen, die die gleiche Steigung u bei x haben, führen auf das selbe F(u).

y=F(u)

ist also nicht umkehrbar.

Auf das selbe F(u) führt jeweils die gesamte lineare Kurvenschar aller Funktionen f(x) zzgl. eines konstanten Parameters.

deshalb wird die Legendre- Transformation, eine andere, umkehrbare, Transformation, eingeführt:


xuyz=xuf(x)=ϕ(u)uf(ϕ(u))=g(u)


Statt der gerade genannten einfachen Variante


y=f(ϕ(u))


Die Trafo


y(x)g(u)

heißt LEGENDRE- TRANSFORMATION

Graphische Veranschaulichung von

g(u)=xdfdxf(x)

Das bedeutet: Die ursprüngliche Funktion y=f(x) wird nach der Trafo x-> u durch die Steigung u von f(x) und den (negativen) Achsenabschnitt charakterisiert.

Da der Achsenabschnitt mit berücksichtigt ist, wird nicht mehr die gesamte Kurvenschar auf die gleiche g(u) abgebildet. Die Abbildung ist bijektiv und damit eindeutig.

Die Werte (u,-z) bestimmen die Schar der Einhüllenden von y=f(x):

Man spricht deshalb von einer Legendre - oder auch Berührungstransformation.

Anwendung auf die Lagrangefunktion

yLxq˙up=Lq˙zq˙pL:=H(q,p,t)


Die Legendretransformierte H(q,p,t) heißt Hamiltonfunktion.

Die Variablen q und t werden nicht geändert.

Wichtig ist jedoch bei mehreren Variablen q1,...,qf:


L(q1,...,qf,q˙1,...,q˙f,t)pk:=Lq˙kH(q1,...,qf,p1,...,pf,t)=k=1fq˙kpkL


Die mathematischen Voraussetzungen für diese Prozedur sind:


L(q1,...,qf,q˙1,...,q˙f,t)C2det2Lq˙kq˙l0 damit pk=Lq˙k nach q˙k

auflösbar