Должны ли ограниченные операторы иметь нормализуемые собственные функции и дискретные собственные значения?

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

Существует ли правило, согласно которому ограниченные операторы должны иметь нормализуемые собственные функции и дискретные собственные значения? Если нет, есть ли пример, нарушающий вышеуказанное правило?

Есть ли связь между нормируемостью собственных функций и дискретностью собственных значений?

PS: я знаю, что этот вопрос Phys.SE несколько связан, но все же не смог получить полный ответ!

Первый и второй абзацы говорят, на мой взгляд, о двух разных вещах. На вопросы второго абзаца @ValterMoretti ниже отвечает четко и ясно. Однако в первом абзаце говорится о связанных состояниях и состояниях рассеяния (а не об операторах). Связанное состояние — это состояние, локализованное в пространстве; это означает, что он либо имеет компактный носитель, либо экспоненциально затухает на бесконечности. ОП может быть интересно узнать, что для операторов КМ (эллиптических операторов) было строго доказано, что собственные векторы затухают экспоненциально и, следовательно, являются связанными состояниями.
@ValterMoretti Нет, по оценкам / методу Агмона.
Думаю, мы уже обсуждали этот момент. На мой взгляд, связанное состояние есть не что иное, как собственный вектор (в собственном смысле). Нет необходимости требовать, чтобы волновая функция затухала (произвольно или нет) или ее носитель был ограничен...
Впрочем, это дело личного вкуса...
@ValterMoretti Я согласен, что это просто вопрос вкуса ... Моя точка зрения состоит в том, что термин «связанный» предполагает своего рода (пространственное) ограничение. Думаю, на меня повлияли Ландау и Лифшиц ;-)
Атом водорода имеет как дискретное/связанное, так и рассеянное/неограниченное состояния, но не уверен, что это удовлетворяет вопросу.
@ Родригес: Это не так. Гамильтониан атома водорода является неограниченным оператором.

Ответы (2)

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

Наоборот, примером ограниченного оператора с чисто непрерывным спектром является оператор положения в л 2 ( [ 0 , 1 ] , г Икс ) определяется как обычно

( Икс ψ ) ( Икс ) знак равно Икс ψ ( Икс ) ψ е л 2 ( [ 0 , 1 ] , г Икс ) .
Он не допускает (собственных) собственных значений. Спектр о ( Икс ) знак равно [ 0 , 1 ] . Так как для самосопряженного оператора (в более общем случае для нормального оператора)
| | А | | знак равно Как дела λ е о ( А ) | λ |
ты видишь это | | Икс | | знак равно 1 .

ПРИМЕЧАНИЕ . Относительно добавленного вами последнего пункта (связь между нормируемостью собственных функций и дискретностью собственных значений) ситуация следующая.

Если λ е о ( А ) является изолированной точкой спектра ( о ( А ) ) самосопряженного оператора А . затем λ является правильным собственным значением, и поэтому их собственные векторы являются правильными (нормализуемыми) собственными векторами. Итак, как вы полагаете, на жаргоне физиков «дискретные собственные значения» — это правильные собственные значения с нормализуемыми собственными векторами.

Обратное, однако, в целом неверно . Вы можете получить баллы λ в непрерывной части о ( А ) (сказать, λ е ( а , б ) с ( а , б ) е о ( А ) ), которые являются собственными значениями. Даже в несепарабельном гильбертовом пространстве можно построить самосопряженный оператор А такой, что о ( А ) знак равно [ 0 , 1 ] и все точки [ 0 , 1 ] являются правильными собственными значениями с правильными собственными векторами . В сепарабельном гильбертовом пространстве это невозможно, но легко построить оператор, множество собственных значений которого плотно в [ 0 , 1 ] .

+1, спасибо за разницу между разными классами. Однако у меня есть сомнение, которое, хотя и не было ясно поставлено в вопросе, заключается в том, что нормируемость собственного состояния связана с дискретностью соответствующих собственных значений! Я считаю, что это косвенно отвечает на мой вопрос, но я не могу его понять.
Дело в следующем: если λ е о ( А ) а также λ является изолированной точкой , то это правильное собственное значение, а их собственные векторы являются правильными (нормализуемыми) собственными векторами. Обратное, как правило, неверно. В несепарабельном гильбертовом пространстве можно построить самосопряженный оператор А такой, что о ( А ) знак равно [ 0 , 1 ] и все точки [ 0 , 1 ] являются правильными собственными значениями с правильными собственными векторами.
Также в сепарабельных гильбертовых пространствах вы можете иметь правильные собственные значения, погруженные в непрерывный спектр...
Хорошо, хотя я не могу преодолеть барьер математической терминологии, которую пытаюсь понять, я, кажется, понял по крайней мере 50% ее.
Я думаю, это очень интересно! Меня интересует контрпример в сепарабельном гильбертовом пространстве, где собственное значение непрерывного спектра может иметь правильную собственную функцию.
Нет, они не являются элементами непрерывного спектра, это точки, погруженные в непрерывную часть спектра , но они являются частью точечного спектра по определению! Тривиальный контрпример можно построить, добавив конечномерное пространство к л 2 ( [ 0 , 2 ] ) , т.е. ЧАС знак равно л 2 ( [ 0 , 2 ] ) В и определение Д : ЧАС ЧАС который оставляет фиксированными два подпространства, то есть оператор положения в л 2 ( [ 0 , 2 ] ) , и это тождество на В . Очевидно 0 Икс является собственным вектором Д с собственным значением 1 . Спектр Д является [ 0 , 2 ] ...

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

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

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

Ответ: После всех предварительных ответов ответ будет краток. Непрерывные решения появляются в оснащенных гильбертовых пространствах как для ограниченных, так и для неограниченных состояний. Один набор непрерывных ограниченных решений появляется в физике твердого тела. В пределе бесконечного числа атомов энергетические полосы изоляторов, металлов и всего, что между ними, становятся непрерывными (в результате «слияния» счетного числа дискретных энергетических уровней, которые сливаются в непрерывную полосу).