Определитель Слейтера - Slater determinant
В квантовой механике , А определитель Слейтера является выражением , которое описывает волновую функцию от мульти- фермионной системы. Он удовлетворяет требованиям антисимметрии и, следовательно, принципу Паули , меняя знак при обмене двумя электронами (или другими фермионами). Только небольшое подмножество всех возможных фермионных волновых функций может быть записано как один определитель Слейтера, но они образуют важное и полезное подмножество из-за своей простоты.
Определитель Слейтера возникает из рассмотрения волновой функции для совокупности электронов, каждая из которых имеет волновую функцию, известную как спин-орбиталь , где обозначает положение и спин отдельного электрона. Детерминант Слейтера, содержащий два электрона с одинаковой спиновой орбиталью, будет соответствовать волновой функции, которая везде равна нулю.
Детерминант Слейтера назван в честь Джона С. Слейтера , который ввел его в 1929 году как средство обеспечения антисимметрии многоэлектронной волновой функции, хотя волновая функция в детерминантной форме впервые появилась независимо в статьях Гейзенберга и Дирака за три года. ранее.
Определение
Двухчастичный случай
Самый простой способ аппроксимировать волновую функцию системы многих частиц - это взять произведение правильно выбранных ортогональных волновых функций отдельных частиц. Для двухчастичного случая с координатами и имеем
Это выражение используется в методе Хартри как анзац для многочастичной волновой функции и известно как произведение Хартри . Однако для фермионов это неудовлетворительно, поскольку указанная выше волновая функция не является антисимметричной при обмене любыми двумя фермионами, как это должно быть в соответствии с принципом исключения Паули . Математически антисимметричную волновую функцию можно описать следующим образом:
Это не относится к продукту Хартри, который, следовательно, не удовлетворяет принципу Паули. Эту проблему можно решить, взяв линейную комбинацию обоих продуктов Hartree:
где коэффициент - нормировочный коэффициент . Эта волновая функция теперь антисимметрична и больше не различает фермионы (то есть нельзя указать порядковый номер конкретной частице, а указанные индексы взаимозаменяемы). Более того, он также стремится к нулю, если любые две спиновые орбитали двух фермионов совпадают. Это эквивалентно соблюдению принципа исключения Паули.
Случай с несколькими частицами
Выражение можно обобщить на любое количество фермионов, записав его как определитель . Для N -электронной системы определитель Слейтера определяется как
где в последних двух выражениях используется сокращение для определителей Слейтера: константа нормировки подразумевается путем записи числа N, и записываются только одночастичные волновые функции (первое сокращение) или индексы для координат фермионов (второе сокращение). Все пропущенные метки должны вести себя в возрастающей последовательности. Линейная комбинация произведений Хартри для случая двух частиц идентична определителю Слейтера для N = 2. Использование определителей Слейтера обеспечивает антисимметричную функцию с самого начала. Таким же образом использование определителей Слейтера обеспечивает соответствие принципу Паули . Действительно, определитель Slater исчезает , если множество является линейно зависимым . В частности, это тот случай, когда две (или более) спиновые орбитали одинаковы. В химии этот факт выражается утверждением, что никакие два электрона с одинаковым спином не могут занимать одну и ту же пространственную орбиталь.
Пример: матричные элементы в многоэлектронной задаче
Многие свойства детерминанта Слейтера оживают на примере нерелятивистской многоэлектронной проблемы.
- Одночастичные члены гамильтониана будут вносить вклад так же, как и для простого произведения Хартри, а именно, энергия суммируется, а состояния независимы.
- Многочастичные члены гамильтониана, то есть члены обмена, приведут к снижению энергии собственных состояний
Начиная с гамильтониана:
где - электроны, - ядра и
Для простоты мы замораживаем ядра в равновесии в одном положении и остаемся с упрощенным гамильтонианом
куда
и где мы будем различать в гамильтониане первый набор терминов как (члены "1") и последний член, который является термином "2" частицы или термином обмена
Эти две части будут вести себя по-разному, когда им придется взаимодействовать с детерминантной волновой функцией Слейтера. Начинаем вычислять математические ожидания
В приведенном выше выражении мы можем просто выбрать идентичную перестановку в определителе в левой части, поскольку все остальные N! - 1 перестановка даст тот же результат, что и выбранная. Таким образом, мы можем сократить N! в знаменателе
Из-за ортонормированности спин-орбиталей также очевидно, что только идентичная перестановка сохраняется в определителе в правой части указанного выше матричного элемента
Этот результат показывает, что антисимметризация продукта не имеет никакого эффекта для одночастичных членов и ведет себя так же, как и в случае простого продукта Хартри.
И, наконец, мы остаемся со следом по одночастичным гамильтонианам
Это говорит нам о том, что в пределах одной частицы волновые функции электронов независимы друг от друга, а энергия определяется суммой энергий отдельных частиц.
Вместо обменной части
Если мы увидим действие одного члена обмена, он выберет только обменные волновые функции.
И наконец
который вместо этого является термином смешивания, первый вклад называется «кулоновским» членом, а второй - «обменным» термином, который может быть записан с использованием или , поскольку кулоновский и обменный вклады точно компенсируют друг друга .
Важно явно отметить, что энергия отталкивания электрон-электрон на антисимметричном произведении спин-орбиталей всегда ниже, чем энергия отталкивания электрон-электрон на простом произведении Хартри тех же спин-орбиталей. Разница просто представлена вторым членом в правой части без членов самовзаимодействия . Поскольку обменные биэлектронные интегралы являются положительными величинами, отличными от нуля только для спин-орбиталей с параллельными спинами, мы связываем уменьшение энергии с физическим фактом, что электроны с параллельным спином удерживаются друг от друга в реальном пространстве в состояниях детерминанта Слейтера.
В качестве приближения
Большинство фермионных волновых функций не могут быть представлены как детерминант Слейтера. Наилучшее приближение Слейтера к данной фермионной волновой функции может быть определено как такое, которое максимизирует перекрытие между детерминантом Слейтера и целевой волновой функцией. Максимальное перекрытие - это геометрическая мера запутанности между фермионами.
Один определитель Слейтера используется в качестве приближения к электронной волновой функции в теории Хартри – Фока . В более точных теориях (таких как взаимодействие конфигураций и MCSCF ) требуется линейная комбинация детерминант Слейтера.
Обсуждение
Слово « детор » было предложено SF Boys для обозначения определителя Слейтера ортонормированных орбиталей, но этот термин используется редко.
В отличие от фермионов , которые подчиняются принципу исключения Паули, два или более бозона могут занимать одно и то же одночастичное квантовое состояние. Волновые функции, описывающие системы одинаковых бозонов , симметричны относительно обмена частицами и могут быть расширены в терминах перманентов .
Смотрите также
- Антисимметризатор
- Электронная орбиталь
- Фокское пространство
- Квантовая электродинамика
- Квантовая механика
- Физическая химия
- Правило Хунда
- Метод Хартри – Фока
использованная литература
внешние ссылки
- Многие электронные состояния в Е. Pavarini, Э. Коха и У. Schollwöck: Эмерджентный явления в коррелированных Материи, Jülich 2013, ISBN 978-3-89336-884-6