Об усреднении монотонных эллиптических операторов второго порядка тема автореферата и диссертации по математике, 01.01.02 ВАК РФ

Рычаго, Михаил Евгеньевич АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Владимир МЕСТО ЗАЩИТЫ
2000 ГОД ЗАЩИТЫ
   
01.01.02 КОД ВАК РФ
Диссертация по математике на тему «Об усреднении монотонных эллиптических операторов второго порядка»
 
 
Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Рычаго, Михаил Евгеньевич

Введение

1. Усреднение нелинейных вариационных задач

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

1.2. Предварительные результаты

1.3. Доказательство основной теоремы.

1.4. Вспомогательные вопросы.

2. Усреднение нелинейных эллиптических уравнений второго порядка в перфорированных областях

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

2.2. Предварительные результаты

2.3. Доказательство основной теоремы.

2.4. Свойства усредненного оператора.

3. Усреднение монотонных операторов, связанных с общей мерой

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

3.2. Предварительные результаты.

3.3. Техника усреднения.

 
Введение диссертация по математике, на тему "Об усреднении монотонных эллиптических операторов второго порядка"

1. Настоящая диссертация посвящена некоторым вопросам усреднения для уравнений с частными производными. Этот новый раздел дифференциальных уравнений с частными производными возник в основном за последние 30 лет и имеет многочисленные важные применения в теории композитных и перфорированных материалов, теории фильтрации, теории дисперсных сред и в других областях физики, механики и современной техники.

Сам термин усреднение обычно ассоциируется с методами нелинейной механики и обыкновенных дифференциальных уравнений, развитыми в трудах Пуанкаре, Ван дер Поля, Крылова, Боголюбова и др. Длительное время, начиная с прошлого века (работы Максвелла и Рэлея), вопросы усреднения для уравнений с частными производными изучались преимущественно физиками и механиками и оставались вне поля зрения математиков.

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

Теория усреднения краевых задач в перфорированных областях и тесно связанная с ней теория дифференциальных уравнений с бы-строосциллирующими коэффициентами в настоящее время интенсивно развиваются многими отечественными и зарубежными математиками. Имеется ряд монографий, посвященных математическим вопросам усреднения. Это книги Марченко, Хруслова [1], Bensoussan, Lions, Papanicolau [2], Санчес-Паленсии [3], Бахвалова,

Панасенко [4], Олейник, Иосифьяна, Шамаева [5], Жикова, Козлова, Олейник [6] и др., в которых также имеется обширная библиография работ по теории усреднения и связанным с ней прикладным задачам.

Рассмотрим одну модельную постановку задачи усреднения в перфорированной области

0.1) где О, - фиксированная ограниченная область в 1Е1Л, множество = гО, — {ех, х £ (?} - гомотетическое сжатие периодического открытого (не обязательно связного) множества Я С ШЛ Для наглядности можно представить себе, что ф - это внешность периодически расположенной системы шаров в

В области (0.1) рассмотрим простейшее эллиптическое уравнение

-Ам£ + ме = / в П П д., / € Ь2(Р), 0, (0.2) = 0 с условием Неймана на части П П дС}£ границы области (0.1) и условием Дирихле на остальной части границы.

Уравнение (0.2) понимается в следующем смысле. Введем собо-левское пространство 1У1'р({1Г\(де) как замыкание С~Г(Ш) по норме | , р> 1.

Тогда по определению и£ 6 И/1'2(ПП(5е) называется решением задачи (0.2), если выполнено интегральное тождество:

J (Уие - Уу + и'^йх^ J ¡<рйх ч<рецг1'2(ппд£). (о.з)

Смысл усреднения состоит в том, что решение и£, определенное только в перфорированной области О П фе, должно в определенном смысле сходиться к решению "усредненного" уравнения, заданного уже во всей области О. Пусть , Г1, если хеЯ лЛ х{х) = | 0, если х 6 И* \ Я (0'4)

- характеристическая функция множества ф, Хе{х) — Сформулируем типичную теорему усреднения для задачи (0.2).

Теорема 0.1. Пусть множество связно в и ие(х) является решением краевой задачи (0.2). Тогда lim / Хе\ие - u°\2dx = О,

0.5) где м° - решение усредненного уравнения div(A°Vu°) 4- = ïïf в Q, в котором А0 - постоянная симметрическая положительно определенная матрица, $ > 0 - плотность множества ф.

Такого рода теоремы хорошо известны в теории усреднения Все дело, однако, в условиях, накладываемых на область Пф,- Классический метод основан на предположении, что область не только связна в ГО^ (этого было далеко недостаточно), но удовлетворяет условию "сильной связности", что означает существование операторов продолжения где й£ — Psu£, а константа со не зависит от е.

На этой идее базируются многочисленные работы (см., например, работы Е.Я.Хруслова [7], D.Cioranesku, J.Saint-Jean-Paulin [8], В.В.Жикова [9], О.А.Олейник, Г.А.Иосифьяна, А.С.Шамаева [5], [10] и др.). Существование операторов продолжения возможно только при определенных ограничениях на периодическую область Q. Наиболее общая формулировка такова: подходящие операторы продолжения существуют, если Q связна и удовлетворяет условию Липшица (см.[11]). Для нелипшицевых областей такие операторы могут не существовать, например, если F = IR3 \ Q - плотная кубическая упаковка шаров в IR3 (см. [6, с. 123]). Заметим, что в этом примере Q связна.

В 1985 году в связи с некоторыми задачами из прикладной теории вероятностей В.В.Жиков и С.М.Козлов высказали гипотезу: со специальными оценками типа для доказательства свойств усреднения типа (0.5) операторы продолжения не нужны вообще, а достаточно обычной связности Q в IR^. Обоснование этой гипотезы было дано В.В.Жиковым в 1993 году (см. [12]) применительно к линейным эллиптическим задачам в перфорированных областях. При этом выяснилось (см. [13], [14]), что условие связности можно ослабить. Речь идет о так называемом условии р-связности множества Q, которое определяется следующим образом.

Пусть C~r(ü) - множество всех гладких периодических функций, заданных на торе (ячейке) периодичности □ = [0,1)^. Введем пространство Wpfr(Q) как замыкание множества C~r(ü) по соболевской норме ( J (Мр + \Vu\p)dx pn q

Определение 0.1. Открытое периодическое множество Q называется р-связным на торе периодичности, если и £ Wpfr(Q), S/u = 0 п.в. на Q и = const п.в. на Q .

Очевидно, что обычная связность Q на торе влечет р-связность при любом р > 1. Обратное, вообще говоря, неверно (см. [14]).

Итак, если Q является 2-связным на торе периодичности, то имеют место все свойства усреднения, кроме положительной определенности матрицы А0, для чего требуется 2-связность множества Q в IR^. Эти и другие аспекты р-связности подробно обсуждаются в [14], в частности, там построены многочисленные примеры, иллюстрирующие свойство р-связности и показано, что оно в определенном смысле необходимо для усреднения.

Отметим, что теорема усреднения для нелинейных вариационных задач в перфорированных областях в предположении р-связности Q доказана В.В.Жиковым в работе [13].

Дальнейшие исследования в этом направлении привели к естественному обобщению понятия р-связности множества Q до понятия р-связности произвольной периодической борелевской меры точная формулировка которого будет дана ниже. Это новое развитие техники усреднения, предложенной В.В.Жиковым в 1993 году, нашло отражение в работах [14], [15] и в зарубежной литературе получило название "measure approach".

Целью настоящей диссертации является распространение этого нового подхода на нелинейные невариационные эллиптические уравнения второго порядка. Остановимся на этом подробнее.

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

Рассматривается вариационная задача Дирихле вида: т£ = inf / ae(|V«|p + Мр - ид) dx, (0.6) а где О, - ограниченная липшицева область в Ш1*, д G LP'(Q,), р' = р > 1, а(х) = а(х 1,., х*дг) - периодическая с периодом 1 по каждому своему аргументу, полунепрерывная снизу функция на RN, подчиненная оценке 0 < а(х) < М, а£{х) — а(е~1х).

После "естественного расширения" пространства Cq°(Q}, позволяющего infimum заменить на minimum, решение этой задачи существует и единственно, см. §1.1. Ожидаемое свойство усреднения состоит в том, что при е —► 0 энергии т£ и решения и£ должны в определенном смысле сходиться к энергии т0 и решению задачи Дирихле: т0 = min / (/o(Vu) + |w|p - ug) dx. (0.7) uew}'p(n)J n

Здесь /о(0 - усредненный интегрант, определяемый однозначно для каждого £ £ с помощью вспомогательной вариационной задачи на ячейке периодичности: о(0 = inf f a(y)\Z + V«(j,)|* dy , (0.8) ибС°°г(а) J a к которой мы также применяем некоторую процедуру "расширения" пространства С~Г(П) с тем, чтобы функционал (0.8) имел минимум (см. §1.1).

В качестве примера функции а(х) можно взять функцию

1, если х 6 Q, 0, если x£]R"\Q, а(Х) = <) П где - открытое периодическое множество в

Ясно, что, если = = {ех,х 6 ф} - гомотетическое сжатие в е 1 раз, то Ч / -1 \ f 1> еСЛИ Х € Qei «.(*) = а(е х) = | 0> если , е jr* w< и мы видим, что задача (0.6) принимает вид вариационной задачи в перфорированной области С1ПС}£.

В общем случае, в силу полунепрерывности снизу функции а(х) периодическое множество а(х) > 0} будет открытым. Мы требуем, чтобы ф было связно в Ш,^ и предполагаем, что j <1х < +оо. (0.9) пд

В этих условиях доказана следующая теорема. Теорема 1.1. Пусть открытое периодическое множество <5 = {х £ : а(х) > 0} связно в КЛ' и выполнено (0.9). Тогда a) усредненный интегрант /о(О коэрцитивен :

7о(0 > с0|£Г с0 > 0; b) имеет место сходимость энергий :

Нт т£ = т0; c) имеет место сходимость решений :

Нт / ае\и£ - ий\р<1х = 0 ,

-о У 1 1 о. где и£ - решение исходной задачи (0.6), а и0 - решение усредненной задачи (0.7).

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

Рассматривается нелинейное эллиптическое уравнение вида:

- сПуМ^1*, + |ие\*~2и£ = /, / £ ЬР'(П) (0.10) в перфорированной области Г2 П <5е, которое дополняется краевым условием Неймана на части П П границы области (0.1) и условием Дирихле - на остальной части границы. Предполагается, что а(х,£) - периодическая и измеримая по х функция на <5, сильно монотонная по £ (Е для п.в. х Е т удовлетворяющая определенным условиям роста по £ Е ШЛ (более точно см. §2.1, условия 1) - 3)).

В качестве примера функции а(х,£) укажем функцию а(п\£) = где матрица А{х) = не обязательно симметрическая, такова, что а) ciij G L°°(JRN) Vi, j = 1,., TV; б) За > 0, такое, что n для п.в. х G ГОЛ hV(G 1Rn.

Непосредственно проверяется, что определенная таким образом функция а(ж,£) удовлетворяет условиям 1) - 3) с р = 2.

Решение u£ G К уравнения (0.10) понимается в смысле интегрального тождества:

J a(£-1x1Vue)-Vipdx+ J \us\p~2u£(pdx= J fipdx V^ G К (0.11) где пространство V£ определяется как замыкание множества Со°(Г2) по норме! / (|Vwe|p + |w£|p) \Пп<?г

Левую часть (0.11) можно рассматривать как некоторый элемент V* - пространства, сопряженного с К, т.е. пространства непрерывных линейных функционалов над V£. Другими словами, мы имеем оператор A\Ve—>V*, который, как несложно проверить, будет монотонным, коэрцитивным и удовлетворяющим подходящим условиям роста, так что согласно теории монотонных операторов решение задачи (0.10) существует и единственно.

Отметим, что усреднение монотонных операторов во всей области Q (Q = RiV, перфорация отсутствует) изучалось многими авторами, см. работы L.Tartar [16], N.Fusko, G.Moscariello [17], V.Chiado Piat, A.Defranceschi [18], A.A.Панков [19]. По поводу общих свойств монотонных эллиптических операторов см. Ж.-Л.Лионс [20], Ю.А.Дубин-ский [21], И.В.Скрыпник [22].

В предположении связности множества Q в RN мы доказываем, что решение ие исходной задачи сходится к решению и0 усредненной задачи: и0 G W01,P(Q), -div(a0(Vu£)) + Щи°Г2и° = 0/, (0.12) где $ = J x{%)dx - плотность множества Q, а ао(£) - усредненный □ оператор, определенный однозначно для каждого £ £ равенством:

ЫО = J a(y,£ + v)dy, hq в котором г; = v(y,£) - решение вспомогательной периодической задачи, которую мы здесь не выписываем, см. §2.1.

Теорема 2.1.Предположим, что периодическое открытое множество Q связно в JRN и функция а(у,£) удовлетворяют условиям 1) — 3). Тогда имеет место слабая сходимость потоков:

Хе(х)а(£-^W) - a0(VuQ) слабое LP'(Q)N, а также справедлива сходимость решений в смысле: lim [ \и£ — м°(р dx = О, £-+0 J fin qe где иf - решение задачи (0.10), а и0 - решение усредненной задачи (0.12).

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

4. В третьей главе рассматривается более общая постановка задачи усреднения для нелинейных эллиптических уравнений второго порядка, которые изучались в предыдущей главе. При этом реализуется подход, связанный с применением теории меры ("Zhilcov measure approach").

Итак, пусть /л - неотрицательная 1-периодическая по каждому аргументу xi, х2,., xjv мера на R^, нормированная условием f d/л — 1. о

Для постановки задачи усреднения введем меру /¿€ равенством ц£{А) = eNц(е~1А) для любого борелевского множества А С , с'1 А = £ А}. Мера /¿е имеет период £ и слабо сходится к мере Лебега: dße —>• dx.

Пусть Q - ограниченная липшицева область в Рассмотрим нелинейное эллиптическое уравнение

- dzi;(a(£1^,Vw£)) + ¡u£|p~V = / на П, (0.13) дополненное краевым условием Дирихле: u£\qq = 0 •

Мы предполагаем, что f(x) £ C(Ú), р > 1 , а функция а(х,£) ц-измерима по х £ П и сильно монотонна по £ £ для /г-п.в. х е ti с подходящими условиями роста по £ £ (см. §3.1, условия 1) - 3)).

Чтобы определить решение задачи (0.13), введем сначала пространство Х£ как замыкание множества пар {(м, Vu), и £ Cq°(Q)} в произведении Lp(ti,dfj,£) х I/(Q, dfie)N. Элементами служат пары (u,z), где и - функция, а г - вектор. Условимся вектор 2 обозначать Vu и называть градиентом функции и. Совокупность первых компонент и назовем соболевским пространством И^'^П,dfi£). Функция и £ WQp(Q,dpi£) может иметь много градиентов, но это не является препятствием для определения решения задачи (0.13).

Определение 3.1. Функция и£ £ W01,p(fi, dpLe) называется решением задачи (0.13), если выполнено интегральное тождество

J(а(£-1х, Vue) • V^ + = J fydn, V<p £ C0°°(Q) , (0.14) fi íí в котором Vu£ - некоторый градиент функции и£.

Левая часть (0.14) непрерывна по £ Х£ (при фиксированных (u£,Vu£)) и представляет собой некоторый элемент X* - пространства, сопряженного с Х£, т.е. пространства непрерывных линейных функционалов над Х£. Таким образом, получаем оператор А : Х£ X*, который удовлетворяет условиям монотонности, ко-эрцитивности и роста типа ii) , что согласно теории монотонных операторов обеспечивает существование и единственность решения задачи (0.13). Отметим, что единственность здесь двоякая: одна функция и£ £ WQ,p(Q,dp£) и только один из ее градиентов удовлетворяют интегральному тождеству (0.14).

В теореме усреднения устанавливаются все основные свойства сходимости решения исходной задачи к решению и0 усредненной задачи, связанной уже с мерой Лебега: u°ew¿>p{tt), -div(o0(V«0)) + |tí0|p-2«0 = /. (0.15)

Здесь усредненный оператор ао(£) определен равенством: ао{0 = J а{у,£ + v)d(¿ , □ в котором V = v(y,£) - решение вспомогательной периодической задачи: f G Vpot , J + v) ■ = 0 G Vppot, a где через Vp0t = ^(ü,^) обозначено замыкание множества {V^ : l/p

V € C~r(ü)} no норме I / ) , элементами которого служат потециальные периодические векторы, заданные на ячейке периодичности.

Как уже отмечалось, мы применяем технику усреднения, разработанную В.В.Жиковым в [15] и доказываем основные свойства усреднения, опираясь лишь на одно достаточно прозрачное свойство меры /г, именно, свойство р-связности, которое к тому же необходимо для усреднения.

Определение 3.2 Периодическая мера ц называется р-связной на торе периодичности, если и = const /i-n.eкак только найдутся ип £ С™г(0), такие, что lim / |u„ — u\pdß = 0 , lim / \Vun\pdfi = 0 . n—► OO J n—S-OO J

Сформулируем основной результат третьей главы. Теорема 3.1. Пусть мера ¡л является р-связной, и£ - решение исходной задачи (0.13), и0 - решение усредненной задачи (0.15). Тогда имеет место слабая сходимость потоков: i) lim J а(51ж, W) • <pdp£ = j a0(Vu°) • <pdx G C™(Q)N ,

Q П а также сходимость решений: ii) lim J (pued[i£ = J <pu° dx 4<p G С£°(П) ;

V1

П Q iii) lim / \ue\pdfie = / \uQ\pdx .

Отметим, что свойство (п) означает слабую сходимость ие —и0 в "переменном" пространстве 2/(0, с?/х£), а совокупность свойств (и) и (ш) эквивалентна сильной сходимости функций в 1/(0, ¿(1£).

Пусть - открытое периодическое множество в Если положить йц = р(х)йх, где ; \ 0 вне <2, то получим задачу усреднения вида (0.10) в перфорированной области О П которой была посвящена вторая глава. Из определения 3.2 следует, что обычная связность ф в влечет р-связность меры ¡л и теорема усреднения действует.

Отметим также, что в первой главе мы имели дело с абсолютно непрерывной относительно меры Лебега мерой заданной равенством с?^ = а(х) йх, в котором вес а(х) удовлетворяет интегральному условию (0.9). Можно показать [15], что такая: мера является р-связной и усредненный интегрант /о(О коэрцитивен.

Различные примеры р-связных мер (фрактальные меры, периодические графы и др.) и связанные с ними другие важные постановки задач усреднения (об эффективной проводимости электрических цепей и пр.) можно найти в работах [14], [15].

Несколько слов о структуре диссертации. Каждая глава начинается с небольшого введения, в котором ставится задача и намечаются методы ее решения. Вспомогательные вопросы, как правило, выносятся в отдельный параграф. Нумерация теорем, лемм и формул независимая в каждой главе, причем первая цифра указывает на номер главы, а вторая - на порядковый номер теоремы, леммы или формулы. Список литературы составлен в порядке цитирования и оканчивается работами автора [25] - [33] по теме диссертации.

В заключении автор выражает глубокую и искреннюю благодарность научному руководителю, доктору физико-математических наук, профессору Василию Васильевичу Жикову за постановку задачи, руководство и постоянное внимание к работе.

 
Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Рычаго, Михаил Евгеньевич, Владимир

1. Марченко В.А., Хруслов Е.Я. Краевые задачи в областях с мелкозернистой границей. - Киев: Наукова Думка, 1974.

2. Bensoussan A.,Lions J.L.,Papanicolau G. Asymptotic Analysis for Periodic Structure. Amsterdam: Noth Holland, 1978.

3. Санчес-Паленсия E. Неоднородные среды и теория колебаний. М.:Мир, 1984.

4. Бахвалов Н.С., Панасенко Г.П. Осреднение процессов в периодических средах. М.:Наука, 1984.

5. Олейник О.А., Иосифьян Г.А., Шамаев А.С. Математические задачи теории сильно неоднородных упругих сред. М.:МГУ, 1990.

6. Жиков В.В., Козлов С.М., Олейник О.А. Усреднение дифференциальных операторов. М.:Физматлит, 1993.

7. Хруслов Е.Я. Асимптотическое поведение второй краевой задачи при измельчении границы области // Математический сборник. 1987. - Т. 306, No.4. - С. 604 - 621.

8. Cioranesku D., Saint-Jean-Paulin J. Homogenization in open sets with, holes // J. Math. Anal. Appl. 1979. - Vol. 71. - pp. 590 - 607.

9. Жиков В.В. Усреднение функционалов вариационного исчисления и теории упругости // Известия АН СССР, серия математическая. 1986. - Т. 50, No.4. - С. 675 - 711.

10. Acerbi E., Chiado Piat V., Dal Maso G., Percivale D. An extension theorem for connected sets and homogenization in general periodic domains- // Nonlinear Anal. 1992. - Vol. 18, No. 5. - pp. 481 -496.12