Теорема вложения Соболева для стратифицированных множеств Текст научной статьи по специальности «Математика»

MSC 58A35

ТЕОРЕМА ВЛОЖЕНИЯ СОБОЛЕВА ДЛЯ СТРАТИФИЦИРОВАННЫХ МНОЖЕСТВ П.А. Кулешов

Воронежский Государственный Университет, пл. Университетская, 1, Воронеж, 394006, Россия, e-mail: pavkuleshov@yandex.ru

Аннотация. Доказываются теоремы вложения Соболева для стратифицированных множеств определенного класса. Показано, что для множества Q выполнено вложение пространства W01’/P(Q) в L//(Q) при некотором q, зависящем от p и от размерностей стратов. Доказательство опирается на процедуру симметризации по Шварцу и её свойства.

Ключевые слова: теорема вложения, симметризация Шварца, стратифицированные множества.

В последние десятилетия, в связи с некоторыми физическими приложениями, обозначился устойчивый интерес к дифференциальным уравнениям на, так называемых, стратифицированных множествах. Особенно интенсивно изучались уравнения на геометрических графах (в нашей терминологии — «одномерных> стратифицированных множествах), см. [8]. В этом случае, полученные к настоящему времени результаты составляют уже достаточно развитую теорию. Что касается общего случая, то здесь делаются пока только первые шаги. В частности, вопрос об аналогах теорем вложения Соболева практически не рассматривался. В данной работе предлагается подход позволяющий сравнительно просто получать такие теоремы. Вопрос о точности константы пока не обсуждается. Очевидно, что этот вопрос значительно сложнее чем его классический аналог. Наше доказательство опирается на результаты М. Браманти [2], которые в свою очередь являются обобщением результатов Д. Таленти [5], относящихся к известному принципу Пойя-Сегё. Этот принцип, утверждающий, что интеграл Дирихле не возрастает при симметризации, имеет большое количество применений в классической теории.

1. Стратифицированные множества

Связное замкнутое подмножество П С называется стратифицированным, если оно представлено в виде объединения открытых подмногообразий а к] С П пространства Кга, называемых стратами, примыкающих друг к другу по типу клеточного комплекса. В обозначении а к] первый индекс означает размерность страта, а второй его номер при автономной нумерации стратов данной размерности. Будем писать ац -< а^ или с к] &и и говорить, что ац примыкает к ащ , если / < к и ац С дсг^ = Щ] \ а^- Страт а к] назовем свободным если в П нет стратов к которым бы он примыкал. К примеру, страты старшей размерности всегда будут являться свободными.

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

• Любые два страта не пересекаются, а их замыкания либо не пересекаются, либо пересечение их является объединением стратов из Е. Граница страта а к] является объединением стратов, размерность которых меньше к.

• Для любого X Е ак-1г «звезда>

Б ак-1г и ^ |^) ак]^

допускает локальное (вблизи X) выпрямление, что означает существование такой окрестности V точки X в объемлющем пространстве и такого диффеоморфизма Ф : V ^ Ш, что образ множества V П Б представляет собой объединение (к — 1)-мерного шара (образа части ак-ц, попавшей в V) и примыкающих к нему полушарий (аналогичных образов частей ак] ). Это наглядно представлено на рис. 1.

Рис. 1. Локальное выпрямление звезды.

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

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

Пусть П0 — связное и открытое подмножество П, составленное из стратов семейства Е и такое, что П0 = П. Тогда разность П \ П0, очевидно, является границей множества П0 и будет тоже состоять из стратов, а потому будет обозначаться через дП0. В дальнейшем, под обозначением П = (П0,дП0) мы будем понимать, что данное стратифицированное множество П разбито на П0 и дП0 указанным способом. Возможен случай когда дП0 пусто, однако, в данной работе этот случай исключен. Для более подробного знакомства со стратифицированными множествами см. [8].

2. Пространства ¿//(П) и Ш01’/Р(П0)

Назовем подмножество ш С П измеримым, если измеримы по Лебегу пересечения ш П ак] по всем значениям индексов к и ]. Мерой такого множества назовем число

Мш) = ^ ^к (ш П а к]) ,

где — к-мерная мера Лебега на а^. Легко показать, что так определенные измеримые

множества образуют а-алгебру, а функция ^ обладает свойствами меры. Измеримые по мере ^ функции определяются также как и в классическом случае. Интеграл Лебега суммируемой функции f на П оказывается равным сумме интегралов Лебега сужений этой функции на страты, т.е.

п к] ак]

где суммирование осуществляется по всем стратам.

В соответствии с этим, пространство ¿//(П) определяется как пространство измеримых на П функций / таких, что |/|р суммируема, т.е. / |/|р < то. Норма в ¿//(П)

п

определяется также как и в классическом случае:

1/р

!/ Т Ф

Расстоянием между двумя точками на множестве П будем называть минимальную длину кривой, лежащей в П и соединяющей их. При этом длину кривой будем считать как длину в некотором Rm, содержащем П.

Пусть П = (П0,дП0). Обозначим через С(П0) (СМ(П)) множество непрерывных на П0(П) функций. Через С^(П0) обозначим множество таких непрерывных на П0 функций, что их сужения на любой страт из П0 являются непрерывно дифференцируемыми функциями. Через С0)М(П0) обозначим множество тех функций из С(П), которые обращаются в нуль на дП0. Теперь мы можем определить стратифицированный аналог пространства W01,p как пополнение пространства С0^(П0) = С^(П0) П С0;М(П0) по норме

i/p

S = If IV/|p d/

Здесь V/ на каждом к-мерном страте есть классический к-мерный градиент сужения функции на данный страт. Обозначать данное пространство будем Щд’Р(П0). Аналогично, пространство Щ^П) определяется как пополнение пространства С^(П) по норме

1/р

1’р = I /(!/ !р + IV/|р)

3. Теорема вложения Соболева

Введем следующее определение.

Определение 1. Стратифицированное множество П = (П0,дПо) будем называть «спрямляемыми если для любого и к] С П о при к > 0 существует страт Ик-1г С д П 0, для которого найдется такое связное подмножество П , обозначаемое П к], которое содержит страты и к] и Ик-и, состоит только из стартов размерности к и (к — 1) и допускает изометричное отображение в некоторое подмножество Кк; в свою очередь, при к = 0 для страта Ик] С П 0 должен найтись страт и кг С д П 0, а множество П к] должно состоять из стартов размерности к и (к + 1), быть связным и допускать изометричное отображение в Ек+1.

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

Мы также будем считать, что Пк] П дП 0 состоит ровно из одного страта. Если их более одного, то некоторый набор стратов входящих в Пк] является «лишним» и может быть из него выброшен.

Пример, иллюстрирующий это определение, показан на рис. 2, где в качестве дП0 взято замыкание страта и11 (обозначен жирной линией). В множество П25 войдут следующие страты: и25, и13, и24, и12, и21, и11. Объединение всех этих стратов изометрично отображается в прямоугольник.

О

25

о„ 012 013

021 024 025

Рис. 2. Пример стратифицированного множества.

Теперь мы можем сформулировать основной результат данной работы.

Теорема 1. Пусть дано спрямляемое стратифицированное множество П = (П 0, дП 0) так, что {1 < к1,к2,..., кп-1, кп = п} — размерности стратов, входящих в П 0 (исключая

0 и 1) в порядке возрастания, и / Е П 0). Тогда / Е Ь^(П 0) и выполнено

1Ы / \ 1/р

I/Г < с I / IV/|р Ф

(1)

о

где q определяется следующим образом:

' 1 < q < то, если р

1 < q < пр/ (п — р), если р

1 < q < ^п-ір/(^п-і — р), если р

1 < q < &2Р/(&2 — Р), если р

,1 < q < ^ір/(^і — р), если р

(2)

□ В силу того, что, по определению, С0М(П 0) плотно в Ж01)’Р(П 0) по норме последнего, требуемый результат достаточно доказать для случая когда / Е См(П 0). Возьмем произвольный страт и к] С П 0, к > 0. По условию найдется П к], допускающее изомет-ричное отображение в подмножество Кк, которое мы будем обозначать П к]. Функция / Е См(П 0) очевидным образом переносится на П к]. Обозначать её, ради простоты, будем тоже через /. Множество П к] является объединением непересекающихся образов стратов из Пк] размерности к, которые примыкают друг к другу по поверхностям класса С2, образованным образами стартов из Пк] размерности (к — 1). Для наглядности см. рис. 2. На каждом из этих образов / непрерывно дифференцируема, а значит принадлежит классу Ж1 ,р, и кроме того, / непрерывна на всем П к]. В этом случае, согласно результатам Ю.В. Кузнецова [6], получим, что / Е Ж1 ,р(П к]). Вдобавок, / обращается в нуль на части границы П к] положительной меры, а именно, на образе единственного страта из Пк] лежащего в дП 0.

При этом выполнены следующие неравенства:

|р Ф <у |/Г

Пкі

(3)

у IV/|р ^ <у IV/|р ф. (4)

Пк^’ По

Теперь применим к функции / на П ¿у симметризацию Шварца. Получим радиальную, т.е. зависящую только от расстояния до центра шара, функцию /*, определенную в шаре Вду и невозрастающую при отдалении от центра. Причем по известным свойствам подобной симметризации (см. [7]) будет:

I/|р ^ = |/*|р аг.

(5)

Пользуясь (3), (5) мы можем написать:

[ |/1? Ф = ^ [ |/1? Ф < ^ [ |/1? ^ [ |/Т

” и А V и А V и А V

По

акі

Пкі

п

п

п

Пкі

Кроме того, согласно [2] из того, что / Е Ж1 ,р(П¿у) и обращается в нуль на части границы положительной меры будем иметь:

Су / IV/|р ¿ж > IV/Т ¿ж

(7)

¿кз

где Су > 1 и зависит от меры той части границы на которой функция равна нулю, в частности, если она совпадает с мерой всей границы П ¿у, то будет Су = 1 (заметим, что Су не зависит от /, а зависит от П ¿у, т.е. от По). При этом /* будет обращаться

в нуль уже на всей границе шара Ву и мы будем иметь /* Є Ж0 ,р(Ву). А потому мы можем применить к ней классическую теорему вложения. Используя её, неравенства (4), (7), а также тот факт, что д > 1, получим

\

1/9

Е

к у в

/

/

<Е

к у

\

1/9

I/Т ¿ж

\Вкз

(

<

/

1/Р

\

1/Р

Ес», / IV/Т ¿ж

к,у \Вкз

<

<

Е Су Ску у IV/1

ку \Лкз

р ¿ж

1/р

С

IV/|р ¿р

/

Пользуясь последним неравенством и (6), в итоге получаем

1/9 / \ 1/Р

I/Г ¿р| < С | / IV/г ¿р

(8)

где С = ^ С- Су не зависит от /. к у

Однако, в классическом случае теорем вложения, которым мы пользуемся, д зависит от размерности множества п и от р, а именно, когда 1 < р < п пространство ,р( П ) вложено в Ь9( П ) при 1 < д < пр/(п — р), когда р = п при 1 < д < то, а когда р > п вложение будет в С0( П ), а значит и в Ьте( П ). Кроме того, как и в классическом случае, если 1 < д1 < д2, то Ь91 ( П ) 3 Ь92( П ). Поэтому, фиксировав р и выбрав минимум среди максимальных допустимых д при каждой размерности, мы получим показатель д удовлетворяющий всему стратифицированному множеству при данном р. Именно такому выбору и соответствует (2).

Вернемся к пропущенному случаю, когда страт аду из П 0 имеет размерность равную нулю. В этом случае мы поступим следующим образом. По условию, существует множество 70 у состоящее из стратов размерности 0 и 1, содержащее а0у и некоторый страт а0г С дП0, которое связно и допускает изометричное отображение в отрезок. Добавим к 70у новый страт а—, который является интервалом с длиной равной единице, одним из

концов которого будет страт аоу, например, см. рис. 3, здесь граница состоит из замыкания страта ац, и при рассмотрении страта а05 мы добавляем к множеству страт а17, полученное множество П05 выделено жирной линией. Функцию / на а1у положим всюду равной значению f в а0у, который, напомним, является точкой. Тогда будем иметь

<Г1^

IV/|Р ф = |Vf |Р ф = 0.

Кроме того, функция / будет непрерывна на множестве П у = П0у и а у и непрерывно дифференцируема на а1 у. Поэтому, вместо страта а0у мы можем рассмотреть страт а1 у и построенное для него множество П у, удовлетворяющее всем требованиям определения

1. Таким образом, ситуация свелась к уже рассмотренному случаю к = 1. I

Замечание 1. Теорему можно естественным образом обобщить для пространств ^0тР(П 0). Действительно, для функции класса Ж0*//Р все её производные до порядка (к — 1) включительно будут из ’/Р(П 0). Поэтому последовательно применив к каждой

из них данную теорему получим вложение в Ь//(П 0), где д определяется из:

1 < д < то, если тр = п;

1 < д < пр/(п — тр), если тр е [кп-1, п);

1 < д < к„-1р/(к„ -1 — тр), если тр е - -ЗсТ О! -

1 < д < — см к( см к тр), если тр е О! к к[1

1 V < д < к1р/(кх— тр), если тр е [1,к1).

(9)

Замечание 2. Отметим важный случай, так называемого, мягкого лапласиана (см. [8]), в некоторых задачах с ним связанных приходится рассматривать интеграл вида

86 НАУЧНЫЕ ВЕДОМОСТИ Ед Серия: Математика. Физика. 2013. №5(148). Вып. 30 / Р^/|Р ^ (именуемый интегралом Дирихле), где коэффициент р равен единице на

По

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

К случаю мягкого лапласиана можно свести следующий случай. Пусть в определении нормы пространства ¿/(П 0) показатель р одинаков только для стратов одной размерности, т.е.

где pk равен единице на стартах размерности к и нулю на остальных. Так как pk не зависят друг от друга и норма представляет собой просто сумму слагаемых зависящих только от некоторого Pk, то мы можем оценить каждое из них в отдельности. Для этого нам достаточно несколько раз применить Теорему 1 для случая мягкого лапласиана, причем в каждом случае свободными будут только страты какой-то одной размерности. Нам неизвестны примеры задач, в которых возникает необходимость рассмотрения подобных норм, что не так странно, учитывая, что касательно стратифицированных множеств на данный момент получено не так много результатов, однако, мы предполагаем их существование возможным.

Отметим, что частный случай теорем вложения — неравенство Пуанкаре - уже был доказан в стратифицированном случае А.А. Гавриловым и О.М. Пенкиным (см. [3]), причем для более широкого класса множеств, но его доказательство существенно более громоздкое, нежели приведенное нами. Класс множеств рассмотренный нами не допускает «слишком кривых:» множеств, «сложных:» примыканий стратов, наличия углов внутри множества и т.д., хотя даже в таких случаях возможно сведение ситуации к рассмотренной путем добавления вспомогательных стратов, включения в Пkj не целых стратов, а их некоторых подмножеств и т.п. Однако, это все частности на которых останавливаться нет смысла. Тем более, что подавляющее большинство случаев, возникающих в приложениях попадают в установленные нами рамки.

Что касается вопроса о точной константе в неравенстве (8), то он разумеется представляет большой интерес. К сожалению, рассуждения проведенные нами в ходе доказательства Теоремы 1 не позволяют о нем говорить по причине грубости использованных оценок, которая возникает прежде всего из-за того, что каждый страт рассматривается фактически отдельно. Применить же использованные инструменты из классической теории ко всему стратифицированному множеству невозможно, что ставит перед необходимостью обобщения данных вспомогательных фактов, прежде всего принципа Пойа-Сегё, на стратифицированный случай.

Автор благодарит О.М. Пенкина за постановку задачи и полезные обсуждения вопросов, касающихся данной статьи.

Литература

1. Adams R.A. Sobolev spaces / AP, 1975

2. Bramanti M. On the gradient of Schwarz symmetrization of functions in Sobolev spaces // Boll. Un. Mat. Ital. - 1993. - B(7). - №2. - P.413-430.

3. Gavrilov A., Nicaise S., Penkin О. Poincare’s inequality on stratified sets and applications // Rapport de recherche 01.2, Universite de Valenciennes. - Fevrier 2001. — P.1-20.

4. Saloff-Coste L. Aspects of Sobolev type inequalities / Cambridge University Press, 2002.

5. Talenti G. Best Constant in Sobolev Inequality // Ann. Mat. Pura Appl. - 1976. - 110. -P.353-372.

6. Кузнецов Ю.В. О склейке функций из пространств Wp в / Труды Математического института АН СССР. - 1976. - 140. - с. 191-200.

7. Либ Э., Лосс М. Анализ / Новосибирск: Научная книга, 1998.

8. Покорный Ю.В., Пенкин О.М., Прядиев В.Л. и др. Дифференциальные уравнения на геометрических графах / М.:Физматлит, 2005.

9. Пойа Г., Сегё Г. Изопериметрические неравенства в математической физике / М.: Физ-матлит, 1962.

SOBOLEV’S IMBEDDING THEOREM ON STRATIFIED SETS

P.A. Kuleshov

Voronezh State University,

Universitetskaya Sq., 1, Voronezh, 394006, Russia, e-mail: pavkuleshov@yandex.ru

Abstract. It is proved Sobolev’s imbedding theorem connected with stratified sets of certain class. It turns out that for the stratified set Q, there exists the embedding of the space Wq1 ’p(Q) into Lfl(Q) with some q depending on p and dimensions of strats. The proof relies on Schwartz’s symmetrization and its properties.

Key words: Sobolev’s imbedding theorem, Schwartz’s symmetrization, stratified sets.