Обратный оператор (

I—Т)

очевидно, линеен. Однако для наших целей весьма важно знать условия, при выполнении которых обратный оператор
(
I–
Т) 
кроме того и непрерывен. Для этого необходимо, чтобы множество значений оператора
(
I—
Т) совпадало со всем пространством H. Но самое замечательное при этом заключается в том, что для замкнутых операторов это условие оказывается и достаточным, и этим в значительной степени объясняется наш интерес к замкнутым операторам.
Теорема 2.1 Пусть Т — замкнутый линейный оператор и число

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

I— Т) совпадает со всем пространством Н. Тогда оператор (

I—T)
-1 ограничен, т. е. для любого элемента х из Н и некоторого числа М (зависящего от

) справедлива оценка

(2.1).
Доказательство. Оператор (
I—T)

замкнут и его область определения есть все пространство
Н. Следовательно, по теореме о замкнутом графике он должен быть непрерывным.
Определение2.2 Множество комплексных чисел
, не являющихся собственными значениями оператора
Т, таких, что множество значений оператора
I—
Т совпадает со всем пространством
Н, называется резольвентным множествомоператора
Т и обозначается через
p(Т).Для

р(T) оператор
(
I—
Т)-1обозначается через
R(
,T)и называется резольвентой Т.Дополнение резольвентного множества называют спектромоператора. Таким образом, точечный спектр оператора является подмножеством его спектра [5].
Пример 2.1. Пусть H =L2(0, 1),aD— класс функций, производные которых тоже принадлежат L2(0, 1). Для функций f

Dположим
Tf=
. Тогда оператор
Т замкнут и его область определения плотна. Рассмотрим его резольвентное множество. Уравнение
f—

= 0 означает, что
f(t)=f(0)e 
и
e

L
2(0, 1). Таким образом, все числа

принадлежат спектру оператора T, и потому его резольвентное множество пусто. Этого, однако, не может быть для ограниченных операторов.
2.2 Понятие об ограниченном операторе
Теорема 2.2 Пусть Т — ограниченный оператор, отображающий пространство Н в себя. Тогда

р(T), если |

|>r, где r = lim

. Число г>0 называется спектральным радиусом оператора Т [5]
Доказательство.Основной шаг заключается в доказательстве сходимости ряда

(2.2)
для всех |

|>г. Это непосредственно следует из того факта, что мажорирующий ряд

(2.3)
абсолютно сходится при |z|>lim

. Следовательно, ряд сходится по норме пространства L(H,H). Более того, имеем так что
(

I – T)(

)=(

)(

– T)=(

) (2.4)
Следствие 2.1 Спектр произвольного замкнутого оператора является замкнутым множеством. Спектр ограниченного оператора не пуст.
Доказательство. Сначала докажем, что резольвентное множество произвольного замкнутого оператора открыто. В случае, если резольвентное множество замкнутого оператора пусто, то доказывать нечего. Предположим, что резольвентное множество не пусто и содержит число
0. Покажем, что все

, удовлетворяющие условию |

–
0|/||R(
0;
T)\ < 1, принадлежат резольвентному множеству. Прежде всего, отметим, что для таких

ряд

(

–
0)
пR(
0;
Т)псходится и
(I+ (

–
0)
R(
0; T))

=

(
0–

)
R(
0;
Т)п(2.5).
Докажем, что

(2.6)
Пусть x

H. Имеем
(
I – T)(
)x=x(2.7). Если x

D(T), то

(2.8).
Таким образом, оператор R(λ;T) — резольвента. Следовательно, резольвентное множество открыто. Более того, имеем
R(
)=
(2.9) при ||λR(λ0;T)||< 1.
Таким образом, если L(∙) — линейный непрерывный функционал на L(H,H), то функция L(R(K;T))оказывается аналитической на резольвентном множестве оператора Т. Рассмотрим теперь случай, когда оператор Т ограничен. Предположим, что его спектр — пустое множество. Тогда для любого линейного непрерывного функционала L(∙)аналитическая функция L(R(λ;Т)) определена на всей комплексной плоскости и, кроме того, она ограничена в бесконечности, поскольку ||λR(λ; Т) ||≤(1–
/λ)-1 для всех |λ|>||Т||. Следовательно, в силу классической теоремы Лиувилля для любого функционала L(∙) и любого комплексного λ функция L(R(λ;Т)) тождественно равна пулю. НотогдаL(I)=L(λR(λ;T)–TR(λ; I)) = L(TR(λ; T)). Поэтому в силу сходимости правой части последнего равенства к нулю при λ→ +
L(I) = 0 для любого линейного непрерывного функционала
L(∙),что невозможно. Таким образом спектр ограниченного оператора не может быть пустым.