Лагранжево-гамильтонов EOM с диссипативной силой

Я пытаюсь написать лагранжиан и гамильтониан для принудительного гармонического осциллятора, прежде чем квантовать его, чтобы получить квантовую картину. Для ЕОМ

м д ¨ + β д ˙ + к д знак равно ф ( т ) ,
Я пишу лагранжиан
л знак равно 1 2 м д ˙ 2 1 2 к д 2 + ф ( т ) д
с функцией рассеяния Рэлея как
Д знак равно 1 2 β д ˙ 2
ввести лагранжев EOM
0 знак равно д д т ( л д ˙ Дж ) л д Дж + Д д ˙ Дж .

О преобразовании Лежандра л , Я получил

ЧАС знак равно 1 2 м п 2 + 1 2 к д 2 ф ( т ) д .

Как мне включить диссипативный член, чтобы получить правильный EOM из EOM гамильтониана?

Ответы (2)

Проблема: Учитывая второй закон Ньютона

(1) м д ¨ Дж   знак равно   β д ˙ Дж В ( д , т ) д Дж , Дж   е   { 1 , , н } ,

для нерелятивистской точечной частицы в н размеров, на которые действует сила трения, а также на которые действуют различные силы, имеющие суммарный потенциал В ( д , т ) , которая может явно зависеть от времени.

I) Традиционный подход: существует невариационная формулировка уравнений Лагранжа.

(2) д д т ( л д ˙ Дж ) л д Дж   знак равно   Вопрос Дж , Дж   е   { 1 , , н } ,

куда Вопрос Дж являются обобщенными силами, не имеющими обобщенных потенциалов. В нашем случае (1) лагранжиан в уравнении (2) есть л знак равно Т В , с Т знак равно 1 2 м д ˙ 2 ; и сила

(3) Вопрос Дж   знак равно   β д ˙ Дж

есть сила трения. Например, в этом посте Phys.SE показано, что сила трения (3) не имеет потенциала. Как упоминает OP, можно ввести диссипативную функцию Рэлея , но это не настоящий потенциал.

Условно дополнительно потребуем, чтобы лагранжиан имел вид л знак равно Т U , куда Т знак равно 1 2 м д ˙ 2 связана с левой стороной ЭОМ (1) (т.е. кинематической стороной), а потенциал U относится к RHS EOM (1) (т.е. динамической стороне).

При этих дополнительных требованиях ЭОМ (1) не имеет вариационной формулировки уравнений Лагранжа

(4) д д т ( л д ˙ Дж ) л д Дж   знак равно   0 , Дж   е   { 1 , , н } ,

т.е. уравнения Эйлера-Лагранжа . Преобразование Лежандра к гамильтоновой формулировке традиционно определяется только для вариационной формулировки (4). Таким образом, не существует обычной гамильтоновой формулировки EOM (1).

II) Нетрадиционные подходы:

  1. Трюк с экспоненциальным множителем 1 : Определите для последующего удобства функцию

    (5) е ( т )   знак равно   опыт ( β т м ) .
    Тогда возможная вариационная формулировка (4) уравнений Лагранжа задается лагранжианом
    (6) л ( д , д ˙ , т )   знак равно   е ( т ) л 0 ( д , д ˙ , т ) , л 0 ( д , д ˙ , т )   знак равно   м 2 д ˙ 2 В ( д , т ) .
    Соответствующий гамильтониан
    (7) ЧАС ( д , п , т )   знак равно   п 2 2 м е ( т ) + е ( т ) В ( д , т ) .
    Одно предостережение состоит в том, что гамильтониан (7) не представляет собой традиционное понятие полной энергии. Другое предостережение заключается в том, что этот нетрадиционный подход нельзя обобщить на случай, когда для двух связанных секторов теории требуются разные коэффициенты (5), например, когда каждая координата д Дж имеет индивидуальное отношение трения к массе β Дж м Дж , Дж е { 1 , , н } . Для того чтобы этот нетрадиционный подход работал, важно, чтобы множитель (5) был общим общим мультипликативным множителем для лагранжиана (6). Это неестественное требование с точки зрения физики.

  2. Наложение EOM через множители Лагранжа λ Дж : Вариационный принцип для ЭОМ (1) таков:

    (8) л   знак равно   м Дж знак равно 1 н д ˙ Дж λ ˙ Дж Дж знак равно 1 н ( β д ˙ Дж + В ( д , т ) д Дж ) λ Дж .
    (Здесь мы для удобства «интегрировали кинетический член по частям», чтобы избежать более высоких производных по времени.)

  3. Классический формализм Швингера/Келдыша «внутри-внутри» : переменные удваиваются. См., например, ур. (20) в CR Galley, arXiv:1210.2745 . Игнорирование граничных условий 2 лагранжиан читает

    (9) л ~ ( д ± , д ˙ ± , т )   знак равно   л ( д 1 , д ˙ 1 , т ) | д 1 знак равно д + + д / 2     л ( д 2 , д ˙ 2 , т ) | д 2 знак равно д + д / 2   +   Вопрос Дж ( д + , д ˙ + , т ) д Дж .
    Начальные условия
    (10) { д + Дж ( т я ) знак равно д я Дж , д ˙ + Дж ( т я ) знак равно д ˙ я Дж
    реализовать базовые начальные значения системы. Окончательные условия
    (11) { д Дж ( т ф ) знак равно 0 д ˙ Дж ( т ф ) знак равно 0 л ~ д ˙ + Дж | т знак равно т ф   знак равно   0
    внедрить решение физического предела д Дж знак равно 0 . Трюк с удвоением (9) часто фактически аналогичен введению множителей Лагранжа (8).

  4. Билокальный метод Гуртина-Тонти: см., например , этот пост Phys.SE.

--

1 Совет по шляпе: Вальтер Моретти .

2 Вариационная задача (9)+(10)+(11) нуждается в соответствующем начальном члене, который не всегда может существовать! В частности, поскольку мы уже наложили 4 н граничные условия (10)+(11), было бы слишком накладывать еще и начальное условие

д Дж ( т я )   знак равно   0. ( Неправильный! )
Пример: если л знак равно 1 2 м д ˙ 2 , тогда л ~ знак равно м д ˙ + д ˙ , и следует добавить начальный член м д ˙ + ( т я ) д ( т я ) к действию С ~ .

Примечания на потом: подпись Минковского ( , + , , + )( - , + , , + ) . Преобразование Фурье:˜ Q (k)=d d Икс е - я k ​​⋅ Икс Q ( Икс ) Вопрос˜( к ) знак равно ддИкс ея к хQ ( х ) ;Q ( Икс ) знак равно д д к( 2 π ) d е+яkИкс ˜ Q (k)Q ( Икс ) знак равно ддк( 2 π)де+ я к хВопрос˜( к ) ; Функции зелени:( m 2 ) Δ ( xу ) знак равно δ d ( Иксу )( м2) Δ ( ху) =дельтад( ху) ;- ( - м 2 ) Q ( Икс ) знак равно j ( Икс )( м2) Q ( Икс ) знак равно J ( Икс ) ;Q ( Икс ) знак равно d у Δ ( х у ) у ( у )Q ( Икс ) знак равно ду Δ ( ху) у ( у) ;˜ Q (k)равно ˜ Δ (k) ˜ j (k)Вопрос˜( к ) =Δ˜( к )Дж˜( к ) ;
Свободная "ин-ин" акция Швингера-Келдыша:S 2 - d d Икс L 2 знак равно - я ϵ 2 d d x d d y Q 2 ( x ) Δ + ( x  у ) Q 1 ( у )С2ддИкс л2= - яϵ2ддИкс дду Вопрос2( х )Δ+( ху)Вопрос1( у) = - я ϵ 2d d Икс d d y Q 1 ( Икс ) Δ - ( Икс  у ) Q 2 ( у )= - яϵ2ддИкс дду Вопрос1( х )Δ( ху)Вопрос2( у) ;S 2 - d х L 2 = ϵ _ π PVd d x d d y Q + ( x ) 1  Икс 0 - у 0 Q-(у)С2ддИкс л2знак равноϵπП ВддИкс дду Вопрос+( х )1Икс0у0Вопрос( у) + я ϵ 24d d Икс d d y Q - ( Икс ) 1 ( Икс  у ) Q - ( у )+яϵ24ддИкс дду Вопрос( х )Δ1( ху)Вопрос( у) ; Билокальность в пространстве-времени.
Лагранжева плотность:L 2 =- 12µQ1µQ112 (м2-яϵ)Q 2 1 +12µQ2µQ2+12 (м2+яϵ)Q 2 2л2= -12мюВопрос1мюВопрос112(м2я ϵ )Вопрос21+12мюВопрос2мюВопрос2+12(м2+ я ϵ )Вопрос22 = - µ Q + µ Q - - m 2 Q + Q - + i ϵ ( Q 2 + + 14 Q 2 )= -мюВопрос+мюВопросм2Вопрос+Вопрос+ я ϵ (Вопрос2++14Вопрос2) ;L 2 знак равно-μ Q + μ Q - - м 2 Q + Q -л2= -мюВопрос+мюВопросм2Вопрос+Вопрос ;˜ L 2- ˜ Q +(k)(k2+m2+яϵsгп(k0)) ˜ Q -(-k)  л˜2 - Вопрос˜+( к ) (к2+м2+ i ϵ s g n (к0) )Вопрос˜( - к )  - ˜ Q - ( k ) ( k 2 + м 2 - я ϵ s г п ( k 0 ) ) ˜ Q + ( - k )  - Вопрос˜( к ) (к2+м2я ϵ s g n (к0) )Вопрос˜+( - к ) ; Почти локально/диагонально в импульсном пространстве.
переменные Келдыша:Q + = Q 1 + Q 22Вопрос+знак равноВопрос1+Вопрос22 ;Q - = Q 1 - Q 2Вопросзнак равноВопрос1Вопрос2 ; Поворот фитиля к сходящейся евклидовой формулировке кажется неясным. Упорядоченная по времени двухточечная функция по контуру интегрирования Келдыша:Т Q 1 ( Икс ) Q 1 ( у ) ( 0 ) J знак равно 0 знак равно я ΔF(ху )ТВопрос1( х )Вопрос1( у)( 0 )Дж= 0знак равнояΔФ( ху) ;Q 1 ( Икс ) Q 2 ( y ) ( 0 ) J знак равно 0 знак равно Δ - ( Иксу )Вопрос1( х )Вопрос2( у)( 0 )Дж= 0= Δ( ху) ;Q 2 ( Икс ) Q 1 ( y ) ( 0 ) J знак равно 0 знак равно Δ + ( Иксу )Вопрос2( х )Вопрос1( у)( 0 )Дж= 0= Δ+( ху) ;А Т Q 2 ( Икс ) Q 2 ( y ) ( 0 ) J знак равно 0 знак равно -  i ΔAF(xу )А Т Вопрос2( х )Вопрос2( у)( 0 )Дж= 0= -яΔА Ф( ху) ;
Q + ( Икс ) Q + ( y ) ( 0 ) J знак равно 0 знак равно 21(ху )Вопрос+( х )Вопрос+( у)( 0 )Дж= 0знак равно2Δ1( ху) ;Q + ( Икс ) Q - ( y ) ( 0 ) J знак равно 0 знак равно я ΔR(ху )Вопрос+( х )Вопрос( у)( 0 )Дж= 0знак равнояΔр( ху) ;Q - ( Икс ) Q + ( y ) ( 0 ) J знак равно 0 знак равно я ΔА(ху )Вопрос( х )Вопрос+( у)( 0 )Дж= 0знак равнояΔА( ху) ;Q - ( Икс ) Q - ( y ) ( 0 ) J знак равно 0 знак равно 0Вопрос( х )Вопрос( у)( 0 )Дж= 0= 0 ; Функции зелени:1я ΔF(ху ) = θ ( Икс 0у 0 ) Δ + ( ху ) + θ ( у 0х 0 ) Δ - ( ху )1яΔФ( ху) = θ (Икс0у0)Δ+( ху) + θ (у0Икс0)Δ( ху) ;1i ΔAF(xу ) знак равно θ ( у 0х 0 ) Δ + ( ху ) + θ ( х 0у 0 ) Δ - ( ху )1яΔА Ф( ху) = θ (у0Икс0)Δ+( ху) + θ (Икс0у0)Δ( ху) ;
Преобразование Фурье:˜ Δ F(k)равно ˜ Δ E(k0(ϵ-я),k )Δ˜Ф( к ) =Δ˜Е(к0( ϵ - я ) ,к⃗ ) = 1к 2 + м 2 - я ϵзнак равно1к2+м2я ϵ = 12 ω (1к 0 + ш +1к 0 + ω )знак равно12 ш(1к0+ ш+1к0+ ш) = П В 1k 2 + m 2 +яπδ(k2+m2)= П В1к2+м2+ я πдельта(к2+м2) знак равно ˜ ˉ Δ ( k ) + я2 ˜ 1(к) ;˜ Δ A F ( k ) = 1к 2 + м 2 + я ϵ = - П В 1k 2 + m 2 +яπδ(k2+m2) ; Функции Вайтмана:˜ Δ +(k)равноθ(k0)2πδ(k2+m2)  ;˜ Δ -(k)знак равноθ(-k0)2πδ(k2+m2)  ;
˜ Δ 1(k)равно2πδ(k2+m2) ;˜ Δ C(k)знак равноsgn(k0)2πδ(k2+m2)  ;˜ ˉ Δ (k)=PV1к 2 + м 2 ;Δ 1 = Δ + + Δ - = 1я (ΔF-ΔAF) ;Δ С = Δ + - Δ - = 1я (Δр-ΔА) мнимый;ˉ Δ =ΔR+ΔА2 ;
Усовершенствованная/запоздалая функция зелени:˜ A/R(k)=1- ( k 0я ϵ ) 2 + k 2 + м 2 = 1k 2 + m 2 ± i ϵ s g n ( k 0 ) = П В 1к 2 + м 2я2 ˜ Δ C(к) ;Δ R ( ху ) знак равно я θ ( Икс 0у 0 ) Δ С ( ху ) настоящий;Δ А ( ху ) знак равно - я θ ( у 0х 0 ) Δ С ( ху ) настоящий;
Исходные двойные поля:Δ знак равно ( Δ F я Δ - я Δ + - Δ А F ) ;Δ - 1 знак равно ( Δ - 1 F я ϵ 2 Δ - я ϵ 2 Δ + - Δ - 1 А F ) ; переменные Келдыша:Δ = ( я2 Δ1ΔRΔА0) ;Δ 1 = ( 0 Δ 1 A Δ 1 Ri ϵ 221) ;
2D евклидов безмассовый случай:Δ Е ( р ) знак равно - 12 π пер( р ) ; 1+1D безмассовый случай Минковского:Δ F ( Икс , т ) знак равно я Δ E ( Икс , ( я + ϵ ) т ) = - я4 π Ln(x2т 2 + я ϵ ) = - я4 π пер| х 2т 2 | + 14 θ(t2х 2 ) ;Δ ± ( Икс , т ) знак равно - 14 π Ln(x2т 2 ± я ϵ s г п ( т ) ) = - 14 π пер| х 2т 2 | я4 sgn(t)θ(t2Икс 2 ) знак равно Δ ( - Икс , - т ) ;
Δ 1 ( Икс , т ) знак равно - 12 π пер| х 2т 2 | ;Δ C ( Икс , т ) знак равно - я2 sgn(t)θ(t2х 2 ) ;Δ R ( Икс , т ) = 12 θ(т| х | ) ;Δ А ( Икс , т ) = 12 θ(t| х | ) ;ˉ Δ (Икс,т)равно14 θ(t2х 2 ) ;
4D евклидов безмассовый случай:Δ Е ( г ) = 14 π 2 р 2 ; 3+1D безмассовый случай Минковского:Δ F ( р , т ) знак равно я Δ E ( р , ( я + ϵ ) т ) = я4 п 2 1р 2 - т 2 + я ϵ = я4 π 2 р2-т2-яϵ( р 2 - т 2 ) 2 + ϵ 2 = я4 π 2 ПВ1р 2 - т 2 +14 π δ(r2т 2 ) ;Δ ± ( г , т ) = 14 п 2 1р 2 - т 2 ± я ϵ s г п ( т ) = 14 π 2 ПВ1р 2 - т 2я4 π sgn(t)δ(r2т 2 ) знак равно Δ ( р , - т ) ;
Δ 1 ( р , т ) = 12 π 2 ПВ1р 2 - т 2 ;Δ C ( р , т ) знак равно - я2 π sgn(t)δ(r2т 2 ) ;Δ р ( р , т ) = 14 π р δ(р-т) ;Δ А ( р , т ) = 14 π р δ(р+т) ;ˉ Δ (р,т)=14 π δ(r2т 2 ) ;

Задача : решить ЕОМ

Икс ¨ + β Икс ˙ + ю 2 Икс знак равно ф ( т )

В качестве подхода будем использовать, кроме Икс ( т ) , Икс ˙ ( т ) , два новых параметра у ( т ) , у ˙ ( т ) .

Введем волшебным образом лагранжиан для этой вспомогательной системы

л ( Икс , у , Икс ˙ , у ˙ , т ) знак равно Икс ˙ у ˙ β Икс ˙ у ю 2 Икс у ( Икс + у ) ф ( т )

Важно отметить, что уравнения движения для этой системы

д д т ( л Икс ˙ ) л Икс знак равно у ¨ β у ˙ + ж 2 у ф ( т ) знак равно 0 д д т ( л у ˙ ) л у знак равно Икс ¨ + β Икс ˙ + ж 2 Икс ф ( т ) знак равно 0

Как видно, мы восстанавливаем уравнения движения для нашей исходной системы вместе со вспомогательной ЭОМ.

С этого момента все идет согласно теории гамильтоновой механики. Найдем обобщенные импульсы:

п Икс знак равно л Икс ˙ знак равно у ˙ β у п у знак равно л у ˙ знак равно Икс ˙

И переписать лангранжиан как гамильтониан

ЧАС ( Икс , у , п Икс , п у , т ) знак равно п Икс п у + ю 2 Икс у + β у п у + ( Икс + у ) ф ( т )


Метод немного более общий, см. Консервативная теория возмущений для неконсервативных систем, которая познакомила меня с идеей вспомогательных параметров на примере осциллятора Ван дер Поля.

Насколько я вижу, этот метод должен хорошо работать, даже когда Икс е р н в этом случае вы бы также выбрали у е р н .