Физические поля, подчиняющиеся уравнению Шредингера
В квантовая механика и квантовая теория поля, а Поле Шредингера, названный в честь Эрвин Шредингер, это квантовое поле который подчиняется Уравнение Шредингера.[1] Хотя любая ситуация, описываемая полем Шредингера, также может быть описана многотельный Уравнение Шредингера для идентичных частиц, теория поля больше подходит для ситуаций, когда число частиц изменения.
Поле Шредингера также является классическим пределом квантового поля Шредингера, классической волны, которая удовлетворяет уравнению Шредингера. В отличие от квантово-механической волновой функции, если есть взаимодействия между частицами, уравнение будет нелинейный. Эти нелинейные уравнения описывают классический волновой предел системы взаимодействующих одинаковых частиц.
Интеграл по путям поля Шредингера также известен как интеграл по путям когерентных состояний, поскольку само поле является оператором уничтожения, собственные состояния которого можно рассматривать как когерентные состояния гармонических колебаний мод поля.
Поля Шредингера полезны для описания Конденсация Бозе – Эйнштейна, то Боголюбов –де Жен уравнение сверхпроводимость, сверхтекучесть, и теория многих тел в целом. Они также являются полезным альтернативным формализмом для нерелятивистской квантовой механики.
Поле Шредингера - это нерелятивистский предел Поле Клейна – Гордона.
Резюме
А Поле Шредингера это квантовое поле чей кванты подчиняться Уравнение Шредингера. В классическом пределе его можно понимать как квантованное волновое уравнение Конденсат Бозе-Эйнштейна или сверхтекучий.
Свободное поле
Поле Шредингера имеет лагранжиан свободного поля
![L = psi ^ dagger left (i { partial over partial t} + { nabla ^ 2 over 2m} right) psi.](https://wikimedia.org/api/rest_v1/media/math/render/svg/034e3d418144e4987257515c82624412a95a4cff)
Когда
комплекснозначное поле в интеграле по путям или, что то же самое, оператор с каноническими коммутационными соотношениями, он описывает набор идентичных нерелятивистских бозонов. Когда
это ценное поле Grassmann, или, что то же самое, оператор с каноническими антикоммутационными соотношениями, поле описывает идентичные фермионы.
Внешний потенциал
Если частицы взаимодействуют с внешним потенциалом
, взаимодействие вносит локальный вклад в действие:
![S = int_ {xt} psi ^ dagger left (i { partial over partial t} + { nabla ^ 2 over 2m} right) psi - psi ^ dagger (x) psi (x) V (x).](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ad170cb0f7e6e82fdc04a67af206b3873e4e960)
Если обычному уравнению Шредингера для V известны собственные энергетические состояния
с энергиями
, то поле в действии можно повернуть в диагональный базис разложением по модам:
![psi (x) = sum_i psi_i phi_i (x).
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/9180dfff8206cd637055b8f355a8df15487b1ef7)
Действие становится:
![S = int_t sum_i psi_i ^ dagger left (i { partial over partial t} - E_i right) psi_i
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/7aba0c47a2ed01e04d3c5f3cf9fbea8b646bba72)
который представляет собой интеграл по траекториям по положению и импульсу для набора независимых гармонических осцилляторов.
Чтобы увидеть эквивалентность, обратите внимание, что действие, разложенное на действительную и мнимую части:
![S = int_t sum_i 2 psi_r {d psi_i over dt} - E_i ( psi_r ^ 2 + psi_i ^ 2)](https://wikimedia.org/api/rest_v1/media/math/render/svg/22d680c0cdb01ad2faa293e16f9bd55f0e7c03ca)
после интеграции по частям. Интеграция более
дает действие
![S = int_t sum_i {1 над E_i} left ({d psi_i over dt} right) ^ 2 - E_i psi_i ^ 2](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb5d21df8e63e522898a0d0ca417370e114fa273)
который, изменение масштаба
, - действие гармонического осциллятора с частотой
.
Парный потенциал
Когда частицы взаимодействуют с парный потенциал
, взаимодействие является нелокальным вкладом в действие:
![{ Displaystyle S = int _ {xt} psi ^ { dagger} left (i { partial over partial t} + { nabla ^ {2} over 2m} right) psi - int _ {xy} psi ^ { dagger} (y) psi ^ { dagger} (x) V (x, y) psi (x) psi (y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56e34a2cc72cc28d45b3f884a6d09b382c5a09ba)
Парный потенциал - это нерелятивистский предел релятивистского поля, связанного с электродинамикой. Без учета распространяющихся степеней свободы взаимодействие между нерелятивистскими электронами является кулоновским отталкиванием. В 2 + 1 измерениях это:
![{ displaystyle V (x, y) = {j ^ {2} over | y-x |}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3067ef098a869db5c6c2208c14049173d1064f2)
В сочетании с внешним потенциалом для моделирования классических положений ядер поле Шредингера с этим парным потенциалом описывает почти всю физику конденсированного состояния. Исключение составляют такие эффекты, как сверхтекучесть, где важна квантово-механическая интерференция ядер, и электроны внутренней оболочки, где движение электронов может быть релятивистским.
Нелинейное уравнение Шредингера.
Частный случай дельта-функция взаимодействия
широко изучается и известен как нелинейное уравнение Шредингера. Поскольку взаимодействия всегда происходят, когда две частицы занимают одну и ту же точку, действие для нелинейного уравнения Шредингера является локальным:
![{ displaystyle S = int _ {x} psi ^ { dagger} left (i { partial over partial t} + { nabla ^ {2} over 2m} right) psi + лямбда int _ {x} psi ^ { dagger} psi ^ { dagger} psi psi}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f5a97eafb42665a04732c8e9eb5c142bb3e2c88)
Сила взаимодействия
требует перенормировки в размерностях больше 2, а в двух измерениях имеет логарифмическую расходимость. В любых измерениях и даже при степенном расхождении теория определена хорошо. Если частицы являются фермионами, взаимодействие исчезает.
Многотельные потенциалы
Потенциалы могут включать вклад многих тел. Тогда взаимодействующий лагранжиан:
![{ displaystyle L_ {i} = int _ {x} psi ^ { dagger} (x_ {1}) psi ^ { dagger} (x_ {2}) cdots psi ^ { dagger} ( x_ {n}) V (x_ {1}, x_ {2}, dots, x_ {n}) psi (x_ {1}) psi (x_ {2}) cdots psi (x_ {n} ). ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d0fc9c5e73e765e2ac446c8461d00c2a56072e0)
Эти типы потенциалов важны для некоторых эффективных описаний плотноупакованных атомов. Взаимодействия высшего порядка становятся все менее и менее важными.
Канонический формализм
Каноническая связь импульса с полем
является
![Pi (x) = i psi ^ dagger.
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a29cf70ee6c8e871e2552eb1402c2dcb0f27413)
Канонические коммутационные соотношения подобны независимому гармоническому осциллятору в каждой точке:
![[ psi (x), psi ^ dagger (y)] = delta (x-y).](https://wikimedia.org/api/rest_v1/media/math/render/svg/40af25c0c449aaeb1e974ad5f7aa6d4886e2859d)
Гамильтониан поля равен
![{ displaystyle H = S- int Pi (x) {d over dt} psi = int {| nabla psi | ^ {2} over 2m} + int _ {xy} psi ^ { dagger} (x) psi ^ { dagger} (y) V (x, y) psi (x) psi (y) ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfef7316ea9506151101b8914e316a420b3b874b)
а уравнение поля для любого взаимодействия является нелинейной и нелокальной версией уравнения Шредингера. Для парных взаимодействий:
![i { partial over partial t} psi = - { nabla ^ 2 over 2m} psi + left ( int_y V (x, y) psi ^ dagger (y) psi (y) справа) psi (x).
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e8ffe241a26f14eb17a92e89142aa7416935287)
Теория возмущений
Расширение в Диаграммы Фейнмана называется многотельный теория возмущений. В пропагатор является
![G (k) = {1 over i omega - {k ^ 2 over 2m}}.
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/38e2a8e3391131f9c6f127388e53aa930fd74f8c)
Вершиной взаимодействия является преобразование Фурье парного потенциала. Во всех взаимодействиях количество входящих и исходящих линий равно.
Экспозиция
Идентичные частицы
Многотельное уравнение Шредингера для идентичных частиц описывает эволюцию во времени многочастичной волновой функции ψ (Икс1, Икс2...ИксN) - амплитуда вероятности для N частицы занимают указанные позиции. Уравнение Шредингера для ψ:
![i {d over dt} psi = left ( frac { nabla_1 ^ 2} {2m} + frac { nabla_2 ^ 2} {2m} + cdots
+ frac { nabla_N ^ 2} {2m} + V (x_1, x_2, dots, x_N) right) psi
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6f38e482e0571e0d3da8eb3b518bf69959c9d97)
с гамильтонианом
![H = frac {p_1 ^ 2} {2m} + frac {p_2 ^ 2} {2m} + cdots + frac {p_N ^ 2} {2m} + V (x_1, dots, x_N).
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/9aef9adffbe5114d8d724f41162ef9f103be68f1)
Поскольку частицы неразличимы, волновая функция обладает некоторой симметрией относительно положений переключения. Либо
,
.
Поскольку частицы неразличимы, потенциал V должен оставаться неизменным при перестановках.
![V (x_1, точки, x_N) = V_1 (x_1) + V_2 (x_2) + cdots + V_N (x_N)
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/84fc8b90f8f874d5309fd5735483eb34cbaf6dcb)
тогда должно быть так, что
. Если
![V (x_1 ..., x_N) = V_ {1,2} (x_1, x_2) + V_ {1,3} (x_2, x_3) + V_ {2,3} (x_1, x_2)
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/37d498b1da04341421ae1834ea2a29e9d90a9748)
тогда
и так далее.
В формализме уравнения Шредингера ограничения на потенциал являются специальными, и предел классической волны труднодостижим. Он также имеет ограниченную полезность, если система открыта для окружающей среды, потому что частицы могут когерентно входить и уходить.
Нерелятивистское пространство Фока
Поле Шредингера определяется путем расширения гильбертова пространства состояний, чтобы включить конфигурации с произвольным числом частиц. Практически полной базой для этого набора состояний является набор:
![| N; x_1, ldots, x_N rangle
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/22058526a0b4caa9a861e6de2a13aa92fde11d57)
помечены общим количеством частиц и их положением. Произвольное состояние с частицами в разделенных положениях описывается суперпозицией состояний этой формы.
![psi_0 | 0 rangle + int_x psi_1 (x) | 1; x rangle + int_ {x_1x_2} psi_2 (x_1, x_2) | 2; x_1 x_2 rangle + ldots
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb83e01afbed31ffaaf67bea41b11998da770331)
В этом формализме имейте в виду, что любые два состояния, позиции которых можно переставлять друг в друга, на самом деле одинаковы, поэтому области интеграции должны избегать двойного счета. Также имейте в виду, что состояния с более чем одной частицей в одной точке еще не определены. Количество
- это амплитуда отсутствия частиц, а ее абсолютный квадрат - это вероятность того, что система находится в вакууме.
Чтобы воспроизвести описание Шредингера, внутренний продукт на основе состояний должен быть
![langle 1; x_1 | 1; y_1 rangle = delta (x_1-y_1)
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/52487022824f0678e1b1a9680e56942b513a0841)
![langle 2; x_1 x_2 | 2; y_1 y_2 rangle = delta (x_1-y_1) delta (x_2-y_2) pm delta (x_1 -y_2) delta (x_2-y_1)
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a0f8b48c8829e4cceda8b836dc5968750728eb8)
и так далее. Поскольку обсуждение бозонов и фермионов формально почти идентично, хотя физические свойства различны, отсюда частицы будут бозонами.
В этом гильбертовом пространстве есть естественные операторы. Один оператор позвонил
, - оператор, вводящий дополнительную частицу в точке x. Он определяется для каждого базового состояния:
![psi ^ dagger (x) | N; x_1 ... x_n rangle = | N + 1; x_1, ..., x_n, x rangle
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a68d1e5e2db1331a3e2977be5d319e90c079e5a5)
с небольшой двусмысленностью, когда частица уже находится в точке x.
Другой оператор удаляет частицу в точке x и называется
. Этот оператор является сопряженным с оператором
. Потому что
не имеет матричных элементов, которые связаны с состояниями без частицы в x,
должен давать ноль при воздействии на такое состояние.
![psi (x) | N; x_1 ..., x_N rangle = delta (x-x_1) | N-1; x_2 ..., x_N rangle + delta (x-x_2) | N-1; x_1, x_3 ..., x_N rangle + ldots
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/30eae1bd0e33628306e55421bfc1de2a2b616718)
Позиционный базис - неудобный способ понять совпадающие частицы, поскольку состояния с частицей, локализованной в одной точке, имеют бесконечную энергию, поэтому интуиция затруднена. Чтобы увидеть, что происходит, когда две частицы находятся в одной и той же точке, математически проще всего превратить пространство в дискретную решетка, или преобразование Фурье поля в конечном объеме.
Оператор
![psi ^ dagger (k) = int_x e ^ {- ikx} psi ^ dagger (x)
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e171e3293119edfc1b6b0e055820402d5fe8df6)
создает суперпозицию состояний одной частицы в состоянии плоской волны с импульсом k, другими словами, создает новую частицу с импульсом k. Оператор
![psi (k) = int_x e ^ {ikx} psi (x)
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/befcf10fb2c59d5279bd18127f8292375f4ec68a)
аннигилирует частицу с импульсом k.
Если потенциальная энергия для взаимодействия бесконечно удаленных частиц обращается в нуль, преобразованные операторы Фурье в бесконечном объеме создают невзаимодействующие состояния. Состояния бесконечно разбросаны, и вероятность того, что частицы находятся поблизости, равна нулю.
Матричные элементы для операторов между несовпадающими точками восстанавливают матричные элементы преобразования Фурье между всеми режимами:
![psi ^ dagger (k) psi ^ dagger (k ') - psi ^ dagger (k') psi ^ dagger (k) = 0
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/15514e24e1a7d74234eede8359eae9c1573f752e)
![psi (k) psi (k ') - psi (k') psi (k) = 0
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ade01c33a55bea57d31e28af496c2b00b61225)
![psi (k) psi ^ dagger (k ') - psi (k') psi ^ dagger (k) = delta (k-k ')
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/1285a631eee2c926b82e31f70ae1c8d651b0258e)
где дельта-функция - это либо Дельта-функция Дирака или Дельта Кронекера, в зависимости от того, бесконечный или конечный объем.
Коммутационные соотношения теперь полностью определяют операторы, и когда пространственный объем конечен, нет концептуальных препятствий для понимания совпадающих импульсов, потому что импульсы дискретны. В дискретном импульсном базисе базисные состояния следующие:
![| n_1, n_2, ... n_k rangle
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/66f1c96544b662bd0f85cb8cbb6eeae19fefc3de)
где n - количество частиц в каждом импульсе. Для фермионов и анионов число частиц при любом импульсе всегда равно нулю или единице. Операторы
имеют гармонический осциллятор как матричные элементы между состояниями, не зависящие от взаимодействия:
![psi ^ dagger (k) | .., n_k, ldots rangle = sqrt {n_k + 1} , | ..., n_k + 1, ldots rangle](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3154e559da0eff28b4e4a859564988092094b23)
![psi (k) | ..., n_k, ldots rangle = sqrt {n_k} , | ..., n_k-1, ldots rangle](https://wikimedia.org/api/rest_v1/media/math/render/svg/da19e919b5d5c07927655b80c3583676a964cb45)
Чтобы оператор
![sum_k psi ^ dagger (k) psi (k) = int_x psi ^ dagger (x) psi (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaec14e71b164735cb3fe96f8ab4de2912e513c2)
подсчитывает общее количество частиц.
Теперь легко увидеть, что матричные элементы
и
имеют также коммутационные соотношения гармонического осциллятора.
![[ psi (x), psi (y)] = [ psi ^ dagger (x), psi ^ dagger (y)] = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/63c352cdffa2c61e64af4a2c4d0f811cb0a9a307)
![[ psi (x), psi ^ dagger (y)] = delta (x-y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd8d1e76583890ef13ea3bce3fb69794272790ef)
Так что действительно нет проблем с совпадающими частицами в позиционном пространстве.
Оператор
который удаляет и заменяет частицу, действует как датчик, определяющий, присутствует ли частица в точке x. Оператор
действует, чтобы умножить состояние на градиент волновой функции многих тел. Оператор
![{ displaystyle H = - int _ {x} psi ^ { dagger} (x) { nabla ^ {2} over 2m} psi (x) ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f41a495986f06d290cce54a620a954ed9e99a6a2)
действует, чтобы воспроизвести правую часть уравнения Шредингера при воздействии на любое базисное состояние, так что
![psi ^ dagger i {d over dt} psi = psi ^ dagger {- nabla ^ 2 over 2m} psi
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/10f154b9397081f358abcec337da00f7d585767c)
как операторное уравнение. Поскольку это верно для произвольного состояния, это верно и без
.
![я { partial over partial t} psi = {- nabla ^ 2 over 2m} psi
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ac7dc72b72307ad8c8f898fc09b4d811387b381)
Чтобы добавить взаимодействия, добавьте нелинейные члены в уравнения поля. Форма поля автоматически гарантирует, что потенциалы подчиняются ограничениям симметрии.
Полевой гамильтониан
Гамильтониан поля, воспроизводящий уравнения движения, имеет вид
![H = { nabla psi ^ dagger nabla psi over 2m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01127962f6f75a64388ea58e9d4a066338228be6)
Уравнения движения Гейзенберга для этого оператора воспроизводят уравнение движения для поля.
Чтобы найти классический полевой лагранжиан, примените преобразование Лежандра к классическому пределу гамильтониана.
![L = psi ^ dagger left (i { partial over partial t} + { nabla ^ 2 over 2m} right) psi
,](https://wikimedia.org/api/rest_v1/media/math/render/svg/102060b427c89d8a45e44f2723627ef26f3381fc)
Хотя это классически верно, квантово-механическое преобразование не является полностью концептуально простым, поскольку интеграл по путям вычисляется по собственным значениям операторов ψ, которые не являются эрмитский и чьи собственные значения не ортогональны. Поэтому интеграл по путям по состояниям поля кажется наивным, чтобы переоценить. Это не так, потому что член производной по времени в L включает перекрытие между различными состояниями поля.
Отношение к месторождению Клейн-Гордон
Нерелятивистский предел как
любой Кляйн-Гордон field - это два поля Шредингера, представляющие частицу и античастицу. Для ясности в этом выводе сохранены все единицы и константы. От импульсное пространство операторы аннигиляции
релятивистского поля, определяется
,
такой, что
. Определение двух «нерелятивистских» полей
и
,
,
которые исключают быстро осциллирующую фазу из-за масса покоя плюс остаток релятивистской меры, плотность лагранжиана
становится
![{ displaystyle { begin {align} L & = ( hbar c) ^ {2} ( partial _ { mu} { hat {a}} partial ^ { mu} { hat {a}} ^ { dagger} + partial _ { mu} { hat {b}} partial ^ { mu} { hat {b}} ^ { dagger} + ldots) - (mc ^ {2}) ^ {2} ({ hat {a}} { hat {a}} ^ { dagger} + { hat {b}} { hat {b}} ^ { dagger} + ldots) & = { frac {1} {2mc ^ {2}}} left [( hbar c) ^ {2} ({ frac {-imc} { hbar}} { hat {A}} + partial _ {0} { hat {A}}) ({ frac {imc} { hbar}} { hat {A}} ^ { dagger} + partial ^ {0} { hat {A} } ^ { dagger}) - ( hbar c) ^ {2} partial _ {x} { hat {A}} partial ^ {x} { hat {A}} ^ { dagger} + ( A Rightarrow B) + ldots - (mc ^ {2}) ^ {2} ({ hat {A}} { hat {A}} ^ { dagger} + { hat {B}} { шляпа {B}} ^ { dagger} + ldots) right] & = { frac { hbar ^ {2}} {2m}} left [{ frac {imc} { hbar}} ( partial _ {0} { hat {A}} { hat {A}} ^ { dagger} - { hat {A}} partial ^ {0} { hat {A}} ^ { dagger}) + partial _ { mu} { hat {A}} partial ^ { mu} { hat {A}} ^ { dagger} + (A Rightarrow B) + ldots right] конец {выровнено}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08171ac384f3e21a727f5bf75761a953dd5b708a)
где члены пропорциональны
представлены эллипсами и исчезают в нерелятивистском пределе. Когда четырехступенчатый расширяется, полное расхождение игнорируется и слагаемые, пропорциональные
также исчезают в нерелятивистском пределе. После интеграции по частям,
![{ displaystyle { begin {align} L_ {A} & = i hbar { hat {A}} ^ { dagger} { hat {A}} '+ { frac { hbar ^ {2}} {2m}} left [{ frac {1} {c ^ {2}}} { hat {A}} '{{ hat {A}}'} ^ { dagger} - partial _ {x } { hat {A}} partial ^ {x} { hat {A}} ^ { dagger} right] & = i hbar { hat {A}} ^ { dagger} { hat {A}} '+ { frac { hbar ^ {2}} {2m}} left [- ( partial _ {x} ({ hat {A}} , partial ^ {x} { hat {A}} ^ { dagger}) - { hat {A}} , partial _ {x} partial ^ {x} { hat {A}} ^ { dagger}) right] & = i hbar { hat {A}} ^ { dagger} { hat {A}} '+ { frac { hbar ^ {2}} {2m}} { hat {A}} , partial _ {x} partial ^ {x} { hat {A}} ^ { dagger}. end {align}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da920b73dd1d45e7984fb025921c2165e45cba33)
Окончательный лагранжиан принимает вид[2]
.
Рекомендации
внешняя ссылка