Файл: Кудрин, Л. П. Статистическая физика плазмы.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 15.10.2024

Просмотров: 177

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Отсюда следует:

 

[/ (%]„. п = 2

I «п. к I2 / (А) > 2 | «п, к Г / (Лп. п) +

к

к

+ X | «п. к I2 - Ап, п) Г ( А п , п) = / ( А п . п) .

К

Суммируя обе части этого неравенства по полному набору со­ стояний п,получим

 

Sp/C4)> l/O V n ) .

(38.3)

Положив

теперь f(x) = ехр(|3х),

A = \iN—Я,

получим неравен­

ство для

статистической суммы

большого

канонического ан­

самбля

 

 

 

ZN = S pp>=Spexp[P(|x5v — Я )]> >>хр[р(рЯп — Яп „)], (38.4)

где р — матрица плотности, а суммирование проводится по любому набору ортогональных состояний. Неравенство становится более сильным в случае неполного набора.

Свойство выпуклости экспоненты используется для доказа­ тельства вариационного принципа Н. Н. Боголюбова. Содержа­ ние его заключается в следующем. Если гамильтониан системы представить в виде суммы

Я = Я0 + Я1;

(38.5)

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

 

F < F a + БрД ехр)— РЯ0)/2о>

(38.6)

где

F q и Z0 — соответственно свободная энергия и

статистиче­

ская

сумма канонического ансамбля, описываемого

гамильто-

 

 

пианом Я0. В частности, Я0 может соответствовать, конечно, си­

стеме невзаимодействующих частиц, тогда Я i — гамильтониан взаимодействия.

Докажем это утверждение. Предварительно установим пра­

вило дифференцирования оператора ехр (Я (Я)} по

численному

параметру Я. Для этого воспользуемся очевидным

соотноше­

нием

 

ехр [Я (Я) /] = Я (Я) ехр [Я (Я) /],

(38.7)

378


откуда

 

 

 

 

 

 

 

 

 

exp [Я (A) t] = H (к)

exp [Я (A.) t\ +

 

 

 

 

+

— J~~ exp [Я (A) t],

(38.8)

 

 

 

 

OK

 

 

Введем оператор

/ ч

 

такой, что

 

 

V(t),

 

 

 

 

 

ехр [Я (А) /] =ехр [Я (A) t] V (t).

(38.9)

Вид оператора

V (i)

и нужно установить. Согласно выражениям

(38.7) и (38.8),

 

 

 

 

написать

для неизвестного оператора V можно

дифференциальное уравнение

 

 

=

ехр [—Я (A) t]

ехр [Я (А) /].

(38.10)

dt

 

 

оК

 

 

Поскольку при / = 0

- - е х р {Я(A) t) = 0,

то начальное условие имеет вид

 

Р (0) = 0.

 

(38.11)

Поэтому

л

^

 

 

t

 

 

V (0 = j* ехр [— Я (А) т] дНа^ ~ ехр [Я (А) т] dx.

(38.12)

о

 

 

 

 

Полагая в выражениях

(38.9)

и (38.12)

2= 1, получаем

 

 

1

 

 

 

■4т ехр [Я (А)] = ехр [Я (А)] ( ехр [—Я (А) т]

ехр [Я (А) т] dx.

дл

.'

 

оК

 

 

о

 

 

(38.13)

 

 

 

 

Этим выражением и определяется закон дифференцирования

рассматриваемого оператора.

/X /X

Докажем теперь следующую лемму: если А и В — два эрми­ товых (самосопряженных) оператора, то имеет место следую­ щее свойство выпуклости:

Брехр(Л + АВ) > 0.

(38.14)

379



Действительно, используя равенство (38.13) при подстановке

Н (X) =А + ХВ и производя под знаком следа циклическую пере­ становку операторов, получаем

 

Sp exp (A -f ХВ) —■Sp В exp (Л

ХВ).

(38.15)

 

U fa

 

 

 

 

 

 

 

Используя равенство (38.13) еще раз, получаем

 

 

 

■^г Sp exp (А + ХВ) = Sp В exp (А + ХВ) X

 

 

д№

 

 

 

 

 

 

 

 

X \ ехр [—(Л+ кВ) т] В ехр [(Л +

КВ) х] dx.

(38.16)

 

о

 

 

 

 

 

/S

Пусть

далее |п > — собственные функции

 

оператора А + ХВ, а

Бп= < п |А-\-ХВ | пД> — собственные значения этого оператора.

Тогда

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

Sp ехр (А ХВ) =

 

< п

| Я | П1>

j" ехр (—emx) X

 

 

п,

ш

 

 

 

О

 

 

X < т

| В | п > ехр(епт)с(т = \

N

■'Р*’

• *

 

Реп __ „ет

 

Ч

< п | В | ш >

|2 --------------- > О,

 

4

Ш

 

 

 

^ГП

 

 

 

П ,

П1

 

 

 

 

 

что и требовалось доказать.

В последней строке было нспользо-

 

 

 

 

 

 

 

 

вано свойство эрмитовости операторов А и В и свойство выпу­ клости экспоненты

(е‘ — &')1кх — у) > 0.

Из неравенства (38.14) вытекает важное следствие. Так как

Ц2/ (х)/дХ2 > 0,

то

/ ( Я ) - / ( 0) - Я / '( 0) > 0.

Отсюда следует неравенство для сумм диагональных матричных элементов:

Брехр(Л X ХВ) > БрехрЛ + A Sp В ехр Л.

(38.17)

Применим его к оценке статистической суммы ZjV= Spexp(—рЯ)

для канонического ансамбля (число частиц в системе

фиксиро­

вано). Пусть Я = Я0 + Яц Л = —рЯ0; В = —р(Я,—s);

Я=1; s —

произвольное число. Тогда

 

Sp ехр [—р (Я0 -т- Hj)] > ехр (—Ps) [Sp ехр (— РЯ0)—

— Sp р (Я — s) ехр (— РЯ0)].

3 8 0


Определив s из условия максимума правой части этого нера­ венства, получим

Sp Нхехр (— р

//0)

(38.18)

 

Sp ехр (— ряо)

Следовательно,

Sp ехр [— р (Я0 + Нг)] > ехр (—0s) Sp ехр (— 0Я9).

Поскольку свободная энергия F = (l/p)lnZjV, то вместо этого неравенства получим неравенство (38.6), что и доказывает спра­ ведливость рассматриваемого вариационного принципа.

Рассуждая совсем просто, можно сказать, что вариационный принцип Боголюбова определяется двумя обстоятельствами: тем, что матрица плотности зависит от энергии системы экспонен­ циально, и потому, что

ev > 1 + х.

Конечно, кроме этого неравенства, молено написать и менеесильное:

еЛ' > 1 + х + -у-,

и вообще экспонента не меньше суммы конечного числа членов ряда, ее представляющего. Очевидно, что учет все большего чис­ ла членов разложения, т. е. все более полное использование свойств выпуклости экспоненты, ведет к все более слабым нера­ венствам при оценке свободной энергии системы. Иными слова­ ми, оценка для свободной энергии, оставаясь все время оцен­ кой сверху, будет приближаться к истинному значению свобод­ ной энергии. Конечно, каждое новое приближение должно силь­ но усложнять вид самого неравенства, и мажорантная теорема не будет выглядеть столь же просто, как в (38.6).

Оказывается, что вариационный принцип Боголюбова мож­ но получить как следствие вариационной теоремы Пайерлса, представляющей собой несколько более сильное утверждение. Рассмотрим комплексную функцию f(x)=exp(—0х), которую можно разложить в окрестности произвольной точки х:

f(x) = / ( х ) + ( х - х ) П х ) + . . . +

—Т )-1- / (2я- ' }(-V) -1-

В написанном разложении Тейлора член R^n пропорционален 2/г-й производной от f(x), причем коэффициент пропорциональ­ ности положителен. Для комплексной функции ехр(—0х) все четные производные положительны, так что

f (х) > f (х) + '— х) f (х) + • • ■+ ^ (2л — 1)! ^

)

281