Может ли уравнение Шрёдингера второго порядка сохранять норму?

Предположим, мы живем во Вселенной, в которой уравнение Шредингера содержит производные по времени второго порядка,

я т 2 | ф ( т ) "=" ЧАС | ф ( т ) .
Верно ли, что норма | ф ( т ) не зависит от времени?

Значит, ваш гамильтониан антиэрмитов?
Рассмотрим ядро ( я т К ) для эрмитовых нестационарных К . Он также будет в ядре ( я т 2 К 2 / я ) . Так ЧАС "=" я К 2 / должен сделать трюк.
...то есть, например, для К "=" ю , у вас есть ЧАС "=" я ю 2 , поэтому вы получаете колебательные решения опыт ( ± я ю т ) сохранение нормы; а их тригонометрические комбинации, естественно, нет.

Ответы (3)

Нет, норма не сохранилась бы. Для простоты предположим, что гамильтониан не зависит от времени с дискретными (но, возможно, вырожденными) собственными значениями Е н . Тогда у нас есть

| ψ ( т ) "=" н с н ( т ) | Е н я т 2 | ψ ( т ) "=" ЧАС | ψ ( т ) я н с ¨ н ( т ) | Е н "=" н с н ( т ) Е н | Е н н ( я с ¨ н ( т ) с н ( т ) Е н ) | Е н "=" 0 с ¨ н ( т ) + я Е н с н ( т ) "=" 0 с н ( т ) "=" опыт ( я Е н т ) "=" опыт ( Е н е я π 4 т ) | с н ( т ) | 2 "=" с н ( т ) с н * ( т ) "=" опыт ( 2 Е н т )

и | ψ ( т ) | 2 экспоненциально растет с течением времени. Проблема в том, что е я Е н / эволюционирует с сохранением нормы с течением времени, но вторая производная вводит квадратный корень, который превращает чисто мнимый показатель степени в действительную часть, что все портит.

Но предложенная вами модификация все равно не является физически естественной. Во-первых, обратите внимание, что ваш " " имеет другие единицы, чем физические. Вместо того, чтобы оставить я как есть, но изменив т к т 2 , более естественной модификацией уравнения Шредингера, делающей его вторым порядком, является «возведение в квадрат» операторов с обеих сторон, т. е. замена я т к ( я т ) 2 "=" 2 т 2 и ЧАС к ЧАС 2 , получить

2 т 2 | ψ ( т ) "=" ЧАС 2 | ψ ( т ) .
В случае гамильтониана ЧАС 2 "=" ( с п ) 2 + ( м с 2 ) 2 для релятивистской частицы это известно как уравнение Клейна-Гордона, и хотя оно имеет ту же проблему непостоянной нормы, оказывается, что оно точно описывает временную эволюцию скалярного релятивистского квантового поля (а не частицы, как можно было бы предположить ) . ожидать).

"tparker", не могли бы вы подробно описать шаг от 4-го ряда к 5-му? Я не понимал:
| н ( я с ¨ н ( т ) с н ( т ) Е н ) | Е н "=" 0 с ¨ н ( т ) + я Е н с н ( т ) "=" 0 .
@mike Все, что сделал tparker, это приравнял | Е н коэффициенты.
@mike Правильно - я использовал тот факт, что собственные состояния линейно независимы, поэтому, если их линейная комбинация равна нулю, то каждый коэффициент должен быть равен нулю.
Мне любопытно: в «правильном» квадратном уравнении, которое вы даете, в каком пространстве живет [математика]|\psi(t)\rangle[/math]? Если это квантовое поле, оно не может быть обычной волновой функцией, так что же это такое, если построить его явно?
@The_Sympathizer Это отличный вопрос, который я намеренно проигнорировал. В классической теории поля ответ прост: это просто скалярные функции ф ( т , Икс ) : р 4 р определяется в пространстве-времени. В квантовой теории поля вы спрашиваете о математической структуре гильбертова пространства, и, откровенно говоря, никто ничего не знает на каком-либо математически строгом уровне. В лагранжевом формализме поля ф ( Икс ) являются просто старыми коммутирующими скалярными полями, как в классическом случае, но математическая патология втиснута в этот ужасно плохо определенный интеграл по путям. ...
@The_Sympathizer ... В формализме Гамильтона сами поля являются квантованными операторами, и вы не можете (тривиально) перемещать их друг мимо друга. Математики называют их «распределениями с операторными значениями», но с трудом делают их строгими, а физики даже не пытаются просто замазать весь вопрос. Короче говоря, это очень активная тема исследований в математической физике, но «физики-физики» даже не пытаются строго определить математическую структуру состояний.
@tparker: Я слышал об этих проблемах, но думал, что они применимы только к более сложным теориям, и я спрашивал об одном конкретном уравнении выше, с конкретным гамильтонианом, без взаимодействий или чего-то подобного. Разве структура уравнения не должна подсказывать вам, что вы должны в него вставить? Думаю, я не понимаю, как, как вы это описали, простое возведение в квадрат делает пространство непостижимым. Я думаю, что это должно быть для случая, который включает в себя выполнение или рассмотрение большего, чем просто это. Но, возможно, это так. Если да, то почему?
@The_Sympathizer Справедливое замечание. Если мы буквально просто возведем в квадрат операторы в нерелятивистском уравнении Шредингера, как я написал, то гильбертово пространство полученного уравнения будет просто пространством одночастичных волновых функций ψ ( Икс ) такой, что ψ ( Икс ) и 2 ψ ( Икс ) + м 2 ψ ( Икс ) оба интегрируемы с квадратом. Но правда в том, что на самом деле это не строгий вывод уравнения Клейна-Гордона — это просто эвристическая мотивация. Истинное уравнение КГ выводится из постулированного лагранжиана или гамильтониана свободного скалярного поля, поэтому операторы действуют на ...
@The_Sympathizer ... совершенно другой вид гильбертова пространства, математическая структура которого зависит от ситуации.

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

Во-первых, мы живем во Вселенной, где уравнения Шредингера можно записать как уравнение второго порядка: просто примените я т к уравнению (первого порядка) Шредингера

я т ψ ( т ) "=" ЧАС ψ ( т ) , ψ ( 0 ) "=" ф е ЧАС ,
и получим волновое уравнение второго порядка
т 2 ψ ( т ) "=" ЧАС 2 ψ ( т ) ,
с начальными условиями
ψ ( 0 ) "=" ф , т ψ ( 0 ) "=" я ЧАС ψ ( 0 ) "=" я ЧАС ф .
Обратите внимание, что в качестве уравнения второго порядка вам нужно указать не просто ψ ( 0 ) но и его производная по времени в качестве начального условия. Кроме того, чтобы гарантировать, что то, что вы получите, на самом деле эквивалентно уравнению Шредингера, вам нужно выбрать \emph{конкретное} начальное условие для т ψ ( 0 ) "=" я ЧАС ф . Другие варианты дадут вам другие уравнения, но ни одно из них не эквивалентно.

Как видите, если выбрать начальное условие, совместимое с уравнением Шредингера, решения будут иметь обычные свойства, например, норму ψ ( т ) "=" ψ ( 0 ) . Но для общего выбора это не обязательно так: выберите ЧАС "=" о 3 так что ЧАС 2 "=" 1 . Тогда волновое уравнение просто

2 т 2 ( ψ 1 ( т ) ψ 2 ( т ) ) + ( ψ 1 ( т ) ψ 2 ( т ) ) "=" 0 ,
две копии обычного волнового уравнения. Решения
ψ ( т ) "=" с е я т + с + е + я т
где коэффициенты с ± е С 2 необходимо определить из начальных условий. Теперь выберите ψ ( 0 ) "=" с + + с "=" ( 2 , 2 ) и т ψ ( 0 ) "=" ( 0 , 0 ) "=" я ( с + с ) как начальные условия. Это приводит к с "=" с + "=" 1 , и поэтому
ψ ( т ) "=" 2 потому что т ( 1 1 ) ,
и норма ψ ( т ) | "=" 2 2 | потому что т | этого вектора, очевидно, осциллирует во времени и поэтому не сохраняется. Для особого начального условия т ψ ( 0 ) "=" \ii ЧАС ψ ( 0 ) , но норма сохраняется.

Позвольте мне собрать мои комментарии выше, чтобы сообщение «иногда, но не всегда» не потерялось.

Обычный аргумент в пользу обычного уравнения Шра с эрмитовым, не зависящим от времени К ,

я т ф | ф "=" ф | К К | ф "=" 0 ,
якобы теряется, так как вы получаете только
я т ( ф | ф ˙ ф ˙ | ф ) "=" ф | ЧАС + ЧАС | ф
таким образом — интегрирование по частям. Так, для антиэрмитов ЧАС , вы получаете сохраняющееся количество, но это не норма.

Тем не менее, ядро ( я т К ) также будет в ядре ( я т 2 К 2 / я ) , т. е. инвариантные нормальные решения уравнения Шра для К также решит ваше уравнение с ЧАС "=" я К 2 / , у которого тоже, естественно, будут "плохие" решения.

Вы можете проиллюстрировать это схематически (оставив в стороне вопросы определения нормы - вы можете тривиально модулировать свой ответ с помощью пространственных фильтров Гаусса) на самом тривиальном примере, К "=" ю , следовательно ЧАС "=" я ю 2 , где вы получаете колебательные решения опыт ( ± я ю т ) сохранение нормы; а их тригонометрические комбинации, потому что ( ю т ) ,   грех ( ю т ) , естественно, нет.