Размещено на http://www.allbest.ru/

Пространства Орлича, порожденные параметризованными функциями Юнга векторного аргумента

И. В. Шрагин

Пермский государственный университет, Россия, 614990, Пермь, ул. Букирева, 15

shragin@mail.ru; +49-221-708568

Рассматривается пространство Орлича , порожденное функцией Юнга ( - пространство с мерой, - сепарабельное банахово пространство) и состоящее из - измеримых функций , для которых

при каком-либо . В пространстве определяется норма

,

называемая нормой Амемии, и доказывается полнота пространства .

Ключевые слова: функция Юнга; пространство Орлича; норма Амемии.

Orlics spaces generated by parameterized Young functions of the vector argument

I. V. Shragin

Perm State University, Russia, 614990, Perm, Bukireva st., 15

is.shragin@mail.ru; +49-221-708-568

We consider the Orlics space generated by Young function . ( is a measure space, is a separable Banach space). This space consists of -measurable functions for which

by some . In the space we define the Amemiya norm

and prove the completeness of the space .

Key words: Young function; Orlics space; Amemiya norm.

Введение

Как известно, пространство Орлича состоит из измеримых функций , определенных на каком-либо пространстве с мерой , и порождается неотрицательной функцией , обладающей рядом свойств. При этом, если мы рассматриваем векторные функции , где - нормированное пространство, то естественно считать, что порождающая функция определена на .

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

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

В основе настоящей работы лежит заметка [3], не содержащая доказательств.

Статья состоит из трех параграфов. В §1 введены исходные объекты: пространство с мерой и банахово пространство . Дано определение функции Юнга и рассмотрены ее свойства, необходимые для дальнейшего изложения.

В §2 определяется пространство Орлича . В него вводится норма Амемии и доказываются некоторые ее свойства, из которых важнейшими являются критерии сходимости и фундаментальности последовательности функций .

В §3 доказывается полнота пространства Орлича , снабженного нормой Амемии.

В отличие от "скалярного" случая (когда функция Юнга определена на ) "векторная" ситуация требует привлечения нетривиальных сведений из выпуклого анализа.

У читателя статьи предполагается знание основ теории нормированных пространств, а также основ теории меры и интеграла.

§1. Функция Юнга и ее свойства

Всюду в дальнейшем - пространство с -конечной полной мерой, где , а - вещественное сепарабельное банахово пространство с нормой и нулем 0, причем ( и 0 будут использоваться также в "числовом" смысле).

Пусть - совокупность всех борелевских множеств в . Функция называется -измеримой, если (как известно, в качестве множеств в этом определении достаточно брать замкнутые или открытые множества). Обозначим через множество всех -измеримых функций , отождествляемых при равенстве -п.в. При обычном определении векторных операций над такими функциями (сложение и умножение на скаляр) является вещественным векторным пространством с нулевым элементом (-п.в.).

Определение 1.1. Функция называется функцией Юнга (с параметром ), если при каждом функция -измерима, а при каждом функция удовлетворяет следующим условиям:

функция юнг пространство орлич

a) ;

b) четность, т.е.

;

с) выпуклость, т.е. для любых и ;

;

d) полунепрерывность снизу, т.е.

;

e) ;

f) функция ограничена в некоторой окрестности точки 0.

Пусть дана (до конца статьи) функция Юнга . Установим некоторые свойства функции при фиксированном .

Из условий c) и f) вытекает ([4], пункт 2.6.2, предложение 3б), что функция непрерывна на , где

,

а обозначает внутренность множества . В частности, так как (см. f)) , то, в силу а),

. (1.1)

Отметим, что множество , как очевидно, выпукло.

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

, .

Так как функция выпукла и , то отношение является неубывающей функцией от (тем более, сама функция - неубывающая на ). Следовательно, существует

, (1.2)

причем, в силу условия (е), . Отсюда, в частности, следует, что

.

Положим далее (по-прежнему при фиксированных и )

,

так что (см. f)). Ясно, что

.

Следовательно, функция непрерывна на (см. выше ссылку на [4] и (1.1)). При этом, если , то, в силу условия d),

.

Таким образом, при любом (с учетом равенства при )

. (1.3)

Обозначим через произведение -алгебр и , т.е. -алгебру на , порожденную совокупностью .

Лемма 1.1. Функция Юнга - измерима.

Доказательство. Пусть счетное множество плотно в . Возьмем произвольное и покажем, что , где

.

Тем самым лемма будет доказана, так как очевидно, что .

Итак, пусть , так что . Рассмотрим два случая.

1) . Тогда, в силу непрерывности функции в точке , для любого существует такая окрестность точки , что для всех из этой окрестности. Отсюда следует, что .

2) - граничная точка множества (значит, ). Тогда ([5], теорема V.2.1, доказательство)

,

так что функция непрерывна в точке . При этом . Исходя из этого при произвольном возьмем в интервале и найдем такое , что и . Тогда

.

Это значит, что .

Пусть теперь . Тогда при достаточно большом . Согласно условию (d) существует такое , что если , то . При этом можно считать, что . Отсюда следует, что .

Следствие 1.1. Функция , определенная равенством (1.2), -- измерима.

Доказательство. Положим (при ) . Так как функция - измерима, то, как нетрудно показать, при каждом функция также - измерима. Остается заметить, что

.

Из леммы 1.1 вытекает ([6], теорема 1, [7], пункт 1.4, [8], §2, предложение 1) суперпозиционная измеримость функции , т.е. - измеримость суперпозиции при любой функции . Для удобства читателя приведем несложное доказательство этого утверждения.

Итак, пусть . Положим , т.е. является соответствующей график-функцией. Тогда если , , то

Поэтому . Положим далее , где . Тогда по лемме 1.1 , так что

.

Таким образом, функция - измерима.

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

§2. Пространство Орлича и норма Амемии

Рассмотрим интегральный функционал

,

где .

Из условий а), b), с) определения 1.1 вытекают аналогичные свойства функционала ; ;

. (2.1)

Определение 2.1. Пространство Орлича определяется равенством

.

Из указанных выше свойств функционала вытекает, что является векторным подпространством в . Действительно, пусть , т.е. . Тогда , т.е. . Далее, пусть , , т.е. , . Положим . Тогда

,

т.е. .

Далее нам понадобится следующая терема об измеримости проекции и измеримом выборе [9], [10], [11].

Теорема А. Пусть - пространство с -конечной полной мерой, - полное сепарабельное метрическое пространство. Тогда если непустое множество , то (где

,

и существует -измеримая функция , график которой содержится в , т.е. .

Лемма 2.1. .

Доказательство. Из условия (f) следует, что , т. е. , где . В силу леммы 1.1, . Тогда, по теореме А, существует функция , график которой содержится в , т.е. и .

Пользуясь счетной аддитивностью и -конечностью меры , найдем такое , что и . Тогда (-характеристическая функция множества ) и , т.е. .

Для введения нормы в пространство положим при и

.

Теорема 2.1. Равенство

определяет норму в пространстве , называемую нормой Амемии.

Доказательство. Очевидно, , причем . Ясно также, что .

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

.

Но, в силу (2.1),

.

Поэтому

,

откуда следует требуемое неравенство.

Докажем наконец, что если , то . Действительно, так как , где , то, в силу теоремы Б.Леви и (1.2),

.

Возьмем такое , что . Но так как , то .

Рассмотрим некоторые свойства нормы Амемии.

Лемма 2.2. Если , то .

Доказательство. Пусть сначала . Тогда , т.е. , откуда . Поэтому, в силу (2.1),

. (2.2)

Возьмем теперь произвольное . Тогда, с учетом (2.2),

.

Переходя здесь к пределу при , получим, в силу (1.3) и теоремы Б. Лени, требуемое неравенство.

Следствие 2.1. Если , то .

Доказательство. Достаточно считать, что . Тогда, в силу (2.1) и леммы 2.2,

.

Теорема 2.2 (критерий сходимости по норме). Если , то при тогда и только тогда, когда

.

Доказательство. Если при , то , в силу следствия 2.1, .

Пусть . Тогда , откуда .

Аналогично доказывается критерий фундаментальности: если , то при тогда и только тогда, когда

. (2.3)

Замечание 2.1. В теории пространств Орлича используется также так называемая норма Люксембурга , представляющая собой функционал Минковского выпуклого множества , т.е.

.

При этом нормы Амемии и Люксембурга эквивалентны, а именно:

.

§3. Полнота пространства Орлича

Следующий пример [12] показывает, что пространство может быть неполным.

Пример 3.1. Пусть множество состоит из одной точки (так что -алгебра ), причем . Пусть, далее, - пространство непрерывных функций c нормой

.

Как хорошо известно, это пространство полно и сепарабельно. Наконец,

.

Очевидно, данная функция удовлетворяет всем условиям из определения 1.1 (в частности, функция непрерывна на , так что - функция Юнга.

Так как , то любая функция -измерима и пространство фактически совпадает с . И так как , то

,

где . Таким образом, , причем

,

т.е. пространство изометрично пространству непрерывных функций с нормой

.

Но, как хорошо известно, это пространство неполно. Значит, и пространство неполно.

Теорема 3.1. Если функция Юнга удовлетворяет условию

, (3.1)

то пространство Орлича полно.

Замечание 3.1. Очевидно, из (3.1) вытекает условие е) из определения 1.1. Отметим ещё, что для функции Юнга из примера 3.1 условие (3.1) не выполняется. Действительно, возьмем непрерывные функции , такие, что при и . Тогда при , но

,

так что .

Доказательство Теоремы 3.1. Пусть - последовательность Коши в пространстве , так что выполняется условие (2.3). В частности,

,

и так как

, (3.2)

то правая часть неравенства (3.2) стремится к нулю при . Поэтому найдется такая подпоследовательность (далее ), что , где

.

Отсюда следует, что , где .

Зафиксируем . Нетрудно проверить, что

.

Отсюда и из (3.1) следует, что . Но тогда последовательность фундаментальна в и, в силу полноты , сходится. Положим, при и при . Тогда . Остается показать, что и при .

Возьмем произвольные и .

В силу (2.3)

. (3.3)

Так как при любых и (в силу выпуклости функции )

и при , то . Отсюда следует, что и

.

Поэтому, в силу теоремы Фату ([5], теорема III, 6.19) и (3.3),

.

Следовательно, (откуда и ) и при .

Тем самым полнота пространства доказана.

Список литературы

1. Kozek A. Orlicz spaces of functions with values in Banach spaces //Commentationes Mathematicae, 1977. Vol.19, №2. P.259-288.

2. Kozek A. Convex integral functionals on Orlicz spaces // Comment.Mathem., 1979. Vol.21, № 1. P.109-135.

3. Шрагин И.В. Пространства Орлича, порожденные функциями векторного аргумента // Функционально-дифференциальные уравнения / Перм. политехн. ин-т. Пермь, 1985. С.64-69.

4. Алексеев В.М., Тихомиров В.М., Фомин С.В. Оптимальное управление. М.: Наука, 1979.

5. Данфорд Н., Шварц Дж. Линейные операторы. Общая теория. М.: ИЛ, 1962.

6. Шрагин И.В. Суперпозиционная измеримость // Известия высш. учебн. завед. Математика. 1975. № 1 (152). С.82-92.

7. Appell J., Zabrejko P.P. Nonlinear superposition operators // Cambridge Univ. Press, Cambridge, 1990.

8. Шрагин И.В. Суперпозиционная измеримость и оператор суперпозиции. Одесса: Феникс, 2006.

9. Левин В.Л. Измеримые сечения многозначных отображений и проекции измеримых множеств // Функц. анализ и его прилож., 1978. Т.12, №2. С.40-45.

10. Левин В.Л. Измеримые сечения многозначных отображений в топологические пространства и верхние огибающие интегрантов Каратеодори // Докл. АН СССР, 1980. Т.252, №3. С.535-539.

11. Shragin I. V. On some theorem on measurable selection // Comment. Mathem. 2007. Vol.47. №2. P.221-225.

12. Путиевский Б.Г., Шрагин И.В. Пространства векторных функций, порождаемые функциями векторного аргумента // Краевые задачи / Перм. политехн. ин-т. Пермь, 1977. С.123-125.

Размещено на Allbest.ru

...