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 [[ | * <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\} | :<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\}\}+\{ | :<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 | :<math>\left \{ q_k, q_l \right \} = 0</math> | ||
:<math>\left \{ p_k, p_l \right \} = 0</math | :<math>\left \{ p_k, p_l \right \} = 0</math> | ||
:<math>\left \{ q_k, p_l \right \} = \delta_{kl}</math> ([[Kronecker-Delta]]) | :<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 == | ||
* 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]]): | |||
::<math>\frac{\mathrm{d}f}{\mathrm{d}t} = \{f,H\} +\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: | |||
* Dual zur [[Bewegungsgleichung]] der [[Observable | |||
::<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'', {{ | * 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 | * 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: | [[Kategorie:Klassische Mechanik]] | ||
[[Kategorie:Differentialgeometrie]] | [[Kategorie:Differentialgeometrie]] | ||
[[Kategorie:Notation (Physik)]] | [[Kategorie:Notation (Physik)]] | ||
[[Kategorie:Siméon Denis Poisson als Namensgeber]] |
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.
Die Poisson-Klammer ist definiert als
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ür die kanonische Mechanik wichtig sind die fundamentalen Poisson-Klammern
Sie folgen aus den trivialen Beziehungen