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

УДК 517.956.4

СИЛЬНЫЙ ПРИНЦИП МАКСИМУМА ДЛЯ ПАРАБОЛИЧЕСКОГО ОПЕРАТОРА

НА СТРАТИФИЦИРОВАННОМ МНОЖЕСТВЕ

STRONG MAXIMUM PRINCIPLE FOR AN PARABOLLIC OPERATOR ON

A STRATIFIED SET

Д.В. Савастеев D.V. Savasteev

Воронежский государственный университет, Россия, 394006, Россия, г. Воронеж, Университетская

площадь, 1

Voronezh State University, 1 Universitetskaya pl., Voronezh, 394006, Russia E-mail: savasteev@gmail.com

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

Resume. We prove the strong maximum principle for an analogue of parabolic operators for stratified sets. It is shown, that the solution of a parabolic equation on a stratified set with nonnegative right side can possess a local maximum inside of a stratified cylinder only if solution is a constant in some neighborhood of this maximum. In addition, we prove an analogue of the Hopf-Oleynik normal derivative lemma for stratified sets. We show that if the normal derivative of the solution of a parabolic equation on a stratified set with nonnegative right side exists in some maximum point on the lateral boundary of the cylinder and the boundary satisfies so-called hyperplane condition then this derivative is negative in this point.

Ключевые слова: стратифицированное множество, сильный принцип максимума, лемма о нормальной производной.

Keywords: stratified set, strong maximum principle, lemma of normal derivative.

Введение

В последнее время внимание специалистов всё больше привлекают дифференциальные уравнения на так называемых стратифицированных множествах. Многие прикладные задачи приводят к таким уравнениям. Однако их качественная теория на сегодняшний момент развита слабо. Например, для параболических уравнений сильный принцип максимума в его общей постановке не доказан. Связано это с тем, что лемма Олейник-Хопфа о нормальной производной, с помощью которой обычно доказывается сильный принцип максимума в классическом случае, на стратифицированном множестве наталкивается на серьёзные препятствия. Поэтому к настоящему моменту такое обобщение было получено лишь в случае двумерных стратифицированных множеств [3]. Для эллиптических уравнений сильный принцип максимума был доказан для стратифицированного множества произвольной размерности, но с ограничением на геометрию стратов [4].

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

Основные понятия

В этом параграфе мы приведём основные понятия теории стратифицированных множеств. Мы ограничимся лишь кратким описанием. Подробные определения в источнике [1].

Под стратифицированным множеством будем понимать тройку (О, £, дО) .

Здесь О с Я1 - связное ограниченное множество с индуцированной из Я1 топологией и метрикой. £ - разбиение О на конечное число многообразий различной размерности. Каждое такое многообразие мы будем называть стратом и обозначать ок . В обозначении: к - размерность страта (к = 0,...,К), у - порядковый номер (у = \,...,Л(к)). Мы также допускаем использование ок для обозначения произвольного страта размерности к. Множество док = ак к мы будем называть границей страта. Требования на гладкость стратов и их границы мы приведём позже.

Для разбиения £ предполагается выполнение следующих условий:

- никакие два страта не пересекаются;

- граница каждого страта представима в виде объединения некоторых других стратов

из £.

Если ок с дот , то будем называть ок гранью стт , говорить, что стт примыкает к ок . Из свойств 1 и 2 следует, что любая грань одного страта и любая грань другого либо не пересекаются, либо совпадают. Если страт не является ничьей гранью, то такой страт мы называем свободным. Любой страт максимальной размерности является свободным. Размерностью стратифицированного множества будем называть максимальную размерность его стратов. Заметим, что размерность стратифицированного множества вообще говоря не совпадает с размерностью пространства.

Далее, дО из тройки - это подмножество О . Предполагается выполнение следующих условий:

1. дО представимо в виде объединения некоторого числа стратов из £;

2. дО замкнуто;

3. множество О0 = О - связное, и ^о = ^.

Множество дО мы будем называть границей стратифицированного множества.

Приведём теперь условия на гладкость стратов. Пусть Мк с Я1 - произвольное к -мерное многообразие. Будем называть М^ плоским, если существует такое линейное многообразие Ьк с Я1 размерности к, что МА с Ьк . Итак, будем предполагать, что каждый внутренний страт ок (т.е. такой, что ^ е О0 ) является плоским. А каждый граничный страт - кусочно-гладкий. На этом определение стратифицированного множества окончено.

Так как под стратифицированным множеством мы понимаем тройку, то изменение хотя бы одного элемента тройки порождает новое стратифицированное множество. Например, при фиксированном О можно по разному выбрать разбиение £. Аналогично, при фиксированных О и £ можно по разному выбрать границу дО .

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

Далее, нам потребуется понятие стратифицированного подмножества. Пусть С - область в Я1 с кусочно-гладкой границей. Если С о О0 - связное, то положим О = С о О . Будем рассматривать О как самостоятельное стратифицированное множество. Его стратами будут пересечения С и дС со стратами О . В качестве границы можно выбрать

дО' = (дС о О) ^ (Со дО).

Мы будем называть О стратифицированным подмножеством множества О . Чаще всего мы будем рассматривать случай, когда множество С является шаром в Я1.

Определение 1. Будем называть радиус допустимым, если соответствующий шар с центром в точке х пересекает только те страты, для которых х является граничной точкой.

Определение 2. Стратифицированное множество, образованное пересечением с шаром допустимого радиуса, будем называть стратифицированным шаром. Пересечение стратифицированного множества со сферой будем называть стратифицированной сферой.

Рассмотрим внутреннюю точку X е ак с О0 . Пусть О - стратифицированный шар допустимого радиуса с центром в точке X . Тогда в качестве границы дО можно выбрать стратифицированную сферу.

Иногда нам придётся дополнительно включать в границу страт ак , где ак - страт, образованный пересечением ак с О . В этом случае множество О'0 = О может оказаться несвязным. Тогда, с формальной точки зрения, мы не можем рассматривать О как стратифицированное множество. Поэтому мы разобьём множество О'0 на связные компоненты, и рассмотрим каждую из них по отдельности. Обозначим каждую компоненту связности множества О'0 через О'0 . Обозначим замыкание О0 через О' .

Каждое О' теперь можно рассматривать как самостоятельное стратифицированное множество. Его границей будет страт а'к и соответствующий участок стратифицированной сферы .

Каждое множество О' будем называть связной компонентой стратифицированного шара О' .

Введём теперь на О функциональные пространства и дифференциальный оператор. Рассмотрим функцию и : О ^ Я. Положим Са(О0) - пространство функций на О0 таких, что

Уак е О0 : ик е С(ак),

где ик - сужение и на к . Положим С2 (О0) - пространство функций и на О таких, что

Че О0: ике С 2(ак)П С1(ак)-

Заметим, что от функций и е С (О ) не требуется непрерывности целиком на О0 . Поэтому в

конечном итоге мы будем рассматривать класс С(О( П С2О).

Пусть x - точка к -мерного страта к , который является гранью некоторого (к+1) -мерного страта к+1. Обозначим через ^о - набор нормалей в точке x по направлению примыкающего страта к+1. Так как страт к+1 может примыкать к к более одного раза с разных сторон, то таких нормалей может быть несколько.

Определение 3. Каждую нормаль ^о по всем примыкающим к+1 будем называть примыкающим направлением в точке х.

Пусть р е С ¡г ("о ) продолжаема по непрерывности на границу каждого страта. Обозначим Р 1о (х) - предел функции Р в точке х со стороны ^о . Введём на каждом страте из "о орто-нормированную систему координат х' . Рассмотрим оператор:

ди

Ьи(х) = а" (х)Бдги(х) + Ь"(х)Бди(х) + р ' (х)—(х)

Вдг и о - символы взятия производной по направлениям х" и хг, суммирование ведётся по повторяющимся элементам;

а"г и Ь" принадлежат пространству С& о) ;

матрица а" - равномерно положительно определённая;

^о - некоторое примыкающее направление в точке х ; суммирование ведётся по всем примыкающим направлениям;

р е С <т ("о) продолжаема по непрерывности на границу каждого страта; р 1о (х) - предел функции р в точке х со стороны ^о ; р(х) > р0 > 0;

Л(Х)1 А(Х)< да , Ь"(Х)/А(Х)< да и р/ А < да где Л(Х) и А(Х) - максимальное и минимальное собственные значения матрицы а" (X).

Оператор Ь является аналогом равномерно эллиптического оператора для стратифицированного множества. Первые три условия и последнее - это стандартные условия для эллиптического оператора [2]. Сумму

а¥(х}Вчги(х) +

будем называть классической частью оператора Ь. Слагаемое

ди

Р { (х)—(х)

будем называть частью из нормальных производных.

Введём теперь понятие стратифицированного цилиндра. Пусть О - стратифицированное множество. Рассмотрим декартово произведение О х [0, Т]. Полученное множество будем обозначать ОТ и называть стратифицированным цилиндром. Множество ОТ = О х (0, Т] будем называть внутренностью цилиндра, оставшееся множество - дОТ - границей цилиндра. Множества О0 х {о} и О0 х{т} будем называть нижней и верхней крышкой цилиндра, множество дО х [0,Т] - боковой границей. Таким образом граница стратифицированного цилиндра состоит из нижней крышки цилиндра и боковой границы.

При фиксированном ' е [0, Т] сечение цилиндра представляет из себя копию стратифицированного множества

О , сдвинутое на величину t. Такое сечение мы будем обозначать О . Если и е С2 (О'0) , то для сужения и на О'0 определён эллиптический оператор Ь. Он состоит из двух частей - классической и части из нормальных производных. Каждую нормальную производную мы будем называть нормальной производной в пределах сечения.

Снабдим теперь каждую внутреннюю точку направлением д' . Положим следующие ограничения на функцию и. Для каждого сечения О' сужение функции и принадлежит

С2 (О0) и в

каждой точке х е ОТ функция и имеет непрерывную производную по '. Такой класс функций мы обозначим через С2(ОТ ) Для таких функций и определим оператора:

Ти = Ьи - —.

до

Оператора Т мы будем называть параболическим.

Постановка задачи

Мы определили понятие стратифицированного цилиндра и оператора Т. Теперь мы можем сформулировать основное утверждение статьи - сильный принцип максимума для параболического оператора.

Определение 4. Назовём точку

локальным тривиальным максимумом функции и , если в некоторой её окрестности функция и равна константе.

Теорема (принцип максимума). Пусть и е С(ОТ) оС2(ОТ) • И пусть для неё выполняется неравенство:

Ти > 0.

Тогда функция и не может иметь внутри цилиндра и на верхней крышке локального нетривиального максимума•

Лемма о нормальной производной

Для доказательства принципа максимума нам понадобится лемма о нормальной производной для параболического оператора.

Пусть О - стратифицированное множество. Рассмотрим граничную точку х едО. Пусть V -

некоторое примыкающее направление. Проведём через х гиперплоскость Н е Я1 так, чтобы

направление V образовывало ненулевой угол с Н . Обозначим через Я - открытое полупространство, в сторону которого смотрит вектор V.

Будем говорить, что граница стратифицированного множества дО удовлетворяет в точке х е дО условию гиперплоскости по отношению к направлению V, если существует такая гиперплоскость Н е Я1, которая проходит через х, а граница дО не пересекает полупространство Я .

Сформулируем лемму о нормальной производной.

Лемма [о нормальной производной]. Пусть ОТ - стратифицированный цилиндр, и е С(ОТ ) о С2 (ОТ ) . Пусть и удовлетворяет на ОТ неравенству:

Ти > 0

и достигает своего максимума в некоторой точке X , лежащей на боковой границе цилиндра. И пусть также выполняется строгое неравенство и(х)<и(Х) для всех точек хе ОТ .

Пусть О' - сечение, которому принадлежит точка X, V - примыкающее направление в точке X в пределах этого сечения О', а граница сечения удовлетворяет условию гиперплоскости в

„ ди

точке X по отношению к V. Тогда, если существует производная —, то она меньше нуля.

дv

Доказательство. Рассмотрим сечение О'. Рассмотрим в О' шар допустимого радиуса с центром в точке X . Переобозначим через О - компоненту связности шара (см. подробнее в первом разделе), в сторону которой смотрит направление V. Переобозначим ак - страт из О ,в котором лежит точка X . Т.к. О - компонента связности стратифицированного шара, то граница дО представима в виде объединения двух множеств. Первое (обозначим его д1 О) - участок границы

дО' , второе (обозначим его д2О ) - участок стратифицированной сферы. По условию леммы участок д1 О не пересекает полупространства Я , а на д2О для любого х выполняется неравенство

Построим цилиндр ПТ достаточно малой высоты. До конца доказательства все рассмотрения будут вестись в новом цилиндре ПТ . Обозначим через д1П и д2 П участки боковой границы цилиндра, порождённые д1 О и д2О соответственно. По построению на д2О и на нижней крышке цилиндра выполняется неравенство и(х) < и(X).

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

О . И пусть Н - гиперплоскость в Ь, которая фигурирует в условии гиперплоскости границы дО , то есть граница дО не пересекает полупространство

Я.

Положим для любой точки х е Ь

ф(х) = вы,(х>-1 -е, \ х-X \2, где к - аффинная функция, которая равна нулю на

Н , а а и е - некоторые числа, которые мы

определи позже. По построению

фе С (П) о С¿(О,).

Утверждение 1. Для функции ф выполняются следующие свойства:

1. ф'^) = 0 ;

2 ф ' < 0 на Ни во всех точках д2 О , лежащих в некоторой окрестности Н ;

3. Ьф' >0 на П о Я1;

дф

-> 0, где V - примыкающее направление из условия леммы•

4. дv

Доказательство. Так как к(X) = 0, то ф' (X) = 0 (свойство 1).

Далее, результат оператора Ь, применённого к функции вЛ , равен:

(Ьв"11 )(Х) = егЩХ)(а2а"(Х)Их кх +аЬ"(X)ИХ +ар(Х)—) >

" ' " ду

> ваЛ(Х)(аХ(Х) | УИ |2 +аЬ"(Х)кх +аУ р(Х) —) =

^ ду

= ваМх}Х(Х)(а2 | УИ |2 +а^^И +аУ ^—)

ЦХ) х" ^Х(Х) ду

По построению градиент УИ перпендикулярен гиперплоскости Н . Так как любой страт в Я образует с Н ненулевой угол, то сужение величины | У И |2 на каждый страт из Я отделено от нуля. Так как по определению оператора Ь А равномерно положительна на О0 , а величины

Ь"(Х), ЬЧ(Х), р(Х) дИ а-Их .-Их и--

А(Х) х" А(Х) х" и А(Х) ду

ограничены, то, выбирая а достаточно большим, получим неравенство:

Ь(вак-1)>С >0.

В то же время, значение Ь(1х — XI2) ограничено. Поэтому, выбирая щ достаточно малым, имеем Ьф > 0 (свойство 3).

Проверим свойство 2. Напомним, что по построению участок д2О является подмножеством

стратифицированной сферы с центром в точке X. Поэтому во всех точках д О значение — щ | х — XI2 меньше некоторой отрицательной константы. В точках гиперплоскости Н выполняется е^ —1 = 0. Это значит, что для некоторой окрестности и(Н) значение функции ф на множестве и(Н) п д2О будет меньше отрицательной константы. Размер окрестности будет зависеть от щ . Но мы

уже выбрали щ и можем считать его фиксированным. Итак, на Н и в пересечении некоторой окрестности Н и д2О имеем ф(х) < 0 (свойство 2).

И наконец, так как в точке X производная И по V больше нуля, а производная | х-XI2 равна нулю, то производная ф тоже будет больше нуля (свойство 4). Утверждение доказано.

Положим теперь для х е О функцию ф(х) = ф (х ) , где х - проекция точки х на О . Тогда

Тф = Ьф>0.

дф

Положим и =и + £ф .

Утверждение 2. Существует такое £ >0, что для всех точек хе ОТ выполняется неравенство и(Х) > и(х).

Доказательство. По построению точка X лежит в О . Рассмотрим гиперплоскость Н, проходящую через X . Продолжим Н на всё пространство Я перпендикулярно к О . Обозначим эту гиперплоскость через НТ . Пусть и(НТ) - некоторая достаточно малая окрестность Нт . Тогда на множестве

дОТ п ((Я'+1у ^ ) ^ и(НТ ))

выполняется ф(х) < 0 . Поэтому и(х) < и(Х). Оставшаяся часть границы является замкнутым множеством, на котором и(х)<и(Х). Поэтому на ней имеет место оценка и(х)<и(Х) — д . Так как ф ограниченная, то при некотором £ >0 будет £ф < д. Следовательно и(х)<и(Х). Итак, имеем при х е дОТ неравенство и(х) < и(Х), при этом и(х) < и (X).

Рассмотрим теперь множество ОТ . На нём

(н А (/17

Ти = аЧг(х)Бч!гии(х)+ЬЧ(х)Ви(х) + £ р — (х) — — > 0.

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

дм

aqr (x)D и (x)+bq (x)D~(x)-->0.

dt

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

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

Так как QT - компакт, а функция и непрерывна, то она достигает своего максимума на QT . Так как максимум не достигается на аТ , значит,

sup < sup < и(Х).

Итак, мы получили при любом х е О неравенство и(х) < и (X). Утверждение доказано.

Мы показали, что X - точка максимума функции и на множестве О . Так как по условию

леммы в точке X существует производная по направлению V, то эта производная неположительная. А так как соответствующая производная функции ф по построению больше нуля, получаем требуемое утверждение. Лемма доказана.

а

Основное доказательство

Перейдём теперь к доказательству сильного принципа максимума. Предположим противное. Пусть в ОТ имеется локальный нетривиальный максимум. Выберем среди всех точек максимума такую, которая лежит на страте максимальной размерности. Если такой страт свободный, то получаем противоречие с классическим принципом максимума для параболического оператора. Пусть

страт не является свободным. Рассмотрим сечение О'. В пределах этого сечения рассмотрим все примыкающие направления.

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

О , а страты основания через о .

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

Утверждение 3. Для любой компоненты связности (О' )Т имеет место следующая альтернатива• Либо функция и равна константе на всём (О' )Т , либо для любой точки х е (О' )Т {о к выполняется неравенство и(х) < и(X).

Доказательство. Рассмотрим множество всех точек максимума функции и на (О'0 )Т . Согласно выбору точки X, множество точек максимума либо пустое, либо состоит из тривиальных максимумов. Если оно не пусто, то оно открыто, так как каждый тривиальный максимум содержится в нём вместе с некоторой окрестностью таких же тривиальных максимумов. С другой стороны, множество точек максимума замкнуто (относительно (О'0 )Т ), так как функция и непрерывна. Таким образом, множество точек максимума на (О'0 )Т либо совпадает со всем (О' )Т , либо пусто.

Если множество точек максимума на (О' )Т совпадает со всем (О'0 )Т , то функция и является на (О'0)Т константой. Если множество точек максимума на (О')Т пусто, то по построению (О' )Т {окО с ОТ , для любой точки х е (О' )Т {о'к выполняется неравенство и^^^. Утверждение доказано.

Если функция и равна константе на (О' )Т , то по всем примыкающим направлениям в пределах сечения цилиндра (О' )Т нормальная производная равна нулю. Если функция и не равна константе, то выполняются все условия леммы о нормальной производной. Следовательно по любому примыкающему направлению в пределах (О' )Т нормальная производная меньше нуля.

Так как X - точка нетривиального максимума, то существует хотя бы одна компонента связности, на которой и не равна константе. Так как функция р из оператора Ь больше некоторого положительного числа, то

р'(х) ^(Х) <0.

Значит, классическая часть оператора Т больше нуля, что противоречит классическому принципу максимума, применённому к сужению функции и на а\ . Теорема доказана.

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

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

Pokomy Y. V. Differential Equations on Geometric Graphs / Y. V. Pokomy, O.M. Penkin. - M.: Physmathlit, 2005. - 272 p.

2. Гилбарг Д. Эллиптические дифференциальные уравнения с частными производными второго порядка / Д. Гилбарг, Н. Трудингер. - М.: Наука, 1989. - 464 с.

Gilbarg D. Elliptic Partial Differential Equations of Second Order / D. Gilbarg, N. Trudinger. -Springer-Verlag Berlin Heidelberg, 2001. - 518 p.

3. Куляба В.В. Принцип максимума для параболических неравенств на стратифицированных множествах / В.В. Куляба, О.М. Пенкин // Матем. заметки, Т. 73. - 2003. - С. 244-257.

Kulyaba V.V. The Maximum Principle for Parabolic Inequalities on Stratified Sets / V.V. Kulyaba, О.М. Penkin // Mathematical Notes, Т. 73. - 2003. - С. 244-257.

4. Ощепкова С.Н Лемма о нормальной производной для лапласиана на полиэдральном множестве / С.Н. Ощепкова, О.М. Пенкин, Д.В. Савастеев // Матем. Заметки. - Т. 96. - 2014. -С. 116-125.

Oshchepkova S.N. The normal derivative lemma for the Laplacian on a polyhedral set S.N. Oshchepkova, О.М. Penkin, D.V. Savasteev // Mathematical Notes. - Т. 96. - 2014. - С. 116-125.