Zeitentwicklung von Observablen und Zuständen in der klassischen Mechanik

Transkript

1 Zeitentwicklung von Observablen und Zuständen in der klassischen Mechanik Martin Vojta Hamiltonsche Mechanik Die Hamiltonsche Mechanik befasst sich mit der Bewegung im Phasenraum. Dabei kann durch die hamiltonschen Bewegungsgleichungen mit Hilfe der Hamilton- Funktion die zeitliche Veränderung der Orte und Impulse bestimmt werden. Generell ist die Hamilton-Funktion H(p,q;t) eines Systems von Teilchen ihre Energie als Funktion des Phasenraumes, also eine Funktion von den Ortskoordinaten q = (q 1, q 2,..., q n ) und den Impulskoordinaten p = (p 1, p 2,..., p n ) und ist daher eine Observable. Die Hamilton-Funktion kann auch explizit von t abhängig sein, allerdings können sich sich dann die Lösungskurven im Phasenraum schneiden. Die hamiltonschen Bewegungsgleichungen sind wie folgt gegeben: wobei k natürlich von 1 bis n geht. 2 Poisson-Klammern q k = H p k p k = H q k Seien f; g ɛ C 1. Dann ist die Poissonklammer {f, g} zwischen f und g deniert als: {f, g} = k ( f q k g f ) g p k p k q k Mit HIlfe der Poissonklammern, kann man die Hamiltonschen Bewegungsgleichungen folgendermaÿen darstellen: q = {q, H} 1

2 ṗ = {p, H} Poisson-Klammern haben folgende Eigenschaften: 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 (p,q) und (P,Q) zwei verschiedene Sätze von kanonischen Koordinaten, dann gilt: {f, g} (p,q) = {f, g} (P,Q) Poisson-Algebra Die Verwendung von Poissonklammern benötigt eine Denition der Poisson- Algebra. Def: Die Poisson-Algebra ist ein Vektorraum über einem Körper, der zwei bilineare Verknüpfungen, nämlich und {} enthält und folgende Eigenschaften hat: Die Verknüpfung muss eine assoziative K-Algebra formen! Eine assoziative K-Algebra ist ein Vektorraum A über einem Körper, zusammen mit einer Abbildung A A A wenn für 3 beliebige Elemente der Algebra das Assoziativgesetz gilt. Die Verknüpfung {} muss eine Lie-Algebra formen und daher antisymmetrisch sein und die Jakobi-Identität als Eigenschaft haben. 2

3 Eine Lie-Algebra ist eine Vektorraum g über einem Körper K zusammen mit einer Verknüpfung g g g (x, y) [x, y], die Lie-Klammern genannt wird, mit folgenden Eigenschaften 1. Sie ist billinear 2. Sie genügt der Jakobi-Identität 3. Es gilt [x,x]=0 Zwischen den beiden Verknüpfungen gilt die Leibnizegel 3 Hamiltonscher Fluss {x, y z} = {x, y} z + y {x, z} Das Konzept eines Flusses ermöglicht die zeitabhängige Beschreibung von Systemzuständen. Hamiltonsche Gleichungen: Generell sind Hamiltonsche Gleichunungen gewöhnliche Dierentialgleichungen erster Ordnung, also von der Form: ẋ i (t) = X i (x(t)) (1) mit i = 1,2,...,d. Die hamiltonschen Bewegungsgleichungen sind daher eine spezielle Form dieser Gleichungen. Die Flussabbildung: Die Flussabbildung oder der Fluss Φ dieser Dierentialgleichung ordnet der Anfangsbedingung x 0 und der Zeit den dazugehörigen Wert auf der Lösungskurve zu: Φ(x 0, t) = x(t) Φ : R d R R d Eine Dieretialgleichung der Form 1 wird nun als dynamisches System bezeichnet und damit sind die hamiltonschen Bewegungsgleichungen ein spezielles Dynamisches System. Ist der Fluss für alle Anfangsbedingungen and alle Zeiten deniert, so spricht man von einem vollständigen Fluss. Im weiteren werden nur vollständige Flüsse betrachtet. Weiters gilt: Φ(0, x 0 ) = x 0 3

4 Man deniert nun: und es gilt: Φ t : R d R d Φ t (x) = Φ(t, x) Erhaltungsgröÿen: d dt Φ t = X Φ t Ein (glatte) Erhaltungsgröÿe f ist für die Dierentialgleichungen der Form 1 eine Funktion fɛc (R d ) für die folgendes gilt: f Φ t = f (2) für alle Zeiten. In Worten gefasst bedeutet dies, dass der Wert von f bei x nur über die Lösungskurve durch x, nicht aber vom Punkt aud der Lösungskurve ab. Leitet man 2 nach t ab und setzt t = 0, so erhält man folgende Darstellung: Hamiltonischer Fluss: X i f x i = 0 Ein dynamisches System der Form 1 lässt sich als glattes Vektorfeld auassen. Eine Lösungskurve x(t) liegt an jedem Punkt Tangential an das vorgegeben Vektorfeld. Vektorfeld und Figure 1: Vektorfeld und Lösungskurve* 4

5 *Quelle: Stefan-Waldmann, Poisson-Geometrie und Deformationsquantisierung, Seite 13 Die Hamiltonschen Bewegungsgleichungen liefern ein spezielles dynamisches System. Das dazugehörige Hamiltonsche Vektorfeld ist folgendermaÿen gegeben: X H (q, p) = ( H p H q (q, p) (q, p) ) und die Flusslinie ist verläuft tangential and das Vektorfeld. Zu jedem Anfangswert (hier q(0) und p(0)) existiert eine eigene Flusslinie. Das heiÿt bei gegebenen Anfangswerten von q und p erhält man eine von Lösungskurve als Funktion der Zeit. 4 Hamiltonsche Zeitentwicklung Sei H eine Hamilton-Funktion, f eine Observable und Φ t (p, q) der von der Hamilton-Funktion bestimmte hamiltonsche Fluss im Phasenraum, so gilt für die Zeitentwicklung der Observable : f(p, q; t) = f Φ t (p, q) Φ t f(p, q) Die Abbildung Φ t nennt man auch bull-pack und sie hat folgende Eigenschaften: Φ t ist ein *-Automorphismus von C (R 2n ) und daher gilt: Ein Automorphismus ist eine bijektive Abbildung der Menge A auf sich selbst, die linear ist, also φ(f i (a 1, a 2,..) = f(φ(a 1 ), φ(a 2 ),...) Φ t ist einen Poisson-Abbildung: Hamiltonsche Bewegungsgleichung: Φ t {f, g} = {Φ t f, Φ t g} Um die Veränderung mit der Zeit zu erhalten, leitet man die Zeitentwickling der Observable nach der Zeit ab: Φ t f (q, p) = ( Φ t f q k t q k t + Φ k f p ) k p k t 5

6 q k = H p k p k = H q k Φ t f (q, p) = ( Φ t f H Φ t f H ) t q k p k p k q k Φ t f (q, p) = {Φ t f, H} (3) t Dies ist die Hamiltonsche Bewegungsgleichung für die Observable. Beim Vergleich mit den Heiÿenbergschen Bewegungsgleichungen der Quantenmechanik, merkt man, dass sie die gleiche Form hat. Man kann also die Zeitentwicklung jeder beliebigen Observable mit Hilfe der Hamiltonfunktion und der Poissonklammern beschreiben. Erhaltungsgröÿen und Energieerhaltung: Eine Observable f ist genau dann eine Erhaltungsgröÿe Φ t f = f wenn gilt: {f, H} = 0 Weiters gilt der Satz: Wenn f und g Erhaltungsgröÿen sind, dann ist auch {f, g} eine Erhaltungsgröÿe. Aus der Denition der Poissonklammern, sieht man, dass {H, H} = 0 gilt. Daher ist also die Energie erhalten und es gilt: 5 Quellen: Φ t H = H Stefan-Waldmann, Poisson-Geometrie und Deformationsquantisierung Skript von der ETH-Zürich : hs08/qmi/qm1_ pdf Wikipedia 6