
книги из ГПНТБ / Либов Р. Введение в теорию кинетических уравнений
.pdf2.5. Динамика системы, выраженная через функцию f N |
97 |
Предположим, что мы применили к нему преобразование замены. Исходное состояние показано на рис. 2.14, а. Штриховой линией изображено взаимодействие. Стрелки на штриховой линии указы вают частицу, на которую действует сила. Преобразованное
а |
6 |
Р и с . 2.13. Перестановка неидентичных частиц; состояния не инвариантны; dld2cßf (1,2,3) ф dUU2f (1,3,2).
а — начальное состояние; б — состояние после замены.
30
а
Р и с . 2.14. Перестановка при наличии взаимодействия. Для идентичных частиц состояния инвариантны; dld2d3Gi2/ (1,2,3) = dld3d2Gi3/ (1,3,2).
а — начальное состояние; б — состояние после замены.
состояние изображено на рис. 2.14, б. Соответствующая диаграм ма для неидентичных частиц представлена на рис. 2.15.
Преобразованное состояние в случае идентичных частиц
[ - ^ - ф ( хі, X3) j / 3(z1, z3, z2), |
(2.170) |
7—0І243
98 Гл. II. Уравнение Лиувилля и функции распределения
очевидно, совпадает с исходным состоянием:
[ ^ - ф ( х ь x3) ] / 3(z1, z3, z2) = [-^ -(p (x b x2) ] / 3(zb z2, z3) (2.171)
(обе части равенства умножаются на dz1dz2dz3). Таким образом, два интеграла в (2.165) идентичны. Более того, все N — s(j) интегралов в уравнении (2.164) совпадают.
Интегралы не зависят от выбранного нами значения /. Для
удобства положим / = |
s + 1. |
В результате |
получим |
s |
N |
Jdz•+» • • • dzN<?ijfN= |
|
2 |
2 |
||
г=1 |
j= s + 1 |
|
|
s |
j dzs+l ... dzN |
|
|
= ( N s ) 2 |
fN- (2.172) |
||
t=i |
1 |
|
|
Учтем последнее замечание, которое дает возможность дальней шего приведения интегралов. Потенциальный член в подинтег-
Р и с. 2.15. Перестановка при наличии взаимодействия. Для неидентичных частиц состояния не инвариантны; dld2d3Gl2f (1,2,3) ф did3d2G13f (1,3,2).
а — начальное состояние; б / - состояние после замены.
ральном выражении не зависит ни от каких переменных интегри рования, кроме zs+1. Вспоминая, что
^ Іы dZs+ 2 ■■• dzN = fs+1, |
(2.173) |
мы можем переписать правую часть равенства (2.172) следующим образом:
(2.174)
І=1
2.5. Динамика системы, выраженная через функцию f -ң |
99 |
Выражая интегралы в последней сумме через функцию распреде ления Fs, получим
S |
|
2 ^ 7 - J dzs+lGi,s+iFs+1, |
(2.175) |
І~1 |
|
где G;, S+1 — сила, действующая на частицу с номером і со стороны частицы с номером s + 1:
Gb s+l = |
Фг. s+l’ |
(2.176) |
Мы можем теперь записать уравнение (2.163) в окончательной форме:
- L f . + U . + ^ |
2 - ^ 7 - j ^ s+1Gt. l+1F'+i = 0. (2.177) |
|
г= 1 |
Совокупность этих уравнений называется ББКГИ-уравнениями (Борн, Боголюбов, Кирквуд, Грин, Ивон). Запишем в явном виде первые два уравнения. Первое уравнение
9F1 |
Рі |
д |
+ |
|
jd z 2GIl2F2= 0 |
(2.178а) |
|
dt |
т |
öxj |
|
||||
далее всюду будет называться БИ!- Уравнение |
|
|
|||||
dF2 |
, / /Р Рі |
о д |
. р2 |
д \ |
^ |
д |
|
dt |
\ т |
дхі |
т |
dx■■)f 2 + Gu |
|
|
|
+ G , ,. -L - F , + ( ü y l ) ( |
■ j |
A + i f T ■J |
л ) = 0 |
||||
мы назовем БИ 2 и т. д. |
|
|
|
|
(2.1786) |
||
|
|
|
|
|
Задача 2.15. Показать, что из уравнения (2.1786) следует урав нение (2.178а).
Вся совокупность уравнений образует систему N зацепляющих ся интегро-дифференциальных уравнений для последовательности приведенных распределений F\, F2, ■■., FN. Единственным авто номным уравнением является последнее, которое представляет само уравнение Лиувилля. (N — 1)-е уравнение содержит F
и F n . Е сл и уравнение Лиувилля решено для FN, то в принципе (N — 1)-е уравнение можно решить для F N^ . После того как F найдена, (N — 2)-е уравнение является тогда уравнением для един ственной неизвестной F N^2 и в принципе также может быть реше но. Таким образом, после того как мы найдем F N, оставшуюся сис тему ББКГИ-уравнений можно последовательно решить для рас пределений более низкого порядка. Однако существует, разумеет ся, более простая процедура: если F N известна, то Fs получается
7*
100 Гл. II. Уравнение Лиувилля и функции распределения
из соотношения
Fs = Vs~n J FNdzs+l . .. dzN |
(2.179) |
по определению. При таком формальном подходе ББКГИ-уравне- ния являются бесполезными. С другой стороны, кажущийся логи чески несостоятельным метод решения, когда сначала находится Fi, имеет важное значение в теории неравновесной статистической механики.
Сейчас мы ненадолго вернемся к анализу Пригожина, для того чтобы установить связь между коэффициентами разложения Фурье в равенстве (2.103) и приведенными распределениями f s. Для этого сначала запишем разложение функции f N, аналогичное разложе нию функции D:
/ л г ( Р і , • • • » Р N , *1, |
XN , * ) = |
2 / { k > ( P l , |
Р N , t ) X |
|
X ф{к} (Xi, . . |
{k> |
(2.180) |
|
Хдг). |
Эти ряды чрезвычайно сложны. Чтобы выписать явно характерный член ряда, потребуется около 1011 лет (если считать, что для систе мы из ІО22 частиц за секунду можно выписать 3 к-векторов). Но положение не является столь плохим. Дело в том, что для макро скопической физики наиболее важными коэффициентами / {к) будут те, у которых почти все к-векторы нулевые. Имея в виду именно этот случай, упорядочим члены записанных выше рядов.
Пусть fo (0) — коэффициент Фурье, у которого все к-векторы нулевые, Д (кг) — коэффициент Фурье с единственным ненулевым
к-вектором, относящимся к 1-я частице, / 2 (кг, к т ) — коэффициент Фурье только с двумя ненулевыми к-векторами для частиц I и т соответственно. Подробно это можно записать так:
/г (к;, к т ) = До, о, ..., kj, о....... |
о, к т , о, ..., о>- |
(2.181) |
Эти коэффициенты зависят от импульсов. Ряды (2.180) в таких обозначениях примут вид:
N
|
f N ~ |
<2 чзгѵ yN { /о (0) + "=" 2 |
2 |
(kj) exp (гк;- • xj) + |
||||
|
|
N |
' |
|
3 |
kj |
|
|
|
|
|
|
|
|
|
|
|
+ |
-=T 2 |
2 |
2 |
(і + ^ б к ^ г Ш 5^ ’ |
кг)ехр[г (кг х; + |
кг-хг)] + |
||
|
|
}<l |
hj |
hl |
|
|
|
|
|
|
2V |
|
|
|
|
|
|
|
|
2 2 2 2 ( ^ ^ ( ß k j + k ^ ö b j + t m + ö k j + k n . + ö k ^ + f c j + k j ] X |
||||||
|
3 <l<m |
к j |
к г |
k m |
|
|
|
|
X Тз (к;, |
k;, |
km)exp[i(kr x ^+ k z-xz + km.xTO)]-f- . ..} , |
(2.182) |
|||||
где |
V = |
Ѵ/(2л)3. |
|
|
|
|
2.5. Динамика системы, выраженная через функцию fjf |
101 |
|
В таком представлении функция /„ при s |
обращается в нуль, |
если любой ее k-векторный аргумент равен нулю. Например,
% (к; , 0, к т ) = 0.
Согласно определению, такой элемент уже включен в суммирова
ние в членах /2.
Разделение слагаемых на члены, включающие в себя коэффи циенты Фурье с нулевой суммой к-векторов (Sk* = 0), и на члены, не обладающие этим свойством, обусловлено следующими сообра жениями. Когда f N описывает пространственно-однородную систе му, то
I n (Рі > • • ч Рлг5 хі + а 5 х2 + |
а, |
. . ., |
х^-ра) = |
|
|
I n |
(Pii • |
■■! |
Pifi |
xi5 x2t • • ., Xjv). |
(2.183) |
Тогда из разложения (2.180) следует, что |
|
||||
2/{k>exp(t 2 кг хг) = |
2 /{k> ехР (i 2 |
kr xz)exp(ia-2kz). |
(2.184) |
||
{k} |
{k} |
|
|
|
|
Это равенство справедливо, если |
|
|
|||
/{k} = 0, |
когда |
2 k^ ° - |
|
Отсюда вытекает, что дополнительные коэффициенты имеют осо бое значение в однородном случае.
Возвращаясь к нашему анализу, перейдем теперь к термоди намическому пределу
N
N —^oo, V —>оо, ~у = const.
В этом случае суммирование по к переходит в интегрирование
согласно |
правилу |
|
|
|
|
|
|
||
|
|
|
|
|
1 |
2 |
- j * . |
|
|
|
|
|
|
|
V |
|
|
|
(2.185) |
|
|
|
|
2 |
ö k ^ |
J dk8 (к), |
|
||
|
|
|
|
|
|
||||
и разложение |
(2.182) |
примет |
вид |
|
|
||||
|
|
|
|
|
N |
|
|
|
|
Ы х, Р, |
t) = |
{ /о (0) + |
2 |
J *j/i(k>)exp(ikr x,-) + |
|
||||
|
|
N |
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
2 |
j dkj j |
dkiJ2(kj, |
кг)ехр[і(кг х;- + |
к г хг)] + |
|
||
|
|
3<l |
|
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
+ |
2 |
j |
dkjJ2(kh —k7-)exp [ikr (x; — x;)] + |
• • • } • |
(2.186) |
3<l
102 Гл. II. Уравнение Лиувилля и функции распределения
Рассмотрим теперь обращение этого уравнения. С этой целью сна чала подействуем на него оператором
j dp4 . . . dpN dxi . . . dxN.
Уцелеет только первый член, поскольку /8 обращаются в нуль вместе с любым из своих к-векторов (s ^=0). В результате имеем
j fN dpi . . . |
dpN dxi . . . |
dxN = 1 = \ /о (0) dpi ... dpN. (2.187) |
Чтобы получить выражение для /t (кг), подействуем на уравнение (2.186) оператором
j dpi . . . dpNdxi . . . dxi-idxi+i . . . dxN.
Придем к следующему результату: |
|
j /jv Ф і • • • dpNdx± .. . dxi^ dxi+i . . . dxN = nt (xb |
t) = |
= _f [ 1 + [ dki7i(kz)exp(tkr xi)dp1* . |
. dp^] . (2.188) |
Функция Ыщ = n —- это числовая плотность частиц (или плот ность числа частиц) в динамике жидкости; о ней мы будем гово рить в начале гл. III.
Чтобы |
получить выражение для / 2 (km, kft), подействуем |
на (2.186) |
оператором |
^ <7рі . . . dpjy . .. dxm_i dxm+i .. . dxft^i dxft+i ■. • dx^T.
В результате получим
j fN dpi . . . dpN dxi ... dxm_j dxm+1 . .. dxh_t dxh+l . . . dxN =
= n2(xm, |
4 г |
I n |
Xh, t) = -y- |
(Xm, t) -f Щ (xk, t) — — J + |
+ -Щ { j dkm d k j 2(km, kft) exp [i (km-Xm+ k^.Xft)] dpj ... |
dpN+ |
+ j dkmfz (km, —km) exp [ ikm-(xm —x,,)] dpt . . . dpN } . |
(2.189) |
Функция V*n2 = g — это радиальная функция распределения, хорошо известная в кинетической теории жидкостей. С этой функ цией мы ознакомимся более подробно в гл. III.
В пределе, при однородном распределении, уравнения примут вид
п = Nni(xi, t) = ~y = const, g = Vzn2{xm, xh, t) =
= 1 + j dkf2(k, — k) exp [tk • (xm —xh)]dpl . . . dpN. |
(2.190) |
|
2.6. |
Условные и 1-числовые функции распределения |
103 |
|
Задача- |
2.16. |
Получить соответствующее выражение |
для |
|
п3 (хь Xft, |
xh, |
t) |
в однородном пределе. |
|
Функции ns связаны с приведенными s-частичными функциями распределения через интегралы:
Щ(хь |
if) = |
[ Л (рі, хи t) dpt, |
|
||
n2 (xu |
x2, |
i)= |
j/2(Pi, p2, |
x1; x2, ^dpjdp.,, |
(2.191) |
(x1; . . . , |
x8, |
t) = |
j fsdpj . . . |
dp3. |
|
Задача 2.17. Вывести формулы, аналогичные равенствам (2.187), (2.188) и (2.189) для пространственно-приведенных функ ций распределения импульсов:
Фо (Pi • • •, Piv, t) = j dxt . . . dxNfN,
Фі (Pi, • • •, Pjvi хь t)= j dxi ... dx^idxM . . . dxNfN,
Фг(Рі, •••, Рх, хь хЛ, /) =
= j dxt . . . dx;_! dx;+1 . . . d x ^ dxh+1 . . . dxNfN.
Задача 2.18. а) Какой вид имеют «зацепляющиеся» уравнения,
описывающие эволюцию во времени функций fs (k;, k;-, . . .)? б) Каков характер этих уравнений для однородного газа?
2.6. Условные и /-числовые функции распределения
а) Условные вероятности
Мы увидим, что при некоторых исследованиях удобно обозна чить точки фазового пространства числами. В этих обозначениях число 2 есть фазовая точка z2 = (р2, Чг)> а d 2 — элемент фазового объема dp2dq2. Двухчастичная функция распределения записы вается как / 2 (1,2). Произведение / 2 (1,2) dld2 определяет вероят ность того, что частица 1 находится в фазовом элементе dl около 1,
а частица 2 — в фазовом элементе d2 около 2. |
Функция |
/ 2 — |
||
это совместная вероятность. Аналогично f N (1, |
2, . . ., |
N) |
X |
|
X dld2. . . dN есть совместная вероятность того, |
что частица 1 |
на |
||
ходится в dl около 1, частица 2 —в d2 около 2, |
. . . и частица N |
в dN около N.
Кроме |
совместной функции распределения можно определить |
условную |
функцию распределения, которая записывается как |
Ц1) (1 12, |
3, . . ., I). |
104 |
Гл. II. Уравнение Лиувилля и |
функции |
распределения |
|
Эта функция такова, что |
|
|
|
few (1 I 2, 3, . . |
I) di |
(2.192) |
представляет собой вероятность нахождения частицы 1 в состоянии dl около 1 при условии, что частица 2 находится в состоянии 2, 3 — в состоянии 3, . . . и I — в состоянии I. В случае, когда все частицы не зависят одна от другой, feW(1 | 2, . . ., I) dl становит ся просто вероятностью того, что частица 1 находится в состоянии
di около 1, т. е. она равна Д (1) |
dl. Таким образом, |
для незави |
||||
симых вероятностей |
|
|
|
|
|
|
h[D(i |
|2 , |
3, . . ., |
I) di |
= |
fa (1) dl, |
(2.193) |
или, что то же, |
(1 |
I 2 , . . . , / ) = |
fi |
(1). |
(2.194) |
|
h f |
Этому равенству противопоставляется форма произведения сомно жителей
/ г (1, 2, . . . , I) = /і (1) fi (2) . . . h(l), |
(2.195) |
на которые расщепляется Д в случае, когда все частицы незави симы.
В общем случае fa и few связаны соотношением
^012. •••• г>—тттНгтттпг - |
<2Л96> |
||
(Отметим, что у функции / г_4 |
(2, . . ., |
I) первая цифра 2 обозна |
|
чает состояние частицы 2 и т. д.) |
|
|
|
Для I частиц можно ввести также другие условные распределе |
|||
ния вероятности. Например, |
few (1, |
2 | 3, . . ., I) |
такова, что |
feW (1, 2 I 3, . . |
., I) did2 |
|
(2.197) |
есть вероятность того, что частица 1 находится в состоянии di около 1 и 2 в состоянии d2 около 2 при условии, что 3 находится в состоянии 3, 4 — в состоянии 4 и т. д. Соотношение между Д и feW имеет вид
fef ( 1 , 2 1 з , . .. , о = - ^ - -у |
• |
(2.і98) |
Для случая независимых вероятностей |
|
|
fe(0(l, 2 |3 , . . ., I) = / , (1) fl |
(2). |
(2.199) |
Задача 2 19. а) Как связаны между собой few и / г (TV > |
/! > п)? |
б) К какой функции сводится few в случае независимых веро ятностей?
б) Уравнение Чепмена — Колмогорова
s-частичное совместное распределение /8 (1, . . ., s, t), отне
сенное к начальному состоянию (10, . . ., s0, ^о)> принимает форму условного распределения.
2.6. Условные и 1-числовые функции распределения |
105 |
Соответствующая функция распределения такова, что
f sd\ . . . |
ds |
I с начальными ~*" |
|
|
|
|
условиями |
|
|
n s (1, 2, . . ., s, |
t I |
lg, 2g, . . |
Sg, t0) di.. . .ds |
(2.200) |
является вероятностью нахождения системы из s частиц в состоя нии dl . . .ds около (1, . . ., s) в момент t при условии, что в момент t0 система находилась в состоянии (10, . . ., s0) х). Такая функ ция удовлетворяет хорошо известному в теории вероятностей уравнению Чепмена — Колмогорова 2)* (или Смолуховского). Это уравнение получается следующим образом. Сначала мы запишем (2.200) в таком виде:
П (z, t I z0, to) dz. |
(2.201) |
Поскольку в момент t система, очевидно, находится в некотором состоянии, то П подчинена условию нормировки:
f |
П(г, 11z0, t0)dz = 1. |
(2.202a) |
J |
|
|
Точно так же очевидно, что за нулевой интервал времени состоя ние системы не изменится, следовательно,
П (z, t0 I z0, t0) = 8 (z — z0), |
(2.2026) |
где 6 — дельта-функция Дирака. |
t' < t. |
Пусть t' — любой промежуточный момент времени, t0 < |
Достигнув состояния z в момент t, система должна была пройти
через некоторое состояние z' |
в момент t'. |
Отсюда следует, что |
П (z, t\z0, *0) = ^ П (z, |
t\z , С)П(г', |
t' I z0, t0) dz'. (2.203) |
Мы получили непрерывную форму уравнения Чепмена — Кол могорова. Его также называют допущением Маркова. Смысл послед него уравнения становится совершенно ясным, если рассмотреть более общее уравнение, из которого следует (2.203) (переменная t в записи опущена):
|
П (z I zo) = j П (г I z', |
zg) П (z' ] z0) dz'. |
(2.204) |
Функция |
П (z I z', z0) определяет |
вероятность того, |
что система |
в момент |
t находится в состоянии z при условии, что она была |
в z' в момент t' и в z0 в момент t0. При сведении уравнения (2.204) к вырожденной форме (2.203), мы вводим предположение, что сис
0 П8 также называется «двухвременной функцией распределения». 2) Kolmogorov A. N., Foundations of the Theory of Probability, Chelsea,
New York, 1950; E. Parsen, Stochastic Processes, Holden-Day, San Francisco, 1962; and Smoluchowski M. V., Physik., Z., 17, 557 (1916).
106 Гл. II . Уравнение Лиувилля и функции распределения
тема «потеряла память». В уравнении (2.203) вероятность П (z | z', z0) не зависит от того, где была система в момент t0. Описываемый таким уравнением процесс называется марковским.
Чаще встречается запись уравнения Чепмена — Колмогорова через интервалы т = t' — t0 и о == t — t '. Изменения в обозна чениях таковы, что
П (z, t I z0, t0) = П (z I z0; a + t). |
(2.205) |
В силу этого равенства П не зависит от t0. Тогда уравнение Чепмена — Колмогорова примет вид
П (z 1z0; т -f- о) = j П (z 1z'; о ) П (z' |z0; t ) dz , |
(2.206a) |
или, что эквивалентно,
ГТ (z 1z0; X)= \ П (г|г', X— т)П(г' 1z0; t ) dz'. |
(2.2066) |
В квантовой механике состояния z могут образовывать дискрет ное (счетное) множество. Для учета этого изменения запишем:
z -> I; I = 0, 1, 2, . . .
П (z 1z'; t) |
П (Z|Z'; t). |
(2.207) |
При таких условиях интегральное уравнение (2.2066) примет вид
П(Т|Т0; Х) = 2 П (/.|Д |
X — т) П ( / 1/0; т). |
(2.208) |
§ |
|
|
Условие (2.202) запишется в виде |
|
|
S П (Z1l0; |
X) = 1, |
(2.209) |
1 |
|
(2.210) |
П (11/0; 0 )= б 11о. |
Рассмотрим теперь как получается так называемое основное уравнение, или уравнение Паули1), которое, как часто говорят, представляет собой квантовомеханический аналог уравнения Лиувилля. Чтобы вывести это уравнение, рассмотрим вероятность того, что за малый интервал времени At система переместится из состояния і в состояние I. Для I =А/ эта «переходная вероят ность» стремится к нулю вместе с At, и мы получим, что
П (Z1j ; At) = aijAt-f- ... (І ф ] ). (2.211)
Коэффициент aij — это скорость переходной вероятности. Когда |
||
I = |
вероятность П (I | Z; At) стремится к единице при A |
t 0. |
Кроме того, она должна всегда оставаться положительной. Отсюда |
||
г) |
Pauli W., Festschrift zum 60. Geburtstage А. Sommerfelds, |
Leipzig, |
1928, L. Van Hove, in Ergodic Theories, Course 14, Academic Press, New York, 1960, and B. R. A. Nijboer, in Fundamental Problems in Statistical Mechanics, ed. E. G. D. Cohen, Interscience, New York, 1962.