книги из ГПНТБ / Боголюбов, Н. Н. Метод исследования модельных гамильтонианов
.pdfоткуда следует, что
+ оо |
|
|
Г /+ (<о)(1 + e ffl/0)rfco< 1. |
(1-48) |
|
•' |
в, в |
|
Обратимся теперь к величине (1.46). С помощью рас сматриваемых спектральных представлений напишем
|
|
+" |
|
|
1 |
— e |
0 |
/ fifco |
(1.49) |
|
|
/+ |
N i l |
||||||
|
|
—00 а/,, В |
|
|
|
|
|
||
|
|
+°° |
|
|
|
|
a-E(f) |
|
|
|
|
f 1/+ |
|
N 1 |
1 — e |
0 |
da. |
(1.50) |
|
|
|
J |
Of, в |
|
|
|
|
|
|
|
|
—00 |
|
/ |
|
|
|
|
|
Заметим здесь, |
что если |
|
|
|
|
|
|||
то |
|
|
|
« > £ ( /) , |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
( о - Е (f) |
<о—В (f) |
|
|
|
|
|
|
||
1 — е |
9 |
0 |
|
-1 < |
|
|
|
|
|
|
|
®-Е (f) |
, |
г- .... И |
|||||
|
|
|
< |
|
|
||||
|
|
|
ta-£(f) е |
6 |
(ю ~ |
1/)) с я |
|||
|
|
|
|
|
е |
|
|
|
|
поскольку всегда, по определению, |
|
|
|
||||||
Далее, |
если |
|
|
£ (/)> 0 . |
|
|
(1.51) |
||
|
|
со < £ ( /) , |
|
|
|
||||
то |
|
|
|
|
|
|
|||
a>-E(f) |
|
|
|
{Я (f)—од} |
|
|
|
||
|
|
|
|
|
£ (D - а> |
||||
|
1 — е |
0 |
— 1 — е |
|
|
||||
|
|
|
0 |
|
|||||
|
|
|
|
|
|
|
|
|
|
Таким |
образом, |
всегда |
|
|
|
|
|
|
|
|
|
<д-Е(п |
|
|
|
|
|
|
|
|
1 — е 0 |
|
< -|с° ~ £(Ж (1 + е ^ , |
|
|||||
ввиду чего из (1.50) вытекает |
|
|
|
|
|||||
|
+00 |
|
|
|
|
|
|
|
|
D |
\ ^ j I |
| / + |
(со) | • | со — £ (/) | • (1 + е“ /е) с?со. |
||||||
|
— 0 9 |
а*, В |
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
50
Отсюда, воспользовавшись неравенствами (1.42), по
лучим |
_______________________________ |
|||||
I ^ K - g - l / |
f |
и |
(со)(со — Е (f))2(1 + |
еш/е) da> X |
||
Y |
-о. |
|
af’af |
+°° |
|
|
|
|
|
/ |
|
|
|
|
|
|
(* |
/+ |
(Сй)(1 + e^)d<0. |
|
|
|
|
|
|||
|
|
|
|
~io |
в’в |
|
Принимая во внимание неравенства (1.45) и (1.48), по
лучим поэтому |
____________ |
|
|
M i( e ,+ 4 * f ) . |
(1.52) |
§ 5. Замечание |
I |
|
Эта оценка была получена, основываясь на триви альном свойстве (1.51). Поскольку здесь 9 входит в зна
менатель, то такой |
оценкой нельзя пользоваться для |
|
рассмотрения перехода к нулевой температуре |
||
|
0 —> О, |
|
даже если ек ->0 |
(F-»oo) (равномерно |
по отношению |
к 0->О). |
|
|
Пусть теперь для рассматриваемых / |
|
|
|
£ ( / ) > Y, |
(1.53) |
где y — некоторая положительная постоянная. Так как
мы видим, что неравенство (1.53) всегда выполняется вне сферического слоя:
2 т
Возвратимся теперь к неравенству (1.50). Заметим, на основании ранее сказанного, что
м - Е (f) |
^ \ф - Е( П\ ст ст ( | у- д <f>) |
1 — е 6 |
|
для
с о > £ ( / ) ~ | у .
61
Кроме того, |
(о-£ (f) |
|
|
|
|
|
1— е 6 |
|
для значений |
|
|
|
c o < £ ( / ) - f у. |
|
Таким образом, из (1.50) находим |
|
|
оо |
|
|
| £ > | < f |
J+ И | c o - £ ( f ) | e “ /0 rfco|e-v/3e + |
|
J |
а ,.В |
D |
■2 |
аГВ |
|
E ~ j V |
|
|
|
|
4 v |
|
+ |
da, |
|
|
«р В |
\ D \ ^ j e
Но из (1.45) следует, что
2V |
|
|
|
|
* |
J+ |
(ш) da ^ |
2Мх [ev -f- |
|
ас*,, ас* |
|
( 2 Y / 3 ) 2 |
|
|
~оо |
I I |
|
|
|
Поэтому получим |
|
|
|
|
|
/ |
<BS>r + |
^ |
г J X |
|
|
|
X |
) / 2Mj (еи + - § - ) , |
откуда учитывая, |
что |
|
|
|
|
|
(£В + |
В5)Г< 1 , |
|
52
находим
I |
D I |
7 |
1 |
|
|
|
|
|
|
|
+Ж |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||
Но, как |
видно, |
х2е~х |
(2/е)2, и потому |
|
|
|
||||||
|
- L |
е - 2V/30 _ |
/ j?X Y е -2у/3в |
3 \2 |
/ 2 \2 / з |
\2 |
||||||
|
02е |
|
\30/ |
|
|
57) |
< Ы |
|
(тг V |
|||
Таким |
образом, |
окончательно |
|
|
|
|
|
|||||
|
|
2у / |
2 + |
2 ( | ) г/ м |
, ( е , + |
_Мз. |
(1.54) |
|||||
|
|
47 |
||||||||||
Неравенства (1.52), (1.54) |
объединим |
в |
форме |
|
||||||||
|
|
|
I |
D I ^ |
|
|
ет + |
Мо |
|
|
|
(1.55) |
|
|
|
к |
у |
■4у . |
|
|
|||||
где постоянную |
/( |
всегда |
можно |
взять |
в |
виде |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
(1.56) |
В области же (/), для которых выполнено неравенство (1.53), можем положить также
|
K = A {2M , + |
2 ( f ) ! M,}1'! . |
|
(1.57) |
|
Это последнее значение К, |
как видно, уже вообще не |
||||
зависит |
от температуры 0. Итак, можем написать |
|
|||
|
(а,В)г - |
е~Е<№(Ва)г | < К л / е у + |
М2 |
|
|
|
|
|
|
47 |
|
Отсюда |
следует |
неравенство |
|
|
|
| (1 + е~Е(W0) (afB)r - е~Е |
fB + Baf)r | < |
|
|
||
|
|
|
К |
Еу + |
м 2 |
|
|
|
|
|
27 |
ипотому
+е-Е (f)/e
(afB)r - - + е -Е (f)/0 (a fB + Baf)r с
м 9
< * У 8к + - т г - (1-58)
Из этого неравенства получим искомые оценки для разности (1.39).
63
§ 6. Доказательство близости средних, построенных на основе модельного и аппроксимирующего гамильтонианов для правильного расположения операторов в средних
Рассмотрим |
прежде |
всего |
операторное произведе |
||||||||||
ние вида |
|
|
+ |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
U = а, |
|
... а. й.г .. . а,/, |
|
|
|
||||||
в котором |
|
|
М |
|
'к |
Ч |
|
'<7 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k > q ^ t 0, |
|
k + q — четное |
число. |
|
|
|
||||||
Предполагается, |
разумеется, |
|
что |
все |
f{ между |
соб й |
|||||||
различны |
также, |
как |
и |
поскольку, |
иначе, |
U будет |
|||||||
•тождественно равно нулю. |
|
|
|
|
4- |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь, раз число операторов рождения а в данном |
|||||||||||||
произведении больше |
числа |
уничтожения а, то обяза- |
|||||||||||
|
о |
среди |
них |
такой |
оператор |
+ |
, |
что |
|||||
тельно найдется |
|
||||||||||||
индекс |
не равен |
ни одному |
из |
индексов /' . . . |
f'. |
Но |
|||||||
тогда мы можем написать |
|
|
|
|
|
|
4 |
|
|||||
|
|
|
|
U — а.чВ, |
|
|
|
|
|
|
|||
где В — операторное произведение |
остальных |
операто |
ров. Существенно, что число операторов в произведении В нечетно и их индексы / все отличны от индекса f,
Поэтому оператор af должен антикоммутировать с произведением В:
|
+ |
+ |
|
|
|
а.чВ + |
Ва,ч = |
0. |
|
"Воспользовавшись неравенством |
(1.58), получим нера |
|||
венство |
+ |
|
|
' ‘ |
|
|
м 2 |
|
|
|
Ч “Л |
|
(1.59) |
|
|
\ ) Г| < /С V 8Г + 47 |
|||
|
|
|||
|
(£><7 ^ 0, |
k -j- q — четно). |
|
|
Возьмем обратный случай. Пусть |
|
|
||
+ |
|
|
|
|
U ■a . |
• af‘ka f |
{q > k ^ O , k + q — четно). |
||
|
54
Имеем |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
а >а |
. . . а , |
|
|
|
||||
|
U. |
а |
|
|
|
|
||||
|
|
|
|
f\ |
ffe |
ft |
|
|
|
|
и для U можем опять воспользоваться неравенством |
||||||||||
(1.59). Но так |
как |
|
|
|
|
|
|
|
|
|
то |
1<£л>г|<|<с/>гНоЬг|. |
|
|
|||||||
+ |
|
|
|
|
д — |
|
|
|||
+ |
|
|
|
|
М. |
|
||||
о |
а |
а |
|
|
|
|
|
(1.60) |
||
■\ |
\ |
< |
« v |
\ + |
i r |
|||||
|
|
|
||||||||
|
(q > |
k ^ |
0, k + |
Ц четно). |
|
|
||||
Рассмотрим |
теперь случай, когда |
|
|
|
||||||
|
U |
+ |
а |
а > |
. а • |
|
|
|
||
|
; сс. |
|
|
|
||||||
|
|
|
|
'& ч |
|
|
|
|
||
Если в этом |
произведении |
среди индексов / 1г. . fk |
||||||||
есть хотя бы один индекс ft, который |
не равен ни од |
|||||||||
ному из /(, . . . , |
f', |
то тогда |
аналогично |
имеем |
|
|||||
и = а,В, |
а , В - \ - В а , — 0. |
|
|
|||||||
|
|
ч |
ч |
|
и |
|
|
|
||
И из неравенства (1.58) опять следует |
|
|
|
|||||||
+ |
|
|
|
|
|
|
|
|
(1.61) |
|
|
afkUh |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
(если один из |
индексов |
Д........ fk |
не равен |
ни одному |
из индексов /( . .. /').
Поскольку в «новых» ферми-амплитудах а атшрокси.- мирующий Гамильтониан Гп имеет вид
Га — f Е (/) a i a f + const,
мы видим, что рассмотренные выше средние, построен ные на основе гамильтониана Г, в случаях (1.59), (1.60), (1.61) будут равны нулю, если их вычислять на основе
аппроксимирующего гамильтониана |
Г„. |
Следовательно, неравенства (1.59), (1.60), (1.61) можно |
|
переписать в виде |
______ _ |
| ( . . . > r - ( . . . > r j < ^ | / |
(1-62) |
55
где под знаком средних стоят ранее рассмотренные произведения.
Таким образом, среди всех произведений
Pf •• • Pf |
(s — четно), |
М's
вкоторых Pf расположены в правильном порядке (т. е.
все |
операторы рождения стоят |
слева, а все опера |
торы |
уничтожения справа), нам |
останется рассмо |
треть произведения
++
в которых каждый из индексов |
. .. , fk равен одному |
|
из индексов |
/(, ... , f'k. Но такие |
произведения, оче |
видно, можно |
привести к виду |
|
± V - - \ \ ••• V
Положим
k = |
+ |
+ |
|
... |
а. = |
а, |
... а. а |
о |
|||
я |
'ft |
'1 |
|
'ft |
О-63)
+
а( В tk
и заметим, что (все индексы fu . . . , f k различны между собой)
+ |
+ |
+ |
\ Bk + Bk \ = a,'fta.'fta,'ft—i ... |
aeоa,*i ... V , + |
|
|
+ + |
+ |
|
+ V f . V , |
affiaf, |
Поэтому из неравенства (1.58) будем иметь
<9Ift>r
! + / (fft)/6 W*"1)
V/
| / 4 + | f (1.64)
и, в частности, для 3l1= af -af найдем
( \ Ь Х |
1 + е£(Д)/е |
(1.65) |
Но, очевидно, |
|
|
Кроме того, |
+ е‘Mf,)/0 ~ ( ahaf)T |
|
|
|
|
<Я*>г ~ |
= 0 . |
( 1.66) |
r« |
1 + / W / 6 |
|
5a
Поэтому из (1.64) следует, что
Ml
4V '
откуда, преобразовывая, имеем
|<Я*>г -<Я*>Гв| <
^ ~2 | |
( ^ f t - i ) r e | + К ~\/~ev + |
• (1 -67) |
|||
Из неравенства (1.65) следует, что |
|
|
|||
|<3li>r-C*.>rJ < |
t f - | / ^ v + W - |
(1-68) |
|||
Из неравенств (1.67) и (1.68) вытекает |
|
|
|||
I<я*>г - (Ht)r> | :< к |
/ г г + |
«X {1 + 1 + |
... + ( ! ) ' ' ' } < |
||
Итак, резюмируя вышесказанное, мы |
убедились, что |
||||
для произведений |
|
... |
р. , |
|
(1.69) |
|
Т1 |
|
|||
|
|
>S |
|
|
в которых операторы |3^ расположены в правильном порядке, справедливы неравенства
§ 7. Доказательство близости средних при произвольном расположении операторов в средних. Замечание II
Рассмотрим сейчас случай произведений (1.69), в ко торых операторы (Д расположены в произвольном по рядке.
Заметим, что в системе индексов Д, . .. , Д некото рые из них могут быть равны между собой.
Выделим из совокупности индексов Д........ Д все не равные между собой индексы, обозначая их Д, . . . , Д1,
57
чтобы каждый (один или несколько) из индексов fu . . . , f s
равнялся бы одному из индексов /[, |
f'k. |
|
Представим рассматриваемое операторное произве |
||
дение в виде |
В, |
(1-71) |
В. |
+
где Bf, обозначает произведение операторов af„ af, с од
ним и тем же индексом Однако в силу коммутационных свойств ферми-опе-
раторов |
нетрудно заметить, |
что |
Bf всегда |
можно при |
||
вести к одной из следующих форм: |
|
|
||||
Вс, = ± |
Вг — ± |
af„ |
B y = ± Cly-Cly, |
(1.72) |
||
|
|
|
|
|
||
|
в г |
± а , а , = |
± (1 |
V V )’ |
|
(1.73) |
|
|
|
|
|
|
|
оставляя |
в стороне |
тривиальный |
случай, |
когда Вг то |
ждественно равно нулю.
Произведения (1.71) будем приводить к правильному
+
порядку, переставляя соответственно операторы af, только влево, а операторы ау только вправо. От такой перестановки число членов не будет «размножаться»,
поскольку все индексы |
различны между собой, |
и только в случаях (1.73) Bf |
состоит из суммы двух |
членов. |
|
Поэтому число произведений операторов, располо женных в правильном порядке, на которые разбивается
исследуемое произведение, будет равно 2?, где |
q — |
|
число Bf, имеющих форму (1.73). |
воспользовавшись |
|
Но, очевидно, q^.s/2. Поэтому, |
||
неравенством (1.70) для каждого из |
«правильных |
про |
изведений», мы получим для рассматриваемого общего случая
| (Р/, ‘ • • h s)r
(1.74)
Резюмируя вышеприведенные рассуждения, сформули руем теорему.
-58
Т е о р е м а |
1.1. Пусть выполнены условия 1 (см. |
§ 1 главы 1); |
тогда для разности одновременных сред |
них, построенных на основе гамильтонианов Г и Га, справедлива оценка (1.74).
Следует подчеркнуть, что в данной оценке мы всегда можем взять за К значение (1.56)
Но тогда полученная оценка (1.74) не позволяет, во обще, переходить к рассмотрению случая 6 -> 0, даже если
ек —> 0 при V —>оо
равномерно по отношению к температуре 6 в интер вале О < 0 ^ 0 о, где 0О— любая фиксированная темпе ратура.
С другой стороны, на основании ранее сказанного, мы можем воспользоваться для /С «равномерной оцен кой», взяв значение постоянной (1.57)
к- = ^ { м ‘ + |
^ м < Т ■ |
|
если все значения fu |
f2, . .. , |
fs лежат здесь в области, |
в которой |
E( f ) > у. |
|
|
||
З а м е ч а н и е II. |
Заметим, между прочим, что |
было бы неправильно думать, что разность (1.74) на
самом деле всегда стремится к |
нулю при V —>оо |
|
равномерно по отношению |
к 0 (0 > |
0) даже в области, |
где E(f) = 0, а отсутствие |
такой |
равномерности обу |
словлено лишь нашим методом рассмотрения, допу скающим чрезмерную мажорацию.
Чтобы интуитивно |
понять причину отсутствия равно |
|||
мерности по отношению к 0 |
в области, где £(/) = О, |
|||
возьмем тривиальный |
пример: |
|
||
где |
Г = |
Г7+ |
Г1, |
|
|
|
|
||
r a = V £ ( f ) a f«f, E (f) = |
||||
f |
■v |
+ |
|
|
Гх = |
e > О, |
|||
|
ecifa,f, |
59