Hamilton-Jacobi-Gleichung

In der Hamilton-Jacobi-Gleichung nehmen wir die partielle zeitliche Ableitung der Aktion. Aber die Aktion ergibt sich aus der Integration des Lagrange-Operators über die Zeit, daher scheint die Zeit hier nur eine Dummy-Variable zu sein, und daher verstehe ich nicht, wie wir teilweise differenzieren können S in Bezug auf die Zeit? Ein einfaches Beispiel wäre auch hilfreich.

Antworten (3)

I) Mindestens drei verschiedene Größen werden in der Physik üblicherweise als Wirkung bezeichnet und mit dem Buchstaben bezeichnet S .

  1. Die (Off-Shell) -Aktion

    (1) S [ q ]   :=   t ich t f d t   L ( q ( t ) , q ˙ ( t ) , t )
    ist ein Funktional der vollständigen Positionskurve/-pfad q ich : [ t ich , t f ] R für alle Zeiten t im Intervall [ t ich , t f ] . Siehe auch diese Frage. (Hier beziehen sich die Wörter on-shell und off-shell darauf, ob die Bewegungsgleichungen (eom) erfüllt sind oder nicht.)

  2. Wenn das Variationsproblem ( 1 ) mit wohlgestellten Randbedingungen, zB Dirichlet-Randbedingungen

    (2) q ( t ich )   =   q ich und q ( t f )   =   q ich ,
    hat einen einzigartigen extremalen/klassischen Pfad q c l ich : [ t ich , t f ] R , ist es sinnvoll, eine On-Shell-Aktion zu definieren
    (3) S ( q f ; t f ; q ich , t ich )   :=   S [ q c l ] ,
    was eine Funktion der Randwerte ist. Siehe zB MTW Abschnitt 21.1.

  3. Die Hauptfunktion des Hamilton S ( q , a , t ) in der Hamilton-Jacobi-Gleichung ist eine Funktion der Positionskoordinaten q ich , Integrationskonstanten a ich , und Zeit t , siehe zB H. Goldstein, Classical Mechanics, Kapitel 10. Die totale Zeitableitung

    (4) d S d t   =   q ˙ ich S q ich + S t
    ist gleich der Lagrange-Funktion L on-shell, wie hier erklärt . Infolgedessen die Hauptfunktion des Hamilton S ( q , a , t ) kann als Aktion auf der Schale interpretiert werden.

II) Beispiel: Ein nicht-relativistisches freies Teilchen in 1 Dimension.

  1. Die Off-Shell-Aktion ist

    (5) S [ q ]   =   m 2 t ich t f d t   q ˙ ( t ) 2 .

  2. Wenn wir Dirichlet-Randbedingungen (2) annehmen, die eindeutige klassische Trajektorie q c l hat konstante Geschwindigkeit

    (6) q ˙ c l   =   q f q ich t f t ich .
    Die Dirichlet-On-Shell-Aktion (3) ist
    (7) S ( q f , t f ; q ich , t ich )   =   m 2 ( q f q ich ) 2 t f t ich .

  3. Die Hauptfunktion von Hamilton, dh eine Lösung der Hamilton-Jacobi-Gleichung, ist

    (8) S ( q , E , t )   =   ± 2 m E q E t ,
    wo E ist eine Integrationskonstante (= die Gesamtenergie). Aufgrund der Interpretation von Hamiltons Hauptfunktion als Typ-2-Generator kanonischer Transformationen , der partiellen Ableitung
    (9) Q   :=   S E   = ( 8 )   ± m 2 E q t
    muss eine Bewegungskonstante sein. Mit anderen Worten, die Position q ( t ) ist, wie erwartet, eine affine Funktion der Zeit t . Dies impliziert, dass die Geschwindigkeit konstant ist
    (10) q ˙     ± 2 E m ,
    bei dem die " " Symbol bedeutet Gleichheit modulo eom. Die Gesamtzeitableitung der Hamilton-Hauptfunktion (8) ist gleich der Lagrange-Funktion (= der kinetischen Energie) auf der Schale
    (11) d S d t   = ( 8 )   ± 2 m E q ˙ E   ( 10 )   E .

  4. Vergleichen wir nun Punkt 2 und 3. Mit den Dirichlet-Randbedingungen (2) wird die Energie zu

    (12) E   =   m 2 ( q f q ich t f t ich ) 2 .
    Ein Vergleich von Gl. (6) und (10) zeigt, dass wir den Plus- (Minus-)Zweig der Lösung (8) verwenden sollten, wenn q f q ich ( q f q ich ), beziehungsweise. Es ist einfach zu überprüfen, dass der Unterschied in der Hamilton-Hauptfunktion zur On-Shell-Aktion wird (7),
    (13) S ( q f , E , t f )     S ( q ich , E , t ich )   = ( 8 ) + ( 12 )   m 2 ( q f q ich ) 2 t f t ich   = ( 7 )     S ( q f , t f ; q ich , t ich ) .

Das Aktionsfunktional und die Hauptfunktion von Hamilton sind zwei verschiedene mathematische Objekte, die sich auf dieselbe physikalische Größe beziehen.

Die Aktion entlang einer Flugbahn γ : [ t 1 , t 2 ] Q wird von gegeben

S [ γ ] = t 1 t 2 L ( γ ( t ' ) , γ ˙ ( t ' ) , t ' ) d t '
wohingegen die Hauptfunktion die Lösung der Hamilton-Jacobi-Gleichung ist
H ( q , S ( q , t ) , t ) + S t ( q , t ) = 0

Wenn Sie mit bezeichnen γ q , t die Lösung der Euler-Lagrange-Gleichungen mit

γ q , t ( t 0 ) = q 0 γ q , t ( t ) = q
dann
S ( q , t ) := S [ γ q , t ] = t 0 t L ( γ q , t ( t ' ) , γ ˙ q , t ( t ' ) , t ' ) d t '
löst die Hamilton-Jacobi-Gleichung.

Auf der anderen Seite haben wir für die Hauptfunktion Folgendes

d d t S ( γ ( t ) , t ) = L ( γ ( t ) , γ ˙ ( t ) , t )
und somit
S [ γ ] = S ( γ ( t 2 ) , t 2 ) S ( γ ( t 1 ) , t 1 )

Beachten Sie, dass die letzten beiden Gleichungen nur für Trajektorien mit gelten

L q ˙ ( γ ( t ) , γ ˙ ( t ) , t ) = S ( γ ( t ) , t )

Geometrisch wird durch die Wahl der Integrationskonstanten der Hauptfunktion ein Blatt einer Schieferung des Phasenraums ausgewählt, das der Wahl der Anfangsbedingung entspricht γ q ( t 0 ) = q 0 von oben.

Ich denke, die anderen beiden Antworten sind übertrieben. Die einfachere Antwort ist diese Zeit t ist keine Dummy-Variable. Die Einbindung von L Im Laufe der Zeit ist hier eine unbestimmte Integration, also wenn wir haben L ( q , q ˙ , t ) , und wir wollen es im Laufe der Zeit integrieren t , Das Ergebnis ist

t ich t L ( q , q ˙ , τ ) d τ
hier τ ist die Dummy-Variable aber t nicht, und das Ergebnis ist eine Funktion von t .

Ich habe immer so darüber nachgedacht. Eine Variation des Obigen ergibt sofort die Hamilton-Jacobi-Gleichungen.