Имеет ли эрмитов оператор H=−d2dx2H=−d2dx2H=-\frac{d^2}{dx^2} мнимые собственные значения?

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

Учитывая г 2 г Икс 2 , это эрмитов оператор (на самом деле это простейший гамильтониан), и его собственная функция может быть выражена как е я к Икс .

Однако, что, если к воображаемый? если к воображаемый, г 2 г Икс 2 е я к Икс "=" к 2 е я к Икс по-прежнему выполняется с собственным значением к 2 воображаемый!

Кто-нибудь может сказать мне, что здесь не так?

РЕДАКТИРОВАТЬ: Как говорится в одном комментарии, проблема может заключаться в ограничении л 2 . К сожалению, большинство учебников по физике просто игнорируют ограничение л 2 . Может ли кто-нибудь дать мне строгое доказательство того, что простая волна е я к Икс к реальный) как-то уместно в большинстве ситуаций?

Связано: physics.stackexchange.com/q/81041/2451 и ссылки в нем.
Нет, е я к Икс не являются собственными функциями, они не лежат в л 2 . С г 2 / г Икс 2 является симметричным/эрмитовым, спектр должен быть реальным.
Да, я знаю, что проблема может заключаться в ограничении л 2 . К сожалению, большинство учебников по физике просто игнорируют ограничение л 2 . Может ли кто-нибудь дать мне строгое доказательство того, что простая волна е я к Икс как-то достаточно в большинстве ситуаций?
@Martin: Осторожнее с терминологией: эрмитовы операторы, для которых области определения оператора и его сопряженного не совпадают, имеют действительные собственные значения , но могут иметь в своих спектрах мнимые элементы . Только для самосопряженных операторов спектр тоже вещественный, и только для них мы имеем базис из вещественных собственных векторов всего пространства.
@ACuriousMind: Верно. Я знаю это, но не должен был быть снисходителен, так как этот вопрос возникает из-за слишком снисходительного использования математики в первую очередь...

Ответы (2)

Ваши «воображаемые собственные значения» не работают, потому что собственные функции не являются собственными функциями. Они не лежат в л 2 , как вы, кажется, знаете.

Итак, займемся самим лапласианом: Δ "=" г 2 г Икс 2 . Что я хочу сделать, так это вычислить преобразование Фурье этого оператора, потому что преобразование Фурье диагонализует Δ , как мы увидим. Из диагональной формы мы можем прочитать спектр и, таким образом, сделать вывод, что спектр состоит из р + . Я, конечно, не отвечаю на вопрос "почему е я к Икс достаточно для реального к ", просто потому, что это бессмысленный вопрос в условиях гильбертова пространства.

Итак, давайте сделаем это. Возьмите функцию ψ е л 2 ( р ) и рассчитать:

Ф ( Δ ψ ) ( к ) "=" е я к Икс ( г 2 г Икс 2 ) ψ ( Икс ) г Икс "=" к 2 е я к Икс ψ ( Икс ) г Икс "=" к 2 Ф ( ψ ) ( к )

где мы два раза интегрировали по частям (используя ψ обязательно обращается в нуль на бесконечности), а затем дифференцируется е я к Икс . Эта формула означает, что Ф диагонализует лапласиан, потому что мы только что видели, что преобразование Фурье лапласиана Ф ( Δ ) Ф * является оператором умножения. Теперь идея состоит в том, что из оператора умножения мы можем прочитать спектр: это существенный диапазон оператора умножения. Только из определения мы видим, что это будет [ 0 , ) в нашем случае, следовательно о ( Δ ) "=" [ 0 , ) .

Мы даже не говорили о е я к Икс , так как решить е я к Икс с воображаемым к бизнес? Вам не нужно - ни одна из этих функций не включена. л 2 , но: если сейчас поставить ψ ( Икс ) "=" е я к Икс с реальным к (потому что к действительна в преобразовании Фурье!), то она выглядит как собственная функция Δ . Другими словами: если вы представляете себе пространство, в основе которого лежат функции е я к Икс , то преобразование Фурье лапласиана — это просто бесконечная матрица с собственными значениями к 2 по диагонали. Однако это не строгая картина!

Изменить: очень хорошее объяснение с большим количеством математики можно найти здесь: https://math.stackexchange.com/questions/766479/what-is-spectrum-for-laplacian-in-mathbbrn Обратите внимание, что это не простая математика, но для того, чтобы понять тонкости этого дела, этого не избежать.

Это хорошее объяснение, и я чувствую, что это хорошее дополнение к моей попытке.

Во-первых, если к "=" я κ является мнимым, собственное значение («энергия») равно κ 2 , т.е. реальный, но отрицательный:

г 2 г Икс 2 е я к Икс "=" г 2 г Икс 2 е κ Икс "=" κ 2 е κ Икс .

Физически это мимолетная волна в одном направлении, но безгранично растущая в другом, поэтому, если ваше пространство Икс е р , это недопустимая волновая функция по очень ощутимым физическим причинам: ее нельзя нормализовать. Основная причина заключается в том, что его энергия меньше минимума потенциала, в котором он живет. Любая вводная лекция или книга по КМ должна освещать это, а также описывать этот тип волновой функции (вероятно, в контексте конечных потенциальных барьеров).

Для более формальной, математической стороны вещей следует рекомендовать этот документ: http://arxiv.org/abs/quant-ph/9907069 .

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