Академический Документы
Профессиональный Документы
Культура Документы
САНКТ–ПЕТЕРБУРГСКИЙ ПОЛИТЕХНИЧЕСКИЙ
УНИВЕРСИТЕТ ПЕТРА ВЕЛИКОГО
Учебное пособие
Санкт-Петербург
Издательство Политехнического университета
2012
УДК
Квантовая теория многих тел. Учебное пособие. В. К. Иванов, А.
Н. Ипатов, Р. Г. Полозков. – СПб.: Изд-во Политехнического ун-та, 2012.
– 172 с.
2
ОГЛАВЛЕНИЕ
стр
Сокращения, принятые в пособии 5
Введение 7
1. Системы невзаимодействующих частиц. Теория воз-
мущений
1.1. Гамильтониан системы частиц. 9
1.2. Системы невзаимодействующих частиц. 10
1.3. Системы невзаимодействующих бозонов. 12
1.4. Системы невзаимодействующих фермионов. 14
1.5. Однородный электронный газ. 15
1.6. Система свободных квазичастиц. 16
1.7. Теория возмущений. 19
2. Метод самосогласованного среднего поля.
2.1. Приближение Хартри. 24
2.2. Приближение Хартри-Фока. 28
2.3. Электронный газ в приближении Хартри-Фока. 30
2.4. Многоэлектронный атом в приближении Хартри-Фока. 38
3. Метод функционала плотности
3.1. Теория Томаса-Ферми. 46
3.2. Приближение локальной плотности. 55
4. Вторичное квантование. Теория представлений……
4.1. Пространство чисел заполнения……………. 61
4.2. Операторы рождения и уничтожения в Бозе-системе … 62
4.3. Операторы рождения и уничтожения в Ферми-системе 65
4.4. Полевые операторы рождения и уничтожения…… 69
4.5. Представление Шредингера……………………… 71
4.6. Представление Гейзенберга ………… 75
4.7. Представление взаимодействия………………. 77
5. Нестационарная теория возмущений. Диаграммная
техника…
5.1. Разложение S - матрицы ……………. 82
5.2. Функция Грина……………………………………….. 90
3
5.3. Функция Грина невзаимодействующих частиц … 91
5.4. Функция Грина взаимодействующих частиц ….. 96
5.5. Диаграммы Фейнмана для функции Грина………. 102
5.6. Диаграммная техника в координатном пространстве…. 106
5.7 Диаграммная техника в импульсном пространстве 109
5.8. Взаимодействие многочастичной системы с фононами 113
5.9. Взаимодействие с внешним полем……. 116
5.10. Уравнение Дайсона………… 117
6. Применение диаграммной техники
6.1. Голстоуновские диаграммы. 123
6.2. Приближение Хартри-Фока с точки зрения диаграмм- 129
ной техники.
6.3. Приближение случайных фаз с обменом. 134
6.4. Взаимодействие системы с налетающими частицами. 148
Заключение 156
Приложения. Альтернативные методы описания много-
частичных систем
П1.Зависящее от времени приближение локальной плотно- 158
сти.
П2.Многоконфигурационное приближение Хартри-Фока. 161
Практические задания. 166
Библиографический список 172
4
СОКРАЩЕНИЯ И ОБОЗНАЧЕНИЯ, ПРИНЯТЫЕ В ПОСОБИИ
Ĥ – полный гамильтониан системы многих тел;
, t или , t – полная волновая функция системы многих тел;
={q1,q2,...,qN} – совокупность координат системы N частиц;
qi ( ri ,i) – совокупность пространственных ri и дискретных i коор-
динат i- ой частицы;
p i – оператор импульса одной частицы;
Ĥ 0 – гамильтониан невзаимодействующих частиц;
Ĥ int – оператор взаимодействия между частицами;
Hˆ i0 – гамильтониан i- ой невзаимодействующей частицы
U (r ) , v (r ) – внешний потенциал;
V̂ r , r – потенциал парных сил;
i r , – одночастичная волновая функция i- ой частицы;
i – одночастичная энергия i- ой частицы;
p
k – волновой вектор частицы;
– частота свободной частицы;
BL – симметризованная волновая функция системы неразличимых
бозонов;
LF – симметризованная волновая функция системы неразличимых
фермионов;
P̂ – оператор перестановки;
– химический потенциал;
EF – энергия Ферми;
pF = ħkF – импульс Ферми;
, – "бра" и "кэт", стандартные обозначения * и ;
e, Ze – заряд электрона и заряд ядра, соответственно;
F̂S , – операторы в представлении Шредингера;
~
Aˆ H t , F (t ) – операторы в представлении Гейзенберга;
5
F̂I , I x, t – операторы и волновые функции в представлении взаи-
модействия
G 0 x, x , G x, x – функции Грина свободной и взаимодействую-
щей частиц.
x, x ,
н
x, x – приводимая и неприводимая собственно-
энергетические части функции Грина.
6
ВВЕДЕНИЕ
7
Данный курс опирается на следующие дисциплины: "Квантовая ме-
ханика", "Физика твердого тела", "Спектроскопия", "Теория рассеяния".
Методика изучения курса сводится к чтению лекций и проведению
практических занятий со студентами с решением конкретных задач по от-
дельным вопросам теории многих тел. В книге описания теоретических
подходов рассмотрены с разной степенью подробности. Для студентов, не
специализирующихся в области теоретической физики, в ряде случаев
многие математические детали выводов могут быть опущены. Авторы
надеются, что освоение этого курса поможет студентам не только ориен-
тироваться в современной физике, но и активно применять полученные
знания в своей профессиональной деятельности.
8
Глава 1. Системы невзаимодействующих частиц. Теория возму-
щений.
9
i Hˆ , t 0 (1.1)
t
где ={q1,q2,...,qN} – совокупность координат системы N частиц, включая
как пространственные ri , так и дискретные (спиновые i, изотопические
i) координаты i- ой частицы.
Гамильтониан Ĥ считается заданной функцией координат, операто-
ров импульса p i и матриц, действующих на дискретные координа-
ты, и записывается в виде:
N 2 2 N
i U ri , i V ri , i , r j , j
ˆ ˆ ˆ
H H 0 H int (1.2)
i 1 2 m i , j 1
i j
10
1.2. Системы невзаимодействующих частиц.
11
1 1 , 2 1 1 2 2
(1.8)
2 1 , 2 1 2 2 1
где у частиц переставлены индексы состояний, r , .
Можно сопоставить две линейные комбинации этих решений, сим-
метричную и антисимметричную относительно перестановок частиц, ко-
торые тоже являются решением (1.4):
S C1 1 1 2 2 1 2 2 1 (1.9)
A C 2 1 1 2 2 1 2 2 1 (1.10)
Коэффициенты С1 и С2 определяются как
1
C1 C 2 (1.11)
2
из условия нормировки волновых функций:
2 2
S dV1 dV2 A dV1dV2 1 (1.12)
Симметричная (1.9) и антисимметричная (1.10) линейные комбинации
функций описывают системы из двух бозонов и двух фермионов, соответ-
ственно.
12
число частиц, имеющих одно и то же i-ое состояние, ni N .
i
13
при различных температурах. При Т0 (точнее при температуре ниже
температуры вырождения) наблюдается конденсация частиц, так называ-
емая Бозе-конденсация, при которой часть частиц скапливается в состоя-
нии с нулевым импульсом и нулевой энергией.
1.4. Системы невзаимодействующих фермионов.
14
1
n () na (1.18)
E
1 T=0 exp a 1
kT
T>0 На рис.1.2 изображено распреде-
ление Ферми-Дирака частиц по энер-
0 F гиям. В основном состоянии при тем-
Рис. 1.2. Функция распре- пературе T = 0 имеем ступеньку в рас-
деления Ферми-частиц по
энергиям при различных
пределении при энергии Ферми EF или
температурах при импульсе Ферми pF. При темпера-
туре отличной от нуля ступенька раз-
мывается, и частицы с верхних уровней распределяются по уровням выше
энергии Ферми. Химический потенциал идеального газа фермионов, ис-
ходя из определения (1.16), равен энергии частицы на Ферми-
поверхности:
p F2
EF (1.19)
2m
15
4
pF3 V (1.20)
3
Из-за принципа неопределенности фазовое пространство разбивается
на элементарные ячейки объемом (2)3, причем каждая ячейка в соответ-
ствии с принципом запрета Паули может содержать два электрона с про-
тивоположными спинами. Тогда для полного числа электронов N можно
написать следующее выражение:
2 4
N p F3 V (1.21)
2 3
3
16
ствия двух электронов ~Z1/3 к кинетической энергии электрона ~Z4/3, т.е.
= 1/Z. Следующий шаг – это учет влияния квантовых флуктуаций плотно-
сти на движение рассматриваемого электрона.
Другой метод приближенного описания оказывается применим в том
случае, когда взаимодействие двух частиц не мало, но частицы находятся
друг от друга настолько далеко, что можно пренебречь случаями тройного
взаимодействия частиц – так называемое "газовое приближение". Пара-
метром малости такого приближения является величина fn1/3, где f – ам-
плитуда рассеяния двух частиц, n – плотность, т.е. параметр малости ~
f/r0 , где r0 – среднее расстояние между частицами.
В наиболее интересных физических системах (металлы, твердое тело,
жидкий гелий, атом, атомное ядро) обычно не выполняются условия при-
менимости ни теории возмущений, ни газового приближения. В этих слу-
чаях должны быть использованы другие методы рассмотрения.
Подход к изучению систем сильно взаимодействующих частиц (в ос-
новном относится к низковозбужденным состояния) основан на том, что в
качестве объекта рассмотрения берутся не сами частицы, входящие в со-
став системы, а квазичастицы, для которых уже можно использовать га-
зовое приближение, поскольку при слабых возбуждениях их количество
сравнительно невелико.
Квазичастица – элементарное возбуждение квантовой системы мно-
гих тел или конденсированной среды, ведущее себя в некоторых отноше-
ниях как квантовая частица.
В основном состоянии системы нет квазичастиц. Совокупность низ-
колежащих возбужденных состояний можно рассматривать как газ эле-
ментарных возбуждений, т.е. как рождение квазичастиц. Такие возбужде-
ния, как правило, связаны не с движением отдельных частиц, а с согласо-
ванным движением многих (или всех) частиц системы. О квазичастицах
говорят как об "одетых" частицах в отличие от "голых" (свободных) ча-
стиц.
В твердом теле примером подобных возбуждений являются фононы.
В реальных Ферми-системах возбуждения соответствуют появлению ча-
стиц и дырок, но со свойствами, отличающимися от свойств свободных
17
("голых") частиц и дырок. В частности, такие квазичастицы имеют массу,
отличающуюся от массы свободных частиц.
Взаимодействие частиц приводит к тому, что возбуждение одной из
них не остается локализованным, а передается соседним частицам (ато-
мам), то есть распространяется в виде волны возбуждения с некоторой ча-
стотой и волновым вектором k (частота является функцией k ). В со-
ответствии с корпускулярно-волновым дуализмом этой волне сопоставля-
ется квазичастица, обладающая импульсом p k и энергией .
Скорость распространения квазичастицы определяется формулой диспер-
сии
v (1.23)
p
Низколежащим возбуждениям часто можно дать четкую классифика-
цию, в основе которой лежит общий результат, не зависящий от статисти-
ки и не предполагающий обязательной малости взаимодействия между
"голыми" частицами, т.е. гамильтониан системы (1.2) можно представить
в следующем виде:
Hˆ E 0 Hˆ qp Hˆ int (1.24)
где E 0 – энергия основного состояния системы взаимодействующих ча-
стиц, Ĥ qp описывает систему независимых квазичастиц с заданными им-
пульсами и энергиями, а Ĥ int учитывает слабое взаимодействие между
квазичастицами.
С последним членом связаны уширения q уровней энергии q эле-
ментарных возбуждений. В соответствии с принципом неопределенности
Et ~ , это означает, что элементарные возбуждения имеют конечное
время жизни q ~ . Время жизни должно быть, конечно, достаточно
q
большим (т.е. ширина уровня q должна быть много меньше q), чтобы
элементарные возбуждения можно было считать хорошо определенными
и независимыми друг от друга.
Некоторые физики считают все элементарные возбуждения квазича-
стицами, другие подразделяют на коллективные возбуждения и квазича-
18
стицы. Суть в том, что коллективные возбуждения мало похожи на реаль-
ные частицы. Примеры последних: фононы (звуковые волны в кристал-
лах), плазмоны (флуктуации электронной плотности в электронном газе),
магноны (флуктуации плотности спинового момента в ферромагнетиках),
ядерные кванты (коллективные возбуждения, связанные с колебательны-
ми и вращательными движениями). Квазичастицы, напоминающие реаль-
ные частицы: квазиэлектрон (электрон + экранирующее облако в элек-
тронном газе), полярон (электрон + облако фононов в непроводящем по-
лярном кристалле), квазинуклон (нуклон + облако других нуклонов в яд-
ре), электрон проводимости (электрон + периодическое поле решетки в
металле, отсюда эффективная масса).
Как и обычные частицы квазичастицы разделяются на два класса: бо-
зоны и фермионы и подчиняются разным квантовым статистикам. Из-за
несохранения числа квазичастиц химический потенциал газа квазичастиц
равен нулю, и среднее их число n определяется формулами:
1
n (1.25)
exp 1
kT
где знаки “+” и “-” относятся соответственно к газам фермионов и бозо-
нов.
1.7. Теория возмущений.
19
Hˆ 0
Vˆ E (1.28)
Для простоты нормируем функции так, чтобы выполнялась нор-
мировка 0 1. Тогда умножая уравнение (1.27) слева на функцию
, а уравнение (1.28) – на функцию 0 , получаем после интегрирования
по всему объему:
Hˆ 0 0 E 0 0 E 0 (1.29)
0 Hˆ 0 0 Vˆ E 0 E (1.30)
В результате вычитания (1.29) из (1.30) получаем
Vˆ
E E E 0 0 (1.31)
0
С учетом нормировки волновых функций в знаменателе имеем оконча-
тельно
E E E0 0 Vˆ (1.32)
Здесь E – искомый сдвиг энергии основного состояния.
Однако с практической точки зрения формулы (1.31) и (1.32) беспо-
лезны, т.к. волновая функция неизвестна.
Введем проекционный оператор R̂ , действие которого на произволь-
ную функцию дает его компоненту 0 , умноженную на 0 :
Rˆ 0 0 (1.33)
Для функции имеем с учетом нормировки:
Rˆ 0 0 0 (1.34)
Тогда можно записать следующее:
0 1 Rˆ 0 Qˆ (1.35)
Здесь ввели оператор Q 1 Rˆ . Подействовав на функцию вторично опе-
ратором R̂ , имеем
Rˆ 2 Rˆ Rˆ Rˆ 0 0 (1.36)
и получаем основное свойство проекционного оператора
Rˆ 2 Rˆ (1.37)
20
Аналогично для оператора Q 1 Rˆ :
Qˆ 2 1 Rˆ 1 Rˆ 1 2 Rˆ Rˆ 2 1 Rˆ Qˆ (1.38)
Таким образом, Qˆ 2 Qˆ , и это тоже проекционный оператор.
Запишем уравнение:
Hˆ 0 Vˆ E 0 (1.39)
Добавим произвольную величину :
Hˆ 0 Vˆ E (1.40)
откуда получим:
1
E Vˆ (1.41)
Hˆ 0
При этом из (1.35) следует:
0 Qˆ 0 Qˆ
1
E Vˆ 1.42)
Hˆ 0
Решать уравнение (1.42) будем методом итераций:
n
1
Qˆ E Vˆ 0 (1.43)
n 0 Hˆ 0
Это равенство должно быть справедливо при любых .
n
1
E E E0 0 Vˆ 0 Vˆ Qˆ E Vˆ 0 (1.44)
n 0 Hˆ 0
Рассмотри два частных случая.
Теория Бриллюэна-Вигнера.
Положим = Е.
n
1
Qˆ Vˆ 0 (1.45)
n 0 E Hˆ 0
n
1
E 0 Vˆ Qˆ Vˆ 0 (1.46)
n0 E Hˆ 0
Недостаток данного подхода состоит в том, что в правой части выра-
21
жений (1.45-1.46) находится неизвестная энергия Е.
Теория Рэлея-Шредингера.
Положим = Е0.
n
1
Qˆ E 0 E Vˆ 0 (1.47)
n 0 E0 Hˆ 0
n
1
E 0 Vˆ Qˆ E 0 E Vˆ 0 (1.48)
n 0 E 0 Hˆ 0
Пусть система состоит из N частиц, а V̂ – оператор парного взаимо-
действия:
V̂ij V̂ ri rj
(1.49)
Рассмотрим 1-й порядок теории возмущений в рамках случая Брил-
люэна–Вигнера:
1 Vˆ 0
1 0 Qˆ Vˆ 0 0 (1.50)
ˆ
E H0 0 E E
1 kl Vˆ ij
0
ijkl E E
Следует заметить, что такое же выражение может быть получено в
теории Рэлея-Шредингера, только с заменой E на E0.
Итак, видно, что 1 – суперпозиция невозмущенного состояния
0 (не содержащего возбуждений) и состояний, в которых возбуждена
только пара частиц, выбранная всевозможными способами.
Реально же число возбужденных частиц при возрастании N тоже рас-
22
тет, а вероятность того, что во всей системе возбуждаются только две ча-
стицы, стремится к нулю. Таким образом, волновая функция, записанная в
таком виде, носит явно нефизический характер. Можно показать, что и
поправка к энергии E расходится с ростом числа частиц N.
К аналогичным результатам приводит и теория возмущений Рэлея-
Шредингера. Причина состоит в том, что в любом конечном порядке тео-
рии возмущений волновая функция описывает лишь конечное число пар-
ных возбуждений, тогда как истинная волновая функция должна содер-
жать одновременно бесконечное число возбуждений при N . Таким
образом, традиционный подход квантовой механики не работает в случае
системы многих тел.
23
Глава 2. Метод самосогласованного среднего поля.
24
полный набор, т.е. любую волновую функцию системы можно разложить
по этому набору функций:
C jj (2.4)
j 1
25
E H 1 q1 ... N q N H j0 1 q1 ... N q N
j
26
Введем вектор состояния и матрицу, соответственно,
11 12 ... 1N
1
2 21 22 ... 2 N
и (2.15)
... ... ... ...
N N1 N 2 ... NN
Индекс j в (2.14) пробегает значения от 1 до N, т.е. получаем систему из N
уравнений:
H 0 *V̂ q q dq (2.16)
k
Рассмотрим унитарное преобразование
~
C , C C 1 (2.17)
В результате уравнение (2.17) преобразуется к виду
~ ~ ~ ~ ~
H 0 C *V̂ q q dq C C (2.18)
k
Помножим уравнение (2.18) слева на C . Преобразование можно сде-
лать таким, что матрица C C станет диагональной. Тогда получаем си-
стему уравнений в виде:
0
H
k q V̂ q q k q dq j q j j q (2.19)
k
Det i r j
1 1
1 1 r1 2 r2 ... N rN (2.23)
P
m
N! N! P
Вновь рассматриваем тот же Гамильтониан (2.8):
N 2 N
i U ri V̂ ri r j H i0 V̂ ri rj (2.24)
H
i 1 2m i j i 1 i j
28
N
E m H m i H 0 i
i 1
(2.25)
1 1
i j V i j i j V j i
2 ij 2 ij
Будем искать минимальное значение энергии. Для этого проварьируем
(2.25) по волновой функции *i при условии ортонормированности функ-
ций
*
i
r j r dr ij (2.26)
E ij i j 0 (2.27)
i i, j
Тогда получаем
N
i H i0 i i j V i j
i 1 i, j
(2.28)
i j V j i ij i i 0
i, j i, j
j j
29
нальной форме:
k H S i i ik (2.31)
Тогда уравнения Хартри–Фока запишутся: в виде
H 0 i r *j r' V̂ r r' j r' dr 'i r
j
(2.32)
*j r ' V̂ r r ' i r' dr ' j r i i r
j
30
2 2 l r k r
k r e l r
2
dr k k r (2.35)
2m l kF r r
Покажем, что решением уравнения Хартри-Фока (2.35) является
плоская волна:
1 ikr
k r e (2.36)
V
где V – объем системы.
Подставим (2.36) в (2.35):
2k 2 1
e2
exp i k l r
k
3
exp ik r exp il r dr exp ik r
2m V V 2 l k F
r r V
(2.37)
Рассмотрим второе слагаемое в (2.37):
e2
exp i k l r
3
exp il r dr
V 2 l k
F
r r
e 2
exp i k l r r r
3
exp i l r dr
V 2 l Fk r r
e2
exp i k l r1
3
exp il r exp i k l r dr1
V l k 2 F
r1
e2
exp ik r
exp i k l r1
dr1
V 2
3
Fl k r1
Здесь мы ввели r1 r r . Далее имеем из (2.35):
2k 2 e2
exp i l k r1
d r exp
i
k r
exp ik
r (2.38)
1 k
2 m V l k
F
r1
Очевидно, что в квадратную скобку уравнения (2.38) координата электро-
на r не входит, следовательно, функция exp ik r является решением
уравнения Хартри-Фока для свободного электронного газа, причем соб-
ственное значение энергии равно:
2k 2 e2
exp i l k r1
2m V l k
k dr1 (2.39)
r1 F
31
exp i l k r1
exp i l k r1 cos 2
r1
d r1
r1
r1 sin dr1 dd
(2.40)
4
2 r1 dr1 exp i l k r1 cos sin d sin l k r1 dr1
0 0 l k 0
К сожалению, последний интеграл расходится, поэтому в таком виде ре-
шение не информативно. Надо постараться, хотя бы в обобщенном смыс-
ле, вычислить этот интеграл и обойти расходимости.
expip r1
Заметим, что интеграл dr1 есть Фурье-преобразование ку-
r1
1
лоновского потенциала ( r ) , являющего решением уравнения Пуас-
r
сона:
2 4r (2.41)
Преобразуем обе части уравнения (2.41), используя преобразование
Фурье e ipr 2 r dr 4 e ipr r dr ,
r dr 4
ipr 2
e (2.42)
i px x p y y pz z 2
2
2
e r dr e
2
x 2 y 2 z 2 dxdydz
ipr
(2.43)
Рассмотрим часть интеграла, например по координате x:
ip x x 2 ip x x ip x x
e dx e dx e dx
x 2
x x x x
ip x x
ip x x 2
e ip x x
ip x e dx ipx e dx p x e ip x x dx (2.44)
x
x
x
32
Следует отметить, что расходимость в (2.40) можно также обойти, ес-
ли ввести в рассмотрение "экранированное" кулоновское взаимодействие
exp r r
V̂ r r
r r
для которого все интегралы сходятся. При этом в окончательном резуль-
тате необходимо устремить 0.
Вновь возвращаясь к формуле (2.39), получаем:
2 k 2 4e 2 1
k
2m
V l k l k 2
(2.46)
F
1
kF kF
du
ldl ln k 2 l 2 2klu
u 1
2
2 l dl 2
0
2
1l k 2lku k 0
u 1
2
kF
lk k F2 k 2 k k F
l ln l k dl k F 2 kk ln k k
k0 F F
33
частиц, взаимодействующих с потенциалом нулевого радиуса:
V̂ r r r r
и получить для частиц энергию k в приближении Хартри-Фока.
E HF
1
2 l ,k k
lk V̂ lk lk V̂ kl (2.52)
F
(2.53)
V 2 k F V 2 kF 4 2 k F5
23 m 0
4k dk 2 k dk
4
V
2 m 0 10 2 m
Импульс Ферми определяем из равенства (1.21):
4 3
k F
3 n
(2.54)
23 2
откуда получаем:
1
2
k F 3 n 3 (2.55)
Подставляя в кинетическую энергию находим ее связь с электронной
плотностью
Ekin
2
10 2 m
3 n V
2 53
(2.56)
kin
Ekin
V 10 2 m
2
3 n
2 53
(2.57)
34
Теперь рассмотрим Хартри-Фоковскую добавку к энергии. Хартриев-
ский член, как уже упоминалось, компенсируется взаимодействием с по-
ложительным фоном, поэтому остается только обменный член:
1
Eex lk V̂ kl (2.58)
2 l ,k k F
l m
lk V mn =
k n
35
e2
r
exp i m n l k R exp i m n l k
2
2
lk V̂ mn dRdr
V r
e2
r
exp i m n l k
i m n l k R 2
V 2
e dR dr
r
(2.62)
Интеграл по координате центра масс равен:
e
i m n l k R
dR V
m n l k (2.63)
Следовательно, в интеграле по координате r можно положить
m n l k , тогда
mn l k 2 k n 2l m
Интеграл по координате r вычислялся ранее, поэтому получаем:
r
exp i m n l k
2
exp i l m r 4 4 4
dr dr (2.64)
r
r q
l m k n
где переданный импульс равен q l m k n .
Таким образом l l q
lk V mn
4e 2
mn l k =
V q
q
k k q
Наличие -функции обеспечивает закон сохранения импульса в си-
стеме. Итак, обменный матричный элемент равен:
l k
4e 2 4e 2
lk V kl = q l k
V q V l k
k l
Здесь в правых частях показано графическое изображение обменных мат-
ричных элементов. Следовательно,
36
1 1 4e 2 1
Eex lk V̂ kl 2
2 l ,k kF
2 V l ,k k l k
F
(2.65)
4e 2 V
2
dl dk
V 26 l k k k l k
F F
e 2 V 3
k F2 k 2 k k F
k F 2 d kln
165 kkF k kF
Здесь мы воспользовались вычислением ранее интеграла по dl . Про-
должем вычисление Вычисляем интеграл далее:
e 2 V k F2 k 2 k k F 3
Eex k F 2 ln d k
165 kk F k kF
e 2 V k k F2 k 2 k k F
F
2
k F 2 ln k dk
4 3 0 kk F k kF
e 2 V 4 1 1 x 2 x 1 2
k F 2 ln x dx
4 3 0 x x 1
e 2 V 4 e 2V 4 1 x 1
6 3
k F
43 0
k F x x 3
ln
x 1
dx
В итоге для полной обменной энергии получаем следующее выражение:
e 2 V 4 e 2 V
Eex
4 3
k F
4 3
3 n
2 43
(2.66)
exch
Eexch e 2 3 2 n
n 4 3
43
(2.67)
V 4 3
37
Аналогичным образом можно угадать по размерности, чему равна
энергия на единицу площади в двумерной системе 2D и на единицу длины
в одномерной системе 1D, и вычислить соответствующие кинетические
энергии.
38
2 d 2 l l 1 Ze 2 nl r
2
2
nl Pnl r
2 m dr 2 mr r (2.72)
1
q nl , nl nql , nl r Pn l r nl , n l Pn l r
N nl r n l F q 0 n
39
рые характеризуются одночастичной энергией nl для каждого главного n
и орбитального l квантовых чисел. При этом каждая одночастичная вол-
новая функция является собственной функцией операторов квадрата мо-
мента импульса и проекции момента импульса:
L2 nlm 2 l l 1 nlm (2.75)
L z nlm m nlm (2.76)
Однако, ясно, что атом как система из многих электронов, находя-
щихся в центральном поле, характеризуется полным моментом импульса J
и его проекцией. Вопрос теперь состоит в том, как складываются моменты
импульсов электронов в многоэлектронном атоме? Для того чтобы полу-
чить полный момент системы, можно рассмотреть различные схемы связи
(суммирования) моментов импульса отдельных электронов.
Полный момент импульса атома определяется сложением орбиталь-
ных и спиновых моментов или сложением полных моментов отдельных
электронов. При этом порядок сложения моментов не имел бы никакого
значения, если бы состояние атома, его волновая функция и энергия, зави-
село только от окончательного полного момента атома. Однако в действи-
тельности в описании состояний электронной системы атома имеют зна-
чение не только полный момент, но и другие, промежуточные квантовые
числа тоже, которые возникают в процессе сложения моментов. Поэтому
порядок сложения отдельных моментов электронов в полный момент ато-
ма, оказывается, имеет значение.
Наиболее распространенный и важный предельный случай – так
называемая L–S связь, которая исторически иногда называется нормальной
или Рассел-Саундерсовской связью. Такая связь осуществляется для лег-
ких и промежуточных атомов в Периодической системе. Для этих атомов
электростатическое отталкивание между электронами велико по сравне-
нию с взаимодействием между орбитальным и спиновым моментами –
спин-орбитальным взаимодействием. При этом орбитальные и спиновые
моменты электронов складываются отдельно в полные орбитальный и
спиновый моменты всего атома:
L l1 l 2 l3 ... (2.77)
40
S s1 s 2 s3 ... (2.78)
Состояние системы электронов, в частности электронной оболочки,
характеризуется суммарными моментами L и S , а также полным момен-
том импульса J :
J LS (2.79)
Переходя от квантовых чисел к обычной записи моментов импульса, име-
ем, соответственно, для полного, орбитального и спинового моментов
атома следующие выражения:
2 2 2
L J J J 1, L L LL 1, LS 2 S S 1
2 2
(2.80)
а также соответствующие проекции моментов импульса: MJ, ML и MS.
Рассмотрим атомы с заполненными оболочками. В силу того, что в
такой оболочке состояния со всеми возможными проекциями момента
импульса заполнены, то суммарная проекция момента импульса всей обо-
лочки в целом равна нулю. Других проекций для заполненных оболочек
не существует. Следовательно, полный момент импульса заполненной
оболочки атома также равен нулю. Итак, атомы с заполненными оболоч-
ками, т.е. с заполненными nl уровнями, обладают полным моментом им-
пульса равным нулю. Такой атом обладает сферической симметрией. К
таким атомам относятся атом гелия, атомы щелочноземельных металлов и
атомы благородных газов, атом палладия.
Атомы с одним электроном сверх заполненных оболочек характери-
зуются полным моментом этого одного электрона, т.е.
1
J jl (2.81)
2
Таким образом, полный момент всего атома определяется орбитальным и
спиновым моментами одного наружного электрона.
Переходя к атомам с незамкнутыми оболочками с числом электронов
более одного, в результате сложения их моментов может получиться раз-
личное число его состояний, характеризующихся разными полными мо-
ментами импульса J, орбитальными L и спиновыми S моментами.
Исходя из общих законов сохранения, сохраняется в изолированном
атоме полный момент импульса J. Моменты L и S по отдельности не со-
41
храняются, точнее в первом приближении они сохраняются по модулю, но
не имеют определенного направления в пространстве.
Состояния таких атомов в целом характеризуются термом и записы-
2 S 1
ваются в виде L J . Здесь полный орбитальный момент импульса L
определяется согласно (2.77)
L 0, 1, 2, 3,...
(2.82)
состояние S , P, D, F ,...
Полный спиновый момент S определяется соотношением (2.78), при
этом величина 2S+1 называется мультиплетностью уровня, которая опре-
деляет число компонент в расщепляющемся уровне. Полный момент им-
пульса J определяется по формуле (2.79).
При определении количества термов в атоме необходимо отличать эк-
вивалентные (электроны с одним значением главного и орбитального
квантовых чисел, но разными проекциями момента импульса) и неэквива-
лентные электроны. Для эквивалентных электронов принцип Паули вно-
сит свои ограничения в число возможных термов.
Связывание моментов импульса в полный момент импульса атомной
системы может осуществляться также другим способом. Крайний случай
по отношению к L–S связи сложения моментов осуществляется, когда ре-
лятивистское взаимодействие велико и когда сила взаимодействия между
орбитальным движением l и спином s, больше, чем сила взаимодействия
различных электронов между собой. При этом говорят, что магнитное
спин-орбитальное взаимодействие велико по сравнению с электростатиче-
ским взаимодействием различных электронов между собой. Таким обра-
зом, на первом этапе осуществляется сложение орбитального и спинового
момента каждого электрона:
ji l i s i (2.83)
Такая связь носит название j-j связи. Полный момент всего атома тогда
равен:
J ji (2.84)
i
42
моментов электроны тяжелых атомов и, главным образом, внутренние
электроны, а также электроны в тяжелых многозарядных ионах. При этом
если для легких атомов в основном реализуется L–S связь, то с ростом за-
ряда ядра в атомах чаще всего реализуются схемы промежуточной связи.
Поясним механизм образования терма на примере двух электронов,
обладающих орбитальными моментами и проекциями j1, m1 и j2, m2 , соот-
ветственно. Найдем полную волновую функцию с орбитальным моментом
j, проекцией орбитального момента m, спином S и его проекцией Ms.
Полный момент системы записывается
j1 j 2 j (2.85)
Оператор квадрата момента импульса j 2 коммутирует с j12 , j22 , j z , но не
коммутирует с операторами проекций каждого из электронов j1z и j 2 z .
2
Перейдем от базиса собственных функций операторов j1 , j1z , j2 , j 2 z –
2
43
Покажем ряд основных перестановочных свойств симметрии 3j-
символов:
j1 j2 j j j2 j
1 j1 j2 j 1 (2.89)
m1 m2 m m1 m2 m
j1 j2 j j j1 j2 j2 j j1
(2.90)
m1 m2 m m m1 m2 m2 m m1
j1 j2 j j jj2 j j2 j
1 j1 j2 j 1 1 j1 j2 j 1 (2.91)
m1 m2 m m1 m m2 m1 m2 m
j1 j 2 j j1 j 2 j
m m m m m m 2 j 1 jj mm j1 j 2 j (2.95)
1
m1m2 1 2 1 2
При этом множитель j1 j 2 j равен 1, когда выполняется правило тре-
угольника (2.87), и равен 0, если оно не выполняется.
При появлении необходимости сложения большего числа моментов
наряду с 3j-символами появляются более сложные 6j-символы и 9j-
символы.
44
Возвращаясь к атому в приближении Хартри-Фока, отметим, что до-
статочно просто можно получать полную волновую функцию, описываю-
щую состояние, например, с полным орбитальным моментом L, спином S
и их проекциями ML и MS, если один электрон находится сверх остова с
известными моментами. В этом случае полная волновая функция записы-
вается в виде суперпозиции произведений
A nNili m1 i i nlm
N
где оператор A определяет эту суперпозицию членов с различными зна-
чениями mi, m, i, при условии m – mi =ML и i - = MS.
Когда электрон вырывается из замкнутой оболочки, то момент, спин
и их проекции для иона с вакансией i равны значениям дырки li, mi, i. То-
N LS
гда полная волновая функция M LM S
записывается в виде:
MN LS
LM S
i
l l mi m l i lLM 1 1
L 2 2 1 1
i 2 2 SM S
N 1
A N
ni l i mi i nlm
mi m i
1 i 12 2 M S 2 L 12S 1
l l M L 1 1
(2.96)
mi m i
li l L 12 1
S N 1
2 A ni li mi i nlm
N
mi m M L i M S
Такая волновая функция описывает атом, в котором в замкнутой обо-
лочке создается вакансия (дырка) и еще один электрон сверх этой оболоч-
ки. Обычно такие функции нужны при описании процессов возбуждения
или ионизации.
45
Глава 3. Метод функционала плотности.
46
Пусть N электронов движутся независимо в общем для всех частиц
потенциале V̂ r . Предположим, что мы решили уравнение Шредингера:
2m
2 i 2 i V̂ r i 0 (3.1)
47
1
2m
3 2 3
2/3
nr 2 / 3 V r (3.6)
Введем коэффициент
Ck
3 2
10m
3 2 3
2
(3.9)
48
Таким образом, соотношение (3.11) можно рассматривать как функционал
плотности: T nr .
49
руем (3.16) по электронной плотности. Здесь играет роль множителя Ла-
гранжа. В результате имеем:
5 23 nr 5 2
Ck nr eVN r e dr C k nr 3 Vext r Ve r (3.17)
2
3 r r 3
nr
Здесь eV N r Vext r и Ve r e dr .
2
r r
Подставляя сюда Ck из (9), получаем уравнение (3.6):
1
2m
3 2 3
2/3
nr 2 / 3 V N r Ve r (3.18)
nr 0
, V r
То, что плотность равна 0 при V r , является классическим усло-
вием, определяющим границу атома. С другой стороны, потенциал опре-
деляется из классического уравнения Пуассона:
V r 4 e r Zr (3.21)
Потенциал в уравнении Пуассона создается как зарядом электронов,
так и зарядом ядра Ze. Однако, говоря об определении электронной плот-
ности r enr в атоме, второй член, содержащий -функцию, можно
не учитывать. Этот член влияет только на поведение электронной плотно-
сти вблизи ядра, которое все равно не может быть описано в статистиче-
ской модели. Этот член необходимо учитывать в интегральных соотноше-
ниях, чтобы получить правильную нормировку плотности. Опуская член с
50
-функцией получаем уравнение Пуассона в виде:
V r 4 e 4e 2 nr (3.22)
где V r er . Так как химический потенциал постоянен по всему объ-
ему const , то производные от него по координатам равны нулю, сле-
довательно 0 , и тогда можно записать
4e 2 3/ 2
V r 4e nr
2
3
2 m 3/ 2
V r (3.23)
3
В центрально-симметричном поле V r V r вводим безразмерную
функцию x
Ze 2
V r x , (3.24)
r
где r xb и константа равна:
1/ 3
1 9 2
b a0 0.885 Z 1 / 3 a 0 (3.25)
4 2Z
2
a0 (3.26)
mc 2
В центрально симметричном поле оператор Лапласа имеет вид:
1 2 2 2
r 2 r
r r r r 2 r r
Взяв соответствующие производные и учитывая константы, получаем
безразмерное уравнение Томаса - Ферми:
d 2 x 3 / 2 x
(3.27)
dx 2 x1 / 2
Это уравнение решается с определенными граничными условиями.
Граничное условие в нуле можно задать, исходя из требования, чтобы при
r 0 потенциал переходит в чисто кулоновский потенциал ядра. Из
определения функции x имеем граничное условие 0 1 . Это уни-
версальное граничное условие для всех атомов. Второе условие задается
на границе атома, которая в статистической модели для сферического
r0 Z 1 3
атома определяется условием V r0 или x0 0 , где x0 .
b
51
Действительно, при нарушении этого условия максимальная кинетическая
энергия становится отрицательной. Однако сама граница зависит от заря-
да атомной системы. Последнее граничное условие не универсально, т.к.
координаты x0 различны для систем с различным зарядом.
На границе атома потенциал вне сферически -симметричного распре-
деления заряда определяется выражением:
Qe
V r (3.28)
r
где Q – полный заряд внутри граничной сферы (или заряд иона Q=Z - N).
На самой границе имеем:
Qe
V r0 (3.29)
r0
Для нейтральных атомов Q = 0 и получаем, что 0 . Из условия
0 следует, что отрицательные ионы (Q < 0) в статистической модели
существовать не могут. Из анализа электронной плотности можно полу-
чить следующие асимптотические зависимости.
3
1). На малых расстояниях имеем lim r ~ r 2
, такое поведение с фи-
r 0
52
2) Внешняя граница атома, т.е. r0 = , не зависит от Z, а также не за-
висит от Z и энергия внешних электронов, т.е. потенциал ионизации, ко-
торый равен 0.
x 3) Дополнительным
отрицательный ион недостатком модели явля-
ется учет "самодействия",
1 т.е. потенциал включает и
поле самого электрона, ко-
нейтральный атом
торый мы рассматриваем.
положительный ион
Графики решений
x0 x уравнения Томаса–Ферми
для различных атомных
Рис. 3.1. Поведение потенциала Томаса-
систем приведены на ри-
Ферми как функции расстояния от ядра.
сунке 3.1.
53
1 3 3s или s4
3
Таким образом, обменная энергия пропорциональна:
exch ~ n 4 / 3 (3.30)
Это так называемое Слэтеровское приближение для плотности об-
менной энергии, которое совпадает с полученным выражением в прибли-
жении Хартри-Фока для однородного электронного газа.
Обменная энергия на один электрон равна
x
3e 2 k F
4
1
, где k F 3 2 n 3 (3.31)
55
ния n(r ) .
На практике метод теории функционала плотности используется сов-
местно с формализмом Кона-Шэма, в рамках которого трудноразрешимая
задача об описании нескольких взаимодействующих электронов в стати-
ческом внешнем поле сводится к более простой задаче о независимых ча-
стицах, которые движутся в некотором эффективном потенциале, учиты-
вающем обменное взаимодействие и электронные корреляции. В рамках
формализма Кона-Шема полная электронная плотность может быть вы-
N
2
ражена через квадраты модулей одночастичных функций nr i r .
i 1
Это позволяет при вычислении кинетической энергии системы вместо
функционала T nr (3.11) использовать одночастичный оператор кине-
N
2
тической энергии T̂
2
j . Иначе говоря, в рамках формализма
j 1 2 m
57
и положим:
N
2
n' r ' i r (3.49)
i 1
где суммирование ведется по N низшим состояниям. По определению ки-
нетическая энергия равна:
TS n i v r n r dr (3.50)
i
58
где обменно-корреляционный потенциал
E xc n
V xc r (3.54)
nr
Чтобы вычислить полную энергию, заметим, что сумма одночастич-
ных энергий равна:
1
i i 2 2 Veff r i TS n Veff r nr dr (3.55)
i i
60
Глава 4. Вторичное квантование. Теория представлений.
и для фермионов:
Det ki r j , j
1
FL r1 , 1 ,..., rN , N (4.5)
N!
Эти состояния можно записывать в представлении чисел заполнения. Для
этого каждой одночастичной волновой функции можно привести в соот-
ветствие число, показывающее число частиц, находящихся в этом состоя-
нии, т.е. состояние всей системы можно задать числами заполнения:
61
1 , 2 , 3 ,...
(4.6)
n1 , n2 , n3 ,...
где ni – число частиц в квантовом состоянии i, описываемом волновой
функцией i .
Таким образом, любому произведению одночастичных волновых
функций можно сопоставить вектор (в так называемом пространстве Фо-
ка)
1 2 3 ... N ~ n1n2 n3 ...n N (4.7)
Ясно, что для фермионов число ni может принимать значения 0 или 1,
а для бозонов ni – любое целое число от 0 до N. Тогда в этом пространстве
чисел заполнения необходимо определить операторы, через которые мож-
но записать гамильтониан и выразить другие физические характеристики.
Для этого введем операторы уничтожения и рождения частиц. Рассмот-
рим по отдельности статистики Бозе и Ферми.
aˆ ˆ k
k ,a 1 (4.15)
Можно получить и более общие соотношения, приведенные ниже:
aˆ , aˆ
k
k' kk ' (4.16)
aˆ , aˆ 0
k k' (4.17)
aˆ , aˆ 0
k
k' (4.18)
Например, для получения соотношения (4.16) рассмотрим действие
операторов в следующем порядке:
aˆ k aˆ k ...nk ,..., nk ,... aˆ k nk 1 ...nk ,..., nk 1,...
nk nk 1 ...nk 1,..., nk 1,...
63
aˆ k aˆ k ...nk ,..., nk ,... aˆ k nk ...nk 1,..., nk ,...
nk nk 1 ...nk 1,..., nk 1,...
Отсюда получаем, что aˆ k , aˆ k' 0 , если k k .
Пусть имеем оператор, который действует на волновую функцию
n1n2 ... и при этом симметричен по всем частицам. Он может быть пред-
ставлен как сумма одночастичных операторов:
Fˆ 1 fˆ 1 (4.19)
64
представлении вторичного квантования получаем:
1
Fˆ 2 f 2 lm aˆ i aˆ k aˆ l aˆ m
ik
(4.26)
2 iklm
где двухчастичные матричные элементы определяются так:
f 2 lm *i 1 *k 2 fˆ 2 l 1 m 2 d1d 2
ik
(4.27)
Аналогичным образом можно получить более сложные операторы.
Так, гамильтониан системы взаимодействующих частиц, находящихся во
внешнем поле,
Hˆ Hˆ i1 Uˆ 2 ri , rk Uˆ 3 ri , rk , rl ... (4.28)
i i ,k i , k ,l
где одночастичный гамильтониан равен Hˆ i1 i U ri , может быть
2m
записан в представлении вторичного квантования:
Hˆ H ik1 aˆ i aˆ k U 2 lm aˆ i aˆ k aˆ l aˆ m ....
ik
(4.29)
i ,k iklm
65
1
(1) P p1 (1 ) p 2 ( 2 )... p N ( N )
n1n 2 ...
N! P
(4.32)
1
(1) P n1, n2 ,...nk ,...
N! P
Числа заполнения ni могут принимать значения лишь 0 или 1, при
этом все квантовые числа pi разные. Символ (-1)Р показывает, что нечет-
ные перестановки входят в сумму (4.32) со знаком минус. Для определен-
ности будем брать со знаком плюс тот член суммы, в котором p1< p2< p3<
...< pN.
Можно записать вектор-детерминант N уровней, где имеется состоя-
ние k, в виде ..., k ,... ...,1k ,... . Аналогично, многочастичный детерми-
нант, где отсутствует состояние k, в виде ...,0 k ,... . Поскольку коорди-
натная зависимость k не играет роли, детерминант ...,0 k ,... можно полу-
чать из детерминанта ...,1k ,... вычеркиванием соответствующей строки (и
столбца) k-го уровня и соответствующим изменением нормировки.
Введем оператор уничтожения:
aˆ k ...1k ... 1m ...0 k ... (4.33)
где m – число заполненных уровней, предшествующих уровню k в векторе
состояния, т.е. сумма чисел заполнения m 1, k 1 до k уровня. Дей-
ствие оператора уничтожения на отсутствующие состояние определяется:
aˆ k ...0 k ... 0 (4.34)
Аналогично, вводим оператор рождения:
aˆ k ...0 k ... 1m ...1k ... (4.35)
aˆ k ...1k ... 0 (4.36)
Можно ввести операторы через матрицы:
0 i aˆ i 1i 1i aˆ i 0 i 1 1,i 1 (4.37)
где 1, i 1 – сумма чисел заполнения от 1 до i-1. При этом по опреде-
лению
l
k, l ni . (4.38)
ik
66
4.3.2. Коммутационные соотношения.
Рассмотрим следующие матричные элементы (пусть k > i):
1 0 aˆ 0 0 1 1,i 1
i k i i k
(4.39)
0 i 0 k aˆ k 0 i1k 1 1,k 1
Используя (4.39), вычислим следующий матричный элемент:
1i 0 k aˆi aˆ k 0i1k 1i 0 k aˆi 0i 0k 0i 0 k aˆ k 0i1k
(4.40)
1 1, i 1 1 1, k 1 1 i 1, k 1
В последней сумме по числам заполнения слагаемое с i отсутствует,
поскольку во втором множителе ni=0. Заметим, что при i=k матрица диа-
гональна ( ai ai ), и ее элементы равны 1 при ni=1 и равны 0 при ni=0. Таким
образом, оператор числа частиц равен:
Nˆ i aˆ i aˆ i (4.41)
Рассмотрим действие операторов в обратном порядке:
1i 0 k aˆ k aˆi 0i1k 1i 0 k aˆ k 1i1k 1i1k aˆi 0i1k
(4.42)
1 1, i 1 1 1, k 1 1 i , k 1 1 i 1, k 1
Здесь ni=0, и слагаемое с i в сумме присутствует, что в результате дает
знак минус в конце выражения (4.42).
Из сравнения (4.39) и (4.42) окончательно получаем:
при i k: aˆ i aˆ k aˆ k aˆ i 0
при i k: aˆ i aˆ i aˆ i aˆ i 1
Итак, получаем следующее антикоммутационное соотношение:
aˆ i aˆ k aˆ k aˆ i ik (4.43)
В более общей форме записи антикоммутаторы равны:
aˆ aˆ
i k ik
(4.44)
aˆ aˆ aˆ aˆ 0
i k
i k
Часто говорят о записи операторов в пространстве Фока – про-
странстве чисел заполнения. При этом базисные вектора являются соб-
ственными векторами оператора числа частиц Nˆ k aˆ k aˆ k . Легко показать
67
для фермионов, что Nˆ k2 Nˆ k , т.к. для фермионов N k 0 или 1. Оператор
полного числа частиц записывается:
Nˆ Nˆ k (4.45)
k
Более сложные операторы в случае фермионов могут быть записаны
так же, как для бозонов. Можно ввести матричные элементы оператора
(4.19), как и в случае с бозонами:
диагональные
ni Fˆ 1 ni f ii1ni (4.46)
i i
недиагональные при k > i
...1i ,...,0 k ... Fˆ 1 ...0 i ,...,1k ... 1 i 1,k 1 f ik1 ni n k (4.47)
i ,k
68
Влияние взаимодействий – это есть перевод некоторых частиц из со-
стояний с k < kF в состояния с большими значениями импульса k > kF. По-
лезно сосредоточить внимание только на отклонении импульсного рас-
пределения от первоначального распределения Ферми. При этом удобно
ввести новый термин частица–дырка.
Введем новые операторы уничтожения и рождения квазичастиц ти-
па частица-дырка по принципу:
aˆ k k k F
bˆk (4.50)
a
kˆ k k F
aˆ k k k F
bˆk
(4.51)
aˆ
k k k F
Эти операторы также подчиняются антикоммутационным соотноше-
ниям:
bˆ b bˆ bˆ
k k' k' k (4.52)
kk '
70
ˆ x , ˆ
x k x k xaˆk aˆ k aˆ k aˆk
k ,k
72
общем виде, однако использование формулы для оператора эволюции в
конкретных задачах достаточно сложно, т.к. при вычислении степеней га-
мильтониана возникает проблема некоммутативности слагаемых, описы-
вающих кинетическую и потенциальную энергии.
В качестве примера рассмотрим свободную частицу:
ˆ pˆ 2
H , pˆ (4.67)
2m i
Уравнение Шредингера в этом случае записывается в виде:
i Hˆ (4.68)
t
Его можно решить при начальном условии
t 0 0 r (4.69)
Применим к (4.69) оператор эволюции, чтобы получить волновую функ-
цию в произвольный момент времени:
r , t Uˆ t ,0 0 r (4.70)
i 1 i ˆ t t0 2
H
Uˆ t ,0 1 Hˆ t t0 ...
2! (4.71)
i t t0 2 1 i t t0 4
2
1 pˆ pˆ ...
2m 2! 2m
Используем запись оператора импульса pˆ
i
2
2 2
4
it it
r , t 1
2
... 0 r (4.72)
2m i 2m i
Для того чтобы вычислить результат действия оператора 2 n на 0 r ,
представим 0 r в виде интеграла Фурье:
i pr i pr
p 1
dr
0 r 0 p e d , 0 p r e (4.73)
2 3 0
i pr ipr 2 i pr
p p p p
Hˆ 0 p e d 0 p Hˆ e d 0 p ( ) e d (4.74)
n n n
2m
73
2 2 2 3 i pr
itp 2
1 itp
1 itp p
r , t 0 p 1 ...e d
2 m 2! 2 m 3! 2 m
(4.75)
i p r
ip 2 t p
0 p exp e d
2 m
Естественно, мы получили тот же результат, который можно получить при
решении уравнения Шредингера с применением обычного разделения пе-
ременных.
Оператор эволюции обладает следующими свойствами:
1) Uˆ t 0 ,t 0 1 (4.76a)
2) Uˆ t 0 , t Uˆ t , t 0 (4.76б)
3) Uˆ t , t 0 Uˆ t , t1 Uˆ t1 , t 0 (4.76в)
4) Uˆ t , t 0 Uˆ 1 t , t 0 (4.76г)
То есть, оператор эволюции эрмитов и унитарен. Эти свойства
Uˆ Uˆ Uˆ 1Uˆ 1 физически необходимы, чтобы сохранялась нормировка
волновой функции:
t t Uˆ t 0 Uˆt 0 t 0 Uˆ Uˆ t 0 1 (4.77)
Итак, представление Шредингера обладает следующими свойствами:
1) Волновая функция зависит от времени S x, t , ее можно по-
iHˆ t
лучать с помощью унитарного оператора Uˆ t Uˆ (t ,0) exp , дей-
ствующего на начальную волновую функцию S x,0 .
2) При этом все операторы, характеризующие систему, явно от
времени не зависят
Возможна следующая геометрическая интерпретация представления
Шредингера: задана система ортов в Гильбертовом пространстве, которая
определяется системой собственных векторов (функций) операторов, об-
разующих полный набор для данной системы. В начальный момент t 0
состояние системы определяется вектором состояния S x,0 . Эволюция
системы во времени отвечает повороту вектора в Гильбертовом про-
74
странстве, при этом его длина остается постоянной.
76
в представлении Гейзенберга:
2 0 FˆH t 1 0 2 0 e iHt FˆH 0e iHt 1 0
ˆ ˆ
(4.85)
2 0e iHˆ t
FˆS e iHt 1 0 F21 t
ˆ
77
рой оператор может описывать взаимодействие между частицами
1
Hˆ int kl Vˆ mn aˆ k aˆ l aˆ n aˆ m (4.88)
2 klmn
Определим в представлении взаимодействия волновую функцию сле-
дующим унитарным преобразованием:
i i
I x, t exp Hˆ 0t exp Hˆ t S x,0
(4.89)
i i
exp Hˆ 0t exp Hˆ t H x
Важно, что под одной экспонентой записать эти операторы нельзя,
поскольку в общем случае операторы Ĥ 0 и Hˆ Hˆ 0 Hˆ int не коммутиру-
i i i
ют, и, следовательно, равенство exp( ( Hˆ 0 Hˆ )) exp( Hˆ 0 ) exp( Hˆ ) не
выполняется.
Определим в представлении взаимодействия произвольный оператор:
i i
FˆI t exp Hˆ 0 t FˆS exp Hˆ 0 t (4.90)
где в отличие от оператора в Гейзенберговском представлении FˆH (t ) в экс-
поненту входит не полный гамильтониан Ĥ , а его невозмущенная часть
Ĥ 0 . В представлении взаимодействия матричный элемент, определяющий
Hˆ ˆk
0,a aˆ j
ja
j aˆ j aˆ j , aˆ k
ˆ j , aˆ k (4.94)
j j
79
I iHˆ t iHˆ t iHˆ t
exp 0 S exp 0 S exp 0 S
t t t t
iHˆ t iHˆ t i
i
Hˆ 0 exp 0 S exp 0 Hˆ 0 Hˆ int S
iHˆ t iHˆ t
i
i
Hˆ 0 I exp 0 Hˆ 0 Hˆ int exp 0 I
i ˆ i iHˆ 0t ˆ iHˆ 0 t
H 0 I exp
H 0 exp I
i iHˆ t iHˆ t
exp 0 Hˆ int exp 0 I
i i i i
Hˆ 0 I Hˆ 0 I Hˆ int t I Hˆ int t I (4.100)
Следовательно, уравнение Шредингера можно переписать:
I t ˆ
i H int t I t (4.101)
t
где зависящий от времени гамильтониан Hˆ int (t ) Hˆ int I (t ) в представле-
нии взаимодействия:
i i
Hˆ int I t exp Hˆ 0 t Hˆ int S exp Hˆ 0 t (4.102)
Таким образом, вектор состояния меняется за счет части полного га-
мильтониана, отвечающей за взаимодействие частиц. В представлении
взаимодействия все операторы имеют тот же вид, что и Гейзенберговские
операторы для соответствующей невзаимодействующей системы, а вол-
новая функция удовлетворяет уравнению Шредингера с гамильтонианом
Ĥ int .
Если Hˆ int 0 , то представление взаимодействия совпадает с пред-
ставлением Гейзенберга. Если же Hˆ int 0 , то оператор Ĥ 0 вводит вре-
менную зависимость в операторы, а оператор Ĥ int – в вектора состояния
системы.
Аналогично представлению Шредингера, в представлении взаимо-
80
действия, в котором волновая функция удовлетворяет соотношению
i
I x, t exp Hˆ 0t S ( x, t )
i i
exp Hˆ 0t exp ( Hˆ 0 Hˆ int )(t t0 ) S ( x, t0 ) (4.103)
i i i
exp Hˆ 0t exp ( Hˆ 0 Hˆ int )(t t0 ) exp Hˆ 0t 0 I x, t0
может быть введен оператор временной эволюции Sˆ t , t : 0
I x, t Sˆ t , t 0 I x, t 0 (4.104)
определенный как
i i i
Sˆ (t , t 0 ) exp Hˆ 0 t exp ( Hˆ 0 Hˆ int )(t t 0 ) exp Hˆ 0 t 0 (4.105)
для которого в результате дифференцирования по времени
i i
i S (t , t 0 ) exp( Hˆ 0 t )( Hˆ Hˆ 0 ) exp( Hˆ 0 t ) S (t , t 0 )
t
(4.106)
i ˆ i
exp( H 0 t ) Hˆ int exp( Hˆ 0 t ) S (t , t 0 ) Hˆ int (t ) S (t , t 0 )
получаем уравнение:
S t , t 0 ˆ
i H int t S t , t 0 (4.107)
t
при условии Sˆ t , t 1. Однако, данное уравнение так просто, как урав-
0 0
81
Глава 5. Нестационарная теория возмущений. Диаграммная техника.
82
Таким образом, из сравнения с (5.1) получаем выражение для оператора
Sˆ t , t :
0
i i
i
Sˆ t , t 0 exp( Hˆ 0 t ) exp( Hˆ 0 Hˆ int t t 0 exp( Hˆ 0 t 0 )
(5.7)
Отметим, что в силу условия (5.4) произведение трех экспонент нельзя за-
писать в виде одной экспоненты.
Свойства оператора Sˆ t , t аналогичны свойствам (4.76) оператора
0
эволюции Û t ,t 0 :
1. Sˆ t , t 1
0 0
2. Sˆ t , t 0 Sˆ t 0 , t (эрмитовость)
3. Sˆ t , t 0 Sˆ t , t1 Sˆ t1 , t 0 , t t1 t 0 (правило умножения) (5.8)
4. Sˆ t , t 0 Sˆ 1 t , t 0 (унитарность)
Последнее соотношение необходимо для сохранения нормировки волно-
вой функции I t .
Получим решение уравнения (5.2) для оператора эволюции Sˆ t , t 0 в
виде ряда. Для этого сначала сведем это уравнение к эквивалентному ин-
тегральному уравнению:
i t
Sˆ t , t 0 1 Hˆ int t1 Sˆ t1 , t 0 dt1 (5.9)
t0
Будем решать это уравнение методом последовательных итераций.
Стартуем с нулевого приближения:
Sˆ 0 (t , t 0 ) 1 (5.10)
Подставляем (5.10) в (5.9) и получаем первое приближение для оператора:
1 i t ˆ i t ˆ
S (t , t 0 ) 1 H int t1 S (t1 , t 0 )dt1 1 H int t1 dt1
ˆ ( 0)
(5.11)
t0 t0
Во втором порядке теории возмущений имеем:
83
i t ˆ i t i t1
ˆ 2
S (t , t0 ) 1 H int t1 S (t1 , t0 ) dt1 1 H int t1 1 H int t2 dt 2 dt1
ˆ (1) ˆ ˆ
t0 t0 t 0
(5.12)
t 2 t t1
i ˆ i
1
int 1 1
H t dt Hˆ int t1 dt1 Hˆ int t 2 dt 2
t0 t0 t0
84
n t
dt1 dt 2 ... dt nTˆ Hˆ int t1 Hˆ int t 2 ...Hˆ int t n
t t
1 i
Sˆ n t , t 0 (5.15)
n! t0 t0 t0
85
0 . Для основного состояния адиабатическая гипотеза, по-видимому,
верна. Под действием возмущения Vint система из основного состояния не
переходит в возбужденное состояние (если только Vint не притяжение, где
основное состояние качественно отличается от такового для невзаимодей-
ствующей системы). В то же время для возбужденных состояний адиаба-
тическая гипотеза, по-видимому, не верна.
Пусть 0 – волновая функция системы в основном состоянии в Гей-
зенберговском представлении при t . При включении взаимодей-
ствия происходит изменение вектора состояния 0 0 , где 0 – вол-
новая функция основного состояния системы с взаимодействием.
В представлении взаимодействия имеем (см (4.101) и (4.104))
I
i Hˆ int t I (5.18)
t
t Sˆ t , t t
I 0 I 0 (5.19)
Далее за начало отсчета берем момент времени t 0 , когда взаимо-
действие отсутствовало:
I t Sˆ t , I Sˆ t , 0 (5.20)
т.к. Hˆ Hˆ 0 . В момент времени t = 0, когда взаимодействие включено
полностью, имеем:
I t 0 S t 0 0 Ŝ 0, 0 (5.21)
При вычислении Ŝ 0, надо сначала вычислить Ŝ 0, , а потом пе-
рейти к пределу
Sˆ 0, lim Sˆ 0, (5.22)
0
иначе возникает расходимость на нижнем пределе.
Выразим энергию основного состояния с помощью оператора эволю-
ции:
Hˆ 0 0 E 0 0
(5.23)
ˆ ˆ
H 0 Vint 0 E 0
Помножим последнее равенство на 0 и проинтегрируем:
86
0 Vˆint 0 E 0 0 0 Hˆ 0 0 E E 0 0 0 (5.24)
Отсюда получаем выражение для сдвига энергии основного состояния
вследствие взаимодействия (теорема Гелл-Мана – Лоу):
0 Vˆint 0 0 Vˆint Sˆ 0, 0
E E E0 (5.25)
0 0 0 S 0, 0
ˆ
87
Поскольку при t 2 t1 и t1 t 0
Sˆ t 2 , t1 Sˆ t1 , t 0 Sˆ t 2 , t 0 (5.31)
то, устремляя t 0 , получаем соотношение:
Sˆ t 2 , t1 Sˆ t 2 Sˆ 1 t1 (5.32)
Соотношение между операторами в представлении взаимодействия и
Гейзенберговскими операторами (т.е. зависящими от времени оператора-
ми) определяется формулой
~
Fˆ t F t Sˆ 1 t Fˆ t Sˆ t
H (5.33) int
Соотношение (5.33) может быть легко проверено:
0 FˆH t 0 0 Sˆ 1 t Fˆint t Sˆ t 0 int Fˆint t int (5.34)
Для дальнейшего рассуждения необходимо знать среднее значение от
операторов по основному состоянию. Хронологические произведения от
нескольких Гейзенберговских операторов (для которых в дальнейшем, бу-
~
дет использовано обозначение вида F (t ) , как в формуле (5.33), для обес-
печения их различия с соответствущими операторами в представлении
взаимодействия Fˆ (t ) ), усредненных по основному состоянию H 0
(при t > t1 > t2 > …):
~ ~ ~
0 Tˆ At B t1 C t 2 ... 0
0 Sˆ 1 t Aˆ t Sˆ t Sˆ 1 t1 Bˆ t1 Sˆ t1 Sˆ 1 t 2 Cˆ t2 ... 0
(5.35)
0 Sˆ 1 Sˆ , t Aˆ t Sˆ t , t1 Bˆ t1 Sˆ t1 , t2 Cˆ t 2 ... 0
0 Sˆ 1 Tˆ Aˆ t Bˆ t1 Cˆ t2 ...Sˆ 0
Очевидно, что преобразование к последнему виду не зависит от порядка
времен, т.е. справедливо в любом случае. Теперь необходимо определить
величину
0 Sˆ 1 *0 Sˆ 1 Sˆ 0
*
Sˆ 0 (5.36)
т.е. результат действия оператора S на функцию основного состояния.
Исходя из (5.30), имеем:
Sˆ ,
int (5.37) 0 0
88
int Sˆ , 0 Sˆ 0 (5.38)
Таким образом, Sˆ 0 представляет собой функцию int , кото-
рая получилась из функции основного состояния int в результате
адиабатического включения взаимодействия между частицами. Известно,
что основное состояние системы, т.е. состояние, в котором энергия мини-
мальна, обязательно невырождено. При этом, согласно общим принципам
квантовой механики, система, находящаяся в некотором невырожденном
стационарном состоянии, не может перейти в другое состояние под влия-
нием бесконечно медленного возмущения. Следовательно, приходим к
выводу, что функция Sˆ может отличаться от только
int 0 0
фазовым множителем:
int Sˆ , 0 Sˆ 0 e i 0 e i int (5.39)
где
e i 0 Sˆ , 0 0 Sˆ 0 (5.40)
Иначе говоря, можно записать:
*
int Sˆ 0 *
0e
* i
*0
*0
(5.41)
0 Sˆ 0
i
e
Тогда связь между усреднениями по основному состоянию от произ-
ведения Гейзенберговских операторов и операторов в представлении вза-
имодействия имеет вид
~ ~ ~
0 Tˆ At B t1 C t 2 ... 0 0 Sˆ 1 Tˆ Aˆ t Bˆ t1 Cˆ t 2 ...Sˆ 0
0 Tˆ Aˆ t Bˆ t1 Cˆ t 2 ...Sˆ 0 (5.42)
0 Sˆ 0
Это заключение справедливо только для усреднения по основному состо-
янию системы, так как любой другой уровень энергии системы много-
кратно вырожден, и в результате столкновений между частицами система
переходит, вообще говоря, в другое состояние и, таким образом, при
усреднении по возбужденному состоянию оказывается справедлива фор-
мула (5.35), а не (5.42).
89
5.2. Функция Грина.
90
Fˆ 1 fˆi 1 ˆ x fˆ 1 ˆ x dr
i
1 1
F1 0 ˆ x f ˆ x dr 0 i lim f G x, x dr (5.47)
ˆ ˆ ˆ
tt 0
r r
При этом знак “+” справедлив для Бозе-частиц, а знак “–” – для Фер-
ми-частиц. Например, плотность числа частиц записывается:
n x ~ˆ x
0
~ˆ x i lim G x, x
0 (5.48)
tt 0
r r
91
G ( 0 ) x , x i 0
ˆ x
~ ˆ x
~
0
i 0 âk k r e iEk t âk *k r e iEk t 0
k k
(5.51)
i k r *k r e i Ek t Ek t 0 âk âk 0
k ,k
i k r *k r e i Ek tEk t âk 0 âk 0 i k r *k r e iEk tt
k ,k k kF
Функция Грина для всех значений времени может быть записана в виде:
1 n k , t t
G ( 0 ) x, x i *k r k r e iEk t t (5.54)
k n k , t t
где
1, Ek E F
nk (5.55)
0 , E k E F
92
1, t t
t t (5.57)
0, t t
В уравнении (5.56) первое слагаемое описывает частицу, а второе – дырку.
Берем производную по времени t от (5.56):
i G ( 0) r , r , t t
t
ˆ x ˆ x
0 ˆ xt t ˆ x t t
t t
ˆ x ˆ xt t
ˆ xˆ x t t 0 (5.58)
ˆ x ˆ x
0 ˆ xt t
ˆ x t t 0
t t
t t 0 ˆ x ˆ x ˆ x
ˆ x 0
Учтем, что из коммутационных соотношений (4.56) следует:
ˆ x ˆ x ˆ x ˆ x r r (5.59)
Производная по времени от полевого оператора равна:
ˆ x
aˆ k k r e iEk t i E k aˆ k k r e iEk t iHˆ 0 ˆ x (5.60)
t t k k
Следовательно, производная по времени от функции Грина:
G ( 0)
i i 0 Hˆ 0 r ˆ x ˆ xt t
t
ˆ xHˆ 0 r ˆ x t t 0 r r t t (5.61)
Hˆ 0 r G ( 0 ) r , r , t t r r t t
Таким образом, уравнение для функции Грина имеет вид:
G ( 0) r , r , t t ˆ ( 0 )
i H 0 r G r , r , t t r r t t (5.62)
t
Введем Фурье преобразование функции Грина по времени.
1
G r , r , t t G r , r , exp it t d
2
(5.63)
93
G r , r , , r , t expit dt
G r
iE k t iE k t it
i k r k r e t k r k r e t e dt (5.64)
k k F k k F
0
i k r k r expi Ek t dt k r k r expi Ek t dt
k k F 0 k k F
Рассмотрим интегралы вида:
i
expi E k t dt lim expi E k it dt
0 E k i
(5.65)
0 0
0 0
i
expi E k t dt lim expi E k it dt
0 E k i
(5.66)
Для обеспечения сходимости мы сдвинули энергии частиц с веще-
ственной оси в комплексную плоскость на i вверх для частиц, и вниз на
i для дырок.
Функция Грина (5.64) с учетом (5.65-5.66) оказывается равна:
k r *k r k r *k r
Gr , r , G r , r , G r , r , (5.67)
k k F Ek i k k F Ek i
t < t
t > t
i
V
exp i
k
r r Ek t t , t t
G ( 0 ) r , r , t t k k
F
(5.70)
i
exp i k r r Ek t t ,
V k k
t t
F
95
внешних полей. Фурье-преобразование по времени дает ( при =1):
exp i k r exp ik r
G ( 0 ) r , (5.72)
k k F E k i k k F E k i
1 1 3
V k k E k i
exp i k k r d r (5.75)
F
1 1 3
V kk E k i
exp i k k r d r
F
96
2 3
k k k k
G( 0 ) k ,
V k k E k i k k E k i
F F
2
3
k k
V k E k isignk k F
(5.77)
k k
d 3k
E k isignk k F
1 k k F k F k
E k isignk k F E k i E k i
Это функция Грина свободной частицы в импульсном пространстве.
I t Sˆ t , t 0 I t 0 (5.78)
При этом произвольный оператор в представлении взаимодействия связан
с соответствующим оператором в Шредингеровском представлении соот-
ношением (4.90)
i i
FˆI t exp Hˆ 0 t FˆS exp Hˆ 0 t (5.79)
где Ĥ 0 – невозмущенная часть полного гамильтониана (4.86).
Связь между усреднением по основному состоянию от произведения
Гейзенберговских операторов и операторов в представлении взаимодей-
ствия имеет вид (5.35)
97
~ ~ ~
0 Tˆ At B t1 C t 2 ... 0 0 Sˆ 1 t Aˆ t Sˆ t Sˆ 1 t1 Bˆ t1 Sˆ t1 Sˆ 1 t 2 Cˆ t2 ... 0
0 Sˆ 1 Sˆ , t Aˆ t Sˆ t , t1 Bˆ t1 Sˆ t1 , t 2 Cˆ t 2 ... 0
0 Sˆ 1 Tˆ Aˆ t Bˆ t1 Cˆ t 2 ...Sˆ 0
и далее имеем (5.42)
~ ~ ~
0 Tˆ At B t1 C t 2 ... 0 0 Sˆ 1 Tˆ Aˆ t Bˆ t1 Cˆ t 2 ...Sˆ 0
0 Tˆ Aˆ t Bˆ t1 Cˆ t 2 ...Sˆ 0 (5.80)
0 Sˆ 0
Одночастичная функция Грина, согласно (5.43), определяется через
операторы поля (4.55) в представлении Гейзенберга
G x, x i 0 Tˆ
~ˆ x
~ˆ x
0 (5.81)
Волновая функция основного состояния системы в представлении
Гейзенберга, как видно из (5.20-21), (5.30), (5.37-38), это волновая функ-
ция в представлении взаимодействия до включения взаимодействия.
0 H I (5.82)
При этом для нее в представлении взаимодействия выполняются соотно-
шения
I t Sˆ t H Sˆ t , 0 (5.83)
Sˆ , Sˆ , Sˆ
I I (5.84) 0 0
Связь между операторами в представлении взаимодействия и Гейзен-
берговскими операторами определяется формулой (5.33)
~
FˆH t Fˆ t Sˆ 1 t Fˆint t Sˆ t (5.85)
где оператор временной эволюции, согласно (5.15-5.16), может быть пред-
ставлен в виде
t i n
... Tˆ Hˆ int t1 ...Hˆ int t n dt1...dtn (5.84)
t t
S t T exp i H int t dt
ˆ ˆ ˆ
n 0 n!
98
Здесь часть гамильтониана Ĥ int (4.22) может быть записана через полевые
операторы (4.55) как
1
Hˆ int ˆ x1 ˆ x 2 Vˆ x1 x 2 ˆ x 2 ˆ x1 dr1 dr2 (5.86)
2
где, согласно адиабатической гипотезе (5.17), оператор парного взаимо-
действия определяется как
Vˆ x1 x 2 U r1 r2 t1 t 2 e 1
t
(5.87)
Выразим полевые операторы (4.55) в представлении Гейзенберга че-
рез представление взаимодействия:
~ˆ x Sˆ 1 t , ˆ x Sˆ t ,
(5.88)
~ˆ x Sˆ 1 t ,
ˆ x Sˆ t , (5.89)
i 0 Tˆ Sˆ 1 Sˆ , t ˆ x Sˆ t , t ˆ x Sˆ t 0
(5.90)
i 0 Tˆ Sˆ 1 ˆ x ˆ x Sˆ , 0
i 0 Sˆ 1 Tˆ ˆ x ˆ x Sˆ , 0
99
При этом функция Грина (5.81) записывается в виде:
ˆ x
0 Tˆ
ˆ x Sˆ 0
G x, x i (5.95)
0 Sˆ 0
Итак, здесь все операторы уничтожения и рождения записаны в пред-
ставлении взаимодействия, а под T̂ –произведением (5.45) в случае t>t
понимаем следующее выражение:
Tˆ ˆ x ˆ x Sˆ Sˆ , t ˆ x Sˆ t , t ˆ x Sˆ t , (5.96)
Будем в функции Грина (5.95) разлагать числитель в ряд, исходя из
разложения S–матрицы (5.85), при этом знаменатель 0 Sˆ 0 пока
оставляем неизменным:
i
G x, x
0 Sˆ 0
(5.97)
i n
ˆ x
0 Tˆ
ˆ xHˆ int t1 ...Hˆ int tn 0
n!
dt1... dt n
n0
100
Nˆ Aˆ Bˆ Cˆ ... XˆYˆZˆ такое произведение, в котором все операторы рождения по-
ставлены слева от операторов уничтожения, а знак соответствует четности
перестановки фермиевских операторов, то есть "+" для четного числа пе-
рестановок и "–" для нечетного числа перестановок, соответственно. Да-
лее, назовем связью двух операторов следующую разность:
Aˆ C Bˆ C Tˆ Aˆ Bˆ Nˆ Aˆ Bˆ .
Теорема Вика для хронологизированных произведений утверждает,
что если имеется некоторый набор зависящих от времени операторов
Aˆ , Bˆ , Cˆ ... Xˆ , Yˆ , Zˆ , для которых определено понятие T̂ -произведения, то их
T̂ -произведение может быть выражено через всевозможные нормальные
произведения со всеми возможными парными связями:
Tˆ Aˆ Bˆ Cˆ ... XˆYˆZˆ Nˆ Aˆ Bˆ Cˆ ... XˆYˆZˆ Nˆ Aˆ C Bˆ C Cˆ ... XˆYˆZˆ (5.98)
ˆ
ˆ C ˆ ˆC ˆ ˆ
ˆ
N A BC ...XYZ N A B C ... X Y Zˆ ˆ C ˆA ˆA ˆ C ˆB ˆB
В силу определения нормального произведения его среднее по основ-
ному состоянию 0 Nˆ Aˆ Bˆ 0 равно нулю, и, следовательно, выполня-
ется равенство 0 Aˆ c Bˆ c 0 = 0 Tˆ Aˆ Bˆ 0 . Таким образом, вследствие
теоремы Вика рассматриваемое среднее по основному состоянию
0 Tˆ Aˆ Bˆ Cˆ ... XˆYˆZˆ 0 может быть представлено в виде суммы от всех
возможных произведений средних от отдельных пар операторов:
Tˆ Aˆ Bˆ Cˆ ... XˆYˆZˆ
0 0
(5.99)
Tˆ Aˆ Bˆ Tˆ Cˆ Dˆ ... Tˆ YˆZˆ ... Tˆ Aˆ Cˆ Tˆ Bˆ Dˆ ... Tˆ YˆZˆ ...
где знаки "плюс"-"минус" соответствуют четности перестановки фермиев-
ских операторов. Отсюда также следует, что среди операторов Aˆ ,..., Zˆ
должно быть четное число операторов каждого поля. Для простоты далее
в формулах будем опускать волновые функции, понимая усреднение в
следующей записи: ... 0H ... 0H 0 ... 0
Таким образом, мы пришли к важному заключению, что среднее от
T̂ -произведения любого (четного) числа операторов поля выражается че-
рез суммы произведений пар операторов поля или, иначе говоря, через
101
произведения свободных функций Грина.
G x, x
i i n
Tˆ ˆ x
ˆ xHˆ int t1 ...Hˆ int t n (5.100)
dt1... dtn
Sˆ () n 0 n!
d
4
x1d 4 x2 T̂
ˆ x
ˆ x
ˆ x1
ˆ x2 ˆ x1 V x1 x2
ˆ x2 (5.104)
,
2 Ŝ
Матричный элемент под интегралом вычисляем согласно правилу
преобразования T̂ -произведений (5.99). Вклад, естественно, дают только
спаренные члены, их количество равно 2n 1!, так как отличны от нуля
только результаты спаривания операторов рождения с операторами уни-
чтожения. Число операторов рождения и уничтожения равно 2n.
102
Итак, для поправки первого порядка (5.104) имеем 6 членов:
T x x x1 x 2 x 2 x1
T x x1 T x 2 x 2 T x1 x
T x x x x T x x
1
2 1 2
T x x x x T x x
2
1 1 2
(5.105)
T x x x x T x x
2
1 2 1
T x x x x T x x
1 1
2 2
T x x x x T x x
1 2
2 1
1
d
4
x1d 4 x2 V x1 x2 iG
0
x , xG0 x2 , x1 G0 x1 , x2
2 S ,
0
iG x , xG0 x1 , x1 G0 x2 , x2 iG0 x , x1 G0 x2 , x2 G0 x2 , x (5.106)
0
iG x , x1 G0 x1 , x2 G0 x2 , x iG0 x , x2 G0 x1 , x1 G0 x2 , x
0
iG x , x2 G0 x2 , x1 G0 x1 , x
и, таким образом, разбивается на сумму членов, содержащих по три функ-
ции Грина невзаимодействующих частиц G 0 x, x . Учитывая то, что в
выражение (5.100) для функции Грина входит еще потенциал взаимодей-
ствия, каждому члену первого порядка можно сопоставить в соответствие
определенную графическую диаграмму, так называемую диаграмму Фей-
нмана. Точки на плоскости изображают совокупность пространственно-
временных координат, от которых зависят операторы, сплошная линия со-
единяет точки, входящие в качестве аргумента в одну функцию Грина
G 0 x, x , а волнистая линия соединяет точки, входящие в парное взаи-
103
модействие V x1 x 2 .
0
Так, функция Грина свободной частицы G x, x (5.56) графически
изображается двумя диаграммами,
x, x, x, x,
а) б)
где (а) соответствует частице, а (б) – дырке.
Поправка первого порядка (5.104) к функции Грина частицы изобра-
зится шестью диаграммами:
x1, x2,
x1,
x2,
x, x, x, x,
(a) (б)
x2,
x,
x,
x1, x2, x1,
x, x,
(в) (г)
x1,
x,
x,
x2, x2, x1,
x, x,
(д) (е)
104
грамма, которая имеет наглядный вид. Свободная функция Грина соответ-
ствует распространению дополнительной частицы, волнистой линии соот-
ветствует взаимодействие дополнительной частицы с частицами ниже
уровня Ферми, а также взаимодействие между частицами ниже уровня
Ферми. Представление поправок к функции Грина в виде совокупности
диаграмм возможно не только в первом, но и в любом порядке теории
возмущений. Порядку теории возмущений соответствует число линий
взаимодействия (или вершин) диаграммы. В свою очередь, каждой диа-
грамме Фейнмана соответствует аналитическое выражение. Вычисление
ряда теории возмущений (5.100) сводится к изображению всех возможных
графических диаграмм и вычислению соответствующих интегралов.
Б). Диаграммы могут быть разбиты на 2 группы: связанные и несвя-
занные. Такое разделение возможно во всех порядках теории возмущений.
Связанные диаграммы – это те диаграммы, у которых все точки со-
единены посредством линий с внешними концами x и x. В общем случае
связанные диаграммы – это те, в которых оператор поля ̂ x спаривается
с оператором ̂ из Hˆ int t1 , ̂ x из Hˆ int t1 спаривается с ̂ из Hˆ int t 2 ,
и так далее, пока не приходим к x , не пропустив ни одного Ĥ int .
Несвязанные диаграммы – это те, у которых один или несколько опе-
раторов Ĥ int не связываются никакими спариваниями с ̂ x и ˆ x .
Согласно теореме о несвязанных диаграммах, если произвести учет
несвязанных диаграмм во всех порядках теории возмущений, их вклад бу-
дет полностью компенсирован членом Ŝ , входящим в знаменатель.
Таким образом, при разложении функции Грина в диаграммный ряд
(5.100) можно не рассматривать несвязанные диаграммы и при этом опус-
кать член Ŝ в знаменателе:
G x, x i 0H Tˆ
~ˆ x
~ˆ x 0
H
(5.105)
i
Tˆ ˆ x
ˆ xSˆ i Tˆ
ˆ x ˆ xSˆ
Sˆ связ
Кроме того, диаграммы (в) и (е), (г) и (д) отличаются друг от друга
105
только перестановкой индексов x1 x2 , по которым производится инте-
грирование. Такие диаграммы являются топологически эквивалентными.
Вклад от них оказывается одинаков. Число топологически эквивалентных
диаграмм в поправке n–го порядка равно n! . Таким образом, при вычисле-
нии функции Грина взаимодействующих частиц (5.100) можно учитывать
только одну такую диаграмму и убрать из знаменателя множитель n! , в
дальнейшем учитывая только топологически неэквивалентные диаграм-
мы, то есть те, которые нельзя получить перестановкой Ĥ int .
В). Знак, с которым входит каждая диаграмма, является следствием
четности перестановок ферми-операторов. Изменение знака связано с по-
явлением замкнутой петли на диаграмме. Поэтому знак диаграммы опре-
деляется множителем 1m , где m – число замкнутых петель.
Заслуживает отдельного упоминания случай, когда времена в аргу-
менте одной G 0 x, x совпадают, т.е. спариваются два оператора из од-
ного Ĥ int . Ввиду того, что порядок операторов в Ĥ int задан (все ˆ x
стоят слева от ̂ x ), такие G 0 надо понимать как предел:
lim G 0 t , t G 0 i
ˆ r
ˆ r (5.106)
0 0
x, x, x, x,
а) б)
Случай а) соответствует функции Грина частицы
106
0 0
G x, x G x x (5.107)
Случаю б) соответствует функции Грина дырки
0 0
G x , x G x x (5.108)
Построение ряда для функции Грина в диаграммном виде имеет ряд
существенных преимуществ, связанных в первую очередь с наглядностью
и исключением ряда членов, соответствующих несвязанным диаграммам.
Можно сформулировать общие правила для построения поправки n-го по-
рядка к функции Грина.
Основные правила записи поправки n –го порядка к функции Грина:
1) Изображаются все топологически неэквивалентные диаграммы
с 2n вершинами и двумя внешними концами. В каждой вершине соединя-
ются две сплошные линии и одна волнистая линия.
2) Каждой сплошной линии сопоставляется функция Грина
0
G x, x , где x, – координата начала линии, x, – координата кон-
ца линии.
3) Каждой волнистой линии сопоставляется парный потенциал
V x1 x 2 . Для мгновенного взаимодействия полагаем:
V x1 x 2 U r1 r2 t1 t 2 e 1
t
107
(а) (б)
(в) (г)
(д) (е)
(ж) (з)
(и) (к)
108
Получается, что во втором порядке по взаимодействию имеется 10
топологически неэквивалентных связанных диаграмм.
x x1 x2 x
d 4q iq x1 x2
V x1 x 2 V q e (5.111)
2 4
Здесь p , p и q , q , p x1 x 2 p r1 r2 t1 t 2 .
Вспомним выражение для свободной функции Грина в импульсном
пространстве (5.77):
0
G p (5.112)
p isign p
109
p2
p 0 p , 0 (5.113)
2m
Подставим в G 1 разложение в интеграл Фурье:
i
G 1 x x 0
G p G p G p V q 0 0
2 1 1 1 2 2 2 3
16
p q p
110
щий" по взаимодействию (переданный импульс), а каждой вершине соот-
ветствует - функция, выражающая законы сохранения импульса и энер-
гии
p p
Выполняя далее интегрирование по d 4 p1 и учитывая, что
0
G p G 0 p , получаем, что поправка первого порядка к функции
Грина имеет вид:
1
G p, p G 1 p p p 2 4 (5.119)
где
1 0 0 d 4q
G p iG p G p q V q G 0 p (5.120)
2 4
p
q=0
p p
1 0 d 4q
G p 2iG p V 0 G 0 p1 e it G 0 p (5.121)
2
4
где t 0 .
111
Грина и взаимодействия проводится интегрирование по координатам 2n
вершин. В результате интегрирования получим 2n законов сохранения,
один из которых приводит к равенству входящего и выходящего импуль-
сов, что является следствием однородности пространства. Оставшиеся (2n
– 1) -функций приводят к тому, что из (3n-1) интегрирований по 4-х им-
пульсам внутренних сплошных и волнистых линий остается только n ин-
тегрирований.
Можно сформулировать следующие правила записи поправки n-го
порядка к функции Грина в импульсном пространстве:
1). Всем линиям приписываются 4-х импульсы. Внешние импульсы – р,
импульсы внутренних линий удовлетворяют законам сохранения в каждой
вершине.
2). Каждой сплошной линии приписывается функция Грина:
0
G p
p isign p
p2
p 0 p , 0
2m
3). Каждой волнистой линии соответствует взаимодействие V q U q .
4). Проводится интегрирование по n независимым 4-х импульсам
5). Проводится суммирование по спинам. Если взаимодействие от спина
не зависит, то
0
G p G 0 p
При этом при проведении суммирования возникает коэффициент 2 от
каждой замкнутой фермионной петли.
5). Перед получившимся выражением ставится коэффициент:
i n 1m 2 4 n
где m – число замкнутых петель.
Для примера запишем аналитическое выражение для диаграммы 3-го
порядка
112
р
р2
р
1
q1 q2 q3
р4
р3
р5
3
G p
1i 3
2G 0 p
2 12
113
i k r 0 k t i k r 0 k t
1 k
q r , t qk e qk e (5.123)
V k k
Будем рассматривать продольные волны, а потому Фурье компоненты
вектора q направлены вдоль волнового вектора k . Ввиду этого мы в
дальнейшем будем пользоваться проекцией q k на направление k , кото-
рую обозначим посредством q k .
Введем теперь операторы bk , связанные с q k соотношением:
bk
q k (5.124)
2 0 k
Определенные таким образом операторы bk удовлетворяют обычным со-
отношениям коммутации для Бозе-операторов рождения и уничтожения
(4.16-4.18).
Оператор кинетической энергии колебаний равен:
2
K q r , t dr (5.125)
2
Воспользовавшись тем, что при колебаниях средняя кинетическая
энергия равна средней потенциальной энергии, можно получить формулу:
H 2K 0 k n k 1 (5.126)
k
2
где nk bk bk .
В качестве операторов свободного фононного поля можно было бы
принять операторы смещений q . Однако, более удобно определить их не-
сколько иначе, имея в виду взаимодействие фононов с электронами в ме-
талле, а именно:
0 k i kr 0 k t i k r 0 k t
~ 1
x 2 bk e bk e
(5.127)
V k
Эта формула относится к продольным фононам в модели Дебая, если
ограничить суммирование по k условием k k D .
Следует подчеркнуть еще раз, что операторы фононного поля дей-
ствительны, поскольку они соответствуют действительным смещениям
114
атомов решетки. Это свойство, очевидно, сохраняется и при учете взаимо-
действия фононов между собой и с другими частицами.
Гриновская функция фононов обозначается обычно буквой D. Опре-
деление этой функции аналогично формуле для функции Грина частицы
(5.43):
~ ~
D x, x i Tˆ x x (5.128)
~
Подставляя сюда в качестве операторов свободные операторы
(5.127) и учитывая, что в основном состоянии фононы отсутствуют, запи-
шем:
i k r 0 k t
i k
e , t0
D 0 x
0
i k r 0 k t (5.129)
V k 2 e , t0
Взяв Фурье-компоненту этого выражения по r , получаем:
2
k 1 1 k
D 0 k , 0 2
0
(5.130)
2 0 k i 0 k i 02 k i
Оператор энергии взаимодействия электронов с колебаниями решетки
(фононами) имеет вид:
ea 2 C ˆ r ˆ r divq r dr (5.131)
Поскольку сами операторы qk (5.124) выражаются через операторы
рождения и уничтожения с некоторым коэффициентом пропорционально-
сти, можно включить в определение операторов поля добавочный множи-
тель так, чтобы сделать более удобным вид оператора Ĥ int . При выборе
~
операторов в виде (5.127) гамильтониан электрон-фононного взаимо-
действия запишется в виде:
~
Hˆ int g ˆ r
ˆ r r dr (5.132)
где константа взаимодействия:
ea 2 C
g
u0
а скорость звука равна
0 k
u0 .
k
115
Аналогично пп.5.6-5.7, можно сформулировать следующие правила
соответствия для диаграмм, описывающих взаимодействие многочастич-
ной системы с фононами:
1). Каждой сплошной линии ставится в соответствие функция Грина
0
G p , при 0
p isign p
2). Каждой фононной (пунктирной) линии
02 k
D0 k 2 , при 0
2
0 k i
3). По n независимым импульсам проводится интегрирование
4). Результат интегрирования множится на коэффициент:
g 2 n i n 1m 24
В качестве примера приведем диаграмму второго порядка для функ-
ции Грина фонона
k k
p-k
x x x
x + + + +… =
x x x x x x
= +
117
= + + +…=
= +
= +
G(0) G(0) G
q=0
1 d 4 p1 0
2i V 0 G p1 (5.136)
p1
2 4
119
1 d 4 p1 0
q p1 i V q G p1 (5.137)
2 4
q=0
1 d 4 p1
2i V 0G p1 (5.138)
p1 2 4
x2 x1 x2 x1 x2 x4 x3 x1
= н + н н +
(5.141)
x2 x4 x3 x6 x5 x1
+ н н н +…
120
При этом интегральное уравнение для собственно-энергетической части,
соответственно, "зарисовывается" в виде:
x2 x1 x2 x1 x2 x4 x3 x1
= н + н (5.142)
122
Глава 6. Применение диаграммной техники.
123
энергии (6.1) основного состояния многочастичной системы.
Эти диаграммы известны как Голдсто-
уновские диаграммы. При этом учитываются
H1 только "связанные" диаграммы. "Связанные"
H1
означает, что рассматривать надо только те
H1 H1 диаграммы, которые связаны от начального
до конечного состояния. В частности, состоя-
ние 0 , которое не включает частиц и ды-
1 1 рок, никогда не может встречаться в качестве
E 0 Ĥ 0 1 E 0 Ĥ 0 промежуточного.
E 0 Ĥ 0 Теорема Голдстоуна (6.1) есть новая
Рис. 6.1. Поправка четвертого поряд-
ка к энергии основного состояния
формулировка (во всех порядках теории воз-
мущений) известного выражения для энергии
основного состояния в рамках время-зависящей теории возмущений. Эта
эквивалентность легко проверяется по первым нескольким членам путем
вставки полного набора собственных состояний Ĥ 0 между каждым взаи-
модействием Ĥ 1 :
0 Hˆ 1 n n Hˆ 1 0
E E0 0 Hˆ 1 0 ... (6.2)
n0 E0 E n
Диаграммы, соответствующие первым двум порядкам теории возмущений
в (6.2), представлены ниже:
+ + +
(6.3)
Первые две диаграммы представляют обычное прямое и обменное взаи-
модействия в первом матричном элементе уравнения (6.2). Следующие
две диаграммы в (6.3) учитывают процессы с рождением частично-
дырочных пар и описывают поправки 2-го порядка к энергии основного
состояния.
Применяя теорему Голдстоуна к однородной системе, легко увидеть,
124
что импульс будет сохраняться при каждом взаимодействии, поскольку
матричные элементы в Ĥ 1 включают интегрирование по всему простран-
ству. Более того, частицы в промежуточном состоянии имеют физически
невозмущенные энергии, связанные с их импульсами q , и виртуальная
природа в промежуточных состояниях суммируется в энергетических
знаменателях. Напротив, в теории возмущений Фейнмана для Гриновской
функции, по которой тоже можно вычислить сдвиг E E 0 , сохраняются
обе величины – энергия и импульс в каждой вершине, в то вресмя, как
промежуточные частицы могут распространяться с любой энергией ,
независимо от q . По этой причине подход Фейнмана имеет преимуще-
ство, будучи ковариантным, что существенно в любой релятивистской
теории.
Тем не менее, два подхода просто представляют два различных пути
группирования и интерпретации членов в разложении по теории возму-
щений и все физические результаты должны быть идентичны.
Докажем теорему Голдстоуна. Если основное состояние взаимодей-
ствующей системы получается из состояния невзаимодействующей си-
стемы в результате адиабатического включения взаимодействия, теорема
Гелл-Мана - Лоу дает для сдвига энергии основного состояния следующее
выражение (см (5.25-5.27)):
0 Hˆ 1 Sˆ 0, 0
E E0 (6.4)
0 S 0, 0
ˆ
125
n
0 0
i 1
E E0 dt1 ... dt n 0 Tˆ Hˆ 1 Hˆ 1 t1 ...Hˆ 1 t n 0 (6.6)
n 0 n!
связ
(6.9)
0 0
e n 1y 2 e i H 0 E0 y 2 / dy2 Hˆ 1... e y n e i H 0 E 0 y n / dyn Hˆ 1 0
ˆ ˆ
связ
128
Таким образом, во втором порядке теории возмущений каждой диа-
грамме в Фейнмановской технике соответствует две диаграммы в технике
Голдстоуна. При переходе от диаграммной записи к аналитическому вы-
ражению отличие заключается в разделении частичных пропагаторов (ли-
нии, идущей слева направо) и дырочных пропагаторов (линии, идущие
справа налево). В члене n-го порядка Фейнмановской техники появляется
n! дополнительных членов в технике Голдстоуна. Это число возможных
способов временного упорядочения n вершин в диаграмме.
j U r j , j
N N
1 2
Hˆ 0 H j0 (6.12)
i 1 j 1 2m
Представим полный ортонормированный набор собственных функций га-
2 2
мильтониана (1.5) Hˆ j0 U r :
2m
Hˆ j0 0j 0j 0j (6.13)
Тогда функция Грина невзаимодействующих частиц согласно (5.67) имеет
вид:
129
* *
0j r 0j r 0j r 0j r
G 0 r , r ,
j kF 0j i jk F 0j i
(6.14)
* F
0j r 0j r
0j
F 0j
0
j j i 0j i
Зная функцию Грина невзаимодействующих частиц (6.14), можно оценить
плотность числа невозмущенных частиц
1 2
n0 r i2 S 1 d expi G 0 r , r , 2S 1 0j F 0j (6.15)
2
j
130
н = + (6.21)
1
Таким образом, получаем поправку первого порядка нj к энергии
частицы за счет взаимодействия с другими частицами системы:
1
j1 0j нj (6.22)
Однако следует отметить, что поправка (6.21) несамосогласованная,
поскольку в промежуточных линиях она содержит невозмущенные функ-
ции Грина G 0 x, x – функции Грина невзаимодействующих частиц. Так
как мы ищем "толстую" функцию Грина из уравнения (6.20), то для само-
согласованного решения необходимо вставлять "толстую" функцию Грина
во все промежуточные состояния (6.21). Тогда неприводимая часть (6.21)
графически запишется в виде
x1 x1
x1 x2
н = + (6.23)
x3
x2
где толстая линия в (6.23) соответствует функции Грина взаимодействую-
щих частиц, которая является также решением уравнения (6.20) с выбран-
ным потенциалом (6.23).
Тем самым достигается самосогласованность уравнений для опреде-
ления собственно-энергетической части (6.23) и функции Грина (6.20). По-
следнее графически выглядят следующим образом:
x x x x x x1 x x x1
= + + (6.24)
x3 x
x2
Покажем, что это уравнение соответствует приближению Хартри-
Фока. Аналитически уравнение (6.24) записывается также как (6.19), в ко-
тором собственно-энергетическая часть, как следует из (6.23), равна:
н x1 , x2 it1 t 2
(6.25)
r1 r2 2S 1 dr3G r3 , t3 ;r 3 , t3 V r1 r3 V r 1r2 G r1 , t1 ; r2 , t2
131
Здесь во второй диаграмме правой части (6.24) координата входящей ли-
нии совпадает с координатой выходящей, откуда появляется дельта-
функция r1 r2 . Множитель (2S+1) появился от суммирования по про-
екциям спина в петле. В третьей диаграмме правой части уравнения точки
входа и выхода разные r1 r2 .
Рассматривается время-независимый гамильтониан, поэтому удобно
использовать Фурье преобразование по времени и перейти к энергетиче-
ской переменной:
1
G r , t ' ; r , t d exp it t G r , r , (6.26)
2
Аналогичное преобразование проведем для функции Грина невзаимо-
действующих частиц G 0 r , r , t t и собственно-энергетической части:
1
н x, x н r , r t t d exp it t н x, x (6.27)
2
Подставим Фурье преобразования (6.26)–(6.27) в уравнение для функ-
ции Грина (6.20) и собственной энергии (6.25). Проинтегрировав по вре-
мени, получаем:
G r , r , G 0 r , r , dr1dr2G 0 r , r1 , н r1 , r2 G r2 , r , (6.28)
1
н r1 , r2 i2 S 1r1 r2 dr3V r1 r3
d1 exp i1G r3 , r3 , 1
2
(6.29)
1
iV r1 r2 d1 expi1G r1 , r2 , 1
2
где 0 .
При решении уравнения (6.28) для функции Грина взаимодействую-
щих частиц естественно ее представить в виде, подобном функции Грина
невзаимодействующих частиц (6.14), поскольку н не зависит от энергии:
* j F
Gr , r , j r j r
F j
(6.30)
j j i j i
Здесь функции j представляют полный ортонормированный набор но-
вых (подправленных) одночастичных волновых функций с соответствую-
щими энергиями εj.
Интеграл по энергии ω1 в собственно-энергетической части (6.29) мо-
132
жет быть взят непосредственно, и тогда получаем:
н r1 , r2 2S 1r1 r2 dr3V r1 r3 j r 3 F j
2
j
V r1 r2 j r 1 j * r 2 F j
(6.31)
j
133
В результате получаем уравнение Шредингера:
2
U r k r dr1 н r, r1 k r1 k k r (6.37)
2
Здесь н r , r1 играет роль статического нелокального потенциала. Как
видно из уравнения (6.31) он состоит из двух слагаемых: локальное взаи-
модействие и нелокальное взаимодействие. Подставляем (6.31) в (6.37):
2
U r k r 2 S 1 dr1 j * r1 V r r1 j r1 k r
2 j F
(6.38)
*
dr1 j r1 V r r1 k r1 j r k k r
jF
134
Hˆ 0 E 0 0
(6.39)
Hˆ E
соответственно. Точные решения стационарного уравнения Шредингера
(6.39) с Гамильтонианом (1.2) могут быть получены в виде суперпозиции
всех возможных Слэтеровских Хартри-Фоковских детерминантов как пу-
тем непосредственной диагонализации матрицы точного Гамильтониана
Ĥ , что на практике является трудноразрешимой задачей, так и в результа-
те варьирования коэффициентов разложения многочастичных волновых
функций в виде линейных комбинаций:
0
0 C 00 HF X im aˆ m aˆ i HF Dmn
0
ˆ m aˆ n aˆ i aˆ j
,ij a HF ...
im ijmn
(6.40)
C 0 HF
X im aˆ m aˆ i HF
Dmn ˆ m aˆ n aˆ i aˆ j
,ij a HF ...
im ijmn
135
ные элементы от оператора Гамильтона (1.2) между детерминантом ос-
новного состояния системы и любым из однократно возбужденных детер-
минантов aˆ m aˆ i HF . Оказывается, что для любой пары i,m выполняется
равенство
HF Hˆ aˆ m aˆ i HF 0 (6.42)
Соотношение (6.42) носит название теоремы Бриллюэна. С учетом орто-
нормированности функций 0 и из (6.41-6.42) в рассматриваемом
приближении Тамма-Данкоффа (TDA) следует:
TDA
0 HF
TDA (6.43)
X im aˆ m aˆ i HF
im
Таким образом, в рамках модели Тамма-Данкоффа дополнительные кор-
реляции оказываются учтенными только в возбужденных состояниях, в то
время как основное состояние остается неизменным по сравнению с при-
ближением Хартри-Фока.
Можно ввести операторы рождения и уничтожения Q̂ и Q̂ таким
образом, что
Qˆ 0
(6.44)
Qˆ 0 0
При этом с учетом (6.43) в рамках рассматриваемого приближения
оператор Q̂ может быть представлен в виде
Qˆ X aˆ aˆ
im m i (6.45)
im
136
Из условия стационарности функционала F Hˆ E
относительно вариаций с учетом (6.47) может быть получена система
уравнений для определения элементов вектора коэффициентов X :
nj
HF aˆ aˆ
ˆ ˆ n aˆ j
i m Ha
HF E HF aˆ i aˆ m aˆ n aˆ j HF X nj 0 (6.48)
137
щем случае содержит как дискретные уровни, так и состояния непрерыв-
ного спектра энергий. Однако, в ряде задач, например, при рассмотрении
только дискретной части спектра возбужденных состояний многоэлек-
тронной системы, система уравнений (6.52) может быть записаны в более
удобной матричной форме. Для этого в качестве полного набора базисных
функций удобно использовать Хартри-Фоковские волновые функции, со-
считанные в потенциальной яме конечного размера. При этом спектр
энергий n оказывается дискретным для одночастичных уровней как ни-
же, так и выше порога ионизации системы. Подобный подход оправдан, в
частности, при расчетах физических величин, для вычисления которых
требуется суммирование (интегрирование) по всему спектру возбужден-
ных состояний.
В матричном виде уравнение (6.52) может быть записано как
AX TDA
X (6.54)
где TDA
E E 0HF – собственные числа уравнения (6.54), соответству-
ющие частотам переходов между основным 0 и возбужденным мно-
гочастичными состояниями системы. Элементы матрицы в левой части
уравнения (6.54) в случае системы с замкнутыми электронными оболоч-
ками определяются как
Aim , jn HF aˆ i aˆ m , Hˆ , aˆ n aˆ j HF m i ij mn ij mn (6.55)
Здесь матричные элементы V V межчастичного
взаимодействия состоят из "прямой" (Хартриевской) и обменной (Фоков-
ской) компонент и могут быть графически изображены в виде следующих
двух диаграмм:
В Голдстоуновской диаграммной технике диаграммы такого вида
138
называются диаграммами "вперед-во-времени", поскольку физический
процесс взаимодействия развивается последовательно «слева направо»:
энергия возбуждения одной пары частица-дырка передается последую-
щей.
Поскольку матрица (6.55) эрмитова, все собственные числа и соб-
ственные вектора уравнения (6.54) действительны, причем, с учетом соот-
ношений (6.44)-(6.45) и ортонормированности волновых функций , для
собственных векторов X должно выполняться условие нормировки
X mi X mi (6.56)
mi
139
ный момент приближении, то есть 0 HF в случае TDA и
0 RPAE в случае ПСФО, соответственно. После умножения слева на
произвольную вариацию 0 Q̂ с учетом того, что, согласно (6.45) и
(6.58), выполняются равенства 0 Qˆ 0 Hˆ Qˆ 0 , уравнение (6.59) мо-
жет быть переписано в виде
0 Q̂ , Ĥ ,Q̂ 0 E E0 0 Q̂ , Q̂ 0 (6.60)
В приближении Тамма-Данкоффа, где оператор Q̂ имеет вид (6.45),
TDA
основное состояние определяется как 0 HF , а вариация определя-
ется формулой (6.47) Qˆ 0 aˆ m aˆ i 0 X mi
, из (6.60) естественным об-
mi
разом получаются уравнения (6.50) и (6.54).
В случае приближения случайных фаз с обменом (ПСФО) в отличие от
TDA возможны два сорта вариаций Qˆ 0 , а именно вариации, содержащие
слагаемые aˆ m aˆ i 0 и aˆ i aˆ m 0 , соответственно. Независимое варьирование
уравнения (6.60) по X mi и Ymi приводит к системе из двух наборов урав-
нений
RPAE âi âm , Ĥ ,Q̂ RPAE RPAE âi âm ,Q̂ RPAE
(6.61)
RPAE â â , Ĥ , Q̂ RPAE
m i
RPAE â
m i
â , Q̂
RPAE
где E E0 – энергия ν-го коррелированного многочастичного со-
стояния относительно основного состояния системы в приближении
Хартри-Фока.
Важно обратить внимание, что вычисление средних по основному со-
стоянию от четырех фермионных операторов рождения и уничтожения в
правых частях уравнений (6.61) практически неосуществимо, поскольку
волновые функции коррелированного основного состояния RPAE неиз-
вестны. Для решения возникшей проблемы используется так называемое
квази-бозонное приближение, в рамках которого предполагается, что кор-
релированная волновая функция RPAE не сильно отличается от волно-
вой функции основного состояния в приближении Хартри-Фока HF . Та-
140
ким образом, усреднение в правой части уравнений (6.61) можно заменить
вычислением среднего значения по Хартри-Фоковскому основному состо-
янию:
RPAE ai am , an a j RPAE
ij mn mn RPAE a j ai RPAE ij RPAE an am RPAE (6.62)
HF ai am , an a j HF ij mn
Смысл коэффициентов X mi и Ymi (6.57) в квази-бозонном приближе-
нии состоит в том, что их абсолютные значения характеризуют вклад от-
дельных детерминантов â m âi 0 и âi â m 0 в коррелированное возбужден-
ное состояние (19) X im âm âi Yia âi âm 0
ia
141
носят названия амплитуд "вперед-во-времени" и "назад-во-времени", со-
ответственно. Отличие амплитуд "назад-во-времени" от амплитуд "впе-
ред-во-времени" состоит в том, что в какой-то момент времени виртуаль-
но рождается две пары. Эволюция этих пар во времени зависит от после-
дующего взаимодействия с передачей энергии и превращением виртуаль-
ного возбуждения в реальное.
Уравнение (6.63) вместе с формулами (6.55) и (6.64) называется мат-
ричным уравнением ПСФО (RPAE). Приближение TDA, соответствующее
уравнению (6.54), может быть получено из (6.63) в результате подстанов-
ки Ymi 0 для всех электрон-дырочных пар m-i. Таким образом, коэффи-
циенты Ymi могут быть использованы для оценки степени коррелирован-
ности основного состояния системы RPAE по сравнению с приближени-
ем Хартри-Фока.
Несмотря на то, что матрица в левой части формулы (6.63) эрмитова,
в отличие от (6.54) уравнение (6.63) не является задачей на собственные
числа эрмитовой матрицы. В связи с этим условие ортогональности соб-
ственных векторов будет отличаться от (6.56), но будет так же опреде-
ляться требованием взаимной ортонормированности многочастичных со-
стояний Qˆ RPAE :
RPAE Q̂ , Q̂ RPAE
HF Q̂ , Q̂ HF X mi
mi
X mi
Ymi Ymi (6.65)
и при этом
mi nj mi Ynj mn ij
X X Y (6.66)
143
0 1 2X ~ X~
1 2 1
C C ~ ~ (6.68)
0 1 Y Y
где
X~ X
~ C1 2 (6.69)
Y Y
Поскольку матрица уравнения (6.68) эрмитова, ее собственные числа
и собственные вектора чисто действительны и, следовательно, если элек-
тронная конфигурация основного состояния HF соответствует абсолют-
ному минимуму энергии системы, знаки комплексного сопряжения в
формулах (6.65)-(6.66) могут быть опущены, а условие нормировки (6.65)
может быть записано в виде
2 2
X mi Ymi 1 (6.70)
mi
144
описывающие спектр фотопоглощения многоэлектронной системы в ди-
польном приближении. В случае использования достаточно полного бази-
са одночастичных Хартри-Фоковских функций, силы осцилляторов (6.73)
должны удовлетворять правилу сумм TRK (Thomas-Reiche-Kuhn)
f N (6.74)
4 2 2
2 Dˆ 1 2 1 d (6.76)
c 1 F
где F – уровень Ферми, c – скорость света, 1 – Хартри-Фоковская энергия
связанного начального состояния ν1.
145
При этом вероятности дискретных переходов по-прежнему опреде-
ляются силами осцилляторов (6.73). Для сил осцилляторов и сечения фо-
тоионизации правило сумм (6.74) приобретает вид
c
f
2 I 2 d N (6.77)
146
Графически процесс фотопоглощения, описываемый уравнением
(6.78) может быть изображен в виде следующей последовательности диа-
грамм для амплитуды процесса
2 2 3
= + +
4
1 1 2
а б (6.79)
1
2
3
+ + +
4
4 3 4 2
1
2 3
1
1
в
г д
147
2 Dˆ 1 оказывается пропорциональным полному числу воздейству-
ющих электронов, что отражается в наличии суммы по 4 F в уравне-
нии (6.78).
Следует отметить, что вклад частей диаграмм "вперед-во-времени"
(6.79б, в) с одним членом в сумме по 4 F , а именно 4 1 , может
быть учтен выбором волновой функции электрона в конечном состоянии
N1 2 x , сосчитанной в самосогласованном поле многоэлектронной си-
стемой с дыркой в состоянии ν1.
Важным элементом ПСФО также является понятие эффективного
взаимодействия ̂, которое отличается от чисто кулоновского взаимо-
действия поправками, обусловленными виртуальным (временным) воз-
буждением атомных электронов. Уравнение для ̂ можно получить,
считая, что воздействие одного электрона на другой представляет собой
некоторое эффективное внешнее поле U eff3 4 r , которое зависит не только
от r , но и от состояния воздействующего электрона 3 , 4 . Подставляя
вместо дипольного оператора в (6.78) кулоновское и эффективное взаимо-
действие, приходим к уравнению для матричных элементов, по структуре
аналогичному уравнению (6.78)
ˆ 1 4
2 3
ˆ 1 6 6 3 5 4 (6.80)
25
2 3 1 4
5 FF 6 FF E5 E6 i
6 5
В заключение этого параграфа отметим, что в описании процессов
фотоионизации и фотопоглощения большинства многоэлектронных си-
стем корреляции ПСФО играют решающую роль. Именно их учет позво-
лил объяснить экспериментальные результаты по сечениям фотоиониза-
ции, угловым распределениям фотоэлектронов, многих резонансным яв-
лениям в атомах, ионах, кластерах и твердых телах. Практическим резуль-
татам полученных с помощью приближения случайных фаз посвящено
несколько книг [19,20] и обзоров [21].
148
6.4. Взаимодействие системы с налетающими частицами.
p r
i
2 pr 0
2 1P cos 1 e ipr e ipr 2i (6.82)
Имея выражение для волновой функции при r , можно найти фазы рассея-
ния и с их помощью сечение рассеяния.
Для определенности, рассмотрим рассеяние электронов (m=1) на атомах.
Расчет радиальных волновых функций с данным орбитальным моментом
проводится нами сначала в приближении Хартри-Фока. Налетающий электрон
рассеивается на ядре и N атомных электронах. Для описания налетающего
электрона используется волновая функция, полученная из уравнений Хартри-
Фока для дополнительного электрона в поле нейтрального атома EN1 r [19].
Такая волновая функция уже учитывает часть межэлектронного взаимодей-
ствия, определяемого диаграммами (6.24). Ее радиальная часть PEN 1 r имеет
следующую асимптотику:
1
PEN 1 r sin pr HF E , (6.83)
p 2
149
Таким образом, при вычислении волновой функции EN1 r определяется -ая
фаза рассеяния.
Роль многоэлектронных корреляций сводится к тому, что появляется до-
полнительное по сравнению с Хартри-Фоковским, поляризационное воздей-
ствие со стороны атома мишени на налетающий электрон. Поляризационное
взаимодействие на больших расстояниях от атома сводится к потенциалу (см.
E HF E E (6.85)
Таким образом, для определения сечения упругого рассеяния с учетом
многоэлектронного взаимодействия необходимо сосчитать приводимую соб-
ственно-энергетическую одночастичной часть функции Грина.
150
Во втором порядке теории возмущений поляризационные поправки к
функции Грина представлены диаграммами (6.86).
Е Е Е1 E E
+ +
l E l i l
E1
i E
E
(6.86)
E1 E
k
k +
+
E E
i
i E1
151
E ̂E E , учитывающие диаграммы (6.86). Вычисление этого матричного
E , E Uˆ E , i E1 , i Vˆ E , E
E ˆ E E1
E F E F E E E Ei i
i F
(6.87)
k , i Uˆ E , E E1 , E Vˆ k , i
E E k E Ei i
k Fi F
E F
Здесь первое слагаемое учитывает первые две диаграммы (6.86), а второе – две
остальные. Знак суммы в (6.87) включает суммирование по дискретным состоя-
ниям и интегрирование по непрерывному спектру. Комбинированные матрич-
Û V V (6.88)
i
152
ния соответствует многоэлектронному эффективному взаимодействию, являю-
щегося итогом суммирования диаграмм указанного типа. Таким образом, учет
диаграмм высших порядков, входящих в (6.89), происходит при замене матрич-
153
E E ˆ E E (6.91)
2 11 e 4 Im l
E
inel E 2 (6.92)
p 0
Im E E Im ˆ E E (6.93)
E E
E
154
i
(6.94)
E
E
dE 1 2
AEEE i (6.96)
d E
Конкретные расчеты проводились для значительного числа различных не-
упругих процессов в ряде атомов [20,21], и, в частности, было показана важная
155
роль многоэлектронных корреляций при описании экспериментальных данных.
156
Заключение
157
статей.
Авторы считают своей основной задачей познакомить читателя с ме-
тодами квантовой теории многих тел, в частности, диаграммной техникой,
которые позволяет исследователям лучше ориентироваться в литературе,
на научных семинарах и конференциях, в решении современных задач и
проблем, связанных с различными физическими системами.
158
Приложениe. Альтернативные методы описания возбужденных
состояний многочастичныых систем.
159
i (r , t )
i Veff (r , t ) i ( r , t ) (П1.2)
t 2
а зависящий от времени потенциал Кона-Шема Veff (r , t ) , как и в статиче-
ском случае (3.53), включает в себя внешний потенциал v (r , t ) , а также
Хартриевскую и обменно-корреляционную компоненты. При этом в рам-
ках адиабатического приближения локальной плотности обменно-
корреляционный потенциал является локальным во времени и простран-
стве, то есть определяется как
E xc n (r )
V xc r , t (П1.3)
n
n n r , t
160
то есть равно функциональной производной от обменно-корреляционного
потенциала по отношению к электронной плотности при n0 ( r ) – элек-
тронной плотности основного состояния системы. Коэффициенты X im и
Yim , составляющие компоненты собственных векторов X ("вперед-во-
времени") и Y ("назад-во-времени") уравнения (П1.4), как и в случае
ПСФО, характеризуют вклад электрон-дырочной пары i ( r ) m ( r ) в кор-
релированное многочастичное возбужденное состояние ( )
161
П2. Многоконфигурационное приближение Хартри-Фока.
162
тронную конфигурацию, схему связи, а также любой набор квантовых чи-
сел, необходимый для построения определенного LS-терма. Функции
( LS ) называются конфигурационными состояниями, образующими
полный набор N-частичных волновых функций, ортогональных между со-
бой
( i LS ) ( i LS ) ij (П2.3)
Условие (П2.3) должно быть выполнено даже с случае использования
одинаковых электронных конфигураций (П2.2), так как схемы связи при
этом должны быть различными.
Одноконфигурационное приближение подразумевает, что в качестве
приближения ( LS ) к точной волновой функции ( LS ) , описывающей
многоэлектронную систему, используется одноконфигурационное состоя-
ние
( LS ) ( LS ) ( LS ) (П2.4)
Одноконфигурационное приближение Хартри-Фока (2.23-2.32), яв-
ляющееся приближением среднего поля, описывает многоэлектронную
систему как систему частиц, движение которых не коррелировано между
собой, то есть в его рамках не учитывается часть межчастичных взаимо-
действий. Иначе говоря, одноконфигурационное приближение не включа-
ет в себя электронные корреляции. В связи с этим появляется необходи-
мость выйти за рамки модели, описывающей волновую функцию N-
электронной системы в виде одного Слэтеровского детерминанта (2.23).
В многоконфигурационном (многодетерминантном) приближении,
учитывающем взаимодействие между конфигурациями, в качестве при-
ближенного решения используется линейная комбинация одноконфигура-
ционных состояний
( LS ) c i ( i LS ) (П2.5)
i
164
детерминанты im согласно теореме Бриллюэна удовлетворяют соотно-
шению
im Hˆ 0 0 (П2.14)
причем в рамках данного подхода основное состояние системы идентично
одноконфигурационному ХФ состоянию 0 0 .
В этом случае матричные элементы (П2.10) оказываются равны
nj Hˆ im E0 m i ij mn ij mn (П2.15)
где εi и εa – Хартри-Фоковские энергии одночастичных состояний i (r ) и
a (r ) , а матричные элементы V V определены
согласно (6.53).
В результате умножения уравнения (П2.8) на "однократно возбуж-
денный" детерминант mn с учетом (П2.15) может быть записано мат-
ричное уравнение
AX k k X k (П2.16)
где элементы матрицы A заданы как
Aim, jn m i ij mn ij mn (П2.17)
а вектор Xk содержит коэффициенты сim разложения (П2.5) многоконфи-
гурационной волновой функции k (cim ) ( k ) mi . Полученные в ре-
i
166
Практические задания.
169
v(qi , qk ) v(qk , qi ) i и k частиц по однодетерминантным функциям a , b :
1
V v(qi , qk )
2 i k
Ответ: а) пусть функции a и b идентичны ( aj bj для j ), тогда
b V a
1
aiaj vˆ aiaj ajai vˆ aiaj
2 i j
б) пусть состояния a и b отличаются на одну одночастичную функ-
цию, то есть j : aj bj , при этом i j ai bi , тогда
N
b V a aibj vˆ aiaj bj ai vˆ aiaj
i 1
4 V0 a 3
lk V kl , здесь - угол между k иl.
1 (l 2 k 2 2kl cos )a 2
Задача 14. Используя решение предыдущей задачи, найти эффек-
тивную массу квазичастиц для случая малых k .
k
m0 1 F
1 4l 2 a 2
Ответ: m* , где V (2) 3(1 l 2 a 2 ) 4 l dl .
5 2
V a 1
1 2m0V (2) 2 2 0
0
(1 l 2 a 2 ) 2
Задача 15.
ˆ Aˆ Bˆ Aˆ , Bˆ Aˆ , Aˆ , Bˆ ...
2
Aˆ
Доказать соотношение: e Be
1! 2!
170
Задача 16. Найти операторы координаты и импульса в гайзенбер-
говском представлении для:
а) свободной частицы;
б) для частицы, находящейся в однородном поле U ( x) F0 x ;
в) для линейного гармонического осциллятора.
Ответ: а) pˆ (t ) pˆ 0 pˆ , где p̂ - оператор импульса в шредингеровском пред-
t t
ставлении, xˆ (t ) pˆ 0 xˆ0 pˆ xˆ , где x̂ - оператор координаты в шредин-
m m
геровском представлении;
t F0t 2 Ft
б) xˆ (t ) xˆ pˆ , pˆ (t ) pˆ 0 ;
m 2m m
pˆ
в) xˆ (t ) xˆ cos t sin t , pˆ (t ) pˆ cos t m xˆ sin t .
m
Задача 17. Построить из операторов координаты x̂ и импульса p̂ ча-
стицы операторы â и â , обладающие свойствами бозевских операторов
уничтожения и рождения. Найти волновую функцию 0 ( x) вакуумного со-
стояния, соответствующего этим операторам.
1 iL 1 iL 1
Ответ: pˆ , aˆ pˆ , 0 ( x) e x / L , где L- веще-
2 2
aˆ xˆ xˆ
2L 2 2L 2 ( L )
2 1/4
171
число 0, собственные функции равны 0 и 1 , соответственно.
Задача 19. Можно ли в преобразовании вида aˆ ' aˆ , aˆ ' aˆ рассмат-
ривать aˆ ' , â как новые операторы уничтожения и рождения?
Ответ: такое возможно для фермионов, при этом новые операторы мож-
но рассматривать как операторы рождения и уничтожения дырки.
Задача 20. На линейный осциллятор, находящийся при t в ос-
новном состоянии действует внешняя сила F (t ) , причем F (t ) 0 при
t . Найти вероятности возбуждения различных стационарных состоя-
ний осциллятора и среднее значение его энергии при t . Для решения
задачи воспользоваться гайзенберговским представлением и исходить из
уравнений движения для операторов aˆ(t ) и aˆ (t ) .
2n
2
Ответ: вероятность возбуждения - wn e , средняя энергия -
n!
t
( 1/ 2) , где .
2
F (t ')eit ' dt '
2m
Задача 21. Заряженная частица массы m движется по прямой в пара-
болическом потенциале U ( x) m 2 x 2 / 2 . На короткое время включают сла-
бое электрическое поле E , а затем выключают. Какова вероятность пере-
вести частицу в состояние n , если до включения поля она была в основ-
ном состоянии? Решите задачу в представлении взаимодействия. (Обрати-
те внимание, что матричные элементы возмущения отличны от нуля толь-
ко между соседними уровнями. Следовательно, при малом E вероятность
перехода в n -е состояние дается n -ным порядком теории возмущений.)
При каком соотношении между E , и теория возмущений работает?
Ответ: искомая вероятность в n -ном порядке теории возмущений равна
n
1 e2 E 2 (1 cos )
wn , теория возмущений работает, если выражение в
n! m 3
квадратных скобках много меньше единицы.
172
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
173
19. М.Я.Амусья, Атомный фотоэффект, "Наука", М. 1987.
20. М.Я.Амусья, В.К.Иванов, Н.А.Черепков, Л.В.Чернышева, Про-
цессы в многоэлектронных атомах, "Наука", М. 2006.
21. М.Я.Амусья, Л.В.Чернышева, В.Г.Яржемский, Поглощение
фотонов. Рассеяние электронов. Распад вакансий. Атомные данные.
"Наука", М. 2010.
22. М.Я.Амусья, Л.В.Чернышева, Автоматизированная система
исследования структуры атомов, "Наука", Л. 1983.
174