ра. Можно привести еще много примеров, в частности пробле му магнетизма, где задачи без малого параметра ждут -своего решения. Имеющиеся работы в этом направлении связаны либо с довольно грубыми модельными представлениями, либо с произвольной интерполяцией результатов, полученных в пре дельных случаях. Как правило, такая интерполяция бездоказа тельна.
В качестве примера можно привести упоминавшуюся в пре дыдущей главе работу Вигнера, предложившего довольно произ
вольную интерполяцию |
для корреляционной энергии электрон |
ного газа в области |
параметров rs, характерных для реаль |
ных металлов. |
|
Внастоящей главе рассмотрим попытку оценки энергии си стемы многих частиц, когда задача не содержит малого пара метра. Сравнительно недавно Лёвдин предложил метод систе матических оценок энергетических уровней сверху и снизу, правда, не для макроскопически больших систем [3]. Им же была продемонстрирована эффективность этого метода в теории атомов и молекул. Так, для атома гелия метод приводит к оценке энергии основного состояния сверху и снизу со спектро скопической точностью. Прямое распространение этого метода па системы многих частиц (макроскопически большие систе мы), как показано ниже, невозможно. Однако сама идея стро гих оценок физических величин сверху и снизу, по-видимому, плодотворна.
Внастоящее время не существует даже последовательных вариационных оценок сверху для макроскопически больших си стем. Поэтому весьма актуальна разработка метода оценки ма кроскопических величин с заданной точностью в проблеме мно гих тел без малого параметра.
Внастоящей главе мы попытаемся предложить достаточно общий подход к решению такой задачи и проиллюстрируем этот
подход на примере вычисления энергии основного состояния си стемы электронов, которую можно рассматривать как на фоне компенсирующего положительного заряда, так и в периодиче ском внешнем поле. При этом не будем делать ограничений на плотность системы. Электронную жидкость по-прежнему будем считать нормальной. Электрон-фононное взаимодействие при этом не будем рассматривать, так что эффекты, связанные с парными корреляциями в проблеме сверхпроводимости, не бу дем затрагивать.
Предлагаемый подход может быть использован в широком классе задач без малого параметра в проблеме многих тел. Это касается задач как с дальнодействующим, так и с короткодей ствующим взаимодействием. Предлагаемый подход допускает обобщение на конечные температуры, что особенно интересно при исследовании фазовых переходов, а также уравнения со стояния плотной плазмы.
§27. МЕТОДЫ ПОЛУЧЕНИЯ ОЦЕНОК ДЛЯ ЭНЕРГИИ СИСТЕМЫ
ВЗАДАЧАХ С МАЛЫМ ЧИСЛОМ ЧАСТИЦ. ТРУДНОСТИ ОБОБЩЕНИЯ НА СЛУЧАЙ N->-oo
Верхние оценки для энергии основного состояния атома или молекулы получают обычно вариационными методами. Удобен и хорошо известен вариационный метод Релея — Ритца. Пусть Ео, Еи Е2, ... — собственные значения стационарного уравнения Шредингера
|
|
Я Ч ^ Д Ч ', |
(27.1) |
а 'Р0, ЧЛ, Ч/2, |
— соответствующие им нормированные |
волно |
вые функции. |
Тогда, |
согласно вариационному принципу Ре |
дея — Ритца, математическое ожидание |
|
|
Ё = |
<Ф | Я | Ф >/<Ф | Ф > |
(27.2) |
дает верхнюю границу для Еа в случае произвольных волновых функций Ф. Эта же величина является верхней границей для Еи если ортогональны (Л и Ч'о и т. д. Для наших целей, однако,
удобнее ввести несколько другой математический язык.
/Ч
Пусть О — произвольный эрмитов проекционный |
оператор, |
выделяющий |
определенное |
подпространство ЯЛ |
из |
заданного |
гильбертова |
пространства |
Ж и обладающий свойствами |
|
6а ^ 0 , |
0 + = 0 , |
SpO — п. |
|
(27.3) |
Порядок п может быть конечным |
и бесконечным. |
Говорят, что |
/Ч |
|
|
|
|
|
оператор О проектирует гильбертово пространство данной си-
стемы |
Ж на подпространство |
ЯЛ. Пусть А — эрмитов опера |
тор, такой, что |
|
|
|
|
|
|
|
|
|
|
|
Аиь - |
аки |
|
|
|
(27.4) |
|
|
|
|
|
kuk> |
|
|
|
|
где а/,—-собственные значения; |
ик— нормированные |
собствен |
ные функции |
этого оператора. |
Тогда |
удобно |
ввести |
оператор |
|
|
|
|
Л = |
ОЛ О, |
|
|
|
(27.5) |
который называют в н е ш н е й |
п р о е к ц и е й |
о п е р а т о р а А |
на |
подпространство |
ЯЛ. Оператор |
/Ч |
|
подпространст |
А внутри |
ва |
ЯЛ |
обладает собственными |
значениями |
аи |
и собственными |
функциями Ни, |
так что |
|
|
|
|
|
|
|
|
— _ |
— — |
|
_ |
_ |
|
|
(27.6) |
|
|
Л ик = акик\ |
Оик = ик; |
< ик | ик> = 1. |
|
Легко показать, что величины ак являются оценкой сверху |
для ah: |
|
|
|
|
|
|
|
|
|
|
|
|
ak < a k. |
|
|
|
(27.7) |
Действительно, согласно вариационному принципу
fli — < ui I А | U l> ^ < u, | A | « ! > —
= < « i 1 О х Л О | u x > = < « ! | Л - 1 ых > = аг.
При этом использованы соотношения (27.6). Рассмотрим вспо могательную функцию ф= гг 1р1+ Й2Р2, удовлетворяющую усло виям
*C.u i I Ф^> “ |
I |
?i _h <^1 I |
P2 = 0; |
< ф I ф > = I Pi |2 -I-1Р2 Г = 1; |
Оф = ф . |
Тогда, согласно вариационному принципу |
|
я2 < < Ф М I Ф > = < О ф I А | О ф > = < Ф | Ъ+АО | ф > = |
= <]ф I Л | Ф^> = •\WjPi |
-f- W2P2 I А | |
HlPl |
Г u2p2^> = |
= |
«I | pi I + |
Й2 I р.2 I2 < |
а 2. |
|
Если рассмотреть вспомогательную функцию, ортогональную |
«1 и ы2. то аналогично получим |
|
|
|
|
|
^ ^з- |
|
|
Это рассуждение справедливо для любого k, что и доказывает |
неравенство (27.7). |
|
|
|
|
|
-S |
|
|
|
|
|
|
|
|
Вариационный метод Ритца для оператора А эквивалентен |
диагонализации оператора |
А с |
соответствующим |
образом вы- |
|
/ч |
|
|
|
рассмотрим |
экстре |
бранным оператором О. Действительно, |
мальное значение интеграла |
|
|
|
|
|
|
|
___ |
А |
|
|
|
|
|
|
I = <м | А | м>/<ы | м>, |
|
|
где и принадлежит |
подпространству |
ЭЛ, |
выделенному |
проек- |
|
/ Ч |
А . |
|
|
|
|
|
циопным оператором О, т.А е. |
ОЛ= й. |
Введем |
произвольную |
функцию и и положим й = Ои. Тогда |
|
|
|
|
|
, _ |
< и | 0+ ДО | и> _ < и | А | «> |
|
|
|
< и | О | и > |
|
< к | О | « > |
|
|
Согласно вариационному |
принципу, |
6/=0 |
получаем |
|
^ |
^ |
|
или |
d |
|
_ |
|
|
(Л —/О) м — 0, |
Лц = |
/и, |
|
|
что и доказывает сделанное выше утверждение.
Определим в н у т р е н и юю |
п р о е к ц и ю |
эрмитова положи- |
тельпо определенного оператора |
А(А>0). |
Внутренней |
проек |
цией называют оператор вида |
|
|
|
|
|
|
|
А = |
А /гОА /г , |
|
|
|
который обладает |
следующим |
свойством. |
Если имеет |
место |
/Ч |
^ |
/ч |
|
собственных значений указанных |
неравенство О< A < A , то для |
операторов выполняется аналогичное соотношение |
|
|
|
|
0 < а й< а й. |
|
|
(27.8) |
Операторное |
неравенство |
/ Ч |
/ Ч |
означает |
неравенство |
для |
А<В |
|
|
|
|
|
,-- |
ХЧ |
|
для |
диагональных матричных элементов <ср\А |ср> < <ср | В j ф> |
всех возможных ср. Тогда верно и неравенство для собствен
ных значений ак<Ьк. Очевидно, |
что обратное утверждение не |
справедливо. Оператор А 112 |
(«корень |
из оператора») имеет |
следующий смысл. Если |
|
|
|
ч |
| |
ик~^> |
|, |
А = |
k |
|
|
|
то
А ',г = 2k а,‘к,г | ик> < и к |.
Неравенства (27.8) вытекают из положительной определенно-
-— ч
сти проекционного оператора О. Действительно,
< Ф | О | ф > = < 0 | О2 | ф > = < ф | 0+0 | ф > = < 0 ф | 0 ф > > 0.
Аналогичное рассмотрение матричных элементов от опера-
/ Ч -''Ч . / Ч |
к |
|
условию |
л -~ч. |
тора Р= 1—0 ^ 0 приводит |
|
O ^ O ^ i, т. е. |
/ч |
|
|
/ч |
получаем |
0 < < ф |0 |ф Х < ф |ф > . Заменяя |
ф на Л‘/2ф, |
О< < Ф | А 4*О А''1 |
| ф > |
< < ф | А | ф >, |
что и доказывает утверждение (27.8).
Это свойство внутренней проекции оператора находит при менение в методе промежуточных гамильтонианов. Если
имеется система эрмитовых операторов |
|
Я (1) < Я (2)< . . . < Я , |
(27.9) |
/Ч |
(27.8) |
сходящихся к данному гамильтониану Я, то неравенство |
приводит к соответствующему расположению собственных зна чений:
4 ° < ^ 2)< . . . -< Ек, |
(27.10) |
что обеспечивает систему нижних оценок, сходящихся к точно му значению Eh. Соответственно при построении внешних про
екций для гамильтониана Н получаем верхние оценки для энер
гии Eh.
Если представить гамильтониан системы в виде
н = н 0 + и,
где U> 0 (положительно определенный оператор взаимодейст вия), то в качестве промежуточных гамильтонианов можно вы брать операторы вида
НМ |
н 0ж и 4, Oin) U‘/а , |
(27.11) |
где 0 <п>— последовательность проекционных |
операторов, стре |
мящихся к единичному. |
использовал Лёвдин |
для вычисления |
Подобный подход |
энергетических уровней гелиеподобных ионов. При этом вычис
лялись как |
основные, так и |
возбужденные |
состояния |
систем, |
для которых гамильтониан |
записывался |
в виде |
/Ч |
/X /Ч |
H = H0+U, |
|
£/ = — , Z = 1, 2, 3, . . . |
|
|
|
Tia |
|
|
|
|
Интересно |
отметить, что уже |
третье приближение |
п —3 |
приво |
дит к значению энергии, отличающемуся от точного менее чем
на 1%. |
Десятое же приближение |
в случае |
иона |
лития (Li+, |
Z = 3) |
дает значения —7,28444 |
ат. ед. |
для |
верхней в |
—7,279910 ат. ед. для нижней оценки полной энергии. Можно, по-видимому, утверждать, что в случае систем с конечным (не большим) числом частиц метод построения внешних и внут
ренних проекций для оператора энергии |
очень продуктивен. |
Проекционный оператор можно построить с помощью орто- |
нормированного набора |
(конечного |
или |
бесконечного) векто |
ров состояний |
|
|
|
|
(I <Pi>, |
I Ф2> . |
• • |
.. I Ф«>1- |
Тогда оператор О имеет вид |
|
|
|
% |
= 2i |
I Ф / > < Ф ; I- |
Этот оператор проектирует гильбертово пространство векторов состояний системы на подпространство Ш1, натянутое на базис ные векторы {|фг>}) причем <фг |фк> = 6г,„. Система функций {|ф,->}, вообще говоря, неполна. Добавляя к ней новые конфи гурации |фк> , будем получать все более полные системы. Та ким путем и получается последовательность проекционных
операторов 0 <">, которая стремится к единичному оператору, когда система приближается к полной.
Удобно говорить о полноте системы {I Фг>} по отношению к некоторому вектору состояний |Ч/ > (это может быть, напри-
мер, основное состояние, описываемое гамильтонианом Н). Тогда степень полноты системы по отношению к |ЧТ> можно характеризовать параметром
|
|
|
|
VsK= < ¥ | |
| Ода^ > = 1 - < У 1Ош | ¥ > . |
(27.12) |
Параметр удд уменьшается при добавлении к |
{|фг>} |
новых |
конфигураций и равен нулю для полной системы |
{| фг>}■ Оче |
видно, что собственное значение промежуточного гамильтониа
на |
достаточно близко к точному |
значению Eh лишь в том |
случае, если |
|
|
|
Y $ = 1 ~ < ^ I % |
I ^ * > « 1 - |
(27-13) |
Мы не умеем точно вычислять параметр у эд.
Простая порядковая оценка показывает трудности, возни кающие при попытке использовать метод внешней и внутренней
проекций (Я и Н) в случае систем с большим числом частиц Nv
N -*■ оо, У^ - оо , п = N/V = const.
Чтобы уравнение Шредингера с промежуточным гамильтониа
ном Жп) можно было решить точно,- собственные функции это го гамильтониана должны иметь достаточно простую структу ру. Это может быть суперпозиция некоторого исходного одиочастичного состояния (например, волновой функции в прибли жении Хартри — Фока) и состояний, отличающихся от исходно го возбуждением нескольких пар частиц. Примером такой про стой функции может служить функция вида
¥ > = |Оп> 4 - |
(Pi, Pa) 'dt (Pi) d—q (Рг) Оп>. (27.14) |
q , Р . р2
Волновая функция |ЧГ> записана здесь в импульсном пред ставлении; |Оп> — волновая функция системы в приближении
Хартри — Фока; V — объем системы; dp |
и d_q— соответственно |
операторы рождения |
и уничтожения |
пары. |
Функции |
вида |
(27.14) принадлежат подпространству с базисом |
|
( | 0 п > |
~+ |
- |
|
|
(27-15) |
II Фч (Pi. Ра) > = d+ (Pi) d_q (р2) | On> . |
|
Пара частиц рождается с суммарным |
импульсом q и гибнет |
с импульсом —q, так что закон сохранения |
импульса |
соблю |
дается. Второй член в выражении |
(27.14) отражает виртуаль |
ные возбужденные состояния над системой одночастичных со стояний, описываемых волновой функцией |Оп> .
Чрезвычайно важно, что скалярное произведение < 0 11|Чго> в случае макроскопически, больших систем оказывается экспо
ненциально малой величиной: |
|
|
|
< 0 П| Ч'0> ~ е х р (-1 /), |
(27.16) |
где |
|ЧЛ>>— волновая |
функция, |
описывающая |
конечное число |
парных возбуждений. |
Легко видеть, что |
|
q |
2 I <Фч(р1, Р-з) I ^о> I2= |
< lFo I О | VF0> ~ехр(—V). |
, р. ■р2 |
|
|
|
Поэтому введенный выше параметр у®г близок к единице. Ины
ми словами, подпространство (27.15) практически пусто. Это легко попять, если учесть, что функция (27.14) соответствует возбуждению всего лишь двух пар па всю бесконечную систе му. Поэтому функции типа (27.14) не имеют ничего общего с истинной функцией основного состояния для достаточно про тяженной системы.
По этой причине среднее значение гамильтониана системы по состоянию (27.14) в пределе N—^oo равно энергии Хартри — Фока и не зависит от конкретного вида cDq (рь Рг). Эта функция
•определяет лишь вклад в < lF |# |xF > , не зависящий от числа
•частиц N. Нас же интересуют аддитивные свойства системы.
§ 28. ЭЛЕКТРОННЫЙ ГАЗ В ПЕРИОДИЧЕСКОМ ВНЕШНЕМ ПОЛЕ. ОПРЕДЕЛЕНИЕ И СВОЙСТВА ЯЧЕИСТОГО БАЗИСА
Обсудим построение верхних и нижних оценок для энергии системы на примере электронного газа. Эта конкретная задача не умаляет общности рассуждений для системы многих частиц с положительно определенным оператором взаимодействия.
Рассмотрим метод построения систематических оценок свер ху и снизу для энергии основного состояния электронного газа в периодическом внешнем поле. Гамильтониан такой системы
Н = |
Г и (г,.) |
(28.1) |
|
|
i+ i |
тде Mi — масса; pi — импульс i-й частицы; U(г,)— потенциаль
ная энергия г-го электрона во внешнем поле; |
N — число элек |
тронов в системе; |
|
|
|
«(I г, — 17.|) = е2/\ г,- |
гj | |
|
—'Энергия взаимодействия электронов, |
находящихся в точках |
г,- и rj. Предполагается, |
что система помещена в большой ку |
бический ящик объемом |
V и в целом электронейтральиа. |
Поскольку представляют интерес объемные свойства такой |
системы, будет оценена, |
в частности, |
энергия, |
приходящаяся |
на одну частицу в основном состоянии системы с гамильтониа ном (28.1). Поэтому в дальнейшем будем изучать асимптоти ческие свойства системы при jV—voo, V—>оо, n = NjP=const (ос новное приближение Гиббса). Безразмерный параметр зада чи * — среднее расстояние между электронами, измеренное в единицах боровского радиуса:
rs = rja0= (3/4яп)'/,/а0 = (9n/4)v*//yi0, |
(28-2) |
где pF— импульс Ферми.
В задаче возможны два предельных случая, когда решение
может быть получено в виде ряда (вообще говоря, асимптоти |
ческого) по параметру г„. |
Эти случаи подробно рассмотрены |
в предыдущей главе (rg» l |
и rs<Cl). |
Для промежуточных значений г., можно предложить метод |
оценок сверху и снизу для энергии Е макроскопически большой системы:
ЕШ1(гв) < |
... < Еш .(г6) < Е щ +1 (rs) < . . . < Е (rs) < |
< |
.(д) < |
... < ЁШ1(гл), |
(28.3) |
где Е S0j. — (верхняя или нижняя) |
оценка, получаемая |
построе |
нием соответствующих проекций гамильтониана на подпрост ранство ЗЛ{, которое определяется допустимыми конфигурация ми и объемом ячейки (о ячейке см. ниже).
Величина ДздДг.,.) представляется в виде ряда теории воз
мущений по параметру, который определяет отношение неаддитивпой части энергии к аддитивной (значение этих терминов определяется ниже). Этот параметр можно сделать достаточно малым при произвольном значении гя надлежащим выбором объема ячейки V0. Оценка Е ^ . может быть улучшена построе
нием проекций в подпространстве ЭЛ!+ь учитывающих более сложные конфигурации системы, что приводит к оценке Дэд. ( Г.
Системы оценок Ещ. и Е ^ 1сходятся, |
вообще говоря, к точной |
функции |
E(rs). Вычисления в предельных случаях, приведен |
ные ниже, |
дают основание надеяться, |
что сходимость этих оце |
нок достаточно быстрая. Далее будет показано, что система оценок для Еул;, вообще говоря, конечна. Поэтому не возникает
вопроса о характере сходимости. Речь может идти лишь о том, насколько быстро возрастает точность оценок при переходе от
к Е щ +г ■
Получение надежных оценок для энергии при промежуточ ных значениях г* имеет большое значение, так как такое вычис-
* Разумеется, есть еще параметры, характеризующие внешнее поле (на пример, число электронов, приходящееся на одну элементарную ячейку, илиинтенсивность поля |) . Однако, поскольку нас интересуют корреляционныесвойства системы, можно считать внешнее поле слабым (£<С1) и учитывать его по теории возмущений.
лемие позволяет определить энергию системы при любых зна чениях плотности частиц. Обобщение на случай конечных тем ператур позволило бы получить уравнение состояния систем с кулоновским взаимодействием без ограничений плотности.
Здесь следует сделать оговорку, что изложенные в предыду
щем параграфе |
теоремы о |
внутренней проекции оператора |
|
|
/ч |
справедливы для положительно определенного оператора V. |
Казалось бы, это |
ограничение |
является очень серьезным, если |
/ч
вкачестве V выступает оператор взаимодействия. Действи
тельно, тогда указанное ограничение исключает рассмотрение систем с силами притяжения н не позволяет рассматривать связанные состояния системы. Поэтому было бы очень жела тельно доказательство аналогичных теорем для отрицательно определенных операторов. Это позволило бы существенно рас ширить класс задач, которые можно было бы рассматривать предлагаемым методом.
Однако оператор V не обязательно является оператором взаимодействия. В общем случае это лишь часть полного га
мильтониана и никто не запрещает разбивать Н на Я0 и U произвольным способом. Поэтому часто оказывается возмож ным путем вычитания и добавления одинаковых членов в га
мильтониан выделить в качестве U подходящий положительно -определенный оператор. В случае рассматриваемой задачи об электронном газе такого вопроса не возникает, так как опера тор взаимодействия для этой системы является положительно определенным. Как показано в § 27, для атома или иона, га
мильтониан |
взаимодействия |
которых содержит |
отрицательные |
•операторы, |
также |
удается |
положительно определить |
one- |
/ s |
|
|
|
|
|
ратор U. |
|
|
|
|
|
Перейдем |
теперь |
к определению и свойствам |
я ч е и с т о г о |
б а з и с а , построение |
которого — одна из возможностей |
обой |
ти трудности построения внешней и внутренней проекций в за даче мнргих тел, о которых говорилось в § 27. Упомянутые трудности связаны с тем, что число частиц системы N макро скопически велико. Этих трудностей можно избежать, если вы делить из системы некоторую ее часть, например некоторый
•объем Ко, содержащий конечное число частиц, и изучать этот объем с помощью методов, изложенных выше. Эта процедура допустима, если энергия взаимодействия выделенной области с остальной частью системы достаточно мала по сравнению с внутренней энергией выделенной подсистемы, и это «поверх ностное» взаимодействие можно учесть по теории возмущений.
Последнее означает, вообще говоря, что выделенная подси стема содержит достаточно много частиц. В то же время фор мальный аппарат для изучения этой выделенной области не
требует большого числа частиц в ячейке. Так, при |
число |
частиц в ячейке может приближаться к одной-двум. |
В общем |
случае (промежуточные rs) размер ячейки определяется усло вием оптимизации, т. е. так, чтобы число частиц в ячейке было бы не очень большим (иначе возникают большие вычислитель
|
|
|
|
ные трудности, много приближений) и не очень |
малым чтобы |
обеспечить малость неаддитивной части энергии |
по сравнению |
с аддитивной. |
Реализация |
этой программы требует введения |
специального |
формального |
аппарата — вторичного квантования |
в ячеистом базисе.
Построение ячеистого базиса. Разобьем большой ящик объ емом V, в который заключена система, на кубические ячейки объемом У0Положение каждой ячейки будем определять век тором RnУдобно выбирать ячейки так, чтобы каждая из них содержала в себе целое число периодов внешнего поля, т. е. чтобы выполнялось условие:
|
U (r)=7/(r + Rn). |
(28.4) |
В остальном размеры ячеек пока произвольны. |
сле |
Рассмотрим систему функций { ф п . р (г)}, определенную |
дующим образом: |
|
|
ф |
k (r)= |Уо~,/гехР ('кг), |
если г принадлежит п-й ячейке, |
(28 5) |
п’ |
|0 |
в остальных случаях. |
|
Здесь п определяет ячейку, внутри которой данная функция от лична от нуля, а значения к выбираются из условия периодич
ности функции |
(28.5) на гранях кубической ячейки: |
(28.6) |
k t = |
(2я/У'/я) 1, |
i - 0, ± 1, ±2, . . . |
Внутри каждой ячейки функции |
|
|
фп , к (г) |
= V 7 ‘/ !e xp (ik r) |
|
(г принадлежит n-й ячейке) |
образуют при условии |
(28.6) пол |
ную ортонормированную систему функций: |
|
|
[Фп.к Фп.к^г = 6“.ic. |
(28.7) |
|
й„ |
|
|
С учетом условия (28.7) система функций (28.6) ортонормиро-
вана в объеме V. Действительно, |
|
\ Фп к (г)ф„' к' (г) * = бп. П'6к, к'. |
(28.8) |
‘н |
|
Покажем, что система (28.6) полна в большом ящике. Пол нота системы функций по определению означает, что для лю бой функции /(г), определенной и непрерывной внутри п-й ячейки, ее ряд Фурье по функциям ф п.к (г ) сходится в сред нем к /(г):