56 |
ГЛ. I. |
ОСНОВНЫЕ п о н я т и я |
Если, |
например, ядро |
K(t>s) непрерывно, то этот линейный |
оператор определен на всем пространстве С(0, 1) и отображает его в некоторую часть пространства С(0, 1).
В пространстве С(0, 1) можно рассматривать линейный опе ратор дифференцирования: Ax(t) = x'(t), определенный на не прерывно дифференцируемых функциях: D (A )= 0^(0, 1). Об ластью значений этого оператора будет все пространство С(О, 1). Если этот оператор расширить на совокупность абсолютно не прерывных функций, то его областью значений будет простран ство Li(0, 1). В теории обобщенных функций оператор диффе ренцирования расширяется на все пространство С(0, 1), при этом он отображает пространство С (О, 1) в некоторое простран ство обобщенных функций.
Для линейных операторов, отображающих линейную систему Е в линейную систему F, естественным образом вводятся
операции |
сложения и умножения на |
число. |
По определению |
А = aiAi + а,2А2 есть оператор, для которого |
|
||
|
Ах = аХА\Х + а2А2х |
(х е Е). |
|
Пусть теперь Е и F —два линейных нормированных прост |
|||
ранства. |
Оператор А называется непрерывным в точке х0е |
||
е£ )(Л ), |
если из хп -+хо (хп е /)(Л)) |
следует |
Ахп ->Ахо. Если |
оператор А определен и непрерывен в каждой точке простран ства £, то его называют просто непрерывным оператором из Е в F.
Линейный оператор, определенный в £, называется ограни ченным, если
II Ах \\р^ С|| х \\Е,
где С не зависит от выбора ^ е £ .
Для того чтобы линейный оператор, действующий из Е в F, был непрерывным, необходимо и достаточно, чтобы он был огра ниченным.
Наименьшее из чисел С в предыдущем неравенстве называет ся нормой оператора А и обозначается так: \\A \\E -*F - Е сли F сов падает с Е, то пишут просто ||Л||. Из определения следует
И 11/7->/7 = sup -II И| |
= sup || Ах \\Р. |
х<=Е |
IIX IIJS—1 |
Если пространство Е разложено в прямую сумму двух под пространств: Е = Mt®M2, то можно определить линейный опе ратор Pi равенством
РхХ— Х{ (* = *! +*2, Хх^ М и Х2^ М 2).
Оператор Pi ограничен и р\ = Р х. Всякий линейный опера тор Р\у обладающий этими двумя свойствами, называется проеъ-
§ 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
57 |
тором. Каждому проектору отвечает разложение Е в прямую сумму: Е = Pi£® (/ — Pi)E.
, Л и т е р а т у р а : [23], [27], [39].
2. Примеры линейных ограниченных операторов.
1) О п е р а т о р ы в к о н е ч н о м е р н ы х п р о с т р а н с т -
в а х. |
Всякий линейный |
оператор Л, заданный |
матрицей (а^) |
||
в банаховом пространстве Еп, является ограниченным. Норма |
|||||
его зависит от той нормы, которая введена |
в пространстве. |
||||
Если ввести норму |
|
|
|
|
|
|
|x||= m ax||« -|, |
то |
| | Л | | = ш а х |
2 |
\aik |. |
Если |
i |
|
1 < i < / z |
fe=l |
|
|
|
|
|
|
|
|
И 1 = 2 | Ы > |
то |
II Л 11= max |
2 |
I a ik |. |
|
i= 1 |
|
1 |
|
|
Если |
ввести евклидову |
норму |
|
|
|
|
11*11= 1 / |
2 ll< I2. |
то II A 11= V vu |
|
||||
|
v |
i—l |
|
|
|
|
|
|
где pi — наибольшее |
собственное |
число |
матрицы АЛ' |
(здесь |
||||
А' = (ahi) ). Если матрица |
(aik) |
симметрична, то V\l*= |
^\y где |
|||||
— наибольшее собственное число матрицы. |
линейный инте |
|||||||
2) И н т е г р а л ь н ы е |
о п е р а т о р ы . |
Если |
||||||
гральный оператор с непрерывным ядром K{t,s) |
рассматривать |
|||||||
как оператор из С(0, 1) в С(0, 1), то он ограничен и |
|
|||||||
|
|
|
|
1 |
|
|
|
|
|
Mlk-*c = |
max |
J l ^ ( f>S) \ds• |
|
|
|||
|
|
|
o<*<i |
i |
|
|
|
|
Этот же оператор, как ограниченный оператор из Li(0, 1) в |
||||||||
Li(0, 1), имеет норму |
|
|
|
|
|
|
|
|
|
IIА I |
= |
max |
J I к (*>«) IdL |
|
|
||
|
|
1 |
0 < s < l |
|
|
|
|
|
3) |
Д и ф ф е р е н ц и а л ь н ы е |
о п е р а т о р ы . Линейные диф |
||||||
ференциальные. операторы, рассматриваемые как операторы в одном и том же пространстве, как правило, являются неограни ченными. Так, оператор производной не является ограниченным в пространстве С(0, 1); если же его рассматривать как оператор из (^(О, 1) в С(0, 1), то он ограничен и его норма равна 1.
Аналогично линейный дифференциальный оператор /-го по рядка с непрерывными коэффициентами можно рассматривать как ограниченный оператор из С®(0,1) в С (0,1).
S8 |
fJI. I. ОСНОВНЫЕ понятия |
Для изучения линейных дифференциальных операторов в ча^ стных производных обычно привлекаются либо пространства
Гельдера (классический подход), либо пространства Wlp. Так, эллиптический оператор второго порядка
А х = - J |
+ |
+ |
/, /«1
определенный в и-мерной области G, обычно рассматривается
как ограниченный оператор из пространства WI{G)B простран ство L2(G).
Ли т е р а т у р а : [23], [30], [39].
3.Сходимость последовательностей операторов. Пусть {Ап} — последовательность ограниченных линейных операторов, дейст вующих из линейного нормированного пространства Е в линей ное нормированное пространство F.
Последовательность |
{Ап} |
называется |
сходящейся |
по |
норме |
|
к линейному ограниченному |
оператору |
Л0 из |
Е |
в F, |
если |
|
Пт || Л0- Л я 11^ = 0. |
|
|
|
|
|
|
П->ОО |
{Ап} |
называется |
сильно |
сходящейся к |
||
Последовательность |
||||||
оператору Л0, если lim || А0х — Апх ||f = 0 при любом х е £ .
П -> оо
Последовательность {Ап} называется слабо сходящейся к опе ратору Ло, если при любом последовательность {Апх} слабо сходится к А0х.
Из сходимости по норме следует сильная сходимость, из силь ной— слабая. Обратные утверждения, вообще говори, непра вильны.
Если последовательность {Ап} сильно сходится к Л0 й нормы операторов Ап ограничены в совокупности: II Ап \\Еш+р
(п = 1,2, ...), то оператор Л0 также является линейным ограни ченным оператором и
II Ло IIE->F ^ Пт || Ап П->оо
В случае, когда Е является банаховым пространством, по следнее утверждение значительно усиливается: если последова тельность ограниченных линейных операторов Лп, действующих из банахова пространства Е в линейное нормированное прост ранство F, сильно сходится к оператору Л0, то нормы операторов ограничены в совокупности, и следовательно, оператор Л0 также ограничен.
Доказательство этого факта основано на п р и н ц и п е р а в н о м е р н о й о г р а н и ч е н н о с т и : пусть на банаховом прост
§ 5. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
59 |
ранстве Е определено семейство неотрицательных непрерывных функционалов фа (х) ( а ^ Л ) , обладающих свойствами:
1) |
Фа(Х + У)< Фа(*) + Фа(У)> |
|
2) |
Ф а(М =1М фаМ - |
|
Если для |
каждого х ^ Е числовое |
множество {фсг(х)}а€=д |
ограничено, то существует константа С такая, что |
||
|
ФаМ < С || х || ( а е |
А). |
Для того чтобы последовательность ограниченных линейных операторов, действующих из банахова пространства Е в бана хово пространство F, сильно сходилась к некоторому линейному ограниченному оператору, необходимо и достаточно, чтобы: 1) нормы операторов Ап были ограничены в совокупности; 2) по следовательность {Апх'} была сходящейся при любом х* из не которого всюду плотного множества D с= Е.
Последняя теорема имеет многочисленные применения в во просах, связанных со сходимостью и суммируемостью рядов и интегралов, сходимостью интерполяционных процессов, процес сов механических квадратур и т. п.
Л и т е р а т у р а : [23], [39].
4. Обратный оператор. Пусть линейный оператор А отобра жает линейную систему Е в линейную систему F. Если оператор А обладает тем свойством, что Ах = 0 только при х = 0, то каждому у из области значений /?(Л) оператора А соответствует только один элемент х, для которого у = Ах (решение уравне ния у — Ах единственно). Это соответствие можно рассматри вать как оператор В, определенный на R (Л) со значениями, за полняющими Е. Оператор В —линейный. По определению ВАх = х, поэтому оператор В называется левым обратным к Л.
Если R(A) = Ft т. е. оператор А устанавливает взаимно од нозначное соответствие между £ и F, то оператор В определен на всем В, называется просто обратным оператором .к А и обо значается через Л-1. По определению
А~1Ах — х (х<=£) и АА~ху — у (y^F) .
Одним из глубоких фактов теории банаховых пространств яв ляется следующее утверждение.
П р и н ц и п о т к р ы т о с т и о т о б р а ж е н и я : при непре рывном линейном отображении банахова пространства Е на ба нахово пространство F образ каждого открытого множества есть снова открытое множество.
Из этого принципа вытекает важное следствие.
60 ГЛ. I. ОСНОВНЫЕ п о н я ти я
Если линейный ограниченный оператор Л, отображающий ба нахово пространство Е на все банахово пространство F, имеет обратный Л-1, то оператор Л-1 ограничен. (С. Банах) .
Эти утверждения перестают быть верными, если отказаться от полноты одного из пространств Е или F.
Теорема об обратном операторе, другими словами, означает, что из существования и единственности решения уравнения
Ах = у
при всякой правой части из F следует непрерывная зависимость решения х = А~{у от правой части у.
Если ограниченный линейный оператор Л из банахова про странства Е в банахово пространство F имеет обратный, то и близкие к нему линейные ограниченные операторы имеют об ратные: если
\В "E-+F 1 - 1
то оператор В имеет обратный В~1.
Ли т е р а т у р а : [23], [30], [39].
5.Пространство операторов. Алгебра операторов. Пусть
L(E,F)— совокупность всех линейных операторов, отображаю щих линейную систему Е в линейную систему F. Как отмечалось
вп. 1, для операторов из L(E,F) естественно вводятся понятия сложения и умножения на число. Таким образом, L(E,F) яв ляется линейной системой.
Если Е и F нормированы, то1множество L(E,F) всех линей ных непрерывных операторов может быть нормировано с по мощью ^AWg^p. Если F полно, то L(E,F) банахово.
Если рассматривать операторы, определенные и действующие в одном и том же пространстве £, то для них можно также вве сти операцию умножения: по определению Л = AIA2, если
Ах = Ах( А 2х ).
Умножение, вообще говоря, некоммутативно: возможно, что AiA2¥= A2AI. Если Л1Л2 = Л2Ль то говорят, что операторы ЛАи Л2 перестановочны.
Если Ль Л2е ! ( £ , £ ) , то и Л e L (£, Е ), причем
M I K M H III л2||.
Если в линейном нормированном пространстве введена опе рация умножения х-у так, что оно становится алгеброй и
т |
IU -*/IK IU IIII*/ll, |
то оно называется нормированной алгеброй (см. гл. VII).