Главная страница

Чтобы получить симметрическое расширение заданного оператора а нужно найти изометрическое расширение его преобразования Кэли V


Скачать 1.1 Mb.
НазваниеЧтобы получить симметрическое расширение заданного оператора а нужно найти изометрическое расширение его преобразования Кэли V
Дата29.10.2022
Размер1.1 Mb.
Формат файлаdoc
Имя файла401884.doc
ТипЛитература
#761354
страница3 из 4
1   2   3   4
является собственным значением кратности .

Доказательство. Пусть означает линейное многообразие всех решений уравнения
.
В силу теоремы об инвариантности дефектного числа в поле регулярности число измерений многообразия линейно независимы, ибо в противном случае число было бы собственным значением оператора А.

Положим
(1)
и пусть означает оператор, совпадающий с оператором А* на , так что число будет собственным значением оператора кратности .

Покажем, что оператор самосопряженный.

Для этого достаточно установить, что оператор симметрический, ибо из (1) следует, что
.
Если и - произвольные элементы из и

то

откуда следует симметричность оператора .

В заключении отметим еще одну теорему, относящуюся к числу решений уравнения

при вещественных .

Теорема. Если А – симметрический оператор с индексами дефекта и - вещественное число, не принадлежащее точечному спектру оператора А, то число решений уравнения
(2)
не превосходит дефектного числа .

Для доказательства достаточно построить с помощью многообразия решения уравнения (2) область по формуле (1), где основа .

Из доказательства предыдущей теоремы следует, что оператор является расширением оператора А и, следовательно
.
Теорема доказана.
Пусть А1 и А2 – два самосопряженных расширения симметричного оператора А с индексом дефекта ,

Всякий оператор С, удовлетворяющий условиям
(3)
естественно называть общей частью операторов А1 и А2.

Среди операторов С, удовлетворяющих условиям (3), существует, очевидно, такой, который является расширением любой общей части операторов А1 и А2; такой оператор назовем максимальной общей частью операторов А1 и А2. Максимальная общая часть либо является расширением оператора А, либо совпадает с А; в последнем случае расширения А1 и А2 будем называть взаимно простыми.

Для того чтобы расширения А1 и А2 были взаимно простыми, необходимо и достаточно, чтобы одновременное выполнение условий
(4)
вело принадлежность к .

Если максимальное число линейно независимых по модулю векторов, удовлетворяющих условиям (4), равно , то максимальная общая часть А0 операторов А1 и А2 имеет индексы дефекта . В этом случае операторы А1 и А2 могут рассматриваться как взаимно простые самосопряженные расширения оператора А0.

Задачей настоящего пункта является вывод формулы, связывающей резольвенты двух самосопряженных расширений оператора А. Пусть - фиксированное самосопряженное расширение, а и - их резольвенты. Пусть, далее - любая общая точка регулярности операторов и В (в частности, может быть произвольным невещественным числом).

Чтобы не выделять случая, когда и В не являются взаимно простыми расширениями оператора А, будем рассматривать их как взаимно простые расширения их максимальной общей части А0, имеющей индексы (r, r), где

Положим и . Для разности резольвент будем иметь
(5)
Последнее вытекает из того, что при любом
.
Выберем как-нибудь линейно независимых векторов из и линейно независимых векторов из . Из (3) для любого следует
. (6)

Согласно (4) константы являются линейными функционалами от , и можно положить .

Так как, в силу (5) и линейной независимости векторов , при любом , ортогональном к , должно быть
,

то ,

т.е. , (7)
и (4) принимает вид
= . (8)
Заметим, что матричная функция , определенная на множестве общих точек регулярности операторов и , является неособенной.

Предположение влечет в силу (7) линейную зависимость векторов , что означает существование вектора , удовлетворяющего условиям , .

Для вектора получаем из (6) =0, а это противоречит взаимной простоте операторов и , как расширений оператора .

Опуская в (8) элемент и рассматривая как операторы, получаем для любого значения из множества общих точек регулярности операторов и В формулу

(9)
Левая и правая части формулы (8) являются регулярными аналитическими вектор-функциями от . Покажем, что могут быть определены как регулярные аналитические вектор-функции от , и получим соответствующую этому выбору формулу для матричной функции .

С этой целью возьмем какое-нибудь фиксированное значение и введем оператор с областью определения и областью значений .

Оператор определяется формулами
, ,
из которых следует, что осуществляемое им отображение Н на Н взаимно однозначно.

В частном случае, при оператор приводит к преобразованию Кэли оператора и отображает дефектное подпространство . Покажем, что вообще .

Выберем произвольный базис и докажем, что .

Имеем

т.е. . При этом в силу взаимной однозначности отображения, осуществляемого оператором , векторы образуют базис в , и мы можем принять, что векторы в любой точке регулярности оператора
1   2   3   4


написать администратору сайта