Материал: Функциональный анализ

указанном продолжении функционала на линейную оболочку конуса может получиться уже неограниченный функционал. При условии нормальности конуса каждый ограниченный, аддитив­ ный и однородный на К функционал f(x) мажорируется на б о ­ нусе К некоторым линейным непрерывным положительным функционалом, т. е. существует Ф(х) е К' такой, что

Л и т е р а т у р а : [262], [263].

5.Сходимость последовательности положительных функцио­

налов. Говорят, что ненулевой функционал /е /С ' отвечает точке Хо е К> если f(x0) =* 0. Ненулевую точку х0е К называют точкой гладкости (конуса /С), если ей отвечает единственный (с точно­ стью до множителя) функционал.

В случае, когда К — конус неотрицательных функций про­ странства С(0, 1), точками гладкости являются те и только те неотрицательные функции, которые принимают нулевое значе­ ние лишь в одной точке. Если x0(t) —точка гладкости и x0(to) — = 0, то Хо(t) отвечает функционал

f(x) = x(t0) (*(/)€= С (0, 1)).

В конусе неотрицательных функций пространства Ьр[0, 1] то­ чек гладкости нет.

Положительные функционалы /о, отвечающие точкам глад­ кости, обладают следующим замечательным свойством.

Пусть положительный линейный функционал /о отвечает точ­ ке гладкости Хо конуса К и Xi — такая точка пространства Еу что fo(xi) Ф 0. Пусть последовательность положительных линей­ ных функционалов fn имеет равномерно ограниченные нормы и удовлетворяет соотношениям

Тогда последовательность /п слабо сходится на всем про­

Следствием из этого утверждения является предложение:

пусть конус К телесен, а монотонная последовательность линей­ ных функционалов сходится в двух точках хо и хи первая из которых является точкой гладкости конуса К, а вторая — вну-

трепней точкой К- Тогда последовательность функционалов схо­ дится на всем пространстве Е.

Например, пусть в пространстве С(0, 1) с конусом неотрица­ тельных функций х0 = Хо(t) — неотрицательная функция, обра­ щающаяся в нуль лишь в одной точке fo, a xt = xi(t) = 1. Если последовательность положительных линейных функционалов /п удовлетворяет условиям

Нш f n ( x ) = x { t 0).

П- > ОО

§3. Линейные положительные операторы

1.Понятие положительного оператора. Пусть Еи Е2— бана­ ховы пространства с конусами Ки Кг соответственно. Линейный оператор А, действующий из Еi в Е2, называется положитель­

ным, если он преобразует конус Ki в конус КгAKi cz Кг- Поло­ жительный линейный оператор обладает свойством монотонно­ сти: для любых элементов х, у Е из х < у вытекает, что Ах

<Ау.

Если конус Ki cz Ei является воспроизводящим, а конус Кг cz cz Ег нормальным, то каждый линейный положительный опера­ тор A(Ei-+E2) непрерывен. В частности, каждый линейный опе­ ратор А(Е-+Е), оставляющий инвариантным воспроизводящий и нормальный конус К, непрерывен. В дальнейшем под линей­ ным положительным оператором понимается непрерывный опе­ ратор.

В случае конечномерных пространств с конусом, составлен­ ным из векторов с неотрицательными компонентами, линейные положительные операторы определяются матрицами с неотрица­ тельными элементами.

Важным примером линейных положительных операторов, дей­ ствующих в различных пространствах функций, являются линей­ ные интегральные операторы

Л ф ( t ) = K(t,J s)y(s)ds

Q

с неотрицательными ядрами K(t,s) (t, s ^ й ; —й ограниченное замкнутое множество конечномерного пространства). Если ядро K{t,s) удовлетворяет условиям, при которых оператор дей­ ствует в соответствующем пространстве, то при конусе К

398 ГЛ. VIH. ОПЕРАТОРЫ В ПРОСТРАНСТВАХ С КОНУСОМ

неотрицательных функций этот оператор является линейным по­ ложительным оператором в данном пространстве.

Если конус К телесен и для каждого ненулевого х ^ К най­ дется такое п = п(х)1 что Апх является внутренним элементом конуса, то оператор А называется сильно положительным.

Если интегральный оператор действует в пространстве С и некоторая итерация ядра K(t,s)

если для каждого ненулевого х<=К можно указать такое на­ туральное п = п(х) и такое положительное число а = а(х), что аио<^Апх. Оператор А называется ио-ограниченным сверху,

ляют интегральные операторы, ядра которых являются функ­ циями Грина некоторых краевых задач для дифференциальных операторов. Так, функция Грина G(t, s) первой краевой задачи для уравнения эллиптического типа второго порядка (при есте­ ственных предположениях относительно гладкости границы об­ ласти и коэффициентов) является и0-положительным операто­

ратор будет ^-ограниченным снизу (w0 = Ho(0)- При этом оператор может не обладать свойством и0-ограниченности сверху.

Оператор А называется и0-непрерывным, если он преобразует каждую сходящуюся по норме пространства Е последователь­ ность в последовательность, сходящуюся по По-норме.

Всякий аддитивный, однородный, положительный и ио-огра- ниченныюв пространстве Е оператор А обладает тем свойством,

что некоторая его степень А п° является и0-непрерывным опе­ ратором.

Элемент и0е К называется квазивнутренним элементом ко­ нуса К, если f(uo) Ь>0 для каждого ненулевого f е/С '. В случае телесного конуса К множество квазивнутренних элементов сов­ падает с множеством внутренних элементов К . В сепарабельном пространстве каждый почти воспроизводящий конус содержит квазивнутренние элементы, в несепарабельном пространстве не каждый воспроизводящий конус имеет квазивнутренние эле­ менты.

Ли т е р а т у р а : [33], [258], [268].

2.Неразложимые операторы. Пусть конус К с= Е содержит квазивнутренние элементы. Линейный положительный оператор

Аназывается неразложимым, если каждый элемент х ^ К , х Ф в у

удовлетворяющий при некотором а > 0 соотношению а х ^ А х , является квазивнутренним элементом конуса /С.

В случае конечномерных пространств с конусом, составлен­ ным из векторов с неотрицательными компонентами, неразложи­ мые операторы определяются неразложимыми матрицами с не­ отрицательными элементами.

Каждый сильно положительный или ^-ограниченный снизу оператор, в случае,. когда п0-квазивнутренний элемент /С, яв­ ляется неразложимым оператором. В случае интегрального опе­ ратора с непрерывным неотрицательным ядром и связной об­ ластью интегрирования £2 неразложимость эквивалентна силь­ ной положительности. В случае несвязного множества £2 класс неразложимых интегральных операторов с неотрицательными ядрами шире класса сильно положительных интегральных опе­ раторов.

Для неразложимости линейного интегрального оператора с непрерывным неотрицательным ядром K(t, s) и связной об­ ластью интегрирования £2 необходимо и достаточно, чтобы при любом разбиении множества £2 на два непустых непересекаю- щихся множества F и Q, из которых F замкнуто, для некоторых to ^ F и SQ^ Q выполнялось неравенство К (t0, s0) > 0.

Для неразложимости интегрального оператора, ядро кото­ рого неотрицательно и суммируемо на £2 X Й, действующего

400 ГЛ VIII. ОПЕРАТОРЫ В ПРОСТРАНСТВАХ С КОНУСОМ

в одном из пространств LP(Q) (1 ^ р < оо), необходимо и до­ статочно, чтобы выполнялось одно из двух условий:

1) при любом разбиении множества £2 на два непустых непересекающихся измеримых множества Q\ и Q2 ненулевой меры существует такое измеримое подмножество й с Q( X Q2>mes © >

вой меры существуют такое множество й с : Qj X Q2» mes w > 0,

Ли т е р а т у р а : [270], [271], [281], [282].

3.Спектральные свойства положительных операторов. Пусть

А— положительный линейный оператор, г(А) — спектральный

радиус оператора А, /?х = ( K I — Л)-1 — резольвента опера­ тора А.

Если для некоторого элемента х0, принадлежащего линейной оболочке К, выполняется при некотором m и а > 0 соотношение

пг

Л?пх0 > а * о , то г (Л )^ У ’а , т. е. оператор Л имеет ненулевые точки спектра.

Если конус К — воспроизводящий и нормальный и г(А) > 0, то.число Ко = г(А) принадлежит спектру оператора Л. Послед­ нее утверждение не имеет места (даже при телесном конусе /С ), если конус К не обладает свойством нормальности. В случае телесного и нормального конуса К и г(А) > 0 число г (А) яв­ ляется собственным значением сопряженного оператора Л', при­ чем этому собственному значению отвечает по крайней мере один собственный вектор, принадлежащий сопряженному конусу К'. Аналогичное утверждение имеет место и для нормального конуса, если при этом оператор Л является ^-ограниченным в пространстве Е.

Если конус не является нормальным, аналогичными свой­ ствами обладает частичный спектральный радиус р(Л), опреде­

Пусть Е — банахова структура и Л — положительный нераз­ ложимый оператор, у которого спектральный радиус положите­