EOM lagrangiana y hamiltoniana con fuerza disipativa

Estoy tratando de escribir el lagrangiano y el hamiltoniano para el oscilador armónico forzado antes de cuantificarlo para llegar a la imagen cuántica. para MOE

metro q ¨ + β q ˙ + k q = F ( t ) ,
escribo el lagrangiano
L = 1 2 metro q ˙ 2 1 2 k q 2 + F ( t ) q
con la función de disipación de Rayleigh como
D = 1 2 β q ˙ 2
para poner en Lagrange EOM
0 = d d t ( L q ˙ j ) L q j + D q ˙ j .

Sobre la transformada de Legendre de L , Yo obtengo

H = 1 2 metro pags 2 + 1 2 k q 2 F ( t ) q .

¿Cómo incluyo el término disipativo para obtener el EOM correcto del EOM de Hamiltonian?

Respuestas (2)

Problema: Dada la segunda ley de Newton

(1) metro q ¨ j   =   β q ˙ j V ( q , t ) q j , j     { 1 , , norte } ,

para una partícula puntual no relativista en norte dimensiones, sujeto a una fuerza de fricción, y también sujeto a varias fuerzas que tienen un potencial total V ( q , t ) , que puede depender explícitamente del tiempo.

I) Enfoque convencional: Existe una formulación no variacional de las ecuaciones de Lagrange

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

dónde q j son las fuerzas generalizadas que no tienen potenciales generalizados. En nuestro caso (1), el Lagrangiano en eq. (2) es L = T V , con T = 1 2 metro q ˙ 2 ; y la fuerza

(3) q j   =   β q ˙ j

es la fuerza de fricción. Se muestra, por ejemplo, en esta publicación de Phys.SE que la fuerza de fricción (3) no tiene potencial. Como menciona OP, se puede introducir la función disipativa de Rayleigh , pero este no es un potencial genuino.

Convencionalmente, exigimos adicionalmente que el Lagrangiano sea de la forma L = T tu , dónde T = 1 2 metro q ˙ 2 está relacionado con el LHS de los EOM (1) (es decir, el lado cinemático), mientras que el potencial tu está relacionado con el RHS de los EOM (1) (es decir, el lado dinámico).

Con estos requisitos adicionales, la EOM (1) no tiene una formulación variacional de las ecuaciones de Lagrange

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

es decir , ecuaciones de Euler-Lagrange . La transformación de Legendre a la formulación hamiltoniana tradicionalmente solo se define para una formulación variacional (4). Por lo tanto, no existe una formulación hamiltoniana convencional de la EOM (1).

II) Enfoques no convencionales:

  1. Truco con factor exponencial 1 : Definir por conveniencia posterior la función

    (5) mi ( t )   :=   Exp ( β t metro ) .
    Una posible formulación variacional (4) de las ecuaciones de Lagrange viene dada por el Lagrangiano
    (6) L ( q , q ˙ , t )   :=   mi ( t ) L 0 ( q , q ˙ , t ) , L 0 ( q , q ˙ , t )   :=   metro 2 q ˙ 2 V ( q , t ) .
    El hamiltoniano correspondiente es
    (7) H ( q , pags , t )   :=   pags 2 2 metro mi ( t ) + mi ( t ) V ( q , t ) .
    Una advertencia es que el hamiltoniano (7) no representa la noción tradicional de energía total. Otra advertencia es que este enfoque no convencional no se puede generalizar al caso en que dos sectores acoplados de la teoría requieran factores diferentes (5), por ejemplo, donde cada coordenada q j tiene relaciones individuales de fricción sobre masa β j metro j , j { 1 , , norte } . Para este enfoque poco convencional de trabajo, es crucial que el factor (5) sea un factor multiplicativo común general para el Lagrangiano (6). Este es un requisito antinatural desde una perspectiva física.

  2. Imposición de MOE a través de multiplicadores de Lagrange λ j : Un principio variacional para las MOE (1) es

    (8) L   =   metro j = 1 norte q ˙ j λ ˙ j j = 1 norte ( β q ˙ j + V ( q , t ) q j ) λ j .
    (Aquí tenemos, por conveniencia, "integrado el término cinético por partes" para evitar derivadas de tiempo más altas).

  3. Formalismo clásico "en-en" de Schwinger/Keldysh : Las variables se duplican. Véase, por ejemplo, la ec. (20) en CR Galley, arXiv:1210.2745 . Ignorando los términos de frontera 2 el lagrangiano lee

    (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 .
    Las condiciones iniciales
    (10) { q + j ( t i ) = q i j , q ˙ + j ( t i ) = q ˙ i j
    implementar los valores iniciales subyacentes del sistema. las condiciones finales
    (11) { q j ( t F ) = 0 q ˙ j ( t F ) = 0 L ~ q ˙ + j | t = t F   =   0
    implementar la solución del límite físico q j = 0 . El truco de la duplicación (9) suele ser lo mismo que introducir los multiplicadores de Lagrange (8).

  4. Método bilocal de Gurtin-Tonti: consulte, por ejemplo , esta publicación de Phys.SE.

--

1 Consejo de sombrero: Valter Moretti .

2 El problema variacional (9)+(10)+(11) necesita un término inicial apropiado, ¡que puede no existir siempre! En particular, dado que ya impusimos 4 norte condiciones de frontera (10)+(11), sería demasiado imponer también la condición inicial

q j ( t i )   =   0. ( ¡Equivocado! )
Ejemplo: Si L = 1 2 metro q ˙ 2 , después L ~ = metro q ˙ + q ˙ , y se debe agregar un término inicial metro q ˙ + ( t i ) q ( t i ) a la acción S ~ .

Notas para más adelante: Firma de Minkowski ( , + , , + )( - , + , , + ) . Transformada de Fourier:˜ Q (k)=re re X mi - yo kX Q ( X ) q˜( k ) = ddX miyo k xq ( ​​x ) ;Q ( x ) = d d k( 2 π ) re mi+yokX ˜ Q (k)Q ( x ) = ddk( 2 pi)dmi+ yo k xq˜( k ) ; Funciones de los verdes:( metro 2 ) Δ ( Xy ) = δ re ( Xy )( metro2) Δ ( xy) =dd( Xy) ;( metro 2 ) Q ( X ) = j ( X )( metro2) Q ( x ) = j ( x ) ;Q ( x ) = d y Δ ( x y ) j ( y )Q ( x ) = dy Δ ( xy) j ( y) ;˜ Q (k)= ˜ Δ (k) ˜ j (k)q˜( k ) =Δ˜( k )j˜( k ) ;
Acción Schwinger-Keldysh "in-in" gratuita:S 2re re X L 2 = - yo ϵ 2 re re X re d y Q 2 ( X ) Δ + ( X  y ) Q 1 ( y )S2ddX L2= yoϵ2ddX ddy q2( X )Δ+( Xy)q1( y) = yo ϵ 2re re X re re y Q 1 ( X ) Δ - ( X  y ) Q 2 ( y )= yoϵ2ddX ddy q1( X )Δ( Xy)q2( y) ;S 2re re X L 2 = ϵ π PAGSVd d x d d y Q + ( x ) 1  X 0 - y 0 Q-(y)S2ddX L2=ϵπP VddX ddy q+( X )1X0y0q( y) + yo ϵ 24re re X re re y Q - ( X ) Δ 1 ( X  y ) Q ( y )+iϵ24ddX ddy q( X )Δ1( Xy)q( y) ; Bi-local en el espacio-tiempo.
Densidad lagrangiana:L 2 = 12μQ1μQ1-12 (metro2-yoϵ)Q 2 1 +12μQ2μQ2+12 (metro2+yoϵ)Q 2 2L2= 12mq1mq112(metro2yo ϵ )q21+12mq2mq2+12(metro2+ yo ϵ )q22 = μ Q + μ Q metro 2 Q + Q + yo ϵ ( Q 2 + + 14 Q 2 )= mq+mqmetro2q+q+ yo ϵ (q2++14q2) ;L 2 =μ Q + μ Q metro 2 Q + Q L2= mq+mqmetro2q+q ;˜ L 2 ˜ Q +(k)(k2+metro2+yoϵsgramonorte(k0)) ˜ Q(k)  L˜2 - q˜+( k ) (k2+metro2+ yo ϵ s gramo norte (k0) )q˜( k )  - ˜ Q - ( k ) ( k 2 + metro 2 - yo ϵ s gramo norte ( k 0 ) ) ˜ Q + ( - k )  - q˜( k ) (k2+metro2- yo ϵ s gramo norte (k0) )q˜+( k ) ; Casi local/diagonal en el espacio de momento.
Variables Keldysh:Q + = Q 1 + Q 22q+=q1+q22 ;Q = Q 1Q 2q=q1q2 ; La rotación de la mecha hacia la formulación euclidiana convergente parece oscura. Función de 2 puntos ordenada en el tiempo según el contorno de integración de Keldysh:T Q 1 ( x ) Q 1 ( y ) ( 0 ) J = 0 = yo ΔF(xy )⟨T _q1( X )q1( y)( 0 )j= 0=iΔF( Xy) ;Q 1 ( X ) Q 2 ( y ) ( 0 ) J = 0 = Δ ( Xy )q1( X )q2( y)( 0 )j= 0= Δ( Xy) ;Q 2 ( x ) Q 1 ( y ) ( 0 ) J = 0 = Δ + ( xy )q2( X )q1( y)( 0 )j= 0= Δ+( Xy) ;UNA T Q 2 ( X ) Q 2 ( y ) ( 0 ) J = 0 =  yo ΔAF(xy )UN T q2( X )q2( y)( 0 )j= 0= iΔUna F( Xy) ;
Q + ( x ) Q + ( y ) ( 0 ) J = 0 = 2 Δ1(xy )q+( X )q+( y)( 0 )j= 0=2Δ1( Xy) ;Q + ( x ) Q ( y ) ( 0 ) J = 0 = yo ΔR(xy )q+( X )q( y)( 0 )j= 0=iΔR( Xy) ;Q ( X ) Q + ( y ) ( 0 ) J = 0 = yo ΔA(xy )q( X )q+( y)( 0 )j= 0=iΔA( Xy) ;Q ( X ) Q ( y ) ( 0 ) J = 0 = 0q( X )q( y)( 0 )j= 0= 0 ; Funciones de los verdes:1yo ΔF(xy ) = θ ( x 0y 0 ) Δ + ( xy ) + θ ( y 0X 0 ) Δ ( Xy )1iΔF( Xy) = θ (X0y0)Δ+( Xy) + θ (y0X0)Δ( Xy) ;1yo ΔAF(xy ) = θ ( y 0x 0 ) Δ + ( xy ) + θ ( x 0y 0 ) Δ ( Xy )1iΔUna F( Xy) = θ (y0X0)Δ+( Xy) + θ (X0y0)Δ( Xy) ;
Transformada de Fourier:˜ Δ F(k)= ˜ Δ mi(k0(ϵ-yo),k )Δ˜F( k ) =Δ˜mi(k0( ϵ - yo ) ,k⃗ ) = 1k 2 + metro 2 - yo ϵ=1k2+metro2yo ϵ = 12 ω (1k 0 + ω +1k 0 + ω )=12 ω(1k0+ ω+1k0+ ω) = P V 1k 2 + metro 2 +yoπδ(k2+metro2)= PV _1k2+metro2+ yo πd(k2+metro2) = ˜ ˉ Δ ( k ) + yo2 ˜ Δ 1(k) ;˜ Δ UN F ( k ) = 1k 2 + metro 2 + yo ϵ = PAG V 1k 2 + metro 2 +yoπδ(k2+metro2) ; Funciones de Wightmann:˜ Δ +(k)=θ(k0)2πδ(k2+metro2)  ;˜ Δ -(k)=θ(-k0)2πδ(k2+metro2)  ;
˜ Δ 1(k)=2πδ(k2+metro2) ;˜ Δ C(k)=sgramonorte(k0)2πδ(k2+metro2)  ;˜ ˉ Δ (k)=PAGSV1k 2 + m 2 ;Δ 1 = Δ + + Δ = 1yo (ΔF-ΔUNF) ;Δ C = Δ +Δ = 1yo (ΔR-ΔUN) imaginario;ˉ Δ =ΔR+ΔA2 ;
Función Greens avanzada/retrasada:˜ Δ UN/R(k)=1- ( k 0yo ϵ ) 2 + k 2 + metro 2 = 1k 2 + metro 2 ± yo ϵ s gramo norte ( k 0 ) = P V 1k 2 + metro 2yo2 ˜ Δ C(k) ;Δ R ( xy ) = yo θ ( X 0y 0 ) Δ C ( xy ) real;Δ A ( xy ) = - yo θ ( y 0X 0 ) Δ C ( Xy ) real;
Campos dobles originales:Δ = ( Δ F yo Δ yo Δ +Δ UN F ) ;Δ - 1 = ( Δ - 1 F yo ϵ 2 Δ - yo ϵ 2 Δ + - Δ - 1 UNA F ) ; Variables Keldysh:Δ = ( yo2 Δ1ΔRΔUN0) ;Δ - 1 = ( 0 Δ - 1 UN Δ - 1 R - yo ϵ 22 Δ1) ;
Caso sin masa euclidiana 2D:Δ mi ( r ) = - 12 π ln( r ) ; Caso sin masa 1+1D minkowskiano:Δ F ( X , t ) = yo Δ mi ( X , ( yo + ϵ ) t ) = yo4 π Lnorte(x2t 2 + yo ϵ ) = yo4 π en| x2 _t 2 | + 14 θ(t2x2 ) _ ;Δ ± ( X , t ) = - 14 π Lnorte(x2t 2 ± yo ϵ s gramo norte ( t ) ) = 14 π en| x2 _t 2 | yo4 sgramonorte(t)θ(t2X 2 ) = Δ ( X , t ) ;
Δ 1 ( X , t ) = - 12 π ln| x2 _t 2 | ;Δ C ( X , t ) = - yo2 sgramonorte(t)θ(t2x2 ) _ ;Δ R ( X , t ) = 12 θ(t| x | ) ;Δ UN ( X , t ) = 12 θ(-t| x | ) ;ˉ Δ (X,t)=14 θ(t2x2 ) _ ;
Caso sin masa euclidiana 4D:Δ mi ( r ) = 14 π 2 r 2 ; Caso sin masa 3+1D minkowskiano:Δ F ( r , t ) = yo Δ mi ( r , ( yo + ϵ ) t ) = yo4 π 2 1r 2 - t 2 + yo ϵ = yo4 π 2 r2-t2-yoϵ( r 2 - t 2 ) 2 + ϵ 2 = yo4 π 2 PV1r 2 - t 2 +14 π δ(r2t 2 ) ;Δ ± ( r , t ) = 14 π 2 1r 2 - t 2 ± yo ϵ s gramo norte ( t ) = 14 π 2 PV1r 2 - t 2yo4 π sgramonorte(t)δ(r2t 2 ) = Δ ( r , - t ) ;
Δ 1 ( r , t ) = 12 π 2 PAGV1r 2 - t 2 ;Δ C ( r , t ) = - yo2 π sgramonorte(t)δ(r2t 2 ) ;Δ R ( r , t ) = 14 π r δ(r-t) ;Δ UN ( r , t ) = 14 π r δ(r+t) ;ˉ Δ (r,t)=14 π δ(r2t 2 ) ;

Problema : resolver el EOM

X ¨ + β X ˙ + ω 2 X = F ( t )

Como enfoque utilizaremos, además de X ( t ) , X ˙ ( t ) , dos nuevos parámetros y ( t ) , y ˙ ( t ) .

Introduzcamos, mágicamente, un Lagrangiano para este sistema auxiliar

L ( X , y , X ˙ , y ˙ , t ) = X ˙ y ˙ β X ˙ y ω 2 X y ( X + y ) F ( t )

Lo importante a notar es que las ecuaciones de movimiento para este sistema son

d d t ( L X ˙ ) L X = y ¨ β y ˙ + w 2 y F ( t ) = 0 d d t ( L y ˙ ) L y = X ¨ + β X ˙ + w 2 X F ( t ) = 0

Como se puede ver, recuperamos las ecuaciones de movimiento de nuestro sistema original junto con un EOM auxiliar.

De aquí en adelante, todo va de acuerdo con la teoría de la mecánica hamiltoniana. Podemos encontrar los momentos generalizados:

pags X = L X ˙ = y ˙ β y pags y = L y ˙ = X ˙

Y reescribiendo el langrangiano como un hamiltoniano

H ( X , y , pags X , pags y , t ) = pags X pags y + ω 2 X y + β y pags y + ( X + y ) F ( t )


El método es un poco más general, consulte Teoría de la perturbación conservativa para sistemas no conservativos, que me introdujo a la idea de los parámetros auxiliares con el ejemplo del oscilador de Van der Pol.

Por lo que puedo ver, este método debería funcionar bien incluso cuando X R norte en cuyo caso también elegirías y R norte .