Академический Документы
Профессиональный Документы
Культура Документы
Шитов
ФУНКЦИИ ГРИНА
ЗАДАЧИ И РЕШЕНИЯ
Электронное издание
Издательство МЦНМО
Москва, 2016
УДК 530.145
ББК 22.31
Л36
Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Список обозначений . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
I. Теория возмущений
Г л а в а 1. Квазичастицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1. Вторичное квантование. Канонические преобразования . . . . . . 9
1.2. Задачи 1– 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3. Решения задач 1–4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4. От спиновых операторов — к фермиевским . . . . . . . . . . . . . . . 22
Г л а в а 2. Функция Грина . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.1. Представление взаимодействия. Хронологическое упорядочение 25
2.2. Задачи 5–10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3. Решения задач 5–10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Г л а в а 3. Квантовая механика одной частицы . . . . . . . . . . . 42
3.1. Функции Грина в задаче рассеяния. Теория возмущений . . . . . 42
3.2. Задачи 11–15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3. Решения задач 11–15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Г л а в а 4. Взаимодействующие частицы . . . . . . . . . . . . . . . . 57
4.1. Правила построения диаграмм . . . . . . . . . . . . . . . . . . . . . . . 57
4.2. Полюсы функции Грина — спектр квазичастиц . . . . . . . . . . . . 61
4.3. Задачи 16–21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.4. Решения задач 16–21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Г л а в а 5. Идеальный ферми-газ . . . . . . . . . . . . . . . . . . . . . . 86
5.1. Электроны на ферми-поверхности . . . . . . . . . . . . . . . . . . . . . 86
5.2. Задачи 22–27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.3. Решения задач 22–27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Г л а в а 6. Электроны и фононы . . . . . . . . . . . . . . . . . . . . . . . 108
6.1. Гамильтониан фононов. Диаграммная техника . . . . . . . . . . . . 108
6.2. Задачи 28–33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.3. Решения задач 28–33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
6.4. Эффект Пайерлса. Теория среднего поля . . . . . . . . . . . . . . . . 128
Г л а в а 7. Диаграммная техника при конечных температу-
рах . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
7.1. Мацубаровское время . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
7.2. Дискретные частоты . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
7.3. Задачи 34–42 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
7.4. Решения задач 34–42 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
II. Методы теории многих тел
Г л а в а 8. Теория ферми-жидкости . . . . . . . . . . . . . . . . . . . . 177
8.1. Квазичастицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
8.2. Кинетическое уравнение. Коллективные моды . . . . . . . . . . . . 180
8.3. Приближение случайных фаз . . . . . . . . . . . . . . . . . . . . . . . . 183
8.4. Задачи 43–49 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
8.5. Решения задач 43–49 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
4 Оглавление
1
) Трудные задачи помечены знаком *. При первом чтении их можно
пропустить.
СПИСОК ОБОЗНАЧЕНИЙ
EF — энергия Ферми;
p0 — фермиевский импульс;
vF — скорость Ферми;
ξp = vF (|p| − p0 ) — спектр электронов, линеаризованный вблизи
уровня Ферми;
mp
ν0 = 2 03 — плотность состояний трехмерного бесспинового ферми-
2π ~
газа;
m
ν2D = — плотность состояний двухмерного бесспинового ферми-
2π~2
газа;
m
ν1D = — плотность состояний одномерного бесспинового ферми-
π~p0
газа;
e~
µB = — магнетон Бора;
2mc
c — скорость звука;
ωD — дебаевская частота;
kD — дебаевский волновой вектор;
g — константа электрон–фононного взаимодействия;
ξ = g 2 ν0 — безразмерная константа электрон-фононного взаимодей-
ствия.
Постоянная Планка ~, если не оговорено особо, полагается равной
единице.
Часть I
ТЕОРИЯ ВОЗМУЩЕНИЙ
Глава 1
КВАЗИЧАСТИЦЫ
[a+ + +
i , aj ]+ = ai aj + aj ai = δij , [ai , aj ]+ = [a+ +
i , aj ]+ = 0. (1.6)
При этом алгебра операторов полей (1.3) оказывается такой:
b
[ψ(x), ψb+ (x′ )]+ = δ(x − x′ ),
(1.7)
b
[ψ(x), b ′ )]+ = [ψb+ (x), ψb+ (x′ )]+ = 0.
ψ(x
Удобство представления вторичного квантования заключается в
том, что связь между одно- и многочастичной задачами на языке
ψ-операторов оказывается весьма простой. Например, нетрудно про-
верить, что гамильтониан системы невзаимодействующих бозе- или
ферми-частиц, имеющих массу m и движущихся в потенциале U (r),
записывается так:
Z
b ~2 b+ 2b b b
H= − ψ (r)∇ ψ(r) + ψ (r)ψ(r)U (r) d3 r.
+
(1.8)
2m
b представля-
Энергии εi дают спектр квазичастиц, а константа h0|H|0i
ет собой так называемую энергию нулевых колебаний.
Преобразования (1.11) являются каноническими, если они сохра-
няют коммутационные соотношения:
[ai , aj ]± = 0, [ai , a+
j ]± = δij . (1.13)
12 Квазичастицы [ Гл. 1
a+
ap 1 , b
[b 3 (3)
p2 ]± = (2π) δ (p1 − p2 ). (1.18)
Такой выбор согласуется с определениями (1.4) и (1.7).
1.2 ] Задачи 1 – 4 13
1.2. Задачи 1– 4
З ад а ча 1. (Классическая цепочка осцилляторов 1) .) Рассмотрим
цепочку атомов массы mi , соединенных одинаковыми пружинками
жесткости K: 2
P∞
pi K 2
H= + (xi − xi+1 ) (1.19)
i=−∞ 2mi 2
b= P
∞
H J 1 a+
i ai+1 +
i=−∞
+ J 1 a+ + + +
i+1 ai + J2 ai ai+1 + J2 ai+1 ai − 2B ai ai . (1.20)
Такой гамильтониан возникает при рассмотрении одномерной модели
квантового магнетика, так называемой «XY-модели» (см. разд. 1.4).
Определите спектр квазичастиц ε(k) гамильтониана (1.20). Обра-
тите внимание, что при B = 0 и J1 = J2 дисперсия пропадает. Можно
ли понять это без вычислений?
1
) C рассмотрения этой простейшей модели колебаний решетки начинают-
ся почти все курсы физики твердого тела.
14 Квазичастицы [ Гл. 1
2 2K
max[ω− (q)] = ω− 2 (π) = . (1.31)
M
и нижнего края оптической ветви
2 2 2K
min[ω+ (q)] = ω+ (π) = , (1.32)
m
p p
находим ширину щели ∆ω = 2K/m − 2K/M .
При M ≫ m частота оптической ветви
r
2K m q m2
ω+ (q) = 1+ cos2 + O (1.33)
m 2M 2 M2
b = P Jy σ y σ y .
∞
H i i+1 (1.46)
i=−∞
18 Квазичастицы [ Гл. 1
вычислим коммутатор
b ak ] = −2(J1 cos k − B)ak + 2J2 ia+ sin k.
[H, (1.48)
−k
a k = u k bk + v k b+
−k , a+ ∗ + ∗
−k = uk b−k − vk bk , (1.49)
Hb = E0 + P ε k b + b k . (1.50)
k
k
Возьмем коммутаторы
b bk ] = −εk bk ,
[H, b b+ ] = εk b+ ,
[H, (1.51)
k k
− u k ε k bk + v k ε k b+ +
−k = −2(J1 cos k − B)(uk bk + vk b−k ) +
+ 2J2 i sin k(u∗k b+ ∗
−k − vk bk ), (1.52)
При этом
ai − ai+1 → (1 − eik )ak , a+ +
i − ai+1 → (1 − e
−ik +
)ak . (1.68)
Подставляя эти выражения в (1.66), получаем
b = P ε(k) a+ ak + ∆(k) ak a−k + h.c. ,
H (1.69)
k
k
1.3 ] Решения задач 1 –4 21
где
~ω0 ~K(1 − cos k) ~K(1 − cos k) ~ω
ε(k) = + , ∆(k) = − 0. (1.70)
4 2mω0 2mω0 4
Рассмотрим каноническое преобразование:
a k = u k bk + v k b+
−k , a+ +
−k = vk bk + uk b−k , (1.71)
где uk = ch λk , vk = sh λk . Нетрудно проверить, что при преобразо-
вании (1.71) гамильтониан сохраняет свой вид, причем ε(k) и ∆(k)
меняются так: ε′ (k) = ch 2λk ε(k) + sh 2λk ∆(k),
(1.72)
∆′ (k) = sh 2λk ε(k) + ch 2λk ∆(k).
Подберем λk так, чтобы ∆′ (k) обратилось в нуль:
th 2λk = −∆(k)/ε(k). (1.73)
p p
При этом ε′ (k) = ε2 (k) − ∆2 (k) = ~ K/m sin |k/2|. Обратим внима-
ние на то, что частота ω0 , значение которой может быть произволь-
ным, выпадает из выражения для ε′ (k) (но не из выражения для λk !).
Диагонализованный гамильтониан имеет вид
Hb = P ε′ (k) b+ bk + h.c. = P~ω(k) b+ bk + 1 , (1.74)
k k 2
k k
p
где ω(k) = 2ε′ (k)/~ = 2 K/m sin |k/2| (мы добавили константу 1/2
для придания найденному выражению канонического вида).
Выражение (1.74) позволяет найти энергию нулевых колебаний,
приходящуюся на одну частицу:
Zπ
~ω(k) dk 2 p
E0 = = ~ K/m . (1.75)
2 2π π
−π
2
) Оказывается, что низкая размерность системы усиливает эффекты вза-
имодействия и, как правило, способствует превращению различных типов
24 Квазичастицы [ Гл. 1
статистики друг в друга. Как мы увидим в гл. 12, в одномерной системе вза-
имодействующих фермионов квазичастицы подчиняются бозе-статистике.
Глава 2
ФУНКЦИЯ ГРИНА
где скобки h. . . i означают матричный элемент hSb0 i−1 h0| . . . |0i, взятый
по основному состоянию системы с гамильтонианом H b0 . (Фазовый
b
множитель hSb0 i = h0|e −iH 0 t
|0it→∞ принято вводить для нормировки.)
Таким образом, функции Грина бозонов и фермионов определяются
одинаково, но операция T-упорядочения имеет разный смысл.
1
) Верхний индекс у Gcαβ (первая буква слова «causal») используют для
того, чтобы отличать причинную функцию Грина от других величин, таких
R(A)
как запаздывающая и опережающая функции Грина Gαβ (см. (5.6)).
2.1 ] Представление взаимодействия 27
2
) Такая ситуация возникает, например, в эксперименте по ядерному маг-
нитному резонансу (ЯМР).
2.2 ] Задачи 5 –10 29
Находим решение: Zτ
a(τ ) = a(0) − (ieEl0 /~) e−iωt dt = a(0) + µτ , (2.42)
0
8 а. Найдем
Z
Gαβ (ε, x, x′ ) = −i eiετ hT ψα (x)ψβ+ (x′ )i dτ, (2.69)
где G дается (2.74). Обосновать такой ответ можно так же, как и при
использовании метода изображений в электростатике. В самом деле,
(1)
Gαβ удовлетворяет уравнению
(1)
b )G (ε, x, x′ ) = δ(x − x′ ) δαβ
(ε − H αβ (2.76)
(1)
и граничному условию Gαβ (ε, 0, x′ ) = 0, а переход к изображениям
обычным образом заменяет граничное условие условием антисим-
метрии.
8 в. Выразим плотность через функцию Грина (2.75):
Z
−iετ dε
n(x) = −i lim G(1)
αα (ε, x, x) e . (2.77)
τ →−0 2π
2.3 ] Решения задач 5 –10 37
(сумма берется
P по 2n соседям узла x). Перейдем к фурье-образу
p(t, q) = x eiqx p(t, x). Соотношение (2.81) дает
1
p(t + 1, q) = W (q) p(t, q), W (q) = (cos q1 + . . . + cos qn ). (2.82)
n
38 Функция Грина [ Гл. 2
3
) Ответ для R10 может быть также получен элементарным способом, с
помощью принципа суперпозиции.
Глава 3
КВАНТОВАЯ МЕХАНИКА ОДНОЙ ЧАСТИЦЫ
Рис. 3.1.
1
) Соответствующие свойства амплитуды рассеяния обсуждаются в [2],
гл. XVII, § 128, 129.
46 Квантовая механика одной частицы [ Гл. 3
2
) Уравнение такого типа в теории поля и статистической физике называ-
ется уравнением ренормгруппы.
3.2 ] Задачи 11 –15 47
Рис. 3.2.
Эта задача на простейшем примере демонстрирует прием, обобщающий-
ся на более сложные случаи. Для любого процесса рассеяния, распада, пе-
рехода и т. д. имеется связь между его вероятностью и мнимой частью соот-
ветствующей амплитуды. Эта связь описывается теоремой унитарности. В
графическом представлении мнимая часть амплитуды может быть найдена
путем разбиения соответствующих диаграмм сечениями и замены функций
Грина по одну сторону сечения на комплексно-сопряженные функции. При
3
) Задачи 11–13 можно решить и без диаграмм. А задачу 14? Попы-
тайтесь. . .
48 Квантовая механика одной частицы [ Гл. 3
Записываем решение через функцию Грина, χk (r) = hr|G b Vb |ki, где |ri
и |ki — собственные состояния операторов координаты и импульса. С
помощью соотношения (3.8) разлагаем G b в ряд по Vb :
b 0 Vb + G
χk (r) = hr|G b 0 Vb G
b 0 Vb + . . . |ki. (3.18)
Удобно переписать это выражение, введя оператор Т-матрицы (3.10),
что дает
b 0 Tb|ki.
χk (r) = hr|G (3.19)
b
Смысл этой записи в том, что T описывает многократное рассеяние
падающей волны на потенциале V (r), а G b 0 — свободное движение
после последнего рассеяния.
В координатном представлении G b 0 есть G0 (ε, r, r′ ) = hr′ |G
b 0 |ri.
ikr
Пользуясь соотношением (3.7) и тождеством hr|ki = e , находим
Z ′ ′
eik(r−r ) d3 k m eiκ|r−r |
G0 (ε, r, r′ ) = = − ′ , (3.20)
ε − ~2 k2 /2m + iδ (2π)3 2π~2 |r − r |
√
где ~κ = 2mε . На массовой поверхности κ = k.
Слагаемое iδ в знаменателе (3.20) вве-
дено для того, чтобы выбрать запаздыва-
ющее решение. Вместо этого можно было
бы выбрать знак −iδ, что привело бы к ря-
ду для f ∗ (k′ , k). Комплексно-сопряженная
амплитуда соответствует опережающему
решению задачи о рассеянии.
Нас интересует асимптотика χ(r),
поэтому запишем r = Rn и будем счи-
тать R большим. Тогда |r − r′ | = R −
− |r′ | cos θ + O(1/R), где θ — угол меж-
ду n и r′ (рис. 3.3). Подставляя G0 в
Рис. 3.3. виде (3.20) в (3.19) и разлагая |r − r′ |
3.3 ] Решения задач 11 –15 49
Tb = Vb + Vb G
b 0 (Vb + Vb G
b 0 Vb + . . . ) = Vb + Vb G
b 0 Tb. (3.24)
Графически это можно изобразить, как показано на рис. 3.4. В им-
пульсном представлении интегральное уравнение принимает вид
Z
′ ′ V (k′ − q)Tε (k, q) d3 q
Tε (k, k ) = V (k − k) + 2 3. (3.25)
ε − q /(2m) + iδ (2π)
Решая это уравнение последовательными приближениями, вновь по-
лучаем ряд (3.10). Напомним, что в случае Т-матрицы энергия ε
является независимой переменной, в то время как в задаче рассеяния
2
энергия подчиняется соотношениям ε = k2 /(2m) = k′ /(2m).
12. Полюсы функции Грина G(ε)b дают спектр системы. При этом,
b b
поскольку G(ε) и T (ε) связаны соотношением Gb=G b0 + G
b 0 TbG
b 0 , каж-
дому связанному состоянию отвечает полюс Tb(ε).
50 Квантовая механика одной частицы [ Гл. 3
Рис. 3.5.
ставлением амплитуды Tε (см. рисунки 3.1, 3.4), находим ∂Tε /∂ε
(рис. 3.6). Это дает
Z
∂ ′ Tε (k, q)Tε (q, k′ ) d2 q
Tε (k, k ) = − 2 2 2 . (3.35)
∂ε (ε − q /2m + iδ) (2π)
Еще раз обратим внимание на то, что (3.35) —
Рис. 3.6. точный результат, а не приближенный.
Чтобы применить соотношение (3.35) в низ-
коэнергетической области, заметим, что зависимость Tε (k, k ′ ) от k и k ′
имеет характерный масштаб k, k ′ ≈ a−1 . Поэтому при малых энергиях
|ε| ≪ εa = ~2 /(ma2 ) интеграл по q в (3.35) сходится в области, где
зависимость T от q несущественна. Вычисляя интеграл, получаем
∂ m
Tε = 2 Tε2 . (3.36)
∂ε 2π~ (ε + iδ)
52 Квантовая механика одной частицы [ Гл. 3
Рис. 3.7.
Рис. 3.8.
Рис. 3.9.
b0 W
ние G cGb 0 TbG
b 0 , соответствующее второй диаграмме рис. 3.9, есть:
b W = −eET (ε) P |rihr′ | Gε (r − r′′ )x′′ Gε (r′′ )Gε (−r′ ) .
δG (3.43)
r,r′ ,r′′
U (x − x′ ) = U (r − r′ , t − t′ ). (4.3)
Рис. 4.2.
Z
δGв = G(x3 − x4 ) G(x4 − x3 )G(x2 − x1 ) G(x′ − x2 ) G(x1 − x) ×
× U (x3 − x1 ) U (x4 − x2 ) d4 x1 d4 x2 d4 x3 d4 x4 ,
Z
δGг = − G(x3 − x1 ) G(x4 − x3 )G(x2 − x4 ) G(x′ − x2 ) G(x1 − x) ×
× U (x2 − x1 ) U (x4 − x3 ) d4 x1 d4 x2 d4 x3 d4 x4 .
4.1 ] Правила построения диаграмм 59
ω02 (k)
D(ω, k) = (4.7)
ω 2 − ω02 (k) + i0
60 Взаимодействующие частицы [ Гл. 4
Рис. 4.3.
Кружки на рис. 4.3 могут изображать любые неприводимые диаграм-
мы, показанные на рис. 4.4. Сумма последовательности всех непри-
водимых диаграмм называется собственно-энергетической частью и
обозначается через Σ(ε, p) 1) .
Рис. 4.4.
1
) В теории поля Σ(ε, p) иногда называется массовым оператором.
4.2 ] Полюсы функции Грина — спектр квазичастиц 61
Рис. 4.5.
Далее можно подставлять полученное выражение для G(ε, p) в дру-
гие диаграммы вместо G0 (ε, p). Графически это изображают, рисуя
вместо светлой линии жирную.
Может возникнуть вопрос, зачем вообще суммировать последователь-
ность диаграмм из разных порядков теории возмущений. Дело в том, что
функция Грина G(ε, p) обычно представляет интерес вблизи своего полюса
(см. (4.12)). В этой области различные диаграммы на рис. 4.5 на самом деле
оказываются одного порядка. А собственно-энергетическая часть, в отличие
от функции Грина, имеет, как правило, менее сингулярное поведение. По-
этому ее можно изучать с помощью одного или нескольких первых членов
ряда теории возмущений.
Рис. 4.6.
× Γab (x′1 , x′2 ; x′3 , x′4 ) d4 x′1 d4 x′2 d4 x′3 d4 x′4 . (4.18)
Γab (p1 , p2 , p3 , p4 ) =
Z
= Γab (x1 , x2 ; x3 , x4 ) e−i(p1 x1 +...+p4 x4 ) d4 x1 . . . d4 x4 , (4.19)
Рис. 4.7.
Рис. 4.8.
Рис. 4.9.
m2 p1 − m1 p2 m2 p3 − m1 p4
k= , k′ = , (4.25)
m1 + m2 m1 + m2
P
∞
H0 = J 1 a+ + +
i ai+1 + J1 ai+1 ai − 2Bai ai , (4.30)
i=−∞
P
∞
Hint = J2 ai ai+1 + J2 a+ +
i+1 ai . (4.31)
i=−∞
где
1 c 2 k2
G0 (ε, p) = 2 , D0 (ω, k) = . (4.35)
ε − p /2m + iδ ω − c2 k2 + iδ
2
Z
+∞
1 c2 k 2 dω i ck
= , (4.36)
εe − ω + i0 ω − c2 k2 + i0 2π
2
2 ck − εe − i0
−∞
Z Z Z
p+k
d3 k 1
f |k|, |p − k| ≡ k dk f (k, q) q dq. (4.38)
(2π)3 (2π)2 p
|p−k|
Это дает
ZkD p+k
Z
g2 ck q dq
Σ= k dk . (4.39)
2(2π)2 p 2
ε − q /2m − ck + i0
0 |p−k|
4.4 ] Решения задач 16 –21 71
Интегрируем по x = q 2 :
ZkD
g 2 mc ε − (p − k)2 /2m − ck 2
Σ=
ln k dk −
8π 2 p ε − (p + k)2 /2m − ck
0
2
ZkD (p+k)
Z
g 2 mc
−i k 2 dk δ (x − 2m(ε − ck)) dx. (4.40)
8πp
0 (p−k)2
ZkD 2
g 2 mc k /2m + (c − v)k − ∆ 2 2
Σ= ln 2 k dk = g mc ×
8π 2 p k /2m + (c + v)k − ∆ 8π 2 p
0
ZkD
2vk 4∆vk 2v 3 k3
× − 2 − 2 2 − + ... k 2 dk.
ck + k /2m 2(ck + k /2m) 3(ck + k2 /2m)3
0
(4.41)
ZkD
g2 c k3 dk g 2 mckD 2
ε0 = − 2 2 =− 2 (4.42)
4π ck + k /2m 4π
0
и, с логарифмической точностью,
ZkD
g 2 m2 c k3 dk g 2 m2 c k
α1 = 2 = ln D , (4.43)
π2 2
(k + 2mck) π2 mc
0
ZkD
2g 2 m3 c 2 k5 dk 4g 2 m2 c k 4
α2 = 3 = ln D = α1 . (4.44)
3π 2 m 2
(k + 2mck) 3π 2 mc 3
0
72 Взаимодействующие частицы [ Гл. 4
Это эквивалентно 0 < k < 2(p − mc), и поэтому мнимая часть отлична
от нуля при v = p/m > c. Полная вероятность излучения фонона в
единицу времени есть
2m(v−c)
Z
g 2 mc 2g 2 m3 c
2γ = −2 Im Σ = 2 k 2 dk = (v − c)3 . (4.47)
8πp 3π v
0
2m(v−c)
Z Zθкр
g 2 mc 2 g 2 mc 2
Im Σ = − k dk = [2p cos θ − 2mc] d| cos θ| =
8πp 4π
0 0
Zθкр 2
g 2 (mc)3 v
= cos θ − 1 sin θ dθ, (4.49)
π c
0
где θкр = arccos (c/v) — предельное значение угла вылета фонона. Вы-
ражение в интеграле (4.49) дает угловое распределение интенсивности
излучаемого звука внутри конуса с углом раствора θкр .
4.4 ] Решения задач 16 –21 73
P R d4 k
pi± = pi ± k, а k обозначает интегрирование ... .
(2π)4
а. Если нет запаздывания, линия взаимодействия не зависит от пе-
реданной частоты: U (ω, k) = U (k). Рассмотрим поправки к Γ второго
порядка (рис. 4.11).
В первом графике интеграл по частотам дает нуль:
Z Z
(1) (2) dω
G0 (ε1 − ω)G0 (ε2 − ω) dω = = 0, (4.67)
(ω − ω1 )(ω − ω2 )
поскольку оба полюса подынтегрального выражения:
p21+ p22−
ω 1 = ε1 − + iδ, ω 2 = ε2 − + iδ, (4.68)
2m1 2m2
лежат в верхней полуплоскости. Нетрудно видеть, что по этой же
причине обращается в нуль любой график
более высокого порядка с пересекающимися
линиями взаимодействия.
Отсутствие вклада графиков с пересе-
кающимися линиями взаимодействия стано-
вится еще более очевидным во временном
представлении, поскольку G0 (t, r) = 0 при
t < 0 в силу причинности. Например, пер- Рис. 4.11.
вому графику на рис. 4.11 соответствует выражение:
Z Z
(1) (2)
U (r12 )U (r34 )G0 (t2 − t1 , r42 )G0 (t1 − t2 , r31 ) dt2 d3 r4 , (4.69)
76 Взаимодействующие частицы [ Гл. 4
p21+ p2 P2 q2
+ 2− = + , (4.73)
2m1 2m2 2M 2µ
b=G
b0 + G
b0 Γ
bP G
b0 = 1
G . (4.79)
Ω0 − qb2 /m + U
bv + i0
qb2 bv |0v i.
Ω0 = h0v | +U (4.80)
m
Для первой поправки к уровню энергии достаточно взять матричный
элемент по невозмущенному состоянию |0v iv=0 . Подставляя Ω0 = Ω −
− P 2 /4m, а вместо Uv — фурье-образ выражения (4.77), получаем
P2
Ω = ε0 + − τ 2 v 2 h0| qx2 U (q)|0i. (4.81)
2M
Для центрально-симметричного взаимодействия U (q) = U (|q|) основ-
ное состояние тоже симметрично, и можно усреднить qx2 по направле-
ниям:
hqx2 i = q 2 /3. (4.82)
Заменяем v на P/2m и q 2 на −∇2 :
2 1 τ2 2
Ω = ε0 + P + 2 h0| ∇ U |0i0 . (4.83)
4m 12m
Рис. 4.12.
Этим двум вершинам соответствуют выражения 2iJ2 sin q и −
−2iJ2 sin q соответственно. Поправки к функции Грина, вычисленные
по теории возмущений, изображены на рис. 4.13.
Обратим внимание на то, что знаки ε чередуются. Так получается
потому, что по правилу сохранения 4-импульса в вершине, сумма εα
всех входящих линий равна сумме εα′ выходящих линий, если они
есть, или нулю, если выходящих линий нет. То же самое справедливо
для импульсов.
80 Взаимодействующие частицы [ Гл. 4
Рис. 4.13.
G0 (ε, q)
G(ε, q) = =
1 + 4J22 sin2 qG0 (ε,q)G0 (−ε,−q)
ε + 2(J1 cos q−B)
= 2 . (4.89)
ε − 4((J1 cos q − B)2 + J22 sin2 q) + iδ
q
Спектр определяется полюсами: ε = ±2 (J1 cos q − B)2 + J22 sin2 q .
Знак мнимой части iδ в (4.89) указывает, что верхняя ветвь соответ-
ствует пустым состояниям, а нижняя — заполненным.
21 а. Эффективное взаимодействие может быть выражено через
двухчастичную функцию Грина фермионов:
Z
dε
Π(ω, r) = 2i G(ε+ , r)G(ε− , r) , ε± = ε ± ω/2. (4.90)
2π
2
) При интегрировании по r = |r| в (4.96) использован интеграл
Z∞
dr π
sin2 (αr) sin(βr) = (2 sgn β − sgn(β + 2α) − sgn(β − 2α)) .
r 8
0
82 Взаимодействующие частицы [ Гл. 4
Z∞ Z2p0
1 λ2 m 2
Σ(ε, p) = Bε,p (k)Fe (k)k dk = Bε,p (k) dk. (4.104)
(2π)2 p 2
π(2π) p
0 0
1 λ2 m2 p20
где α = Fr=0 = . Поскольку Tε,p = −G−1 (ε, p), перенормиро-
π 2π 4
ванная функция Грина
e p) = 1
G(ε, (4.107)
ε − p2 /2M − Σ(ε, p)
Z∞
i b b
χ(ω) = h [A(t), B(0)] i eiωt dt, (5.2)
~
0
b
Теперь подставим эти выражения в коммутатор h [A(t), b
B(0)] i, и
раскроем среднее по теореме Вика. Результат выглядит так:
P n(Em ) − n(Ek )
χ(ω) = Amk Bkm . (5.4)
m,k Ek − Em − ω − iδ
88 Идеальный ферми-газ [ Гл. 5
1
) Здесь мы будем считать температуру равной нулю. Отметим, однако,
что вычисление по формуле Кубо всегда легко распространить на конеч-
ные температуры. При T > 0 усреднение в (5.2) берется по равновесному
термодинамическому состоянию, и при взятии среднего по теореме Вика
возникают зависящие от температуры числа заполнения состояний частиц.
Например, для фермионов в (5.4) следует положить n(E) = 1/(eE/T + 1).
2
) Например, для идеального ферми-газа собственные функции — плоские
волны, а матричные элементы операторов — просто их фурье-компоненты,
так что нахождение любого линейного отклика с помощью (5.4) — по
существу, тривиально (см. задачи 24, 25).
3
) Например, распределение плотности, спина, статическую поляризуе-
мость (задачи 7, 8, 14, 23)
5.2 ] Задачи 22 –27 89
где GA R
k (ε + ω) и Gm (ε) — запаздывающая и опережающая функции,
взятые в диагональном представлении. Подставляя это выражение
в (5.4), получаем выражение для восприимчивости:
Z h i
1 b A (ε + ω)B,
b Gb R (ε)A
b ρb dε.
χ(ω) = Tr G (5.10)
2πi
Здесь ρb — матрица плотности системы (в диагональном представ-
лении ρbmk = n(Em )δmk ); выражение в квадратных скобках представ-
ляет собой коммутатор операторов G b A (ε + ω)B
bиG
b R (ε)A.
b
Основное преимущество выражения (5.10) по сравнению с (5.4) в
том, что оно верно в произвольном базисе и, значит, может быть ис-
пользовано даже если собственные функции неизвестны. Интересным
примером такой ситуации является задача о транспорте в случайном
потенциале, которую мы рассмотрим в гл. 9.
В случайном потенциале собственные функции меняются от одной
реализации потенциала к другой, в то время как интерес представля-
ют величины, усредненные по случайному потенциалу. Мы увидим,
что усреднять функции Грина и их произведения оказывается гораздо
удобнее, чем действовать «в лоб», используя (5.4).
Литература: Основное состояние и корреляционная функция иде-
ального ферми-газа рассмотрены в [3], § 9.1–9.3 без использования
вторичного квантования. Интересно сравнить этот подход с более
стандартным изложением — см. [5], § 53, 55 – 58, а также [6], § 1 и
[1], § 2. Определение и свойства функции Грина идеального ферми–
газа обсуждаются в [6], § 9, 10. Обобщенная восприимчивость и фор-
мула Кубо рассмотрены в [5], § 123, 126. С применениями идеального
ферми-газа в теории многоэлектронного атома можно ознакомиться
по [2], § 70, а с применениями в теории металлов — по [3], гл. IX и [6],
§ 61.
bint = JS i σ
H bi (r = 0), (5.11)
или, в фурье-представлении, hb
nk,ω i = Q(k, ω) ϕk,ω . Функцию отклика
Q(k, ω) можно определить, пользуясь формулой Кубо, как в зада-
че 24б, с заменой операторов плотности спина на операторы плот-
ности числа частиц.
Найдите Q(k, ω) при малых k и ω, |k| ≪ p0 , |ω| ≪ EF . Сравните с
функцией Грина фононов (4.7).
4
) Эту задачу удобно решать, используя координатное представление для
гриновских функций (см. задачу 22).
5.2 ] Задачи 22 –27 91
2 1
hδNL2 i = hNL2 i − hNL i = ln(p0 L). (5.14)
π2
Любопытно, что флуктуации (5.14) неэкстенсивны (неаддитивны по
длине интервала), в отличие от классических термодинамических
флуктуаций. Неэкстенсивность есть проявление квантовых корреля-
ций. При конечной температуре экстенсивность восстанавливается на
масштабах, превосходящих тепловую длину: L ≫ LT = ~vF /T .
Более трудным оказывается вопрос о нахождении полной статистики
распределения числа частиц в конечном интервале. С помощью метода
бозонизации, изложенного в гл. 12, можно показать, что это распределение
нормальное:
(n − a)2
P (n) ≈ exp − , (5.15)
2b
5
) Для бесспиновых фермионов показатель степени в (5.16) есть α =
= δ02 /(2π 2 ).
6
) L ≈ 2πN 1/3 /p0 , где N — полное число частиц.
7
) P. W. Anderson // Phys. Rev. Lett. 1967. V. 18. P. 1049.
92 Идеальный ферми-газ [ Гл. 5
Z 2 Z∞
dε m dε
G0 2 (ε, r) = e2ir(p0 +ε/vF ) + e−2ir(p0 −ε/vF ) =
2π 2πr 2π
0
mp0 cos (2p0 r)
=i . (5.30)
(2π)3 r3
где ξ± (q) = ξ(q± ) = ξ(q) ± (vF k/2) cos θ. Интегрируем (5.33) по ε, за-
мыкая контур в верхней полуплоскости ω и раскладывая произведе-
ние G0 на простейшие дроби. Интеграл отличен от нуля, если полюсы
функций G0 лежат в разных полуплоскостях:
Z
dε
=
(ε + ω/2 − ξ+ + iδ sgn ξ+ ) (ε + ω/2 − ξ− + iδ sgn ξ− )
2πi [n(ξ− ) − n(ξ+ )]
= , (5.35)
ω − vF k cos θ + iδ (sgn ξ+ − sgn ξ− )
где
0 при |x0 | > 1,
x0 + 1
A = −2 + x0 ln , B = −πx0 при 0 < x0 < 1, (5.38)
x0 − 1
πx0 при − 1 < x0 < 0.
Получаем " #
ω kv + ω πi |ω| |ω|
Π(ω, k) = −2ν0 1− ln F + θ 1− . (5.39)
2kvF kvF − ω 2 kvF kvF
В том, что это неверно, легче всего убедиться, заметив, что выра-
жение (5.39) для Π(ω, k) как функции частоты ω не обладает аналити-
ческими свойствами восприимчивости, поскольку имеет особенности
в полуплоскости Im ω > 0. Последнее видно уже из выражения (5.35),
устроенного так, что в зависимости от знаков ξ+ и ξ− полюс по ω
может оказаться в верхней полуплоскости, в нижней, или на веще-
ственной оси. Это автоматически приводит к нарушению причинности
и в окончательном ответе (5.39).
С формальной точки зрения проблема состоит в том, что в петле
на рис. 5.1 были взяты причинные функции Грина. Поэтому по своим
аналитическим свойствам эта величина аналогична поляризацион-
ному оператору, а не восприимчивости, и аналитические свойства
оказываются следующими: Π(−ω) = Π(ω), а не χ(−ω ∗ ) = χ∗ (ω). В
результате особенности на плоскости комплексного ω оказываются
расположенными симметрично относительно ω = 0.
Отметим, что на самом деле восприимчивость и поляризационный
оператор можно связать друг с другом с помощью мацубаровской
техники, используя мнимые частоты и метод аналитического продол-
жения (см. задачу 37, гл. 7). При этом выясняется, что надо взять
выражение (5.39) для петли на рис. 5.1 при ω > 0 и продолжить в
верхнюю полуплоскость комплексного ω, а с нее — на ω < 0. (Так что
приведенное выше соображение не совсем уж и неправильное!).
Однако пока мы не будем использовать эту связь, а проделаем
прямое вычисление по формуле Кубо. Возьмем в качестве A(t) b и B(t)
b
в (5.2) оператор плотности намагниченности:
h i
sbz (r, t) = µB ψb↑+ (r, t)ψb↑ (r, t) − ψb↓+ (r, t)ψb↓ (r, t) . (5.40)
8
) Применяя теорему Вика, следует иметь в виду, что среднее в формуле
Кубо не T-упорядоченное.
5.3 ] Решения задач 22 –27 97
Остается интеграл по углам 0 < θ < π/2. Обратим внимание на то, что
замена ω + iδ → −ω − iδ эквивалентна замене θ → π/2 − θ. Поэтому:
Zπ
2 vF k cos θ
χω,k = −µB ν0 sin θ dθ. (5.49)
ω − vF k cos θ + iδ
0
9
) Отметим, что выражение (5.39) для причинного коррелятора при ω > 0
совпадает с выражением (5.51) для запаздывающего коррелятора, а при
ω < 0 отличается комплексным сопряжением.
5.3 ] Решения задач 22 –27 99
или
ν1D vF2 k2
Q(ω, k) = , (5.64)
ω − vF2 k2 + iδ sgn ω
2
Нас интересует
ZL ZL
b2i =
hδ N hhb n(x′ )ii dx dx′ ,
n(x)b (5.67)
L
0 0
ha+ + + + + +
p1 ap2 ap3 ap4 i = hap1 ap2 ihap3 ap4 i + hap1 ap4 ihap2 ap3 i. (5.69)
5.3 ] Решения задач 22 –27 101
P ′
hhn(x)n(x′ )ii = ha+ +
p1 ap2 ihap3 ap4 ie
ix(p2 −p1 )+ix (p4 −p3 )
=
Zp 0 Z+∞ Zp 0
′ dp ′ dp ′ dp
= eip1 (x −x) 1 · eip3 (x−x ) 3 − eip3 (x−x ) 3 =
2π 2π 2π
−p0 −∞ −p0
Zp0 2 Zp0
ip(x−x′ ) dp ′ dp
=− e + eip(x−x ) δ(x − x′ ) =
2π 2π
−p0 −p0
1 sin2 p0 (x − x′ ) p
=− + 0 δ(x − x′ ). (5.70)
π2 (x − x′ )2 π
ZLZL
p0 1 sin2 p0 (x − x′ )
hδNL2 i = L− 2 dx dx′ . (5.71)
π π (x − x′ )2
0 0
ZLZL ZL ZL
sin2 p0 (x − x′ ) sin2 p0 u
dx dx′ = 2 du dv =
(x − x′ )2 u2
0 0 0 u
ZL
sin2 p0 u π 1
=2 (L − u) 2 du ≈ 2 Lp0 − ln Lp0 .
u 2 2
0
Итак, находим
p0 p 1 1
hδNL2 i = L − 0 L + 2 ln(Lp0 ) = 2 ln(p0 L), (5.72)
π π π π
что и требовалось.
27. (Первое решение.) Будем считать электроны бесспиновыми
и восстановим зависимость от спина в конце. Возьмем среднее S-
матрицы по основному состоянию газа с U (r) = 0,
* Z0 +
Kγ = T exp(−i bint (t)dt) ,
H (5.73)
−∞
102 Идеальный ферми-газ [ Гл. 5
Z0 Zt1 tZ
n−1
P
∞
... (−i)n Hbint (t1 )H
bint (t2 ) . . . H
bint (tn ) dtn . . . dt2 dt1 .
n=0
−∞ −∞ −∞
(5.74)
Kγ = 1 + Λ. (5.75)
−∞ −∞ Z
n
= −i U (r) d3 r, (5.78)
γ
где n — плотность ферми-газа. Физически этот вклад связан со сдви-
гом энергии основного состо-
яния, вычисленным в первом
порядке теории возмущений.
Поэтому он не имеет отноше-
ния к вопросу об ортогональ-
ности состояний. В самом де-
ле, допустим, что в результате
введения возмущения энергия
Рис. 5.3. основного состояния измени-
лась на δε, а само состояние осталось в точности тем же. Тогда
Z0
δε
ln Kγ = −i δεeγt dt = −i . (5.79)
γ
−∞
Z0 Z0
(−i)2 bint (t′ )H
bint (t)ii dt′ dt =
F2 = hhT H
2
−∞−∞ Z0 Zt
=− bint (t)H
hhH bint (t′ )ii dt′ dt. (5.80)
−∞−∞
1 δ02
h0|0′ i ≈ , α= , (5.91)
(p0 L)α π2
где δ0 = παν0 .
Выражение (5.91) получено для слабого потенциала возмущения.
Более точная оценка интеграла перекрытия h0|0′ i, не использующая
предположение о слабом возмущении, потребовала бы суммирования
106 Идеальный ферми-газ [ Гл. 5
Мы ввели обозначение ZZ
G(ω1 , ξ1 ) G(ω2 , ξ2 ) dω1 dω2
I(ξ1 , ξ2 ) = , (5.94)
(ω1 − ω2 )2 + γ 2 (2π)2
где G(ω, ξ) = 1/(ω − ξ + iδ sgn ξ). Как и выше, нам будет удобно счи-
тать фермионы бесспиновыми и восстановить зависимость от спина в
конце.
Вычислим интеграл (5.94) по ω1,2 , используя теорему Коши и
теорию вычетов. Рассмотрим сначала случай ξ1 > 0 (рис. 5.4). Проин-
тегрировав по ω1 , находим
Z
1 dω2 /2π
I= . (5.95)
2γ (ω2 − ξ1 + iγ)(ω2 − ξ2 + iδ sgn ξ2 )
Интеграл отличен от нуля только при ξ2 < 0 (рис. 5.5). В этом случае
получаем
i θ(ξ1 )θ(−ξ2 )
I= . (5.96)
2γ ξ2 − ξ1 + iγ
Интеграл здесь отличен от нуля только при ξ2 > 0 (рис. 5.7) и равен
i θ(−ξ1 ) θ(ξ2 )
I= (5.98)
2γ ξ1 − ξ2 + iγ
Собирая эти результаты в одно выражение, получаем
Z
α2 ν02 dξ1 dξ2
F2 = i . (5.99)
4γ |ξ1 − ξ2 | − iγ
ξ1 ξ2 <0
1
) В дальнейшем мы будем рассматривать главным образом продольные
колебания, для которых ekα k k.
110 Электроны и фононы [ Гл. 6
Рис. 6.1.
Уравнение Дайсона для функции Грина фононов выглядит аналогич-
но уравнению (4.9):
D = D0 + D0 ΠD (6.9)
2
) Адиабатическое приближение для полярона сильной связи и теория
автолокализации были впервые предложены в работе: S. I. Pekar // J.
Phys. (U.S.S.R.). 1946. V. 10. P. 341; см. также: С. И. Пекар. Исследования
по электронной теории кристаллов. — М.: Гостехиздат, 1951.
3
) Л. Д. Ландау, С. И. Пекар // ЖЭТФ. 1948. Т. 18. С. 419.
6.3 ] Решения задач 28 –33 115
получаем
Z Z
g 2 cm
Im Σ(ε, p) = (θ(−ξ)δ(ε + ck − ξ) − θ(ξ)δ(ε − ck − ξ))dξk 2 dk.
8πp
(6.21)
ZkD
g2 c
Im Σ(ε, p) = (θ(−ε − ck) − θ(ε − ck)) k 2 dk. (6.22)
8πvF
0
Zkε
g2 c g 2 ckε3
Im Σ(ε, p) = − sgn ε k 2 dk = − sgn ε , (6.23)
8πvF 24πvF
0
Im Σ(ε) ≪ ε, (6.25)
π c2 π c
γ= ζ k = ζ ω. (6.50)
2 vF 2 vF
Здесь b
k = −i∂/∂x. Перейдя к импульсному представлению, нетрудно
найти собственные значения и собственные векторы оператора (6.74):
q
2 u±
2 2
ε± (k) = ± vF k + ∆ , |±, ki = , (6.75)
−v±
где
1 vF k 1 vF k
u2± = 1 ± q , 2
v± = 1 ∓ q . (6.76)
2 2
vF2 k2 + ∆2 vF2 k2 + ∆2
ω02 (k)
D−1 (ω, k) = D0−1 (ω, k) − g 2 Π(ω, k), D0 (ω, k) = , (6.83)
ω − ω02 (k)
2
4
) Читатель, знакомый с теоремой Голдстоуна, знает, что в этом проявля-
ется общий принцип, требующий появления мягкой голдстоуновской моды
при нарушении непрерывной симметрии в основном состоянии системы.
132 Электроны и фононы [ Гл. 6
следующим образом:
Z Z
dε dq
Π(ω, k) = −i Tr (σx G(ε+ , q+ )σx G(ε− , q− )) 2, (6.84)
(2π)
1 1
где ε± = ε ± ω, q± = q ± δk, а матрица Паули σx и след Tr . . .
2 2
определены в двумерном пространстве правых и левых состояний
электронов, в соответствии с (6.82). Используя выражения (6.82) для
матричных функций Грина, получаем
Z Z
(ε+ − vF q+ )(ε− + vF q− ) + ∆2 dε dq
Π(ω, k) = −i 2 2 2 2 2 2 2 2 2,
(ε+ − vF q+ − ∆ + i0)(ε− − vF q− − ∆ + i0) (2π)
(6.85)
Zε0
1 −r2 + ∆2 1 ε
= rdr = − ln 0 , (6.87)
2πvF (r2 + ∆2 )2 2πvF e∆
0
5
) Подробнее с физикой волн зарядовой плотности можно ознакомиться
по обзорам: Л. П. Булаевский // УФН. 1975. Т. 115. С. 261; G. Grüner //
Rev. Mod. Phys. 1988. V. 60 (4). P. 1129–1181; и книге: Charge density waves in
solids / Eds. L. P. Gorkov , G. Grüner . North Holland, 1989; см. также ориги-
нальные работы: P. A. Lee, T. M. Rice, P. W. Anderson // Solid State Comm.
1974. V. 14. P. 703; С. А. Бразовский, И. Е. Дзялошинский // ЖЭТФ. 1976.
Т. 71. С. 2338.
Глава 7
ДИАГРАММНАЯ ТЕХНИКА ПРИ КОНЕЧНЫХ
ТЕМПЕРАТУРАХ
ω02 (k)
D(iωn , k) = − , ωn = 2πnT. (7.19)
ωn2 + ω02 (k)
GR (ε, r1 , r2 ) =
Z∞
= −i eiεt12 hψ(rb 1 , t1 ) ψb+ (r2 , t2 ) ± ψb+ (r2 , t2 ) ψ(r
b 1 , t1 )iт dt12 , (7.21)
0
GA (ε, r1 , r2 ) =
Z0
=i b 1 , t1 ) ψb+ (r2 , t2 ) ± ψb+ (r2 , t2 ) ψ(r
eiεt12 hψ(r b 1 , t1 )iт dt12 , (7.22)
−∞
1
) См. [1] § 17, формулы (17.15) и (17.16).
7.2 ] Дискретные частоты 141
2
) См. [1], § 17; § 37, п. 2; [6], § 91.
142 Диаграммная техника при конечных температурах [ Гл. 7
3
) Хорошее изложение техники Келдыша можно найти в обзоре:
J. Rammer , H. Smith // Rev. Mod. Phys. 1986. V. 58(2). P. 323–359; см. также
[8], § 92–95.
144 Диаграммная техника при конечных температурах [ Гл. 7
Рис. 7.1.
а. Покажите, что термодинамический потенциал Ω выражается
через функцию Грина
1
Gα (iεn , p) = , (7.29)
iεn − ξα (p) − Σα (iεn , p)
где α — спиновый индекс, следующим образом:
P iεn τ
Ω=T e ln Gα (iεn , p), τ → +0. (7.30)
n,p,α
б. (Энтропия и теплоемкость.) Чтобы использовать форму-
лу (7.30) для вычисления термодинамических функций, полезно при-
вести ее к виду, содержащему вместо суммы по мацубаровским часто-
там интеграл по вещественным частотам. Воспользуйтесь для этого
4
) На больших расстояниях r ≫ p−1
0 удобно использовать функцию Грина
в координатном представлении — см. задачу 22 и начало § 38 в [1].
7.3 ] Задачи 34 –42 145
правилом
I
P 1 ε
T f (εn ) = th f (ε) dε (εn = πT (2n + 1)) (7.31)
n 4πi 2T
и перейдите к интегрированию по контуру, обходящему мнимую ось,
на которой расположены полюсы функции th(ε/2T ).
Найдите линейный по T член в теплоемкости 5) металла при
низких температурах T ≪ ωD с учетом эффектов электрон-
фононного взаимодействия. Как известно, в этом случае собственно-
энергетическая часть Σ(ε, p) не зависит от p и при малых энергиях
|ε| ≪ ωD с хорошей точностью дается выражением Σ(ε) = −bε (см.
задачу 29 и [1], § 21, п. 3).
З ад а ча 36. (Термодинамический потенциал фермионной цепоч-
ки.) Рассмотрим фермионную цепочку (1.20)
P
∞
H= J 1 a+ + + + +
i ai+1 + J1 ai+1 ai + J2 ai ai+1 + J2 ai+1 ai − Bai ai , (7.32)
i=−∞
5
) Электрон-фононное взаимодействие дает также неаналитический по
температуре вклад в теплоемкость металла: δC ≈ (T /ωD )2 ln (ωD /T ) —
см. [1], § 21, п. 4.
146 Диаграммная техника при конечных температурах [ Гл. 7
Im GR (ε′ , p1 ) Im DR (ω, p − p1 ) ′
× dε , (7.38)
ε − ε′ − ω + i0
где интеграл берется по вещественным ε′ и ω. Выражение (7.38) по
своей структуре напоминает полученные в задаче 24 б формулы (5.57),
(5.53), дающие восприимчивость при T = 0 и явно учитывающие
аналитические свойства, следующие из принципа причинности.
З ад а ча 41. (Динамика вблизи перехода.) Рассмотрим динамику
электронов и фононов в одномерной системе при температуре вблизи
6
) См. работу: Г. М. Элиашберг // ЖЭТФ. 1960. Т. 39. С. 1437, а также [1],
§ 21, п. 3; [6], § 96.
7
) Мнимая часть функций Грина в (7.38) определена стандартным обра-
зом. В частности, для свободных частиц Im(ε − ξ + i0)−1 = −πδ(ε − ξ).
148 Диаграммная техника при конечных температурах [ Гл. 7
8
) Если бы вместо атомов в пространстве, заполненном излучением, на-
ходились два одинаковых макроскопических поглощающих шара, то сила
притяжения между ними спадала бы как 1/r2. Это справедливо при диамет-
ре шаров (rλT )1/2 ≪ a ≪ r, где λT = hc/T . В XVIII в. подобный механизм
предлагался для объяснения закона тяготения.
7.4 ] Решения задач 34 –42 149
откуда
T sin p0 x
G0 (τ → −0, x) = . (7.49)
vF sh (πT x/vF )
m2 T cos(2p0 r)
σ i (r) = JS i . (7.54)
2π 2 r2 sh(2πT r/vF )
7.4 ] Решения задач 34 –42 151
1 P n
δΩn = T (G0,α (iεm , p)Σα (iεm , p)) . (7.55)
n m,p,α
P
∞
F (a) = −T eiεm τ ln (iεm − a) , (7.58)
m=−∞
b ) — ста-
где ωmn = Em − En — частота перехода, a Z = Tr exp(−β H
тистическая сумма. Меняя индексы m и n во втором члене суммы
местами и интегрируя по t, находим
P e−βEn − e−βEm b b
χAB (ω) = hn|A|mihm| B|ni. (7.77)
m,n ω − ωmn + i0
156 Диаграммная техника при конечных температурах [ Гл. 7
b b
b e−τ H — мацубаровский оператор. В базисе соб-
b M (τ ) = eτ H X
Здесь X
ственных состояний получаем
Zβ
1 P b b dτ +
χM
AB (iωn′ ) = eiωn′ τ e−βEn e−ωmn τ hn|A|mihm| B|ni
2Z m,n
0
Z0
1 P b b dτ.
+ eiωn′ τ e−βEn eωmn τ hn|B|mihm| A|ni (7.79)
2Z m,n
−β
c2
D(r, τ ) = − b τ ) ϕ(0,
hTτ ϕ(r, b 0)iт =
ρ Z
P ω(k)2 D
−iωn τ +ikr d k
= −T 2 e (7.96)
ωn ωn2 + ω(k) (2π)D
9
) Строго говоря, это дает коррелятор продольных компонент смещений
uk k k. Однако, поскольку корреляторы всех компонент смещений одинако-
вы по порядку величины, мы ограничимся рассмотрением лишь продоль-
ных компонент.
160 Диаграммная техника при конечных температурах [ Гл. 7
пагатора на ρωk2 : Z
TP eikr dD k
Cт (r) = . (7.97)
ρ ωn ωn2 2
+ ωk (2π)D
Б. D = 2:
Z∞ Z2π Z∞
(2) 1 dθ ikr cos θ 1 1
C0 (r) = e dk = J0 (kr) dk = .
4πρc 2π 4πρc 4πρcr
0 0 0
(7.106)
В. D = 1:
Z∞ Z∞
(1) 1 ikr dk 1 dk 1 L
C0 (r) = e = cos kr = ln . (7.107)
4πρc |k| 2πρc k 2πρc r
−∞ 0
где
P∞
Γ′ (z) 1 1
ψ(z) = = −γ − − , (7.121)
Γ(z) k=0 k + z k + 1
Zβ
1
′
G(iωn , r, r ) = − eiωn τ hTτ ψbM (r, τ ) ψbM
+
(r′ , 0)iт dτ (7.132)
2
−β
P 1 1
F =T ′ ′ =
ε′m x − iε m ω − iε n + iεm
T P 1 1
= + . (7.135)
ω + x − iεn ε′
m
x − iε′m ω − iεn + iε′m
Поэтому I = 4πiS.
В то же время аналитичность f (z) позволяет деформировать кон-
тур интегрирования, как показано на рис. 7.6. При этом интеграл по
10
) Согласно (7.121), ψ ′ (1/2) = 3ζ(2), ψ ′′ (1/2) = −14ζ(3).
7.4 ] Решения задач 34 –42 171
Im DR (ω, q) =
1 1 1 ω
=− 2 + =− . (7.151)
2bg ν1D ω + iγ(q) ω − iγ(q) bg 2 ν1D (ω 2 + γ 2 (q))
(7.156)
причем усреднение происходит как по флуктуациям дипольных мо-
ментов, так и по флуктуациям электрического поля. Нас интересует
слагаемое в (7.156), отвечающее взаимодействию двух атомов. По-
скольку средний дипольный момент атома равен нулю, очевидно, что
интересующие нас члены должны содержать каждый из дипольных
моментов d(1) и d(2) четное число раз. Поэтому наименьшим порядком
теории возмущений, дающим отличный от нуля вклад, оказывается
четвертый:
Zβ Zβ
T
U =− ... hTτ Vb (τ1 ) . . . Vb (τ4 )iт dτ1 . . . dτ4 . (7.157)
4!
0 0
Zβ Zβ
T (1) (2)
U12 =− ... hTτ db(1) b b(2) b
α (τ1 ) dβ (τ2 )iт hTτ dγ (τ3 ) dδ (τ4 )iт ×
2
0 0
bα (r1 , τ1 ) E
× hTτ E bγ (r2 , τ3 )iт hTτ E
bβ (r1 , τ2 ) E
bδ (r2 , τ4 )iт dτ1 . . . dτ4 .
7.4 ] Решения задач 34 –42 173
Вычислим интеграл
Z Z∞
eikr d3 k 1 sin kr k2 dk
I= 2 2 3 = 2 2 2 =
k + a (2π) 2π kr k +a
0
Z∞
1 ∂ cos kr 1 ∂ π −ar 1 −ar
=− 2 2 2 dk = − 2 e = e . (7.167)
2π r ∂r k +a 2π r ∂r 2a 4πr
0
А: r ≪ λ0 ; Б: λ0 ≪ r ≪ λT ; В: λT ≪ r.
Z∞ Z∞
6~ α′′ (ω1 ) α′′ (ω2 )
U (r) = − 2 6 dω1 dω2 . (7.175)
π r ω1 + ω2
0 0
P hm|H
b 12 |0i|2
δE0 = − , (7.176)
m6=0 Em − E0
где
b12 = 1 [b
H b 2 − 3(b
p1 p p1 n)(b
p2 n)] (7.177)
3
r12
— гамильтониан дипольного взаимодействия двух атомов в пренебре-
жении запаздыванием.
Б: В этом случае kn λ0 ≫ 1 и, значит, необходимо учитывать
запаздывание электромагнитного взаимодействия. В то же время,
поскольку kn λT ≪ 1, температура по-прежнему эффективно мала, и
мацубаровскую сумму в (7.172) можно заменить на интеграл. Этот ин-
теграл определяется областью частот ωn ≈ c/r ≪ ω0 (из-за экспонен-
циального множителя в K(ω, r)), вследствие чего можно пренебречь
ωn в знаменателях (7.172). В результате интегрирование по ω1,2 даст
11
) Соотношения (7.175) и (7.180) были получены Лондоном (1930) и Поль-
дером и Казимиром (1948) — подробнее см. [1], гл. VI; [9], § 85.
176 Диаграммная техника при конечных температурах [ Гл. 7
Глава 8
ТЕОРИЯ ФЕРМИ-ЖИДКОСТИ
8.1. Квазичастицы
Наиболее простое обоснование теории ферми-жидкости можно
получить, следуя квазиклассической аргументации Ландау. Основ-
ная идея этого подхода та же, что и в теории многоэлектронно-
го атома Томаса–Ферми. Напомним, что в многоэлектронном атоме
распределение электронов по импульсам в каждой точке простран-
ства описывается ферми-сферой, радиус которой p0 (r) есть функция
координат. Взаимодействие учитывается заменой потенциала ядра,
в поле которого движутся электроны, на эффективный потенциал,
включающий среднее электрическое поле, создаваемое электронами.
В свою очередь, кулоновский потенциал поля электронов находится
по электронной плотности ρ(r) = p30 (r)/(3π 2 ) и, таким образом, карти-
на оказывается самосогласованной. Теория Томаса–Ферми позволяет
найти распределение заряда в многоэлектронном атоме, энергию свя-
зи, и т. п.
Теория ферми-жидкости Ландау является своего рода обобщением
теории Томаса–Ферми, описывающим динамику частиц в бесконечной
однородной системе взаимодействующих фермионов. Предполагает-
ся, что равновесное распределение по импульсам есть ферми-сфера
8.1 ] Квазичастицы 179
1
) Л. Д. Ландау // ЖЭТФ. 1956. Т. 30. С. 1058–1064.
180 Теория ферми-жидкости [ Гл. 8
2
) Л. Д. Ландау // ЖЭТФ. 1957. Т. 32. С. 59–66.
8.2 ] Кинетическое уравнение. Коллективные моды 181
Решение уравнения (8.10) есть u(n) = A cos θ/(s − cos θ), где A —
произвольная константа. Подставляя это решение в (8.10), находим
s s+1 1
ln −1= . (8.11)
2 s−1 F0
3
) См.: D. Bohm, D. Pines // Phys. Rev. 1953. V. 92. P. 609–625. В этой рабо-
те электронная система описывается с помощью многочастичной антисим-
метризованной волновой функции, без использования вторичного квантова-
ния. Изложение вопроса на более современном языке можно найти в весьма
полезной книге: D. Pines. The Many-Body Problem. — N. Y.: W. A. Benjamin,
Inc., 1961. Помимо авторского текста данная книга содержит также факси-
мильные копии основных работ по теории многих тел.
4
) Наше изложение опирается на работы Савады, Венцеля и др., в ко-
торых был введен введен так называемый «эффективный гамильтониан»,
описывающий взаимодействие электрон-дырочных пар в приближении
случайных фаз. Более подробно с методом эффективного бозонного га-
мильтониана можно ознакомиться по оригинальным работам: K. Sawa-
da // Phys. Rev. 1957. V. 106. P. 372; K. Sawada, K. A. Brueckner , N. Fukuda,
184 Теория ферми-жидкости [ Гл. 8
R. Brout // Phys. Rev. 1957. V. 108. P. 507; G. Wentzel // Phys. Rev. 1957.
V. 108. P. 1593.
8.3 ] Приближение случайных фаз 185
5
) Отброшенные члены характерны тем, что в представлении взаимодей-
ствия их зависимость от времени описывается быстро осциллирующими
фазовыми множителями, в то время как все удерживаемые члены не зави-
сят от времени. В работе Бома и Пайнса, процитированной на с. 183, было
показано, что эти быстро осциллирующие члены дают малые поправки к
уравнениям эволюции операторов (8.15), и поэтому их исключение законно.
Этому и обязан своим появлением термин «приближение случайных фаз».
186 Теория ферми-жидкости [ Гл. 8
cp,k , c+
p′ ,k′ = δpp δkk ,
′ ′ cp,k , cp′ ,k′ = 0. (8.19)
ϕp,k ≡ ϕ+
−p,−k = (2ωp,k )
−1/2
(cp,k + c+
−p,−k ),
1/2 (8.22)
+ 1
πp,k ≡ π−p,−k = i ωp,k (c+
p,k − c−p,−k ).
2
8.3 ] Приближение случайных фаз 187
6
) Мы опускаем константу
P
E0 = − ωp,k /2,
k; p∈Rk
Рис. 8.3.
e−κ|r|
Φ(r) = , κ 2 = 4πe2 ν. (8.27)
|r|
7
) При ином выборе направления возмущающего поля относительно коор-
динатных осей необходимо было бы рассматривать диаграммы, в которых
192 Теория ферми-жидкости [ Гл. 8
Рис. 8.8.
З ад а ча 49. a. (Корреляционная энергия 8) .) Как мы убедились
в задаче 48, начиная со второго порядка, формальный ряд теории
возмущений по e2/~vF для энергии кулоновского взаимодействия
в металле содержит расходящиеся члены. Общий порядок действий
в подобных случаях — найти наиболее сильно расходящиеся графики
в каждом порядке теории возмущений и просуммировать их. Пока-
жите, что в данном случае последовательность наиболее сингулярных
графиков имеет вид, показанный на рис. 8.8.
Вычислите сумму этих графиков. Покажите, что с логарифми-
ческой точностью по e2/~vF ответ можно получить, заменив исход-
ное кулоновское взаимодействие на заэкранированное взаимодействие
Vk,ω , рассмотренное в задаче 44 (см. рис. 8.3). С этой точностью
энергия дается графиком a на рис. 8.7, в котором одна из линий
взаимодействия станет жирной, а другая останется тонкой.
8
) Кольцевые диаграммы для корреляционной энергии были впервые рас-
смотрены в работе: M. Gell-Mann, K. A. Brueckner // Phys. Rev. 1957. V. 106.
P. 364.
194 Теория ферми-жидкости [ Гл. 8
Функция же uчет (θ) выглядит более сложно. Она имеет как дельта-
функционные, так и полюсные особенности в точках θ = ±α, в соот-
ветствии с (8.9).
Решение, описывающее коллективную моду, будем искать в виде
−αm
e при m > 0,
um = eαm при m < 0, (8.37)
u0 при m = 0.
9
) Здесь и далее подразумевается, что частота в поляризационном опера-
торе Π(ω, k) имеет бесконечно малую мнимую часть: ω + i0 sgn ω. В этом
случае Π(ω, k) имеет аналитические свойства причинной двухчастичной
функции Грина.
196 Теория ферми-жидкости [ Гл. 8
Zπ
kvF cos θ
Π(ω, k) = ν0 d cos θ. (8.45)
ω − kvF cos θ
0
Интегрируя по θ, находим
s s+1
Π(ω, k) = 2ν0 ln −1 , (8.46)
2 s−1
где s = ω/kvF . Мы убеждаемся, что уравнение Vk Π(ω, k) = 1, опреде-
ляющее полюс заэкранированного взаимодействия Vω,k , тождественно
соотношению (8.14), выведенному из кинетического уравнения ферми-
жидкости.
Закон дисперсии плазмона при малых k можно получить, разло-
жив выражение (8.46) по 1/s:
1 1
Π(ω, k) = 2ν0 2 + 4 + ... . (8.47)
3s 5s
ν k2
(F (1) − F (1 + 2a)) = . (8.55)
8a 4πe2
198 Теория ферми-жидкости [ Гл. 8
1+a 2k2
(1 + a) ln −1 = 2 , (8.56)
a κ
Находим
1/2
2ωp,k P
1/2
ϕp,k = 2 2 Vk ωp′ ,k ϕp′ ,k . (8.60)
ω − ωp,k p′ ∈Rk
8.5 ] Решения задач 43 –49 199
1/2
Умножая эти равенства на ωp,k и суммируя по k, p и спинам, полу-
чаем уравнение самосогласования:
P 2ωp,k
1 = 2Vk 2 ,
2 (8.61)
p∈Rk ω − ωp,k
Vk
Φ(k) = . (8.63)
1 − Vk Π(k)
Πω=0 (k) имеет слабую особенность при |k| = 2p0 . Чтобы ее найти,
воспользуемся точным выражением (8.52), (8.53). Получаем
ν 1+a
Πω=0 (k) = − 2a − (1 − a2 ) ln , (8.65)
4a 1−a
где a = |k|/2p0 . Особенность при a = 1 и дает главный вклад в потен-
циал при больших r.
Оценим осциллирующую компоненту потенциала, возникающего
при возмущении электронной системы внешним потенциалом V ext (r).
Заэкранированный потенциал в этом случае дается выражением (8.63)
с Vkext в числителе. Выделяя особенность при |k| = 2p0 и делая фурье-
преобразование, получаем
e2 cos (2p0 |r|)
Φosc (r) ≈ V ext . (8.66)
4π~vF |k|=2p0 |r|3
Vkext
Vktot = Vkext + Vk ρk (8.71)
1 − Vk Π(k)
8.5 ] Решения задач 43 –49 201
совпадает с (8.63).
46а. В первом порядке по взаимодействию имеется два вклада
в собственно-энергетическую часть, показанные на рис. 8.4. В случае
короткодействия интегрирование по внутренним частоте и импульсу
дают просто плотность частиц, в первой диаграмме n↑ + n↓ , а во
второй — n↑ или n↓ , в зависимости от спинового индекса внешней
линии. При этом существенно, что знаки первого и второго вкладов
противоположны, поскольку во второй диаграмме на рис. 8.4 отсут-
ствует фермионная петля. Поэтому
4πp30,↑ 4πp30,↓
n↑ = 3 , n↓ = , (8.74)
3(2π~) 3(2π~)3
где
p2↑ p2↓
= EF − ωB − Σ↑ , = EF + ωB − Σ↓ . (8.75)
2m 2m
Из этих соотношений нетрудно найти, как меняются плотности n↑ и n↓
при включении слабого поля ωB ≪ EF :
Это выражение получается точно так же, как (8.79), причем в данном
случае поляризационный оператор Π↑↓ (ω, k) нужно найти для состо-
яния, поляризованного внешним полем.
Интересующий нас поляризационный оператор есть
Z
d3 p dε
Π↑↓ (ω, k) = i G↑ (ε− , p− )G↓ (ε+ , p+ ) 4, (8.84)
(2π~)
где ω
e = ω − 2ωB − g∆n.
Полюс χ⊥ (ω, k) определяется уравнением gΠ↑↓ (ω, k) = −1, реше-
ние которого в данном случае нетрудно выписать в явной форме:
kvF
ω(k) = 2ωB + g∆n(1 − u cth u), u= . (8.91)
g∆n
Закон дисперсии спиновых волн (8.91) обладает следующими свой-
ствами: при u ≪ 1
ω(k) = 2ωB − kvF cth u, (8.92)
при u ≫ 1 выражение (8.91) стремится к 2ωB + g∆n − kvF . При этом
частота ω(k) вещественна для всех u, т. е. затухание отсутствует.
Описанное поведение при больших u определяется сингулярностью
поляризационного оператора при ω e = −kvF . Как мы убедились
в задаче 44б, эта сингулярность есть следствие принятого приближе-
ния (8.89), при котором интегрирование в (8.85) по тонкому трехмер-
ному слою заменяется интегралом по двумерной ферми-поверхности.
На самом же деле поляризационный оператор (8.85) на границе
квазичастичного спектра, т. е. при ωe = ±kvF , принимает конечное
значение. По тем же причинам, что и в задаче 44 б, логарифмическую
сингулярность в (8.90) следует обрезать при |e ω ± kvF | ≈ k 2 /2m.
В результате уравнение gΠ↑↓ (ω, k) = −1, дающее закон дис-
персии спиновых волн, имеет решение только при k, меньших
8.5 ] Решения задач 43 –49 205
g∆n p
ln 0 = 1. (8.93)
2kvF k
С логарифмической точностью
kmax = (g∆n/2vF ) ln (EF /g∆n).
При k > kmax частота спино-
вых волн оказывается внут-
ри квазичастичного континуума
ω | < vF |k| (см. рис. 8.9). Спино-
|e Рис. 8.9.
вые волны с такими k характе-
ризуются конечным временем затухания, т. е. комплексной часто-
той ω(k).
48а. Вычислим обменную энергию 10) , даваемую второй диаграм-
мой на рис. 8.6. Соответствующее выражение для плотности термоди-
намического потенциала на единицу объема в мацубаровской технике
равно
1 P
∆Ωобм = − T 2 lim G(iε1 , p1 )G(iε2 , p2 ) Vp1 −p2 eiε1 τ1 +iε2 τ2 ,
2 τ1,2 →+0 ε1,2 , p1,2
(8.94)
где G(iε, p) = 1/(iε − ξp ) — функция Грина электронов, а Vk =
= 4πe2 /k2 — фурье-компонента потенциала взаимодействия.
Отметим, что при выписывании выражения (8.94) имеется следу-
ющая тонкость. Поскольку взаимодействие в (8.1) считается мгновен-
ным, в аналитических выражениях для диаграмм на рис. 8.6 возника-
ет функция Грина, взятая при совпадающих временах. Но G(r, τ ) име-
ет скачок при τ = 0, и из-за этого выражения оказываются формально
неопределенными. Эта трудность обычно преодолевается следующим
образом. Оператор взаимодействия (8.1) содержит нормально упоря-
доченное произведение ψ-операторов, в котором ψb всегда стоит правее
ψb+ , поэтому функцию Грина с совпадающими временами следует
понимать как
10
) Нетрудно убедиться в том, что энергия Хартри, даваемая первой диа-
граммой на рис. 8.6, в модели желе точно сокращается при учете взаимодей-
ствия с однородным компенсирующим положительным фоновым зарядом.
Мы не будем на этом останавливаться.
206 Теория ферми-жидкости [ Гл. 8
Z
1 P
∆Ω(b)
кор = − T3 G(iε, k) G(iε + ω, k + q) ×
2 ε,ε′ ,ω
d3 k d3 k ′ d3 q
× G(iε′ , k′ ) G(iε′ − ω, k′ − q) Vq Vk−k′ +q . (8.103)
(2π)9
Z∞
dω θ(ξ ′ ) − θ(−ξ)
′ = . (8.105)
2π(iω − ξ)(−iω − ξ ) ξ + ξ′
−∞
208 Теория ферми-жидкости [ Гл. 8
Получаем
Z
1
∆Ω(a)+(b)
кор = nF (ξk ) − nF (ξk+q ) nF (ξk′ ) − nF (ξk′ −q ) ×
2
θ(ξk′ − ξk′ −q ) − θ(ξk+q − ξk ) d3 k d3 k ′ d3 q
× 2Vq2 − Vq Vk−k′ +q . (8.106)
ξk − ξk+q + ξk − ξk −q
′ ′ (2π)9
Проанализируем область интегрирования в (8.106). Одна из двух θ-
функций в этом выражении должна быть равна единице, а другая —
нулю. Пусть от нуля отлична первая θ-функция. Тогда, поскольку
в (8.106) входит также множитель nF (ξk′ ) − nF (ξk′ −q ), выражение от-
лично от нуля, лишь если |k′ | > p0 , а |k′ − q| < p0 . Аналогичное огра-
ничение накладывается первым сомножителем: |k| < p0 , |k + q| > p0 .
Если же от нуля отлична другая θ-функция, то ответ получается
заменой k → k′ , q → −q. Поскольку выражение симметрично отно-
сительно этой замены, достаточно его просто удвоить. Поэтому
Z Z Z
(a)+(b) (2Vq2 − Vq Vk−k′ +q ) d3 k d3 k ′ d3 q
∆Ωкор = 9 (8.107)
(ξk − ξk+q + ξk′ − ξk′ −q ) (2π)
(интеграл берется по области k ∈ Rq , k′ − q ∈ Rq ). Это выражение
совпадает с (8.32).
Отметим, что формулу (8.32) можно получить и без диаграмм,
вычисляя энергию основного состояния ферми-системы по обычной
квантовомеханической теории возмущений до членов второго порядка
(см. [6], § 6).
Теперь рассмотрим поведение подынтегрального выражения
в (8.107) при q → 0. Области интегрирования по k и k′ представляют
собой в этом случае слои толщины порядка q на поверхности
ферми-сферы (см. рис. 8.1). С другой стороны, знаменатель при
этом оказывается порядка qvF . Поэтому первый член оказывается
порядка q −3 , а второй — порядка q −1 . В результате оказывается,
что при интегрировании по q первый член дает логарифмическую
расходимость на малых q, а второй остается конечен.
Чтобы понять причину найденной расходимости, рассмотрим фи-
зический смысл диаграмм на рис. 8.7. Поляризационные петли на
диаграмме а — это коррелятор плотность–плотность. Поэтому эта
диаграмма описывает вклад взаимодействия флуктуаций плотности
в энергию системы. Ее расходимость при q = 0 означает, что основ-
ной вклад дают флуктуации плотности в далеких точках. Но под-
считывать взаимодействие флуктуаций в точках, расположенных на
расстоянии, большем радиуса экранирования, используя незаэкрани-
рованный потенциал 1/r (как это и происходит в (8.107)), совершенно
неправильно. Можно ожидать, что при правильном учете экранирова-
ния логарифмическая расходимость обрежется на обратном радиусе
экранирования, q ≈ κ.
Что же касается диаграммы б, она описывает обменный эффект
второго порядка. Как и все обменные эффекты, этот вклад в энергию
8.5 ] Решения задач 43 –49 209
Z∞ Z∞
2 ∂ κ 4 vF p2 κ4 v p
e 2 Ωкор = − ln 2 0 P 2 (s)ds ≈ − 3F ln 0 P 2 (s) ds
∂e 8π 3 κ P (s) 4π κ
0 0
(8.112)
(последний шаг верен с логарифмической точностью, поскольку
p20 /κ 2 = (π/4)~vF /e2 ≫ 1). Интеграл
Z∞
J= P 2 (s) ds (8.113)
0
удобно вычислить с помощью следующего представления P (s), кото-
рое следует из определения поляризационного оператора:
Z1
x2 1
P (s) = dx = 1 − s arctg . (8.114)
s + x2
2
s
0
Интегрируем:
Z∞ Z1 Z1 Z1 Z1
x2 y 2 xy
J= dx dy ds = π dx dy =
s 2 + x2 s 2 + y 2 x+y
0 0 0 0 0
Z1 h i
π x+1 π(1 − ln 2)
= x dx 1 − x ln = . (8.115)
2 x 3
0
P P n
∞
(−1)n−1 P P 4ωp,k
∆E = Vk 2 2 =
ω>0 n=1 n k p∈Rk ω + ωp,k
P PP
∞
(−1)n−1 n
= (−Vk Π(ω, k)) =
ω>0 k n=1 Zn Z
dω d3 k
= ln (1 − Vk Π(ω, k)) . (8.121)
2(2π)4
Интегрируя по e2 , получаем
T κ3
Ωкор = − , (8.127)
12π
что совпадает с результатом, известным для классической плазмы
(см. [5] § 78).
Обратим внимание на неаналитическую зависимость выраже-
ний (8.116) и (8.127) от e2 . При T = 0 корреляционная энергия
пропорциональна e4 ln e2 , а при T ≫ EF выражение (8.127) дает
Ωкор ∼ e3 .
8.6 ] Вигнеровский кристалл 213
Рис. 8.11.
Полученный ряд сводится к интегральному уравнению почти так
же, как при выводе уравнения Бете–Солпитера (4.20). Разница со-
стоит только в том, что надо пользоваться причинными функциями
Грина, а не запаздывающими. В результате получается уравнение
вида
Рис. 8.12.
Определим, при каких значениях внешних 4-импульсов p1 , p2
и k эти диаграммы могут оказаться сингулярными. Как и выше,
нас интересуют сингулярности, возникающие из-за интегрирования
произведения двух функций Грина. При данном значении энергии ε
в петле полюсы этих двух гриновских функций таковы:
1
) Обобщение интеграла столкновений в правой части (9.1) на случай бо-
лее общего неизотропного рассеяния достигается введением своего времени
релаксации для каждой сферической гармоники функции распределения.
9.1 ] Усреднение функций Грина по беспорядку 221
Рис. 9.1.
Рис. 9.2.
222 Электроны в случайном потенциале [ Гл. 9
Рис. 9.3.
Как и раньше, несвязанные штриховой линией вершины, с точки
зрения усреднения по положениям примесей, являются статистиче-
ски независимыми. Вершины же, соединенные штриховой линией,
соответствуют одной и той же примеси. Мы будем рассматривать
такую штриховую линию как новый элемент диаграммной техники.
Усреднение по примесям дает для нее такое выражение:
P
hu(r − ri )u(r′ − ri )i = nu20 δ (3) (r − r′ ). (9.3)
i
Статический характер потенциала примесей U (r) выражается ма-
тематически отсутствием какой–либо зависимости выражения (9.3)
от моментов времени t и t′ , в которые происходит первое и второе
рассеяние.
Далее можно было бы учесть высшие порядки теории возмуще-
ний для рассеяния на одной примеси. Однако оказывается, что это
эквивалентно замене амплитуды и сечения борновского рассеяния на
соответствующие точные выражения (см. гл. 3), что, очевидно, не при-
водит к качественно новым эффектам. Поэтому разумно пренебречь
такими поправками и принять, что рассеивающий потенциал слабый.
9.1 ] Усреднение функций Грина по беспорядку 223
Рис. 9.4.
Рис. 9.6.
Рис. 9.7.
Zβ D E
(M ) 1
Παβ (iωn , r ′
−r)=− Tτ b
jα (τ, r) b
jβ (0, r′ ) eiωn τ dτ (9.14)
2
−β
jj (M ) (M ) ne2
Kαβ (iωn ) = Παβ (iωn , r − r′ ) + δαβ δ (3) (r − r′ ). (9.15)
m
Отклик на вещественной частоте получается из (9.15) аналитическим
продолжением iωn → ω (n > 0).
Хотя, на первый взгляд, два члена в (9.15) имеют совершенно
различную природу, на самом деле между ними имеется определенное
соотношение. Действительно, в пределе низкой частоты проводимость
должна быть конечной. Иными словами, однородный в пространстве
и времени вектор–потенциал, не создающий электромагнитного поля,
не должен создавать и ток. Поэтому должно выполняться тождество:
ne2
Παβ (ω, k)|k=0,ω→0 = − δαβ , (9.16)
m
R
где Παβ (ω, k) = Παβ (ω, r)e−ikr d3 r — поляризационный опера-
тор (9.14) в частотно-импульсном представлении. Соотношение (9.16)
228 Электроны в случайном потенциале [ Гл. 9
3
) См. S. F. Edwards // Phil. Mag. 1958. Ser. 8. V. 3. P. 1020; А. А. Абрикосов,
Л. П. Горьков // ЖЭТФ. 1958. Т. 35. С. 1158; ЖЭТФ. 1959. Т. 36. С. 319.
230 Электроны в случайном потенциале [ Гл. 9
σ = e2 νD, (9.25)
как и должно быть.
З ад а ча 53. (Интерференционное удвоение вероятности возвра-
та.) Рассмотрим вероятность p(t) того, что электрон после рассеяния
на примесях возвращается в момент времени t в ту же точку, откуда
он вышел при t = 0. В предыдущей задаче мы вывели уравнение
диффузии, функция Грина которого, как известно, есть
−n/2 −r2 /2Dt
D(r, t) = 2πDt e , (9.26)
где n — размерность пространства. Для вероятности возврата это дает
p(t) = (2πDt)−n/2 .
Оказывается, благодаря эффектам интерференции рассеяния на
разных примесях, которыми мы пренебрегли при выводе уравнения
диффузии, вероятность возврата p(t) удваивается. Поясним физиче-
ское происхождение этого эффекта иллюстрацией из оптики. Пусть
внутри большого ящика со случайно расположенными рассеивате-
лями (примесями) находится монохроматический источник. Найдем
интенсивность излучения, рассеянного точно обратно в источник.
9.3 ] Задачи 50 –54 231
Рис. 9.8.
Рассмотрим интерференционную часть коррелятора плотность–
плотность электронов, соответствующую описанной картине. Пока-
жите, что эта так называемая «квантовая поправка» дается веерными
графиками 4) , изображёнными на рис. 9.8.
4
) Веерные графики для проводимости были впервые рассмотрены в рабо-
те: J. L. Langer, T. Neal // Phys. Rev. Lett. 1966. V. 16. P. 984. Интерпретация
232 Электроны в случайном потенциале [ Гл. 9
6
) Вопрос о температурной зависимости времени сбоя фазы и о влиянии
неупругих процессов на слабую локализацию рассматривался в работах:
B. L. Altshuler , A. G. Aronov , D. E. Khmelnitskii // Solid State Comm. 1981.
V. 39. P. 619; J. Phys. C. 1982. V. 15. P. 7367; см. также обзоры: B. L. Altshuler ,
A. G. Aronov . Electron-Electron Interactions in Disordered Systems. —
Amsterdam: North-Holland, 1985; P. A. Lee, T. V. Ramakrishnan // Rev. Mod.
Phys. 1985. V. 57. P. 287.
7
) Самоусредняемость — близость случайной величины к своему среднему
значению, в классических задачах обычно возникающая вследствие цен-
тральной предельной теоремы.
9.4 ] Слабая локализация и мезоскопика. Задачи 55 –57 235
8
) Читатель, интересующийся этими вопросами, может обратиться к по-
пулярной статье: B. L. Altshuler , P. A. Lee // Physics Today. 1988. V. 41 (12).
P. 37.
9
) См. оригинальную работу: B. L. Altshuler , D. E. Khmelnitskii, A. I.
Larkin, P. A. Lee // Phys. Rev. B. 1980. V. 20. P. 5142.
236 Электроны в случайном потенциале [ Гл. 9
10
) См. работу: Б. Л. Альтшулер, А. Г. Аронов, Б. З. Спивак // Письма
в ЖЭТФ. 1981. Т. 33. С. 101.
9.4 ] Слабая локализация и мезоскопика. Задачи 55 –57 237
11
) См. работы: P. A. Lee, A. D. Stone // Phys. Rev. Lett. 1985. V. 55. P. 1622;
Б. Л. Альтшулер // Письма в ЖЭТФ. 1985. Т. 41. С. 530.
238 Электроны в случайном потенциале [ Гл. 9
Рис. 9.10.
Вычислите эти вклады в коррелятор проводимостей (9.32) и иссле-
дуйте их зависимость от магнитного потока. 12)
Данная задача иллюстрирует важный факт: из-за квантовых эф-
фектов физические свойства усредненной по беспорядку величины
(в данном случае, проводимости) могут принципиально отличаться
от свойств точной, неусредненной величины.
12
) Полный анализ требует также учета диаграмм, отличающихся от
рис. 9.10 расположением токовых вершин и дополнительными примесными
линиями на концах диффузонных и куперонных лестниц, см. напр. рис. 17
в B. L. Altshuler, B. D. Simons, in: Mesoscopic Quantum Physics, Les Houches,
Session LXI, ed. A. Akkermans et al. (1994). Дополнительные вклады также
содержат две примесные лестницы, поэтому их учет не меняет зависимости
от магнитного потока.
9.5 ] Решения задач 50 –57 239
Рис. 9.11.
P (1)
Второе слагаемое имеет вид i Gi , где
′
Gi (1) (ε, p, p′ ) = G0 (ε, p)u(p − p′ )ei(p−p )ri G0 (ε, p′ ). (9.35)
Усреднение по положениям примесей ri можно выполнить с помощью
формулы
Z
iqr 1 1
he i = eiqri d3 ri = (2π)3 δ(q). (9.36)
V V
Получаем
u0
hGi (1) (ε, p, p′ )i = [G0 (p)]2 (2π)3 δ(p − p′ ) . (9.37)
V
Сумма по i дает
hG(1) (ε, p, p′ )i = nu0 (2π)3 δ(p − p′ )[G0 (p)]2 , (9.38)
где n = N/V — концентрация примесей.
P (2)
Перейдем к третьему слагаемому, имеющему вид ij Gij , где
(2)
Gij (ε, p, p′ ) = G0 (p)G0 (p′ ) ×
Z
′ d 3 p1
× u(p − p1 )u(p1 − p′ )G0 (p1 )e−i(p−p1 )ri −i(p1 −p )rj 3. (9.39)
(2π)
Это выражение содержит вклады двух различных процессов: дву-
кратного рассеяния на одной примеси (i = j), и однократного рассея-
ния на двух различных примесях (i 6= j). При усреднении эти вклады
надо разделять.
В случае i = j усредняем по формуле
′ 1
he−i(p−p )ri i = (2π)3 δ (3) (p − p′ ) (9.40)
V
и получаем
(2)
hGii (ε, p, p′ )i =
Z
1 3
= (2π)3 δ (3) (p − p′ )G20 (ε, p) u(p − p1 )2 G0 (ε, p1 ) d p1 . (9.41)
V (2π)3
Во втором случае (i 6= j) усреднение выглядит так:
′ 1
he−i(p−p1 )ri −i(p1 −p )rj i = (2π)6 δ (3) (p − p1 )δ (3) (p1 − p′ ). (9.42)
V2
Таким образом, находим
(2) 1
hGij (ε, p, p′ )i = (2π)3 δ (3) (p − p′ )G30 (ε, p)u20 . (9.43)
V2
240 Электроны в случайном потенциале [ Гл. 9
13
) В борновском приближении для слабого потенциала рассеяния доста-
точно ограничиться однократными и двукратными процессами рассеяния.
242 Электроны в случайном потенциале [ Гл. 9
Рис. 9.12.
что соответствует
Z
|u(p − p1 )|2 d 3 p1
Σ(ε, p) = nu0 + n . (9.53)
ε − ξp1 − Σ(ε, p1 ) + i0 sgn ε (2π)3
R d3 p
Грина G(ε, r) = G(ε, p)eipr переходим к интегралу по ξ:
(2π)3
Z
4π p0 sin |r|p(ξ) dξ
hG(ε, r)i = , (9.55)
(2π)3 v0 |r| ε − ξ + (i/2τ ) sgn ε
где p(ξ) = p0 + ξ/vF . Выполнить интегрирование по ξ можно точно
таким же способом, как в задаче 22 (см. формулы (5.23) и (5.25)).
При этом сдвиг полюса ε → ε + i sgn ε/2τ приводит к дополнительному
экспоненциальному множителю:
hG(ε, r)i = G0 (ε, r) e−|r|/2l , (9.56)
h i
m ε
где G0 (ε, r) = − exp i sgn ε p0 + |r| , а l = vF τ — длина
2π|r| vF
свободного пробега, вычисленная по борновскому сечению рассеяния.
В результате получается квазиклассическое выражение (9.18).
51. Вычислим проводимость в однородном переменном электри-
ческом поле, используя теорию возмущений по малой концентрации
примесей. Воспользуемся приведенным в условии задачи соотношени-
ем (9.15) между проводимостью и мацубаровским коррелятором ток–
ток Παβ (iωn ).
Даже если нас интересует статическая проводимость, лучше сначала
рассмотреть проводимость на конечной частоте, а затем устремить частоту
к нулю. Дело в том, проводимость «плохо себя ведет» в пределе нулевой
концентрации примесей. Действительно, статическая проводимость чистого
металла, т. е. идеального ферми-газа, обращается в бесконечность, в то
время как проводимость на переменном токе конечна: σ(ω) = ine2 /mω.
Поэтому, даже в присутствии рассеяния, правильно сначала рассматривать
ток в переменном поле, и уже потом переходить к статическому пределу.
Согласно (9.22), для невзаимодей-
ствующих частиц коррелятор ток–
ток выражается через произведение
двух гриновских функций. Графиче-
ски выражение (9.22) для Παβ (iωn )
изображается петлевой диаграммой,
показанной на рис. 9.13. Волни-
стые линии в вершинах обозна-
чают компоненты оператора тока
b e~ + Рис. 9.13.
jα = −i ψ ∇α ψ + h.c.
2m
Запишем среднее коррелятора Παβ (iωn ) по беспорядку:
P D bM b M (iεk )b
E
hΠαβ (iωn )i = e2 T Tr G (iεk + iωn )b
vα G vβ , (9.57)
εk
Рис. 9.14.
P
M
hΠαβ (iωn )i = e2 T Tr b M (iεk + iωn ) vbα G
G b (iεk ) vbβ . (9.58)
εk
9.5 ] Решения задач 50 –57 245
где εe′k и εek имеют тот же смысл, что и в (9.59). Нетрудно видеть,
что интеграл по ξ от второго слагаемого в (9.63) обращается в нуль.
Наконец, вычисляя тривиальную сумму по εk , имеем
ne2 |ωn |
hΠαβ (iωn )i − hΠαβ (0)i = δαβ . (9.65)
m ωn + (1/τ ) sgn ωn
Вычислим интеграл по ξ:
BRA (ωn , q) =
Z Z
ν do dξ
= 0 =
4π (iεk + iωn − ξ − qv/2 + i/2τ )(iεk − ξ + qv/2 − i/2τ )
Z
ν do
= 0 .
2 ωn + iqv + 1/τ
|ωn |
Выполняя суммирование по εk , получаем B(ωn , q), где
2π
BRA (ωn , q) при ωn > 0
B(ωn , q) = =
BAR (ωn , q) при ωn < 0
Z
ν do
= 0 . (9.75)
2 |ωn | + iqv sgn ωn + 1/τ
Теперь все готово для того, чтобы найти сумму лестничного ряда
диаграмм, изображенных на рис. 9.7. Примесная линия («переклади-
на лестницы») дается выражением nu20 = 1/(2πν0 τ ).
Поскольку все ступени лестницы совершенно оди-
наковы, удобно рассмотреть всего одну ступень, изоб-
раженную диаграммой на рис. 9.15. (Мы не включа-
ем примесные линии в определение ступени.) Нетруд-
но видеть, что получающееся выражение оказывается
точно таким же, как рассмотренное выше выражение
для первой ступени, непросуммированное по εk . По- Рис. 9.15.
этому, как и выше, рассмотрим по отдельности статический и кине-
тический случаи, когда знаки εk + ωn и εk совпадают, и когда они
различны.
В первом случае, как нетрудно видеть, суммирование лестничного
ряда дает несущественную поправку к первому члену K0 = −ν, полу-
ченному выше. Действительно, если знаки εk + ωn и εk совпадают, то
полюсы всех гриновских функций находятся по одну и ту же сторону
вещественной оси. Поэтому, как и при рассмотрении первого члена
ряда, можно положить ωn = 0 и q = 0. Тогда весь ряд сворачивается
в производную от функции Грина по химическому потенциалу µ.
(Сумма членов лестничного ряда, начиная со второго, дает вклад,
связанный с зависимостью амплитуды рассеяния на примеси от энер-
гии µ, которым мы пренебрегли выше.)
А вот во втором случае, когда знаки εk + ωn и εk различны, все
члены лестничного ряда, включая произвольно далекие, оказываются
одинаково важными. Чтобы понять, почему так получается, рассмот-
рим сначала случай q = 0, и покажем, что сумма лестничного ряда
в точности сокращает вклад −ν, рассмотренный выше.
Действительно, при q = 0 одна ступень лестницы есть B(ωn )q=0 =
= 2πν0 /(|ωn | + 1/τ ). Весь же ряд в целом дается суммой геометриче-
ской прогрессии:
|ωn | B B2
K1 (ωn , q = 0) = 2πν0 τ × 2 + 2 + ··· =
2π 2πν0 τ (2πν0 τ )
|ωn | B
= = ν. (9.76)
π 1 − B/2πν0 τ
Тождественное сокращение K = K0 + K1 = 0, получающееся при
q = 0, имеет простой физический смысл. Коррелятор плотность–
250 Электроны в случайном потенциале [ Гл. 9
Рис. 9.16.
а. Пусть начальная и конечная точки совпадают. Тогда мы можем
нарисовать лестничный и веерный графики, проходящие через одни
9.5 ] Решения задач 50 –57 253
Рис. 9.17.
14
) Индексы L и F происходят от английских слов «ladder» и «fan».
254 Электроны в случайном потенциале [ Гл. 9
Рис. 9.18.
15
) Величину C (ω, q) называют купероном, потому что точно такая же
величина описывает куперовские пары в сверхпроводнике в присутствии
примесей (см. гл. 10). Аналогия между купероном в теории локализации
и амплитудой куперовских пар оказывается весьма содержательной, по-
скольку в физических свойствах этих величин имеется немало общего. Эта
общность проявляется в разнообразных физических эффектах, таких как,
например, влияние магнитного поля, разница между магнитными и немаг-
нитными примесями, температурная зависимость, и т. п.
16
) Это замечание не относится к спиновой зависимости — у куперона она
другая.
256 Электроны в случайном потенциале [ Гл. 9
ω/2
Z Z
e2 dε
δσαβ = 2 pα (qβ − pβ ) C (ω, q) ×
m ω 2π
−ω/2
d2 q d2 p
× GR (ε+ , p) GR (ε+ , q − p) GA (ε− , p) GA (ε− , q − p) .
(2π)2 (2π)2
Интегрируем по p, считая q малым:
Z ω/2
Z Z
2ν e2 v 2 d2 q dε C (ω, q) dξ
δσ = − 2D F
2ω (2π)2 2π (ε − ξ + i/2τ )2 (ε − ξ − i/2τ )2
−ω/2
(9.94)
(здесь ν2D = m/2π — плотность состояний в D = 2 с одной проекцией
спина). Проинтегрировав по ε и ξ, получаем куперонный вклад в виде
Z
4ν2D e2 τ 3 vF2 d2 q
δσ = − C (ω, q) . (9.95)
2 4π 2
Найденный результат справедлив при |q|l ≪ 1, т. е. в диффузионном
режиме.
Перейдем к вычислению куперонной лестницы C (ω, q). Для этого
вначале найдем одну ступень:
Z
1 d2 p
Bc (ω, q) = 2 . (9.96)
(ε + ω/2 − ξp + i/2τ ) (ε − ω/2 − ξq−p − i/2τ ) (2π)
Считая q малым и заменяя поэтому ξq−p ≈ ξp − qv, точно так же,
как и в задаче 52, получим
Bc (ω, q) = 2πν2D τ (1 + τ (iω − Dq2 )), (9.97)
где на этот раз D = vF2 τ /2 — коэффициент диффузии в размерности 2.
Как и в случае диффузионной лестницы, наиболее существенной
оказывается область ωτ ≪ 1, |q|l ≪ 1. Собирая вклады отдельных
ступеней, находим 17)
1 Bc2 1
C (ω, q) = 2 B c + + · · · = 2 2 .
(2πν2D τ ) 2πν2D τ 2πν2D τ (−iω + Dq )
(9.98)
С учетом этого результата, куперонный вклад (9.95) есть
Z
De2 d2 q
δσ = − 3 2 . (9.99)
2π Dq − iω
17
) Можно проверить, что независимо от размерности пространства D при-
месная линия всегда равна 1/(2πνD τ ), поскольку она представляет собой
сечение рассеяния на примеси, взятое в энергетической нормировке (см. за-
дачу 11).
9.5 ] Решения задач 50 –57 257
18
) Если выразить квадрат фермиевской скорости в (9.95) через коэф-
фициент диффузии D = vF2 τ /3, то зависящие от размерности множители
сокращаются, и формула (9.102) оказывается справедливой в произвольной
размерности.
9.5 ] Решения задач 50 –57 259
19
) Простейший способ действий — вернуться на шаг назад и преобразовать
1 P
выражение в (9.111) с помощью тождества = ∞ n=0 e
−(n+1/2)Ω∗ t
.
2 sh (Ω∗ t/2)
Затем можно проинтегрировать ряд почленно и воспользоваться тож-
PN 1 √ PN 1 √ √
дествами n=1 √ = ζ(1/2) + 2 N , n=0 p −2 N = ( 2 −
n n + 1/2
− 1)ζ(1/2), справедливыми в пределе N → ∞. Первое тождество есть опре-
деление ζ(1/2), а второе легко получается из первого путем разделения
вкладов четных и нечетных n.
9.5 ] Решения задач 50 –57 261
20
) На самом деле в реальный металлический цилиндр магнитное поле все-
таки слегка проникает, и поэтому строгая периодичность нарушается.
264 Электроны в случайном потенциале [ Гл. 9
21
) Интеграл по d2 r в (9.132) возникает потому, что начальная и конечная
точки на диаграммах рис. 9.10 различаются.
9.5 ] Решения задач 50 –57 265
Рис. 9.19.
Рис. 9.22.
В главном порядке по nu20 решение получается, если заменить
Σ(ε, p′ ) в правой части (9.139) на −i0. В случае, когда величина
Im Σ(ε) отлична от нуля, но мала по сравнению с ε, значение выраже-
ния в правой части (9.139) останется таким же, как и в нулевом при-
ближении (с точностью до членов более высокого порядка малости по
(p0 l)−1 ). Поэтому собственно-энергетическая часть Σ(ε, p), найденная
в задаче 50 в низшем порядке по (p0 l)−1 , в действительности является
самосогласованным решением уравнения Дайсона (9.139) при условии
p0 l ≫ 1.
Поучительно решить уравнение (9.139) явно, не предполагая ма-
лости Σ(ε) по сравнению с ε. Чтобы вычислить интеграл в правой
части (9.139) надо регуляризовать расходимость при больших |p|.
9.7 ] Энергетический спектр неупорядоченной системы 271
23
) Понятие локализованных состояний было впервые введено в работе:
P. W. Anderson // Phys. Rev. 1958. V. 109. P. 1492–1505.
24
) И. М. Лифшиц // ЖЭТФ. 1967. Т. 53. С. 743.
9.7 ] Энергетический спектр неупорядоченной системы 273
25
) См. работы: B. I. Halperin, M. A. Lax // Phys. Rev. 1966. V. 148. P. 722,
Phys. Rev. 1967. V. 153. P. 802; J. Zittartz , J. S. Langer // Phys. Rev. 1966.
V. 148. P. 741.
Г л а в а 10
СВЕРХПРОВОДИМОСТЬ
b= P
H ξp a + + + + ∗
p↑ ap↑ + ap↓ ap↓ + ∆a−p↓ ap↑ + ∆ ap↑ a−p↓ , (10.13)
p
где
P P
∆=λ ha−q↓ aq↑ i, ∆∗ = λ ha+ +
q↑ a−q↓ i. (10.14)
q q
cp↑ = up ap↑ + vp a+
−p↓ , cp↓ = −vp a+
p↓ + up a−p↑ . (10.15)
b = E0 + P εp c+ cpσ .
H (10.16)
pσ
p,σ
λ
Γ0α α′ β β ′ = − (δαα′ δββ ′ − δαβ ′ δβα′ ). (10.21)
2
2ωD 0
δΓα α′ β β ′ = λ ν0 ln Γα α ′ β β ′ . (10.22)
ω
Рис. 10.3.
1
ΓC
α α′ β β ′ (ω) = Γ0 ′ ′ . (10.23)
1 − λν0 ln(2ωD /ω) α α β β
10.2 ] Функции Грина в сверхпроводнике 283
Рис. 10.4.
284 Сверхпроводимость [ Гл. 10
Рис. 10.5.
+
Функции Fαβ (x, x′ ) и Fαβ (x, x′ ) = Fβα
∗
(x′ , x) часто называют аномаль-
ными функциями Грина, потому что в нормальном металле они рав-
ны нулю. Следует отметить, что выражения типа hT[ψα (x), ψβ (x′ )]i
выглядят несколько загадочно, поскольку обычно средние от опера-
торов, не сохраняющих число частиц, обращаются в нуль. Однако
в сверхпроводнике это не так. (Впрочем, при желании можно считать,
что F и F + — это просто удобное обозначение, введенное для облегче-
ния суммирования диаграмм, подобных изображенной на рис. 10.5.)
286 Сверхпроводимость [ Гл. 10
Рис. 10.6.
10.2 ] Функции Грина в сверхпроводнике 287
Поле ∆αβ имеет смысл амплитуды куперовских пар. Сравнив рис. 10.6
и рис. 10.5, можно придти к условию самосогласования, которое со-
ответствует диаграммам, изображённым на рис. 10.7.
Рис. 10.7.
Графики на рисунках 10.6 и 10.7 означают, что функции Грина
сверхпроводника Gαβ и Fαβ связаны с гриновской функцией G0αβ (ε, p)
идеального ферми-газа и полем ∆αβ такими уравнениями:
Gαβ (ε, p) = G0αβ (ε, p) + G0αλ (ε, p) ∆∗λµ Fµβ (ε, p), (10.33)
Fαβ (ε, p) = G0αλ (−ε, p) ∆λµ Gµβ (ε, p) (10.34)
(подразумевается суммирование по спиновым индексам λ и µ).
Прежде чем решать уравнения (10.33), обсудим спиновую струк-
туру функций G и F . Зависимость G от спина такая же, как в нор-
мальном металле: Gαβ = δαβ G. Что же касается функции F , то её
структура определяется физикой куперовского спаривания. В слу-
чае s-cпаривания куперовская пара представляет собой спиновый
y
синглет. При этом ∆αβ можно представить в виде ∆αβ = iσαβ ∆.
Действительно, синглетная волновая функция двух спинов есть не
1
что иное, как √ (|↑↓i − |↓↑i). Эта величина отлична от нуля, только
2
если спины противоположны, и меняет знак при перестановке спинов.
Легко видеть, что матрица iσy имеет два ненулевых элемента с тем
же свойством: (iσy )↑↓ = −(iσy )↓↑ = 1. Согласно уравнению (10.34),
структура функции F должна быть такой же:
y y
∆αβ = iσαβ ∆, Fαβ (ε, p) = iσαβ F (ε, p). (10.35)
Уравнения (10.33), (10.34) нетрудно решить:
y
δαβ (ε + ξp ) (−iσαβ )∆
Gαβ (ε, p) = , Fαβ (ε, p) = . (10.36)
ε − ξp2 − |∆|2
2
ε − ξp2 − |∆|2
2
b αβ удовлетворяет
(см. [1], (34.32)). Можно убедиться, что матрица G
уравнению Шредингера с матричным гамильтонианом
(iωδαα′ b bαα′ )G
1−H b α′ β (ω, r1 , r2 ) = δ(r1 −r2 )δαβ b
1, (10.43)
bαα′ = ξp δ+αα ∆αα
′ ′
H , (10.44)
∆αα′ −ξp δαα′
где повторяющиеся спиновые индексы, как обычно, обозначают сум-
мирование по спиновым переменным. Здесь и далее в этой главе
мы используем шляпки для обозначения матриц типа (10.42) (ни-
же для этой цели мы также будем пользоваться псевдоспиновыми
матрицами Паули, см. задачи 63, 65, 66). Матричное уравнение (10.43)
есть не что иное, как сокращённая форма записи уравнений (10.33).
10.2 ] Функции Грина в сверхпроводнике 289
1
) В. В. Шмидт. Введение в физику сверхпроводимости. — М.: Наука,
1982; А. А. Абрикосов. Основы теории металлов. — М.: Наука, 1987; П. де
Жен. Сверхпроводимость металлов и сплавов. — М.: 1968; М. Тинкхам. Вве-
дение в сверхпроводимость / Пер. под ред. К. Лихарева. — М.: Атомиздат,
1980.
10.3 ] Задачи 58 –63 291
Рис. 10.8.
а. Суммируя куперовскую лестницу, выведите интегральное урав-
нение, определяющее ΓC (iε, iε′ ).
б. Рассмотрите модель, в которой Γ0 (iε, iε′ ) факторизуется:
Γ0 (iε, iε′ ) = −λv(iε)v(iε′ ), (10.49)
где λ — константа взаимодействия, а функция v(iε) — формфактор,
определяющий масштаб энергий (спиновая структура опущена). Най-
дите температуру, при которой ΓC обращается в бесконечность.
в. В случае, когда ω
v(iε) = q D , (10.50)
2
ε2 + ωD
найдите связь между Tc и ωD .
Модель (10.49) нефизична, поскольку настоящее электрон-фононное
взаимодействие приводит к затравочной вершине Γ0 , зависящей от пе-
реданной энергии ε − ε′ . Тем не менее, поскольку эта модель учитывает
−1
запаздывание притяжения между электронами на временах порядка ωD ,
она дает качественно правильные предсказания.
З ад а ча 59. (Температурная зависимость щели ∆(T ).) Опреде-
лите температурную зависимость ∆(T ) для запаздывающего взаимо-
действия (10.49), (10.50). Примите во внимание, что из-за запаздыва-
ния щель ∆ становится функцией энергии ε спаривающихся частиц.
а. Модифицируйте уравнения (10.38), (10.41), учитывая зависи-
мость ∆ от ε. Получите уравнение самосогласования.
б. В найденном уравнении вычислите интеграл по ξ. Изобразите
качественное поведение решения уравнения ∆(T ) на графике. Как
∆(T ) ведёт себя при T → 0 и при T → Tc ?
в. Найдите сверхпроводящую щель ∆(T ) в пределе низких темпе-
ратур (T → 0) и вблизи точки перехода (T → Tc ).
З ад а ча 60. (Теплоемкость при T < Tc .) Покажите, что вклад
электронов в термодинамический потенциал Ω сверхпроводящего ме-
талла дается диаграммным рядом, показанным на рис. 10.9.
292 Сверхпроводимость [ Гл. 10
Рис. 10.9.
2
) Н. Н. Боголюбов, В. В. Толмачев, Д. В. Ширков. Новый метод в теории
сверхпроводимости. — М.: Изд-во АН СССР, 1958. § 6.3. С. 84–88; P. Morel ,
P. W. Anderson // Phys. Rev. 1962. V. 125. P. 1263.
10.3 ] Задачи 58 –63 293
3
) См. работы А. А. Абрикосова и Л. П. Горькова, процитированные на
с. 229.
296 Сверхпроводимость [ Гл. 10
4
) См. работу: А. А. Абрикосов, Л. П. Горьков // ЖЭТФ. 1960. Т. 39.
С. 1781.
5
) Оригинальные работы: Л. П. Горьков // ЖЭТФ. 1959. Т. 36. С. 1918;
R. Helfand , N. R. Werthammer // Phys. Rev. Lett. 1964. V. 13. P. 686.
10.5 ] Решения задач 58 –67 297
Z∞ p
1 2ω dξ ξ 2 + ∆2
= ln D − 2 p exp − . (10.90)
λν0 ∆ ξ 2 + ∆2 T
0
Z∞
1 2ω 2 ξ2 dξ
= ln D − 2e−∆/T e−ξ /2∆T
1− , (10.91)
ν0 λ ∆ 2∆2 ∆
0
откуда r
∆ 2πT −∆/T T
ln =− e 1− , (10.92)
∆0 ∆ 8∆
T π∆2 P 1
ln =− T 3. (10.95)
Tc 2 εn |εn |
10.5 ] Решения задач 58 –67 303
6
) Эту задачу можно решить проще, вычисляя термодинамический потен-
циал идеального газа квазичастиц со спектром (10.37). Вместо этого мы
воспользуемся диаграммами, чтобы проиллюстрировать некоторые общие
положения.
304 Сверхпроводимость [ Гл. 10
Интегрируя по ξ и ∆, получим
Ωs − Ωn P p 2 ω2
= −π ν0 T ωn + ∆2 + p n − 2|ωn | . (10.102)
V ωn ωn2 + ∆2
Tc ≈ ωD e−1/λ∗ ν0 , λ∗ = λ − µ ∗ . (10.130)
где p
b = −i∇r . Ток, согласно общим принципам, получается варьиро-
ванием гамильтониана по A:
bj = e ψ + (r) ∇p ξ p − e A ψ(r). (10.132)
c
Выделим линейный по A член:
2 h i
bj = e ψ + (r) ∇p ξ (p) ψ(r) − e ψ + (r) ∇p (A∇p ) ξ(p) ψ(r). (10.133)
c
Рис. 10.13.
Они имеют ту же структуру, что и диаграммы на рис. 10.8. Отличие
состоит в том, что куперовская петля теперь содержит примесную
лестницу, описывающую рассеяние куперовской пары на примесях.
Поэтому
λ
ΓС = − , (10.172)
1 + λΠc
10.5 ] Решения задач 58 –67 315
Рис. 10.14.
в задаче 54. Напомним, что усреднённая по беспорядку функция
Грина в грязном металле равна
1
G(iωn , p) = . (10.173)
iωn − ξp + (1/2τ ) sgn ωn
Каждая ступенька куперовской лестницы, состоящая из двух функ-
ций Грина, взятая при Ω = 0, s = 0, есть
Z
d3 p
Bc (iωn ) = G(iωn , p) G(−iωn , −p) =
(2π)3
Z∞
ν0 dξ 2πν0 τ
= 2 2 = . (10.174)
(ωn + (1/2τ ) sgn ωn ) + ξ 1 + 2τ |ωn |
−∞
Суммировать Bc по ωn не следует, поскольку столкновения с приме-
сями — упругие.
Теперь вычислим всю примесную лестницу. При этом полезно
вспомнить, что примесная штриховая линия равна nu20 = (2πν0 τ )−1
(см. гл. 9). Суммируя геометрическую прогрессию, получаем
1
L(iωn ) = Bc (iωn ) + B 2 (iωn ) + . . . =
2πν0 τ c
Bc (iωn ) πν
= = 0. (10.175)
1 − Bc (iωn )/(2πν0 τ ) |ωn |
Как мы видим, τ полностью исчезло из этой формулы. Отметим,
что выпадение τ из ответа формально обязано тому же сокращению,
которое обеспечивает сохранение числа частиц при вычислении кор-
релятора плотность–плотность в ферми газе с примесями:
πν0
hn(ω, q)n(−ω, −q)iq=0 = (10.176)
iω
(см. задачу 52). Находим куперовскую петлю:
P P 1 2γωD
Πc = −T L(iωn ) = −2πν0 T = −ν0 ln . (10.177)
ωn ωn >0 ωn πT
Поэтому
2γ
Tc = ωD e−1/λν0 , (10.178)
π
как и в отсутствие примесей.
316 Сверхпроводимость [ Гл. 10
b n ) = − 1 iω nb
1 − ∆b
τx
Σ(iω p (10.182)
2τ ωn2 + ∆2
где
1 e 1
e n = ωn 1 +
ω p , ∆=∆ 1+ p . (10.184)
2τ ωn2 + ∆2 2τ ωn2 + ∆2
10.5 ] Решения задач 58 –67 317
P e
∆ P ∆
∆ = πλν0 T q = πλν0 T p , (10.187)
ωn
ω e2
en2 + ∆ ωn ω n + ∆2
2
ns P e2
πT ∆ P πT ∆2
= 3/2 = . (10.189)
n 3/2 1
ωn e2 + ∆
ω e2 ωn
ωn2 + ∆2 1+ p
2τ ωn2 + ∆2
ns P ∆2 ∆
= 2πτ T 2 2
= πτ ∆ th . (10.190)
n 2
ω n ωn + ∆ 2T
S(S + 1)
где A = nмаг J 2 , nмаг — концентрация примесей, S — спин
3
i i
одной примеси, а спиновые матрицы σαµ и σνβ действуют в точках
прикрепления штриховой линии к функции Грина. Соответствующее
b можно записать в виде
алгебраическое выражение для Σ
Z
b αβ (iωn ) = A d3 p i b i
Σ σαµ G0,µν (iωn , p)σνβ , (10.196)
(2π)3
1 i i
формулу для оператора перестановки, P12 = (σ σ + 1), что дает
2 1 2
i i
σαµ σνβ = 2δαβ δνµ − δαµ δνβ . Таким образом, имеем
Z∞
b
Σαβ (iωn ) = −A (2δαβ δµν − δαµ δβν ) b 0,µν (iωn , ξ) ν0 dξ.
G (10.197)
−∞
Интегрирование производится довольно просто, и мы находим
b αβ (iωn ) = − 1 iω nb
1 + ∆τx
Σ p , (10.198)
2πτs ωn2 + ∆2
где
τs−1 = πν0 nмаг J 2 S(S + 1) (10.199)
— время релаксации спина на примесях (мы учли множитель 3, воз-
никающий в результате суммирования по ν и µ в (10.197)).
Мы получаем таким образом, что hGi b −1 = G b −1 − Σ
b отличается от
0
b 0 заменой ωn и ∆ на
G
1
e n = ωn 1 +
ω p ,
2τ ω 2 + ∆2
s
n (10.200)
e =∆ 1− 1
∆ p .
2τs ωn2 + ∆2
ωn b e x
b αβ (iωn ) = − 1 ie
Σ q
1 + ∆τ
. (10.202)
2πτs e2
en2 + ∆
ω
bω = 2πν0
C 2 . (10.213)
2e
2|ω| + D s − A
c
7
) А. А. Абрикосов, Л. П. Горьков // ЖЭТФ. 1960. Т. 39. С. 178.
10.5 ] Решения задач 58 –67 323
Рис. 10.17.
(Волнистые линии на этом рисунке изображают взаимодействие
с внешним магнитным полем.) После этого суммирование лестницы
дает уравнение (10.215).
Теперь запишем уравнение самосогла-
сования, полагая ∆ → 0. Вблизи Hc2 со-
стояние неоднородно, поэтому ∆ зависит
от r. Уравнение самосогласования имеет
вид
Z∞
dω
∆(r) = λ F (ω, r, r) . (10.216)
2π Рис. 10.18.
−∞
H2
Eмаг = . (10.232)
8π
Энергию конденсации легко оценить, считая, что частицы в интервале
энергий ∆ за счет конденсации понижают свою энергию на ∆. Число
таких частиц в единице объёма есть ν0 ∆, поэтому энергия конденса-
ции имеет порядок
Ec ∼ ν0 ∆2 ∼ ν0 Tc2 . (10.233)
11.1. Туннелирование
Рассмотрим сначала вопрос об измерении одночастичной функции
Грина
G(x, x′ ) = −i T ψ(x)ψ + (x′ ) . (11.1)
Для определенности будем говорить о гриновской функции электрона
в металле. На первый взгляд, эксперимент, в котором корреляционная
функция G(x, x′ ) определялась бы напрямую, кажется невозможным.
Ведь поле, пропорциональное ψb+ или ψ,
b к системе приложить невоз-
можно (для этого нужно было бы создать электрон «из ничего»),
и поэтому корреляционная функция G(x, x′ ) не может быть связана
ни с какой функцией отклика. Можно, однако, рассмотреть ситуацию,
когда происходит перенос электронов из одного металла (который мы
будем называть «пробником») в другой (исследуемый образец). Если
перенос заряда происходит мгновенно, то его можно описывать как
уничтожение электрона в пробнике и рождение его в образце. Веро-
ятность этого процесса оказывается связанной с функциями Грина
исследуемого образца и пробника. Если свойства пробника известны
и достаточно просты, то можно считать, что в таком эксперименте
«измеряется» функция Грина электрона в образце.
Для того чтобы реализовать эту идею, нужно создать такую связь
между пробником и образцом, чтобы переносимый электрон в каждый
328 Измерение функций Грина [ Гл. 11
p d
W ≈ e−A , A= 2mU0 . (11.2)
~
Если прозрачность мала, то такой туннельный контакт обеспечивает
слабую связь между двумя металлами.
В равновесии вероятности перехода электронов справа налево
и слева направо равны, и ток через контакт отсутствует. Однако если
к туннельному контакту приложить разность потенциалов, выводя-
щую систему из равновесия, через контакт потечет ток, измеряя кото-
рый можно определить вероятность туннелирования и, как следствие,
функцию Грина.
Перейдем к количественному описанию туннелирования. Посколь-
ку вероятность прохождения через высокий барьер экспоненциально
мала, то можно вначале рассмотреть задачу, пренебрегая туннель-
ными эффектами, а затем учесть их по теории возмущений. Пусть
ψa(b) (r) — оператор рождения электрона соответственно на пробнике
или на образце в отсутствие туннелирования. Рассматривая туннели-
рование как мгновенный перенос заряда, можно записать гамильто-
11.1 ] Туннелирование 329
1
) В случае бесконечно высокого и тонкого барьера с резкими краями,
находящегося в плоскости x = 0, граничные условия в отсутствие туннели-
рования имеют вид: ψa (x = +0) = 0, ψb (x = −0) = 0. При этом туннельный
гамильтониан есть
Z
bT = − ∂ + ∂
H dy dz T (y, z) ψa (r) ψb (r) + h.c.
∂x x=+0 ∂x x=−0
x=0
где T (y, z) — прозрачность барьера, являющаяся в общем случае функцией
координат.
330 Измерение функций Грина [ Гл. 11
ḃ a = i[H,
b Qb a ], b a = ePb
a+ (11.7)
Q Q pbap .
p
ḃ a = ie P Tpp′ b
Ib = Q a+ b (11.8)
p bp′ + h.c.
p,p′
b ap eieV t ,
ap → b bbp′ → bbp′ , (11.9)
11.1 ] Туннелирование 331
Ib = iXe
b ieV t − iX
b + e−ieV t . (11.12)
2π~2 a mn m
V (r − r′ ) = δ(r − r′ ), µ= , (11.25)
µ m + mn
2
) Метод псевдопотенциала в теории рассеяния рассмотрен в [2], § 151.
336 Измерение функций Грина [ Гл. 11
dσ(ω, q) Im KR (ω, q)
′ = const · , (11.27)
dω do 1 − e−βω
где do′ — элемент телесного угла рассеяния. Величина
S(ω, q) = 2 Im KR (ω, q) (11.28)
называется структурным фактором неупругого рассеяния.
Наибольший интерес обычно представляют полюсы двухчастич-
ной функции Грина, поскольку они определяют спектр коллективных
возбуждений системы ω = ω0 (q) − iγ(q). При малой величине затуха-
ния γ(q) ≪ ω0 (q), полюсу двухчастичной функции Грина соответству-
ет узкий пик в структурном факторе S(ω, q)при ω ≈ ω0 (q), имеющий
ширину порядка γ(q). Положения пиков в S(ω, q) «прорисовывают»
ветви спектра коллективных возбуждений жидкости. Иллюстрирую-
щие такое поведение примеры будут приведены в задачах 73 б и 74.
Неупругое рассеяние является практически единственным методом, да-
ющим информацию о коллективных возбуждениях с волновыми векторами
q порядка обратного расстояния между частицами. Например, гипотеза
о существовании ротонов в сверхтекучем гелии была проверена именно
с помощью измерений структурного фактора. При этом спектр возбуж-
дений при достаточно малых ω и q обычно можно определить и другими
методами, изучая макроскопические свойства или функции отклика.
Рассмотрим пример реальных данных по неупругому рассеянию
нейтронов. На рис. 11.4 показаны линии уровня структурного фак-
тора жидкого 3 He. Интересно сравнить эти данные со структурным
фактором идеального ферми-газа (см. задачу 73) с импульсом Ферми
p0 = 0,786 · 10−8 см−1 , что соответствует плотности 3 He при P = 1 атм,
и массой, равной ато́мной массе 3 He. Линии уровня структурного
фактора идеального ферми-газа показаны на рис. 11.5. Для удобства
сравнения мы перенесли на рис. 11.4 границу области S(ω, q) > 0,
«квазичаcтичный гребень» ω = vF q − q 2 /2m, а также параболу ω =
= q 2 /2m — линию максимумов S(ω, q) при фиксированном |q|.
3
) Мы рассматриваем рассеивающую среду в гейзенберговском представ-
лении, а нейтрон — в шредингеровском. Такое смешанное представление
удобно тем, что в нем нейтрон рассеивается на зависящем от времени
потенциале, создаваемом флуктуациями плотности системы.
11.2 ] Неупругое рассеяние 337
I = I0 sin(ϕa − ϕb ), (11.32)
π∆ ∆
I0 = th , (11.33)
2eR 2T
Рис. 11.7.
4
) См. работы: Б. Л. Альтшулер, А. Г. Аронов // ЖЭТФ. 1979. Т. 77.
С. 2028; B. L. Altshuler , A. G. Aronov , P. A. Lee // Phys. Rev. Lett. 1980.
V. 44. P. 1288.
340 Измерение функций Грина [ Гл. 11
P D
b ) I(0)
Tτ X(τ b = a+
ieTp1 p′1 Tτ b b
p1 (τ ) bp′1 (τ ) ×
p1 , p′1 , p2 , p′2
E
a+
× Tp2 p′2 b b ∗
ap2 (0) bb+ (11.41)
p2 (0) bp′2 (0) − Tp2 p′2 b p′ (0)
2
.
× Im GR
a (ε, p) Im GR ′ ′ ′ ′
b (ε , p ) (nF (ε) − nF (ε )) dε dε . (11.46)
Обратим внимание на то, что этот результат может быть записан в виде
ν0 ∂ξ/∂ε, т. е. как плотность состояний квазичастиц с законом дисперсии
ε2 = ∆2 + ξ 2 . Хотя такой подход игнорирует различие между туннелирую-
щими электронами и квазичастицами, в которые они превращаются в сверх-
проводнике, результат в данном случае оказывается верным. Причина со-
стоит в том, что квазичастицы теории БКШ состоят из электрона и дырки
с противоположными энергиями. Их вклады в туннельную плотность со-
стояний равны |up |2 и |vp |2 , где up и vp — коэффициенты преобразования
Боголюбова. Но поскольку u2p + vp2 = 1, суммарный вклад двух компонент
квазичастицы в туннельный ток определяется только свойствами квазича-
стичного спектра. Так происходит потому, что эффекты взаимодействия
в теории БКШ учитываются только в рамках теории среднего поля, и по-
этому многочастичные эффекты оказываются относительно простыми.
Подставляя туннельную плотность состояний (11.59) в (11.47),
находим туннельный ток: Z
2 |ω| dω
IN −S (V ) = 4πeνa νb |T0 | (nF (ω) − nF (ω + eV )) p .
ω 2 − ∆2
|ω|>∆
(11.60)
Рассмотрим случай нулевой температуры. Пусть eV > 0. Тогда инте-
грирование по энергиям производится в интервале −eV < ε < 0. При
eV < ∆ интеграл (11.60) обращается в нуль, поскольку в этой области
не выполнено условие |ε| > ∆. Для eV > ∆ находим
Z−∆ p
1 |ε|dε (eV )2 − ∆2
IN −S (V ) = p = . (11.61)
eR ε2 − ∆2 eR
−eV
Таким образом, зависимость туннельного тока от напряжения
имеет порог, равный ∆/e. Рассматривая аналогично случай eV < 0,
11.4 ] Решения задач 68 –74 347
5
) Андреевское отражение более подробно рассмотрено в литературе, про-
цитированной на с. 290.
11.4 ] Решения задач 68 –74 349
Грина на аномальные:
PP 2
χM,S−S (iΩn ) = −2ieT |Tpk | Fa+ (iΩn + iωm , p) Fb (iωm , k).
ωm pk
(11.68)
Обратим внимание на то, что знаки выражений (11.44) и (11.68) совпадают.
Это соответствует общему наблюдению о совпадении знаков «нормальных»
и «аномальных» петель, сделанному в решении задачи 63.
Поскольку, как мы увидим, джозефсоновский ток отличен от нуля
в равновесии, т. е. при V = 0, нам будет достаточно 6) вычислить
χM,S−S (iΩn ) при Ωn = 0. Аналитическое продолжение оказывается
ненужным, и можно сразу записать выражение для туннельного тока:
Z∞ Z∞
2 P ∆∗a νa dξa ∆b νb dξb
IS−S = 4e |T0 | T Im 2 =
ωm ωm + ξa2 + |∆a |2 ωm
2
+ ξb2 + |∆b |2
−∞ −∞
2 P ∆∗a ∆b
= 4π 2 e |T0 | νa νb T Im q q . (11.69)
ωm 2 + |∆ |2
ωm 2 + |∆ |2
ωm
a b
(11.70)
— максимальный ток через контакт. Отметим еще раз, что, в отли-
чие от других разновидностей туннельного тока, джозефсоновский
ток не связан с релаксацией к равновесному состоянию. Эффект
Джозефсона (11.32) имеет место в термодинамическом равновесии,
и соответственно ток (11.70) между двумя сверхпроводниками с раз-
личающимися фазами параметра порядка может течь неограниченно
долго.
Формула (11.70) для I0 упрощается в случае, когда параметры
порядка по обе стороны контакта отличаются только фазой: |∆a | =
= |∆b | ≡ ∆. При этом
π P ∆2
I0 = T 2 2, (11.71)
eR ω m ωm +∆
6
) По этой же причине мы не рассматриваем вклад в туннельный ток
(11.41), содержащий нормальные средние. Как мы видели в задачах 68
и 69, такой вклад описывает некогерентное туннелирование отдельных
электронов и приводит к току, исчезающему при V = 0.
350 Измерение функций Грина [ Гл. 11
δν(ε) 1 (νe2 )4 τ D2 1
=− 2 ln ln . (11.85)
ν 8π νD |ε| |ε|τ
Рис. 11.11.
Рис. 11.12.
Вершина взаимодействия на рис. 11.12 с учетом спиновой структуры
есть
gδ(r − r′ ) (δαβ δα′ β ′ − δαα′ δββ ′ ) , (11.121)
Рис. 11.13.
Интересно рассмотреть область малых q ≪ p0 , ω ≪ EF , в которой
выражение для поляризационного оператора (11.123) упрощается:
s s+1 ω + i0
Π(ω, q) ≡ Π(s) = −ν0 1 − ln , s= . (11.125)
2 s−1 vF q
Уравнение gΠ(s) = 1 для полюса K R (ω, q) в точности совпадает
с полученным в гл. 8 уравнением (8.11), дающим закон дисперсии
нулевого звука. Скорость нуль-звуковой моды ω = s0 vF |q| зависит от
константы взаимодействия g, причем s0 > 1 при любом отталкива-
тельном взаимодействии g > 0.
С другой стороны, мнимая часть выражения (11.125) отлична от
π
нуля только при s < 1, причем в этой области Im Π(s) = ν0 s. Поэтому
2
структурный фактор (11.122) можно записать в виде
A
K(s) = + Kрег (s), (11.126)
s − s0
где A — вычет K(s) в полюсе s = s0 , а Kрег (s) — регулярная функция,
равная нулю при s > 1.
Величину A нетрудно найти, вычисляя вычет выражения K(s) =
= −Π(s)/(1 − gΠ(s)). Получаем
Π(s0 ) 2
A= = . (11.127)
dΠ(s) s 0 + 1 2s0
g g 2 ν0 ln − 2
ds s=s0 s0 − 1 s0 − 1
11.4 ] Решения задач 68 –74 363
Рис. 11.14.
Вклад фононов в структурный фактор, согласно (11.131)
и (11.135), есть
2
2πa~2 ω02 (q)
S(ω, q) = 2 Im .
µc (ω + i0) − ω02 (q)(1 + g 2 Π(ω + i0, q))
2
(11.138)
На рис. 11.14 мы изобразили структурный фактор, получающийся
при использовании выражений (11.123) и (11.124) для Π(ω, q). Зна-
чение константы электрон-фононного взаимодействия было выбрано
равным g 2 ν = 8/9.
Положение пика в плоскости (ω, q) дает закон дисперсии фононов
ω(q). При q . 2p
p0 зависимость ω(q) приблизительно линейная с накло-
ном dω/dq = c 1 − g 2 ν , что соответствует перенормировке скорости
акустических фононов — см. задачу 31 а. При q > 2p0 перенормировка
скорости постепенно исчезает. На рис. 11.14 хорошо видно также
резкое возрастание наклона dω/dq в окрестности q = 2p0 , помеченной
стрелкой. Конечная ширина пиков на рис. 11.14 связана с тем, что
электрон-фононное взаимодействие приводит к затуханию фононов
(см. задачу 31б).
Г л а в а 12
БОЗОНИЗАЦИЯ И ЛАТТИНЖЕРОВСКАЯ
ЖИДКОСТЬ
1
) Обычно гриновская функция фононов вводится несколько иначе, через
операторы ϕ(x,
b t) (см. [1], (7.9)–(7.16)). Однако
√ в модели Дебая ∇u и ϕ
отличаются лишь множителем: ϕ(r, t) = c ρ ∇u(r, t).
P R dk
2
) Предполагается, что k . . . = . . . и [bk , b+ ′
k′ ] = 2πLδ(k − k ), где L —
2π
размер системы. Данные соглашения используются всюду в этой главе.
368 Бозонизация и латтинжеровская жидкость [ Гл. 12
где a — период решетки (см. также задачу 54, где коррелятор смеще-
ний (12.5) найден при произвольной температуре).
Совпадение корреляторов (12.6) и (12.1) подсказывает, что должно
существовать преобразование, переводящее одну задачу в другую.
Сравнивая коэффициенты перед логарифмами, определяем правило
соответствия:
3
) Мы следуем работе: S. Tomonaga // Progr. Theor. Phys. 1950. V. 5. P. 544.
12.2 ] Коммутаторы операторов плотности 369
2
R
где ξ(p) = (p − p20 )/2m.
Здесь Vk = V (r)e−ikr dr — формфактор по-
тенциала взаимодействия. Рассмотрим случай, когда радиус взаимо-
действия r0 много больше p−10 . При этом формфактор Vk как функция
k быстро спадает при k ≈ r0−1 ≪ p0 . Как всегда, нас интересуют только
состояния вблизи уровня Ферми, т. е. при pi ≈ ±p0 .
Легко видеть, что при этих условиях все взаимодействия сводятся
к двум существенно различным процессам рассеяния, при которых
4
) Подробное обсуждение этих вопросов можно найти в работе: F. D. M.
Haldane // J. Phys. C. 1981. V. 14. P. 2585.
12.3 ] Модель Томонаги 371
P h
b1 = 1
H g1 (q) a+ +
2 p0 +k1 +q/2 ap0 +k1 −q/2 ap0 +k2 −q/2 ap0 +k2 +q/2 + i
2L k1 , k2 , q
+ (p0 → −p0 ) ,
b2 = 1 P
H 2 g2 (q) a+ +
p0 +k1 +q/2 ap0 +k1 −q/2 a−p0 +k2 −q/2 a−p0 +k2 +q/2 .
L k1 , k 2 , q
В отличие от взаимодействия H b1 + H
b2 , гамильтониан H b0 невзаимодей-
ствующих частиц не удается столь же просто выразить через ρb1,2 (k),
поскольку в нем присутствует множитель ξ(p0 + k). Тем не менее,
оказывается, что если заменить квадратичный спектр фермионов
ξ(p) = (p2 − p20 )/2m на линейный ξ(p) = v(|p| − p0 ), то и гамильтониан
Hb0 можно представить в виде оператора квадратичного по ρb1,2 (k).
Модель одномерного ферми-газа, получающаяся таким образом, на-
зывается моделью Томонаги–Латтинжера.
372 Бозонизация и латтинжеровская жидкость [ Гл. 12
5
) A. Luther , V. J. Emery // Phys. Rev. Lett. 1974. V. 33. P. 589; A. Luther ,
I. Peschel // Phys. Rev. B. 1974. V. 9. P. 2911.
374 Бозонизация и латтинжеровская жидкость [ Гл. 12
где
Zx
bj (x) = 2π
ϕ ρbj (x′ )dx′ . (12.31)
−∞
Константы Aj , зависящие от ультрафиолетовой обрезки интеграла
(12.31), будут определены позже. Экспоненциальные факторы в вы-
ражениях (12.30) по форме напоминают струны, возникающие в пре-
образовании Йордана–Вигнера (см. разд. 1.4). Хотя на первый взгляд
выражения (12.30), (12.31) выглядят несколько таинственно, можно
убедиться прямым вычислением, что они и в самом деле приводят
к антикоммутирующим фермиевским операторам.
Проверим коммутационные соотношения (12.29) между ψb1,2 +
(x)
b ′
и ψ1,2 (x ). Воспользуемся для этого известным тождеством Бейкера–
Хаусдорфа,
eU eV = eU +V +[U,V ]/2 , (12.32)
верным, если [U, V ] коммутирует как с U , так и с V . План вычис-
ления заключается в том, чтобы с помощью (12.32) преобразовать
произведения ψbj+ (x)ψbl (x′ ) и ψbj (x)ψbl+ (x′ ) к такому виду, в котором
сингулярность при x′ = x выделена явным образом.
Запишем операторы фазы, стоящие в показателе экспонент (12.30),
через бозонные операторы:
Zx
P
ϕb1 (x) = 2π ρb1 (x′ )dx′ = i λk b+ ke
−ikx
− bk eikx e−a|k|/2 , (12.33)
k>0
−∞
Zx
P
b2 (x) = 2π
ϕ ρb2 (x′ )dx′ = −i λ k b+
ke
−ikx
− bk eikx e−a|k|/2 , (12.34)
k<0
−∞
где, как и выше, λk = (2π/kL)1/2 . Величина a введена в (12.33),
(12.34) для регуляризации, причем подразумевается предельный пе-
реход a → +0.
Рассмотрим произведение операторов ψb1+ (x)ψb1 (x′ ) и, воспользо-
вавшись (12.32), запишем его как
b ′ )+[ϕ(x), b ′ )]/2
ψb1+ (x)ψb1 (x′ ) = |A1 |2 e−iϕ(x)+i
b ϕ(x b ϕ(x
, (12.35)
где
P ′ ′
b
[ϕ(x), b ′ )] =
ϕ(x λ2k L eik(x−x ) − e−ik(x−x ) e−a|k| . (12.36)
k>0
Вычисляем коммутатор:
[B b = P λ2k L eik(x−x′ ) + e−ik(x−x′ ) − 2 e−a|k| .
b + , B] (12.39)
k>0
Z∞
′ dk a
= eik(x−x ) − 1 e−a|k| = ln . (12.40)
k a + i(x′ − x)
0
[ψb1+ (x), ψb1 (x′ )]+ = ψb1+ (x)ψb1 (x′ ) + ψb1 (x′ )ψb1+ (x) (12.42)
оказывается равен
b+ B
2 −B b 1 1
a|A1 | e e + . (12.43)
a − i(x − x′ ) a + i(x − x′ )
R∞ −ax
6
) В (12.40) использовано тождество (e − e−bx )dx/x = ln b/a.
0
376 Бозонизация и латтинжеровская жидкость [ Гл. 12
Gj (x, t) = hψbj (x, t)ψbj+ (0, 0)i = (2πa)−1 heiϕbj (x,t) e−iϕbj (0,0) i. (12.46)
где 1/2
g2 ωk (2πv + g1 )2 − g22
th(2θ) = , v′ = = .
g1 + 2πv k 2π
Видно, что квазичастицы распространяются с перенормированной
скоростью v ′ , определенной в (12.28), и что в отсутствие рассеяния
назад (g2 = 0) выражение (12.47) воспроизводит известные результаты
для свободных фермионов.
7
) Подобно тому, как в обычном вторичном квантовании имеется произвол,
когда гамильтониан системы не содержит явной зависимости от спина ча-
стиц. В этом случае, при определении операторов рождения и уничтожения
частицы с определенной проекцией спина принципиально важна только
антикоммутативность операторов с одинаковыми спинами, а операторы
с различными спинами, вообще говоря, могут быть выбраны коммутиру-
ющими — это дело вкуса.
8
) Напомним определение канонической причинной функции Грина через
хронологически упорядоченное среднее:
Gc (x, t, x′ , t′ ) = −ihT ψbj (x, t)ψbj+ (x′ , t′ )i
.
12.5 ] Задачи 75 –82 377
eiµϕbj (x) ρbl (k)e−iµϕbj (x) = ρbl (k) ± µe−ikx δjl (j, l = 1, 2), (12.48)
378 Бозонизация и латтинжеровская жидкость [ Гл. 12
[ψbj (x), ρbl (p)] = ±e−ipx ψbj (x)δjl (j, l = 1, 2). (12.50)
9
) Отметим, что в данном случае оказывается возможным провести полное
суммирование ряда теории возмущений (5.19). Это связано с тем, что
высшие члены ряда (5.19) не становятся более сингулярными — в каж-
дом порядке расходимость логарифмическая по γ. Однако соответствую-
щие вычисления требуют использования специальной техники (P. Nozières,
C. T. deDominicis // Phys. Rev. 1969. V. 178. P. 1097).
10
) Теорию поля и, в частности, латтинжеровскую жидкость, называют ки-
ральной, если в ней имеются только правые или же только левые частицы.
12.5 ] Задачи 75 –82 379
δj
W (ω) ∝ (ω − ω0 )β , β =α−2 , (12.52)
π
11
) Именно при решении этой и родственной ей задачи о катастрофе ортого-
нальности (см. задачи 27 и 78), были впервые введены соотношения (12.30)
между бозонными и фермионными операторами (K. D. Schotte, U. Schotte
// Phys. Rev. 1969. V. 182. P. 479).
380 Бозонизация и латтинжеровская жидкость [ Гл. 12
12
) G. D. Mahan // Phys. Rev. 1967. V. 163. P. 612.
13
) Вычисление функции Грина одномерной системы, в котором учтены
вклады всех порядков теории возмущений, содержится в работе: И. Е. Дзя-
лошинский, А. И. Ларкин // ЖЭТФ. 1973. Т. 65. С. 411. В этой статье
продемонстрировано совпадение результатов вычислений, проведенных по
теории возмущений и с помощью метода бозонизации.
12.6 ] Решения задач 75 –82 381
ψ 3 = b+
3 |vacb i, ψ13 = (b+ 3
1 ) |vacb i, ψ2,1 = b+ +
2 b1 |vacb i. (12.63)
ψ6 , ψ5,1 , ψ4,2 , ψ4,12 , ψ32 , ψ3,2,1 , ψ3,13 , ψ23 , ψ22 ,12 , ψ2,14 , ψ16 , (12.66)
F B
Доказательство совпадения кратностей вырождения Nm = Nm при
всех m эквивалентно проверке того, что FB (z) = FF (z). Это равенство
можно переписать так:
I
Q dη
(1 − z m )(1 + ηz m )(1 + η −1 z m−1 ) = 1. (12.69)
m>0 2πiη
|η|=1
14
) См. Г. Эндрюс. Теория разбиений. — М.: Наука, 1982.—С. 35.
12.6 ] Решения задач 75 –82 385
Поле приложено
R в небольшой окрестности x = 0, причем его поток
Φ(t) = a(x, t)dx плавно меняется как функция времени по закону eγt .
Квазиклассический набег фазы, возникающий благодаря a(x, t), дает-
ся множителем exp(2πiΦ(t)/Φ0 ), где Φ0 = hc/e.
Квантовомеханическая фаза рассеяния δl в канале с угловым мо-
ментом l определяется с помощью асимптотики волновой функции:
ψ(r) ∝ sin(kr + δl + πl). Из этого выражения видно, что изменение
относительной фазы рассеянной и падающей волн при включении
рассеяния есть 2δl . Сравнивая с фазой, возникающей в поле a(x, t),
находим
2π Φ(t) = Φ0 · 2δl eγt . (12.75)
Подставляя это соотношение в (12.74) и выражая ток через плотность
по формуле bj1 = evF ρb1 , получаем второй член гамильтониана (12.73).
При этом w = −2δl ~vF .
Найдем интеграл перекрытия состояния в момент t = 0 с исход-
ным состоянием |0i, имевшимся при t = −∞. Перекрытие состояний,
записанное в представлении взаимодействия, есть
* Z0 ! +
eint (t) dt 0 ,
Kγ = 0 T exp −i H (12.76)
−∞
где
eint (t) = weγt ρe1 (x, t)x=0 , ρe1 (x, t) = ei b0 t
H b0 t
H ρe1 (x)e−i H
. (12.77)
Пользуясь соотношениями (12.16), выразим плотность ρb1 (x) через
бозе-операторы bk и b+ k , и перейдем в представление взаимодействия:
P
ρe1 (x, t) = (λk L)−1 eikx−iv|k|t bk + e−ikx+iv|k|t b+
k . (12.78)
k>0
При этом гамильтониан взаимодействия (12.77) оказывается линей-
ным по бозе-операторам, что делает задачу усреднения экспоненты
(12.76) весьма простой. Отметим, что именно на этом шаге стано-
вится очевидным преимущество бозонизации по сравнению с прямым
вычислением.
Найдем среднее от экспоненты (12.76), пользуясь правилом гаус-
сова усреднения и теоремой Вика:
" Z0 Zt #
′
Kγ = exp − w2 dt he ρ1 (x, t′ )ix=0 eγ(t+t ) dt′ .
ρ1 (x, t)e (12.79)
−∞ −∞
где a+
p— оператор рождения электрона с импульсом p в зоне прово-
димости, b — оператор рождения дырки (уничтожения электрона) на
внутренней оболочке атома, up (ω) — дипольный матричный элемент,
ω0 — порог поглощения, равный сумме минимальной энергии выби-
того электрона EF и энергии образования дырки E0 . Суммирование
в (12.83) происходит по импульсам p электрона, попадающего в зону
проводимости, а также по всем конечным состояниям |f i системы
с добавленными электроном и дыркой. Начальное состояние |ii пред-
ставляет собой основное состояние идеального ферми-газа.
Преобразуем выражение (12.83), воспользовавшись соотношением
Z∞
P b
2π δ(ω − ω0 − Ef ) |f i hf | = e−iHsc t+i(ω−ω0 )t dt, (12.84)
f
−∞
bsc — гамильтониан ферми-газа в присутствии рассеивающего
где H
центра, характеризующегося фазами рассеяния δl . Пренебрегая за-
висимостью матричного элемента up (ω) от ω, запишем (12.83) в виде
Z∞
b
W (ω) = A hi|b+ ψbexc e−iHsc t ψbexc
+
b|iiei(ω−ω0 )t dt, (12.85)
−∞
P
где ψbexc
+
(r) = A−1/2 p up a+
pe
−ipr
— оператор рождения электрона
в состоянии с угловым моментом j, локализованном в окрестно-
стиPточки r = 0, где происходит поглощение фотона. (Здесь A =
= p |up |2 — нормировочный множитель.)
12.6 ] Решения задач 75 –82 387
b = P λk bk (e−ikvF t − 1) e−a|k|/2 .
B
k>0
где
a
e
a= и α = 2(1 + sh2 θA + sh2 θB ). (12.127)
vF
Выражение (12.121) удобно вычислить с помощью известного
представления гамма-функции:
Z∞
bz−1
e(a+it)b (a + it)−z dt = 2π , (12.128)
Γ(z)
−∞
верного при b > 0 и a > 0. Находим, что при V > 0 вклад в интеграл
по времени в (12.121) дает только первый член, а при V < 0 — только
второй член. Соответственно, туннельный ток есть
aα
e (eV )α−1 при V > 0,
I = e|w|2 (12.129)
2πa Γ(α) −(−eV )α−1 при V < 0.
2
где
ZZ
dp′ dε′
Π2 (ω, k) = G2 (ε′+ , p′+ )G2 (ε′− , p′− ) = (12.137)
(2π)2
Z
n(p′− ) − n(p′+ ) dp′ k
= =− (12.138)
iω + vF k 2π 2π(iω + vF k)
— поляризационный оператор левых частиц (ε′± = ε′ ± ω/2, p′± = p ±
± k/2).
Рис. 12.1.
Подставляя выражение для Π2 (ω, k) в (12.136), вычисляем инте-
грал по ω и получаем
kZmax
g22 k dk
Σ1 (iε, p) = 2 n(−k) − n(k + p) . (12.139)
(2π) iε − vF (2k + p)
−kmax
399
400 Предметный указатель
Мы сотрудничаем с интернет-магазинами
• Книготорговая компания «Абрис»; тел. (495) 229-67-59, (812) 327-04-50;
www.umlit.ru, www.textbook.ru, абрис.рф
• Интернет-магазин «Книга.ру»; тел. (495) 744-09-09; www.kniga.ru