Файл: Рогожин В.С. Теория операторов Нетера [учеб. пособие].pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 31.07.2024
Просмотров: 199
Скачиваний: 0
- 66 -
нулей. Однако для произвольных банаховых пространств этот факт
уже не ииеет места. И.Нието доказал, что |
для существования |
||
левого регуляризатора у |
оператора |
необходимо и |
|
достаточно, чтобы |
( В ) |
было конечным |
числом и образ В- |
имел в Н-^ топологическое дополнение. Аналогичное утверждение справедливо и для правой регуляризации. Для существования у опе
ратора В & { " " ^ |
правого регуляризатора необходимо и дос |
|
таточно, чтобы |
было конечным числом и ядро В |
имело |
втопологическое дополнение. Подробности по поводу указан
ных" ре18ультагов см. в работах й.Ц.Гохберга (ДАН СССР, 1951, 7jj.,
» |
I , 9-12. }и |
} . I . j/iet o |
(Mathema - tisch e |
Ли>га£еиъ; 1968, |
||||||
Б |
178, I, |
62-77 ) . |
|
|
|
|
|
|
|
|
|
§ ЗЛ. Эквивалентная регуляризация уравнений |
|
|
|||||||
|
До сих пор мы рассматривали эквивалентную |
регуляризацию |
||||||||
операторов. Были установлены |
неооходиыые |
и достаточные |
условия |
|||||||
того, что |
уравнение |
В х ^ Ц |
и регуляриаованное уравнение |
|||||||
|
|
|
эквивалентны |
для воех Ц |
иэ области |
значений |
||||
оператора |
В |
. Иожно |
поставить вопрос |
и по-другому. |
Пусть дано |
|||||
уравнение |
В Х - Ц |
о фиксированной |
правой частью |
^ |
. |
Спрашивается, можно |
ли так подобрать регуляризатор 1i |
, что урав |
нение |
будет уравнением Фредголъма, эквивалентным |
|
уравнению б х ^ ' ^ |
? Наибольший интерес, разумеется, |
представ |
ляет случай, когда исходное уравнение имеет решение. Оказывается, что: в этом случае на поставленный вопрос можно ответить положи тельно по крайней мере в случае пространства Гильберта.
|
|
|
|
|
|
- |
б? - |
|
|
|
|
|
|
||
Теорема d.14. Пусть В) |
|
- |
линейный |
оператор, действующий |
|||||||||||
в гильбертовом |
проотранотае Н |
и |
^ |
, |
принадлежит области |
||||||||||
определения сопряженного оператора |
В*. |
|
Если при этом уравнение |
||||||||||||
В х = ^ |
|
разрешимо, |
то оно эквивалентно |
уравнению |
|
||||||||||
Доказательство. |
Пуоть |
|
|
|
|
; тогда |
|
|
|||||||
1оли еще какой-либо |
элемент 9С6с |
удовлетворяет последнему |
уравне- |
||||||||||||
шт. т . е . |
|
|
|
, |
|
то обязательно |
|
|
|||||||
т . е . Т[! будет |
и решением исходного |
уравнения. В самом |
деле, |
||||||||||||
имеем |
|
|
|
В * В х = , B * t j , 6 * B X o = B 1 > |
|
||||||||||
|
|
|
|
|
|||||||||||
отсюда |
находим |
|
|
|
|
|
|
|
Умножая обе чаоти этого |
||||||
равенства окалярно |
на |
Х ^ — , |
получим |
|
|
||||||||||
|
|
|
|
( Х о - х ^ В ( х 0 - 5 с ) ) = 0 , |
|
||||||||||
отоюда |
имеем |
( g, ( х в |
- Ж ) В |
( Х 0 - 5 б ) ) я О» |
|
||||||||||
Следовательно, |
В ( Х о — 5 5 . ) а |
О |
, т . е . |
Е Ь ^^ВХо - ^ , |
|||||||||||
что и утверждалось. |
|
|
|
|
|
|
|
|
|
|
|
||||
Заметим далее, что оператор О |
|
является |
оператором Нетера, |
||||||||||||
причем |
|
(В * ) —-VC'('B>) (он,следствие |
из второй теоремы Атнив- |
||||||||||||
сона Б § 7) . Отоюда |
вытекает, |
|
ч»о |
|
*В |
- |
оператор Нетера |
||||||||
М'СВ* В |
) ~ 0 |
. Из последнего |
'оооФномевия |
заключаем, что В В |
|||||||||||
|
|
|
$3> |
|
|
|
|
|
как оператор Нетера о -нулевый •индеком тшио эквивалентно рету-
ляризовать |
слеза. Пусть |
- лешыИ эквивалентный регуляриватор |
оператора |
|
- вполне |
непрерывный |
оператор. Тотда |
уравнение |
_ 68 ~
( I + T ) x = U ! y i j
эквивалентно исходному уравнению В ОС = t j , |
|
|
||
Таким обрааом Получаем следующее утверждение |
|
|||
Теорема. 2.14. Если в уравнении В Х — |
, где В |
- |
||
оператор |
Нетера^ удовлетворяющий уОЛовинм теоремы 1.14, |
правая |
||
часть |
'Ij |
принадлежи» облаотй определения сопряженного |
оператора |
|
и такова, |
что это уравнение разрешимо, то его можно эквивалентно |
|||
регуляривовать слева. |
|
|
||
§ 15. Примеры линейных операторов |
|
|
||
1, |
Нуль-оператор определяется равенотвой |
Вос^ОЖ, |
|
V x t E j |
. очевидно |
AlinlceH В - d t m E ^ M oU&) |
||||||||||
может быть как конечным, |
так и бесконечным в зависимости |
от того, |
|||||||||||
конечномерно |
или бесконечномерно Пространство Е^ • Для определе |
||||||||||||
ния |
Я*ея, |
что' уравнение |
В Х ^ ^ |
разрешимо |
лишь |
||||||||
n p H l j f t O |
. ПОЭтОыу |
В ( В ) ж Ш |
|
, если d i m Е \ =• |
|
||||||||
и |
|
р ( В ) < с ^ |
, |
воли (д 1ж |
Ь ^ |
|
. Таким образом, при |
||||||
различных предположениях относительно размерности пространств |
|||||||||||||
1^ |
и |
Ejt |
нупь-ОПоратор |
может оказаться |
кай оператором Нетера, |
||||||||
|
|
||||||||||||
так й ф ^ . , |
ф * |
OrtepatfopbMJ |
также |
возможен случай, |
когда оба |
||||||||
числа о\[Ъ) |
й р[$) |
бесконечны. |
|
|
|
|
|
||||||
|
2. Едйнйчвый |
оператор B x |
^ |
I X |
определен, еслиЕ)— Е^ . |
||||||||
Ясно, |
ЧтЬ |
t e / l f t - O |
При лйбом |
выборе пространства |
£ц , |
||||||||
т . е . |
с К ( В ) - 0 • Второе |
дефектное |
Число |
«ависит от того, |
каково |
||||||||
пространство |
|
. Если |
Б ^ — |
Е"^ |
i |
ю |
j ^ ( B ) - 0 |
и оператор |
|
|
|
|
|
|
|
_ |
69 |
_ |
|
|
|
|
|
|
|
|
|
|
обратим. Вони |
же |
f |
^ «С f |
^ |
|
, то |
р(В») |
—di-na |
|
|
|
||||||||
а могут иметь место различные случаи. Пурть, |
например, |
|
- |
||||||||||||||||
пространство |
комллексноэначных функций |
DC^t) |
точек |
\ . |
едшшч- |
||||||||||||||
ной окружности |
\ \ \ - \ |
с |
суммируемым |
квадратом, |
a |
|
- |
Подпро |
|||||||||||
странство |
Р в |
, |
сооторщее |
И8 функций X ( t ) |
таких, |
что |
|
|
|||||||||||
|
|
|
|
|
|
Г * |
|
|
|
|
|
|
|
|
18 |
|
|
|
|
Тогда для eorqj |
Чтобу |
функция |
^ (i) |
из |
Fg^, |
|
принадлежала |
обра |
|||||||||||
зу оператора |
о |
|
< необходимо и достаточно» |
чтобы |
|
|
|
|
|||||||||||
В этом |
случае |
|
|
|
|
|
|
|
- |
оператор |
Нетера, |
|
|
||||||
Пусть |
теперь |
£4 |
подпроотранотво |
пространстве |
£ |
, |
эле |
||||||||||||
менты |
которогб |
удовлетворяют |
равенствам |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
С х й > е 1 ^ % - - 0 , к = о |
|
|
|
||||||||||
|
|
|
|
|
|
-IT |
|
|
|
|
|
|
|
|
|
|
|
|
|
В этом |
случае |
|
^ ( H & j E ^ |
|
Принадлежит |
обраау оператора |
13 |
||||||||||||
при выполнении |
условий |
^ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
Й ^ П Ь о ^ о , * , , . . . |
||||||||||||
|
|
|
|
|
|
|
-ft |
|
|
|
|
|
|
|
|
|
|
|
|
Обрав |
оператора |
]3 |
в этом случае замкнут* но Число |
дефектных |
|||||||||||||||
функционалов |
-J^(tV) бесконечно, В1 |
есть |
|
Ф4- |
оператор. |
||||||||||||||
3. Рассмотрим |
оператор |
умножения tta |
функция* |
|
|
|
|
||||||||||||
|
|
, |
где |
g a ) 6 C t o ) ^ i |
сЧИтая,Что |
|
Ё ^ С М З . |
||||||||||||
Через С t^-,i^1 |
обозначено |
простраистйо |
функций^непрерывных на |
||||||||||||||||
отрезке |
|
|
|
с |
обычной |
нормой. Пусть |
|
fe(i)^0 |
|
, |
тогда |
3