Вопросы с краткими ответами (1159985), страница 3
Текст из файла (страница 3)
(Оператор A:L2 L2 называется оператором Фредгольма.) При этом f,x L2[a;b], а функция K, называемая ядром уравнения, принадлежит классу L2 на квадрате a t, s b.
Уравнение Фредгольма можно переписать в виде Lx = f, где L=(I - A) - компактный оператор. Если f 0, уравнение называется однородным.
Лемма. [Im(L)]= Im(L), т.е. Im(L) является закнутым подпространством.
Лемма. Гильбертово пространство H представляется в виде прямой ортогональной суммы: H = Ker(L) Im(L*), H = Im(L) Ker(L*).
Обозначим O = {0}.
Лемма. (Ker(L) = O) (Im(L) = H); (Ker(L*) = O) (Im(L*) = H).
Лемма. (Im(L) = H) (Ker(L) = O); (Im(L*) = H) (Ker(L*) = O).
44. Три теоремы Фредгольма
Теорема I. Неоднородное уравнение Lx = f разрешимо правая часть f ортогональна любому решению неоднородного уравнения Lx = 0, т.е. f Ker(L).
Теорема II (альтернавтива Фредгольма). Либо неоднородное уравнение имеет единственное решение при любой правой части, либо однородное уравнение имеет ненулевое решение.
Теорема III. Однородное уравнение Lx = 0 и сопряженное однородное уравнение L*y = 0 имеют одинаковое и конечное число линейно независимых решений.
45. Спектральная теория линейных ограниченных операторов в банаховом пространстве. Спектр, резольвента, их свойства. Тождества Гильберта, функции от оператора
Пусть на банаховом пространстве X задан линейный оператор A:XX. Резольвентным множеством для A называется множество (A)C чисел (регулярных значений), для которых оператор (A-I)-1 (резольвента А) определен на всем А и ограничен. Спектром A называется множество (A) = C\(A). Число называется собственным значением A, если Ker(A-I)O, а всякий ненулевой вектор x из Ker(A-I) называется собственным вектором, отвечающим данному .
Теорема. Резольвентное множество оператора открыто, а спектр замкнут.
Теорема. Спектр оператора А ограничен: sup |(A)| = r A, где величина r, называемая спектральным радиусом оператора, определяется как r = . Если ||>r, то резольвента как операторная функция разлагается в ряд Лорана: R(,A) =
.
Тождество Гильберта. Пусть , (A). Тогда R(,A) - R(,A) = (-)R(,A)R(,A).
Обозначим через F(A) - множество операторных функций, аналитичных (т.е. разлогающихся в ряд Лорана) в окрестности (A).
Теорема. Для любых двух аналитичных операторных функций f, g F(A), любых двух чисел , C:
1) аналитичны их линейная комбинация и суперпозиция: f + g F(A), f g F(A);
2) если ряд f() = kk сходится в некоторой окрестности (A), то f(A) = kAk .
46. Спектральная теория вполне непрерывных операторов в гильбертовом пространстве
Пусть A:HH - вполне непрерывный (компактный) оператор на гильбертовом пространстве H.
Теорема. Число 0 входит в спектр A.
Теорема. Ненулевые элементы спектра A являются собственными значениями конечной кратности.
Теорема. При любом >0 оператор А имеет лишь конечное число линейно независимых собственных векторов, отвечающим собственным значениям, по модулю превосходящим .
Теорема. 0 - единственная возможная предельная точка спектра А.
47. Спектральная теория самосопряженных операторов
Пусть оператор A:HH в гильбертовом пространстве H является самомопряженным, т.е. (Ax,y)= (x,Ay) для любых двух векторов x, y.
Теорема. (А - самосопряженный) (||A|| = ).
Теорема. (А - самосопряженный) (величина (Ax,x) является действительным числом при любом x)
Теорема. Собственные вектора, отвечающие различным собственным значениям А, ортогональны.
48. Спектральная теория вполне непрерывных самосопряженных операторов. Существование собственных значений
Пусть А - самосопряженный оператор. Обозначим m(A) = , M(A) =
.
Теорема. Спектр (A) компактного самосопряженного оператора А лежит на отрезке [m(A);M(A)] .
Теорема. Самосопряженный компактный оператор имеет хотя бы одно собственное значение, равное его норме: = ||A||.
49. Теорема Гильберта-Шмидта, формула Шмидта
Обозначим через ek нормированный собственный вектор, отвечающий собственному значению k.
Теорема (Гильберт-Шмидт). Пусть А - компактный, самосопряженный оператор. Тогда для любого xIm(A) справедливо представление в виде сильно сходящегося ряда Фурье = x.
Александр Андреев (alexander@vvv.srcc.msu.su)