В математике , А самосопряженный оператор на конечномерном комплексном векторном пространстве V с внутренним произведением (эквивалентно, эрмитов оператор в конечномерном случае) - это линейное отображение A (из V в себя), которое является собственным сопряженным :для всех векторов v и w. Если V конечномерно с заданной ортонормированному , это эквивалентно условию , что матрица из А является эрмитовой матрицей , т.е. равно его сопряженного транспонирование * . По конечномерном спектральной теорема , V имеет ортогональный базис таким образом, что матрица А по отношению к этой основе является диагональной матрицей с элементами в действительных числах . В этой статье мы рассматриваем обобщения этого понятия на операторы в гильбертовых пространствах произвольной размерности.
Самосопряженные операторы используются в функциональном анализе и квантовой механике . В квантовой механике их важность заключается в формулировке квантовой механики Дирака – фон Неймана , в которой физические наблюдаемые, такие как положение, импульс , угловой момент и спин , представлены самосопряженными операторами в гильбертовом пространстве. Особое значение имеет гамильтонов оператор определяется
которая , как наблюдаемые соответствует полной энергии частицы массы т в реальном потенциальном поле V . Дифференциальные операторы - важный класс неограниченных операторов .
Структура самосопряженных операторов в бесконечномерных гильбертовых пространствах существенно напоминает конечномерный случай. Другими словами, операторы являются самосопряженными тогда и только тогда, когда они унитарно эквивалентны операторам действительного умножения. С подходящими модификациями этот результат можно распространить на, возможно, неограниченные операторы в бесконечномерных пространствах. Поскольку всюду определенный самосопряженный оператор обязательно ограничен, нужно более внимательно относиться к вопросу о предметной области в неограниченном случае. Это объясняется ниже более подробно.
Ограниченные самосопряженные операторы
Предполагать является ограниченным линейным оператором из гильбертова пространства H в себя. Тогда существует единственный ограниченный оператор, Называется сопряженным изтакие, что (в обозначениях бюстгальтера )
для всех в H . [1] Мы говорим, что A является самосопряженным (физики используют термин «эрмитово»), если. Эквивалентно ограниченный оператор A самосопряжен, если
для всех а также в Н .
Любой ограниченный линейный оператор T : H → H в гильбертовом пространстве H можно записать в видегде A : H → H и B : H → H - ограниченные самосопряженные операторы. [2]
Свойства ограниченных самосопряженных операторов
Пусть H - гильбертово пространство и пусть - ограниченный самосопряженный линейный оператор, определенный на .
- реально для всех . [3]
- [3] если
- Если образ A , обозначенный, плотно в H, то обратимо.
- Собственные значения матрицы A действительны, а собственные векторы, принадлежащие разным собственным значениям, ортогональны. [3]
- Если является собственным значением оператора A, то; в частности,. [3]
- Если последовательность ограниченных самосопряженных линейных операторов сходится, то предел самосопряженный. [2]
- Есть номер , равно либо или же , и последовательность такой, что а также для всех я . [4]
Симметричные операторы
Тонкости неограниченного дела
Во многих приложениях мы вынуждены рассматривать неограниченные операторы; примеры включают позиционные, импульсные и гамильтоновы операторы в квантовой механике, а также многие дифференциальные операторы. В неограниченном случае необходимо решить ряд тонких технических проблем. В частности, существует принципиальное различие между операторами, которые просто «симметричны» (определены в этом разделе), и операторами, которые являются «самосопряженными» (определены в следующем разделе). В случае дифференциальных операторов, определенных в ограниченных областях, эти технические вопросы связаны с правильным выбором граничных условий.
Определение симметричного оператора
Рассмотрим теперь неограниченный оператор А в гильбертовом пространстве H . Это означает, что A является линейным отображением из подпространства H - «области» A , обозначаемой- к самому H. Обычно мы предполагаем, чтоплотное подпространство Н . Такой оператор называется симметричным , если в скобках обозначения ,
для всех элементов х и у в области А .
Если A симметрично и, то A обязательно ограничено. [5] То есть неограниченный симметрический оператор не может быть определен на всем гильбертовом пространстве. Поскольку операторы, рассматриваемые в квантовой механике, неограниченны, их невозможно определить как симметричные операторы во всем гильбертовом пространстве.
В физической литературе термин « эрмитовский» используется вместо термина «симметричный». В физической литературе обычно игнорируется различие между операторами, которые являются просто симметричными, и операторами, которые фактически являются самосопряженными (как определено в следующем разделе).
Хотя понятие симметричного оператора легко понять, это не «правильное» понятие в общем неограниченном случае. В частности, спектральная теорема применима только к самосопряженным операторам (определенным в следующем разделе), а не к большинству операторов, которые являются просто симметричными. В частности, хотя собственные значения симметричного оператора обязательно действительны, симметричный оператор не обязательно должен иметь какие-либо собственные векторы, не говоря уже об их ортонормированном базисе.
В более общем смысле, частично определенный линейный оператор A из топологического векторного пространства E в его непрерывное двойственное пространство E ∗ называется симметричным, если
для всех элементов х и у в области А . Это использование довольно стандартно в литературе по функциональному анализу.
Простой пример
Как отмечалось выше, спектральная теорема применима только к самосопряженным операторам, а не к симметрическим операторам вообще. Тем не менее, здесь мы можем привести простой пример симметричного оператора, который имеет ортонормированный базис из собственных векторов. (Этот оператор на самом деле «существенно самосопряжен.») Оператор Ниже можно увидеть , чтобы иметь компактный обратный, а это означает , что соответствующее дифференциальное уравнение М = г решается с помощью некоторого интеграла, следовательно , компактный, оператор G . Компактный симметричный оператор G , то имеет счетное семейство собственных векторов , которые являются полными в L 2 . То же самое может быть сказано для A .
Рассмотрим комплексное гильбертово пространство L 2 [0,1] и дифференциальный оператор
с участием состоящий из всех комплекснозначных бесконечно дифференцируемых функций f на [0, 1], удовлетворяющих граничным условиям
Тогда интегрирование по частям внутреннего продукта показывает, что A симметрична. Читателю предлагается дважды выполнить интегрирование по частям и убедиться, что заданные граничные условия для убедиться, что граничные члены интегрирования по частям равны нулю.
Собственные функции A - это синусоиды.
с действительными собственными значениями n 2 π 2 ; хорошо известная ортогональность синусоидальных функций следует как следствие свойства симметрии.
Ниже мы рассмотрим обобщения этого оператора.
Свойства симметричных операторов
Пусть H - гильбертово пространство, а A - H -значный линейный оператор, определенный на.
- Если A симметрично, то реально для всех .
Самосопряженные операторы
Определение самосопряженного оператора
Вкратце, плотно определенный линейный оператор A в гильбертовом пространстве является самосопряженным, если он равен своему сопряженному. Иными словами, A является самосопряженным, если (1) область определения A совпадает с областью определения сопряженного, и (2) оператор A согласован со своим сопряженным в этой общей области.
Теперь мы более подробно остановимся на приведенном выше определении. Для плотно определенного линейного оператора A на H его сопряженный A ∗ определяется следующим образом:
- Область определения A ∗ состоит из векторов x в H таких, что (которое является плотно определенным линейным отображением) является непрерывным линейным функционалом. По непрерывности и плотности области А , оно продолжается до единственного непрерывного линейного функционала на всех Н .
- По теореме Рисса о представлении линейных функционалов, если x находится в области определения A ∗ , существует единственный вектор z в H такой, что Этот вектор z определяется как A ∗ x . Можно показать, что зависимость z от x линейна.
Обратите внимание, что именно плотность области определения оператора, наряду с частью уникальности представления Рисса, обеспечивает правильное определение сопряженного оператора.
Результат типа Хеллингера-Теплица гласит, что оператор, имеющий всюду определенное ограниченное сопряжение, ограничен.
Условие самосопряженности линейного оператора в гильбертовом пространстве сильнее, чем симметрии . Хотя это различие носит технический характер, оно очень важно; спектральная теорема применима только к самосопряженным операторам, а не к просто симметричным операторам. Подробное обсуждение различия см. В главе 9 Hall (2013).
Для любого плотно определенного оператора A в гильбертовом пространстве можно определить его сопряженный оператор A ∗ . Для симметричного оператора A область определения оператора A ∗ содержит область определения оператора A , а ограничение оператора A ∗ на область определения A совпадает с оператором A , т . Е. A ⊆ A ∗ , другими словами A * является продолжением A . Для самосопряженного оператора A область определения A ∗ такая же, как область определения A , и A = A ∗ . См. Также Расширения симметрических операторов и неограниченный оператор .
Существенная самосопряженность
Симметричный оператор A всегда замыкаем; то есть замыкание графика A является графиком оператора. Симметричный оператор называется существенно самосопряженным , если замыкание А самосопряжено. Эквивалентно, A по существу самосопряженный, если он имеет уникальное самосопряженное расширение. С практической точки зрения наличие по существу самосопряженного оператора почти так же хорошо, как наличие самосопряженного оператора, поскольку нам просто нужно выполнить замыкание, чтобы получить самосопряженный оператор.
Геометрическая интерпретация
Существует полезный геометрический способ рассмотрения сопряженного оператора A на H следующим образом: мы рассматриваем граф G ( A ) оператора A, определенный формулой
Теорема - Пусть J будет симплектическое отображение
Плотно определенный оператор A является симметричным тогда и только тогда, когда A ⊆ A ∗ , где обозначение подмножества A ⊆ A ∗ означает G ( A ) ⊆ G ( A ∗ ) . Оператор является самосопряженным тогда и только тогда , когда A = A * ; то есть тогда и только тогда, когда G ( A ) = G ( A ∗ ) .
Пример
Рассмотрим комплексное гильбертово пространство L 2 ( R ) и оператор, умножающий заданную функцию на x :
Домен А является пространством всех L 2 функций для которого также интегрируем с квадратом. Тогда A самосопряжен. [6] С другой стороны, A не имеет собственных функций. (Точнее, A не имеет нормализуемых собственных векторов, то есть собственных векторов, которые фактически находятся в гильбертовом пространстве, на котором определено A. )
Как мы увидим позже, самосопряженные операторы обладают очень важными спектральными свойствами; на самом деле они являются операторами умножения на общих пространствах с мерой.
Различие между симметричными и самосопряженными операторами
Как обсуждалось выше, хотя различие между симметричным оператором и самосопряженным (или по существу самосопряженным) оператором является тонким, оно важно, поскольку самосопряженность является гипотезой спектральной теоремы. Здесь мы обсуждаем некоторые конкретные примеры различия; см. ниже раздел о расширениях симметрических операторов для общей теории.
Граничные условия
В случае, когда гильбертово пространство является пространством функций в ограниченной области, эти различия имеют отношение к известной проблеме в квантовой физике: нельзя определить оператор, такой как импульс или оператор Гамильтона, в ограниченной области без указания граничные условия . С математической точки зрения выбор граничных условий означает выбор подходящей области для оператора. Рассмотрим, например, гильбертово пространство(пространство квадратично интегрируемых функций на отрезке [0,1]). Определим на этом пространстве оператор «импульса» A по обычной формуле, положив постоянную Планка равной 1:
Теперь мы должны указать область для A , что составляет выбор граничных условий. Если мы выберем
тогда A несимметрична (поскольку граничные члены при интегрировании по частям не обращаются в нуль).
Если мы выберем
тогда, используя интегрирование по частям, легко проверить, что A симметрична. Этот оператор по существу не является самосопряженным, [7], однако, в основном потому, что мы задали слишком много граничных условий на области определения A , что делает область сопряженной области слишком большой. (Этот пример также обсуждается в разделе «Примеры» ниже.)
В частности, с указанным выше выбором домена для A , область замыканияиз является
тогда как область сопряженного из является
Другими словами, область замыкания имеет те же граничные условия, что и область самой A , только менее строгое предположение о гладкости. Между тем, поскольку на A «слишком много» граничных условий , их «слишком мало» (на самом деле, в данном случае их совсем нет) для. Если мы вычислим для используя интегрирование по частям, то, поскольку обращается в нуль на обоих концах интервала, нет граничных условий на необходимы для сокращения граничных членов при интегрировании по частям. Таким образом, любая достаточно гладкая функция находится в сфере , с участием . [8]
Поскольку область замыкания и область сопряженного не совпадают, A по существу не является самосопряженным. Ведь общий результат говорит, что область определения сопряженного ктакой же , как в области сопряженного А . Таким образом, в этом случае область сопряженного к больше, чем область сам, показывая, что не является самосопряженным, что по определению означает, что A не является по существу самосопряженным.
Проблема в предыдущем примере, что мы ввели слишком много граничных условий на области А . Лучшим выбором домена было бы использование периодических граничных условий:
С этой областью A по существу самосопряжен. [9]
В этом случае мы можем понять последствия проблем области для спектральной теоремы. Если мы используем первый выбор области (без граничных условий), все функции для являются собственными векторами с собственными значениями , поэтому спектр представляет собой всю комплексную плоскость. Если мы используем второй выбор области (с граничными условиями Дирихле), A вообще не имеет собственных векторов. Если мы используем третий выбор области (с периодическими граничными условиями), мы можем найти ортонормированный базис собственных векторов для A , функции. Таким образом, в этом случае поиск области, в которой A является самосопряженным, является компромиссом: область должна быть достаточно маленькой, чтобы A была симметричной, но достаточно большой, чтобы.
Операторы Шредингера с сингулярными потенциалами
Более тонкий пример различия между симметричными и (по существу) самосопряженными операторами исходит из операторов Шредингера в квантовой механике. Если потенциальная энергия сингулярна - особенно если потенциал неограничен снизу, - ассоциированный оператор Шредингера может не быть по существу самосопряженным. Например, в одном измерении оператор
не является по существу самосопряженным на пространстве гладких быстро убывающих функций. [10] В этом случае нарушение существенной самосопряженности отражает патологию в лежащей в основе классической системе: классическая частица спотенциал ускользает в бесконечность за конечное время. Этот оператор не имеет единственного самосопряженного, но он допускает самосопряженные расширения, полученные путем задания «граничных условий на бесконечности». (Сявляется действительным оператором, он коммутирует с комплексным сопряжением. Таким образом, индексы дефекта автоматически равны, что является условием наличия самосопряженного расширения. См. Обсуждение расширений симметрических операторов ниже.)
В этом случае, если мы изначально определим на пространстве гладких, быстро убывающих функций сопряженным будет «тот же» оператор (т. е. заданный той же формулой), но в максимально возможной области, а именно
Тогда можно показать, что не является симметричным оператором, из чего следует, что по существу не самосопряжен. Действительно,имеет собственные векторы с чисто мнимыми собственными значениями [11] [12], что невозможно для симметричного оператора. Этот странный случай возможен из-за отмены между двумя терминами в: Есть функции в области для которого ни ни отдельно в , но их сочетание, встречающееся в в . Это позволяет быть несимметричным, хотя оба а также являются симметричными операторами. Такого рода отмены не произойдет, если мы заменим отталкивающий потенциал с ограничивающим потенциалом .
Условия самосопряженности или существенно самосопряженности операторов Шредингера можно найти в различных учебниках, таких как книги Березина и Шубина, Холла, Рида и Саймона, перечисленные в ссылках.
Спектральная теорема
В физической литературе спектральная теорема часто формулируется, говоря, что самосопряженный оператор имеет ортонормированный базис собственных векторов. Однако физикам хорошо известно явление «непрерывного спектра»; таким образом, когда они говорят об «ортонормированном базисе», они имеют в виду либо ортонормированный базис в классическом смысле, либо некоторый его непрерывный аналог. В случае оператора импульса, например, физики сказали бы, что собственные векторы - это функции , которые явно не находятся в гильбертовом пространстве . (Физики сказали бы, что собственные векторы «ненормализуемы».) Затем физики сказали бы, что эти «собственные векторы» ортонормированы в непрерывном смысле, где обычная дельта Кронекера заменяется дельта-функцией Дирака .
Хотя эти утверждения могут показаться математикам сбивающими с толку, их можно сделать точными, используя преобразование Фурье, которое позволяет сделать общие выводы. функция должна быть выражена как "суперпозиция" (т.е. интеграл) функций , хотя этих функций нет в . Преобразование Фурье «диагонализует» оператор импульса; то есть преобразует его в оператор умножения на, где - переменная преобразования Фурье.
Спектральная теорема в целом может быть выражена аналогично возможности «диагонализации» оператора, показывая, что он унитарно эквивалентен оператору умножения. Другие версии спектральной теоремы аналогичным образом предназначены для улавливания идеи о том, что самосопряженный оператор может иметь «собственные векторы», которые на самом деле не находятся в рассматриваемом гильбертовом пространстве.
Формулировка спектральной теоремы.
Частично определенные операторы , Б на гильбертовых пространствах Н , K являются унитарно эквивалентны тогда и только тогда , когда существует унитарное преобразование U : H → K такое , что
- U отображает dom A биективно на dom B ,
Оператор умножения определяется следующим образом : Пусть ( X , Σ, μ) является счетно - аддитивной мерой пространства и F вещественной измеримой функции на X . Оператор T вида
домен которого является пространством ф , для которого выше правой руки находится в L 2 называется оператором умножения.
Один из вариантов спектральной теоремы можно сформулировать следующим образом.
Теорема - Любое умножение оператор является (плотно определенно) самосопряженным оператором. Любой самосопряженный оператор унитарно эквивалентен оператору умножения. [13]
Другие версии спектральной теоремы можно найти в указанной выше статье о спектральных теоремах.
Спектральная теорема для неограниченных самосопряженных операторов может быть доказана путем сведения к спектральной теореме для унитарных (следовательно, ограниченных) операторов. [14] Эта редукция использует преобразование Кэли для самосопряженных операторов, которое определено в следующем разделе. Мы могли бы заметить, что если T - это умножение на f, то спектр T - это просто существенный диапазон f.
Функциональное исчисление
Одним из важных приложений спектральной теоремы является определение « функционального исчисления ». То есть, если - функция на действительной прямой и является самосопряженным оператором, мы хотим определить оператор . Если имеет истинный ортонормированный базис собственных векторов с собственными значениями , тогда - оператор с собственными векторами и собственные значения . Цель функционального исчисления - распространить эту идею на случай, когда имеет непрерывный спектр.
Особое значение в квантовой физике имеет случай, когда - гамильтонов оператор а также является экспонентой. В этом случае функциональное исчисление должно позволить нам определить оператор
который является оператором, определяющим эволюцию во времени в квантовой механике.
Учитывая представление T как оператора умножения на- как гарантируется спектральной теоремой - функциональное исчисление легко охарактеризовать: если h - ограниченная вещественнозначная борелевская функция на R , то h ( T ) - оператор умножения на композицию.
Разрешение личности
Принято вводить следующие обозначения
где - характеристическая функция интервала . Семейство проекционных операторов Е Т (λ) называется разложением единицы для T . Более того, можно доказать следующее интегральное представление Стилтьеса для T :
Приведенное выше определение операторного интеграла можно свести к определению скалярнозначного интеграла Стилтьеса с использованием слабой операторной топологии. Однако в более современных методах лечения этого представления обычно избегают, поскольку с большинством технических проблем можно справиться с помощью функционального исчисления.
Формулировка в физической литературе
В физике, особенно в квантовой механике, спектральная теорема выражается способом, который объединяет спектральную теорему, как указано выше, и функциональное исчисление Бореля с использованием обозначений Дирака следующим образом:
Если H самосопряженный, а f - борелевская функция ,
с участием
где интеграл пробегает весь спектр Н . Обозначения позволяет предположить , что Н диагонализуется собственными векторами Ψ E . Такое обозначение чисто формальное . Видно сходство обозначений Дирака и предыдущего раздела. Разрешение тождества (иногда называемого проекционно-значными мерами) формально напоминает проекции ранга 1.. В нотации Дирака (проективные) измерения описываются с помощью собственных значений и собственных состояний , которые являются чисто формальными объектами. Как и следовало ожидать, это не переживает переход к разрешению идентичности. В последнем композиции, измерения описываются с использованием спектральной меры по, если система подготовлена в перед измерением. В качестве альтернативы, если кто-то хочет сохранить понятие собственных состояний и сделать его строгим, а не просто формальным, можно заменить пространство состояний подходящим оснащенным гильбертовым пространством .
Если f = 1 , теорема называется разрешением единицы:
В случае является суммой эрмитова H и косоэрмитова (см. косоэрмитова матрица ) оператора, определяется биортогональный базис
и запишем спектральную теорему как:
(См. Контекст, в котором такие операторы появляются в теории рассеяния, в методе разбиения Фешбаха – Фано ).
Расширения симметрических операторов
В нескольких контекстах возникает следующий вопрос: если оператор A в гильбертовом пространстве H симметричен, когда он имеет самосопряженные расширения? Оператор, имеющий единственное самосопряженное расширение, называется по существу самосопряженным ; эквивалентно, оператор является по существу самосопряженным, если его замыкание (оператор, график которого является замыканием графика A ) самосопряженный. В общем, симметричный оператор может иметь много самосопряженных расширений или вообще не иметь. Таким образом, нам нужна классификация его самосопряженных расширений.
Первый основной критерий существенной самосопряженности следующий: [15]
Теорема - Если симметричный оператор на Н , то , по существу , самосопряженная тогда и только тогда , когда диапазон операторов а также плотны в H .
Эквивалентно, A по существу самосопряжен тогда и только тогда, когда операторы а также имеют тривиальные ядра. [16] То есть, A не может быть самосопряженным тогда и только тогда, когда имеет собственный вектор с собственным значением или же .
Другой способ взглянуть на проблему - это преобразование Кэли самосопряженного оператора и индексы дефекта. (Часто бывает технически удобно иметь дело с замкнутыми операторами . В симметричном случае требование замкнутости не создает препятствий, поскольку известно, что все симметричные операторы замыкаемы .)
Теорема - Пусть симметричный оператор. Тогда существует единственный частично определенный линейный оператор
Здесь ran и dom обозначают изображение (другими словами, диапазон) и домен соответственно. W ( A ) изометрично на своей области определения. Кроме того, диапазон 1 - W ( ) является плотным в H .
И наоборот, для любого частично определенного оператора U, который изометричен в своей области определения (которая не обязательно является замкнутой) и такой, что 1 - U плотно, существует (единственный) оператор S ( U )
такой, что
Оператор S ( U ) плотно определен и симметричен.
Отображения W и S обратны друг другу. [ требуется разъяснение ]
Отображение W называется преобразованием Кэли . Он связывает частично определенную изометрию с любым симметричным плотно определенным оператором. Обратите внимание, что отображения W и S монотонны : это означает, что если B - симметричный оператор, расширяющий плотно определенный симметрический оператор A , то W ( B ) расширяет W ( A ), и аналогично для S.
Теорема - необходимое и достаточное условие для быть самосопряженная, что его преобразование Кэли W ( ) унитарным.
Это сразу дает нам необходимое и достаточное условие для того, чтобы A имела самосопряженное расширение, а именно:
Теорема - необходимое и достаточное условие для А , чтобы иметь самосопряженное расширение, что W ( ) есть унитарное расширение.
Частично определенный изометрический оператор V в гильбертовом пространстве H имеет единственное изометрическое расширение до замыкания по норме dom ( V ). Частично определенный изометрический оператор с замкнутой областью определения называется частичной изометрией .
При частичной изометрии V , то индексы дефекта из V определяется как размерности ортогональных дополнений домена и диапазона:
Теорема - частичная изометрия V имеет унитарное расширение тогда и только тогда , когда индексы дефекта являются идентичными. Более того, V имеет единственное унитарное расширение тогда и только тогда, когда оба индекса дефекта равны нулю.
Мы видим, что существует биекция между симметричными расширениями оператора и изометрическими расширениями его преобразования Кэли. Симметричное расширение самосопряжено тогда и только тогда, когда соответствующее изометрическое расширение унитарно.
Симметричный оператор имеет единственное самосопряженное расширение тогда и только тогда, когда оба его индекса дефекта равны нулю. Такой оператор называется по существу самосопряженным . Симметричные операторы, которые по существу не являются самосопряженными, могут иметь каноническое самосопряженное расширение. Так обстоит дело с неотрицательными симметричными операторами (или, в более общем смысле, с ограниченными снизу операторами). Эти операторы всегда имеют канонически определенное расширение Фридрихса, и для этих операторов мы можем определить каноническое функциональное исчисление. Многие операторы, встречающиеся в анализе, ограничены снизу (например, отрицательный оператор лапласа ), поэтому вопрос о существенной сопряженности для этих операторов менее критичен.
Самосопряженные расширения в квантовой механике
В квантовой механике наблюдаемые соответствуют самосопряженным операторам. По теореме Стоуна об однопараметрических унитарных группах самосопряженные операторы являются в точности инфинитезимальными генераторами унитарных групп операторов временной эволюции . Однако многие физические проблемы формулируются как уравнение эволюции во времени, включающее дифференциальные операторы, для которых гамильтониан только симметричен. В таких случаях либо гамильтониан является по существу самосопряженным, и в этом случае физическая проблема имеет единственные решения, либо делается попытка найти самосопряженные расширения гамильтониана, соответствующие различным типам граничных условий или условий на бесконечности.
Пример. Одномерный оператор Шредингера с потенциалом, изначально определенная на гладких функциях с компактным носителем, по существу самосопряжена (т.е. имеет самосопряженное замыкание) при 0 < α ≤ 2, но не при α > 2 . См. Березин и Шубин, страницы 55 и 86 или Раздел 9.10 в Холле.
Нарушение сущностной самосопряженности для имеет аналог в классической динамике частицы с потенциалом : Классическая частица убегает в бесконечность за конечное время. [17]
Пример. Самосопряженного оператора импульса p для частицы, движущейся по полупрямой, не существует. Тем не менее гамильтониан"свободной" частицы на полупрямой имеет несколько самосопряженных расширений, соответствующих разным типам граничных условий. Физически эти граничные условия связаны с отражениями частицы в начале координат (см. Рид и Саймон, том 2).
Формулы фон Неймана
Предположим, что A симметрично плотно определено. Тогда любое симметрическое расширение A является ограничением A *. Действительно, если A ⊆ B и B симметрично, то B ⊆ A *, применяя определение dom ( A *).
Теорема - Пусть плотно определенный симметричный оператор. Позволять
Они упоминаются как формулы фон Неймана в справочнике Ахиезера и Глазмана.
Примеры
Симметричный оператор, не являющийся по существу самосопряженным
Сначала рассмотрим гильбертово пространство и дифференциальный оператор
на пространстве непрерывно дифференцируемых комплекснозначных функций на [0,1], удовлетворяющих граничным условиям
Тогда D - симметричный оператор, что можно показать интегрированием по частям . Пространства N + , N - (определенные ниже) задаются соответственно распределительными решениями уравнения
которые находятся в L 2 [0, 1]. Можно показать, что каждое из этих пространств решений одномерно, порождено функциями x → e −x и x → e x соответственно. Это показывает, что D по существу не является самосопряженным [18], но имеет самосопряженные расширения. Эти расширения Самосопряженных параметризованные пространств унитарных отображений Н + → N - , который в этом случае происходит с единичной окружностью Т .
В этом случае нарушение существенного самосопряженности связано с «неправильным» выбором граничных условий при определении области . С является оператором первого порядка, требуется только одно граничное условие, чтобы гарантировать, что симметрично. Если мы заменим указанные выше граничные условия одним граничным условием
- ,
тогда D по- прежнему был бы симметричным и фактически самосопряженным. Это изменение граничных условий дает один конкретное существенно самосопряженное расширение D . Другие существенно самосопряженные расширения возникают из-за наложения граничных условий вида.
Этот простой пример иллюстрирует общий факт о самосопряжённых расширениях симметричного дифференциальных операторов Р на открытом множестве M . Они определяются унитарными отображениями между пространствами собственных значений
где P расстояние является дистрибутивной расширение P .
Операторы с постоянными коэффициентами
Далее мы приведем пример дифференциальных операторов с постоянными коэффициентами . Позволять
- многочлен на R n с действительными коэффициентами, где α пробегает (конечный) набор мультииндексов . Таким образом
а также
Мы также используем обозначения
Тогда оператор P (D), определенный на пространстве бесконечно дифференцируемых функций с компактным носителем на R n формулой
существенно самосопряжен на L 2 ( R n ).
Теорема - Пусть Р полиномиальная функция на R п с вещественными коэффициентами, Р преобразование Фурье рассматривается как унитарная карте L 2 ( R п ) → L 2 ( R п ). Тогда F * P (D) F является существенно самосопряженным и его единственное продолжение самосопряженная является оператором умножения на функцию P .
В более общем смысле, рассмотрим линейные дифференциальные операторы, действующие на бесконечно дифференцируемые комплекснозначные функции с компактным носителем. Если M - открытое подмножество R n
где a α - (не обязательно постоянные) бесконечно дифференцируемые функции. P - линейный оператор
Соответствующему P есть другой дифференциальный оператор, формальный сопряженный к P
Теорема - Сопряженный P * к P является ограничением дистрибутивного расширения формального сопряженного к соответствующему подпространству. Конкретно:
Теория спектральной множественности
Представление самосопряженного оператора умножением, хотя и чрезвычайно полезно, не является каноническим представлением. Это говорит о том, что нелегко извлечь из этого представления критерий, позволяющий определить, когда самосопряженные операторы A и B унитарно эквивалентны. Самое тонкое представление, которое мы сейчас обсуждаем, связано со спектральной множественностью. Этот круг результатов называется теорией спектральной кратности Хана - Хеллингера .
Равномерная множественность
Сначала определим равномерную кратность :
Определение . Самосопряженный оператор A имеет равномерную кратность n, где n таково, что 1 ≤ n ≤ ω, тогда и только тогда, когда A унитарно эквивалентен оператору M f умножения на функцию f (λ) = λ на
где H n - гильбертово пространство размерности n . Область определения M f состоит из вектор-функций ψ на R таких, что
Неотрицательные счетно-аддитивные меры μ, ν взаимно сингулярны тогда и только тогда, когда они поддерживаются на непересекающихся борелевских множествах.
Теорема - Пусть быть самосопряженный оператор на сепарабельном гильбертовом пространстве H . Тогда существует последовательность ω счетно-аддитивных конечных мер на R (некоторые из которых могут быть тождественно 0)
Это представление уникально в следующем смысле: для любых двух таких представлений одного и того же A соответствующие меры эквивалентны в том смысле, что они имеют одинаковые множества меры 0.
Прямые интегралы
Теорема спектральной кратности может быть переформулирована на языке прямых интегралов гильбертовых пространств:
Теорема - [19] Любой самосопряженный оператор в сепарабельном гильбертовом пространстве унитарно эквивалентен умножению на функцию λ ↦ λ на
В отличие от версии спектральной теоремы с оператором умножения, версия с прямым интегралом уникальна в том смысле, что класс эквивалентности меры меры μ (или, что то же самое, ее множества меры 0) определен однозначно, а измеримая функция определяется почти всюду по μ. [20] Функция- функция спектральной кратности оператора.
Теперь мы можем сформулировать результат классификации самосопряженных операторов: два самосопряженных оператора унитарно эквивалентны тогда и только тогда, когда (1) их спектры совпадают как множества, (2) меры, появляющиеся в их представлениях прямого интеграла, имеют одинаковые множества меры нуль и (3) их функции спектральной кратности почти всюду совпадают относительно меры в прямом интеграле. [21]
Пример: структура лапласиана
Лапласиан на R n - это оператор
Как отмечалось выше, лапласиан диагонализуется преобразованием Фурье. На самом деле более естественно рассматривать отрицание лапласиана −∆, поскольку как оператор он неотрицателен; (см. эллиптический оператор ).
Теорема - Если п = 1, то -Δ имеет однородную кратность, иначе −Δ имеет равномерную кратность . Более того, меру μ mult можно считать мерой Лебега на [0, ∞).
Чистый точечный спектр
Самосопряженный оператор на H имеет чисто точечный спектр тогда и только тогда , когда Н имеет ортогональный базис { е я } я ∈ I , состоящий из собственных векторов для A .
Пример . Гамильтониан гармонического осциллятора имеет квадратичный потенциал V , т. Е.
Этот гамильтониан имеет чисто точечный спектр; это типично для гамильтонианов связанных состояний в квантовой механике. Как было указано в предыдущем примере, достаточным условием наличия у неограниченного симметричного оператора собственных векторов, образующих базис гильбертова пространства, является наличие у него компактного обратного.
Смотрите также
- Компактный оператор в гильбертовом пространстве
- Теоретическое и экспериментальное обоснование уравнения Шредингера
- Неограниченный оператор
Цитаты
- ^ Hall 2013 Предложение A.53
- ^ a b Griffel 2002 , стр. 238.
- ^ a b c d e Griffel 2002 , стр. 224-230.
- ^ a b Griffel 2002 , стр. 240-245.
- ^ Холл 2013 Следствие 9.9
- ^ Hall 2013 Предложение 9,30
- ^ Hall 2013 Предложение 9,27
- ^ Hall 2013 Предложение 9,28
- ^ Холл 2013 Пример 9.25
- ^ Холл 2013 Теорема 9.41
- ↑ Березин и Шубин 1991 с. 85
- ^ Зал 2013 Раздел 9.10
- ^ Холл 2013 Теоремы 7.20 и 10.10
- ^ Зал 2013 Раздел 10.4
- ^ Холл 2013 Теорема 9.21
- ^ Холл 2013 Следствие 9.22
- ^ Холл 2013 Глава 2, Упражнение 4
- ^ Зал 2013 Раздел 9.6
- ^ Холл 2013 Теоремы 7.19 и 10.9
- ^ Hall 2013 Предложение 7,22
- ^ Hall 2013 Предложение 7,24
Рекомендации
- Ахиезер, Н.И .; Глазман И.М. (1981), Теория линейных операторов в гильбертовом пространстве , Два тома, Питман, ISBN 9780486318653
- Березин Ф.А.; Шубин, М.А. (1991), Уравнение Шредингера , Kluwer
- Гриффель, Д.Х. (2002). Прикладной функциональный анализ . Минеола, Нью-Йорк: Дувр. ISBN 0-486-42258-5. OCLC 49250076 .
- Холл, Британская Колумбия (2013), Квантовая теория для математиков , Тексты для выпускников по математике, 267 , Springer, ISBN 978-1461471158
- Като Т. (1966), Теория возмущений для линейных операторов , Нью-Йорк: Springer
- Моретти В. (2018), Спектральная теория и квантовая механика: математические основы квантовых теорий, симметрии и введение в алгебраические формулировки , Springer-Verlag, ISBN 978-3-319-70706-8
- Наричи, Лоуренс ; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Рид, М .; Саймон Б. (1972), Методы математической физики , Том 2, Academic Press
- Шефер, Гельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . GTM . 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
- Тешл, Г. (2009), Математические методы в квантовой механике; С приложениями к операторам Шредингера , Провиденс: Американское математическое общество
- Трев, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322 .
- Йосида, К. (1965), Функциональный анализ , Academic Press