УДК 517.988.6+517.988.521
МЕРА НЕКОМПАКТНОСТИ ß В ПРОСТРАНСТВАХ ЛОРЕНЦА
Н.А. ЕРЗАКОВА
Введены геометрические характеристики для произвольного правильного пространства, каковыми являются, в частности, пространства Лебега и Лоренца. Для произвольных подмножеств пространства Лоренца получены неравенства, связывающие меры некомпактности ß и v. В случае компактных по мере множеств доказывается пропорциональность ß и v. Выделен класс уплотняющих операторов, действующих в пространствах Лоренца, относительно ß среди частично аддитивных операторов и, в частности, линейных операторов.
Ключевые слова: мера некомпактности, уплотняющий оператор, пространство Лоренца, пространство Лебега, правильное пространство, частично аддитивный оператор.
Введение
Математические модели, описывающие различные явления естествознания, часто имеют вид уравнения, разрешимость которого равносильна существованию неподвижной точки у соответствующего оператора. Поэтому теория неподвижных точек имеет широкое приложение в серьезных научных исследованиях практически во всех сферах деятельности человека.
Теория мер некомпактности и уплотняющих операторов позволяет, в частности, доказать существование неподвижных точек дифференциальных уравнений в бесконечномерных пространствах, функционально-дифференциальных уравнений нейтрального типа, интегральных уравнений, а также некоторых классов дифференциальных уравнений с частными производными. Основные результаты и главные прикладные аспекты теории изложены в обзорах [ 1; 2].
Результаты данной работы имеют тесную связь с предшествующими работами автора [5 - 11]. Цель данной работы - перенести утверждения с пространств Лебега на "родственные" им пространства Лоренца и получить результаты обобщающего характера для произвольного правильного пространства.
1. Постановка и формализация задачи
Пусть Q - подмножество конечномерного пространства, причем u(Q) < ад, u - непрерывная мера, т.е. всякое подмножество Q можно разбить на два подмножества равной меры.
Пусть Ä(u,h) = u{s е Q :| u(s) |> h} [3]. Рассматриваются пространства Лоренца Л = Л (Q)
ад
/ Pt
(1 < p <<х>) с нормой ||u|| Л = p (u, h)dh .
II IIA p J
Пусть Е - банахово пространство, В(и0, г) = {и е Е : ||и - и0|| < г} обозначает шар в Е с центром в и0 и радиуса г, В = {х е Е : ||х|| < 1}, в - нулевой элемент Е.
Мерой некомпактности Хаусдорфа %Е(и) множества произвольного ограниченного множества и банахова пространства Е называется инфимум всех Б > 0, при которых и имеет в Е конечную б -сеть.
Мера некомпактности в (и) = вЕ (и) подмножества и банахова пространства Е - это точная нижняя грань таких г > 0, что всякое подмножество, расстояние между любыми двумя элементами которого не меньше г , конечно.
Другими словами, мера некомпактности ß(U) = ßE (U) подмножества U банахова пространства E - это точная верхняя грань таких r > 0, что существует бесконечное подмножество, расстояние между любыми двумя элементами которого не меньше r . Пусть ф обозначает ниже х или ß.
МНК (мера некомпактности) ф обладает рядом замечательных свойств [2, 1.1.4], среди которых правильность ф(и) = 0 тогда и только тогда, когда U относительно компактно; полуоднородность ф(Ю) =| 11 ф(и) (t -число); полуаддитивность ф(и1 u U2) = max {ф(и1),ф(и2)} ; инвариантность относительно сдвигов ф(и + b) = ф(и) ( b е E ); алгебраическая полуаддитивность ф(и1 + U2) < ф(и1) + ф(и2); липшицевость ф по метрике Хаусдорфа р (I фкр (U) - фАр (U) |< 2p(U, U1), где p(U, U1) = inf{s > 0 : U1 с U + sB, U с U1 + sB}); инвариантность относительно перехода к замыканию выпуклой оболочки ф{0) = ф(сс0).
Так же как в работах [5 - 11], обозначим через VE(U) меру неравностепенной абсолютной непрерывности норм элементов подмножества U правильного пространства E.
Мера VE(U) обладает всеми вышеперечисленными свойствами ф, за исключением правильности: для относительно компактного множества U справедливо равенство v(U) = 0, но равенство vE (U) = 0 возможно на множествах, не являющихся относительно компактными.
В работах [5; 6] было доказано, что для произвольного ограниченного подмножества U правильного пространства E имеет место xE (U) > vE (U) ; если U к тому же компактно по мере, то xE (U) = vE (U). Ниже будут доказаны аналогичные свойства для ß.
Здесь компактность по мере означает [2, 4.9.1] компактность в нормированном пространстве S всех измеримых почти всюду конечных функций u с нормой
|U| = inf {s + ju{t :| u(t) |> s}}. " s>0
Банахово пространство E вещественных измеримых функций на Q называется идеальным, если выполнено условие: любая измеримая функция u на Q, для которой найдется такая функция v е E, что | u(s) |<| v(s) | почти всюду, также принадлежит E, и справедливо неравенство
HL < HL [4].
Идеальное пространство E называется правильным, если норма обладает свойством абсолютной непрерывности lim \\Pnu\\ = 0. В частности,
ß(D )^0И n IIE
limJ PD (u ,r,H0) HIe =0, (1)
где u0 е E — функция с положительными значениями, называемая условно единицей пространства E, D(u, T,u0) = {s :| u(s) |> Tu0(s)} для произвольного числа T > 0, PDu(s) = u(s), если s е D и PDu(s) = 0, если s £ D .
Определение 1. Пусть S - множество всех последовательностей {un} элементов из E, удовлетворяющих следующим условиям: 1) un, n = 1,2,... имеют попарно непересекающиеся носители; 2) lim HJ = 1; 3) мера носителя стремится к нулю при n ^ j ; 4) существует такая строго
возрастающая последовательность положительных чисел {Tn}, lim Tn = j , что имеет место
неравенство Tnu0(s) <| un(s) |< Tn+1u0(s) для всех n = 1,2,... и s е supp un.
В настоящей работе поставлена задача - получить неравенства, связывающие меры некомпактности ß и v в пространстве Лоренца. В случае компактных по мере множеств доказать
пропорциональность в и V. Найти новый класс в -уплотняющих операторов, действующих в пространствах Лоренца.
2. Неравенства для в и V в правильном пространстве
Пусть cE = inf~ lim lim|
u - u ; c„ = „„ ..........„„ „ .. .
. . ~--. n m\\E > E . . ~ n mllE
{u„ n^x К }eS т^ш п^Ш" "E
inf~ lim limll
Sn \d m_м_^r/v'
u„ - u„
В следующем утверждении предположим, что норма в правильном пространстве Е удовлетворяет условию:
А) для любой ограниченной последовательности {ип} из Е, если последовательность
подмножеств {Dn} из Q, lim ju(Dn) = 0 такая, что lim
PDnUn
= VE {Wn } , т0 VE К } = 0, ГДе
Vn = Un - PDnWn •
Заметим, что условие А) выполняется, в частности, в пространствах Лоренца. Лемма 1. Пусть и - произвольное ограниченное подмножество правильного пространства Е с vE (и) > 0 . Тогда существует такая последовательность {ип} в и , что
Се^ (и) ^ 1ш!ш|ип- иЛЕ.
т^ш п^Ш
Если U компактно по мере, то мы можем выбрать последовательность {un}, дополнительно удовлетворяющую неравенству cEvE(U) > lim lim\ип - u\\E .
Доказательство. Пусть U - произвольное ограниченное подмножество правильного пространства E с vE(U) > 0. В силу утверждений из [5; 6] существует монотонно возрастающая последовательность чисел {Tn}, lim Tn =ш и последовательность функций {un} ^ U, для кото-
рых справедливо равенство vE (U) = lim
PD( T ,u
D(wn ,Tn ,w0) n
Заметим, что (1) влечет lim
PD( T u
D(um ,Tn ,u0)
= 0 для любого фиксированного m . Рассмотрим
такую подпоследовательность (для простоты изложения не меняем обозначение), что
vE (U) = lim
PBWn
, где Dn = {s : Tnu0(s) <| u(s) |< Tn+1u0(s)} . Из ограниченности U следует, что
lim sup ju(D(u, Tn, u0) = 0 . Поэтому lim ¡u(Dn) = 0.
u^U
Переходя к подпоследовательностям, можно предполагать без ограничения общности, что
мера U Dk
достаточно мала, а разность между
vk=n+1 J
ш
PD,un
и
P~ u.
незначительна для
Dn = Dn \ U Dk . В итоге, очевидно, мы получим последовательность {un} ^ U, для которой
k=n+1
справедливо равенство vE (U) = lim
PD,un
и множества Dn попарно не пересекаются.
Заметим, что по предположению А) относительно нормы в Е имеем vE {уп } = 0, где
Vn = un - PDßn . След0вательн0, Hm sup PDm (un - PD„un ) - PD„ (um - PD^m )
k^ш , m n
i,n>k
= 0
lim sup
k ^ш
i.,n>k
PDmun PDnum
= 0.
(2)
Построенная последовательность un = PD un удовлетворяет условиям 1, 3, 4 определения 1. Вместо условия 2 этого определения имеет место равенство lim ~n L = vE (U) .
л—^nn" "E
E
E
E
E
E
E
E
E
Поэтому cEvE(U) < НшНш|\un - um||. Так как E, в частности, идеальное пространство, то
u - u >
Ii п miE
> ||м - u II -
E II n m ||e
Pn и - Pn u„
РВт (ип - ит )
для всех п ф т и в силу (2) сЕУЕ(и) < Нш Нш||ип - ит\Е. Первая часть утверждения леммы доказана.
Заметим, что последовательность {~п} в силу условия 3 стремится по мере к нулю. Так как множество и компактно по мере, то последовательность {ип} ^ и тоже компактна по мере. Отсюда компактна по мере последовательность {ип - ип}.
Как было доказано в [5; 6] в этом случае хЕ {ип - ип} = УЕ {ип - ип} . По предположению А) относительно нормы в Е имеем хЕ {ип - ип} = УЕ {ип - ип} = 0 .
По определению меры некомпактности Хаусдорфа для каждого Б > 0 существует конечная Б - сеть С = {с1, с2,..., см } е Е такая, что {мп - ~п} е С + £В . Так как С конечно, мы можем
выбрать бесконечную подпоследовательность (с тем же обозначением), что {мп - ип} е с* + бВ
для некоторого c* е C . Отсюда
u - u - u - u
|n m|lE ||n m|lE
< 2s.
Устремляя б к нулю и переходя к подпоследовательности, не меняя при этом обозначение,
получим lim lim
u - u - u - u
| n m ||e II n m||E
= 0.
Вторая часть утверждения леммы доказана, так как cEvE (U) > lim lim wn - um I .
Теорема 1. В правильном пространстве E МНК v и ß связаны неравенством ßE (U) > cEvE (U) для любого ограниченного подмножества U ; более того, если U компактно по мере, то cEvE (U) < ßE (U) < cEvE (U).
Доказательство. Если vE (U) = 0, то неравенство ßE (U) > cEvE (U) выполнено, если U компактно по мере и vE (U) = 0, то по критерию компактности в правильном пространстве [3; 4] U относительно компактно и ßE (U) = 0. Таким образом, утверждение теоремы 1 для случая vE (U) = 0 выполнено. Предположим, что vE (U) > 0 . Пусть последовательность {un} такая как в лемме 1. Пусть s > 0 произвольно выбрано. По лемме 2 [11] мы можем предполагать без ограничения общности, что ||un - um || < ßE {un} + s для всех m и n. Отсюда в силу монотонности ß получим ||un - um||E < ßE {un} + s < ßE (U) + s для всех m и n .
Так как s может быть произвольно малым и по лемме 1 cEvE (U) < limlim||un - um||E, то мы
получаем первую часть утверждения теоремы 1.
Пусть и компактно по мере. По определению в для произвольного б > 0 найдется последовательность {нп}, такая что ||®п - а>т\е ^ ве(и) - б для всех п ф т . Следовательно, по лемме 1 мы можем извлечь подпоследовательность {мп} из {нп}, такую что
вЕ (и) - Б < 11ш 11т|| ип - ит\Е < СЕ^Е {Нп } < СЕ^Е (и) ,
что завершает доказательство теоремы, поскольку б может быть произвольно малым. Теорема 2. В пространствах Лоренца Л р имеет место сЛ = сл = 2 при 1 < р < ю .
Доказательство. Так как в силу [3, 15.1] множество всех конечнозначных функций плотно в Л p при 1 < p < ад, то без ограничения общности мы можем предполагать, что S состоит из последовательностей конечнозначных функций.
По определению 1 {un} последовательность таких функций с попарно непересекающимися носителями, что существует строго возрастающая последовательность положительных чисел {Гп}, lim Tn = ад и 7>о(s) <1 un(s) < Tn+1u0(s) Для всех n = 1,2,... и s е supp un.
Имеем | f | = f . Поэтому можно ограничиться рассмотрением функций вида
un = Z , um
i=1
■n m
= Z К С1 > С2 > ... > cn > cn +1 > ... > cn
> c,
= 0, n > m .
In +lm f i Л1'p
По формуле [3, 15.3] ||un - um||Л = Z(ci - ci+1)ß\ UDk . Следовательно,
" V k=1 У
i=1
n ml л
п11л p In+1'
+
/ l y7p l +l
^ U Dk
V k=1 У
f in Л
Z (ci - c+1 U Dk
Л
1/p
i=ln +1
4k=1 У
В силу условия 3 определения 1 lim л U Dk = lim ¡(supp un) = 0 . Поэтому
У!-У!-±CTl
V k=1 У
lim|[
Un - uJ = lim
n m\\ л
1,1 n И-^ПП
ЙЧ ln + lm ff i ^
supp un )1/p )+ Z (ci - ci+1) Л U Dk +^(supp un )
INIл p cl+1'
i=ln +1
\1/p\
V k=ln +1 У
= 1+ ÜL
так как при фиксированном т постоянные с1 +1,...,с1 + не меняются. В итоге
+ НиЛ, )= 2 и сЛ = сл = 2.
т11л „/ —л р Лр
limU - u II = liml1 ■
n mW Л \
n^^ IIJi-p n^ад 4
Следствие. В пространствах Лоренца Лp имеет место неравенство ßyV (U) > 2ул (U) при 1 < p < ад и, в частности, ßk (B) = 2 . Если U компактно по мере, то ßk (U) = 2v k (U) . Обозначим так же как в [3, 15.5] через Tp множество функций u(s) вида
u(s) = (л(D1) + л(D2))-1/p(kDi -kDi),
где D1 и D2 - непересекающиеся подмножества Q, в силу [3, 15.3] с единичной нормой.
Лемма 2. Пусть подмножество U е Tp такое, что ¡(D1) = c и ¡¡(D2) = d для всех u е U для некоторых c > 0 и d > 0. Тогда ßK (U) < max{21/p ,21-1/p } .
Доказательство. По определению ß для каждого s > 0 существует в U последовательность {un} такая, что ßk (U) - s < \un - uA для всех m Ф n . В силу [11, лемма 4] мы можем
р II
предполагать без ограничения общности, что для всех m и n
def
a = ¡{s :| un(s) - um(s) |= 2(л(Д) + ¡(D2))-1/p == 2(c + d)-1/p} < ^¡(supp un n supp um) <
1 2'
c + d 2
Итак, для любых т и и разность ип (5) - ит (5) принимает два ненулевых значения по абсолютной величине (с + d)-1/р на множестве с мерой
2с + 2d - 2^(Бирр ип п Бирр ит ) < 2с + 2d - 4а и 2(с + d)-1/р на множестве с мерой а . Поэтому в силу [3, 15.3]
ln +1
\\ип - и\\ < (2(с + ё)-1/р - (с + ё)-1/р )(а)и р + (с + ё)-1/р (2с + 2ё - 3а)и р.
р
Обозначим через у неотрицательную переменную у = —а— < —. Имеем
с + ё 2
к - «ЛЛ < у17р +(2 - 3у)—/р < шах{2—/р,21-1/р}. р
Действительно, при у = 0 имеем у1'р + (2 - 3у)—/р = 2—/р < шах{2—/р,21-1/р } , при у = — имеем
у—р +(2 - 3у)—/р = 21-1/р < шах{2—/р,21-1/р} . Заметим, что г1р +(1 - 31)—/р < 2 при 0 < г < 1/4, так
( Л17 р ( \1/р
как шах{г17р, (1 - 3г)—/р } < 1. Полагая г = у, получим I у I +11 - 3 у I < 2 . Отсюда
у р + (2 - 3yУ p < 21-1/p < max{217p ,21-1/p }. В силу произвольности выбора s в неравенстве ßA (U) - s < \un - uA получаем утвер-
p II p
ждение леммы 2.
Теорема 3. Пусть U е BL (6, r1) п ВЛ (6, r) для некоторых r1 > 0 и r > 0. Тогда ßKp (U) < max{21/p ,21-1/p }r .
Доказательство. В силу свойства полуоднородности ß достаточно доказать для U е Вк (6,r1) пBAj> (6,1) неравенство ßAj> (U) < max{21/p,21-1/p}. В силу [3, 15.1] U — это подмножество в замыкании выпуклой оболочки функций
u(s) = (м(D1) + ß(DJ) l!p (kDi -kdJ
из Tp. Поэтому из свойства инвариантности ß относительно замыкания выпуклой оболочки, без ограничения общности, можно предположить, что U ^ Тр. По определению меры некомпактности ß для каждого s> 0 в U содержится бесконечная последовательность {un} , для любых различных членов которой справедливо неравенство rnn - uA > ßA (U) -s. В силу
II IIA p p
вложения U е BL (6, r1) и липшицевости ß по метрике Хаусдорфа мы можем предполагать, что {un} состоит из функций, удовлетворяющих предположениям леммы 2. Поэтому ßA {un} < max{21/p ,21-1/p } . По лемме 2 [11] мы можем предполагать без ограничения общности, что ||un - uA < ßA {un} + s для всех m и n . В итоге
II "^p p
ßKp (U) - s < \un - uj|^ < ßKp {un} + s < max{21/p,21-1/p} + s, что в силу произвольности выбора s завершает доказательство теоремы.
3. Мера некомпактности ß операторов в пространстве Л p
Пусть также как в [7-10]
lim apd (u ,T f л k (U, A, Л p (П), Л p (fi)) = sup —-^ < k (B(6, ^ (U)), A, Л p (П), Л p (П)).
II D(u,T) ||Л '
PD(u,T f
Л
Теорема 4. Пусть А - непрерывный частично аддитивный оператор, действующий из Л (О) в Ью (О), сужение которого на Ью (О) вполне непрерывно. Тогда для любого подмножества и из Л (О) мы будем иметь
1-1 -I
>Р О p
влp(AU) < maxj 2p ,2 p ^к(Б(в,Ч(U)), A,Лp(Q),Лp(Q)^(U),
т.е. оператор A является (к, в) - ограниченным и уплотняющим при всех 1 < p < да , если
i ^ J
к (Б(в,Улр (U)), A, Л p (Q), Л p (Q)) < max j 2 p ,2p
Доказательство. Если U не ограничено, то в этом случае вЛ (U) = да и утверждение выполнено. Поэтому без ограничения общности предположим, что U ограничено. Тогда U е {PD(и Т u : и е U}+ рф T u : и е U} для любого T > 0.
В силу предположения о частичной аддитивности оператора A имеем
AU е A\PD(и,т)U : и е U}+ A\p4uJ f : и е U}- А(в). Из алгебраической полуаддитивности в получаем
в Л p (AU) < в Л p ( Ар (и,т )и : и е U J) + вЛ p ( Арф,т )и : и е U j) + вЛ p (A(e)). Имеем вЛ (a{pa(uT)и : и е UJ) = 0, так как сужение оператора на Ьда (Q) вполне непрерывно. Кроме того, вЛ (А(в)) = 0 как на одноэлементном множестве. Поэтому вЛ (AU) < вЛ (A{PD(ит )и : и е UJ) и справедливо включение для любого T > 0
р(ит и : и е U j) и справедливо включение для любого т >
Г и и Л
Ар
D (иТ f : и е
U }е Б
Ш
в, sup
D(и,Т) ||Л
D(и,Т )
и
^0,иеП ||PD(и,Т )и||
- sup PD
иеП
D(U,T )'
и
Имеем
Отсюда а\ро«ти : и е иВ(в,к(В(в, Улр (и)), А, Лр(О), Лр(О))Ч (и)).
вЛр (Аи) < шах{21/р,21-1/р}к(В(в,уЛр (и)), А, Лр(О), Лр(О))^ (и) в силу теоремы 3.
Так как вЛ (и) > 2уЛ (и), то получаем утверждение теоремы 4.
Следствие. Линейный оператор является частным случаем частично аддитивного. Поэтому утверждение теоремы 4 останется в силе для линейного оператора с заменой к(В(в,уКр(и)),А,Лр(О),Лр(О)) на ||А||Ч(и).
Заключение
В данной работе для произвольного правильного пространства Е введены величины геометрического характера сЕ и сЕ, значения которых были подсчитаны ранее в пространствах Лебега, а здесь вычисляются в пространствах Лоренца Л (1 < р < ю) .
Результат получается неожиданный, поскольку значения не зависят от р, в отличие от пространств Лебега.
Кроме того, в настоящей работе было доказано, что для любого ограниченного подмножества и пространств Лоренца справедливы неравенства вЛр (и) ^ 2уЛр (и) . Если и компактно
по мере, то вЛ (и) = 2уЛ (и).
Л
Л
Л
Если и е Бь (в, г1) п Вл (в, г) для некоторых г1 > 0 и г > 0, то получаем оценку для меры
некомпактности в, опять таки, в отличие от пространств Лебега, не зависимую от г1.
Лемма 1 настоящей работы доказана при более слабых предположениях по сравнению с аналогичным утверждением из [12].
Завершает работу утверждение, позволяющее выделить новый класс уплотняющих операторов в пространствах Лоренца.
ЛИТЕРАТУРА
1. Banas' J., Goebel K. Measures of Noncompactness in Banach Spaces, Lect. Notes in Pure and Appl. Math., vol. 60, Marcel Dekker, New York, 1980.
2. Ахмеров Р.Р., Каменский М.И., Потапов А.С. и др. Меры некомпактности и уплотняющие операторы. -Новосибирск: Наука, 1986.
3. Красносельский М.А., Забрейко П.П. и др. Интегральные операторы в пространствах суммируемых функций. - М.: Наука, 1966.
4. Vath M. Ideal Spaces, Let. Notes in Math. 1664, Springer Verlag, Berlin, 1997.
5. Yerzakova N.A. On Measures of Non-Compactness in Regular Spaces // Zeitschrift fur Analysis und ihre Anwendendungen. - 1996. - V. 15. - № 2. - P. 299-307.
6. Ерзакова Н.А. Компактность по мере и мера некомпактности // Сибирский математический журнал. - 1997.
- Т. 38. - № 5. - С. 1071-1073.
7. Ерзакова Н.А. О нелинейных операторах // Научный Вестник МГТУ ГА. - 2009. - № 140. - С. 57-64.
8. Ерзакова Н.А. О разрешимости уравнений с частично аддитивными операторами // Функциональный анализ и его приложения. - 2010. - № 44. - Вып. 3. - С. 69-72.
9. Ерзакова Н.А. О компактных по мере операторах // Известия вузов. Математика. - 2011. - № 9. - С. 44-51.
10. Erzakova N.A. On locally condensing operators // Nonlinear Analysis: Theory Methods& Applications, 75, 2012, № 8, 3552-3557.
11. Ерзакова Н.А. Мера некомпактности в в пространствах Lp // Научный Вестник МГТУ ГА. - 2013.
- № 195. - С. 65-73.
12. Erzakova N.A. Measures of Noncompactness in Regular Spaces // Canadian Mathematical Bulletin. Published electronically on March 25, 2014. [Электронный ресурс] URL: http://dx.doi.org/10.4153/CMB-2014-015-4.
MEASURE OF NON-COMPACTNESS в IN THE LORENTZ SPACES
Erzakova N.A.
Geometric characteristics of regular spaces are determined. Examples of regular spaces are the Lebesgue and Lorentz spaces, in particular. For the Lorentz spaces an inequality for arbitrary subsets, connecting the measures of noncompactness в and v are proved. A new class of в - condensing operators in the Lorentz spaces among partially-additive operators linear operators, in particular, is obtained.
Key words: measure of non-compactness, condensing operator, Lebesgue space, Lorentz space, regular space, par-tially-additive operator.
Сведения об авторе
Ерзакова Нина Александровна, окончила НГУ (1976), доктор физико-математических наук, профессор МГТУ ГА, автор более 70 научных работ, область научных интересов - теория неподвижных точек, меры некомпактности, уплотняющие операторы, интегральные операторы, пространства С.Л. Соболева, краевые задачи для уравнений с частными производными.