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

книги из ГПНТБ / Боголюбов, Н. Н. Метод исследования модельных гамильтонианов

.pdf
Скачиваний:
27
Добавлен:
19.10.2023
Размер:
6.02 Mб
Скачать

Теперь

воспользуемся

неравенством

| а ( г и . . .

,r s\ q p 1(. . . .

Ф , ) а| ( г< и ! . . . r,s ; . .. . . . . . . . . Ф , ) —

—a(£i,

•••,

L; л.........

+

 

 

•••>

Л1........

п ,Ж

 

 

 

 

да

 

 

I ~Ь

 

^

 

да

Фа — %

I +

 

 

 

 

д г а

 

 

 

йфа

 

1^

а < s

 

 

1< а < s

 

 

 

 

 

 

 

 

 

+ 1а(£„

• ••> £s!

Ли •••>

Л^) 1>

(3.19)

и возьмем

в нем

 

 

 

 

 

 

 

 

 

Га + К 1 а < Г а + 21,

фа < Ла < Фа + ?>а,

 

 

так,

чтобы

 

 

 

(I ^ а ^

s)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(£i

• •. L:

Ль • • •> Л*) =

+

 

 

 

 

 

 

 

 

г^+2/

гs+2/

Cpj+6j

 

 

 

 

 

 

 

 

С ...

 

f

d r

f . . .

[

</ф я (г,

ф)

Т Т

(Та)

 

__ r , + Z

 

r s + l

 

Ф,

ф*

 

 

 

1 < а <

---- ,

(3.20)

 

 

^

 

Д

 

{ [(/-а +

21Y -

( Ла +

О2] ба}

 

 

 

 

 

 

 

 

 

 

1< а ^

5

 

 

 

 

 

 

 

 

где

обозначено:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d r

d r {

d r s ,

 

 

 

 

 

 

 

 

 

 

d(f =

с?ф1

 

.. й?ф5,

 

 

 

 

 

 

 

 

 

r =

( n,

 

 

r s),

 

 

 

 

Отметим, что

 

Ф = ( Ф 1 ,

• •. ф*).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

df

< 2Ми

 

df

<

2М,ГV ,а

 

 

 

 

 

 

дга

дфа

 

 

 

 

 

 

 

 

 

 

 

 

(3.21)

 

 

 

 

да

< 4 М„

 

да

 

AM На-

 

 

 

 

 

 

 

 

 

 

 

 

 

д г а

<?Фа

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому два первых члена в неравенстве (3.19) можно

оценить следующим

образом:

 

 

 

V

да

1+ 2

 

да

Фа — Л а К

 

д г а

 

<3фа

 

1< а < s

 

1< а < s

 

 

 

 

< 4M ,s- 2/ +

4М,

 

s — \2Mxsl.

(3.22)

Выражение а (|,,

. .. ,

gs;

т),,

. .. ,

т]^) ограничим, ис­

ходя из

формул (3.17),

(3.20).

Подставим (3.18)

в пра-

100

вую часть неравенства (3.17). Умножим, далее, (3.17) на произведение rx-r2 ... rs и проинтегрируем его по

всем

значениям переменных г,, . .. , rs, ф1( ...,<р4 в сле­

дующих пределах:

 

 

 

 

 

 

 

Га +

^

га <

га + 21,

6а =

Цга

( l < a < s ) ,

 

 

 

 

 

 

Фа ^4 Фа ^

Фа +

Йа.

 

 

Тогда

получим

 

 

 

 

 

° <

J

•••

/ а (П> •••> rs\ ф,........ ф,)Х

 

 

 

 

 

 

X Г{ ■г2 . ■. rs drx ... drs d(fx ... dys<

^

2

V J ' ' ' J

(r2 ' r3 • ■•

rs) +

F2 {rx• r3 ...

rs) + ...

 

• • •

+

Fs(rx -r2

... rs-x)}drx ... drsdq>x ...

dys +

+

 

 

J • • • J I ' r

 

r. ) + Fr

 

 

. . .

+

F2J3(r, • r2 ... /-y3)) dr{ ...

drs dq>x ...

(3.23)

здесь

д

 

 

 

 

 

 

 

 

 

 

 

.

д ( - П

 

 

 

 

(1 < a < s ) .

 

 

дга

a

дга

 

 

 

 

 

 

 

 

 

 

 

 

Рассматривая отдельные члены суммы (3.23), перед ко­

торыми стоит множитель 0/(2 V), видим,

что их можно оце­

нить, проведя последовательное интегрирование по га, фа в каждом из них ( l ^ a ^ s ) и полученные при этом

первые производные

дf

df

0 Фа

-X- ограничить с помощью

 

иг а

неравенств (3.21); тогда для всех членов этой суммы найдем

0

^

2Mi (6р + 2)

П {(ra + 2/)2- ( r u + /)2}6a. (3.24)

2V

2 j

i . 2s-1 6r

 

i <p<s

Р

^ a < 5

Применяя неравенство Гёльдера и проводя аналогичные

рассуждения

для всех членов суммы,

перед которыми

 

М 2/3

 

 

стоит множитель ■~2/3 , получим

 

М 2'3

((бр + 2) 2Мх)2/3

п «Л, +

20г - ( г „ + (Л6„.

£

2s-h2l4 f

K K s

 

 

(3.25)

 

 

 

101

Теперь, принимая во внимание формулы (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

делу V-»oo, найдем

I < a < .у 1

Отсюда, дословно повторяя только что проведенное рассмотрение, убеждаемся, что и функция

U tf ( 0 } = /%o(C) + 2 2 g ac ac a a

имеет абсолютный минимум в пространстве всех точек С, который реализуется в некоторых точках

С = С е 1 (2М1).

Имеем теперь из (3.35)

L (Я (С(Ю)} ~ / (Я (С^>} < % (2ЛГ,),

Т { Н ( С ) } - и н (С )}<% (2М1).

Но, по определению абсолютного минимума,

L (я (с^>)} > L {я(С)}, f(С)} > f {н (С<^>)}.

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

f»{W (C)}-f{W (CW )}<%, (2М,),

Или

I f . {Я (С)} - m in /{Я (С)}|<6„,

с

где

6V, = %(2М 1)-1д ^ > 0 .

Принимая теперь во внимание теорему 3.1, получим окончательно

~ b v < L {Я (С)} - f (Я) < е ( ^ ) + 6„.

Итак, мы доказали сейчас следующую теорему.

Т е о р е м а 3.2. Если выполнены условия теоремы 3.1 и если для любых комплексных значений Сх, ...» Cs существует предел

U { H ( C ) } = Пт / { Я ( С ) } ,

то

1) эта предельная функция имеет в пространстве всех точек С абсолютный минимум, который реализуется

107

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

C = C e l (2M,)j

2)справедливы неравенства

-by < L {Я (С)} - / (Я) < е (-1) + б„,

где

 

 

 

e (-f)-> 0 ,

6и-+0,

в„ =

max |/{ Я ( С )} - /0о{Я(С)}|.

 

Се® (2/И.)

 

§ 3. Построение предельного соотношения

для свободной

энергии

 

Перейдем теперь к специальному рассмотрению тех

случаев, когда

операторы Т,

/ а в гамильтониане (3.1)

имеют форму (3.29 *).

Нетрудно показать, что условия теоремы 3.1 в таких

случаях будут выполнены, если

 

 

y '^1\ T( p) K ( P , o) \ < Q 0,

(а)

 

р

 

 

 

у

% \ К ( р ,

(b)

(3.37)

 

р

 

 

y Y * \ K ( p , tT)P<Q 2

(с)

 

 

p

 

 

( a = l , .... s;

a = ± 1 /2 ; Q0, Qh Q2=

const).

Тогда, например, в неравенствах

(3.30)

можно положить

Mi = Qi> M3 = Q2>

M2 = 2Q0.

Пусть теперь, кроме неравенств

(3.37), функции

Ла (р, а) для всех точек р пространства Е удовлетворяют еще следующим условиям:

1) I M p ,a ) K Q (Q = const). (3.38)

108

2) Множество точек разрыва рассматриваемых функ­ ций Ха(р, о) являются множеством меры нуль в про­ странстве Е.

Покажем, что в этой ситуации выполняются и условия теоремы 3.2.

Заметим только, прежде чем перейти к данному вопросу, что неравенства (3.37), (3.38) не являются не­ зависимыми.

Действительно, из (3.37Ь) и (3.38) следует (3.37с). Кроме того, (3.37Ь) вытекает из (3.37а) и (3.38). Таким

образом, все наложенные здесь

на Ла неравенства вы­

полняются, если справедливы

неравенства

(3.37а) и

(3.38).

еще, что (3.37а) и (3.38)

Пользуясь случаем, заметим

имеют место, если Ха удовлетворяют неравенствам

I К (Р. °) I <

{К, а = const).

(3.39)

Перейдем теперь к вопросу о выполнении условий тео­

ремы 3.2.

Поскольку

в исследуемой ситуации

условия

теоремы

3.1 выполнены, нам надо только показать,

что для

любых фиксированных комплексных величин

С,........ Cs существует

предел

 

 

L { H ( C ) } = l i m f v {H(C)}.

(3.40)

 

 

V ->оо

 

Для этого запишем операторную форму аппроксими­

рующего гамильтониана

в виде

 

Н (С) = ^

Tfdfdf ~ ^

{Q {f) afa-f + Q (/) a_faf} +

 

f

f

+ 2K ^ gaCaCa,

(3.41)

 

 

где

 

a

 

 

 

 

 

Q(f) = 2 2 g aCaXa(t).

(3.42)

 

 

a

 

 

 

4-

 

Переходя к ферми:амплитудам af, af, связанным со

4*

старыми cif, cif преобразованием (1.18),диагоналнзуем форму (3.41) и получим

Н (С) = V; Efafaf +

К ( 2 V gaCaCa -

V {Е, - Tf}

f

l a

f

 

 

(3.43)

109

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