209. Некоторые теоремы о расширениях и их спектрах.
Начнем с доказательства следующей теоремы:
Теорема 1. Если X — вещественная точка регулярного типа замкнутого симметричного оператора А, то существует такое
самосопряженное расширение А оператора А, для которого X - регулярная точка.
Не ограничивая общности, можно считать . Из условий теоремы следует, что R(А) — подпространство, и на нем определен ограниченный обратный оператор . Надо доказать, что существует такое самосопряженное расширение А оператора А, для которого . При указанных условиях мы имеем:
где - подпространство всех решений уравнения: Известно, что в рассматриваемом случае и, следовательно, для любого и существует по крайней мере одно решение уравнения
Обозначим через V линеал всех решений уравнения (165), когда и пробегает все U. Очевидно, что Обозначим через U линеал элементов V, ортогональных U, и построим линеал I элементов представимых в виде
где Покажем, что представление в виде (166) единственно. Если бы это было не так, то существовал бы элемент отличный от нулевого, принадлежащий одновременно D(А) и . Но тогда ибо и тем самым Но и потому что совместно с дает Этим доказана единственность представления (166), т. е. -прямая сумма: . Определим теперь на линеале l оператор А, полагая , и линеал l обозначим через Очевидно Покажем, что А удовлетворяет всем требованиям теоремы. На линеале оператор А совпадает с А и на U оператор А дает все U, что следует из определения U и того факта, что при и . Таким образом, . Остается показать симметричность А на . Отметим сначала, что
Пусть Тогда, согласно и мы имеем
Теорема доказана.
Можно показать, что если вполне непрерывен, то и вполне непрерывен. Подробному изучению таких расширений операторов, как абстрактных, так и дифференциальных, посвящены работы М. И. Вишика (Труды Московского математического общества, т. I, 1952 г.) и L. Hormander’a (Acta Mathematica, 94, 3-4, 1955).
Следствие 1. Если вещественное число X принадлежит чисто точечной части ядра спектра, то существует самосопряженное расширение А оператора А, для которого X также принадлежит чисто точечному спектру с тем же подпространством собственных элементов, что и у А.
Оператор А, рассматриваемый в подпространстве является, как нетрудно видеть, замкнутым симметричным оператором и удовлетворяет условиям теоремы 1. Тем самым он допускает в самосопряженное расширение для которого X есть регулярная точка. Оператор А с областью определения совпадающий с на и с А на и будет, очевидно, указанным в следствии расширением.
Следствие 2. Если А — максимальный, но несамосопряженный оператор, то непрерывная часть ядра спектра А заполняет всю вещественную ось.
Действительно, в противном случае оператор А имел бы самосопряженные расширения.
Следствие 3. Если имеется вещественное X, не принадлежащее непрерывной части ядра спектра А, то при любом индексы дефекта одинаковы.
Это следует из того, что А при указанном условии имеет самосопряженные расширения.
Теорема 2. Пусть вещественное X — точка регулярного типа замкнутого симметричного оператора А и . При этом существует самосопряженное расширение А оператора А, для которого X принадлежит чисто точечному спектру и U является собственным подпространством, отвечающим X.
Без ограничения общности будем считать Отметим, что и U суть подпространства, причем U есть множество решений уравнения Обозначим через множество элементов вида где
Представление в указанном виде единственно. Действительно, в противном случае мы имели бы такой элемент отличный от нулевого, что Отсюда следует, что . Но, поскольку плотно в Я, получаем а это противоречит тому, что точка регулярного типа.
Таким образом, мы можем определить на прямой сумме: оператор А, полагая если
Симметричность А непосредственно проверяется, ибо
Докажем самосопряженность А. Пусть
Поскольку А С] А, можно утверждать, что и Представляя, как и выше, в виде получим
или
т. е.
Это равенство имеет место для всех а потому и, следовательно, существует такой элемент что откуда . В силу (167), самосопряженность А доказана. Остальные утверждения теоремы относительно свойств оператора А непосредственно следуют из его конструкции.
Следствие. Если вещественное X принадлежит чисто точечному спектру А, то можно построить самосопряженное расширение А, для которого X также будет принадлежать только точечной части ядра спектра А, причем подпространство собственных элементов А, отвечающее X совпадает с подпространством собственных элементов А, отвечающих X.
Доказательство этого следствия аналогично доказательству следствия 1 теоремы 1.