Файл: Рогожин В.С. Теория операторов Нетера [учеб. пособие].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С

удовлетворяет последнему

уравне-

шт. т . е .

 

 

 

,

 

то обязательно

 

 

т . е . Т[! будет

и решением исходного

уравнения. В самом

деле,

имеем

 

 

 

В * В х = , 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