Реферат Спектральная теория операторов
Работа добавлена на сайт bukvasha.net: 2015-10-28Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
от 25%
договор
ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ
ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
Спектральная теория операторов
Саранск 2009
СОДЕРЖАНИЕ
Введение………………………..………………………………………………..4
1 Линейный оператор…………………………………………………………...4
1.1 Понятие линейного оператора………………………………………...4
1.2 Линейные преобразования………………………………………….....4
1.3 Сопряжённый и самосопряжённый оператор………………………..5
2 Спектральная теория компактных операторов……………………………...7
2.1 Спектр оператора……………………………………………………...7
2.2 Понятие об ограниченном операторе………………………………...8
2.3 Понятие о компактном операторе…………………………………...13
3 Спектральная теория компактных операторов……………………………….16
3.1 Множество значений компактного оператора……………………........16
3.2 Собственное значение компактного оператора……………………..18
Заключение……………………………………………………………………...25
Список использованных источников……………………………………..…...26
ВВЕДЕНИЕ
Данная курсовая работа посвящена спектральной теории операторов. В отдельной главе более подробно рассматривается спектральная теория компактных операторов. Важнейшими задачами этой теории являются утверждения о приведении изучаемых операторов к так называемому диагональному виду – спектральные теоремы, утверждения о свойствах спектра и собственных значениях.
Цель данной курсовой работы – познакомить тех, кто интересуется математикой со спектральной теорией операторов, в частности, со спектральной теорией для компактных операторов.
Данная курсовая работа состоит из трёх глав:
1) Линейный оператор;
2) Спектральная теория операторов;
3) Спектральная теория компактных операторов.
В первой главе рассматривается понятия линейного оператора, линейные преобразования, сопряжённый и самосопряжённый оператор.
Во второй главе рассматривается понятие спектра оператора, теорема для замкнутого линейного оператора, спектральный радиус, понятие об ограниченном операторе и компактных операторах, а также теорема, являющаяся важным характеристическим свойством компактных операторов.
В третьей главе рассматриваются множество значений компактного оператора, собственные значения компактного оператора. В каждой главе приводятся решённые примеры.
1 Линейный оператор
1.1 Понятие линейного оператора
Функцию, множество значений которой принадлежит полю скаляров, называют функционалом.
Вообще функция может быть определена не на всем гильбертовом пространстве, а лишь на некотором его подмножестве. Это подмножество называют областью определения функции. Множеством значений функции называют множество, в которое эта функция отображает свою область определения. Для удобства условимся обозначать область определения через D, гильбертово пространство ее содержащее, — через Н1 множество значений — через R а содержащее его пространство — через Н2.
Определение 1.1 Оператор (преобразование) L называется линейным, если его область определения D является линейным подпространством (плотным или нет) и он линеен на D
L(x + y)=Lx + Ly (1.1). [9]
Множество линейного оператора также является линейным подпространством.
1.2 Линейные преобразования
Определение 1.2 Графиком G(T) линейного преобразования Т называется подпространство в произведении подпространств Н1 Н2, образованное по правилу
G(T) = (1.2).
Определение 1.3 Линейное преобразование Т называется замкнутым, если его график функции замкнут в Н3. Иначе замкнутость оператора Т можно определить так: пусть xn D(T), xn x, Tхnу. Тогда x D(Т) и Тх = у.
Отметим, что, как правило, дифференциальные операторы замкнуты. Этот факт и определяет необходимость рассмотрения класса замкнутых операторов.
Определение 1.4 Линейное преобразование Т называется ограниченным, если D = Н1 и
sup=M< (1.3).
Определение 1.5 Нормой линейного ограниченного преобразования T называется число
sup (1.4)
Линейное преобразование ограничено, если оно непрерывно в начале координат. Тогда оно непрерывно в каждой точке. Ограниченное линейное преобразование, очевидно, непрерывно.
Пусть Т1, Т2 — линейные ограниченные операторы, отображающие пространство Н1 в Н2. Тогда ясно, что сумма T1 +Т2 также является линейным ограниченным оператором. Кроме того,
(1.5)
В силу определения (T)x= Тх, где элемент поля скаляров, следовательно, оператор Т ограничен, если T ограничен. Следовательно, множество всех линейных ограниченных операторов образует линейное пространство, а норма оператора является нормой на этом пространстве. Полученное таким образом линейное нормированное пространство операторов обозначается через L(H1,H2). Нетрудно показать, что пространство L(H1,H2) полно. Действительно, если {Tn} — последовательность Коши этого пространства, то для любого элемента х пространства H1 имеем
(1.6).
Следовательно, {Tnx} является последовательностью Коши пространства H2, ее предел обозначим через Тх. Очевидно, что оператор Т линеен и ограничен. Если n>N(e) и , то
+(1.7).
1.3 Сопряжённый и самосопряжённый оператор
Определение 1.6 Пусть T — линейный ограниченный оператор из H1 в Н2 сопряженный оператор T* (определенный на Н2 и принимающий значения в Н.) определяется условием у = Т*х в том и только том случае, если существует вектор у такой, что [y,z] = [x,Tz] для любого z H1.
Определение 1.7 Пусть H1=H2=H. Оператор L c плотной областью определения, называется самосопряжённым, если L=L* [9].
2 Спектральная теория операторов
2.1 Спектр оператора
В приложениях часто возникает следующая задача: задан оператор Т, найти элемент х такой, что Тх=у, где элемент у задан. В общем случае множество решений может оказаться либо пустым, либо содержать слишком много элементов. Можно рассмотреть несколько более общую задачу: найти элемент х такой, что х—Тх=у, где — скаляр. Важность рассмотрения этой задачи обусловлена тем, что последняя тесно связана со структурой самого оператора. Возможно, что читатель имеет представление о собственных значениях и собственных векторах матрицы. Спектральная теория операторов рассматривает вопросы, связанные с этими понятиями, но уже для более широкого класса операторов. В дальнейшем гильбертовы пространства рассматриваются над полем комплексных чисел.
Определение 2.1 Пусть Т — замкнутый линейный оператор, отображающий пространство Н в себя. Комплексное число называется собственным значением оператора Т, если существует элемент х. из Н такой, что Тх = х; при этом элемент х (предполагается, что его норма равна 1) называется собственным вектором, соответствующим . Множество всех собственных значений оператора Т образует его точечный спектр [4].
Если комплексное число X
не принадлежит точечному спектру оператора Т, то, безусловно, можно определить оператор (I – T)-1 (здесь I — тождественный оператор): х= (I — Т)y в том и только том случае, если у=–Тх.
Обратный оператор (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
=
L
2
(0, 1), a D
— класс функций, производные которых тоже принадлежат L2(0, 1). Для функций f D положим Tf
=
. Тогда оператор Т замкнут и его область определения плотна. Рассмотрим его резольвентное множество. Уравнение f
— = 0 означает, что f
(
t
)=
f
(0)
e
и e
L2(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).
Если xD(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
(∙), что невозможно. Таким образом спектр ограниченного оператора не может быть пустым.
Определение 2.3 Ограниченный оператор называется квазинильпотентным, если его спектральный радиус равен нулю [6].
Спектр квазинильпотентного оператора содержит лишь нулевую точку.
Пример 2.2 Пусть H
=
L
2
(0, 1). Определим оператор Т соотношениями
Tf = g, g(t)=f(s)ds, 0t1 (2.10)
Тогда оператор Т линеен и ограничен. Используя неравенство Шиарца, найдем Что касается спектра оператора T, то заметим, что если
λf
(
t
)—
f
(
s
)
ds
= 0 почти всюду на [0, 1],
f
— непрерывная функция. Далее, уравнение
λ
f
(
t
)-
f
(
s
)
ds
=
g
(
t
)
имеет единственное решение
(2.11)
и потому спектр оператора Т может содержать лишь нулевую точку. Это можно доказать заметив, что оператор Т квазиниль-потентен:
(2.12)
Как было доказано выше, спектр ограниченного оператора не может быть пустым. Следовательно, спектр оператора Т состоит из нулевой точки. С другой стороны, в рассматриваемом случае, нуль не является собственным значением, поскольку из условия Tf
= 0 следует, что f
= 0. Отсюда следует, что Т-1 — замкнутый линейный оператор, однако он неограничен. Это и следовало ожидать, поскольку T-
= g
означает, что g
=
f
'.
Пример 2.3 В общем случае нельзя указать эффективной процедуры отыскания спектра и резольвентного множества заданного оператора. Однако, для интегральных операторов такой общий метод существует; он заключается в дифференцировании необходимое число раз равенства, определяющего точку спектра с целью получения определяющего дифференциального уравнения. Рассмотрим, например, оператор
(2.13)
Рассмотрим сначала точечный спектр этого оператора. Если функция L(•) из H является собственным вектором, то
f
(
s
)
ds
=
λtf
(
t
) почти всюду.
Дифференцируя обе части этого равенства, получим дифференциальное уравнение
f
(
t
)
=
+
(
t
)
;
его общее решение имеет вид f
(
t
)=
k
-
ta
,
где k
— произвольное постоянное число, а а = (1–λ)/λ. С другой стороны, из условия
следует, что
l
+2
Re
((1– λ)/ λ)=0 или Re
(1/ λ)>
Таким образом, всякое комплексное число λ, удовлетворяющее этому условию, принадлежит точечному спектру. Так как спектр — замкнутое множество, то {λ; -
+
Re
(1/ λ) ≥
} принадлежит ему. Это множество представляет собой шар радиуса 1 с центром в точке =1. Далее, рассмотрим уравнение f
—
Tf
=
g
, или
tf(t)-f(s)ds
= tg (t),
Предполагая дифференцируемость соответствующих функций,
получим
tf'(t) + f (t)–f(t) = tg' (t) + g(t).
Отсюда следует, что
(2.14)
где k
— константа. Если ограничиться рассмотрением тех , для которых 1+2 Re (1-) / < 0, то, полагая k
= 0, получим
(2.15)
Условие 1 + 2Re
(
l
—) / >
0 эквивалентно условиям Re
(
l
/) <
C
< 1/2, или 2 + 2 —2> 0, где = + i
. Можно показать, что последняя формула определяет резольвенту. Заметим, что такое принадлежит спектру, но не является собственным значением. Безусловно, спектр целиком содержится в шаре |||T
||=2.
Определение 2.4 Ограниченный линейный оператор, отображающий пространство в себя, называется неотрицательно определенным, если он самосопряжен и квадратичная форма [Тх, х] неотрицательно определена.
Для любого ограниченного линейного оператора операторы Т*Т и ТТ* неотрицательно определены [8].
2.3 Понятие о компактном операторе
Определение 2.5 Ограниченный линейный оператор, отображающий пространство H в H2, называется компактным (вполне непрерывным), если он переводит ограниченные множества из Нв компактные подмножества H
2
.
Важное характеристическое свойство компактных операторов определяется следующей теоремой [7].
Теорема 2.3 Пусть Т — компактный оператор, отображающий пространство H в H
2. Тогда для любой слабо сходящейся последовательности {хп} из Н последовательность {Тхп} сильно сходится в H
2. Обратно, любой ограниченный линейный оператор, обладающий этим свойством, компактен [6].
Доказательство. Пусть оператор Т компактен, а {хп} — слабо сходящаяся, скажем к х0, последовательность из Н. Тогда, согласно принципу равномерной ограниченности имеем оценку
<М
для некоторого числа М, О < М < . Поэтому последовательность {Тхп} принадлежит некоторому компактному подмножеству в H2 и, значит, из любой ее подпоследовательности можно извлечь еще более узкую сильно сходящуюся подпоследовательность. Обозначим такую сильно сходящуюся подпоследовательность через {Txnk
}, а ее предел через у. Тогда для любого h
H
2 имеем цепочку равенств
[
y
,
h
] =
lim
[
Txnk
,
h
] =
lim
[
xnk
,
T
*
h
] =[х0,
T
*
h
] = [Тх0,
h
],
откуда у=Тх0, так что у не зависит от выбора конкретной подпоследовательности, а значит,
limTxn
= у.
Обратно, пусть Т — ограниченный линейный оператор, переводящий любую слабо сходящуюся последовательность в сильно сходящуюся. Пусть В— ограниченное множество в Н. Покажем, что замыкание множества ТВ компактно. Действительно, пусть {хп} — произвольная последовательность элементов из В. В силу свойства слабой компактности ограниченных множеств в гильбертовом пространстве найдется подпоследовательность {xnk
}, слабо сходящаяся к некоторому пределу, скажем к x. Тогда подпоследовательность {Txnk
} сходится сильно и, как мы видели, ее пределом должна быть точка Тх0. Очевидно, что T
х0 — предельная точка множества ТВ, а это и значит, что оператор компактен.
Пример 2.4 Пусть (, , ), (, , ) — пространства c -конечными мерами , . Обозначим через R
(
t
,
s
)
измеримую матричную функцию порядка (р, q), определенную на множестве . Положим
.
Тогда оператор L, определенный соотношениями
Lf=g, g(t)=R(t, s) f (s)d , t Q2,
линейно и непрерывно отображает пространство Н1 = L(, , )p в H2= L2(, , )p
. Заметим, что пространство Н не обязательно сепарабельно. Докажем компактность оператора L. Пусть последовательность fnH
1
слабо сходится. Для всех t, где —множество полной меры имеем
.
Пусть ei
— единичный вектор евклидова пространства Rq. Тогда для любого t
формула
[
R
(
t
,
s
)
f
(
s
)
d, еi
]
определяет линейный непрерывный функционал на пространстве H
1. Следовательно, для каждого t
последовательность
gn
(
t
)=
R
(
t
,
s
)
fn
(
s
)
d
сходится к |
|
g
(
t
) = R
(
t
,
s
)
f
(
s
)
d
.
Можно применить теорему Лебега о почленном интегрировании последовательности. Следовательно,
при n. Так как последовательность gn(∙) сходится к g(∙) слабо, то отсюда следует сильная сходимость gn к g.
3 Спектральная теория компактных операторов
3.1 Множество значений компактного оператора
Спектральная теория характеризует спектры и резольвентные множества операторов. Исследование интегральных операндов по существу эквивалентно изучению интегральных уравнений.
По своим свойствам компактные операторы близки к конечномерным (матричным) операторам. Кроме того, последние играют большую роль в приложениях. Пусть Т— компактный оператор, отображающий пространство Н в себя. Тогда, если пространство бесконечномерно, то нуль должен принадлежать спектру, поскольку тождественный оператор Т-1Т не является компактным. Напомним, что в дальнейшем пространства рассматриваются над полем комплексных чисел.
Лемма 3.1 Для любого 0 множество значений оперaтора I
– Т замкнуто [10].
Доказательство. Пусть {уп} — сходящаяся последовательность из множества значений оператора (I— T), т. е. yn=х
n
– Тхп. Положим
М = {х: х=Тх}.
Тогда М – замкнутое подпространство Н. Обозначим через Р оператор проектирования на подпространство М и положим zn=хп –Рхп. Предположим, что ||zn||. Пусть
, (3.1).
В силу сходимости {уп} последовательность hn
сходится к нулю. Так как ||||=1, то, переходя к подпоследовательности, можно считать, что {} слабо сходится к элементу . Однако ввиду равенства ТР=Р справедливо соотношение
n
= (hn
+
Tn
)/ (3.2).
Отсюда, в силу сильной сходимости Tn
к Tn
следует, что последовательность {n
} сильно сходится к . Далее, = T и |||| = 1. Однако это невозможно, поскольку элементы n
принадлежат M
. Таким образом, последовательность {||zn||} ограничена. Поэтому, переходя к подпоследовательности, можно считать, что {zn
} – слабо сходящаяся последовательность. Из равенства zn
= (
yn
+ Tzn
)/ как и ранее, следует, что последовательность {zn
} сходится сильно. Обозначая через z
соответствующий предел, получим, что z
=
Tz
+ у, где у — предел последовательности {уп}. Лемма доказана.
Лемма 3.2 Предположим, что 0 и множество значений оператора (I
–Т) совпадает со всем пространством Н. Тогда принадлежит резольвентному множеству оператора Т [10].
Доказательство. Достаточно показать, что не является собственным значением оператора Т. Предположим противное; тогда найдется элемент х0 такой, что х=Тх. Так как множество значений оператора I–Т совпадает со всем пространством, то существует элемент f
1
из H
такой, что f
1–Tf
1
=
x
. Далее, по той же причине найдется элемент f2 такой, что f
2–Tf
2
=
f
1
. По индукции строится последовательность {fk
} такая, что
fk – Tfk = fk-1 (3.3)
f1 – Tf1 =x=f0 (3.4)
Обозначим через Ek
подпространство, порожденное элементами {f
0,...,fk
}. Докажем, что dim Ek
> dim Ek
для всех k
1. Для этого достаточно показать, что элемент fk
не принадлежит пространству Ek
-1
. Предположим противное. Тогда
fk= (3.5)
Следовательно,
Tfk = aiTfi = ai [fi –fj-1] + a0 f0 (3.6).
С другой стороны, Tfk
= Xfk
—
Tfk
-1
. Таким образом,
fk
–fk
-1
= – (3.7)
или
fk
–fk
-1
= (3.8).
Следовательно, противоположное утверждение остается верным для (k–1), и потому оно справедливо и для случая k
= 1, что невозможно. Далее, если dimEk > dim Ek
-1
, то существует ортонормированная последовательность векторов {еk
} такая, что ek
ортогонален подпространству Ek
-1
. Но [I
–
T
]
EkEk
-1
и потому [(I
— Т)ек,
ek
] = 0, т. е. = [Tek, ek
]. Но последовательность {ek
} слабо сходится к нулю, поэтому последовательность {Tek
} сходится к нулю сильно. Следовательно = 0, что невозможно.
3.2 Собственное значение компактного оператора
Лемма 3.3 Предположим, что ненулевое комплексное число принадлежит спектру оператора Т. Тогда является собственным значением оператора Т*.
Доказательство. Применяя предыдущую лемму, получим, что множество значений оператора (I–Т) не совпадает со всем пространством. Так как множество значений оператора (I
–Т) замкнуто, то существует ненулевой элемент у такой, что для любого xH справедливо равенство [х–Тх, у] = 0, или [х, у–Т*у] = 0. Таким образом, является собственным значением оператора Т. Из вышеприведенных лемм следует следующая теорема
Теорема 3.1 Пусть – ненулевое комплексное число. Тогда либо является собственным значением оператора Т, либо оно принадлежит его резольвентному множеству. (Это утверждение называется альтернативой Фредгольма.)
Доказательство. Достаточно показать, что если число принадлежит спектру оператора Т, то оно является собственным значением. Если не принадлежит спектру T и не является собственным значением, то множество значений оператора (I–Т) не совпадает со всем пространством. Согласно предыдущей лемме отсюда следует, что является собственным значением сопряженного оператора T ٭ . Применяя лемму 2.3 еще раз, получим, что является собственным значением оператора T
** =
T
. Теорема доказана.
Лемма 3.4 Пространство собственных функций, отвечающих ненулевому собственному значению, конечномерно.
Доказательство. Пусть – ненулевое собственное значение. Предположим, что соответствующее пространство собственных функций бесконечномерно. Пусть {ек}— ортонормальный базис этого подпространства. Тогда Tek
=
ek
, и потому [Tek
,
ek
] = . Но последовательность {Tek
} должна сильно сходиться к нулю, что невозможно.
Лемма 3.5 Последовательность {Хп} ненулевых и попарно различных собственных значений оператора Т может иметь предельной точкой лишь нуль.
Точно так же, как и в конечномерном случае, собственные векторы, соответствующие различным собственным значениям, линейно независимы. Действительно, пусть Тх = х, Тх2 = х2, Txm
=
xm
. Пусть, далее, m
является наименьшим целым числом таким, что элемент хт принадлежит подпространству, порожденному элементами {х, .., Хт-1). Тогда
xm
(3.9)
Следовательно,
xm
=
(3.10),
и потому
=0 (3.11)
Отсюда следует, что т может быть уменьшено на единицу, что противоречит определению целого m. Обозначим через Рт оператор проектирования на подпространство Ет, порожденное элементами {х, ..., хт}. Оператор Т отображает подпространство Еm
в себя. Положим zm
= xm
—
Pm
-1
xm
. Тогда zm
0 и [
Tzm
;
zm
] = [
zm
;
zm
]. Пусть em
=
zm
/||
zm
||. Последовательность {em
}, очевидно, ортонормальна и [Tem
,
em
]=
λm
. Следовательно, λm→0. Таким образом, ненулевые собственные числа образуют изолированное подмножество спектра. Для произвольных двух заданных чисел 0<r
2 < r
2
множество {z: z
<| z
|<
r
2
} может содержать лишь конечное число собственных чисел оператора Т. Таким образом, справедлива следующая теорема.
Теорема 3.2 Спектр компактного оператора содержит не более счетного числа точек и его предельной точкой может быть лишь нуль. Каждая ненулевая точка спектра является собственным значением.
Компактный оператор может вообще не иметь собственных значений. Однако для самосопряженных компактных операторов это уже не так.
Теорема 3.3 Самосопряженный компактный оператор, отображающий пространство Н в себя, имеет по крайней мере одно собственное значение.
Доказательство. Прежде всего докажем, что если оператор самосопряжен, то
(3.12)
Обозначим правую часть этого равенства через с. Ясно, что с . Далее, имеем
, х, у Н.
По
[Тх, у] + [Ту, х] = {[Т(х + у), х+у]–[Т(х-у), х–у]}.
Следовательно,
|[Тх, у] + [Ту,х]|≤1/2{|[Т(х + у), х+у] + [Т(х-у),х-у]|}≤
≤
1/2
c
{||
x
+
y
||2+||
x
–
y
||2}=
c
(||
x
||2+||
y
||2) (3.13)
Tак как оператор Т самосопряжен, поэтому в случае вещественного гильбертова пространства
|[Тх, у]|≤
c
,
или |[Тх, у]|≤с для всех || х || = || у || – 1. Следовательно, или |[Тх, у]|≤с|| х || *|| у ||, или || T
|| < с. Если исходное пространство рассматривается над полем комплексных чисел, то положим [Tx
, у] = | [Тх, у] | ei
. Пусть х1 = x
. Тогда в силу самосопряженности оператора T имеем
[Т
x
1
,
y
1
] + [Ту, х1] =
с() (3.14)
Полагая || х || = || у || = 1, получим [Tx
, у] , отсюда следует, что | [Тх, у] | < с|| х || || у || . Таким образом существует последовательность {хп} такая, что
|| хn
||= 1, lim
|[
Txn
,
xn
]| = ||
T
||>0
Tак как последовательность {[Тхт, хт]} состоит из вещественных чисел, то, переходя к подпоследовательности, можно считать, что она сходится либо к +||T||, либо к –||Т||. Обозначим этот предел через . Еще раз переходя к подпоследовательности можно считать, что х0 слабо сходится к х0; в силу компактности оператора Т последовательность {Тхп} будет сильно сходиться к у0 =Тх0. Следовательно,
lim
[
Txm
,
xm
] = [Тхо, хо] = [у0, х0] (3.15)
Кроме того,
0< lim || Txm
–xm
||2 = || y
0
||2 - 22 + 2 = || у0 || 2 –2.
Но || у0 || 2 = lim || Txm
||2 || T
||2 =, поэтому || у0 || 2 = и
lim || Txm
–xm
||2 = 0 (3.16).
В силу сильной сходимости {Txm
} последовательность {хт} сильно сходящаяся. Следовательно, Тх0 = хо, причем ||х0||=1 и = ±|| T
||. Теорема доказана.
Точно так же, как и в конечномерном случае, собственные векторы самосопряженного оператора, соответствующие различным собственным значениям, ортогональны. Пусть теперь Т — компактный самосопряженный оператор. Тогда, как мы знаем, его спектр состоит из дискретного множества вещественных собственных значений {i
} и предельной точкой {i
} может быть лишь нуль. Обозначим через Mi подпространство собственных векторов, соответствующих ненулевому собственному значению i
.
М
i
= {х : Тх = х}.
Пусть M
0
= {х: Тх = 0}. Для любого х из Н положим xi
= Рi
х, где Pi
— оператор проектирования на подпространство Mi
.
Тогда 0, потому ряд сильно сходится. Рассмотрим подпространство H0, ортогональное всем Mi
,
i= 0, 1, ... Тогда Н0 — замкнутое подпространство и оператор T, будучи самосопряженным, отображает Н0 в себя. Так как оператор Т является самосопряженным и компактным, то существует собственное значение такое, что Тх = х, x
H. Однако это возможно лишь в том случае, если H
0
={0}, т. е. нуль является единственным элементом H
0. Следовательно, для любого х из H справедливо разложение
x
=
(3.17).
Следовательно, Tx
=. Заметим, что для каждого элемента i справедливо разложение
xi
=
,
Te
=
(3.18),
где еij, j
= 1, …,
mi, –базис подпространства Мi
, которое, как было показано выше, конечномерно.
Замечание. Равенство Тх = можно переписать в виде
Т = , =I
, [Pix
,
Pjx
] = 0,
где I
— тождественный оператор. Из этих равенств следует
T
=
,
Ei
=
(3.19)
причем последовательность операторов проектирования {Ei
} не убывает. Такого рода представление можно получить и для произвольного ограниченного оператора.
Пример 3.1 Задача определения собственных значений и собственных функций компактного самосопряженного оператора в общем случае довольно сложна и, за исключением отдельных случаев, может быть решена лишь численно. Здесь мы рассмотрим лишь простейшую итерационную процедуру, позволяющую решить эту задачу приближенно. Пусть Т—компактный самосопряженный оператор и х произвольный ненулевой элемент пространства Н. Предполагая Тх 0, положим хп = Тпх/. Если Ттх = 0 для некоторого m, то элемент х должен принадлежать ядру оператора T, и потому он является собственным вектором. Таким образом, если элемент х не является собственным вектором, отвечающим нулевому собственному значению, то Тпх 0 для любого п. Предположим, что это условие выполнено. Рассмотрим спектральное представление Tx
=, где I –ненулевые собственные значения, а Pi —операторы проектирования на соответствующие подпространства собственных векторов. Предположим, что модули собственных значений образуют невозрастающую последовательность, т.е.... Определим оператор P
следующим образом. Если +|| является собственным значением, то Р — оператор проектирования на соответствующее подпространство собственных векторов, в противном случае P
— нулевой оператор. Аналогично, если —|| — собственное значение, то Р — проектор на соответствующее подпространство собственных векторов, иначе Р— нулевой оператор. Итак, пусть последовательность собственных значений упорядочена по возрастанию их модулей: … Тогда ясно, что последовательность
[Тхп, хп] =
сходится к
.
если только || Px
||2 + 0.
Последовательность {x
2
n
} сильно сходится к
(
Px
+
Px
)/|| (
Px
–
Px
)||
а последовательность х2n+1 сходится к
(
Px
+
Px
)/|| (
Px
–
Px
)||
.
В более общем случае следует положить
k
=
inf
{
j
: ||
Px
+
Px
||
0}
и во всех последовательностях, рассмотренных выше, вместо индекса 1 подставить k
. С целью ускорения сходимости процесса можно исходить из оператора Т – I
вместо Т. Это и есть обобщение энергетического метода на бесконечномерный случай.
Заключение
В данной курсовой работе были рассмотрены линейный оператор, спектральная теория операторов и, в частности, спектральная теория компактных операторов, показано решение некоторых задач.
Наиболее изученным классом теории операторов является теория компактных операторов, но, не смотря на это, остаётся пространство для исследования и изучения более глубокого.
Решение ряда важных задач спектральной теории связано с теорией аналитических функций. Дело в том, что основные объекты, характеризующие спектральную задачу для оператора, такие как резольвента, собственные значения оператора и другие, являются аналитическими функциями спектрального параметра в определённых областях.
На мой взгляд данная курсовая работа будет интересна всем, кто интересуется математикой.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
1. Ахнезер, М.Н., Глазман И.Н. Теория линейных операторов в гильбертовом пространстве/ М.Н. Ахнезер, И.Н. Глазман. – Киев: Виша школа, 1977. – 336 с.
2. Балакришнан, A.(Balakrishnan A.V.). Slochaslic Differential system/ A.V. Balakrishnan. – N.-Y.: Springer-Verlag, 1960. – 451 с.
3. Балакришнан, A.(Balakrishnan A.V.).Communication theory/ A.V. Balakrishnan. – N.-Y.: McGraw-Hill, 1968. – 432 с.
4. Блум, Е.(Blum E.K.). Numerical Analysis and Computation. Theory and Placlice/ Е. Блум. N.-Y.:Addison Wesley. 1972.–274 c.
5. Данфорд, Н. Линейные операторы/ Н. Данфорд, Дж. Шварц.– М.:
Наука, 1966.– 386 с.
6. Канторович, Л.В. Функциональный анализ/ Л.В. Канторович, Акилов Г.П. – М.: Наука, 1977.– 231 с.
7. Люстерник, Л.А. Элементы функционального анализа/. Л.А. Люстерник, В. И. Соболев. – М.: Наука, 1965. – 496 с.
8. Люстерник, Л.А. Топология функциональных пространств и вариационное исчисление в целом/. Л.А. Люстерник, В. И. – М.: Наука, 1961. – 442 с.
9. Садовничий, В. А. Теория операторов/ В. А. Садовничий. – М.: Издательский дом «Дрофа», 2004. – 816 с.
10. Халмош, П. (Halmos P.) Introduction to Hilbert Space Theory/ П. Халмош. – .N-Y: Chelsea Publishing Co., 1951. – 480 с.