Hamilton-Gleichungen aus der Formulierung der Poisson-Klammer

Bezug nehmend auf Wikipedia haben wir die Bewegungsgleichung für a f ( q , p , t ) kommt von der Formel

(1) d d t f ( p , q , t ) = f q d q d t + f p d p d t + f t
das heißt, un die Notation der Poisson-Klammer
(2) d d t f ( p , q , t ) = { f , H } + f t
Nun, viele Bücher sagen, dass, wenn wir die Hamilton-Gleichungen von hier erhalten wollen, Sie nur jeweils die erste und die zweite Gleichung ersetzen müssen ( k = 1 , , 2 3 N Gleichungen eigentlich für ein System mit N Partikel u 3 Freiheitsgrade) f ( q , p , t ) = q ( t ) und f ( q , p , t ) = p ( t ) . Sie sollten also die beiden Gleichungen erhalten:
(3) d d t q = { q , H } + q t
und
(4) d d t p = { p , H } + p t
Um also zu den Hamilton-Gleichungen zurückzukehren, sollten wir haben
(5) p t = q t = 0 ,
aber warum ist es so? Warum die Teilzeitableitung Null ist, wenn q und p sind Funktion der Zeit?

Sie sollten sich wahrscheinlich auf eine einzige Reihenfolge für die Argumente zu Ihrer Funktion einigen f . Wie in Ihrem ersten Satz erklärt, sagt die Kettenregelanwendung in Gleichung (1) "die Ableitung von f in Bezug auf seinen ersten Slot multipliziert mit der zeitlichen Ableitung des Dings, das wir in seinen zweiten Slot einfügen, q , plus (derselbe Satz mit „first“ und „second“ vertauscht und „ q " Ersetzt mit " p ") plus die Ableitung von f in Bezug auf seinen dritten Slot", was falsch ist.

Antworten (4)

Die Verwirrung rührt von ein wenig mathematischer Schlamperei her. Es ist eine nützliche Nachlässigkeit erforderlich , denn wie Sie gleich sehen werden, ist die volle Maschinerie ein Schmerz, aber es ist hilfreich, zu sehen und im Hinterkopf zu behalten, wenn solche Verwirrungen auftreten.


Phasenraumtrajektorien

Ich werde mir nicht die Mühe machen, das Kotangensbündel zum Konfigurationsraum und all dieses Durcheinander zu konstruieren - wir können mit der intuitiven Vorstellung des Phasenraums beginnen Ω . Ein Punkt x Ω können durch die entsprechende Position gekennzeichnet werden q und Schwung p (dh x ( q x , p x ) ). Es ist wichtig, das zu beachten q und p sind keine Funktionen der Zeit oder irgendetwas anderem - es sind nur Zahlen, die einen bestimmten Ort im Phasenraum kennzeichnen.

Von hier aus betrachten wir den Begriff einer Trajektorie durch den Phasenraum. Eine Flugbahn γ ist eine kontinuierliche Karte, die eine reelle Zahl (die Zeit) nimmt und sie auf einen Punkt im Phasenraum abbildet:

γ : R Ω
t γ ( t )

Wenn wir füttern γ eine Zeit, es sagt uns den Ort des Systems im Phasenraum. Wenn wir uns in der Zeit vorwärts bewegen, sagt uns die Flugbahn, wie sich der Zustand des Systems entwickelt.


Dynamische Variablen

Eine dynamische Variable F Nimmt einen Punkt im Phasenraum und einen Zeitwert und bildet sie auf eine reelle Zahl ab:

F : Ω × R R
( q , p , t ) F ( q , p , t )

Als nächstes führen wir die Projektionsfunktionen ein Q und P , die einen bestimmten Punkt im Phasenraum auf die entsprechenden Werte von abbilden q und p .

Q : Ω × R R
( x , t ) Q ( x , t ) Q ( q x , p x , t ) = q x
und
P : Ω × R R
( x , t ) P ( x , t ) P ( q x , p x , t ) = p x

Im Wesentlichen, Q Nimmt einfach einen Punkt im Phasenraum und eine Zeit und sagt Ihnen die Positionskoordinate, während Sie die Impulskoordinate und die Zeit ignorieren, während P Nimmt einen Punkt im Phasenraum und eine Zeit und sagt Ihnen den Impuls, während die Positionskoordinate und die Zeit ignoriert werden. Beachten Sie, dass diese beiden Funktionen besondere Beispiele für zeitunabhängige dynamische Variablen in dem Sinne sind, dass P t = Q t = 0 .


Dynamische Variablen entlang Phasenraumtrajektorien

Jetzt können wir diese beiden Konzepte kombinieren. Gegeben eine Flugbahn γ und eine dynamische Variable F , können wir sie zu einer Karte kombinieren F γ die eine einzelne reelle Zahl nimmt t und gibt den Wert von zurück F zum Zeitpunkt t eine lange γ :

F γ : R R
t F ( γ ( t ) , t )

Wir können diese Definition auf anwenden Q und P . Beachte das

Q γ : R R
t Q ( γ ( t ) )
Also Q γ ( t ) ist die Positionskoordinate des Systems zum Zeitpunkt t , während P γ ( t ) ist die Impulskoordinate des Systems zur Zeit t .

Beachten Sie das für eine gegebene dynamische Variable F , das können wir auch schreiben

F γ ( t ) = F ( γ ( t ) , t ) = F ( Q γ ( t ) , P γ ( t ) , t )


Derivate insgesamt

Da solche Abbildungen Funktionen einer einzelnen Variablen sind, ist es sinnvoll, eine Gesamtableitung nach der Zeit zu nehmen. Dies ist die Gesamtänderungsrate von F entlang der Flugbahn γ :

d F γ d t F q d Q γ d t + F p d P γ d t + F t


Hamiltons Gleichungen

Die Hamilton-Gleichungen sind die Differentialgleichungen, die Phasenraumtrajektorien bestimmen. Ohne sich mit ihrer Ableitung zu befassen, sagen sie uns das

d γ d t ( d Q γ d t , d P γ d t ) = ( H p , H q )
wo H ist der Hamilton-Operator - noch eine weitere dynamische Variable.

Einmal der Hamiltonian

H : Ω × R R
( q , p , t ) H ( q , p , t )
niedergeschrieben worden ist, dann sind alle möglichen Phasenraumtrajektorien bestimmt worden.


Poisson-Klammer

Unter Verwendung der Hamilton-Gleichungen können wir die Gesamtableitung wie folgt umschreiben:

d F γ d t = F q d Q γ d t + F p d P γ d t + F t = ( F q H p F p H q ) + F t

Dies motiviert die Definition der Poisson-Klammer zweier dynamischer Variablen:

{ EIN , B } EIN q B p EIN p B q

An diesem Punkt können wir die Gesamtableitungsformel ein letztes Mal umschreiben:

d F γ d t = { F , H } + F t

Alles erledigt! Beachten Sie, dass die rechte Seite die Flugbahn nicht erwähnt γ , aus gutem Grund - sobald wir den Hamilton-Operator und unseren speziellen Ort im Phasenraum spezifiziert haben, dann gibt es keine Freiheit mehr in der Entwicklung des Systems (und daher keine Freiheit mehr in der Entwicklung irgendeiner dynamischen Variablen).


Die Pointe

Wir sind jetzt gerüstet, um Ihre Frage zu beantworten. Betrachten Sie die Funktion Q (die Funktion, die einen Phasenraumpunkt annimmt ( q , p ) und gibt seine Positionskoordinate zurück q ) sowie die zugehörige Funktion Q γ die einer Phasenraumtrajektorie zugeordnet ist. Wir haben das

Q ( q , p , t ) = q
Also
Q q = 1
Q p = 0
Q t = 0

und deshalb

d Q γ d t = { Q , H } + Q t
= ( Q q H p Q p H q ) + Q t
= H p

und ähnlich,

d P γ d t = H q


Da haben Sie es also. Wenn wir alles bis ins kleinste Detail aufschreiben, gibt es keinerlei Zweideutigkeit. q und p sind Zahlen, keine Funktionen, daher ist es sinnlos, sie zu unterscheiden. Was wir eigentlich unterscheiden, wenn wir Physik betreiben, sind die Projektionsfunktionen Q und P , sowie deren zugeordnete Funktionen, die an die Phasenraumtrajektorie angehängt sind γ entlang der sich das System entwickelt. Auch hier ist es wichtig, dies zu beachten Q und Q γ gehören zusammen, sind aber nicht dasselbe .

Wenn ich Physik mache, schreibe ich das natürlich nicht alles auf - ich differenziere q und p genau wie alle anderen. Aber es ist nützlich, Probleme in diesem Zusammenhang einordnen zu können, wenn diese kleinen Verwirrungspunkte auftreten.

Könnten Sie dazu eine Referenz nennen. Im Lagrange sowohl q als auch q ˙ sind explizit zeitabhängig. Und das sieht intuitiv genug aus, die Koordinaten und die verallgemeinerten Koordinaten ändern sich nur, wenn sich die Zeit ändert, also explizit von der Zeit abhängig. Was Sie geschrieben haben, sieht mathematisch gut aus, aber es kann trotzdem nicht sein, dass Koordinaten implizit von der Zeit abhängen ...
@Shashaank Koordinaten q und p überhaupt nicht von der Zeit abhängig . Sie sind die Bezeichnungen, die wir Punkten im (Phasen-)Raum geben. Was sich mit der Zeit ändert, sind die Funktionen Q γ ( t ) und P γ ( t ) , die die Phasenraumkoordinaten entlang der Trajektorie angeben γ zum Zeitpunkt t .
@Shashaank Nach Konvention, um Platz zu sparen und weil wir faul sind, verwenden wir q und p manchmal als räumliche Koordinaten (zB { EIN , B } = EIN q B p EIN p B q ) und manchmal als dynamische Funktionen ( p ˙ = H q ), aber das kann verwirrend sein (wie es für das OP war).
Ich verstehe diesen Punkt von Ihnen. Aber betrachten Sie die Lagrange-Funktion. Wir schreiben es explizit als L ( q ( t ) , q ˙ , t ) . Was ist das deiner Meinung nach. Wollen Sie damit sagen, dass überall, wo wir diese Dinge schreiben, das q das ist q ˙ 's die p's waren nie Funktionen der Zeit. Die Aussagen von Goldstein und anderen wie "Lagrange kann sich explizit mit der Zeit oder implizit ändern, wenn sich q mit der Zeit ändert" sind in Bezug auf Ihre Punkte im eigentlichen Sinne nicht korrekt. In der Newtonschen Mechanik war x immer eine Funktion der Zeit und seine totale Ableitung mit der Zeit ist die gleiche wie seine partielle Ableitungszeit
θ ist eine verallgemeinerte Koordinate für ein einfaches Pendel. Ist es nicht explizit zeitabhängig. Wie werden Sie das, was Sie oben gesagt haben, in diesem Fall anwenden? Ist Theta nur ein Etikett? Es ändert sich mit der Zeit
@Shashaank Um alle Ihre Fragen durchzugehen, müsste ich eine völlig neue Antwort schreiben, und Kommentare sind nicht für längere Diskussionen geeignet. Wenn Sie verstehen möchten, wie dieser Formalismus auf die Lagrange-Mechanik angewendet wird, stellen Sie bitte eine neue Frage, und ich werde sie beantworten.
OK. Vielen Dank. Bitte geben Sie mir etwas Zeit und ich werde eine neue Frage stellen, die aus all diesen ähnlichen Zweifeln besteht. Den Link gebe ich dir hier. Wenn Sie möchten, können Sie die Antwort dort schreiben.
  1. Die "partielle" Zeitableitung t bedeutet in diesem Zusammenhang eine explizite Zeitdifferenzierung. Eine Funktion

    ( q , p , t )     f ( q , p , t )
    von Phasenraum und Zeit soll durch sein letztes Argument eine explizite Zeitabhängigkeit haben t und eine implizite Zeitabhängigkeit durch die Phasenraumvariablen q ich und p j . Die Gesamtzeitableitung _ d f / d t ist dann durch OPs Gl. (1).

  2. Kurze Erklärung: Um OP's Gl. (1) funktionieren auch für die Phasenraumvariablen

    f ( q , p , t ) = q ich und f ( q , p , t ) = p j
    selbst, ist es natürlich (und in der Praxis nützlich), pragmatisch zu erklären, dass sie per Definition nur implizit von der Zeit abhängen.

  3. Längere Erklärung: Beachten Sie, dass Physiker (im Gegensatz zu Mathematikern) häufig dieselbe Notation für eine Funktion und ihren Wert an einem Punkt verwenden. Daher kann es manchmal schwierig werden, die Liste der Argumente einer Funktion zu kennen. Im vorliegenden Fall der Begriff der Phasenraumvariablen q ich und p j kann eine andere Liste von Argumenten haben

    q ich ( q , p , t ) = q ich und p j ( q , p , t ) = p j
    gegen
    t     q ich ( t ) und t     p j ( t )
    je nach Kontext. Implizite und explizite Abhängigkeit sind streng genommen nur im ersteren Fall definiert.

  4. Siehe auch diesen Phys.SE-Beitrag und die darin enthaltenen Links.

Ok, ich sehe den mathematischen Unterschied zwischen partieller Ableitung und totaler Ableitung, mein Zweifel betraf eher die Hamilton-Mechanik, insbesondere die Zeitabhängigkeit von q ich ( t ) und p ich ( t ) ... Wie können Sie sagen, dass ihre Abhängigkeit implizit ist? Kennen Sie ein Lehrbuch, das diesen Aspekt streng mathematisch spezifiziert? Danke trotzdem
Es ist nur eine Definition.
So, q s und p s hängen per Definition nur implizit von der Zeit ab, ist das richtig?
Ja.
@QMechaniker θ ist eine verallgemeinerte Koordinate für ein einfaches Pendel. Ist es nicht explizit zeitabhängig.
Nein, es hängt implizit von der Zeit ab.

Ich stimme dem letzten Teil der Antwort von Qmechanic nicht zu. Mathematisch gesehen hängen die Phasenraumvariablen explizit von der Zeit ab, da die Zeit (als Parameter für Kurven im Phasenraum) ihre einzige funktionale Variable ist. Wenn ja, sagen wir mal q ich ( t ) = q ich ( z ( t ) ) , dann wäre ja die Zeitabhängigkeit implizit gewesen (also durch eine andere Funktion z ( t ) ).

Um auf die Frage im OP zurückzukommen. Die Funktionen q ich ( t ) und p ich ( t ) haben nur eine unabhängige Variable, nämlich die Zeit t . Die Bewegungsgleichung für eine generische Observable im Phasenraum F ( q , p , t ) gilt für sie nicht , weil die Zeitabhängigkeit dieser Funktionen q und p , verglichen mit dem für das Observable, ist NICHT sowohl implizit als auch explizit, es ist nur explizit. Dies kann umformuliert werden, um das zu sagen q ich ( q ich ( t ) , p ich ( t ) , t ) ist kein gültiges F. Es macht nicht einmal mathematisch Sinn (ähnlich p ich ( q ich ( t ) , p ich ( t ) , t ) ).

Ich stimme dem ersten Teil Ihrer Argumentation zu, aber nicht dem zweiten Absatz als Funktion f in der Poisson-Bewegungsgleichung darf nicht Funktion von beiden sein q ist und p 's, au contraire kann ich jede beliebige Funktion als wählen f , im Speziellen q und p , wie Sie auch in diesem Buch unter dem Absatz 4.3 Die Poisson - Klammer nachlesen können .
Ich weiß, dass dieser von Ihnen angesprochene Punkt auch im Buch Goldstein, 3. Auflage, enthalten ist. p. 297, oder Jose & Saletan, p. 218.219. Es ist weder im Buch von Landau & Lifschitz noch in den mathematischen von VI Arnold, dann Abraham & Marsden "Foundations of mechanics" (2nd Ed.) und auch Thirring enthalten. Ich habe Ihnen gerade gesagt, dass das beliebige F mit sowohl expliziter als auch impliziter Zeitabhängigkeit nicht einfach in p oder q umgewandelt werden kann, da diese nicht die gleiche funktionale Abhängigkeit von der Zeit haben wie F.
Wie funktioniert der harmonische Oszillator Hamiltonian p 2 2 m + 1 2 k q 2 explizit abhängen t ?
@ZeroTheHero ist diese Frage für mich?
@DanielC Was würden Sie auf die obige Frage antworten. Ich stimme dem, was Sie gesagt haben, vollkommen zu und hatte diese Zweifel über ein Jahr lang. Ich denke dann, dass der harmonische Oszillator keine explizite Funktion der Zeit ist, sondern nur eine implizite durch q und p. Ist das richtig. Würden Sie das auch sagen, wenn man bedenkt, dass unsere Argumentation in dieser Richtung dieselbe ist?

Sie können es so sehen, dass Sie durch Ihre Argumentation in gewissem Sinne die interessierenden Größen in verschiedenen mathematischen Räumen behandeln. Richtig, q und p sind Funktionen auf Zeit, aber wie würde man den Hamiltonoperator schreiben? Die eigentliche Ableitung dieser Formeln geht davon aus, dass F und H als Funktionen von Ort und Impuls beschrieben werden. Wenn Sie q und p explizit als Funktionen der Zeit beschreiben wollen, müssen Sie dies konsequent tun, indem Sie diese expliziten Relationen in H und F ersetzenauch. Wenn Sie das tun, erhalten Sie am Ende nur Funktionen von t, sodass partielle Ableitungen dieser Größen in Bezug auf q und p und daher {F, H} Null sind. Die partielle und die totale Ableitung von F sind identisch, sodass Sie am Ende die trivialen Gleichungen erhalten

d q d t = d q d t und d p d t = d p d t ,

was natürlich wahr ist, aber der Klammerformalismus wird nicht sehr nützlich sein, wenn diese Beschreibung verwendet wird. Beschreiben wir das System hingegen durch die Variablen q und p, dann gilt natürlich q=q(q), p=p(p), sie haben so gesehen keine explizite Zeitabhängigkeit.