Соотношение замыкания для вырожденных собственных множеств

Рассмотрим наблюдаемую в квантовой механике с вырожденным собственным значением в непрерывном спектре.

  1. Может ли такое собственное значение иметь конечное вырождение?

  2. Если вырождение бесконечно, могут ли оно иметь счетно бесконечные собственные векторы? (то есть можно ли перечислить его собственные векторы?)

Теперь предположим, что у нас есть вырожденное собственное значение в дискретном спектре.

  1. Может ли такое собственное значение быть бесконечно вырожденным? Если да, то являются ли соответствующие собственные векторы счетными или несчетными?

  2. Меня также интересует, как бы вы написали единичный оператор (отношение полноты) в каждом из этих случаев.

Строго говоря, в физике нет кардинальности (кроме тривиального случая, когда все измеримое конечно). Если речь идет о физически нереализуемых системах, которые чрезмерно упрощены, то я думаю, что могу представить пример для 1), поэтому математически я бы ответил утвердительно. Я не понимаю, почему 2) следует исключать, но я хотел бы услышать, почему / если вы думаете, что это возможно. 3 понятия не имею). Не следует ли самый общий вид единичного оператора из достаточно общего утверждения о спектрах линейных операторов?
Предположим, что гильбертово пространство сепарабельно. 1) Да, подумайте о кулоновских (атом водорода) возбужденных состояниях, где собственное значение для разных m квантовых чисел одинаково. 2) Да. Тождественный оператор имеет собственное значение 1. Каждая ортонормированная база состоит из счетного числа взаимно ортогональных собственных векторов. 3) Да, см. 2).
@CuriousOne Два - это проблема, потому что если у вас есть два различных собственных вектора с одним и тем же собственным значением, то любая их линейная комбинация также является собственным вектором с одним и тем же собственным значением, и существует несчетное количество линейных комбинаций двух различных векторов. Теперь наличие несчетного ортонормированного базиса собственных векторов отличается, но вы обычно предполагаете, что ваше пространство сепарабельно.
@ Тимеус: Спасибо! Теперь я лучше понимаю, что мог означать ОП.
Спасибо за ваши Коментарии. Конечно, я имел в виду количество линейно независимых собственных векторов (а не общее количество собственных векторов, которое явно несчетно).

Ответы (1)

(1) Да, возьмите ЧАС "=" л 2 ( р , г Икс ) л 2 ( р , г Икс ) и далее ( Икс ( ψ , ф ) ) ( Икс , у ) "=" ( Икс ψ ( Икс ) , у ф ( у ) ) . У нас есть о ( Икс ) "=" о с ( Икс ) а дегенерация просто 2 .

(2) Да, используйте пример (1) со счетно бесконечным числом копий л 2 ( р , г Икс ) и использовать гильбертову прямую сумму гильбертовых пространств. (Существует бесконечно много линейно независимых собственных векторов.)

(3) Да, имея в виду гильбертову прямую сумму, возьмем ЧАС "=" к "=" 1 + ЧАС к с ЧАС к "=" л 2 ( р , г Икс ) и рассмотрим самосопряженный оператор (с естественной областью определения) ЧАС "=" к "=" 1 + ЧАС к , где

ЧАС к "=" 1 2 м п к 2 + к 2 Икс к 2
с п к и Икс к оператор импульса и положения в ЧАС к и определить ю "=" 2 π к / м . Оказывается, что о ( ЧАС ) "=" о п ( ЧАС ) "=" ю ( н + 1 2 ) , н "=" 0 , 1 , 2 , и вырождение счетно бесконечно для каждого н .

В принципе можно построить примеры с о ( ЧАС ) "=" о п ( ЧАС ) и вырождение несчетное, но в КМ гильбертово пространство предполагается сепарабельным, поэтому эти примеры не имеют большого физического смысла.

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