Почему квантовая механика не довольствуется симметричными операторами, а хочет самосопряженных операторов?

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

Это именно то, что мы хотим для физической наблюдаемой. Я думаю, это все, что требуется.

Так почему же квантовая механика не удовлетворяется симметричными операторами, но хочет большего?

Вы знаете о проблемах с доменом и о разнице между Hermitian и self-adjoint , да? Спектральная теория о собственных векторах, натягивающих пространство, выполняется для самосопряженных , а не эрмитовых операторов.
@ACuriousMind: небольшое примечание по терминологии: Hermitian может использоваться либо как синоним для симметричного , либо как имя для симметричных операторов, определенных во всем гильбертовом пространстве (т. е. ограниченных самосопряженных операторов) — см., например, math.stackexchange.com/ а/38395
Примеров много, но мне нравится сравнивать их с относительными простыми числами. Если два числа взаимно просты, они могут породить больше детей, и дети будут более здоровыми. Коммутирующие операторы... теория групп, везде можно найти теоремы о заполнении пространств операторов и проверках коммутации.
@Christoph: Это могут быть определения функционального аналитика, но когда физик говорит «эрмитианец», они имеют в виду А "=" А на территории А , а когда говорят "самосопряженный", то имеют в виду А "=" А и домены А и А совпадают. К сожалению, математики, кажется, используют «симметричный» для того, что физик называет «эрмитовым». (Случаи, когда физик называет «симметричный» оператор «эрмитовым», см., например, arxiv.org/abs/quant-ph/9907069 )

Ответы (2)

Я почти уверен, что здесь уже есть ответ на этот вопрос, но я не могу его найти (это всегда о неограниченности).

Для гамильтониана ответ в основном дается теоремой Стоуна об однопараметрических унитарных группах . Существует взаимно однозначное соответствие между самосопряженными операторами и сильно непрерывными однопараметрическими семействами унитарных операторов.

Почему это важно? Гамильтониан важен, потому что он должен дать нам динамику нашей системы, т.е. он будет определять развитие квантовой системы во времени. Однако такая временная развертка должна быть однопараметрической унитарной группой. U ( т ) . Это связано с тем, что мы хотим, чтобы правило Борна выполнялось:

Если | ψ е ЧАС это состояние в вашем гильбертовом пространстве, нам нужно, чтобы 1 "=" ψ ( т ) | ψ ( т ) "=" U ( т ) ψ | U ( т ) ψ , т. е. состояние остается нормализованным, так что оно по-прежнему является распределением вероятностей. Но потом U ( т ) должен быть унитарным по самому определению унитарного оператора. Однако теорема Стоуна говорит нам, что генераторы унитарных групп являются самосопряженными операторами, а не только симметричными. Конечно, в теореме говорится только о сильно непрерывных группах, но существуют примеры симметричных и несамосопряженных операторов, которые порождают просто неунитарную группу (некоторая форма оператора для эффекта Штарка делает свое дело, если я правильно помню)

Еще одна проблема, упомянутая в комментарии, — это проблема со спектральной теоремой: для любого наблюдаемого его спектр говорит нам что-то о возможных результатах измерения, но у нас может просто не быть спектрального разложения, если оператор просто симметричен. Неограниченные операторы могут даже иметь пустой спектр, но я не знаю, существуют ли симметричные неограниченные операторы с пустым спектром (наверняка существуют антисимметричные операторы с пустым спектром). Если вы рассматриваете измерение фон Неймана, одна из аксиом говорит вам, как выглядит состояние после измерения — здесь задействована проекция. Но эта проекция не может быть четко определена, если у вас нет спектрального разложения.

Вы также можете взглянуть на то, что называется «Псевдоспектры». Учитывая несамосопряженный оператор, он может иметь «приближенные собственные функции» к «псевдособственным значениям», которые очень далеки от спектра (в том смысле, что для заданного оператора А , существует λ Спецификация ( А ) таким образом, что может быть Икс е ЧАС с

А Икс λ Икс < ε Икс

и такие вещи могут существовать очень далеко от спектра для любого ε > 0 вы хотите; см. книгу Дэвиса «Линейные операторы и их спектры»). Я мало что знаю об этом и о том, как это может быть проблемой, но это может дать вам больше стимулов в отношении того, почему «просто» симметричные операторы могут не работать.

Спектральная теорема верна только для нормальных операторов. Самосопряженные операторы нормальные, симметричные — нет.

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