Операторные уравнения
В случае определенного и ограниченного на всем множестве оператора A ÎL(X,Y) имеется теорема Банаха об обратном операторе.
Теорема 7. Если А – ограниченный линейный оператор, отображающий взаимно однозначно банахово пространство X на банахово пространство Y, то обратный оператор А-1 ограничен.
Иными словами, если А Î L(X,Y), где X и Y банаховы, R(A)=Y и
А обратим, то А непрерывно обратим.
Взглянем на понятие непрерывно обратимого оператора с точки зрения разрешимости линейного уравнения
Ax = y (2)
Если А непрерывно обратим, то уравнение это имеет единственное решение x = A-1y для любой правой части у. Если при этом (решение того же уравнения с правой частью ), то . Это означает, что малое изменение правой части y влечет малое изменение решения, или, как принято говорить, задача (2) корректно разрешима.
Пусть А Î L(X,Y). Оператор U Î L(X,Y) будем называть правым обратным к А, если AU = Iy. Оператор V Î L(X,Y) будем называть левым обратным к А, если VA = Ix.
Здесь через Iy (Ix) обозначен тождественный оператор в пространстве Y (X). Ниже для правого обратного к А используем обозначение Аr–1, а для левого – АL–1.
Лемма 1. Если существует правый обратный Аr–1 к А, то уравнение (2) имеет решение
x = Аr–1 y
Если существует левый обратный оператор к А, то уравнение (2) может иметь не более одного решения.
Доказательство.
А(Аr–1 y) = (А Аr–1)y = y,
т.е. x = Аr–1 y обращает (2) в тождество и, значит, является решением.
Далее, пусть существует АL–1. рассмотрим N(A). Пусть x ÎN(A), тогда Аx = 0. применим к этому равенству оператор АL–1, тогда АL–1Аx = 0, откуда x = 0. итак, всякое x ÎN(A) оказывается равным 0. Значит, N(A) = {0} и, по теореме 4, А взаимно однозначен, т.е. для уравнения (2) справедлива теорема единственности. Что и требовалось доказать.
Пусть X – банахово пространство. Рассмотрим банахово пространство L(X) – пространство линейных, ограниченных и заданных на всем множестве операторов. Пусть I – тождественный оператор в L(X). Очевидно, что I непрерывно обратим. Ниже доказывается, что вместе с I непрерывно обратимы все операторы - единичного шара в L(X), т.е. все такие А, для которых справедливо неравенство .
Для краткости положим C = I – A. Ниже мы будем ссылаться на признак Вейерштрасса: пусть X – банахово пространство, тогда всякий абсолютно сходящийся в X ряд сходится.
Теорема 8. Пусть и ; тогда оператор I – C непрерывно обратим. При этом справедливы оценки
(1)
(2)
Доказательство. Рассмотрим в L(X) ряд
I+C+C2+C3+… (3)
Так как , то ряд (3) оценивается сходящимся числовым рядом – геометрической прогрессией
По признаку Вейерштрасса ряд (3) сходится равномерно, т.е.
.
Где S – сумма ряда (3). Далее простой проверкой убеждаемся, что
,
.
Но при этом (ибо и ), а . Поэтому, в пределе имеем равенства (I – C)S = I и S(I – C) = I. По лемме 1 отсюда заключаем, что I – C непрерывно обратим и S=(I – C)-1. Далее,
,
.
Переходя в этих неравенствах к пределу при , получаем оценки (1) и (2). Теорема доказана.
Теперь рассмотрим более общий случай пространства L(X,Y). Пусть А ÎL(X,Y) непрерывно обратим.
Теорема 9. Пусть A, B ÎL(X,Y), А непрерывно обратим и выполнено неравенство . Тогда B непрерывно обратим и справедливы оценки
, .
§4. Абстрактные функции
Пусть S – некоторое множество на числовой оси или в комплексной плоскости, а X – нормированное пространство.
Рассмотрим функцию x() с областью определения S и с областью значений в X. Такие функции принято называть абстрактными функциями числовой переменной или векторными функциями числовой переменной, поскольку элементы линейного (иначе – векторного) пространства мы называем также векторами. На абстрактные функции числовой переменной переносятся многие понятия и факты математического анализа. Далее рассмотрим сведения о пределах и непрерывности таких функций, о разложении в степенные ряды, а также понятие аналитической абстрактной функции.
Пусть x() определена в окрестности точки 0, за исключением, быть может, самой точки 0. Элемент а Î X будем называть пределом функции x() при →0 и записывать
при →0,
если при →0.
Другие рефераты на тему «Математика»:
Поиск рефератов
Последние рефераты раздела
- Анализ надёжности и резервирование технической системы
- Алгоритм решения Диофантовых уравнений
- Алгебраическое доказательство теоремы Пифагора
- Алгоритм муравья
- Векторная алгебра и аналитическая геометрия
- Зарождение и создание теории действительного числа
- Вероятностные процессы и математическая статистика в автоматизированных системах