Файл: Боголюбов, Н. Н. Метод исследования модельных гамильтонианов.pdf

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

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

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

Добавлен: 29.10.2024

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

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

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

Теперь, принимая во внимание формулы (3.19)—(3.25)

получим оценку

для

/го — /г =

a(rv

 

rs\ qp,, . . . . qps)

 

 

 

 

 

2ем,

 

\T

 

(5|3 +

2) .

 

0 < / го- / г < 1 2 л у 5 + - 1 г -

 

2 i

 

 

/бд

 

Н

 

 

 

 

 

 

 

 

 

 

 

Щ

 

 

 

 

 

+

м2/3

 

 

 

 

у

(бр +

2)3/3

(3.26)

 

 

 

^ г ( 4Atf.)2/3

 

6 2/¥

/3

 

 

 

 

 

 

 

 

 

jnd

 

 

 

 

 

 

 

 

 

 

 

 

1<P<s

 

 

 

Заметим, с другой стороны,

что

6р =

//гр,

и выбе­

рем .ft:

 

 

 

 

V, |, . . . .

| VJ

 

 

 

 

 

 

 

 

 

 

 

 

 

таким образом, чтобы Я ^

гр ((3 =

1, . . . ,

s), 6р !> 6 = ///?.

Тогда с помощью очевидного неравенства

( /+

2/?)2/3 ^

< ( / 2/3 + (2 R f3) из (3.26)

найдем

 

 

 

 

 

 

0 < f ro- f r < 1 2 Л у 5 +

20Mi

s (/ +

2/?) -f-

 

 

 

 

 

 

 

 

V I 2

 

 

 

 

 

 

 

 

.

М2'3

(4Mi)2/3 ,

Щ2'3

 

(4 M i )

2/3

 

 

(3.27)

+

j/2/3 s

 

/2/з

+

у2/3

S

'

/4/3

22/3. /?2/3,

Выберем

теперь

произвольное

I >

0

так,

чтобы

12МЛ =

М 213

( 4 М , ) 213 .

тогда

 

 

 

 

 

 

 

 

 

у2 /3 г2/3

 

 

 

 

 

 

 

 

 

 

 

 

 

/ =

Р

 

 

 

 

 

Л42/5

22/5 =

const.

 

 

у 2 /5

>

 

 

З3/5 *

Л-/1/5

 

Подставляя

это

выражение для

I

в неравенство (3.27),

найдем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 < f — f <7 24M s

Р

I

29/VflS

I

 

 

 

 

V ^/r»

 

 

 

^2/5

-f

^3/5^

+

 

 

 

 

 

при

 

|v a |< 7?

( l < a < s ) .

 

 

 

 

 

 

 

 

Отсюда видно, что разность /го — fr исчезает при В-*оо.

Заметим, что в полученной оценке мы можем перейти к пределу va = 0 (1 ^ a =74 s) и окончательно доказать

сделанное ранее утверждение об асимптотической ма­

лости разности

(fH>fHу.

 

 

D

ОО Л/f.o

0 <

/я » ~f a < 2 4 M iуs2/5

y3fip+ ' 2 8 M lS (3.28)

102


Р — несложная

комбинация

начальных

констант Ми

Л42, М3. Ясно

также, что

полученная

оценка имеет

место равномерно по отношению к 0 —> 0, поэтому не­ равенство (3.28) справедливо при 0 ^ 0 .

§ 2. О некоторых свойствах выражений свободной энергии

В предыдущих главах была разработана общая мето­ дика асимптотически точного вычисления одновременных

и многовременных корреляционных функций,

Г-произ-

ведений и функций Грина.

 

 

 

 

Имея в виду приложение

этих общих результатов

к конкретным модельным

системам,

возьмем

систему

с «отрицательным

взаимодействием»,

характеризуемую

гамильтонианом

 

 

 

 

 

Н =

Т 2V

2

g j J a .

(3.29)

 

 

1< а < s

 

 

Здесь ga — положительные параметры ga > 0. Мы будем специально рассматривать здесь те случаи, когда опе­ раторы Т, Ja имеют следующий вид:

T = ^ T ( f ) a faf> Г ( / ) ^ - - р , f

7“ = 2

(3.29*)

 

f

=

( < * = ! , . . . , S).

Но прежде чем перейти

к исследованию именно этих

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

Т е о р е м а 3.1. Пусть операторы Т, Ja

в (3.1)

удовле­

творяют следующим условиям:

 

 

Т = т,

\Ja \ < M lt

 

 

\TJa - J aT \ < M 2,

l / a / p - Z p / a K - ^ - ’

{3-30)

 

=

COnst),

103


и пусть, кроме того, свободная энергия,

вычисленная

на единицу объема, для гамильтониана

Т ограничена

постоянной

 

|/(7 ')K M „ = const.

(3.31)

Построим операторную форму «аппроксимирующего га­ мильтониана»:

Н(С) = Т - 2V 2 ga (CaJa + CaJa - СаСа), (3.32)

а

где С = (Си . .. , Cs), а С,, . .. , Cs комплексные числа. Тогда справедливы неравенства *)

0 < m in f(tf (С))- / ( / / ) <

(3.33)

причем е (1 /V) —>■0 npuV - ^oo равномерно по отношению

к

в

в

интервале

 

(О < 0 ^

0О),

где

0О— произвольная

фиксированная температура**).

 

 

 

 

Приведя формулировку этой теоремы, займемся

сейчас

вопросом о существовании предела

 

 

 

 

 

 

 

Пт /(Я).

 

 

 

 

 

 

 

 

 

V-> эо

 

 

 

 

 

 

 

*)

Условимся всегда

обозначать

через

min f (С)

абсолютный

минимум

 

 

 

 

 

 

 

 

с

 

 

функции f (С) в пространстве всех точек С.

 

 

**) Свободную энергию на единицу объема для

какого-либо

гамильтониана А:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

— (Г In SP е~А/д,

 

 

 

будем

обозначать через

} (А)

или,

если мы желаем

подчеркнуть

ее

зависимость от объема

V,

f v (Л).

 

 

 

 

 

 

Учитывая методику

работы [30],

найдем,

что

 

 

 

 

 

 

 

 

 

 

 

 

A

f ,

 

 

 

 

 

I 1 \

 

2

4 Л

0

9

 

Vg

 

 

 

 

 

U 1

 

 

V I

-

 

1

 

 

где

 

 

 

 

y 2ls

 

у У г р

 

 

 

 

 

 

 

 

 

 

 

 

(

м 2

+ 4 А41 М3 • s

1 у/.

 

 

 

 

 

 

 

 

 

 

 

Д Ve

- т г

h

 

 

 

 

ё

 

 

 

е ' ч

 

 

 

 

 

 

 

 

 

з5/'- м ‘/5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

M i — постоянная, несложно выражаемая через постоянные Ми

М 2,

М 3 и g > 0 — наименьшая из величин g h

g 2,

. . . , g s', s — число

членов

в сумме (3,32).

 

 

 

 

 

 

 

 

 

 

104


Предположим, что кроме условий теоремы 3.1 выпол­ няется следующее условие: для любых комплексных С1; . . . . Cs существует предел

lim f{H(C)}.

V-» оо

Предел этот будем обозначать через ^{Я(С)}. Положим

Fv (C) = f { H ( C ) } - 2 l igaCaCa

и заметим,

что

 

а

 

 

 

 

 

 

 

 

3F.. (С)

2ga (Jа)н (С)>

d+F v (C)

2ga (7a)//

~

 

ес;

дС

 

 

 

 

 

Поэтому, на основании (3.30),

имеем

 

 

d F v

(С)

 

d F v (C)

 

 

 

< 2 g aM„

 

д С п

< 2 g aM,.

 

д С п

 

 

 

 

откуда

 

 

 

 

 

 

1 М С ') - М С " )1 < 4 М ,

2

ga | q - c " | .

(3.34)

 

 

 

l < a < s

 

 

 

Таким образом, система функций

 

 

 

 

{Fv (C)l

 

V->oo,

 

 

является р а в н о м е р н о н е п р е р ы в н о й .

Поскольку в каждой

точке С имеет место сходимость

 

 

 

Fv (С )

Р ,. (С ) =

{ Н (С)} -

2 Sa gaCaCa-

Подчеркнем, что функцию Fv (С) не следует рассма­ тривать в смысле теории функций комплексного пере­ менного. В сущности нетрудно видеть, что Fv (С) является функцией вещественных переменных, за кото­ рые можно принять вещественные и мнимые части пере­ менных Са. Видим, что эта сходимость будет равно­ мерной на множестве Tt(R) точек С, определенном неравенствами

I С ,|< Я ,

|C s |< t f

при любом ф и к с и р о в а н н о м

значении

R.

Поэтому

 

 

\ f v { H(C)}~f oo{H(C)}\ =

 

 

^ ) F v ( C ) - F oo( C ) \ ^ r ]v(R)~>0

(V -> оо) (3.35)

для С е З В Д ,

1Q5


С другой стороны, из (3.34) следует, что

! Fv (С,, С2 , • • •, Cs) - F v (О, С2, . ... С3) |< 4 /И 1§1|С 1|,

откуда имеем

/{Я(С„

С2, . ... С ,)} -/{ Я (О,

С2, . .. ,

С,)} =

=

С2, . .. , Cs) - F v (0,

С2, . . . .

С8) + 2 ^ |С , |2>

 

> - 4 g 1M1]CI | +

2g1|C I |2. (3.36)

Обозначим через

inf f{H(C)}

с

нижнюю грань /{Я (С)} в пространстве точек С. Оче­ видно,

 

/{Я (О,

С2, . .. , C J >

inf /{Я (С)},

 

 

 

 

 

 

 

с

 

 

 

и потому из (3.36)

следует,

что

 

 

 

 

/ {Я (С)} - inf / {Я (С)} >

2g, ] С, |(] С, 1-

2М,).

 

 

с

 

 

 

 

 

 

 

Заменив в

только

что

проведенном

рассуждении

С,

на Са ( се =

1, 2, ... , s),

найдем

также

 

 

 

/ {Я (С)} - i n f /{Я (С)} >

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

> 2 g a\Ca \(\Ca \ - 2 M l)

( а = \ ,

2, . . . .

s).

Отсюда видно, что если хотя бы для одного а

|С а |> 2 М „

то

/ {Я (С)} > inf /{Я (С)}.

с

Поэтому нижняя грань f {Н (С)} на множестве Ш(2М1) р'авна нижней грани этой функции на всем пространстве точек С. Так как /{Я(С)) непрерывна, а множество Ш(2М{) ограничено и замкнуто, то эта нижняя грань достигается на Ш(2Аф), т. е. абсолютный минимум рассматриваемой функции существует и реализуется

внекоторых точках *)

С= C<v>e= Ш(2М1).

С другой стороны, учитывая (3.34) и переходя к пре-

*) Вообще говоря, точка

абсолютного минимума не един­

ственна.

 

Д06