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

posobie-fa-2015

.pdf
Скачиваний:
65
Добавлен:
16.03.2016
Размер:
573.03 Кб
Скачать

12.2. Путь

X – линейное нормированное пространство,

f

2

X ; f = 0; C

2 P

. Доказать, что

 

 

̸

 

 

 

 

 

 

(x0

; f 1(C)) =

jf(x0) Cj

:

 

 

 

 

 

 

f

12.3.Найти продолжение линейного непрерывного функционала с одномерного подпространства в двумерном вещественном нормированном пространстве с сохранени-

ем нормы:

1)

1

22; X0 = fx 2 R2 : 2 = 2 1g;

x = 8 12 +

 

4

 

f0(x) = 6 1;

 

2)

x = maxfj 1j; j 1 2 2jg; f0(x) = 2;

 

а) X0 = fx 2 R2 : 2 = 3 1g;

3)

б) X0 = fx 2 R2 : 2 = 1g;

x = j 1 + 2j + j2 1

4 2j; f0(x) = 9 1;

 

а) X0 = fx 2 R2 : 2 = 0g;

 

б) X0 = fx 2 R2 : 1

2 2 = 0g:

12.4.Указать условие единственности продолжения (с сохранением нормы) функционала с одномерного подпространства двумерного вещественного нормированного пространства.

12.5.Доказать, что норма линейного непрерывного функционала достижима тогда и только тогда, когда достижимо расстояние от нуля до гиперплоскости f 1(1):

12.6.Пусть f 2 X ; f ≠ 0: Доказать, что Ker f – замкнутое линейное многообразие, codim Ker f = 1:

12.7.Пусть f – неограниченный линейный функционал, заданный на всюду плотном линейном подмножестве нормированного пространства X: Доказать, что Ker f

плотно в X, codim Ker f = 1 на D(f):

131

12.8.В пространствах C[0; 3] и L1[0; 3] найти расстояние от элемента x0 до гиперплоскости M: Достижимо ли это расстояние?

a) M = {x : 03 x(t) dt = 1} ; x0 = 2t;

б) M = {x : 02 t x(t) dt

23 t x(t) dt = 0} ; x0 = t2:

12.9.В линейном нормированном пространстве X найти расстояние от элемента x0 до множества M:

a) X = L2[0; 1]; M = {x(t) : 0

1

 

 

1

 

 

t 3 x(t) dt = 0} ;

 

x0(t) = t;

 

 

 

M = {x(t) : x(0) + 0

1 x(t) dt = 2} ;

б) X = C[0; 1];

в)

x0(t) = cos t;

 

{

 

 

 

 

 

}

x0(t) = sin t;

 

 

 

 

 

 

 

X = C[0; 1];

M = x(t) : x(0) = x(1) ;

г)

[

 

 

 

 

 

]

 

 

 

 

 

 

X = L1

 

3

;

3

; x0(t) = t + 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

M = {x(t) :

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

x(t) sin t dt > 1} ;

 

 

 

 

 

 

 

 

 

1

n

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д) X = 1; M = {x : n=1

n + 1

n 6

2

} ;

 

1

 

1

 

 

 

 

 

 

 

 

 

x0 = {

 

 

}n=1 ;

 

 

 

 

 

 

n2

1)n

 

 

 

 

 

 

 

 

 

 

 

1 (

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е) X = c0; M = {x :

 

2n

n = 1} ;

 

 

 

 

1

 

n=1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

x0 = {

 

 

}n=1 :

 

 

 

 

 

 

3n

 

 

 

 

 

132

12.10.Исследовать на сильную и слабую сходимость в c0 и p последовательность элементов xn = f nkg1n=1:

12.11.При каких a > 0 последовательность ftng1n=1 сходится сильно в C[0; a]; при каких – слабо?

12.12.Показать, что последовательность xn(t) = sin nt не сходится сильно в L2[0; ] и в C[0; ]: Сходится ли она слабо?

12.13.Доказать, что последовательность элементов

n

>

 

 

1

 

 

 

1

 

 

 

>

 

 

 

 

 

 

 

x (t) =

8

n;

t 2

[0; np ] ;

 

>

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

<0;

t 2 (np ; 1] ;

слабо сходится в Lp[0; 1]; 1 < p < 1; а сильно не сходится.

12.14. Исследовать на сильную, слабую и слабую сходи-

мость последовательность функционалов fn 2 X ; если

a) X = L2[ ; ]; fn(x) =

x(t)eintdt;

 

 

 

 

б) fn(x) = n,

X = c0 и

X = p (1 < p < 1);

n

n

 

 

 

 

в) fn(x) = n=1

n

; X = p

(1 < p < 1):

12.15. Пусть ffng X : Указать связь между различными видами сходимости: сильная, слабая и слабая. Показать, что они, вообще говоря, не эквивалентны.

12.16. Пусть X = C1[ 1; 1]; " > 0; f"(x) = 21"(x(") x( ")), f(x) = x(0): Доказать, что f" слабо сходится к f при

" ! 0; а сильно не сходится.

Тема 13. Сопряженные операторы

Пусть X – линейное нормированное пространство, x 2 X , значение функционала x на элементе x будем обозначать

x; x , т. е. x; x x (x).

Определение 13.1. Пусть X; Y – линейные нормированные пространства, A 2 L(X; Y ). Сопряженным к A называется оператор A : Y ! X , который функционалу y 2 Y ставит в соответствие функционал (A y ) 2 X по правилу

x; A y = Ax; y ; x 2 X:

(13.1)

Известно, что A 2 L(Y ; X ) и A = A .

Определение 13.2. Пусть H1; H2 – гильбертовы пространства, A 2 L(H1; H2). Эрмитово сопряженным к A называется оператор A : H2 ! H1, действующий по правилу

(x; A y) = (Ax; y); x 2 H1; y 2 H2:

(13.2)

Если A 2 L(H1) совпадает с A , то A называется самосопряженным или эрмитовым.

Известно, что A 2 L(H2; H1) и A = A . Подчеркнем, что в отличие от сопряженного оператора эр-

митово сопряженный оператор действует в исходных пространствах H2, H1, а не в сопряженных к ним.

При решении задач удобно работать не в самих сопряженных пространствах, а в изоморфных им пространствах функций или последовательностей, см. теоремы 12.3, 12.4. Пусть – изоморфизм X на X, а – изоморфизм Y на Y . Сопоставим оператору A : Y ! X оператор A: Y ! Xпо формуле

Ay= A 1y; y2 Y :

Положим y= y , тогда Ay= A y и

A y = 1Ay ; y 2 Y ;

т. е. A = 1A:

134

Если H1; H2 – гильбертовы пространства, e – сопряженнолинейная изометрия H1 на H1, описанная в теореме 12.5, а e – соответствующая сопряженно-линейная изометрия H2 на H2, то A = e 1A e:

* Ответы к задачам даны в терминах Aи X, Y , соответствующие изоморфизмы , описаны в теоремах 12.3, 12.4. В том случае когда оба пространства гильбертовы, в ответе приведен эрмитово сопряженный оператор.

Пример 13.1. Пусть A: L5[0; 1] ! L3[0; 1], (Ax)(t) = etx(t). Найти сопряженный оператор.

Решение. Оператор A действует из (L3[0; 1]) в (L5[0; 1]) . По теореме 12.4 пространство (L5[0; 1]) изоморфно простран-

ству L5=4[0; 1] (

1

+

 

4

 

= 1), а пространство (L5[0; 1]) – про-

5

5

 

странству L5=4[0; 1]

(

1

+

4

= 1), т. е. существуют линейные

 

 

5

5

изометрии , , переводящие (L3[0; 1]) на L3=2[0; 1] и (L5[0; 1]) на L5=4[0; 1] соответственно. Таким образом, можно изобразить схему

x 2

L5[0; 1]

!A

L3[0; 1]

Ax

x = A y 2

(L5[0; 1])

A

(L3

[0; 1])

y

 

 

?

A

 

?

 

 

 

2

5=?

 

 

?

 

 

A y = Av

y

 

 

y

y = v

 

L 4[0; 1]

 

L3=2[0; 1]

 

Сопряженный оператор определяется с помощью равенства (13.1). Зная общий вид линейного функционала в про-

странстве L3=2[0; 1], можем записать

 

 

 

Ax; y = 0

1

(Ax)(t) ( y )(t) dt = 0

1 etx(t)v(t) dt:

(13.3)

С другой стороны, в пространстве L5=4[0; 1]

 

x; A y = 0

1 x(t)( A y )(t) dt = 0

1 x(t)(Av)(t) dt:

(13.4)

 

 

 

 

 

 

135

Подставив в (13.1) правые части (13.3) и (13.4), для всех x 2 X получим равенство

0

1 x(t)etv(t) dt = 0

1 x(t)(Av)(t) dt:

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Av)(t) = etv(t):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

Пример 13.2. Пусть A: 2 ! ℓ23, Ax = ( 1 2; 5 +3 3; 6),

x = ( 1; 2; : : :): Найти сопряженный оператор.

 

 

 

 

Решение.

Пространства

2

и

3

являются

гиль-

бертовыми,

поэтому

ищем

 

2

 

 

сопряжен-

эрмитово

ный оператор

A . Схема

в

 

этом

случае

имеет

вид

x = ( 1; 2; : : :) 2 ℓ2 !A

 

32 Ax = ( 1; 2; 3)

( 1; 2; : : :) = A y 2 ℓ2

 

A

 

23 y = ( 1; 2; 3)

 

 

 

 

 

Применяем формулу (13.2):

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Ax; y) =

k

k

= ( 1

 

2)

1

+ ( 5 + 3 3)

2

+ 6

3

=

k=1

=1 1 + 2( 1) + 33 2 + 5 2 + 6 3 =

1

=k k = (x; A y):

k=1

Таким образом,

A y = ( 1; 1; 3 2; 0; 2; 3; 0; 0; : : :):

,

Пример 13.3. Пусть A: L2(R) ! L2(R), (Ax)(t) = x(t + t0), t0 2 R: Найти сопряженный оператор. Является ли A самосопряженным?

136

Решение. Пространство L2(R) является гильбертовым.

В этом случае

 

ищем

 

эрмитово

сопряженный оператор

A : L2(R) ! L2(R) по формуле (13.2):

 

(Ax; y) = 1

(Ax)(t)

 

 

dt = 1 x(t + t0)

 

dt =

 

y(t)

y(t)

 

= 1 x(t)

 

dt = (x; A

y) = 1 x(t)(A y)(t)

dt:

y(t t0)

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A y (t) = y(t t0):

 

Если t0 = 0, то A

 

=(A и

A

 

 

 

 

 

,

 

) – не самосопряженный.

 

̸

 

 

̸

 

 

 

 

 

 

 

 

 

Пример 13.4. Пусть оператор A действует из простран-

ства L2[0; 1] в пространство L2[1; 3] по правилу

 

 

 

(Ax)(t) = 0

1

(t + es)x(s) ds:

 

Найти сопряженный оператор.

 

 

 

 

ремы Фубини [4, гл. V, § 6, теорема 5]

 

(Ax; y) = 13(Ax)(s) y(s) ds =

13 (∫01(s + e )x( ) d ) y(s) ds =

Решение. Эрмитово сопряженный оператор A находим по

формуле (13.2). Он действует из пространства L2[1; 3] в L2[0; 1].

Пусть x 2 L2[0; 1], а y 2 L2[1; 3]. Имеем с использованием тео-

3 (∫ 1 )

= (s + e )x( )y(s) d ds =

11 (∫03 )

= (s + e )x( )y(s) ds d =

0 1

1 (∫ 3 )

= x( ) (s + e )y(s) ds d = (x; A y) =

01 1

=x( )(A y)( ) d :

0

137

Отсюда

3

 

 

 

 

(A y)(t) = (s + et)y(s) ds:

,

 

1

 

+ В задачах 13.1–13.20 найти сопряженный оператор. Выяснить, является ли исходный оператор самосопряженным в случае, если он действует в гильбертовых пространствах.

13.1. A : 2 ! ℓ22; Ax = ( 1 2; 5 + 3 3).

13.2.A : 2 ! ℓ2; Ax = ( 2; 4; 6; 0; 0; : : :).

1

13.3. A : L2[0; 1] ! L2[ 1; 0]; Ax(t) = et sx(s) ds.

0

13.4.A; B : 2 ! ℓ2,

 

а) Ax = (0; 1; 2; 3; : : :); б) Bx = ( 2; 3; 4; : : :):

 

13.5.

A : 2 ! ℓ2;

Ax = f k kgk1=1;

j kj 6 c:

 

13.6. A : 2 ! ℓ2;

 

 

 

 

 

 

 

 

 

 

 

 

Ax = (2 3

3

 

4

 

 

 

n

; : : :).

 

1; 2 + 4 1; 6 1;

 

 

4;

 

5

; : : : ;

 

n+1

 

4

 

5

n + 1

13.7.

A : L2[ 3; 3] ! L2[ 3; 3]; Ax(t) = t

3

(4st 5s2)x(s) ds.

13.8.

A : 2 ! c0;

Ax = x.

 

 

 

 

 

 

 

 

13.9.A : 1 ! ℓ1; Ax = ( 1 + 2; 3 + 4; 5 + 6; : : :).

13.10. A : L2[0; 1] ! L2[0; 1];

 

 

 

Ax(t) = eitx(t).

13.11. A : L3[0; 1] ! L5[0; 1];

 

 

 

Ax(t) = 0t ts2x(s) ds.

 

 

 

 

 

 

 

 

13.12.

A : L2

[0;

 

] ! L2 [0;

 

 

 

] ; Ax(t) = (3 + cos 2t)x(t).

2

2

 

 

 

 

 

 

 

n

 

m

13.13.

A: pn ! ℓqm, Ax = {

}k=1.

=1 akℓ ℓ

138

 

 

 

 

 

 

 

 

 

13.14.

Ax = ( n n; n+1 n+1; : : :),

f kg 2 m,

 

 

 

 

а) A: 1 ! ℓ4;

б) A: 1 ! c0.

 

 

 

13.15.

A: 2 ! ℓ3,

Ax = (0; 0; 0; 4; 5; 6; : : :).

 

 

(

 

)

 

 

 

 

 

 

 

 

5

 

 

 

3

 

 

 

 

 

 

13.16.

Ax = { =1

2ik + (2 + i)

}k=1,

 

 

 

 

а) A: 35 ! ℓ53;

б) A: 52 ! ℓ23.

 

 

 

13.17.

A: L3[0; 1] ! L3[0; 1],

 

p

 

 

 

 

 

 

(Ax)(t) = x( t).

 

13.18.

A: L4[1; 2] ! L2[2; 3],

(Ax)(t) = cos( t) 1

2 x(s) ds.

13.19.

A: L2(R) ! L2(R), (Ax)(t) = eitx(3t

2).

13.20.

A: 1 ! ℓ2,

Ax = x.

 

 

 

 

 

 

 

 

13.21.

Пусть A; A0 2

L(X; Y ),

B; B0 2

L(H1; H2), C 2

 

L(Z; X), D 2 L(H3; H1), пространства H1; H2; H3 гиль-

 

бертовы. Докажите, что

 

 

 

 

 

 

 

 

( A) = A ;

 

 

 

 

 

 

 

 

( B) = B ;

 

(A 1) = (A ) 1;

 

(B 1) = (B ) 1

 

(если 9 A 1 2 L(Y; X); 9 B 1 2 L(H2; H1));

 

(A + A0) = A + A0;

(B + B0) = B + B0 ;

 

(AC) = C A ;

 

 

(BD) = D B :

Тема 14. Обратные операторы

Определение 14.1. Пусть X; Y – линейные нормированные пространства, оператор A: D(A) X ! Y называется обратимым, если для любого y 2 Im(A) уравнение Ax = y имеет единственное решение.

Если A обратим, то каждому y 2 Im(A) можно поставить в соответствие единственный элемент x 2 D(A), являющийся решением уравнения Ax = y. Оператор, осуществляющий это соответствие, называется обратным к A и обозначается A 1.

Линейный оператор A; действующий из X в Y , обратим

тогда и только тогда, когда

 

Ker A = f0g;

(14.1)

где Ker A = fx 2 X : Ax = 0g – ядро оператора A.

Нетрудно проверить, что если A – линейный оператор и A 1 – обратный к A, то A 1 также линеен.

Теорема 14.1 (Банах. О непрерывности обратного оператора). Пусть X и Y – банаховы пространства, A 2 L(X; Y ); A – биекция X на Y . Тогда существует обратный оператор A 1 и он непрерывен.

Пример 14.1. Выяснить, обратим ли оператор A; действу-

ющий в пространстве X: Если обратим, найти A 1:

t

a)

X = C[0; 1]; (Ax)(t) =

 

x(s) ds:

 

 

 

 

0

 

б) X = p;

Ax = (0; 1; 0; 2; 0; 3; : : :):

в)

X = m;

Ax = ( 1; 2

; 2

; 2

; : : :):

 

 

2

3

4

 

Решение. a) Оператор, заданный формулой

t

(Ax)(t) = x(s) ds;

0

140

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]