Poisson-Klammer: Unterschied zwischen den Versionen

Poisson-Klammer: Unterschied zwischen den Versionen

imported>Acky69
K (zus. Links)
 
imported>Blaues-Monsterle
(ausgelagert in den eigentlichen Hauptartikel zu Kanonische Gleichungen (Herleitung hier war länger als im Hauptartikel))
 
Zeile 7: Zeile 7:


mit
mit
* <math>f</math> und <math>g</math> [[Funktion (Mathematik)|Funktionen]] der [[generalisierte Koordinate|generalisierten Koordinaten]] <math>q_k</math> und der [[kanonischer Impuls|kanonisch konjugierten Impulse]] <math>p_k</math>
* <math>f</math> und <math>g</math> [[Funktion (Mathematik)|Funktionen]] der [[Generalisierte Koordinate|generalisierten Koordinaten]] <math>q_k</math> und der [[Kanonischer Impuls|kanonisch konjugierten Impulse]] <math>p_k</math>
* <math>s</math> Anzahl der [[Freiheitsgrad]]e.
* <math>s</math> Anzahl der [[Freiheitsgrad]]e.


Zeile 19: Zeile 19:


* [[Antisymmetrische Bilinearform|Antisymmetrie]]
* [[Antisymmetrische Bilinearform|Antisymmetrie]]
:<math>\{f,g\}=-\{g,f\}\,\Rightarrow\, \{f,f\}=0</math>
:<math>\{f,g\}=-\{g,f\}</math>, insbesondere <math>\{f,f\}=0</math>


* [[Produktregel]]
* [[Produktregel]]
Zeile 25: Zeile 25:


* [[Jacobi-Identität]]
* [[Jacobi-Identität]]
:<math>\,\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0</math>
:<math>\,\{f,\{g,h\}\}+\{h,\{f,g\}\}+\{g,\{h,f\}\}=0</math>


* [[Invarianz]]
* [[Invarianz]]
Zeile 38: Zeile 38:
Für die kanonische Mechanik wichtig sind die fundamentalen Poisson-Klammern
Für die kanonische Mechanik wichtig sind die fundamentalen Poisson-Klammern


:<math>\left \{ q_k, q_l \right \} = 0</math><br>
:<math>\left \{ q_k, q_l \right \} = 0</math>
:<math>\left \{ p_k, p_l \right \} = 0</math><br>
:<math>\left \{ p_k, p_l \right \} = 0</math>
:<math>\left \{ q_k, p_l \right \} = \delta_{kl}</math> ([[Kronecker-Delta]]).<br>
:<math>\left \{ q_k, p_l \right \} = \delta_{kl}</math> ([[Kronecker-Delta]])


Sie folgen aus den trivialen Beziehungen
Sie folgen aus den trivialen Beziehungen
Zeile 47: Zeile 47:
& \frac{\partial q_k}{\partial q_l} = \delta_{kl} \quad && \frac{\partial p_k}{\partial q_l} = 0\\
& \frac{\partial q_k}{\partial q_l} = \delta_{kl} \quad && \frac{\partial p_k}{\partial q_l} = 0\\
& \frac{\partial q_k}{\partial p_l} = 0          \quad && \frac{\partial p_k}{\partial p_l} = \delta_{kl}
& \frac{\partial q_k}{\partial p_l} = 0          \quad && \frac{\partial p_k}{\partial p_l} = \delta_{kl}
\end{alignat}</math>.
\end{alignat}</math>


== Anwendung ==
== Anwendung ==
=== Hamiltonsche Bewegungsgleichung ===
* Mithilfe der Poisson-Klammer kann die [[Evolution (Mathematik)|Zeitevolution]] einer beliebigen [[Observable]]n <math>f(q_k,p_k,t)</math> eines [[Hamiltonsches System|Hamiltonschen Systems]] <math>H(q_k,p_k)</math> ausgedrückt werden ([[Hamiltonsche Bewegungsgleichungen]]):
Mit Hilfe der Poisson-Klammer kann die Zeit[[Evolution (Mathematik)|evolution]] einer beliebigen [[Observable]]n <math>f(q_k,p_k,t)</math> eines [[Hamiltonsches System|Hamiltonschen System]]s <math>H(q_k,p_k)</math> ausgedrückt werden.


Diese Zeitevolution einer beliebigen Observablen wird beschrieben durch die [[totale Ableitung]] nach der Zeit:
::<math>\frac{\mathrm{d}f}{\mathrm{d}t} = \{f,H\} +\frac{\partial f}{\partial t}</math>.


:<math>\frac{\mathrm{d}f}{\mathrm{d}t} = \sum_{k=1}^s \left(\frac{\partial f}{\partial q_k}\frac{\mathrm{d}q_k}{\mathrm{d}t} + \frac{\partial f}{\partial p_k}\frac{\mathrm{d}p_k}{\mathrm{d}t}\right)+\frac{\partial f}{\partial t}</math>.
* Dual zur [[Bewegungsgleichung]] der [[Observable]]n ist die [[Liouville-Gleichung]], die die Dynamik der [[Verteilungsdichte]] in der [[Statistische Mechanik|statistischen Mechanik]] beschreibt:
 
Einsetzen der [[Hamiltonsche Bewegungsgleichungen|Hamiltonschen Gleichungen]]
 
::<math>\dot{q}_k = \frac{\partial H}{\partial p_k}</math>
 
und
 
::<math>\dot{p}_k = -\frac{\partial H}{\partial q_k}</math>
 
ergibt
 
:<math>\frac{\mathrm{d}f}{\mathrm{d}t} = \sum^s_{k=1}\left(\frac{\partial f}{\partial q_k}\frac{\partial H}{\partial p_k}-\frac{\partial f}{\partial p_k}\frac{\partial H}{\partial q_k}\right)+\frac{\partial f}{\partial t}</math>.
 
Der vordere Teil entspricht der Definition der Poisson-Klammer:
 
:<math>\frac{\mathrm{d}f}{\mathrm{d}t} = \{f,H\} + \frac{\partial f}{\partial t}</math>.
 
Insbesondere kann man mit dieser Gleichung ''Konstanten der Bewegung'' ([[Erhaltungsgröße]]n) charakterisieren. Eine Observable ist nämlich genau dann eine Erhaltungsgröße, wenn gilt:
 
:<math>\{f,H\} + \frac{\partial f}{\partial t} = 0</math>
 
Ist <math>f</math> nicht explizit zeitabhängig <math>\left (f(q_k,p_k) \neq f(t) \right)</math>, so wird daraus:
 
:<math>\{f,H\} = 0</math>
 
=== Weiteres ===
* Dual zur [[Bewegungsgleichung]] der [[Observable|Observablen]] ist die [[Liouville-Gleichung]], die die Dynamik der [[Verteilungsdichte]] in der [[statistische Mechanik|statistischen Mechanik]] beschreibt:


::<math> \dot{\rho}=\{H,\rho\}.</math>
::<math> \dot{\rho}=\{H,\rho\}.</math>


* In der [[Quantenmechanik]] wird im Rahmen der kanonischen [[Quantisierung (Physik)|Quantisierung]] die Poisson-Klammer ersetzt durch <math>\textstyle \left(-\frac{{\rm i}}{\hbar}\right)</math> mal den [[Kommutator (Mathematik)|Kommutator]]:<ref>Hong-Tao Zhang: ''A Simple Method of Calculating Commutators in Hamilton System with Mathematica Software'', {{arxiv|quant-ph/0204081}}</ref>
* In der [[Quantenmechanik]] wird im Rahmen der kanonischen [[Quantisierung (Physik)|Quantisierung]] die Poisson-Klammer ersetzt durch <math>\textstyle \left(-\frac{{\rm i}}{\hbar}\right)</math> mal den [[Kommutator (Mathematik)|Kommutator]]:<ref>Hong-Tao Zhang: ''A Simple Method of Calculating Commutators in Hamilton System with Mathematica Software'', {{arXiv|quant-ph/0204081}}</ref>


::<math>\{H,f\}\rightarrow-\frac{i}{\hbar}[\hat{H},\hat{f}]</math>
::<math>\{H,f\}\rightarrow-\frac{i}{\hbar}[\hat{H},\hat{f}]</math>
Zeile 92: Zeile 64:
:Außerdem werden Observablen durch [[Operator (Mathematik)|Operatoren]] dargestellt. Die oben angeführte Gleichung der Zeitevolution einer Observablen führt so auf die Zeitevolution von Operatoren eines quantenmechanischen Systems mit [[Hamiltonoperator]] <math>\hat{H}</math> im [[Heisenberg-Bild]]. Diese Bewegungsgleichung heißt [[Heisenbergsche Bewegungsgleichung]]. Die Liouville-Gleichung findet ihre Entsprechung dabei in der [[Dichtematrix#Zeitentwicklung|Von-Neumann’schen Bewegungsgleichung]].
:Außerdem werden Observablen durch [[Operator (Mathematik)|Operatoren]] dargestellt. Die oben angeführte Gleichung der Zeitevolution einer Observablen führt so auf die Zeitevolution von Operatoren eines quantenmechanischen Systems mit [[Hamiltonoperator]] <math>\hat{H}</math> im [[Heisenberg-Bild]]. Diese Bewegungsgleichung heißt [[Heisenbergsche Bewegungsgleichung]]. Die Liouville-Gleichung findet ihre Entsprechung dabei in der [[Dichtematrix#Zeitentwicklung|Von-Neumann’schen Bewegungsgleichung]].


* Sowohl die Phasenraumfunktionen der kanonischen Mechanik als auch die [[Operator (Mathematik)|Operatoren]] der Quantenmechanik bilden mit ihren Klammern jeweils eine [[Lie-Algebra]].
* Sowohl die Phasenraumfunktionen der kanonischen Mechanik als auch die [[Operator (Mathematik)|Operatoren]] der Quantenmechanik bilden mit ihren Klammern jeweils eine [[Lie-Algebra]].


* Allgemein definiert man auf einer [[Symplektische Mannigfaltigkeit|symplektischen Mannigfaltigkeit]] mit symplektischer Form, die in lokalen Koordinaten gegeben ist durch <math>\textstyle \omega=\sum_{ij}\omega_{ij}\,\mathrm dx^i\wedge\mathrm d x^j</math>, die Poisson-Klammer der Funktionen <math>f</math> und <math>g</math> durch:
* Allgemein definiert man auf einer [[Symplektische Mannigfaltigkeit|symplektischen Mannigfaltigkeit]] mit symplektischer Form, die in lokalen Koordinaten gegeben ist durch <math>\textstyle \omega=\sum_{ij}\omega_{ij}\,\mathrm dx^i\wedge\mathrm d x^j</math>, die Poisson-Klammer der Funktionen <math>f</math> und <math>g</math> durch:


:<math>\{f, g\} = \sum_{ij}\omega^{ij}\,\partial_i f\, \partial_j g\,.</math>
:<math>\{f, g\} = \sum_{ij}\omega^{ij}\,\partial_i f\, \partial_j g\,.</math>
* Koordinatenunabhängig lässt sich die Poisson-Klammer wie folgt darstellen: es sei <math>J: T^*M \rightarrow TM</math> der durch <math>J^{-1}(v)(w) = \omega(v, w)</math> beschriebene Isomorphismus. Weiter sei für eine Funktion <math>f</math> das Vektorfeld <math>X_f</math> definiert als <math>J(\mathrm d f)</math>. Damit gilt dann
:<math>\{f, g\} = \omega(X_f, X_g).</math>


== Weblinks ==
== Weblinks ==
Zeile 104: Zeile 80:
<references />
<references />


[[Kategorie:Klassische_Mechanik]]
[[Kategorie:Klassische Mechanik]]
[[Kategorie:Differentialgeometrie]]
[[Kategorie:Differentialgeometrie]]
[[Kategorie:Notation (Physik)]]
[[Kategorie:Notation (Physik)]]
[[Kategorie:Siméon Denis Poisson als Namensgeber]]

Aktuelle Version vom 1. März 2022, 11:55 Uhr

Die Poisson-Klammer, benannt nach Siméon Denis Poisson, ist ein bilinearer Differentialoperator in der kanonischen (hamiltonschen) Mechanik. Sie ist ein Beispiel für eine Lie-Klammer, also für eine Multiplikation in einer Lie-Algebra.

Definition

Die Poisson-Klammer ist definiert als

$ \left\{f,g\right\}:=\sum _{k=1}^{s}{\left({\frac {\partial f}{\partial q_{k}}}{\frac {\partial g}{\partial p_{k}}}-{\frac {\partial f}{\partial p_{k}}}{\frac {\partial g}{\partial q_{k}}}\right)} $

mit

Allgemein kann die Poisson-Klammer auch für Funktionen $ F $ und $ G $ definiert werden, die nicht von generalisierten Koordinaten und kanonischen Impulsen abhängen. Zur Verdeutlichung, auf welche Variablen sich die Poisson-Klammer beziehen soll, werden diese als Indizes an die Klammer geschrieben:

$ \{F,G\}_{ab}:=\sum _{k=1}^{s}\left({\frac {\partial F}{\partial a_{k}}}{\frac {\partial G}{\partial b_{k}}}-{\frac {\partial F}{\partial b_{k}}}{\frac {\partial G}{\partial a_{k}}}\right) $.

Eigenschaften

  • Bilinearität
$ \,\{c_{1}f_{1}+c_{2}f_{2},g\}=c_{1}\{f_{1},g\}+c_{2}\{f_{2},g\} $
  • Antisymmetrie
$ \{f,g\}=-\{g,f\} $, insbesondere $ \{f,f\}=0 $
  • Produktregel
$ \,\{f,gh\}=\{f,g\}h+g\{f,h\} $
  • Jacobi-Identität
$ \,\{f,\{g,h\}\}+\{h,\{f,g\}\}+\{g,\{h,f\}\}=0 $
  • Invarianz
Physikalisch liegt es nahe, anzunehmen, dass die Zeitentwicklung einer Eigenschaft eines Systems nicht von den verwendeten Koordinaten abhängen sollte; damit sollten auch die Poisson-Klammern unabhängig von den verwendeten kanonischen Koordinaten sein. Seien $ (\mathbf {q} ,\mathbf {p} ) $ und $ (\mathbf {Q} ,\mathbf {P} ) $ zwei verschiedene Sätze von Koordinaten, die durch kanonische Transformationen transformiert werden, so gilt:
$ \{f,g\}_{\mathbf {qp} }=\{f,g\}_{\mathbf {QP} }=\{f,g\} $.
Der Beweis ist länglich, sodass wir ihn hier auslassen.

Fundamentale Poisson-Klammern

Für die kanonische Mechanik wichtig sind die fundamentalen Poisson-Klammern

$ \left\{q_{k},q_{l}\right\}=0 $
$ \left\{p_{k},p_{l}\right\}=0 $
$ \left\{q_{k},p_{l}\right\}=\delta _{kl} $ (Kronecker-Delta)

Sie folgen aus den trivialen Beziehungen

$ {\begin{alignedat}{2}&{\frac {\partial q_{k}}{\partial q_{l}}}=\delta _{kl}\quad &&{\frac {\partial p_{k}}{\partial q_{l}}}=0\\&{\frac {\partial q_{k}}{\partial p_{l}}}=0\quad &&{\frac {\partial p_{k}}{\partial p_{l}}}=\delta _{kl}\end{alignedat}} $

Anwendung

  • Mithilfe der Poisson-Klammer kann die Zeitevolution einer beliebigen Observablen $ f(q_{k},p_{k},t) $ eines Hamiltonschen Systems $ H(q_{k},p_{k}) $ ausgedrückt werden (Hamiltonsche Bewegungsgleichungen):
$ {\frac {\mathrm {d} f}{\mathrm {d} t}}=\{f,H\}+{\frac {\partial f}{\partial t}} $.
$ {\dot {\rho }}=\{H,\rho \}. $
$ \{H,f\}\rightarrow -{\frac {i}{\hbar }}[{\hat {H}},{\hat {f}}] $
Außerdem werden Observablen durch Operatoren dargestellt. Die oben angeführte Gleichung der Zeitevolution einer Observablen führt so auf die Zeitevolution von Operatoren eines quantenmechanischen Systems mit Hamiltonoperator $ {\hat {H}} $ im Heisenberg-Bild. Diese Bewegungsgleichung heißt Heisenbergsche Bewegungsgleichung. Die Liouville-Gleichung findet ihre Entsprechung dabei in der Von-Neumann’schen Bewegungsgleichung.
  • Sowohl die Phasenraumfunktionen der kanonischen Mechanik als auch die Operatoren der Quantenmechanik bilden mit ihren Klammern jeweils eine Lie-Algebra.
  • Allgemein definiert man auf einer symplektischen Mannigfaltigkeit mit symplektischer Form, die in lokalen Koordinaten gegeben ist durch $ \textstyle \omega =\sum _{ij}\omega _{ij}\,\mathrm {d} x^{i}\wedge \mathrm {d} x^{j} $, die Poisson-Klammer der Funktionen $ f $ und $ g $ durch:
$ \{f,g\}=\sum _{ij}\omega ^{ij}\,\partial _{i}f\,\partial _{j}g\,. $
  • Koordinatenunabhängig lässt sich die Poisson-Klammer wie folgt darstellen: es sei $ J:T^{*}M\rightarrow TM $ der durch $ J^{-1}(v)(w)=\omega (v,w) $ beschriebene Isomorphismus. Weiter sei für eine Funktion $ f $ das Vektorfeld $ X_{f} $ definiert als $ J(\mathrm {d} f) $. Damit gilt dann
$ \{f,g\}=\omega (X_{f},X_{g}). $

Weblinks

Einzelnachweise

  1. Hong-Tao Zhang: A Simple Method of Calculating Commutators in Hamilton System with Mathematica Software, arxiv:quant-ph/0204081