В некоторых книгах доказательство того, что если два самосопряженных оператора и имеют общий собственный базис , то они коммутируют следующим образом:
Для любого ,
и так .Тогда для любого вектора ,
Но как действителен третий шаг в последней строке, где оператор перемещается по знаку суммы? действует только в том случае, если является непрерывным. Но здесь, пока линейна и самосопряженна, она может не быть непрерывной!
Можно сказать что-то более точное, чем ответ Мартина (это, однако, правильно). Ключевым моментом является то, что самосопряженные операторы являются замкнутыми операторами . Оператор , с линейное подпространство гильбертова пространства называется замкнутым, если для любой последовательности векторов такой, что
(1) как
и
(2) как
затем и .
Другими словами, если оба и сходятся, то можно поменять местами символ предела и :
Есть несколько других эквивалентных определений замкнутых операторов, но это более элементарное и не требует пояснений.
Ясно, что непрерывные операторы замкнуты, но обратное, вообще говоря, неверно.
В самой элементарной формулировке КМ наблюдаемые представляются самосопряженными (как правило, неограниченными и не определяемыми глобально) операторами. на подходящем гильбертовом пространстве. Так . Из определения сопряженного оператора становится очевидным, что закрыто. Таким образом так же закрыт. Эта более слабая версия непрерывности позволяет оправдать несколько наивных манипуляций, подобных упомянутым вами.
Предположим теперь, что A самосопряжена (в этом случае плотно), допускающее полную ортонормированную систему собственных векторов , где (Я предполагаю, что пространство сепарабельно только ради простоты, так как то, что я пишу, остается в силе, даже если отбросить эту гипотезу).
Очевидно и можно доказать (например, с помощью спектральной теоремы, упомянутой Мартином), что если .
Последнее неравенство, ввиду самого определения гильбертова базиса, равносильно тому, что сходится к некоторому вектору .
С замкнуто, легко увидеть, что:
Мы доказали, что:
ТЕОРЕМА. Позволять — (комплексное сепарабельное) гильбертово пространство. Предположим, что является самосопряженным оператором в , вообще говоря, неограниченный и определенный на (плотном) линейном подпространстве из , допускающий полную ортонормированную систему собственных векторов , где . Если затем :
Теперь, дважды применяя теорему, мы получаем немедленное следствие, если вспомнить, что для пары операторов на с доменами и соответственно:
СЛЕДСТВИЕ. Ссылаясь на приведенную выше теорему, предположим, что есть еще один самосопряженный оператор, определенный на плотном линейном пространстве такой, что для каждого . Если затем :
Поскольку я не специалист по спектральной теории, это будет лишь частичный ответ, однако я считаю, что этот вопрос математически гораздо сложнее, чем вы думаете.
Прежде всего, давайте рассмотрим конечномерный случай: у нас есть две эрмитовых матрицы и они коммутируют тогда и только тогда, когда коммутируют их спектральные проекции, т. е. они имеют общий собственный базис. Так много, так хорошо.
Теперь перейдем к сепарабельному комплексному гильбертовому пространству. . Первое, что следует отметить, это то, что для общих ограниченных операторов термин «базис собственных векторов» больше не является четко определенным. Ограниченный оператор может иметь непрерывный спектр. Итак, давайте сначала сделаем что-нибудь попроще:
Определение: оператор (ограниченный оператор) называется компактным , если он может быть аппроксимирован оператором конечного ранга (т. е. является «пределом» конечномерных операторов). Кроме того, компактный оператор называется самосопряженным , если он эрмитов (т.е. для всех векторов гильбертова пространства).
Есть и более естественные эквивалентные характеристики, но здесь они меня не интересуют. Теперь у нас есть спектральная теорема:
Теорема: Дан самосопряженный компактный оператор , существует последовательность действительных чисел с накоплением в нуле и последовательностью спектральных проекций такой, что
Теперь, учитывая эту теорему, мы всегда можем использовать приведенное выше доказательство. Нам просто нужно отметить, что любой линейный ограниченный оператор автоматически непрерывен (фактически линейный оператор ограничен тогда и только тогда, когда он непрерывен).
Теперь давайте усложним. Для произвольных ограниченных операторов (опять же: они всегда непрерывны!), мы имеем другую спектральную теорему. Чтобы сформулировать это, нам понадобится понятие проекционнозначной меры, которая даст нам непрерывную версию спектральной теоремы, включающую те части спектра, которые не являются собственными значениями и, следовательно, не имеют собственных векторов (пример такой непрерывной спектр можно увидеть для лапласиана: его спектр представляет собой положительную часть действительной линии, а «собственные функции» были бы неинтегрируемыми с квадратом функциями - ). Итак, мы определяем:
Определение: Мера с проекционным значением на это карта , где является борелевской сигма-алгеброй над вещественными числами, которая выполняет следующее:
Тогда мы можем сформулировать теорему:
Теорема: Дан самосопряженный ограниченный линейный оператор , существует проекционнозначная мера на такой, что
Это своего рода непрерывный аналог записи оператора в виде суммы собственных значений и проекций. В случае компактных операторов наша первая теорема просто говорит нам, что мера является дискретным. Теперь разложение функции гильбертова пространства на «собственные векторы» становится менее очевидным - я не вижу действительно прямого аналога вашему доказательству выше. Однако мы можем сделать что-то подобное. Обратите внимание, что количество по-прежнему хорошо определен для каждого оператора , так что имеет смысл спросить, действительно ли . Кажется, можно доказать следующее (доказательство «легко следует» из спектральной теоремы):
Предложение: Даны два самосопряженных ограниченных линейных оператора , их спектральные меры коммутируют тогда и только тогда, когда коммутируют операторы.
Зачем нам коммутирующие меры? Что ж, в этом случае, похоже, нужно найти совместную проекционнозначную меру для двух наблюдаемых! На данный момент я немного не уверен, как это сформулировать. Я полагаю, вы должны определить совместную меру как является проекционнозначной мерой такой, что , где является мерой, принадлежащей и аналогично, если я интегрирую другую переменную, я получаю другую меру. Я также предполагаю, что рассматриваемая здесь мера должна быть просто мерой продукта.
Это должно быть настолько далеко, насколько мы можем провести аналогию. Теперь вы специально спрашивали о непостоянных операторах. В этом случае нам нужно рассмотреть неограниченные операторы — они естественным образом возникают как гамильтонианы в квантовой механике (однако вы можете практически избежать их, всегда учитывая эволюцию во времени). Сначала снова определение:
Определение: линейный оператор с называется неограниченным , если для любого существует такой, что . Неограниченный оператор называется эрмитовым , если для всех у нас есть . Оператор называется самосопряженным , если, кроме того, область определения его сопряженного оператора также .
Это вроде бы ясно, но я хотел записать это определение, чтобы прояснить самую большую разницу между неограниченными и ограниченными операторами: в то время как для ограниченных операторов мы всегда можем предположить, что областью определения является все гильбертово пространство, это уже не верно для неограниченные операторы. На самом деле неограниченные операторы определены только на плотном подмножестве всего гильбертова пространства. В этот момент умножение оператора становится проблематичным - величина, подобная не определен заранее. Вы, конечно, можете легко сделать его четко определенным выражением, просто сказав, что домен это все векторы, где это имеет смысл. Однако во многих случаях это будет означать, что домен просто , что делает выражение немного бессмысленно.
Оказывается, вы можете использовать ту же спектральную теорему, что и выше, для неограниченных операторов (проекционнозначная мера для ограниченных операторов будет иметь компактный носитель, а для неограниченных операторов это уже не так). Теперь у нас может быть другое определение поездок на работу (теперь оно взято из Рида-Саймона VIII.5):
Определение: Два самосопряженных оператора коммутируют тогда и только тогда, когда коммутируют все их проекции в соответствующих им проекционнозначных мерах.
И тогда можно доказать следующую теорему (опять же Рида-Саймона):
Теорема: два самосопряженных оператора коммутируют тогда и только тогда, когда коммутируют их однопараметрические унитарные группы (т.е. для всех ).
В связи с этим может быть разумным задать вопрос о том, существует ли что-то вроде «совместной меры», но это может быть и неразумным. Это больше, чем мне известно, и я думаю, вам следует спросить математиков, если вы хотите получить более ясное и полное изложение этих тонких моментов...
Как уже было сказано, последняя часть взята из книги Michael Reed, Barry Simon: Methods of Modern Mathematical Physics I: Functional Analysis (глава VIII).
Остальное из моей головы и может быть ошибочным, комментарии и предложения очень приветствуются. Я всегда могу предоставить дополнительные ссылки и доказательства, однако большинство доказательств (особенно спектральная теорема) довольно сложны.
РЕДАКТИРОВАТЬ: В общем, учитывая расчет типа , это можно сделать только для любого состояния, если ограничен. Вы столкнетесь с этой ситуацией в основном в двух контекстах: либо оператор действительно ограничен (тогда в большинстве случаев он даже будет компактным, а являются собственными состояниями), либо оператор неограничен и будут обобщенными собственными состояниями. Так как они в любом случае не находятся в гильбертовом пространстве, все выражение является только формальным, и чтобы увидеть, как это работает математически, вы должны работать по-другому.
Сейчас бывают ситуации, отличные от этой. Один из них, о котором я могу думать, — это гамильтониан для гармонического осциллятора, который не ограничен, но имеет только чисто точечный спектр. В этом случае для общих коэффициентов в основном бессмысленно в том смысле, что правая часть бесконечна, а левая часть не определена, но выбор коэффициентов, убывающих достаточно быстро, правая часть имеет смысл. Тогда вы можете легко показать, что это последовательность Коши, а значит, по полноте сходится к левой части. Это, однако, должно быть показано для любого конкретного примера последовательности. В данном конкретном случае еще можно сказать, что выполняется, просто определив отношение как истинное, если правая часть бесконечна, и помня, что это просто означает, что государство не поддерживает . Тем не менее, я не думаю, что это вообще в любом случае.
Гидро Гай
джошфизика
пользователь3657