![](/user_photo/_userpic.png)
книги из ГПНТБ / Либов Р. Введение в теорию кинетических уравнений
.pdf2.3. Анализ Пригожина уравнения Лиувилля |
67 |
Эрмитовость оператора Л можно показать прямой подстановкой, используя интегрирование по частям:
Лці= j |
J Ф*АФI dp dq- |
И Фг[■ |
dH |
дф I |
|
dH |
dФl |
J dpdq-- |
|||
|
|
|
dp |
dq |
|
dq |
dp |
|
|||
|
|
|
|
|
|
|
|||||
|
|
dp |
dq |
dq -f i j |
j Ф, |
dH |
|
|
dpdq + |
||
|
|
|
|
|
dp |
|
|
|
|
||
+ ‘ И |
|
|
- ;И Ф' |
dH ЗФ* |
dpdq = |
|
|||||
dq |
|
dq |
dp |
|
|
||||||
= |
- |
‘ П ф- П |
dH |
дФ* |
dH |
d®" |
dpdq-- |
|
|
||
dp |
dq |
dq |
|
dp ] |
Mft- |
(2.36) |
Задача 2.7. а) Показать, что оператор Л' = іА не является эрмитовым.
б) Каким свойством должен обладать гамильтониан Н, чтобы равенства (2.36) были справедливы?
в) Собственные |
значения |
Л — действительные |
числа |
|
Собственные |
значения |
со г и собственные |
функции |
фг (q, р) |
оператора Л определяются уравнением |
|
|
||
|
|
Афг=а>гфг- |
|
(2.37) |
Отсюда следует, что на базисе этих функций |
|
|
||
Ahh = j j ф*Лфй dp dq = cos j j | фь |2 dp dq. |
(2.38) |
Так как A k* = Atk вследствие того, что оператор Л — эрмитов,
И j j ІФь I2 dp dq — действительное число, соk также должно быть
действительным. То обстоятельство, что собственные значения эрмитова оператора действительны, является, конечно, хороню известной теоремой.
г) Ортогональность собственных функций
Пусть две различные собственные функции фг и ф& удовлетво ряют соответственно уравнениям
Лфг = ©гфг, |
(2.39а) |
А*ф| = оцф*. |
(2.396) |
Умножая уравнение (2.39а) на ф*, а (2.396) на фг, получим
ф|Лфг = |
оцф|фг, |
(2.40а) |
фгЛ*ф£ = |
сойфгф*. |
(2.406) |
5*
68 Гл. II. Уравнение Лиувилля и функции распределения
Вычитая одно равенство из другого и интегрируя по всему фазо вому пространству, получим следующий результат:
Ahl—Atk = (сог—оц) j j фр|fhdpdq. |
(2.41) |
Так как Л — эрмитов оператор, то левая часть предшествующего
уравнения обращается в нуль; следовательно, если со; |
сщ, то |
j j intyhdpdq = 0 (к ф і ). |
(2.42) |
Это равенство выражает свойство ортогональности системы функ ций {ф„}, что снова представляет собой хорошо известную теорему относительно собственных функций эрмитовых операторов.
Собственные функции можно нормировать. Это следует из того факта, что если ф^ является решением уравнения (2.37), то Пфй также будет его решением. Постоянная А — произвольна. Следо вательно, функции фь всегда можно выбрать так, чтобы
J j ^bphdpdq = l. |
(2.43) |
Эти функции {фп} образуют ортонормированную последователь ность собственных функций оператора Лиувилля Л.
д) Собственные функции оператора Л — комплексные
Образуя уравнение, комплексно-сопряженное уравнению (2.37), получим
А*ф? = ©/ФГ. |
(2.44) |
|
Из (2.29) следует, что |
|
|
Â* = |
— Â, |
(2.45) |
так что уравнение (2.44) примет |
вид |
|
>> |
II 1 S "€г |
(2.46)
и мы можем заключить, что ф? — собственная функция операто
ра Л, соответствующая—со г, афг — собственная функция, соот ветствующая со;. Еслиф; действительна, тоф* равна ф; и им долж ны соответствовать одинаковые собственные значения. Из соот ношения (2.46) следует, что либо а>г равно нулю, либо фг является
комплексной. |
со г), ее можно |
Так как фг комплексная (для нетривиального |
|
представить в виде |
|
фг = і ? г + і / г, |
(2.47) |
2.3. Анализ Пригожина уравнения Лиувилля |
69 |
где функции R и I являются действительными. Подействовав |
|
на это равенство оператором Л2, получим |
|
Л2Ф; == А2/?; + іЛ2/;, |
(2.48) |
или, что эквивалентно, |
|
Л2ф/ = Â (Афг) = оцАфг = оффг = соfRt + кofh- |
(2.49) |
Так как оператор Ä2 действительный, то единственный мнимый член в правой части равенств (2.48) и (2.49) — это слагаемое, содержащее число і. Следовательно, действительные и мнимые части этих двух тождественных комплексных функций выделены явно и соответственно равны.
Таким образом,
(А2 — со?) Дг = 0, (А2-с о ? )/г = 0. |
(2.50) |
Мы видим, что действительная и мнимая части собственных функ ций ф; удовлетворяют одному и тому же уравнению второго порядка по р и q.
Тот факт, что собственные функции комплексны, можно уста
новить другим путем, записав их в виде |
|
Фі = \ Ь \ е ті, |
(2.51) |
где |
|
1Ф/1= (Фгф?)1/2- |
(2.52) |
Отсюда следует, что |
|
Аф; = Â 1ф; 1егА |
(2.53) |
или |
|
А I фг 1+ г 1фг | Ащ = оц | фг |. |
(2.54) |
Из соотношений (2.37) и (2.46) вытекает: |
|
А 1фг 1= 0, |
(2.55) |
поэтому |
|
АХі = — Ій);. |
(2.56) |
Напомним, что полная производная по времени от динамической функции F задается равенством
^ - ^ = - і г + і*’ я і = 4 г + іА*- |
(2-5?) |
Если F является константой движения, то F = 0, и обратно,
если F = 0, то F — константа движения. Произвольная констан
70 |
Гл. II . Уравнение Лиувилля и функции |
распределения |
та движения удовлетворяет уравнению |
|
|
|
^ - + iÂF = 0, |
(2.58) |
или, |
что то же, |
|
|
i ^ - = kF. |
(2.59) |
Уравнение (2.55) говорит о том, что модули собственных
функций фг оператора Л являются константами движения, если они не зависят от времени явно.
Опираясь на эти свойства оператора Лиувилля, перейдем к более общему исследованию. А именно, построим формальное решение уравнения Лиувилля в рамках формализма Пригожина.
Более точно, займемся опять решением задачи с начальными данными. Пусть D 0 = D (q, р, 0). Решение уравнения Лиувилля,
записанного через оператор А (т.е. (2.30)),которое удовлетворяет начальным данным Z)0, имеет вид
t |
|
D (q, р, t) = exp ^ — i j dtk j D (q, p, 0). |
(2.60) |
о |
|
Экспоненциальный оператор определяется через свое разложение:
|
t |
|
|
exp ^ — і |
j dtk j D0 = |
|
|
|
о |
t |
|
|
t |
|
|
= |
[ ! + ( - * |
j d t k ) 2 + .. . ] D 0. |
(2 .61) |
|
о |
и |
|
В случае, когда гамильтониан не является явной функцией вре мени, оператор А также от времени не зависит и
і
^ d t k = kt. (2.62)
о
При таких условиях разложим D по собственным функциям оператора А:
|
D(q, |
р, |
|
сю |
|
|
0) = |
2 М ѵ |
(2.63) |
||
|
|
|
|
о |
|
Подставляя это |
выражение в (2.60), |
получим |
|
||
|
А |
оо |
|
оо |
|
D(q, |
р, t)=e~lM 2 |
апфп = 2 апе~іа^ п (g, р). |
(2.64) |
||
|
|
о |
|
о |
|
2.3. Анализ Пригожина уравнения Лиувилля |
71 |
Задача 2.8. Доказать второе равенство в (2.64).
Задача 2.9. Показать, что
а п= j tynD(q, Р, 0)dqdp .
Построим теперь решение уравнения Лиувилля для системы, состоящей из N невзаимодействующих частиц. Гамильтониан такой системы задается равенством
Я =, V — •^-1 2іщ
Соответствующий оператор Лиувилля имеет вид
N |
Рг д |
|
|
А —1’ |
(2.66) |
||
я |
|||
^ |
ПЦ OKI |
|
|
1=1 |
|
|
Если куб, содержащий газ, настолько велик, что специальный выбор граничных условий становится несущественным, то мы тогда свободны в выборе условий, которые лучше всего подходят для иллюстрации метода. С этой целью наложим периодические граничные условия на собственные функции
ф{к} (х) = ф{к} (х + L). |
(2.67) |
Здесь L — вектор, направленный по ребру кубического контей нера и равный его длине. Последовательность {к} представляет
систему векторов (кь . . ., k N), которые входят в |
собственные |
||
функции оператора А: |
|
|
|
ф{к} = l ~3n/2 exp (i |
кг хг) . |
(2.68) |
|
Собственные значения со{к> определяются равенством |
|
||
N |
|
|
(2.69) |
W{k> :Y k ,-H -. |
|||
^—1 |
1 |
т |
|
1=1 |
|
|
|
Каждый вектор |
|
|
|
2я |
П[ |
|
(2.70) |
кг = ТГ |
|
выбирается таким образом, чтобы удовлетворялось граничное условие (2.67). Компоненты вектора п і являются целыми числами.
Мы теперь можем выразить начальное значение
D о — D (хь . . ., xw; Ріі • • -i Р N>0)
для N невзаимодействующих частиц через собственные функции (2.68) и собственные значения (2.69).
72 Гл. II. Уравнение Лиувилля и функции распределения
А
Поскольку собственные функции Л не зависят от р, коэффи циенты ап в уравнении (2.63) являются теперь функциями импуль сов р. Кроме того, индекс п заменен на переменную {к}, характе ризующую последовательность. В соответствии с этим обозначим коэффициенты оп нерезв {к} (рі, . . ., рЛг). Они таковы, что началь ное распределение D 0 задается выражением
D0(xu . . . , x N, рь • •., Pjv)==S -°{k} (Pi, • • ■, Р^)Ф{к>, (2.71a)
{к}
или, что эквивалентно, |
|
|
ß 0 = b " 3JV/22 A k > e x p (;S k*.x2) |
(2.716) |
|
{k> |
2=1 |
|
Каждому набору переменных {к} соответствуют различные экспо ненциальные члены в слагаемых выражения (2.71а). Используя ортогональность функций ф{кь получим значения коэффициентов D{k}. Учитывая (2.70), находим
£>{к> (Рі, ■• •, Pn) = j • • • j А>Ф*к> dxi . . . dxN. |
(2.72) |
Зная эти коэффициенты, а также собственные значения, опреде ляемые равенством (2.69), получим нестационарное решение урав нения Лиувилля (ср. с (2.64)). Оно имеет вид
D (хі, • • xN, р,, .. ., pjv, t) =
= L -3jv/22 Ак)(Рь . . . , p w)[exP 2 2 kr ( x z- ^ ) ] . (2.73) {k}
Суммирование указывает на то, что D является функцией пере менных
(рі, р2, . . ., Pjv; [xj — (pi/wii) t], [x2 — (p2/m2) t\, . . .).
Кроме того, если каждую из этих 2N независимых переменных положить равной константе, то D будет постоянна. Таким образом, D постоянна вдоль траекторий
Рі =Р?, |
Хі- |
_РВ — „о. |
|
пц |
11 |
||
|
|
РNt _ |
(2.74) |
РіѴ= Р&, |
|
n |
|
|
------ — X-N9 |
||
|
|
mN |
|
Эти уравнения описывают динамическую траекторию точки систе мы, состоящей из N свободных частиц. Элемент упрощения, введен ный в данную задачу о свободных частицах, обусловлен главным
образом следующим фактом.Оператор Лиувилля Л действует только на конфигурационные переменные х г. В более реальных случаях; Â
2.3. Анализ Пригожина уравнения Лиувилля |
73 |
будет включать в себя также и оператор д/др г. Разумеется, было бы весьма полезно рассмотреть эти более сложные задачи в новых координатах, которые все отсутствовали бы в преобразованном гамильтониане. В нашем обзоре классической механики мы встречались с формализмом «действие — угол», который именно это и осуществляет. Напомним, что через переменные действия J («новые» импульсы) гамильтониан записывается в виде
|
Н = Н (J!, . . |
J N). |
Сначала |
ограничимся задачей с одной степенью свободы, Н = |
|
= Н (/). |
Тогда получим следующий оператор Лиувилля Â (ср, |
|
с (1.76); |
ю == 2яѵ): |
|
|
А — |
<*•»> |
Мы достигли желаемого результата: свели Л к оператору, дейст вующему только на пространственную переменную. Как и в обычном формализме «действие — угол», трудность заключена в том, чтобы найти производящую функцию, с помощью которой и выполняется требуемое преобразование. Предположим, однако, что такая функция найдена, и обратимся к формальному анализу. Нормированными собственными функциями (периодическими
с периодом 2я) |
А |
|
|
оператора Л являются |
|
||
|
1 |
іпѲ |
(2.76) |
|
Фп |
|
|
|
■ ( 2 ^ |
|
|
где п — целое |
число. Собственные |
значения соп (см. уравне |
|
ние (2.37)) имеют вид |
|
|
|
|
<в„ = нео. |
|
(2.77) |
Они равны произведению целого числа на фундаментальную часто ту со, связанную с рассматриваемым периодическим движением одномерной системы. Когда число степеней свободы больше еди ницы, задачу все еще можно хорошо формализовать, при условии разделимости гамильтониана; это означает, что
H = ^ I I i ( J i ) |
(2.78) |
г=і |
|
(каждая из N степеней свободы отделима). В этом случае собствен ные функции имеют вид
фп = (2n)~N/2 exp i 2 nfii. |
(2.79) |
i=1
Компоненты вектора n — целые числа:
п = (пи . . ., n N). |
(2.80> |
74 Гл. II. Уравнение Лиувилля и функции распределения
Собственные значения, соответствующие собственным функциям
{2.79), равны
С0П = Пі<Щ + «2®2 + • • • + H'N(öjv. |
(2.81) |
Аналогично тому, что было выполнено в случае задачи о свобод ном движении N тел, мы можем построить решение задачи с на чальными значениями, гамильтониан которой задается равен
ством (2.78), а начальное распределение — соотношением |
D 0 — |
|
= D 0 (/, |
Ѳ, 0). Решение имеет вид |
|
D {Jі, . . ., |
JN, Ѳь .. . , ѲіѴ, t) — |
|
= |
(2h) - jv/2 ST7i1( / 1, . . . , / ^ ) ѳхР [і2«/ ( Ѳ і - М ] - |
(2.82) |
Суммирование распространяется на все векторы п. Коэффициенты D n равны
2л 2л
Dn {J1) • • •) J js) ~ ^ |
J D и • • • >J Ni 0ii • - ч Ѳіѵі 0) X |
о |
о |
|
X exp ( — i 2 nföi j dQi ... dQN. (2.83) |
Из решения (2.82) следует, что D траекторий:
II !-»■О |
Ѳі - |
_ ГО |
Ѳ N — |
N — «'іѴ? |
остается постоянной вдоль
(ä 'it = |
0J; |
|
(2.84) |
t ö N t = |
Ѳ| |
Тот факт, что это решение похоже на решение задачи о свободном движении N тел, не является неожиданностью. В новой системе координат — системе Гамильтона — Якоби — все новые импуль сы постоянны. А это эквивалентно ситуации свободно-молекуляр ного течения.
Рассмотрим теперь, каким образом можно обобщить теорию, чтобы учесть взаимодействие частиц, образующих систему. Огра ничимся случаем слабых взаимодействий, т. е. взаимодействий, вызывающих малые возмущения описанной выше ситуации сво бодно-молекулярного течения. В соответствии с этим полный гамильтониан имеет вид
Я = Я 0 (Л, . . ., / jv) + (/j, . . ., J N, ѲІ5 . . ., Ѳдг), (2.85)
где e — малый параметр, а У — взаимодействие. Соответствующее уравнение Лиувилля записывается в форме
i - j f = [А0 + eöÂj D. |
(2.86) |
Вспоминая решение, определяемое равенством (2.60), видим, что удобно перейти от D к новой переменной D :
D -> D ~ exp (itÂ0) D. |
(2.87) |
2.3. Анализ Пригожина уравнения Лиувилля |
75 |
||
D удовлетворяет следующему уравнению: |
|
||
i-^ - = e(e«Âo6Âe-«Âo) D. |
(2.88) |
||
В координатах «действие—угол» |
невозмущенный оператор Лиу- |
||
вилля А0= —m(d/dQ) (см. 2.75), |
так что |
|
|
еііЛо/ (Ѳ) = |
е®ка/вѳ) / (Ѳ) = / (Ѳ + соt). |
(2.89) |
|
Таким образом, оператор |
exp itA0 производит сдвиг |
начальной |
функции плотности для задачи о свободной частице в момент времени t.
Уравнение (2.88) записывается в форме |
|
|||
= |
(X, t) D (х, |
t), |
(2.90) |
|
где К — оператор, явно зависящий |
от |
параметров ж и |
t. Если |
|
D (X, 0) == D 0, то интегральная форма уравнения (2.90) имеет вид |
||||
|
t |
|
|
|
D(x, t) = D0-\-e j К (x, |
t') D{x, t') dt'. |
(2.91) |
||
|
о |
|
|
|
Поскольку 8 — бесконечно |
малый |
параметр, удобно |
искать |
|
решение в виде |
|
|
|
|
D (ж, t) = D0-j- 8Di + |
82D2+ »-. . |
(2.92) |
Подставляя этот ряд в уравнение (2.91) и приравнивая коэф фициенты при одинаковых степенях е, получим:
D0 —D0, |
|
Dx= ^ K D o , |
(2.93) |
Dz = j KDU |
|
Это есть бесконечная последовательность зацепляющихся урав нений, которую формально можно решить до любого желаемого
порядка по е. Подставляя уравнения (2.93) в ряд (2.92), |
получим |
|
t |
|
|
D (ж, t) = D0(ж) + е j |
К (ж, t') Do (ж) dt' + |
|
о |
|
|
I |
I |
|
4- 82 [ |
К (ж, t') J К (ж, t") Do (х) dt’ d f + . . . |
. (2.94) |
76 Гл. II. Уравнение Лиувилля и функции распределения
Отсюда следует, |
что |
решение |
уравнения (2.88) представляется |
|
в форме |
|
t |
|
|
D (/, Ѳ, t) = |
D0 (/, |
еи'Ло0Ае-и'л°30 dt' + . . . . (2.95) |
||
Ѳ) — ie j |
||||
|
|
о |
|
Другой эквивалентный метод решения уравнения (2.86) вытекает из так называемой нестационарной теории возмущений, хорошо известной в квантовой механике. Первый шаг состоит в разложе нии решения D (J, Ѳ, t) по собственным функциям невозмущен
ного оператора Лиувилля А0, а именно по функциям, задаваемым выражением (2.79). Разложение имеет вид
|
D(J, Ѳ, г) = 2 Dn (J, t) фп (Ѳ) exp ( — i 2 |
Щей#}. |
(2.96) |
||
|
|
П |
|
|
|
Подставляя его в уравнение (2.86), получим |
|
|
|||
і 2 |
exp ( — і 2 |
ni®it )-jpDn = |
|
|
|
П |
|
|
|
|
|
|
|
= e8Â 2 |
Аіфп exp ( — i 2 |
щщг j . |
(2.97) |
|
|
П |
|
|
|
Умножая обе части |
этого равенства на оператор |
|
|
||
|
|
2я |
|
|
|
|
|
j |
(Ѳі, • • ) 0Jѵ)> |
|
(2.98) |
|
|
о |
|
|
|
получим |
|
|
|
|
|
І |
Dn’ = S 2 exP ( + i 2 |
I 6ÂI n) X |
|
|
|
|
П |
|
|
|
|
|
|
X exp ( — i 2 |
щей#} Dn(Ju . . . , J N, t) |
(2.99) |
(хотя оператор 8Ä может зависеть от времени, он не содержит операторов производной по времени). В последнем выражении введено обозначение
2я 2я
(n' I 8Â I п) = j |
сЮц . . . j ^Ѳ^ѵфЙ'бЛфп. |
(2. 100) |
о |
о |
|
Уравнение (2.99) — это не что иное, как уравнение (2.88), записанное в особой форме — в так называемом представлении взаимодействия. Метод возмущений, введенный для решения