
- •Введение
- •Полнота
- •Метрические пространства
- •Полные метрические пространства
- •Сжимающие отображения
- •Пополнение
- •Интеграл Лебега
- •Почему не все множества измеримы?
- •Верхняя мера Лебега
- •Свойства верхней меры.
- •Измеримые множества
- •Свойства измеримых множеств
- •Множества меры 0.
- •Борелевские множества.
- •Измеримые функции и интеграл
- •Свойства измеримых функций
- •Интеграл и его свойства
- •Приложения
- •Предельный переход
- •Сравнение интегралов Римана и Лебега
- •Полнота пространства L
- •Плотность непрерывных функций
- •Теорема Фубини
- •Банаховы и гильбертовы пространства
- •Основные определения
- •Примеры
- •Конечномерные пространства
- •Пространства последовательностей
- •Гильбертово пространство
- •Основные понятия
- •Ортогональные системы и ряды Фурье.
- •Линейные функционалы и операторы
- •Определения и примеры
- •Теорема Хана - Банаха
- •Сопряженное пространство
- •Функционалы в гильбертовом пространстве
- •Рефлексивность
- •Сопряженные и самосопряженные операторы
- •Определения и примеры
- •Операторы в гильбертовом пространстве
- •Самосопряженные операторы
- •Виды сходимости
- •Компактные операторы
- •Компактные множества и операторы
- •Теория Фредгольма
- •Конечномерный случай
- •Теоремы Фредгольма
- •Спектр
- •Теория Гильберта - Шмидта
- •Интегральные операторы
- •Задача Штурма - Лиувилля
- •Спектральная теория
- •Резольвента и спектр
- •Ортогональные проекторы
- •Спектральная теорема
- •Доказательство спектральной теоремы
- •Формула Стоуна
- •Неограниченные операторы
- •Основные определения
- •Симметрические и самосопряженные операторы
- •О спектральной теореме
- •Задачи
- •Контрольные вопросы

96 |
ГЛАВА 5. КОМПАКТНЫЕ ОПЕРАТОРЫ |
5.2.3Спектр
Пусть K - компактный оператор в гильбертовом пространстве H. Рассмотрим однородное уравнение
Kx = x; |
(5.2.16) |
где - комплексный параметр, называемый спектральным параметром . Как и в линейной алгебре, значения , для которых уравнение (5.2.16) име-
ет нетривиальное решение, называются собственными значениями , а сами нетривиальные решения - собственными векторами (собственными функциями).
Теорема 5.2.5 (4-я теорема Фредгольма) Все собственные значения оператора K содержатся в круге j j kKk и могут иметь единственную
предельную точку 0.
Доказательство. Пусть j j > kKk. Перепишем уравнение в виде
1 |
K |
x = 0: |
|
Норма оператора K= меньше 1, тогда по лемме 5.2.3 решение x = 0 будет единственным. Этим доказано, что вне круга радиуса kKk собственных
значений нет.
Докажем вторую часть теоремы. Предположим противное: пусть имеется последовательность собственных значений n, сходящаяся к числу 6= 0. Не уменьшая общности, считаем, что все n 6= 0 è n 6= m при n 6= m, в противном случае можно перейти к подпоследовательности. Пусть xn - ïî- следовательность собственных векторов (по одному для каждого n). Êàê и в линейной алгебре, доказывается, что система векторов x1; x2; : : : ; xn ëè- нейно независима при любом n, поскольку собственные значения различны.
Действительно, рассуждая по индукции, предположим, что x1; x2; : : : ; xn 1 линейно независимы, а xn выражается через них линейно:
xn = c1x1 + c2x2 + : : : + cn 1xn 1:
Применяя оператор K, получим
n 1
X
Kxn = nxn = nckxk:
k=1
С другой стороны,
n 1 n 1
XX
Kxn = ckKxk = kckxk:
k=1 k=1
Вычитая, приходим к равенству
n 1
X
( n k)ckxk = 0;
k=1
5.2. ТЕОРИЯ ФРЕДГОЛЬМА |
97 |
что противоречит линейной независимости x1; x2; : : : ; xn 1.
Рассмотрим теперь последовательность e1; e2; : : :, которая получается ортогонализацией системы x1; x2 : : :. Имеем
n
X
en = ankxk:
k=1
Последовательность en ограничена, так как kenk = 1. Тогда в силу компактности оператора K из последовательности Ken можно выделить сходящую- ся подпоследовательность. Не уменьшая общности, считаем, что сама Ken сходится. Но
n |
n 1 |
X |
X |
Ken = ank kxk = nen + |
ank( k n)xk: |
k=1 |
k=1 |
Для m < n имеем тогда |
|
n 1
X
Ken Kem = nen + ank( k n)xk
k=1
m
X
amk kxk = nen + gn;
k=1
ãäå gn ортогонален en, поскольку является комбинацией векторов ek ñ k < n.
Значит,
kKen Kemk2 = j nj2 + kgnk2 j nj2 ! j j2 > 0;
что противоречит сходимости последовательности Ken.
Множество, состоящее из всех собственных значений и точки = 0 называется спектром компактного оператора K, а дополнение к спектру назы-
вается резольвентным множеством . Из теорем Фредгольма следует, что в точках резольвентного множества существует обратный оператор ( K) 1,
называемый резольвентой оператора K.
Отметим, что возможен случай, когда спектр состоит только из одной точки = 0, т.е., ненулевых собственных значений вообще нет. Такие
компактные операторы называются вольтерровыми. Это название происходит от интегральных уравнений Вольтерра, которые мы вкратце здесь рассмотрим. Это частный вид интегральных уравнений Фредгольма на отрезке [a; b], у которых ядро k(t; ) непрерывно и отлично от 0 только при
a t b (ниже диагонали). Таким образом, уравнение Вольтерра
имеет вид
Z t
x(t) = |
k(t; )x( )d + f(t) |
(5.2.17) |
a
Теорема 5.2.6 Уравнение (5.2.17) имеет единственное решение при любой правой части f(t) 2 L2[a; b]:

98 ГЛАВА 5. КОМПАКТНЫЕ ОПЕРАТОРЫ
Доказательство. Как и в лемме 5.2.3, будем строить решение в виде
ряда Неймана |
1 |
|
|
|
x = Knf: |
|
n=0 |
|
X |
Докажем, что Kn - это также интегральные операторы Вольтерра, т.е., их
ÿäðà kn(t; ) обращаются в нуль выше диагонали, и получим оценку для этих ядер
j |
k |
n |
(t; ) |
j |
Mn |
(t )n 1 |
(5.2.18) |
||||||
|
|
|
|
|
(n |
|
1)! |
|
|||||
ãäå |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M = a |
max |
b j |
k(t; ) |
: |
|
||||||
|
|
|
t |
|
|
j |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ßñíî, ÷òî k1(t; ) совпадает с k(t; ). Далее |
|
|
|
|
Z t Z Z t Z t
K2f = k(t; )d k1( ; )f( )d = k(t; )k1( ; )d f( )d ;
a a a
откуда
Z t
k2(t; ) = k(t; )k1( ; )d
при t и нулю при t. Из этой формулы следует также оценка (5.2.18) для k2
Z t
jk2(t; )j M2d = M2(t ):
По индукции
Z t Z
Knf = K Kn 1f = k(t; )d kn 1( ; )f( )d ;
a a
откуда для ядра kn получаем
Z t
kn(t; ) = k(t; )kn 1( ; )d :
Отсюда следует, что kn(t; ) = 0 при t , а при t имеем оценку
|
|
j Z |
t |
( )n 2 |
|
(t )n 1 |
|
k |
(t; ) |
M Mn 1 |
d = Mn |
; |
|||
j n |
|
|
(n 2)! |
(n 1)! |
|
т.е., оценку (5.2.18) для n-го ядра. Из этой оценки следует, что ряд
1
X
r(t; ) = kn(t; )
n=1
сходится абсолютно и равномерно, так как он мажорируется числовым ря-
äîì
jkn(t; )j Mn (b a)n 1 :
(n 1)!