Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Балакришнан, А. Введение в теорию оптимизации в гильбертовом пространстве

.pdf
Скачиваний:
8
Добавлен:
19.10.2023
Размер:
6.67 Mб
Скачать

Функции, преобразования, операторы

129

где [UTx, UTx] = [Tx, Тх], и, следовательно, U изо­ метрия на множестве значений оператора Т. Таким образом, Т играет роль абсолютной величины опера­ тора А, а абсолютной величиной оператора U является тождественный оператор. Полученное разложение на­ зывается полярным разложением оператора.

Ядерңые операторы

Нам понадобится, особенно в связи с теорией гаус­ совых случайных величин в гильбертовом пространстве, еще один тип операторов в сепарабельных гильбертовых пространствах.

О п р е д е л е н и е 3.13. Пусть пространства Я, и Я2 сепарабельны. Ограниченный линейный оператор А, отображающий Я, в Я2, называется ядерным, если для любой ортонормальной последовательности {еп} из и любой ортонормальной последовательности {§„} из Я2

оо

 

 

2

I [Аеп,

g„] I < оо,

1

 

Т е о р е м а 3.4.

Пусть

оператор А ядерный. Тогда

он компактен, и найдется такая ортонормальная после­

довательность {//} из Я 1,

что

ЛМ/; =

^ . , Я .> 0 ,

и для каждого х из Н {

оо

Ax=f= 2 Ы х>fi]hh

1

 

где {hi} ортонормальная

последовательность из Я2.

Более того,

 

оо

 

21^ г

< 00•

Д о к а з а т е л ь с т в о . Воспользуемся сначала поляр­ ным разложением оператора А:

А = UT,

бЗак. 751

130

Глава 3

Положим hn— Uen. Тогда Ігп — 0, если еп принадлежит нуль-пространству оператора Т. Но в этом случае

Ге„ = 0 = Аеп,

так что [Аеп, gn] = 0. Поэтому будем рассматривать

лишь те элементы еп, которые

принадлежат множеству

значений оператора

Т.

В этом

случае

.

(

[^rti ^m] ==

fl =7^=til,

[Än,-Am] =

|

u

 

n = m.

Таким образом, из определения ядерности оператора А следует, что

2 1[Аеп, Ігп] I < оо.

I

Но либо

Аеп= 0,

либо

[Ае,„ hn) = [UTen, Uen] = [Ten, еп],

так что

оо

2 [ТеЛ, еп] < оо,

а так как из Т можно извлечь положительный квадрат­ ный корень, то

оо

Ѵ т е п] < оо.

2 [/74,,

1

 

Другими словами, / Г — оператор Гильберта — Шмидта и, следовательно, он компактен, а потому компактен и оператор Т. Если теперь воспользоваться ортонормаль-, ными собственными векторами {/,■} оператора Т с соот-. ветствующими собственными значениями Яь то получим

2 1[Afn,

Vfn] 1= 2 [Tfn, fn) =

2 v < °°-

I

I

л

Полагая

hi = Ufi, ЯI 0,

 

 

 

Функции, преобразования, операторы

131

видим, что последовательность (AJ в Я2 также орто-

нормалы-іа, так что Ах можно

представить в виде

00

 

оо

 

 

Ах = 2

[х>fi\ hit

2

< °°> А* >

0.

1

 

1

 

 

Верна также и обратная теорема.

 

Т е о р е м а

3.5. Пусть

А — ограниченный

линейный

оператор, отображающий Я, в Я2, а оператор Т = If А' А

00

 

компактен и 2 А,- < °о,

где Аг — собственные значения ,

1

 

оператора Т. Тогда оператор А ядерный.

Д о к а з а т е л ь с т в о .

Пусть {/Л — ортонормальная

система собственных векторов оператора Т:

Tfi = hfi-

С помощью полярного разложения можно показать, что для любых ортонормальных систем {е„} из Нх и {§„} из Я2

\[Аеп, g„] | = | [Теп, U'gn] |

и

00

 

Теп= 2

Am[e„, f m \ f m t

 

так что

 

I

 

 

 

 

 

 

 

 

оо

оо

оо

 

 

 

2 I

[Аеп, Ы 1 < 2

2

A J [еп, fn] [| [/т ,

[.

I

«= I т = І

 

 

Далее, .

 

 

 

 

 

2

I [еп, и II \fm, Wgn] |<

II f m II ■ II UfmII <

1,

я= І

 

 

 

 

откуда

 

 

 

 

 

 

2 і [Аеп,

ы і <

2 Ат .

 

 

1

 

 

т—I

 

5*

132 Глава 3

Ядерная норма

Класс £Г всех ядерных операторов, отображающих Я , в Я2, представляет собой линейное пространство. За­ дадим в нем норму

м н ,= 2 и ,= 2 1 № ft],

1

1

 

где Я£— ненулевые собственные

значения оператора

Т = У А А \ а /( — соответствующие

им ортонормальные

собственные векторы. Будем называть эту норму ядерной. Если А, В е Т то

поскольку для любого ядерного оператора А

05

М Н , = S l i p S I [Aen, g„]|,

где верхняя грань берется по всем ортонормальным последовательностям {еп} и {gn}, принадлежащим Н{ и Я2 соответственно. Отметим также, что относительно ядер­ ной нормы пространство полно.

Для частного случая Ht = Н2 = Я зададим след ядер­ ного оператора (отображающего Я в Я):

00

tr А = Ц [Аеп, еп],

1

где {е„} — любая полная ортонормальная последователь­ ность из Я. Легко видеть, что это определение не зависит

от выбора конкретной последовательности.

Действи­

тельно,

пусть

Хі — собственные значения

оператора

T = Y A * A , а

/( — соответствующие им собственные

векторы.

Тогда

 

оо

 

 

 

 

 

 

 

Аеп — 2 ^г ІА> /і] Ufu

 

 

 

 

I

 

где A — UT, и,

следовательно,

 

 

Ѣ [ А е я, еп\ =

Ъ S M * * , M W h , e j.

 

 

1

 

а—I 1=1

 

Функции, преобразования, операторы

133

Поскольку оператор А ядерный, можно в двойной сумме

 

изменить

порядок

суммирования:

 

 

2

[Аеп,

еп] = S

h

2 [еп, /,][£//„ еп] = І Я,,[/„ Uft],

г= I

1

 

і= і

п=1

 

так

как

оо

 

 

 

 

 

 

 

 

 

 

 

 

2[в„,

П Ш и en\ = [ f i ,

Uh}

 

 

 

n=I

 

 

 

 

в силу полноты ортонормальной последовательности {еп}.

 

Заметим, что в общем случае след оператора нельзя

 

выразить

через

его

собственные значения. Что же

 

касается ядерного

оператора, то для

него

 

I tr Л K t r /ЛМ.

Часто возникает необходимость рассматривать опре­ делитель самосопряженного положительно определен­ ного оператора, отображающего Я в Я. Определитель естественно задать формулой

det Г = П

і=-1

где %i — собственные значения оператора Т (так как опе­ ратор Т положительно определен, то > 0 для всех г). Но такое бесконечное произведение сходится к некото­ рой отличной от нуля величине тогда и только тогда,

когда

оо

2 і 1 - Я г | < о о .

1

Таким образом, определитель оператора Т корректно определен, если Т имеет вид

T = I + R ,

где R — неотрицательно определенный ядерный опера­ тор. Далее, можно определить и логарифм оператора:

(log (/ + R)) X= S (log (1 -f %k)) [x, фй] <pé> 1

134

Глава 3

где Хк — собственные значения оператора R, а ф* — соот­ ветствующие им ортонормальные собственные векторы.

Заметим, что log(det 7’) = tr(log Т).

П р и м е р

3.6. Пусть

 

 

 

Hl = L 2{О, Т,) ,

Г ,

< о о ,

 

Я2=

Г2 (0і Г2),

Т2<Г,оо,

и функция

R{t, s)

непрерывна в

прямоугольнике

0 < 5 < Г „ 0 < г < 7 Ѵ Тогда соотношения

Л! = ё,

г,

g (0 = { R (Л s) f (s) ds

о

определяют оператор Гильберта — Шмидта, отображаю­ щий Я) в Я2, так как

JГ3

ГJ, I R (t,

s) р dt ds < оо.

о

о

 

Далее,

г,

т,

 

II Л ||ң5 == J"

J ltftf, s)fdtds .

оо

Вэтом легко убедиться, выбрав в Я2 полную орто­ нормальную систему {ф„(і)}, в Я, — полную ортонор­ мальную систему M>;l(.s)} и заметив, что

R (t,

s) =

2

2

am,„фт (t) ф„ (s),

где

 

 

п

m

 

Т,

г

 

,

_________

 

 

am,n =

J

о

JR (t,

s) фт (0 % (s) dt ds.

 

о

 

 

 

Следовательно,

 

 

 

2

 

 

 

 

 

&т, пфті

 

 

Функции,

преобразования, операторы

135

откуда

 

 

 

 

 

 

 

 

 

 

Лфп] == m Q-m, n'

 

Г,

Г,

 

 

 

 

 

 

 

 

 

 

[Л%„. Л-ф«] =

У) ^

а«>.п =

I

I I R (t,

s) f dt ds.

 

 

 

 

 

 

 

о

0

 

Заметим,

что оператор А"А имеет соответствующее ядро

 

 

Т,

 

 

 

 

 

 

.

К (s2,

s{) = I

R (t, s2) R (t,

s,) dt,

0 < s ,,

s2^ : Tl.

 

 

о

 

 

 

 

 

 

 

Это

значит, что

 

 

 

т,

 

 

 

 

 

 

 

 

 

 

 

 

 

Л*Л/ =

г,

g (s2) =

J К (s2,

s,) f (s,) dst.

 

 

 

 

 

 

0

 

 

 

Аналогично ядро оператора

ЛЛ’

имеет вид

 

 

 

т,

 

 

 

 

 

 

 

 

 

J R{t2, s) R{tu

s)ds,

0< ,tu t2^ . T 2.

 

 

о

 

 

 

 

 

 

 

Как известно, оба оператора ЛЛ* и А*А ядерные, причем

г,

tr Л*Л = ^ЛЛ* = J K(s, s)ds.

о

В действительности операторы ЛЛ* и Л*Л имеют одина­ ковые ненулевые собственные, значения. Если Х„— не­ нулевое собственное значение оператора ЛЛ*, т. е.

ЛЛ ер,; = : Апф„,

то

II А'<РпII2= [А*ф„, Л*ф„] = [ЛЛ*ф„, ф„] = К Ф О

и

А*А (Л*ф„) = Л* (ЛЛ*Ф„) = Я„,(Л*ф^).

...

В самом деле, если ф„ — ортонормальные собственные векторы оператора ЛЛ*, соответствующие его ненулевым собственным значениям, то ортонормальные собственные

136

Глава 3

 

векторы оператора А*А имеют

вид

 

Л*фп

 

поскольку

М’фі.11

 

 

Л*ф,„] =

[ЛЛ*ф„, фш] = 0 для п ф т.

Является ли оператор А ядерным? Очевидно, что для

того, чтобы оператор

А был ядерным,

необходимо (и

достаточно), чтобы условие

 

I [Л г|з„ ,

ф „] | У=і Iап,п I <

оо

выполнялось независимо от выбора ортонормальных

систем {г|>„} и {ф„}.

s) это выяснить

В общем случае по виду ядра R(t,

 

со

 

нельзя. Для использования условия

21Ѵ \ і < ° ° і

где

Я„ — собственные значения оператора

А*А (или

АА*),

надо знать числа Я„, а в общем случае это практически невозможно. Но если множество значений оператора А конечномерно, то оператор А, очевидно, ядерный. Его ядро имеет вид

т

2 fi (0 gt ( А f=i

где /Д • ) е Я,, gi( ■) е Я2. Легко проверить, что ядерная норма в этом случае не превосходит

т

S u f i ни^ и.

г=і

Для того чтобы понять, что происходит в общем случае, рассмотрим следующий пример. Для каждого п

зададим ядро

П

а д s) ~ 2 Фт (0 ‘Фт ($)•

1

Обозначим через Ап соответствующий оператор. Оче­ видно, что он ядерный. Кроме того,

л

Т 2

Т \

 

 

І И п - Ап 11^ = 2

7 Г = 1

J і а д

S)-Rm (t,

s )\2dtds.

m

0 . 0

..............._

. . .

Функции, преобразования, операторы

137

Таким образом, последовательность {Л„} сходится к опе­ ратору Гильберта — Шмидта А с ядром

Со

R (і, s) = У ф,„ (0 фт (s).

Но оператор Л не может быть ядерным, поскольку

щ, ф*] = lim [Апф*. ф*] = ~ .

С другой стороны, его ядро может быть непрерывным. Например, пусть Т1= Т2= \ и

Фа(і) = Фа(0 = ехр 2яikt.

Тогда можно (по классической схеме Карлемана, см. [4]) найти непрерывную функцию

оо

f (t) = 2 Ck exp 2nikt,

о

ряд в правой части сходится в среднеквадратическом на отрезке [0,1] и

 

оо

. . .

21 СА1= оо-

Полагая

0

со

 

R(t, s) = / (t —■s) = 2 ck (exp 2nikt) (exp — 2niks),

видим, что функция R(t, s) непрерывна в прямоуголь­ нике 0 t ^ 1, а обозначая соответствующий оператор . через А, получаем

 

S i И ф'а. Фа] l= = S rC fc|= o o .

 

о

о

Если Я[ =

# 2> т0

особый интерес представляет част­

ный случай,

когда

А — ядерный оператор. Так полу­

чается, например, когда ядро (с вещественными значе­ ниями) R{t, 0), 0<Js, t ^ . T , является корреляционной

138

Глава 3

функцией, т. е. для любых at и любых tt

тт

И

R(t, s) = R(s, О-

Предположим еще, что функция R(t, s) непрерывна на [О, Т] X [О, У]- (Если R (t, s) = R (t s), то уже из одной измеримости этой функции вытекает ее непрерыв­ ность.) Тогда ясно, что А — самосопряженный оператор

Гильберта — Шмидта.

Кроме того, для непрерывных

функций ф

 

m m

Ф (ti) R (t i , tj) Ф (//) (А ti) ( А t,) > О,

И ф , ф] = ІІГП 2 2

а так как множество непрерывных функций плотно в пространстве всех функций и оператор А непрерывен, то для каждой функции ф из Н

[Лф, ф ]> 0 .

Пусть теперь Хп — ненулевые собственные значения опе­ ратора А, а ф„ — соответствующие им ортонормальные собственные функции. Тогда Хп > 0, а пространство, натянутое на {ф„}, совпадает с множеством значений оператора А. Положим

П

Rn З) = 2 ^тфт (О фm (®)і

1

а через Ап обозначим оператор с этим ядром. Тогда оператор Л„ ядерный (поскольку он вырожден: имеет конечномерное множество значений) и

П

tr Rn = 2 V I

Более того,

оо

[(Л — Ап) ф, ф ]= 2 Кп [ф> Ф/,.Р<

л-И

< sup

II ф IP —>- 0 при

OOj

Соседние файлы в папке книги из ГПНТБ