Модулярные меры и операторы Магарам

Автор: Кусраев Анатолий Георгиевич

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 4 т.2, 2000 года.

Бесплатный доступ

Цель настоящей статьи - показать, что модулярные векторные меры и операторы Магарам тесно связаны друг с другом. Точнее говоря, при интегрировании по насыщенной мере возникает оператор Магарам, а интегральное представление оператора Магарам приводит к модулярной насыщенной мере.

Короткий адрес: https://sciup.org/14318013

IDR: 14318013

Текст научной статьи Модулярные меры и операторы Магарам

МОДУЛЯРНЫЕ ЛОКАЛЬНО ОГРАНИЧЕННЫЕ ПРОСТРАНСТВА ФЕНХЕЛЯ — ОРЛИЧА И КОНУСЫ В НИХ

В. Г. Фетисов, Н. П. Безуглова

Изучено поведение конуса, неотрицательных функций в обобщенных пространствах Ор-лича, как известно, не являющихся в полной мере метрическими пространствами при соответствующем выборе определяющей фундаментальной функции. Рассматривается ряд основных свойств конусов в векторнозначных пространствах Фенхеля — Орлича.

В работе [1] было изучено поведение конуса неотрицательных функций в обобщенных пространствах Орлича, как известно, не являющихся в полной мере метрическими пространствами (при соответствующем выборе определяющей фундаментальной функции). Здесь мы рассматриваем ряд основных свойств конусов в векторнозначных пространствах Фенхеля — Орлича (см. [2], там же содержится и обширная библиография).

1.    Основные определения и некоторые вспомогательные результаты

Допустим, что X — вещественное линейное нормированное пространство; обозначим R+ = [0,сю[ (соответственно, R+ = [0, сю]). Всякая функция Ф : X —> R+ называется функцией Орлича (в частности, если Ф — выпукла, то функцией Юнга), если Ф(0) = 0 и, если элемент х G X, х ^ в (8 — ноль пространства X), то lim Ф(Аж) = сю, где A G R.

А—» оо

Примерами функций Орлича могут служить скалярная ф-функция ФДи) = \н\р (0 <  р < сю) (определяющая классическое пространство Лебега Lp), Х-функция Фг(и) = elu — 1 и т. д.

Определение 1. Пусть (Q, X, д) — измеримое пространство с сг-конечной сепарабельной неатомической полной мерой р, X — линейное нормированное пространство, Ф — функция Орлича на X. Пространством Фенхеля, — Орлича L^p^X) называется множество всех таких классов эквивалентности измеримых функций и : О —> X, что существует А > 0 такое, что J Ф^ХиДр <  фею.

Можно заметить, что пространство Фенхеля — Орлича представляет собой линейное пространство.

ОПРЕДЕЛЕНИЕ 2. Функционал р : X —> R + называется модуляром [3], если выполняются условия:

  • (а) <Р^ = 0) ^ (ж = 0);

  • (В)    р^ = РрГ

  • (с)    p^ax + Ру) < р(ж) + рру) (х, у Е X ; а, р > 0; а + р = 1).

Если условие (а) заменить условием

  • (d)    /9(0) = 0,

то функционал р называется псевдомодуляром.

Пусть М — линейное пространство всех ограниченных д-измеримых функций u : Q —> X. Функционал Гф : М —> R + вида Гф = f Ф^рз^ду, есть пример интегрального модуляра на М, удовлетворяющего условиям (а)-(с).

ОПРЕДЕЛЕНИЕ 3. Пространство д-измеримых функций, определяемое интегральным модуляром Гф формулой

ЕФИ = {ж е £Ф(щХ) : lim ГФ(Аж) = 0},           (1)

называется модулярным пространством Фенхеля — Орлича.

По поводу модулярных пространств подробнее см. монографию [3].

ОПРЕДЕЛЕНИЕ 4. Функционал Ц-; Ф||, называется F-нормой, если он подчиняется условиям:

  • 1.    ||и; Ф|| = 0 О и = 0 (0 — ноль пространства);

  • 2.    || -щФ|| = ||щФ||;

  • 3.    ||л + щФ|| < ||и;Ф|| + ||щФ||;

  • 4.    если А^ ^ А и Ци^ — и; Ф|| —> 0 при к —> сю, то || А/щ^ — Au; Ф11 —> 0, к —> со. Если Ф — некоторая функция Орлича, Гф(и) — интегральный модуляр, определенный этой функцией, то с помощью формулы вида

||и;Ф|| = inf {б > 0 : ГФ (|) < б}                      (2)

можно на модулярном пространстве Фенхеля — Орлича задать Е-норму, превращающую его в Е-нормированное модулярное пространство Фенхеля — Орлича.

Определение 5. Говорят (см. [3]), что функция Орлича Ф : X —> R + подчиняется Д2- условию, если существуют постоянные к > 0 и wq такие, что Ф(2ж) < А:Ф(ж) при ||ж; Ф|| > шо и 8пр{Ф(ж) : ||ж; Ф|| = ш} < +сю.

Можно видеть, что, если функция Орлича Ф удовлетворяет Дг-условию, то класс £*ф X) совпадает с Е-нормированным пространством Фенхеля — Орлича. Отметим, что, если р — модуляр в смысле X. Накано [4], то

||и; Ф||/у = inf{a > 0 : p(u/a) < а}

есть F-норма в пространстве X с константой А > 0 в неравенстве треугольника (3), т. е. выполняется ||u + р;Ф|| < А(||и;Ф|| + ||щФ||) для любых элементов u, v е X.

Пусть X — вещественное банахово пространство. Как известно, множество К С X называется конусом, если выполнены следующие условия (см. [5]):

  • (а)    множество К замкнуто;

  • (б)    из w, v Е К вытекает, что aw + /3v Е К при всех а, /3 > 0;

  • (в)    из каждой пары элементов х, —х по крайней мере один не принадлежит К, если х ф 0.

Всякий конус К является выпуклым множеством в X. Конус называется воспроизводящим, если каждый элемент х Е X можно представить в виде х = u — v, где u,v Е К.

По аналогии с работой [1] будем называть положительный, не обязательно линейный функционал Г(и) (u е X), обусловленный интегральным модуляром, строго растущим, если для любых un Е К (n = 1, оо), где К — конус неотрицательных функций un(s) > 0 из пространства X, из ||ип;Ф|| > с > 0 следует, / П \ что lim Г( щ ) = оо.

Лемма 1. Интегральный модуляр ГДи) = J \u(sYPdp, является строго растущим функционалом при каждом 0 <  р < со.

  • < 1 Доказательство леммы 1 можно посмотреть в работе [1]. >

ОПРЕДЕЛЕНИЕ 6. Элемент u Е Р*(Ф, д) называется элементом с абсолютно непрерывной F-нормой, если lim ||Fr>u;D|| = 0, Pd — оператор умножения на характеристическую функцию измеримого подмножества S С Q (т. е. Pd^ = Xdu, где Xd(s) = 1, если s Е D С О и, соответственно, Xd(s) = 0, если s Е O\D).

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

Лемма 2. Функция u(s) Е £*(Ф,д) имеет абсолютно непрерывную F-норму тогда и только тогда, когда u(s) Е Е(Ф,р), где Е(Ф,р) означает замыкание в £*(Ф, д) совокупности всех ограниченных на множестве Q функций.

Лемма 3. Совокупность ЬДФ, д) всех элементов из £*(Ф, д) с абсолютно непрерывной F-нормой является сепарабельным замкнутым подпространством пространства £*(Ф, д).

Лемма 4. Если определяющая функция Орлича Ф(и) подчиняется Д2- условию, то справедливо равенство £*(Ф, д) = Е(Ф, рф

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

Лемма 5. Пусть дЧЧ < сю и xq Е Ь*(Ф,р). Тогда £*(Ф,ц) сепарабельно отчф^^Шф^У

  • < 1 Наметим идею доказательства. Если предположить, что ЬЧФ,^ + Т^(Ф,ц), то можно указать элемент xq Е L*(Ф, ц)\£д(Ф, м), гДе ж > О почти везде на ц-измеримом множестве Q. По заданной функции x0(s) можно найти 6q > 0 и последовательность измеримых подмножеств {Q^} i^N С Q такие, что Qj П Qj = 0 и ||х^гж0;Ф|| > ео (в силу условия xq ^ ЬЧФ^мЧ- Обозначим через wj = хХпк, где J Е N. Если наборы Ji ф J^, где Ji, J2 С N, kEJ .                  . . .

тогда \\wj1 — wj2|| >  6q. А так как {J : J С N} — несчетное множество наборов, то пространство ЬфФ, рЧ очевидным образом, является несепарабельным модулярным пространством Фенхеля — Орлича.

Обратный факт: Предполагая теперь, что А*(Ф,ц) сепарабельное модулярное пространство Фенхеля — Орлича и уп Е Ад(Ф,ц), возьмем некоторую функцию u(s) > 0, u(s) Е 5(0). Аппроксимируя ее последовательностью непрерывных функций 44neN и, используя теорему Егорова, можно с помощью аппроксимации рассмотреть произвольную функцию x(s) Е ЕЧФ, Ч и убедиться, что x(s) Е Т^ФтМ-У >

Банаховы пространства Фенхеля — Орлича достаточно полно исследованы в докторской диссертации Тюррета [2]. Что же касается модулярных пространств Фенхеля — Орлича £*(Ф,ц), определяемых вогнутыми функциями Орлича, то к настоящему времени мало что известно в этом направлении. Используя идеи работ [7] и [8], можно рассмотреть локально ограниченные модулярные пространства Фенхеля — Орлича (т. е. пространства, которые обладают ограниченной окрестностью нуля 0). Ясно, что такое пространство имеет базис окрестностей 0, состоящий из ограниченных множеств. В частности, лебеговы пространства Lp (0 <  р < сю) локально ограничены.

Лемма 6. Если ц(П) < сю л существует р > 0 такое, что lim

W—>+00

W—> + 00

Ф(шт)

-up • Ф(гс)

>0,

то модулярное пространство Фенхеля — Орлича £*(Ф, ц) будет локально ограниченным.

  • < 1 Пусть выполнено условие (4) (без ограничения общности можно считать, что существует р > 0 такое, что lim „р^ф^а = сю. Тогда существует t > 1

W—>+00 U   W такое, что

W-ДОО

Ф(шт) >  ирФ(ии)

при mw > w > to. Зададим функцию Ф следующим образом:

W) =

/ . \р ФМ ■ Д) , »№+1) ■ (^У \ С0 /

если t Е [0, ^о], если ^ Е]^,^о+1]

(п Е N).

Можно заметить, что Ф(£) есть функция Орлича, непрерывная при t > 0. Учитывая условие (5), при ^ <  t получим Ф(£) > Ф(£д). Кроме того, функция Ф(£) подчиняется условию

Ф(м • w) > ур Ф(гД

при mw > w > 0. Действительно, пусть Д1< w < £g+1, ^о < MW — ^о+1>гДе s = п + г > п. Тогда

ф(=и > Ф1Щ1) ■ t;p (-^у =«- ■ ФМ+1) ■ (ДУ = «- ■ Ф(»),

Аналогично, Ф/Ф(/) <  tp и Ф/Ф(£о) < 1, а это означает, что пространства £*(Ф,ц) и £*(Ф,ц) топологически эквивалентны. Но пространство £*(Ф,ц) является локально ограниченным. Значит, и £*(Ф,ц) — локально ограниченное пространство.

Можно заметить, что {V,, = г • Вф(г)}г>о образует базу окрестностей нуля 0 в модулярном пространстве £*(Ф, дУ Доказательство этого факта аналогично доказательству теоремы 3 из работы [7], и мы его не приводим. >

Лемма 7. Если ц(Г2) < сю л для всех р > 0 выполняется условие lira „р^ф^а = 0, то модулярное пространство Фенхеля — Орлича L*^,^ и—>+00 U   ™ w —>+оо не является локально ограниченным.

  • < 1 Доказательство леммы 7 аналогично доказательству теоремы 7 из работы [7], поэтому мы его не приводим. >

Лемма 8. Пусть L* (Ф, ц) — модулярное пространство Фенхеля — Орлича и 0 < а < 1. Тогда для каждого элемента uq Е Ь*(Ф, дУ минорированного почти всюду на Q и для каждого подмножества С С £*(Ф, дУ удовлетворяющего соотношению lim sup \\PD (жЛ)т;Ф|| = 0,                        (7)

h^oOxEC ° существует возрастающая функция р : R —> R такая, что lim u^oo иа

= СЮ,

sup х^С

иЩ);Ф <+оо.

<1 Так как lim sup \\Pd (ж а)ж;Ф|| = 0 (вытекает из условия (7)), то су-х^°°хЕС “°  ’ ществует функция -0(A) такая, что

||-Рд„п(ж,А)Ж; Ф|| < 0(A), Ух Е С, где lim 0(A) = 0. и                                          А—7ос

Если -0(A) —> 0 при А —> сю, то существует последовательность (Ап)пен, An 7 ОО

Ло = 0 такая, что ^) 0(АП) < +сю, и также можно утверждать, что существует 71=0

некоторая возрастающая функция 5 : R  —> R , 5(A) —> сю при А —> сю,

5(An) = Mn Е N, Уп Е N такая, что £ МИ0(АИ_1) < оо.

Обозначим Dn^ = {s Е Q : An_iu0(s) <  х^ <  Anu0(s)}. Пусть у>(А) = 5(A) • Аа. Ясно, что функция у>(А) возрастает. Кроме того,

^ [^] ^(s)-*|| - £ IK^ [^] н№);ф L        J                   71=1               L        J

Так как An 7 и Mo(s) минорирована положительным числом, то существует No Е N такое, что при n >  No выполнено x(s) > An_iu0(s) > 1 почти везде на множестве Dn(xY

Отсюда можно получить оценку:

PDnwV

u0(s);Ф

PDn(.x)5

Hs)

U0(s)

Из)|а;Ф

< E IITD,(,)»(A„)|Z(S)|«;»II <  E 11Щ,мЛ4М»)|;Ф||

71 >  Ng                               П > Ng

  • < E адРо.0(.,л„_.)Щ);Ф||< E M„ ■ Шп-1'I < Cv n>Ng                        n>Ng

где Ci — некоторая постоянная. Аналогично оценивается часть ряда для п <

No-.

Е

H

РС,Ух^

u0(s)

u0(s);Ф

< 52 WPDn(x)

-  52 \\PDn(x)MNoXNo(xn + M0)(s); ФЦ

1 < 71 < TVq

< No • MNg • E\XNg + 1] • [||х^;ФII + 11^0; ф||] < c2, гДе C2 — некоторая постоянная. >

2. Структурные свойства конусов в модулярных пространствах Фенхеля — Орлича

Сначала мы рассмотрим вопрос о том, какие дополнительные условия гарантируют существование предела у монотонной последовательности (жп)пем элементов модулярного пространства Фенхеля — Орлича, полуупорядоченно-го конусом К положительных элементов. Без ограничения общности можно рассмотреть случай неубывающей последовательности x-v < х^ < ... < хп< ... Последовательность (жп)пелг называется ограниченной, если существует элемент у такой, что хп< у (Vn G N).

Существуют пространства, в которых из монотонности и ограниченности (xn)nEN вытекает сходимость по F-норме. Например, если пространство X = Lp упорядочено при помощи конуса неотрицательных функций, то для каждой неубывающей ограниченной последовательности (xn)nEN функция x*(s) = supxn(s) (s G Q) также принадлежит Lp.

Пространство, в котором каждая ограниченная монотонная последовательность имеет предел, будем называть в дальнейшем правильно упорядоченным. Соответственно, конус К, который порождает правильную упорядоченность в пространстве, будем называть правильным. Последовательность (xn)nEN ограничена по F-норме, если ||жп;Ф|| < М, где М G R. Наконец, конус К назовем вполне правильным, если каждая монотонная ограниченная по F-норме последовательность (xn)nEN сходится по F-норме к некоторому пределу.

Теорема 9. Пусть на конусе К неотрицательных функций из модулярного пространства Фенхеля — Орлича £*(Ф, ц) определен строго растущий и ограниченный на каждом шаре в пространстве £*(Ф, ц) функционал Г (и), тогда конус К обладает свойством вполне правильности.

  • <1 Предположим противное. Тогда найдется такая расходящаяся по F-норме (2) последовательность элементов (wn)nEN G К такая, что


W1 < W2 < ... < Wn < ...

Будем считать для определенности, что ||wi; Ф|| > бо, |Н^+1 — гсдФЦ > бо > 0 (г = 1, оо), так как в противном случае всегда можно перейти к подпос ледовательности (wnk) в £*(Ф,ц), обладающей указанным свойством. Тогда

П —1

lim Г(гсп) = П—УОО

lim Г wi + 52 (Wi-H - wd t^oo L      i=i

= оо, а это уже противоречит огра

ниченности функционала Г(и) на шаре ||щФ|| < М. Отсюда вытекает, что последовательность (wn)nEN G К сходится по F-норме (2) и, значит, конус К обладает свойством вполне правильности. >

Следствие 10. Конус К неотрицательных функций из р-однородного модулярного пространства ЬР(П) (0 < р< сю) обладает свойством вполне правильности.

Теорема 11. Пусть на конусе К неотрицательных функций из модулярного пространства Фенхеля — Орлича £*(Ф, д) определен монотонный строго растущий функционал. Тогда конус К обладает свойством правильности.

  • <1 Доказательство аналогично доказательству теоремы 9, предоставляем провести его читателю. >

Список литературы Модулярные меры и операторы Магарам

  • Акилов Г. П., Кутателадзе С. С. Упорядоченные векторные пространства.-Новосибирск: Наука, 1978.-368 с.
  • Вулих Б. З. Введение в теорию полуупорядоченных пространств.-М.: ГИФМЛ, 1961.-407 с.
  • Канторович Л. В., Вулих Б. З., Пинскер А. Г. Функциональный анализ в полуупорядоченных пространствах.-М.-Л.: Гостехиздат, 1950.-548 с.
  • Кусраев А. Г. Общие формулы дезинтегрирования//Докл. АН СССР.-1982.-Т. 265, № 6.-С. 1312-1316.
  • Кусраев А. Г. Векторная двойственность и ее приложения.-Новосибирск: Наука, 1985.-256 с.
  • Кусраев А. Г. Линейные операторы в решеточно нормированных пространствах//Исследования по геометрии «в целом» и математическому анализу.-Новосибирск: Наука, 1987.-С. 84-123.
  • Кусраев А. Г. Мажорируемые операторы//В кн: Линейные операторы, согласованные с порядком.-Новосибирск: Изд-во Ин-та матки СО РАН, 1995.-С. 212-292.
  • Кусраев А. Г., Кутателадзе С. С. Нестандартная теория векторных решеток//В кн: Векторные решетки и интегральные операторы/Бухвалов А. В., Коротков В. Б., Кусраев А. Г., Кутателадзе С. C., Макаров Б. М.-Новосибирск: Наука, 1991.-214 с.; Dordrecht: Kluwer Academic Publishers, 1996.
  • Кусраев А. Г., Кутателадзе С. С. Субдифференциалы. Теория и приложения.-Новосибирск: Наука, 1992.-270 с.; Dordrecht: Kluwer Academic Publishers, 1995.
  • Кусраев А. Г., Малюгин С. А. О порядково непрерывной составляющей мажорируемого оператора//Сиб. мат. журн.-1987.-Т. 28, № 4.-С. 127-139.
  • Кусраев А. Г., Малюгин С. А. Некоторые вопросы теории векторных мер.-Новосибирск: Изд-во Ин-та матки СО АН СССР, 1988.-182 с.
  • Kaplansky I. Modules over operator algebras//Amer. J. Math.-1953.-V. 75, № 4, P. 839-858.
  • Luxemburg W. A. J. and Schep A. A Radon-Nikodym type theorem for positive operators and a dual//Indag. Math. (N.S.).-1978.-V. 40.-P. 357-375.
  • Maharam D. The representation of abstract measure functions//Trans. Amer. Math. Soc.-1949.-V. 65, № 2.-P. 279-330.
  • Maharam D. Decompositions of measure algebras and spaces//Trans. Amer. Math. Soc.-1950.-V. 69, № 1.-P. 142-160.
  • Maharam D. The representation of abstract integrals//Trans. Amer. Math. Soc.-1953.-V. 75, № 1.-P. 154-184.
  • Maharam D. On kernel representation of linear operators//Trans. Amer. Math. Soc.-1955.-V. 79, № 1.-P. 229-255.
  • Maharam D. On positive operators//Contemp. Math.-1984.-V. 26.-P. 263-277.
  • Wickstead A. W. Stone algebra valued measures: integration of vector-valued functions and Radon-Nikodym type theorems//Proc. London Math. Soc.-1982.-V. 45, № 2.-P. 193-226.
  • Wright J. D. M. A Radon-Nikodym theorem for Stone algebra valued measures//Trans. Amer. Math. Soc.-1969.-V. 139.-P. 75-94.
  • Wright J. D. M. Stone algebra valued measures and integrals//Proc. London Math. Soc. Proc. London Math. Soc.-1969.-V. 19, № 3.-P. 107-122.
  • Wright J. D. M. The measure extension problem for vector lattices//Ann. Inst. Fourier (Grenoble).-1971.-V. 21.-P. 65-68.
  • Wright J. D. M. Vector lattice measure on locally compact spaces//Math. Z.-1971.-V. 120.-P. 193-203.
Еще
Статья научная