
книги из ГПНТБ / Боголюбов, Н. Н. Метод исследования модельных гамильтонианов
.pdfТеперь |
воспользуемся |
неравенством |
| а ( г и . . . |
,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