Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Либов Р. Введение в теорию кинетических уравнений

.pdf
Скачиваний:
13
Добавлен:
25.10.2023
Размер:
13.16 Mб
Скачать

2.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.65)

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.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)

 

 

П

 

 

 

Умножая обе части

этого равенства на оператор

 

 

 

 

 

 

 

 

 

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), записанное в особой форме — в так называемом представлении взаимодействия. Метод возмущений, введенный для решения

Соседние файлы в папке книги из ГПНТБ