- •Лекция 1
- •Введение
- •Метрические пространства. Определения и примеры
- •Лекция 2
- •Непрерывные отображения метрических пространств
- •Сходимость
- •Лекция 3
- •Замыкание
- •Замкнутые множества
- •Лекция 4
- •Открытые множества
- •Полные метрические пространства
- •Лекция 5
- •Теорема о вложенных шарах
- •Плотные подмножества. Теорема Бэра
- •Лекция 6
- •Полнота и разрешимость уравнений
- •Пополнение пространства
- •Лекция 7
- •Принцип сжимающих отображений
- •Применение принципа сжимающих отображений к интегральным уравнениям
- •Раздел II: Линейные метрические пространства и функционалы
- •Лекция 8
- •Нормированные пространства
- •Евклидовы пространства
- •Лекция 9
- •Ортогональные системы. Теорема об ортогонализации
- •Коэффициенты Фурье. Неравенство Бесселя
- •Лекция 10
- •Теорема об изоморфизме
- •Подпространства, ортогональные дополнения
- •Лекция 11
- •Функционалы: основные определения и примеры
- •Компактность и полная ограниченность
- •Лекция 12
- •Свойства непрерывных линейных функционалов
- •Лекция 13
- •Сопряженное пространство
- •Теорема об общем виде непрерывного линейного функционала на полном евклидовом пространстве
- •Лекция 14
- •Второе сопряженное пространство
- •Слабая сходимость
- •Лекция 15
- •Обобщенные функции
- •Производная обобщенной функции
- •Лекция 16
- •Дифференциальные уравнения в классе обобщенных функций
- •Лекция 17
- •Обобщенные функции нескольких переменных
- •Свертка обобщенных функций
- •Раздел III: Линейные операторы в пространствах Банаха
- •Лекция 18
- •Линейные операторы: основные определения
- •Норма оператора
- •Лекция 19
- •Пространство ограниченных линейных операторов
- •Компактные операторы
- •Лекция 20
- •Принцип равномерной ограниченности
- •Лекция 21
- •Замкнутые операторы
- •Теорема о замкнутом графике
- •Лекция 22
- •Сопряженный оператор
- •Операторные уравнения
- •Обратный оператор
- •Лекция 23
- •Непрерывная обратимость
- •Достаточные условия непрерывной обратимости
- •Лекция 24
- •Спектр оператора. Резольвента
- •Спектр компактного оператора
- •Раздел IV: Операторные уравнения в пространствах Гильберта
- •Лекция 25
- •Продолжение линейного непрерывного оператора на пополнение. Пространство Лебега
- •Множества меры нуль. Сходимость почти всюду
- •Лекция 26
- •Функции, интегрируемые по Лебегу
- •Основные свойства интеграла Лебега
- •Кратный интеграл Лебега
- •Лекция 27
- •Сопряженный оператор. Случай евклидовых пространств
- •Самосопряженные операторы
- •Лекция 28
- •Собственные значения самосопряженных операторов
- •Лекция 29
- •Базисы со свойством двойной ортогональности
- •Лекция 30
- •Теорема об итерациях операторов
- •Условия разрешимости уравнений первого рода
- •Лекция 31
- •Операторные уравнения второго рода
- •Теоремы Фредгольма
- •Лекция 32
- •Замечания к теоремам Фредгольма
- •Следствия из теорем Фредгольма
- •Лекция 33
- •Линейные интегральные уравнения второго рода
- •Лекция 34
- •Уравнения с вырожденными ядрами
- •Уравнения Вольтерра
- •Заключительные замечания
- •Список литературы
168
3.5Лекция 22
3.5.1Сопряженный оператор
Определение 3.5.1. Оператор A : Y ! X называется
сопряженным к оператору A : X ! Y если
(3.5.1) < g; Ax >:= g(Ax) = (A g)(x) =< A g; x >
для всех x 2 X и g 2 Y .
Сопряженный оператор всегда существует, поскольку для всякого g 2 Y равенство 3.5.1 определяет элемент X . В самом деле, по определению,
(A g)(ax + by) = g(A(ax + by) = g(aAx + bAy) =
ag(Ax) + bg(Ay) = a(A g)(x) + b(A g)(y);
т.е. функционал A g линеен. Он непрерывен, так как
jA g(x)j = jg(Ax)j kgkkAkkxkX:
Пример 3.5.1. Пусть X = Rn, Y = Rm, где n < 1, m < 1. Тогда линейный оператор A : X ! Y задается (m n)-матрицей (aij), т.е.
n
X
yi = (Ax)i = aijxj:
j=1
Так как всякий линейный функционал g 2 Y задается в виде
m
X
g(y) = giyi;
i=1
169
то
m |
n |
|
|
n |
n |
X X |
|
|
Xi |
X |
|
g(Ax) = |
|
giaijxj = xj |
giaij: |
||
i=1 j=1 |
|
|
=1 |
j=1 |
|
Значит, (A g)(x) = |
jn=1 giaij; т.е. A задается матрицей (aji), |
||||
матрице (a |
|
). |
|
||
транспонированной к P |
|
|
ij |
|
|
Предложение 3.5.1. Если A, B – ограниченные линейные операторы, то (A + B) = A + B , ( A) = A для всех
2 R:
Доказательство. Вытекает непосредственно из определения:
<g; (A + B)x >=< g; Ax > + < g; Bx >=
<A g; x > + < B g; x >=< (A + B) g; x >;
<g; Ax >= < g; Ax >=< A g; x > :
Предложение доказано. |
|
Теорема 3.5.1. Пусть A – ограниченный линейный оператор, отображающий банахово пространство X в банахово пространство Y . Тогда оператор A линеен, ограничен и kA k = kAk.
Доказательство. Как мы уже видели, в силу свойств нормы
jA g(x)j = jg(Ax)j kgkkAkkxk;
т.е. kA gk kAkkgk, а значит, kA k kAk.
Пусть x 2 X и Ax 6= 0. Положим y0 = kAxAxk 2 Y ; очевидно, что ky0k = 1. По теореме Хана-Банаха существует такой функционал g 2 Y , что kgk = 1 и g(y0) = 1. Тогда
(A g)(x) = g(Ax) = kAxk kA kkgkkxk = kA kkxk:
Таким образом, kAk kA k, а значит, kAk = kA k. |
|
170
3.5.2Операторные уравнения
В дальнейшем нас в первую очередь будет интересовать следующая задача.
Задача 3.5.1. По заданному y 2 Y найти такой элемент x 2 X, что
(3.5.2) |
Ax = y: |
Уравнение (3.5.2) называется линейным операторным уравнением первого рода. Как мы уже отмечали в разделе 1, в такой общности данная задача необозрима. Мы ограничимся непрерывными отображениями в полных нормированных пространствах.
Естественно возникают следующие вопросы:
1)Всегда ли и если нет, то при каких условиях существуют решения задачи 3.5.1?
2)Является ли решение единственным и если нет, то при каких условиях это так?
3)Как "малые" изменения "начальных" данных y повлияют на изменение решения x?
Определение 3.5.2. Задача 3.5.1 называется корректной по
Адамару, если выполнены следующие три условия:
1)для всякого y 2 Y существует ее решение x 2 X (существование),
2)задача имеет не более одного решения (единственность),
3)для всяких x0 2 Y и " > 0 существует > 0 такое, что для всех x 2 X, для которых Ax 2 B(x0; ), мы имеем kx
x0kX < " (непрерывная зависимость от начальных данных или
устойчивость).
171
Традиционно (и объективно), именно корректные задачи наибо-
лее важны для приложений. Мы постараемся получить информацию
ио некорректных задачах.
Вцелом, описание условий разрешимости операторного уравнения (3.5.2) есть описание образа R(A) этого оператора. Следующее утверждение представляет собой грубую аппроксимацию такого описания и выделяет простое необходимое условие разрешимости данного операторного уравнения.
Лемма 3.5.1. (об аннуляторе ядра) Пусть A : X ! Y –
ограниченный линейный оператор. Тогда R(A) (ker A )?, где
(ker A )? = fy 2 Y : f(y) = 0 для всех f 2 ker A g:
Доказательство. Покажем сначала, что R(A) (ker A )?. Если y 2 R(A), то существует такой элемент x 2 X, что Ax = y, и для всех f 2 ker A мы имеем:
f(y) = f(Ax) = (A f)(x) = 0(x) = 0;
т.е. y 2 (ker A )?.
Если y 2 R(A), то найдется такая последовательность
fxkgk2N X, что limk!1 Axk = y. Тогда, в силу непрерывности
функционала f 2 ker A , |
|
||
|
|||
f(y) = f lim Axk = lim f(Axk) = |
|||
k!1 |
k!1 |
||
lim (A f)(xk) = lim 0(xk) = 0: |
|||
k!1 |
k!1 |
||
Лемма доказана. |
|
|
|
На самом деле верно и |
обратное включение, т.е. |
R(A) |
= |
(ker A )?. Однако у нас недостаточно инструментов, чтобы доказать это строго для произвольных банаховых пространств. Мы сделаем это в следующем разделе для операторов в пространствах Гильберта.