Определитель Слейтера - Slater determinant

В квантовой механике , А определитель Слейтера является выражением , которое описывает волновую функцию от мульти- фермионной системы. Он удовлетворяет требованиям антисимметрии и, следовательно, принципу Паули , меняя знак при обмене двумя электронами (или другими фермионами). Только небольшое подмножество всех возможных фермионных волновых функций может быть записано как один определитель Слейтера, но они образуют важное и полезное подмножество из-за своей простоты.

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

Детерминант Слейтера назван в честь Джона С. Слейтера , который ввел его в 1929 году как средство обеспечения антисимметрии многоэлектронной волновой функции, хотя волновая функция в детерминантной форме впервые появилась независимо в статьях Гейзенберга и Дирака за три года. ранее.

Определение

Двухчастичный случай

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

Это выражение используется в методе Хартри как анзац для многочастичной волновой функции и известно как произведение Хартри . Однако для фермионов это неудовлетворительно, поскольку указанная выше волновая функция не является антисимметричной при обмене любыми двумя фермионами, как это должно быть в соответствии с принципом исключения Паули . Математически антисимметричную волновую функцию можно описать следующим образом:

Это не относится к продукту Хартри, который, следовательно, не удовлетворяет принципу Паули. Эту проблему можно решить, взяв линейную комбинацию обоих продуктов Hartree:

где коэффициент - нормировочный коэффициент . Эта волновая функция теперь антисимметрична и больше не различает фермионы (то есть нельзя указать порядковый номер конкретной частице, а указанные индексы взаимозаменяемы). Более того, он также стремится к нулю, если любые две спиновые орбитали двух фермионов совпадают. Это эквивалентно соблюдению принципа исключения Паули.

Случай с несколькими частицами

Выражение можно обобщить на любое количество фермионов, записав его как определитель . Для N -электронной системы определитель Слейтера определяется как

где в последних двух выражениях используется сокращение для определителей Слейтера: константа нормировки подразумевается путем записи числа N, и записываются только одночастичные волновые функции (первое сокращение) или индексы для координат фермионов (второе сокращение). Все пропущенные метки должны вести себя в возрастающей последовательности. Линейная комбинация произведений Хартри для случая двух частиц идентична определителю Слейтера для N = 2. Использование определителей Слейтера обеспечивает антисимметричную функцию с самого начала. Таким же образом использование определителей Слейтера обеспечивает соответствие принципу Паули . Действительно, определитель Slater исчезает , если множество является линейно зависимым . В частности, это тот случай, когда две (или более) спиновые орбитали одинаковы. В химии этот факт выражается утверждением, что никакие два электрона с одинаковым спином не могут занимать одну и ту же пространственную орбиталь.

Пример: матричные элементы в многоэлектронной задаче

Многие свойства детерминанта Слейтера оживают на примере нерелятивистской многоэлектронной проблемы.

  • Одночастичные члены гамильтониана будут вносить вклад так же, как и для простого произведения Хартри, а именно, энергия суммируется, а состояния независимы.
  • Многочастичные члены гамильтониана, то есть члены обмена, приведут к снижению энергии собственных состояний

Начиная с гамильтониана:

где - электроны, - ядра и

Для простоты мы замораживаем ядра в равновесии в одном положении и остаемся с упрощенным гамильтонианом

куда

и где мы будем различать в гамильтониане первый набор терминов как (члены "1") и последний член, который является термином "2" частицы или термином обмена

Эти две части будут вести себя по-разному, когда им придется взаимодействовать с детерминантной волновой функцией Слейтера. Начинаем вычислять математические ожидания

В приведенном выше выражении мы можем просто выбрать идентичную перестановку в определителе в левой части, поскольку все остальные N! - 1 перестановка даст тот же результат, что и выбранная. Таким образом, мы можем сократить N! в знаменателе

Из-за ортонормированности спин-орбиталей также очевидно, что только идентичная перестановка сохраняется в определителе в правой части указанного выше матричного элемента

Этот результат показывает, что антисимметризация продукта не имеет никакого эффекта для одночастичных членов и ведет себя так же, как и в случае простого продукта Хартри.

И, наконец, мы остаемся со следом по одночастичным гамильтонианам

Это говорит нам о том, что в пределах одной частицы волновые функции электронов независимы друг от друга, а энергия определяется суммой энергий отдельных частиц.

Вместо обменной части

Если мы увидим действие одного члена обмена, он выберет только обменные волновые функции.

И наконец

который вместо этого является термином смешивания, первый вклад называется «кулоновским» членом, а второй - «обменным» термином, который может быть записан с использованием или , поскольку кулоновский и обменный вклады точно компенсируют друг друга .

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

В качестве приближения

Большинство фермионных волновых функций не могут быть представлены как детерминант Слейтера. Наилучшее приближение Слейтера к данной фермионной волновой функции может быть определено как такое, которое максимизирует перекрытие между детерминантом Слейтера и целевой волновой функцией. Максимальное перекрытие - это геометрическая мера запутанности между фермионами.

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

Обсуждение

Слово « детор » было предложено SF Boys для обозначения определителя Слейтера ортонормированных орбиталей, но этот термин используется редко.

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

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

использованная литература

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