stringtranslate.com

Метод Хартри – Фока

В вычислительной физике и химии метод Хартри–Фока ( HF ) — метод приближения для определения волновой функции и энергии квантовой системы многих тел в стационарном состоянии .

Метод Хартри-Фока часто предполагает, что точная N -частичная волновая функция системы может быть аппроксимирована одним определителем Слейтера (в случае, когда частицы являются фермионами ) или одним постоянным (в случае бозонов ) N спин-орбитали . Применяя вариационный метод , можно вывести набор N -связанных уравнений для N спиновых орбиталей. Решение этих уравнений дает волновую функцию Хартри – Фока и энергию системы. Приближение Хартри-Фока является примером теории среднего поля [1] , где пренебрежение флуктуациями более высокого порядка параметра порядка позволяет заменить члены взаимодействия квадратичными членами, получая точно решаемые гамильтонианы.

Особенно в более старой литературе метод Хартри-Фока также называют методом самосогласованного поля ( SCF ). При выводе того, что сейчас называется уравнением Хартри как приближенного решения уравнения Шрёдингера , Хартри потребовал, чтобы окончательное поле, вычисленное на основе распределения заряда, было «самосогласованным» с предполагаемым начальным полем. Таким образом, самосогласованность была требованием решения. Решения нелинейных уравнений Хартри – Фока также ведут себя так, как будто каждая частица подвергается воздействию среднего поля, создаваемого всеми другими частицами (см. оператор Фока ниже), и, следовательно, терминология продолжается. Уравнения практически всегда решаются с помощью итерационного метода , хотя алгоритм итерации с фиксированной точкой не всегда сходится. [2] Эта схема решения не является единственно возможной и не является существенной особенностью метода Хартри–Фока.

Метод Хартри-Фока находит свое типичное применение при решении уравнения Шредингера для атомов, молекул, наноструктур [3] и твердых тел, но он также нашел широкое применение в ядерной физике . ( Обсуждение его применения в теории структуры ядра см. в методе Хартри – Фока – Боголюбова ). В теории атомной структуры расчеты могут проводиться для спектра со многими возбужденными уровнями энергии, и, следовательно, метод Хартри-Фока для атомов предполагает, что волновая функция представляет собой единую конфигурационную функцию состояния с четко определенными квантовыми числами и что энергетический уровень не обязательно основное состояние .

Как для атомов, так и для молекул решение Хартри-Фока является центральной отправной точкой для большинства методов, которые более точно описывают многоэлектронную систему.

Оставшаяся часть этой статьи будет посвящена приложениям в теории электронной структуры, подходящим для молекул с атомом как особым случаем. Здесь обсуждается только ограниченный метод Хартри-Фока, где атом или молекула представляет собой систему с замкнутой оболочкой, в которой все орбитали (атомные или молекулярные) заняты дважды. Системы с открытой оболочкой , в которых некоторые электроны не спарены, можно рассматривать либо с помощью ограниченного метода открытой оболочки , либо с помощью неограниченного метода Хартри – Фока.

Краткая история

Ранние полуэмпирические методы

Зарождение метода Хартри-Фока относится к концу 1920-х годов, вскоре после открытия уравнения Шредингера в 1926 году. Методы Дугласа Хартри основывались на некоторых более ранних полуэмпирических методах начала 1920-х годов (Э. Фьюса , Р.Б. Линдсей и он сам) установили старую квантовую теорию Бора.

В модели атома Бора энергия состояния с главным квантовым числом n выражается в атомных единицах как . Из атомных спектров было замечено, что энергетические уровни многоэлектронных атомов хорошо описываются применением модифицированной версии формулы Бора. Введение квантового дефекта d в ​​качестве эмпирического параметра позволило хорошо аппроксимировать энергетические уровни обычного атома формулой в том смысле, что можно было достаточно хорошо воспроизвести наблюдаемые уровни переходов, наблюдаемые в рентгеновской области (см., например, эмпирическое обсуждение и вывод закона Мозли ). Существование ненулевого квантового дефекта было объяснено электрон-электронным отталкиванием, которого явно не существует в изолированном атоме водорода. Это отталкивание привело к частичной экранировке голого ядерного заряда. Эти ранние исследователи позже представили другие потенциалы, содержащие дополнительные эмпирические параметры, в надежде лучше воспроизвести экспериментальные данные.

метод Хартри

В 1927 году Д. Р. Хартри представил процедуру, которую он назвал методом самосогласованного поля, для расчета приближенных волновых функций и энергий атомов и ионов. [4] Хартри стремился покончить с эмпирическими параметрами и решить независимое от времени уравнение Шредингера для многих тел, исходя из фундаментальных физических принципов, т.е. ab initio . Его первый предложенный метод решения стал известен как метод Хартри или произведение Хартри . Однако многие современники Хартри не понимали физической подоплеки метода Хартри: многим людям казалось, что он содержит эмпирические элементы, и его связь с решением уравнения Шредингера для многих тел была неясной. Однако в 1928 году Дж. К. Слейтер и Дж. А. Гонт независимо друг от друга показали, что метод Хартри можно сформулировать на более прочной теоретической основе, применив вариационный принцип к анзацу (пробной волновой функции) как произведению одночастичных функций. [5] [6]

В 1930 году Слейтер и В.А. Фок независимо указали, что метод Хартри не учитывает принцип антисимметрии волновой функции. [7] [8] В методе Хартри использовался принцип исключения Паули в его старой формулировке, запрещающий присутствие двух электронов в одном и том же квантовом состоянии. Однако было показано, что это фундаментально неполное из-за пренебрежения квантовой статистикой .

Хартри-Фок

Решение проблемы отсутствия антисимметрии в методе Хартри появилось, когда было показано, что определитель Слейтера , определитель одночастичных орбиталей, впервые использованный Гейзенбергом и Дираком в 1926 году, тривиально удовлетворяет антисимметричному свойству точного решения и, следовательно, является подходящим анзацем для применения вариационного принципа . Тогда оригинальный метод Хартри можно рассматривать как приближение к методу Хартри-Фока, пренебрегая обменом . Оригинальный метод Фока в значительной степени опирался на теорию групп и был слишком абстрактным, чтобы современные физики могли его понять и реализовать. В 1935 году Хартри переформулировал метод, сделав его более подходящим для расчетов. [9]

Метод Хартри-Фока, несмотря на его физически более точную картину, мало использовался до появления электронных компьютеров в 1950-х годах из-за гораздо более высоких вычислительных требований по сравнению с ранним методом Хартри и эмпирическими моделями. [10] Первоначально и метод Хартри, и метод Хартри–Фока применялись исключительно к атомам, где сферическая симметрия системы позволяла существенно упростить задачу. Эти приближенные методы часто использовались (и используются) вместе с приближением центрального поля, чтобы наложить условие, что электроны в одной и той же оболочке имеют одну и ту же радиальную часть, и ограничить вариационное решение собственной функцией спина . Несмотря на это, вычисление решения вручную с использованием уравнений Хартри – Фока для атома среднего размера было трудоемким; малые молекулы требовали вычислительных ресурсов, намного превышающих те, которые были доступны до 1950 года.

Алгоритм Хартри – Фока

Метод Хартри-Фока обычно используется для решения независимого от времени уравнения Шредингера для многоэлектронного атома или молекулы, как описано в приближении Борна-Оппенгеймера . Поскольку аналитических решений для многоэлектронных систем не известно ( есть решения для одноэлектронных систем, таких как водородные атомы и двухатомный катион водорода), задача решается численно. Из-за нелинейностей, вносимых приближением Хартри-Фока, уравнения решаются с использованием нелинейного метода, такого как итерация , что дает начало названию «метод самосогласованного поля».

Приближения

Метод Хартри-Фока предполагает пять основных упрощений для решения этой задачи:

Ослабление последних двух приближений привело к появлению многих так называемых пост-методов Хартри-Фока .

Вариационная оптимизация орбиталей

Алгоритмическая схема, иллюстрирующая метод Хартри – Фока

Вариационная теорема утверждает, что для независимого от времени гамильтониана любая пробная волновая функция будет иметь энергетическое математическое ожидание , которое больше или равно истинной волновой функции в основном состоянии , соответствующей данному гамильтониану. Из-за этого энергия Хартри-Фока является верхней границей истинной энергии основного состояния данной молекулы. В контексте метода Хартри-Фока наилучшее возможное решение находится на пределе Хартри-Фока ; т. е. предел энергии Хартри – Фока, когда базисный набор приближается к полноте . (Другой — это предел полного CI , где последние два приближения теории Хартри-Фока, как описано выше, полностью отменены. Только когда оба предела достигнуты, точное решение, с точностью до приближения Борна-Оппенгеймера, есть получено.) Энергия Хартри – Фока представляет собой минимальную энергию для одного определителя Слейтера.

Отправной точкой метода Хартри-Фока является набор приближенных одноэлектронных волновых функций, известных как спин-орбитали . Для расчета атомных орбиталей обычно это орбитали водородоподобного атома (атома только с одним электроном, но с соответствующим зарядом ядра). Для расчета молекулярных орбиталей или кристаллов исходные приближенные одноэлектронные волновые функции обычно представляют собой линейную комбинацию атомных орбиталей (LCAO).

Приведенные выше орбитали учитывают присутствие других электронов только в среднем. В методе Хартри-Фока влияние других электронов учитывается в контексте теории среднего поля . Орбитали оптимизируются, требуя от них минимизировать энергию соответствующего определителя Слейтера. Полученные вариационные условия на орбиталях приводят к новому одноэлектронному оператору — оператору Фока . Как минимум, занятые орбитали являются собственными решениями оператора Фока посредством унитарного преобразования между собой. Оператор Фока представляет собой эффективный одноэлектронный оператор Гамильтона, представляющий собой сумму двух слагаемых. Первый представляет собой сумму операторов кинетической энергии для каждого электрона, энергии межъядерного отталкивания и сумму ядерно-электронных членов кулоновского притяжения. Вторые - это члены кулоновского отталкивания между электронами в описании теории среднего поля; чистая энергия отталкивания каждого электрона в системе, которая рассчитывается путем рассмотрения всех остальных электронов внутри молекулы как плавного распределения отрицательного заряда. Это основное упрощение, присущее методу Хартри – Фока, эквивалентное пятому упрощению в приведенном выше списке.

Поскольку оператор Фока зависит от орбиталей, использованных для построения соответствующей матрицы Фока , собственные функции оператора Фока, в свою очередь, являются новыми орбиталями, которые можно использовать для построения нового оператора Фока. Таким образом, орбитали Хартри-Фока оптимизируются итеративно до тех пор, пока изменение полной электронной энергии не упадет ниже заранее определенного порога. Таким образом рассчитывается набор самосогласованных одноэлектронных орбиталей. Электронная волновая функция Хартри – Фока тогда является определителем Слейтера, построенным из этих орбиталей. Следуя основным постулатам квантовой механики, волновую функцию Хартри-Фока можно затем использовать для вычисления любого желаемого химического или физического свойства в рамках метода Хартри-Фока и используемых приближений.

Математическая формулировка

Вывод

Чтобы вывести Хартри-Фока, мы минимизируем функционал энергии для N электронов

где – молекулярный гамильтониан в приближении Борна-Оппенгеймера, – волновая функция Хартри-Фока одного определителя Слейтера, а второй член – это сумма по множителю Лагранжа и ограничению, согласно которому спиновые орбитали определителя Слейтера

являются ортонормированными. Поскольку мы можем выбрать базис , мы выбираем такой базис, в котором матрица множителя Лагранжа становится диагональной, т.е. Выполнив вариацию , получим

Множитель 1/2 в молекулярном гамильтониане выпадает перед двойными интегралами из-за симметрии и правила произведения. Находим уравнение Фока

где кулоновский оператор и оператор обмена определяются следующим образом

Оператор обмена не имеет классического аналога и может быть определен только как интегральный оператор.

Оператор Фока

Поскольку член электрон-электронного отталкивания молекулярного гамильтониана включает в себя координаты двух разных электронов, необходимо его приближенно переформулировать. В соответствии с этим приближением (описанным в алгоритме Хартри-Фока ) все члены точного гамильтониана, за исключением члена ядерно-ядерного отталкивания, повторно выражаются как сумма одноэлектронных операторов, описанных ниже, для атомов или молекул с замкнутой оболочкой ( с двумя электронами на каждой пространственной орбитали). [14] Символ «(1)» после каждого символа оператора просто указывает на то, что оператор по своей природе является 1-электронным.

где

— одноэлектронный оператор Фока, порожденный орбиталями , и

- это одноэлектронный остовный гамильтониан , который включает кинетическую энергию плюс притяжение ко всем ядрам («ядро») молекулы, но не учитывает взаимодействие с другими электронами. [15] Также

оператор Кулона , определяющий энергию электрон-электронного отталкивания каждого из двух электронов на j -й орбитали. [14] Наконец,

оператор обмена , определяющий обменную энергию электронов из-за антисимметрии полной волновой функции N -электронов. [14] Этот оператор «обмена энергией» является просто артефактом определителя Слейтера. Нахождение одноэлектронных волновых функций Хартри – Фока теперь эквивалентно решению уравнения собственных функций

где – набор одноэлектронных волновых функций, называемых молекулярными орбиталями Хартри – Фока.

Общая энергия

Для атома или молекулы с закрытой электронной конфигурацией оболочки полная энергия по методу Хартри-Фока равна

[15]

и – матричные элементы кулоновского и обменного операторов соответственно, а – полное электростатическое отталкивание между всеми ядрами в молекуле.

Линейная комбинация атомных орбиталей

Обычно в современных расчетах Хартри-Фока одноэлектронные волновые функции аппроксимируются линейной комбинацией атомных орбиталей . Эти атомные орбитали называются орбиталями типа Слейтера . Более того, очень часто используемые «атомные орбитали» на самом деле состоят из линейной комбинации одной или нескольких орбиталей гауссовского типа , а не орбиталей слейтеровского типа, в интересах экономии большого количества вычислительного времени.

На практике используются различные базисные наборы , большинство из которых состоят из гауссовских функций. В некоторых приложениях используется метод ортогонализации, такой как процесс Грама – Шмидта, для создания набора ортогональных базисных функций. В принципе, это может сэкономить вычислительное время, когда компьютер решает уравнения Рутана-Холла, эффективно преобразуя матрицу перекрытия в единичную матрицу . Однако в большинстве современных компьютерных программ для молекулярных расчетов Хартри-Фока эта процедура не соблюдается из-за высокой числовой стоимости ортогонализации и появления более эффективных, часто разреженных, алгоритмов решения обобщенной проблемы собственных значений , из которых проблема Рутана-Холла уравнения являются примером.

Численная стабильность

Численная стабильность может стать проблемой при этой процедуре, и существуют различные способы борьбы с этой нестабильностью. Один из самых основных и общеприменимых называется F-смешиванием или демпфированием. При F-смешивании после расчета одноэлектронной волновой функции она не используется напрямую. Вместо этого используется некоторая комбинация этой рассчитанной волновой функции и предыдущих волновых функций для этого электрона, наиболее распространенной из которых является простая линейная комбинация рассчитанной и непосредственно предшествующей волновой функции. Умная уловка, использованная Хартри для атомных расчетов, заключалась в увеличении заряда ядра, тем самым сближая все электроны. По мере того, как система стабилизировалась, этот заряд постепенно снижался до правильного уровня. В молекулярных расчетах иногда используется аналогичный подход: сначала вычисляется волновая функция положительного иона, а затем используются эти орбитали в качестве отправной точки для нейтральной молекулы. Современные молекулярные компьютерные программы Хартри-Фока используют множество методов для обеспечения сходимости уравнений Рутана-Холла.

Слабые стороны, расширения и альтернативы

Из пяти упрощений, описанных в разделе «Алгоритм Хартри – Фока», пятое обычно является наиболее важным. Пренебрежение электронной корреляцией может привести к большим отклонениям от экспериментальных результатов. Был разработан ряд подходов к устранению этой слабости, получивших общее название пост- методы Хартри-Фока, для включения электронной корреляции в многоэлектронную волновую функцию. Один из этих подходов, теория возмущений Меллера – Плессе , рассматривает корреляцию как возмущение оператора Фока. Другие расширяют истинную многоэлектронную волновую функцию с точки зрения линейной комбинации определителей Слейтера, таких как многоконфигурационное самосогласованное поле , конфигурационное взаимодействие , квадратичное конфигурационное взаимодействие и SCF полного активного пространства (CASSCF) . Третьи (например, вариационный квантовый Монте-Карло ) модифицируют волновую функцию Хартри-Фока, умножая ее на корреляционную функцию (фактор Джастроу), член, который явно является функцией нескольких электронов, которые не могут быть разложены на независимые одночастичные. функции.

Альтернативой расчетам Хартри-Фока, используемым в некоторых случаях, является теория функционала плотности , которая рассматривает как обменную, так и корреляционную энергию, хотя и приблизительно. Действительно, часто используются вычисления, представляющие собой гибрид этих двух методов: популярная схема B3LYP является одним из таких гибридных функциональных методов. Другой вариант — использовать современные методы валентной связи .

Пакеты программного обеспечения

Список программных пакетов, которые, как известно, позволяют выполнять расчеты Хартри-Фока, особенно для молекул и твердых тел, см. в списке программного обеспечения для квантовой химии и физики твердого тела .

Смотрите также

Рекомендации

  1. ^ Брюус, Хенрик; Фленсберг, Карстен (2014). Квантовая теория многих тел в физике конденсированного состояния: введение (PDF) (исправленная версия под ред.). Оксфорд, Нью-Йорк: Издательство Оксфордского университета. ISBN 9780198566335.
  2. ^ Фрёзе Фишер, Шарлотта (1987). «Программа генерала Хартри-Фока». Компьютерная физика. Коммуникации . 43 (3): 355–365. Бибкод : 1987CoPhC..43..355F. дои : 10.1016/0010-4655(87)90053-1.
  3. ^ Абдулсаттар, Мудар А. (2012). «Инфракрасные и рамановские спектры нанокристаллов сверхрешетки SiGe: исследование теории функционала плотности». Дж. Прил. Физ. 111 (4): 044306–044306–4. Бибкод : 2012JAP...111d4306A. дои : 10.1063/1.3686610 .
  4. ^ Хартри, ДР (1928). «Волновая механика атома с некулоновским центральным полем». Математика. Учеб. Кэмб. Филос. Соц. 24 (1): 111. Бибкод : 1928PCPS...24..111H. дои : 10.1017/S0305004100011920. S2CID  121520012.
  5. ^ Слейтер, JC (1928). «Самосогласованное поле и структура атомов». Физ. Откр. 32 (3): 339–348. Бибкод : 1928PhRv...32..339S. дои : 10.1103/PhysRev.32.339.
  6. ^ Гонт, Дж. А. (1928). «Теория атомных полей Хартри». Математика. Учеб. Кэмб. Филос. Соц. 24 (2): 328–342. Бибкод : 1928PCPS...24..328G. дои : 10.1017/S0305004100015851. S2CID  119685329.
  7. ^ Слейтер, JC (1930). «Заметка о методе Хартри». Физ. Откр. 35 (2): 210–211. Бибкод : 1930PhRv...35..210S. дои : 10.1103/PhysRev.35.210.2.
  8. ^ Фок, Вирджиния (1930). «Näherungsmethode zur Lösung des quantenmechanischen Mehrkörperproblems». З. Физ. (на немецком). 61 (1): 126–148. Бибкод : 1930ZPhy...61..126F. дои : 10.1007/BF01340294. S2CID  125419115. Фок, Вирджиния (1930). "«Самосогласованное поле» mit Austausch für Natrium». Z. Phys. (на немецком языке). 62 (11): 795–805. Bibcode : 1930ZPhy...62..795F. doi : 10.1007/BF01330439. S2CID  120921212.
  9. ^ Хартри, ДР; Хартри, В. (1935). «Самосогласованное поле с обменом для бериллия». Учеб. Р. Сок. Лонд. А. _ 150 (869): 9. Бибкод : 1935RSPSA.150....9H. дои : 10.1098/rspa.1935.0085 .
  10. ^ Слейтер, JC (1951). «Упрощение метода Хартри-Фока». Физический обзор . 81 (3): 385–390. Бибкод : 1951PhRv...81..385S. doi : 10.1103/PhysRev.81.385.
  11. ^ Хинчлифф, Алан (2000). Моделирование молекулярных структур (2-е изд.). Баффинс Лейн, Чичестер, Западный Суссекс PO19 1UD, Англия: John Wiley & Sons Ltd. 186. ИСБН 0-471-48993-Х.{{cite book}}: CS1 maint: location (link)
  12. ^ Сабо, А.; Остлунд, Н.С. (1996). Современная квантовая химия . Минеола, Нью-Йорк: Dover Publishing. ISBN 0-486-69186-1.
  13. ^ AJ Stone (1996), Теория межмолекулярных сил , Оксфорд: Clarendon Press.
  14. ^ abc Levine, Ира Н. (1991). Квантовая химия (4-е изд.). Энглвуд Клиффс, Нью-Джерси: Прентис Холл. п. 403. ISBN 0-205-12770-3
  15. ^ Аб Левин, Ира Н. (1991). Квантовая химия (4-е изд.). Энглвуд Клиффс, Нью-Джерси: Прентис Холл. п. 402-3. ISBN 0-205-12770-3

Источники

Внешние ссылки