Неограниченные операторы
[25/0%]Ассоциативный закон свободно использовался на протяжении этой главы. Докажите его. Докажите также, что влечёт и .
Пусть — плотно определённый оператор в . Докажите, что имеет замкнутое расширение тогда и только тогда, когда плотно в . В этом случае докажите, что является расширением .
По теореме для плотно определённого оператора в тогда и только тогда, когда плотен в . Покажите, что это действительно может произойти.
Указание: пусть — ортонормированный базис ; пусть — плотное подмножество ; определим ; и продолжим линейно на , множество всех конечных линейных комбинаций базисных векторов . Покажите, что график этого плотен в .
Пусть — плотно определённый, замкнутый оператор в , и . Следует ли отсюда, что нормален?
Пусть — плотно определённый оператор в , и для каждого . Следует ли отсюда, что для каждого ?
Если — оператор в , определим
Если плотно, докажите, что
Если также замкнут, докажите, что
Это обобщает теорему 12.10.
Рассмотрим следующие три краевые задачи. Дифференциальное уравнение имеет вид
где дана. Варианты граничных условий:
(i) .
(ii) .
(iii) и .
Покажите, что каждая из этих задач имеет единственное решение , такое что абсолютно непрерывна и . Указание: объедините пример 13.4 с теоремой 13.13.
Сделайте это также, решив задачи явно.
Докажите самосопряжённость оператора в , определённого формулой , с , состоящим из всех абсолютно непрерывных , таких что .
Указание: возможно, вам понадобится знать, что при для каждой . Докажите это. Или докажите больше, а именно, что каждая является преобразованием Фурье некоторой -функции.
Зафиксируем . Используйте теорему 13.13, чтобы доказать, что уравнение
имеет единственное абсолютно непрерывное решение , у которого , , и абсолютно непрерывна.
Докажите также, прямым вычислением, что
Это решение можно также найти с помощью преобразований Фурье.
Пусть — пространство всех голоморфных функций в открытом единичном круге, удовлетворяющих
Покажите, что — гильбертово пространство, изоморфное посредством взаимно однозначного соответствия .
Определим формулой . Покажите, что — преобразование Кэли симметричного оператора в , заданного формулой
Найдите области значений и ; покажите, что одна из них — , а другая имеет коразмерность 1. (Сравните с примером 13.21).
С , как в упражнении 9, определим теперь формулой
Покажите, что — изометрия, являющаяся преобразованием Кэли замкнутого симметричного оператора в , дефектные индексы которого равны 0 и .
Докажите пункт (c) леммы 13.18.
В контексте теоремы 13.24, как связаны операторы и ?
Если и измеримы, и ограничена, докажите, что отображает в .
Докажите, что тогда и только тогда, когда п.в. , то есть тогда и только тогда, когда
Является ли нормальным оператор , фигурирующий в доказательстве теоремы 13.33?
Докажите, что каждый нормальный оператор в , ограниченный или нет, имеет полярное разложение
где унитарен, самосопряжён, . Более того, .
Докажите следующее расширение теоремы 12.16: если , если и — нормальные операторы в , и если , то также .
Пусть — замкнутый оператор в , и для каждого . Докажите, что нормален. Указание: начните с доказательства того, что
Докажите, что спектр любого оператора в является замкнутым подмножеством . (См. определение 13.26). Указание: если , и , то — ограниченное обратное к , при малых .
Положим . Определим , где , формулой
так что , и т.д. (Заметьте, что представлен в его полярном разложении ).
Найдите . Вычислите, что
Заключите, что взаимно однозначен, что плотно в , и что . Определим , с областью определения , формулой
Докажите, что пуст.
Пусть — как в примере 13.4, положим
и определим для всех .
Докажите следующие утверждения:
Каждое лежит в точечном спектре .
состоит из чисел , где пробегает целые числа; каждое из них лежит в точечном спектре .
имеет коразмерность 1 для каждого . Следовательно, . Точечный спектр пуст.
пуст.
Указание: изучите дифференциальное уравнение . Это иллюстрирует, насколько чувствителен спектр дифференциального оператора к его области определения (в данном случае, к наложенным граничным условиям).
Покажите, что каждое непустое замкнутое подмножество является спектром некоторого нормального оператора в (если ).
Определим , где , формулой
Докажите, что каждый унитарен.
Докажите, что удовлетворяет условиям, сформулированным в определении 13.34.
Если — бесконечно малый производящий оператор , докажите, что тогда и только тогда, когда (где — преобразование Фурье ), и что для всех .
Докажите, что — мнимая ось. Точнее, покажите, что взаимно однозначен для каждого , что лежит в резольвентном множестве тогда и только тогда, когда не является чисто мнимым, и что область значений — собственное плотное подпространство , если чисто мнимо.
Указание: тогда и только тогда, когда , а также принадлежит .
Если (см. упражнение 9) и , определим
Покажите, что каждый самосопряжён (и положителен). Найдите бесконечно малый производящий оператор полугруппы . Является ли самосопряжённым? Покажите, что имеет чисто точечный спектр, в точках .
Для , определим
и положим . Покажите, что удовлетворяет условиям, наложенным в определении 13.34, и что для всех .
Найдите область определения бесконечно малого производящего оператора семейства , и докажите, что
где — преобразование Гильберта (гл. 7, упражнение 24). Докажите, что положителен и самосопряжён.
Интеграл представляет гармоническую функцию в верхней полуплоскости, с граничными значениями . Свойство полугруппы можно вывести отсюда, а также рассмотрев преобразования Фурье функций .
Покажите, что каждый изометрический оператор в имеет замкнутое изометрическое расширение.
С другой стороны, покажите, что некоторые симметричные операторы в не имеют замкнутого симметричного расширения, дополнив следующий набросок.
Пусть — ортонормированный базис . Пусть — множество всех конечных сумм , подчинённых условию . Докажите, что — плотное подпространство . Определим формулой
и пусть — ограничение на . Тогда — изометрия, с , и взаимно однозначно на . Следовательно, — преобразование Кэли симметричного оператора . Любое замкнутое симметричное расширение соответствовало бы замкнутому изометрическому расширению оператора , с взаимно однозначным. Но плотно в ; следовательно, имеет только одно замкнутое изометрическое расширение, а именно , и не взаимно однозначно.