Lagrange- und Hamilton-EOM mit dissipativer Kraft

Ich versuche, den Lagrange- und den Hamilton-Oszillator für den erzwungenen harmonischen Oszillator zu schreiben, bevor ich ihn quantisiere, um zum Quantenbild zu gelangen. Für EOM

m q ¨ + β q ˙ + k q = f ( t ) ,
Ich schreibe den Lagrange
L = 1 2 m q ˙ 2 1 2 k q 2 + f ( t ) q
mit Rayleigh-Verlustfunktion als
D = 1 2 β q ˙ 2
Lagrange-EOM einzusetzen
0 = d d t ( L q ˙ j ) L q j + D q ˙ j .

Auf Legendre transformieren von L , Ich bekomme

H = 1 2 m p 2 + 1 2 k q 2 f ( t ) q .

Wie füge ich den dissipativen Term hinzu, um den korrekten EOM aus dem EOM des Hamiltonian zu erhalten?

Antworten (2)

Problem: Angesichts des zweiten Newtonschen Gesetzes

(1) m q ¨ j   =   β q ˙ j v ( q , t ) q j , j     { 1 , , n } ,

für ein nichtrelativistisches Punktteilchen in n Abmessungen, einer Reibungskraft ausgesetzt und auch verschiedenen Kräften ausgesetzt, die ein Gesamtpotential haben v ( q , t ) , die explizit von der Zeit abhängen kann.

I) Herkömmlicher Ansatz: Es gibt eine nicht-variationale Formulierung von Lagrange-Gleichungen

(2) d d t ( L q ˙ j ) L q j   =   Q j , j     { 1 , , n } ,

wo Q j sind die verallgemeinerten Kräfte, die keine verallgemeinerten Potentiale haben. In unserem Fall (1) ist die Lagrange-Funktion in Gl. (2) ist L = T v , mit T = 1 2 m q ˙ 2 ; und die Kraft

(3) Q j   =   β q ˙ j

ist die Reibungskraft. Es wird zB in diesem Phys.SE Beitrag gezeigt, dass die Reibungskraft (3) kein Potential hat. Wie OP erwähnt, kann man die dissipative Rayleigh-Funktion einführen , aber dies ist kein echtes Potenzial.

Herkömmlicherweise fordern wir zusätzlich, dass die Lagrange-Funktion die Form hat L = T U , wo T = 1 2 m q ˙ 2 bezieht sich auf die linke Seite des EOMs (1) (dh die kinematische Seite), während das Potential U bezieht sich auf die RHS von EOMs (1) (dh die dynamische Seite).

Mit diesen zusätzlichen Anforderungen hat der EOM (1) keine Variationsformulierung von Lagrange-Gleichungen

(4) d d t ( L q ˙ j ) L q j   =   0 , j     { 1 , , n } ,

dh Euler-Lagrange-Gleichungen . Die Legendre-Transformation zur Hamilton-Formulierung ist traditionell nur für eine Variationsformulierung definiert (4). Es gibt also keine konventionelle Hamiltonsche Formulierung des EOM (1).

II) Unkonventionelle Ansätze:

  1. Trick mit Exponentialfaktor 1 : Definieren Sie zur späteren Bequemlichkeit die Funktion

    (5) e ( t )   :=   exp ( β t m ) .
    Eine mögliche Variationsformulierung (4) von Lagrange-Gleichungen ist dann durch die Lagrange-Funktion gegeben
    (6) L ( q , q ˙ , t )   :=   e ( t ) L 0 ( q , q ˙ , t ) , L 0 ( q , q ˙ , t )   :=   m 2 q ˙ 2 v ( q , t ) .
    Der entsprechende Hamiltonoperator ist
    (7) H ( q , p , t )   :=   p 2 2 m e ( t ) + e ( t ) v ( q , t ) .
    Ein Vorbehalt ist, dass der Hamiltonoperator (7) nicht den traditionellen Begriff der Gesamtenergie darstellt. Ein weiterer Vorbehalt ist, dass dieser unkonventionelle Ansatz nicht auf den Fall verallgemeinert werden kann, in dem zwei gekoppelte Sektoren der Theorie unterschiedliche Faktoren erfordern (5), z. B. wo jeder koordiniert q j hat individuelle Reibungs-zu-Masse-Verhältnisse β j m j , j { 1 , , n } . Entscheidend für diese unkonventionelle Arbeitsweise ist, dass der Faktor (5) ein insgesamt gemeinsamer Multiplikationsfaktor für die Lagrange-Funktion (6) ist. Dies ist aus physikalischer Sicht eine unnatürliche Anforderung.

  2. Auferlegen von EOMs über Lagrange-Multiplikatoren λ j : Ein Variationsprinzip für die EOMs (1) ist

    (8) L   =   m j = 1 n q ˙ j λ ˙ j j = 1 n ( β q ˙ j + v ( q , t ) q j ) λ j .
    (Hier haben wir der Einfachheit halber den kinetischen Term „teilweise integriert“, um höhere Zeitableitungen zu vermeiden.)

  3. Klassischer Schwinger/Keldysh "in-in"-Formalismus : Die Variablen werden verdoppelt. Siehe zB Gl. (20) in CR Galeere, arXiv:1210.2745 . Randbedingungen ignorieren 2 der Lagrange liest

    (9) L ~ ( q ± , q ˙ ± , t )   =   L ( q 1 , q ˙ 1 , t ) | q 1 = q + + q / 2     L ( q 2 , q ˙ 2 , t ) | q 2 = q + q / 2   +   Q j ( q + , q ˙ + , t ) q j .
    Die Anfangsbedingungen
    (10) { q + j ( t ich ) = q ich j , q ˙ + j ( t ich ) = q ˙ ich j
    die dem System zugrunde liegenden Ausgangswerte implementieren. Die Endbedingungen
    (11) { q j ( t f ) = 0 q ˙ j ( t f ) = 0 L ~ q ˙ + j | t = t f   =   0
    Implementierung der physikalischen Grenzlösung q j = 0 . Der Verdopplungstrick (9) ist oft derselbe wie die Einführung von Lagrange-Multiplikatoren (8).

  4. Gurtin-Tonti bilokales Verfahren: Siehe zB diesen Phys.SE Beitrag.

--

1 Huttipp: Valter Moretti .

2 Das Variationsproblem (9)+(10)+(11) benötigt einen geeigneten Anfangsterm, der möglicherweise nicht immer existiert! Zumal wir uns schon auferlegt haben 4 n Randbedingungen (10)+(11), wäre es zu viel, auch noch die Anfangsbedingung aufzustellen

q j ( t ich )   =   0. ( Falsch! )
Beispiel: Wenn L = 1 2 m q ˙ 2 , dann L ~ = m q ˙ + q ˙ , und man sollte einen Anfangsterm hinzufügen m q ˙ + ( t ich ) q ( t ich ) zur Aktion S ~ .

Notizen für später: Minkowski-Signatur ( , + , , + )( , + , , + ) . Fourier-Transformation:˜ Q (k)=d d x e - - ich k x Q ( x ) Q˜( k ) = ddx eich k xQ ( x ) ;Q ( x ) = d d k( 2 π ) d e+ichkx ˜ Q (k)Q ( x ) = ddk( _)de+ ich k xQ˜( k ) ; Grüne Funktionen:( m 2 ) Δ ( xy ) = δ d ( xj )( m2) Δ ( xj) =δd( xj) ;( m 2 ) Q ( x ) = j ( x )( m2) Q ( x ) = j ( x ) ;Q ( x ) = d y Δ ( x y ) j ( y )Q ( x ) = dj Δ ( xj) j ( j) ;˜ Q (k)= ˜ Δ (k) ˜ j (k)Q˜( k ) =Δ˜( k )j˜( k ) ;
Kostenlose "in-in" Schwinger-Keldysh-Aktion:S 2d d x L. 2 = - - ich ϵ 2 d d x d d y Q 2 ( x ) Δ + ( x  j ) Q1 ( j ) _S2ddx L2= ichϵ2ddx ddj Q2( x )Δ+( xj)Q1( J) = ich ϵ 2d d x d d y Q. 1 ( x ) Δ ( x  y ) Q 2 ( y )= ichϵ2ddx ddj Q1( x )Δ( xj)Q2( J) ;S 2d d × L 2 = ϵ π PVd d x d d y Q + ( x ) 1  x 0 - y 0 Q-(y)S2ddx L2=ϵπP Vddx ddj Q+( x )1x0j0Q( J) + ich ϵ 24d d x d d y Q - ( x ) Δ 1 ( x  y ) Q - ( y )+ichϵ24ddx ddj Q( x )Δ1( xj)Q( J) ; Bilokal in der Raumzeit.
Lagrange-Dichte:L2 = 1 _2μQ1μQ112 (m2ichϵ)Q 2 1 +12μQ2μQ2+12 (m2+ichϵ)Q 2 2L2= 12μQ1μQ112(m2ich ϵ )Q21+12μQ2μQ2+12(m2+ ich ϵ )Q22 = μ Q + μ Q m 2 Q + Q + ich ϵ ( Q 2 + + 14 Q 2 )= μQ+μQm2Q+Q+ ich ϵ (Q2++14Q2) ;L 2 =μ Q + μ Q m 2 Q + Q L2= μQ+μQm2Q+Q ;˜ L 2 ˜ Q +(k)(k2+m2+ichϵsgn(k0)) ˜ Q(k)  L˜2  Q˜+( k ) (k2+m2+ ich ϵ s g n (k0) )Q˜( - k )  ˜ Q ( k ) ( k 2 + m 2ich ϵ s g n ( k 0 ) ) ˜ Q + ( k )   Q˜( k ) (k2+m2ich ϵ s g n (k0) )Q˜+( - k ) ; Nahezu lokal/diagonal im Impulsraum.
Keldysh-Variablen:Q + = Q 1 + Q 22Q+=Q1+Q22 ;Q = Q 1Q 2Q=Q1Q2 ; Die Dochtrotation zur konvergenten euklidischen Formulierung scheint unklar. Zeitlich geordnete 2-Punkt-Funktion nach der Keldysh-Integrationskontur:T Q 1 ( x ) Q 1 ( y ) ( 0 ) J = 0 = ich ΔF(xj )⟨T _Q1( x )Q1( J)( 0 )J= 0=ichΔF( xj) ;Q 1 ( x ) Q 2 ( y ) ( 0 ) J = 0 = Δ ( xj )Q1( x )Q2( J)( 0 )J= 0= Δ( xj) ;Q 2 ( x ) Q 1 ( y ) ( 0 ) J = 0 = Δ + ( xj )Q2( x )Q1( J)( 0 )J= 0= Δ+( xj) ;⟨ EIN T. Q. 2 ( x ) Q. 2 ( y ) ( 0 ) J. = 0 = - -  ich ΔAF(xj )EIN T Q2( x )Q2( J)( 0 )J= 0= ichΔEin F( xj) ;
Q + ( x ) Q + ( y ) ( 0 ) J = 0 = 2 Δ1(xj )Q+( x )Q+( J)( 0 )J= 0=2Δ1( xj) ;Q + ( x ) Q ( y ) ( 0 ) J = 0 = ich ΔR(xj )Q+( x )Q( J)( 0 )J= 0=ichΔR( xj) ;Q ( x ) Q + ( y ) ( 0 ) J = 0 = ich ΔEIN(xj )Q( x )Q+( J)( 0 )J= 0=ichΔEIN( xj) ;Q ( x ) Q ( y ) ( 0 ) J = 0 = 0Q( x )Q( J)( 0 )J= 0= 0 ; Grüne Funktionen:1ich ΔF(xy ) = θ ( x 0y 0 ) Δ + ( xy ) + θ ( y 0x 0 ) Δ ( xj )1ichΔF( xj) = θ (x0j0)Δ+( xj) + θ (j0x0)Δ( xj) ;1ich ΔAF(xy ) = θ ( y 0x 0 ) Δ + ( xy ) + θ ( x 0y 0 ) Δ ( xj )1ichΔEin F( xj) = θ (j0x0)Δ+( xj) + θ (x0j0)Δ( xj) ;
Fourier-Transformation:˜ Δ F(k)= ˜ Δ E(k0(ϵich),k )Δ˜F( k ) =Δ˜E(k0( ϵ ich ) ,k⃗ ) = 1k 2 + m 2ich ϵ=1k2+m2ich ϵ = 12 ω (1k 0 + ω +1k 0 + ω )=12 ω(1k0+ ω+1k0+ ω) = P V 1k 2 + m 2 +ichπδ(k2+m2)= PV _1k2+m2+ ich πδ(k2+m2) = ˜ ˉ Δ ( k ) + ich2 ˜ Δ 1(k) ;˜ Δ A F ( k ) = 1k 2 + m 2 + ich ϵ = P V 1k 2 + m 2 +ichπδ(k2+m2) ; Wightman-Funktionen:˜ Δ +(k)=θ(k0)2πδ(k2+m2)  ;˜ Δ(k)=θ(k0)2πδ(k2+m2)  ;
˜ Δ 1(k)=2πδ(k2+m2) ;˜ Δ C(k)=sgn(k0)2πδ(k2+m2)  ;˜ ˉ Δ (k)=PV1k2 + m2 _ _ ;Δ 1 = Δ + + Δ = 1ich (ΔF-ΔEINF) ;ΔC = Δ +Δ = 1 _ich (ΔRΔEIN) imaginär;ˉ Δ =ΔR+ΔA2 ;
Fortgeschrittene/verzögerte Greens-Funktion:˜ Δ A/R(k)=1( k 0ich ϵ ) 2 + k 2 + m 2 = 1k 2 + m 2 ± ich ϵ s g n ( k 0 ) = P V 1k 2 + m 2ich2 ˜ ΔC (k)_ ;Δ R ( xy ) = ich θ ( x 0y 0 ) ΔC ( x _j ) real;Δ EIN ( xy ) = ich θ ( y 0x 0 ) Δ C ( xj ) real;
Ursprüngliche Doppelfelder:Δ = ( Δ F. ich Δ - - ich Δ + - - Δ EIN F. ) ;Δ 1 = ( Δ 1 F ich ϵ 2 Δ ich ϵ 2 Δ +Δ 1 EIN F ) ; Keldysh-Variablen:Δ = ( d.h2 Δ1ΔRΔA0) ;Δ 1 = ( 0 Δ 1 EIN Δ 1 Rich ϵ 22 Δ1) ;
2D euklidischer masseloser Fall:Δ E ( r ) = 12πln _ _( R ) ; 1+1D Minkowskischer masseloser Fall:Δ F ( x , t ) = ich Δ E ( x , ( i + ϵ ) t ) = ich4 π Ln(x2t 2 + ich ϵ ) = ich4 πln _| x 2t 2 | + 14 θ(t2x 2 ) ;Δ ± ( x , t ) = 14 π Ln(x2t 2 ± ich ϵ s g n ( t ) ) = 14 πln _| x 2t 2 | ich4 sgn(t)θ(t2x 2 ) = Δ ( x , t ) ;
Δ 1 ( x , t ) = 12πln _ _| x 2t 2 | ;ΔC ( x , t ) = ich _2 sgn(t)θ(t2x 2 ) ;Δ R ( x , t ) = 12 θ(t| x | ) ;Δ EIN ( x , t ) = 12 θ(t| x | ) ;ˉ Δ (x,t)=14 θ(t2x 2 ) ;
4D euklidischer masseloser Fall:ΔE ( r ) = 1 _4 π 2 r 2 ; 3+1D Minkowskischer masseloser Fall:Δ F ( r , t ) = ich Δ E ( r , ( i + ϵ ) t ) = ich4 π 2 1r 2t 2 + ich ϵ = ich4 π 2 r2- -t2- -ichϵ( r 2t 2 ) 2 + ϵ 2 = ich4 π 2 PV1r 2t 2 +14 π δ(r2t 2 ) ;Δ ± ( r , t ) = 14 π 2 1r 2 - - t 2 ± ich ϵ s g n ( t ) = 14 π 2 PV1r 2t 2ich4 π sgn(t)δ(r2t 2 ) = Δ ( r , t ) ;
Δ 1 ( r , t ) = 12 π 2 PV1r 2t 2 ;ΔC ( r , t ) = ich _2 π sgn(t)δ(r2t 2 ) ;Δ R ( r , t ) = 14 π r δ(rt) ;Δ EIN ( r , t ) = 14 π r δ(r+t) ;ˉ Δ (r,t)=14 π δ(r2t 2 ) ;

Problem : Löse das EOM

x ¨ + β x ˙ + ω 2 x = f ( t )

Als Ansatz verwenden wir zusätzlich zu x ( t ) , x ˙ ( t ) , zwei neue Parameter j ( t ) , j ˙ ( t ) .

Lassen Sie uns auf magische Weise eine Lagrange-Funktion für dieses Hilfssystem einführen

L ( x , j , x ˙ , j ˙ , t ) = x ˙ j ˙ β x ˙ j ω 2 x j ( x + j ) f ( t )

Es ist wichtig zu beachten, dass die Bewegungsgleichungen für dieses System sind

d d t ( L x ˙ ) L x = j ¨ β j ˙ + w 2 j f ( t ) = 0 d d t ( L j ˙ ) L j = x ¨ + β x ˙ + w 2 x f ( t ) = 0

Wie man sieht, stellen wir die Bewegungsgleichungen für unser ursprüngliches System zusammen mit einem Hilfs-EOM wieder her.

Von hier an läuft alles nach der Theorie der Hamiltonschen Mechanik. Wir können die verallgemeinerten Impulse finden:

p x = L x ˙ = j ˙ β j p j = L j ˙ = x ˙

Und den Langrangian als Hamiltonian umschreiben

H ( x , j , p x , p j , t ) = p x p j + ω 2 x j + β j p j + ( x + j ) f ( t )


Die Methode ist etwas allgemeiner, siehe Konservative Störungstheorie für nichtkonservative Systeme , die mich am Beispiel des Van-der-Pol-Oszillators in die Idee der Hilfsparameter eingeführt hat.

Soweit ich sehen kann, sollte diese Methode auch dann gut funktionieren, wenn x R n in diesem Fall würden Sie auch wählen j R n .