In der klassischen Mechanik bezeichnet man eine aktive[1] Transformation des Phasenraums als kanonisch, wenn sie wesentliche Aspekte der Dynamik invariant lässt. Die Invarianz der hamiltonschen Gleichungen ist dabei ein notwendiges, jedoch nicht hinreichendes Kriterium.[2] Notwendig und hinreichend ist die Invarianz der Poisson-Klammern, ein weiteres notwendiges Kriterium ist die Invarianz des Phasenraumvolumens. Ziel dabei ist, die neue Hamilton-Funktion möglichst zu vereinfachen, im Idealfall sogar unabhängig von einer oder mehreren Variablen zu machen. In dieser Funktion sind kanonische Transformationen der Ausgangspunkt zum Hamilton-Jacobi-Formalismus. Kanonische Transformationen können aus sogenannten erzeugenden Funktionen konstruiert werden.
Wichtige Beispiele kanonischer Transformationen sind Transformationen des Phasenraums, die von Transformationen des Konfigurationsraums induziert werden – sogenannte Punkttransformationen – sowie der kanonische Fluss bei festgehaltener Zeitkonstanten, also Transformationen des Phasenraums, die durch Fortschreiten der Dynamik um eine konstante Zeitdifferenz entstehen. Die erzeugende Funktion in letzterem Fall ist die Hamiltonsche Prinzipalfunktion und entspricht gerade der Wirkung zwischen den beiden Zeitpunkten, aufgefasst als Funktion der alten und neuen Koordinaten.
Im Folgenden wird zunächst nur der einfachere zeitunabhängige Fall behandelt. Der zeitabhängige Fall wird in einem eigenen Abschnitt dargestellt. Ferner sind folgende Ausführungen als lokale Beschreibung der Transformationen in Bündelkarten anzusehen. Für das Verständnis der globalen Zusammenhänge ist die Verwendung des Differentialformenkalküls unerlässlich.[3] Sie werden ebenfalls in einem eigenen Abschnitt dargestellt.
Man betrachte ein Hamiltonsches System mit $ f $ Freiheitsgraden und der Hamilton-Funktion $ H(q,p) $, die von den Koordinaten $ q=(q_{1},\dotsc ,q_{f}) $ und Impulsen $ p=(p_{1},\dotsc ,p_{f}) $ abhängt. Die kanonischen Gleichungen (hamiltonsche Bewegungsgleichungen) lauten somit:
wobei im Folgenden für die Argumente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q(t), p(t) der Übersichtlichkeit halber kurz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q, p geschrieben wird. Gesucht sind Transformationen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (q,p) \mapsto (Q(q,p), P(q,p)) , die die kanonischen Gleichungen invariant lassen, d. h., durch Substitution Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (q, p) = (q(Q, P), p(Q, P)) in der Hamilton-Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): H (Q, P) := H(q(Q, P), p(Q, P)) soll dieselbe Dynamik beschrieben werden:
Die Gültigkeit der Hamiltonschen Gleichungen ist äquivalent zum Hamiltonschen Extremalprinzip
wobei die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): p_i(t) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q_i(t) unabhängig voneinander variiert werden. Für die gleichzeitige Gültigkeit dieses und des äquivalenten Variationsprinzips für das transformierte System ist es hinreichend, dass sich die Integranden nur bis auf einen konstanten Faktor (d. h. bis auf eine Skalentransformation) und eine totale Zeitableitung unterscheiden:
Kanonisch (eigentlich lokal kanonisch) heißen gerade die Transformationen, die obige Gleichung mit $ \lambda =1 $ erfüllen[4][5] (solche mit anderen Koeffizienten werden auch als extended canonical transformations bezeichnet und sind immer als Komposition einer kanonischen Transformation und einer Skalentransformation darstellbar).[5] Für diese gilt:
Andere Transformationen, die auch die kanonische Form der Bewegungsgleichungen invariant lassen (denkbar wären auch solche, die eine neue Hamilton-Funktion einführen, wie es ohnehin im zeitabhängigen Fall geschieht), haben den Nachteil, dass sie sich nicht aus einer erzeugenden Funktion herleiten lassen und wichtige Resultate wie z. B. der Satz von Liouville oder die Invarianz der Poisson-Klammern nicht gelten. Beispielsweise lässt auch die Transformation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \bar q = q, \bar p = \lambda p, \bar H(\bar q, \bar p) = \lambda H(\bar q, \bar p / \lambda) die kanonischen Gleichungen invariant, wird aber nicht zu den kanonischen Transformationen gezählt.
Die Poisson-Klammer glatter Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g auf dem Phasenraum bzgl. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): p ist durch
definiert. Die Poisson-Klammern bezüglich alter und neuer Koordinaten stimmen überein, es gilt also
genau dann, wenn die Transformation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (q,p) \mapsto (Q,P) kanonisch ist (streng genommen, sollten die Funktionen auf der rechten Seite als pushforward Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f(Q, P) := f(q(Q,P), p(Q,P)) aufgefasst werden). Äquivalent ist ebenfalls die folgende Beziehung zwischen den fundamentalen Poisson-Klammern:
dabei ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \delta_{ij} das Kronecker-Delta. Diese Eigenschaft wird auch gelegentlich zur Definition kanonischer Transformationen verwendet.
Kanonische Transformationen können durch erzeugende Funktionen (kurz auch Erzeugende) gefunden und konstruiert werden.
Die Transformation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (q, p) \mapsto (Q, P) ist genau dann kanonisch, wenn
Dabei ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F = F(q, p) eine glatte Funktion auf dem Phasenraum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathrm dF ihr Differential. Die Funktionalmatrix der Transformation hat die Gestalt
Von den vier Teilmatrizen können einige singulär sein. Unter ihnen sind jedoch mindestens zwei reguläre, da für die Determinante einer Blockmatrix
gilt. Für das Folgende sei zunächst angenommen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \det (\partial Q_i / \partial p_j)_{\vert q} \neq 0 gilt. Dann kann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): p = p(Q, q) substituiert werden und man erhält mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_1 := F :
Falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \det (\partial Q_i / \partial p_j)_{\vert q} = 0 , so ist gewiss Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \det (\partial Q_i / \partial q_j)_{\vert p} \neq 0 . Dann kann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q = q(Q,p) substituiert werden. Es ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \sum_i p_i\,\mathrm dq_i = \mathrm d \left( \sum_i p_i\,q_i \right) - \sum_i q_i\,\mathrm dp_i . Das heißt:
Es ergibt sich:
Von den Koordinaten $ (Q_{i}),(P_{i}) $ kann für jeden Index Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): i eine ausgewählt werden, um zusammen mit den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (q_j) eine Klasse unabhängiger Variablen einer erzeugenden Funktion zu liefern. Demnach gibt es für ein Hamiltonsches System von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n Freiheitsgraden Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): 2^n Klassen erzeugender Funktionen. Sie gehen jeweils durch eine Legendre-Transformation ineinander über.
Auf analoge Weise können erzeugende Funktionen der Klassen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_2(q, P) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_4 (p, P) gewählt werden. Die Transformationsregeln für die vier gängigen Klassen erzeugender Funktionen lauten:[6]
| Erzeugende Funktion | Kanonische Transformation |
| $ F_{1}(q,Q)=F $ | Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): p_i = \frac{\partial F_1}{\partial q_i}, P_i = -\frac{\partial F_1}{\partial Q_i} |
| Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_2(q, P) = F + \sum_i Q_i P_i | Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): p_i = \frac{\partial F_2}{\partial q_i}, Q_i = \frac{\partial F_2}{\partial P_i} |
| Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_3(p, Q) = F - \sum_i q_i p_i | Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q_i = -\frac{\partial F_3}{\partial p_i}, P_i = -\frac{\partial F_3}{\partial Q_i} |
| Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_4(p, P) = F + \sum_i \left( Q_i P_i - q_i p_i \right) | Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q_i = -\frac{\partial F_4}{\partial p_i}, Q_i = \frac{\partial F_4}{\partial P_i} |
In der Literatur wird manchmal $ F $ und manchmal eine der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_i als kanonische Transformation bezeichnet,[6] die beiden Begriffe stimmen für die Klasse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_1(q, Q) überein.
Eine wichtige Eigenschaft erzeugender Funktionen der Klasse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F_1(q, Q) ist ihre Additivität bei Hintereinanderausführung kanonischer Transformationen. Gilt etwa
so gilt auch
Kanonische Transformationen lassen das Phasenraumvolumen $ \mathrm {d} q_{1}\dotsb \mathrm {d} q_{f}\,\mathrm {d} p_{1}\dotsb \mathrm {d} p_{f} $ invariant.
Im geometrischen Formalismus wird das Phasenraumvolumen durch die Differentialform Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega \wedge \dotsb \wedge \omega beschrieben. Da das Dachprodukt natürlich ist, gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Psi_* (\omega \wedge \dotsb \wedge \omega ) = \Psi_* \omega \wedge \dotsb \wedge \Psi_* \omega = \omega \wedge \dotsb \wedge \omega und der Satz von Liouville ist ohne großen Aufwand bewiesen.
Im Folgenden sind einige kanonische Transformationen aufgelistet:
Der Konfigurationsraum eines mechanischen Systems mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f Freiheitsgraden wird durch eine glatte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f -dimensionale Mannigfaltigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): Q modelliert. Die Lagrange-Funktion ist eine Funktion der verallgemeinerten Koordinaten und Geschwindigkeiten, also eine glatte Funktion auf dem Tangentialbündel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \textstyle T(Q) = \bigcup_{q\in Q} \lbrace q \rbrace \times T_q(Q) = \lbrace (q, \dot q) \vert q\in Q, \dot q \in T_q(Q) \rbrace . Durch eine Legendre-Transformation wird ein Isomorphismus zwischen dem Tangentialbündel und dem Kotangentialbündel hergestellt gemäß
Dabei wird sich hier und im Folgenden, wenn von Koordinaten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q^i, \dot q^i, p_i gesprochen wird, immer auf Bündelkarten bezogen, das heißt, die Karten sind von der Form
wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \varphi eine Karte von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): Q um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): q ist, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Theta_{q, \varphi} : [\gamma ]_{\sim} \to (\varphi \circ \gamma )'(0) definiert ist mit einer den Tangentialvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): [\gamma ]_\sim repräsentierenden Kurve Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \gamma (t) , und mit einem hochgestellten T die duale Abbildung bezeichnet wird. Diese Kartenwahl hat den Vorteil, dass die natürliche Paarung eines Tangential- und eines Kotangentialvektors mit dem euklidischen Skalarprodukt übereinstimmt $ (p\vert {\dot {q}})=p_{i}{\dot {q}}^{i}=\alpha _{\varphi }(p)\cdot \beta _{\varphi }({\dot {q}}) $ (hier wird die Einsteinsche Summenkonvention verwendet).
Auf dem Kotangentialbündel gibt es einen natürlichen Zusammenhang zwischen Elementen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): z = (q, p) \in T^*(Q) und Tangentialvektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \dot q \in T_q (Q) : Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (p \vert \dot q) = p_i \dot q^i . Dieser Zusammenhang soll nun auf Tangentialvektoren des Kotangentialbündels erweitert werden: Die natürliche Projektion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Pi : T^*(Q) \to Q, (q, p) \mapsto q besitzt die Ableitung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): T(\Pi) : T(T^*(Q)) \to T(Q), (q, p ; v^{q^i} \partial_{q^i} + w^{p_i} \partial_{w_i}) \to (q ; v^{q^i} \partial_{q^i}) . Die für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): z \in T^*(Q), v \in T(T^*(Q)) durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (\Theta \vert v)(z) := (z \vert T(\Pi ) \cdot v) definierte Differential-1-Form auf $ T^{*}(Q) $ heißt kanonische 1-Form, in einer Bündelkarte hat sie die Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Theta = p_i\,\mathrm dq^i . Ihr negatives Differential Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega := - \mathrm d\Theta = \mathrm dq^i \wedge \mathrm dp_i heißt kanonische 2-Form (sie macht das Kotangentialbündel zu einer symplektischen Mannigfaltigkeit).
Kanonische Transformationen sind Diffeomorphismen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Psi : T^*(Q_1) \to T^*(Q_2) , die die kanonische 2-Form invariant lassen, d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Psi_* \omega_1 = \omega_2 (allgemeiner bezeichnet man solche Abbildungen zwischen symplektischen Mannigfaltigkeiten als Symplektomorphismus, sie stellen also eine Verallgemeinerung kanonischer Transformationen dar). Entsprechende lokale Diffeomorphismen heißen lokale kanonische Transformation. Somit ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega_2 - \Psi_* \omega_1 = d(\Psi_* \Theta_1 - \Theta_2) = 0 , d. h., nach dem Lemma von Poincaré ist $ \Psi _{*}\Theta _{1}-\Theta _{2} $ lokal (auf sternförmigen Gebieten auch global) exakt:
Hieraus folgt insbesondere, dass erzeugende Funktionen eine kanonische Transformation nur lokal beschreiben müssen.
Die kanonische 2-Form definiert auch einen Zusammenhang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {}^\sharp : \mathcal T_1^0 (T^*(Q)) \to \mathcal T_0^1 (T^*(Q)) zwischen 1-Formen und Vektorfeldern gemäß
Insbesondere wird Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {}^\sharp d H = \operatorname{s-grad} H =: X_H als hamiltonsches Vektorfeld bezeichnet (entsprechende Definitionen macht man für beliebige glatte Funktionen), es erzeugt gerade den kanonischen Fluss. Die Poisson-Klammern lassen sich koordinatenfrei durch
definieren. Auf diese Weise wird der Zusammenhang zwischen kanonischen Transformationen und den Poisson-Klammern besonders deutlich. Zunächst wird gezeigt, dass sich hamiltonsche Vektorfelder natürlich transformieren. Für beliebige Vektorfelder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): Y \in \mathcal T_0^1 (T^*(Q_1)) und $ z\in T^{*}(Q_{1}) $ gilt:
Jedoch ist auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega_1 (X_f(z), Y(z)) = (\Psi_* \omega_1) (\Psi_* X_f (\Psi(z)), \Psi_* Y(\Psi(z))) und somit
Nun ist aber für glatte Funktionen $ f,g\in C^{\infty }(T^{*}(Q_{1})) $
Die beiden Ausdrücke stimmen also genau dann überein, wenn
wenn also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Psi eine kanonische Transformation ist.
Es gibt mehrere Möglichkeiten, die Zeit in den Formalismus zu integrieren.[8][9] Vor allem auch für den relativistischen Fall ist es besonders günstig, den Konfigurationsraum um eine Zeitvariable zum sogenannten erweiterten Konfigurationsraum zu erweitern.[8] Der erweiterte Phasenraum enthält dann zwei weitere Variable, die der Zeit entsprechende Impulsvariable wird üblicherweise mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): -E bezeichnet. Insofern die Hamiltonfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): H(q, p; t) im nichtrelativischen Fall die Energie ausdrückt, kann die neue Hamiltonfunktion
eingeführt werden, die zwar keine physikalische Bedeutung hat, jedoch die korrekten Bewegungsgleichungen liefert. Die kanonischen Formen werden ohne Änderung definiert und nehmen in Koordinaten die Gestalten $ \Theta =p_{i}\,\mathrm {d} q^{i}-E\,\mathrm {d} t $ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \omega = \mathrm dq^i \wedge \mathrm dp_i- \mathrm dt\wedge \mathrm dE an. Das hamiltonsche Vektorfeld Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): X_{\mathcal H} erzeugt dann den Fluss:
Außerdem ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathcal H konstant entlang einer Integralkurve, sodass physikalisch nur der Fall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathcal H = 0 relevant ist und $ H $ mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): E sowie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): t identifiziert werden kann.
Für den relativistischen Fall sind auch kanonische Transformationen relevant, die die Zeitvariable ändern. Für den nichtrelativistischen Fall sind solche Transformationen uninteressant. Im Folgenden werden die alten Koordinaten mit einem Querstrich gekennzeichnet. Es gelte nun
Es wird angenommen, dass die neuen Koordinaten und die alten Impulse als Koordinaten verwendet werden können. Dann setzt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \bar p_i\,\mathrm d\bar q^i - \bar E\,\mathrm d\bar t = -\bar q^i\,\mathrm d\bar p_i + \bar t\,\mathrm d\bar E + \mathrm d(\bar q^i \bar p_i - \bar t\,\bar E) ein und erhält:
Um sicherzustellen, dass $ {\bar {t}}=t $ transformiert wird, kann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F = f(q, \bar p, t) - \bar E t verwendet werden. Sodann lauten die Transformationsregeln:
Hierbei wird Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathcal H = H - E = \bar H - \bar E invariant gelassen, die Hamilton-Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): H im Allgemeinen also verändert. Falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f die Hamilton-Jacobi-Gleichung erfüllt, d. h.
so folgt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \bar H = 0 und das System wird ins Gleichgewicht transformiert.
Die Funktionalmatrizen kanonischer Transformationen
bilden eine symplektische Gruppe, besitzen also die Eigenschaft
mit
und der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): f\times f -Einheitsmatrix Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): E_f .