Файл: Боголюбов, Н. Н. Метод исследования модельных гамильтонианов.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