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

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

На правах рукописи

ХРИПУНОВА БАЛДЖЫ Анна Сергеевна

ВАРИАЦИОННАЯ СХОДИМОСТЬ ИНТЕГРАНТОВ С НЕСТАНДАРТНЫМИ УСЛОВИЯМИ КОЭРЦИТИВНОСТИ И РОСТА

Специальность 01.01.02 - Дифференциальные уравнения, динамические системы и оптимальное управление

Автореферат

диссертации на соискание ученой степени кандидата физико-математических наук

2 Я НОЯ 2013

Владимир 2013 005541500

005541500

Работа выполнена в ГОУ ВПО «Владимирский государственный университет имени Александра Григорьевича и Николая Григорьевича Столетовых»

Научный руководитель доктор физико-математических

наук, профессор Московского государственного технического университета радиотехники, электроники и автоматики

Пастухова Светлана Евгеньевна

Официальные оппоненты: доктор физико-математических

наук, профессор Московского государственного университета им. М.В. Ломоносова Шапошникова Татьяна Ардолионовна

кандидат физико-математических наук, профессор Ковровской государственной технологической академии им. В.А. Дегтярева Барабанов Олег Олегович

Ведущая организация Институт прикладной математики

им. М.В. Келдыша РАН

Защита диссертации состоится 23 декабря 2013 г. в 16 ч. 00 мин. на заседании диссертационного совета Д 212.025.08 при Владимирском государственном университете по адресу: г. Владимир, пр-т Строителей, д. 11, ауд. 237.

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

Автореферат разослан «21» ноября 2013 г.

Ученый секретарь диссертационного совета кандидат физико-математических наук, доцент

Л/

У Наумова С.Б.

Общая характеристика работы

Актуальность темы. В задачах вариационного исчисления требуется найти наименьшее значение функционала, заданного на некотором множестве. Если задана последовательность вариационных задач, то возникает вопрос о корректном определении предельной задачи и предельного функционала. Наиболее естественным языком, описывающим асимптотическое поведение вариационных задач, является так называемая Г-сходимость. Главная особенность Г-сходимости состоит в том, что широкие классы интегрантов оказываются компактными относительно этой сходимости.

1. В рамках абстрактной теории вопросы Г-сходимости были изучены в работах итальянских математиков Э.Де Джорджи 1,2 и его коллег более тридцати лет назад. Л. Карбоне и К. Сбордоне 3 конкретизировали абстрактную теорию для интегральных функционалов вида

где ПсШ.** есть ограниченная липшицева область, а интегрант /(х,£) : П х Щ/* —► Ю.* предполагается каратеодориевой, выпуклой по £ функцией, для которой выполнены стандартные условия коэрцитивности и роста

В.В. Жиков в работах4,5 построил более общую теорию Г-сходимости интегральных функционалов с нестандартными условиями коэрцитив-ности и роста

-со + Cl|í|Q < f(x,0 < C2\íf + со, С! > О, со > о, 1<0<I3<00. (2)

Отметим важную особенность функционалов с нестандартными условиями коэрцитивности и роста (2): когда показатель нелинейности а. отвечающий за свойство коэрцитивности, строго меньше показателя ¡3, отвечающего за свойство ограниченности, возникает неединственность поста-?ювки вариационной задачи, или эффект Лаврентьева. Эффект Лаврентьева

lDe Gioigi Е., Franzoni T. Su uu tipo di convergema variazionale//Atti Accad.Naï.Lincei Rend. Cl. Sci. Fis. Mat. Natur.-197S.-58(8).—p.842-850.

2De Giorgi E., Letta G. Une notion generate de convergence bible des fonctions croissantes d'ensemble,'/Ann. Scuola Sup. Pisa.-1977.-.V>33.-p.61-99.

3Carbone L., Sbordone C. Some properties of Г-limits of intergral functionsls '/Ann. Mat. Pura Appl.-1979-T.122.-№4.P.l-60.

*Жпков В.В. Вопросы сходимости, двойственности и усреднения для функционалов вариационного исчислешш//Иэв.Ан СССР.Сер.матем.—1983.—Т.47.-ХВ5.-С.961—998.

5Жиков В.В., О переходе к пределу в нелинейных вариационныхзадаяах//Мат. сборник. -1992.-т.183 — №8.-С.47-84.

(1)

-со + Cifêr < f{x, О < С2ICI" + Со, Cl > 0, со > О, 1 < а < оо.

выражается в неравенстве

Ei = min f f(x,Vu)dx< inf [ f(x, Vu)dx = fy, (3)

из которого видно, что с одним и тем же функционалом F можно связать задачи двух типов - Е\ и Е?.. В связи с этим В.В. Жиковым было введено два типа Г-сходимости.

Отмеченные выше результаты относились к интегральным функционалам F вида (1), зависящим от градиента V«, но не от самой функции и. Представляет интерес рассмотреть функционалы, которые зависят не только от градиента Vu, но и невыпуклым образом от самой функции и. Последнее обстоятельство отмечалось в качестве нерешенной проблемы в работах A. Braides6 и В.В. Жикова5 более 20 лет назад. Рассмотрим интегральные функционалы вида

F(u) = J f(x, и, Vu)dx. Ja

Интегрантами являются каратеодориевы (с непрерывностью по s и £), выпуклые по f функции /(x,s,£) : fi х IR х UV* Ш,, для которых имеют место

• нестандартные условия коэрцитивности и роста

—eg + ci|£|™ < f(x,s,£) < Pali!'' + со ; ci > 0, cq > 0, 1 < а < ß < оо; (4)

• свойство непрерывности по второму аргументу:

f{x,s',0-f(x,s,0 <w(|s-s'|)/(z,s,£) (5)

для любых £€lR<i, s, s'eIR и п.в. х€0, где ui(t) : [0, оо) -> [0, тп] - непрерывная функция такая, что w(0) = 0.

Предполагается доказать теоремы компактности относительно Г-сходимости в классе (4)-(5) при некоторых дополнительных условиях на показатель а.

2. Много задач на усреднение связано со степенными интегрантами вида li-lpW

/(*,£) = ]SK-1 1 < а < р(х) < ß < оо. (6)

р{х)

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

eBraides, A. Defranceschi,A. Homogenization of Multiple Integrals — Clarendon Press: Oxford Lecture Series in Mathematics and Its Applications, 12, 1998. — 298 p.

эти свойства при Г-сходимости степенных интегрантов. Заметим, что сама степенная структура в пределе теряется.

3. Во многих вопросах важно выяснить, когда слабый предел произведения we • Vuc, где w£ - соленоидальный вектор, равен произведению слабых пределов w ■ Vu. По классической лемме о компенсированной компактности Тартара - Мюра,7 ws и Vt/£ должны быть ограничены во взаимно-сопряженных лебеговых пространствах. Предполагается сформулировать подобные условия ограниченности в более общих терминах, в которых участвует Г-сходимость интегрантов.

Цели работы. Настоящая работа посвящена Г-сходимости интегрантов с нестандартными условиями коэрцитивности и роста:

доказательству теоремы компактности относительно Г-сходимости класса интегрантов f{x,s,£), заданного условиями (4)-(5);

изучению свойств Г-пределов последовательностей степенных интегрантов;

получению новых вариантов леммы о компенсированной компактности.

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

Научная новизна. Перечислим основные результаты диссертации.

1. Доказана теорема компактности для нестандартного класса (4)-(5), если показатель а, отвечающий за свойство коэрцитивности, см.(З), строго больше размерности пространства d. Установлен достаточный признак сходимости энергий и минимизантов вариационных задач Дирихле;

2. Показано, что присущие степенным интегрантам свойства строгой выпуклости и дифференцируемое™ сохраняются при переходе к Г-пределу;

3. Получены новые варианты леммы о компенсированной компактности с условиями ограниченности в терминах Г-сходимости интегрантов с нестандартными условиями коэрцитивности и роста.

Теоретическая и практическая значимость. Полученные в диссертации результаты носят теоретический характер и могут быть использованы в различных областях теории дифференциальных уравнений в частных производных, вариационного исчисления, теории усреднения, теории монотонных операторов. Результаты диссертационной работы являются частью научно-исследовательских работ, проводимых при финансовой поддержке Российского фонда фундаментальных исследований, проекты 11-01-00331,13-01-90700 и гранта-субсидии Мин. обр. и науки РФ Гк14.В37.21.0362.

7Mnrat, F. Compacité par compensation /Ann. Scuola norm, super. Pisa, Cl. Sei. Fis. Mat.-1978.-5:3.-p.89-107.

Апробация работы. Результаты диссертационной работы докладывались на международной конференции по дифференциальным уравнениям и динамическим системам (Суздаль, 2010, 2012), обсуждались на научном семинаре по дифференциальным уравнениям под руководством профессора В.В. Жикова во Владимирском государственном университете имени А.Г. и Н.Г. Столетовых.

Публикации автора. Основные результаты диссертации опубликованы в работах 1—5. Из них работы 1, 2 опубликованы в изданиях, рекомендованных ВАК для публикации основных результатов кандидатской диссертации.

Структура и объем диссертации. Диссертация состоит из введения, трех глав и списка цитированной литературы. Объем диссертации составляет страниц машинописного текста.

Краткое содержание работы

1. Приведем некоторые факты и определения из абстрактной теории Г-сходимости. Пусть X - метрическое пространство. Будем рассматривать

функции (функционалы)

" Определение 1. Функция F называется Т-пределом последовательности Fn, если

1) выполнено условие полунепрерывности снизу

lim inf F^Un) > F(u) как только un -> и;

п—Юо

2) для любого иеХ существует последовательность ип, такая что ип ->■ и, lim F„(u„) = F(u).

п—юо

Справедлив следующий принцип выбора: из каждой последовательности функций Fn, заданных на сепарабелъном метрическом пространстве X, можно извлечь Г-сходящуюся подпоследовательность.

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

F(u) = inf lim F(ti-n). u^es u„->u

Релаксационный функционал F также полунепрерывен снизу на X и F < F на X. Эффектом Лаврентьева называют не только неравенства вида Ei<E2,

см. (3), но и саму ситуацию, когда F ф Г. Если для допредельных функционалов ^ имеет место эффект Лаврентьева, то с последовательностью функционалов Рп можно связать два в общем случае не совпадающих предельных

объекта _

Г- Ига Гп и Г- 11т (7)

п-»оо п-юо

Первый из них далее обозначается как Гх-Пт Р„, а второй - Гг-Шп^.

3. Рассмотрим функционалы Р(и) на соболевском пространстве а > 1, для которых выполнено неравенство коэрцитивности

Г(и) > с||Уи||2„(11) - 1, с> 0. (8)

Для этого класса предпочтптельнее использовать определение Г-предела в терминах слабой сходимости в IV1 ""(й), подробное изложение приведено в §1 диссертации.

Определение 2. Функционал \ есть Г-предел последовательности Р„ на Мп'а{П), если

1) выполнено условие полунепрерывности снизу

ВтЫ Рп(ип) > х("). как только «„-»■« в ^'"(П);

п-+оо

2) для любого найдется последовательность ип такая, что

ип ШЕИ^'ЧП), Иш Рп(и„) = х(и).

п-»оо

Нетрудно показать, что оценка (8) сохраняется при переходе к Г-пределу. Применяя результаты абстрактной теории Г-сходимости, получаем следующий результат о компактности:

класс функционалов, подчиненных оценке (8), компактен относительно Г-сходимости, понимаемой в слшсле определения 2.

4. Начнем с определений Г-сходимости иктегрантов (функционалов) класса (2), введенных В.В. Жиковым в работах4,5.

Определение 3. Интегрант / есть Т\-предел последовательности /„, если

1) выполнено неравенство

1ш1 т£ [ /п(х,Уип)<£с > / ¡{х,Чи)<1х,

п-+оо Jn JS1

как только ил-Ч1В 1У1,0(П);

2) для любого ue Wlj3(i2) найдется последовательность ti„S W1,a(il) (называемая Ti-ревлизующей), такая что

и,, -ь и в и„ - ueWi'a(Cl),

lim / fn(x,Vun)dx= / f{x,Vu)dx.

Ja J n

В определении Гг-сходимости требуется принадлежность аппроксимирующей последовательности ы„ пространству Два варианта Г-сходимости

интегрантов соответствуют двум абстрактным предельным объектам, см. (7). Известны примеры8 несовпадения и Г2-пределов.

Пример 1. Пусть f(y,£) - периодический по убШ.^ интегрант, □ = [0,l)d- ячейка периодичности. Положим /е(х,£) = /(§,£)> е > 0, и определим усредненные интегранты

/^(0= inf f f(x^ + 4u)dx,

uew&(D) Ja

/2hom(i)= f f(x,t + Vu)dx,

□) Ja

где □) - соболевское пространство периодических функций. Как известно, задача усреднения представляет собой частный случай нахождения Г-предела, при этом

Ti- lim /£ = ЛЬ°т. Г2- lim /е =

£-»0 £-»0

В работе8 построен пример интегранта, для которого выполнено строгое неравенство /1hom < /2Ьот.

Имеет место следующий принцип компактности, доказанный В.В. Жико-вым в работе5.

Принцип компактности. Для всякой последовательности /„ интегрантов из класса (2) найдется подпоследовательность /п> и интегрант f из класса (2) такие, что fn< Д / в любой липшицевой подобласти области П. Аналогичное утверждение верно для случая Т^-сходимости.

Далее, говоря о Г-сходимости /„ в области О, предполагаем, что /„ f в любой липшицевой подобласти области Q. В таком случае нетрудно показать единственность Tj- и Г2-предела. Именно это свойство единственности позволяет говорить о сходимости интегрантов, а не только о сходимости интегральных функционалов.

8Жиков В.В. Эффект Лаврентьева и усреднение нелинейных вариационных задач / Дифференциальные уравнения,- 1991.^r.27.-Nl.-c.42-50.

5. Перейдем к классу интегрантов (4)-(5). Соответствующий функционал F(u) считаем заданным на всем соболевском пространстве И/1'а(П), где он может принимать значение +оо. Имеет место вложение W^ilJcdomF, где domF = {ueW1'a(n), F(w) < оо}. Функционал F(u) слабо полунепрерывен снизу на W1'a(ri)1 сильно непрерывен на пространстве W^fi) и коэрцитивен на »'¿■"(П) .

Определение 4. Интегрантп f есть Ti-предел последовательности fn, если

1) выполнено неравенство

liminf / fn{x, ип, Vu„)dx > / f(x,u,Vu)dx, n"+0° Jn Jn

как только un и в 1У1,0Г(Я);

2) для любого ueW1-13(Q) найдется последовательность u„.eWl a{Q,) (называемая Г\-реализующей), такая что

ип и в W^iSl), ип - ие»$,а((1),

lim / f„(x,un, Vun)(£r = / f{x, и, Vu)dx. Jn Jn

В определении Гг-сходимости требуется принадлежность аппроксимирующей

последовательности ип пространству П).

6. Нашей целью является доказательство теоремы о компактности относительно Ti и Г2-сходимости для класса интегрантов (4)-(5). Основным вспомогательным средством будет Г-сходимость при "замороженном" параметре sGIR. которую будем далее называть Г(в)-сходимостью.

Определение 5. Интегрант f есть Ti{s)-npede.i последовательности /„, если

1) выполнено условие полунепрерывности снизу

liminf ( f„ix,s,Vun)dx > f f{x,s,Vu)dx, VselR, Jn Ja

как только un -i и в W1,c*(f2);

2) для любых u€W1,3(fi) и selR найдется поагедовательность ип€1У1,л(П) такая, что

ип —>■ и в

lim / fn{x,s% Vun)dx = f(x,s,Vu)dx.

n->°° J u J»

Определение Г2($)-предела отличается от определения Г1(з)-прсдсла тем, что в условиях 1) и 2) аппроксимирующая последовательность ип принадлежит пространству Wl'!1{£l) .

Для каждого фиксированного 5 по принципу компактности Жикова из последовательности интегрантов /„(-, s, •) можно извлечь ^-сходящуюся подпоследовательность. Используя диагональный процесс, найдем последовательность {п'}С{п} и интегрант /(x,s,£), такие что /„-(•,«,;) {(■'«'■) /и1Я любого рационального я £ Q. Предельный интегрант /(*,*, О наследует свойства (4), (5), в которых пока з <= Q. По непрерывности Г ^предельный интегрант продолжается на все множество s 6 И. Построенный таким образом предельный объект принадлежит классу (4)-(5). Доказан следующий результат о компактности: из каждой последовательности /„ интегрантов класса (4W5) можно извлечь Г»(а)- и Т2(В)-сходящуюся подпоследовательность.

Оказывается, что при условии на показатель a>d последовательность Г,(б)-сходящихся интегрантов класса (4)-(5) будет Ггсходящиейся в смысле определения 4. Аналогичное утверждение верно относительно Г2-сходимости.

Основной результат первой главы составляет Теорема 1.1 Рассмотрим класс каратеодориевых интегрантов f(x,s,i), для которых выполнены i) условие выпуклости по

И) нестандартные условия коэрцитивности и роста, см. (4); щ) свойство типа липшицевости по второму аргументу, см. (5): iv) дополнительное ограничение на показатель: а > d.

Тогда Т^-сходящаяся последовательность интегрантов является 1 х-сходящейся. Аналогичное утверждение справедливо и для Т2-сходимости

Следствием теоремы 1.1 является следующий принцип компактности. Теорема 1.2 Класс выпуклых по£ интегрантов, удовлетворяющих условиям (4)-(5) при a>d, компактен относительно 1> и Г2- сходимости.

Заметим, что условие a>d является существенным в наших рассмотрениях Оно позволяет эффективно использовать свойство непрерывности (5). Без условия a>d доказательство компактности остается открытой проблемой.

7 В абстрактной теории устанавливается, что Г-сходимость функционалов при определенных условиях влечет сходимость минимумов и мини-мизантов (см., например, A. Braides9). Для изучаемых нами интегральных функционалов этот вопрос требует отдельного рассмотрения из-за эффекта Лаврентьева. Изучим эту ситуацию подробнее на примере задачи Дирихле. Рассмотрим вариационные задачи

Е\ — min f f{x,u,Vu)dx, ij{x,u,Vu)dx. (10)

»'¿■"(П) Jn с° (U) Ja

Отмстим одно различие задач Е1 и Е2. Минимум в задаче Ег достигается по теореме Вейерштрасса - Тонеллп, поскольку интегральный функционал

»Braides А. г-converseDce for Ъфапет. - Oxford University Press, 2002 - 218 p.

слабо полунепрерывен снизу и коэрцитивен на В задаче Е2 минимум

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

Для интегрантов /„ рассмотрим задачи двух типов

min [ fn{x,u,Vu)dx, = mf f fn(x,u,Wu)dx.

И^ "*(П) Jil W<II)./n

Если / = Гг lim/,!, то возникает вопрос о сходимости энергий Е{"]. Идеальным ответом была бы сходимость

Um Е\п) = Ег. (И)

п-юо

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

Ег = min F(u) < liminfß^ < limsup£[n) < inf F(u) = Eh- (12) wj'-ifi) "-+00 cUrl")

Из неравенств (12) следует, что для сходимости энергий Е[п) достаточно равенства энергий двух типов в задачах (10) с ^-предельным интегрантом /. Это приводит к следующему определению регулярного интегранта.

Определение 6. Назовем интегрантп f регулярным, если для любого и € Wq'"(Л), такого что F(u)<oo, существует последовательность и„еСо°(0), для которой

un^uBWt"(Cl), lim f f{x, un,Vun)dx = f f(x,и, Vu)dx. n " П-+00 Jq Jci

Из определения видно, что в случае регулярного интегранта задачи первого и второго типа в (10) совпадают, поэтому имеет место сходимость энергий

(И).

8. Глава 2 посвящена изучению Г-сходимости степенных интегрантов вида (6). Определим класс S(a,ß) как Г-замыкание множества степенных интегрантов вида (6). Заметим, что интегранты класса S(a,ß), вообще говоря, не обязательно сохраняют степенную структуру.

Пример 2. Рассмотрим задачу усреднения для последовательности интегрантов /(у„£) = где /(у, О периодическая по у функция с ячейкой периодичности □ = [0, l)d . Известно, что в одномерном случае (d = 1) имеет место представление

^hom = £ ^щ-dy, f"(x, Г]) = sup{£ • ч - /(*,£)}-

Возьмем кусочно-постоянный показатель р{у), принимающий значения Р1 и рг- Тогда интегрант (/Ьош)" (£) есть сумма степенных интегрантов с разными показателями р[ и р'2- Отсюда видно, что сам усредненный интегрант /Ъот(0 не является степенным.

Пример 3. Степенной интегрант очевидно изотропен, то есть зависит только от . Изотропия не сохраняется при переходе к Г-пределу, что показывают примеры усреднения в случае квадратичного интегранта. Действительно, при (I = 2 рассмотрим интегранты

где а(Vi) > 0 - непрерывная периодическая функция, (а) - среднее по пери-

откуда видно, что предельный интегрант не изотропен.

К важнейшим свойствам степенных интегрантов относятся

• Д2-условие: /(ж,±2£) < с/(х,£) + 1;

• строгая выпуклость по

• дифференцируемость по

Наша цель состоит в проверке этих свойств для интегрантов класса 5(а,уЗ). Сформулируем центральные результаты второй главы. Теорема 2.1 Интегранты }(х,£) класса Я(а, в) строго выпуклы по £ для п. в. то есть

Теорема 2.2 Интегранты Г(х,г}), сопряженные по Юнгу к интегрантам класса Б(а,0), строго выпуклы по у для п.в. х&О..

Из теорем 2.1 и 2.2, а также общих свойств выпуклых функций следует, что Г-предельный интегрант дифференцируем по Действительно, выпуклая функция /(£) не обязательно дифференцируема, можно говорить лишь о существовании субградиента в точке. Напомним, что вектор т?о€П1 называют субградиентом /(£) в точке ^оёГОЛ если

Из выпуклого анализа известно, что функция /(£) является дифференцируемой в точке, если ее субградиент единственен, что в свою очередь выполнено

10Жиков В.В., Козлов С.М., Олейшпс O.A. Усреднение дифференциальных операторов. М.: Наука, 1993.

/.(*,£) = а lei2,

ДО-/(&)>»»-К-6)

в случае строгой выпуклости сопряженной функции /"(£). Из этих соображений и теоремы 2.2 следует

Теорема 2.3 Интеграпты f(x, £) класса S(ct,fl) и сопряженные к ним дифференцируемы по

Еще один результат, касающийся равномерной выпуклости, удалось получить только в случае а > 2 . Справедлива следующая теорема. "Утверждение 2.4 Для интегрантов класса S(ct,/3), 2 < а < р(х) < fi, выполнено свойство равномерной выпуклости

î (х, + / (*, < \(Нх, а+/(х, г,)).

9. Часто требуется найти предел произведения we-Vu£ соленоидального вектора w, и градиента Vue, слабо сходящихся в L°(ïl)d и l/'(fl)d соответственно, при этом 1 < а < /3. В классической лемме о компенсированной компактности Тартара — Мюра установлена сходимость

lim / <pw€ ■ S7utdx = / ipwVudx V<p € C£°(iî), e->°Jn Jn

при условии a = /3. В Главе 3 диссертации доказаны новые варианты леммы о компенсированной компактности, в которых а < 0. Отправной точкой послужили недавние результаты В.В.Жикова и С.Е. Пастуховой11,12. В этих работах устанавливается слабая сходимость в смысле мер произведения w€ ■ Vuc к произведению слабых пределов w ■ Vu с точностью до сингулярной компоненты

we ■ Vuedx —k dp., dfi = w ■ Vudx + dps,

где ц* - сингулярная (относительно меры Лебега dx) мера. Примеры показывают, что сингулярная компонента может быть нетривиальной. Наша цель -найти такие случаи, когда сингулярная компонента отсутствует. Предположим, что

ие —^ и в W1,a(f2), we w в L3\Q)d, divw£ = 0. (13)

Имеющееся в лемме Тартара - Мюра условие ограниченности множителей Vu£, ws во взаимно сопряженных лебеговых пространствах заменим на более общее условие вида

f /£(х, Vuc)dx, [ /Е"(х, we)dx <С< ос, (14)

Jn Jn

"Жиков B.B. К технике предельного перехода в нелинейных эллиптических уравнениях, // функциональный анализ и его приложения. — 2009.—43.—2.—с.19-38.

12Жихов В.В., Пастухова С.Е. О принципе компенсированной компактности //Докл. РАН. — 2010. — 433. — 5. - с.590-595.

где интегранты fe удовлетворяют нестандартным условиям коэрцитивности и роста с показателями а, /3. такими, что

. f -т^-1 если а < d, /,с\

l<a</3<a =s dra ^ * (15)

— ^ +оо, если а > а.

Теорема 3.1 Пусть /£- интегранты класса (2), для которых требуем регулярность, равномерное по е А2-условие и сходимость fe —»■ /, где / -регулярен. Тогда, в предположениях (13)-(15) имеет место слабая сходимость мер

we ■ Vu£dx w • Vudx.

Приведем примеры, в которых предположения теоремы 3.1 выполнены. Пример 4. Пусть /£=/ и / = /(£) - выпуклый интегрант, удовлетворяющий Д2-условию и оценке (2). Тогда условие (14) принимает вид

[ f(\7ue)dx, [ f~(v>e)dx < С < оо. Ун Ун

Регулярность выпуклого интегранта /(4) хорошо известна13. В случае Д£) = получается классический результат Тартара - Мюра, Пример 5. Пусть /£(i,i)=|^|p*(l) - степенной интегрант, где р£(х)= р (f) и р(у) - периодическая функция на 1 <а<р(у)</?<£**, удовлетворяющая

логарифмическому условию X.Fan - Жикова14:

|p(x)-p(y)|<r-V", х,уеП,\х-у\<±.

Это условие обеспечивает регулярность интегранта /е. Предельный интегрант / является регулярным, так как не зависит от пространственной переменной: f{x,О = /ta"п(£), см. (9).

В работе 1 доказаны более общие результаты, в которых функционалы из условия (14) не являются регулярными.

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

иЭклацз И., Темам Р. Выпуклый анализ и вариапнониые проблемы. М.: Мир. 1979. "Жиков В.В. Об эффекте Лаврентьева / Докл. РАН.- 1995.- т.345.-Ы1.- с.10-14.

ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

Публикации в изданиях из перечня ВАК

1. Пастухова С.Е., Хрипунова A.C. Некоторые варианты принципа компенсированной компактности // Математический сборник, 2011, т. 202, №9, с. 135-160.

2. Pastukhova S.E., Khripunova A.S. Gamma-closure of some classes of nonstandard convex integrands // Journal of Mathematical Sciences, 2011, Volume 177, Issue 1, p. 83-108.

Публикации в прочих изданиях

3. Пастухова С.Е., Хрипунова A.C. Некоторые варианты принципа компенсированной компактности // Международная конференция по дифференциальным уравнениям и динамическим системам. Тезисы докладов, 2010, с.63:

4. Хрипунова A.C. О равномерной выпуклости Г-предельного элемента дл последовательности степенных интегрантов //Международная конференция по дифференциальным уравнениям и динамическим системам. Тезисы докладов, 2012, с.74.

5. Пастухова С.Е., Хрипунова A.C. О Гамма-компактности одного класса интегрантов с нестандартными условиями коэрцитивности и роста// Проблемы математического анализа, 2013, т.74, с.

Подписано в печать 15.11.13. Формат 60x84/16. Усл. печ. л. 0,93. Тираж 100 экз. Заказ ¿5£> Издательство Владимирского государственного университета имени Александра Григорьевича и Николая Григорьевича Столетовых. 600000, Владимир, ул. Горького, 87.

 
Текст научной работы диссертации и автореферата по математике, кандидата физико-математических наук, Хрипунова Балджы, Анна Сергеевна, Владимир

ФЕДЕРАЛЬНОЕ БЮДЖЕТНОЕ ГОСУДАРСТВЕННОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ ВЛАДИМИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМ. А.Г.и Н.Г.СТОЛЕТОВЫХ

На правах рукописи

ХРИПУНОВА БАЛДЖЫ АННА СЕРГЕЕВНА

Вариационная сходимость интегрантов с нестандартными условиями коэрцитивности и

роста

01.01.02 - Дифференциальные уравнения, динамические системы

и оптимальное управление

Диссертация

на соискание ученой степени кандидата физико-математических наук

Научный руководитель -доктор физико-математических наук, профессор Пастухова Светлана Евгеньевна

Владимир - 2013

Оглавление

Введение 2

1 О Г-компактности одного класса интегрантов с нестандартными условиями коэрцитивности и роста 14

§1 Основные положения теории Г-сходимости......................................14

§2 Г-сходимость интегрантов с нестандартными условиями коэрцитивности и

роста вида /(х, в, £)..................................................................22

§3 Теорема о Г($)-компактности........................................................26

§4 Теорема о Г-компактности..........................................................29

§5 Сходимость минимумов и минимизантов..........................................32

2 О переходе к пределу в классе степенных интегрантов 38

§6 О Г-замыкании класса степенных интегрантов..................................38

§7 Строгая выпуклость Г-предельного интегранта..................................46

§8 Строгая выпуклость сопряженных к Г-предельным интегрантам и её следствия ..................................................................................57

§9 Равномерная выпуклость и Г-сходимость..........................................63

3 Варианты леммы о компенсированной компактности 65

§10 Классическая лемма о компенсированной компактности и ее обобщения ... 65

§11 01у-сиг1 лемма с условиями в терминах Г-сходимости ..........................70

Литература 72

Введение

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

1. В рамках абстрактной теории вопросы Г-сходи мости были изучены в работах итальянских математиков Э.Де Джорджи [7], [8] и его коллег более тридцати лет назад. Л. Карбоне и К. Сбордоне [3) конкретизировали абстрактную теорию для интегральных функционалов вида

где ПсК* есть ограниченная липшицева область, а интегрант /(х, £) : О х ГО/*—предполагается каратеодориевой, выпуклой по £ функцией, для которой выполнены стандартные условия коэрцитивности и роста: < /(х, £) < с(|£1а + 1), 1 < а < оо.

Жиков В.В. в работах [15], [18] построил более общую теорию Г-сходимости интегральных функционалов с нестандартными условиями коэрцитивности и роста

В работе [18] установлено, что класс (0.2) компактен относительно Т-сходимости. Отметим важную особенность функционалов с нестандартными условиями коэрцитивности и роста (0.2): когда показатель нелинейности а, отвечающий за свойство коэрцитивности, строго меньше показателя /?, отвечающего за свойство ограниченности, воз-

(0.1)

-са + С1 < /(¡с, 0 < с2[£|" + о, , сь с2 > 0, О) > 0, 1 < а < /? < оо. (0.2)

никает неединственность постановки вариационной задачи, или эффект Лаврентьева. Эффект Лаврентьева выражается в неравенстве

Ri= min I f(x7Vu)dx< inf [ f(x,Vu)dx = (0.3)

^»'¿'"(fi) Jn vecf(ü) Jn

из которого видно, что с одним и тем же функционалом F можно связать задачи двух типов - Ei и Е2. В связи с этим В,В. Жиковым было введено два типа Г-сходимости.

Отмеченные выше результаты относились к интегральным функционалам F вида (0.1), зависящим от градиента Vu, но не от самой функции и. Представляет интерес рассмотреть функционалы, которые зависят не только от градиента Vu, но и невыпуклым образом от самой функции и. Последнее обстоятельство отмечалось в качестве нерешенной проблемы в работах А. Braides [1] и В.В. Жикова [18] более 20 лет назад. Рассмотрим интегральные функционалы вида

F(u) = I f(x, и, Vu)dx. Jn

Интегрантами являются каратеодориевы (с непрерывностью по з и £), выпуклые по £ функции f(x, s, £): fi х ГО. х IRd —>■ IR, для которых имеют место

• нестандартные условия коэрцитивности и роста

-Co + Cj^l* <f(x,s,0 < Qt\S\ß + Cf>, d, 02 >0,Cv>0, \<a<ß<oo] (0.4)

• свойство непрерывности по второму аргументу:

/(*, У, £) - f(x, s, £) < ш(\s - s, О (0.5)

для любых СеШ^, $, s'elR и п.в. где w(t) : [0,оо) —^ [0, ш] — непрерывная функция

такая, что w(0) = 0.

Предполагается доказать теоремы компактности относительно Г-сходимости в классе (0.4)-(0-5) при некоторых дополнительных условиях на показатель.

2. Приведем некоторые факты и определения из абстрактной теории Г-сходимости. Пусть X - метрическое пространство. Будем рассматривать функции (функционалы) F, Fn : X ^ [-оо,+оо].

Определение 0.1 Функция F называется Г-пределом последовательности Fn, если 1) выполнено условие полунепрерывности снизу

lim inf F(un) > F(u) как только tin —Щ

П-+00

2) для любого и € X существует последовательность ип, такая что

ип и, lim iv(un) = F(u).

n-ioo

Справедлив следующий принцип выбора: из каждой последовательности функций Fnf заданных на сепарабелъном метрическом пространстве X, можно извлечь Г-сходящуюся подпоследовательность.

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

F(u) = inf lim F(«n). (0.6)

t(n€S«n-Ml

Релаксационный функционал F также полунепрерывен снизу на X и F < F на X. Эффектом Лаврентьева называют не только неравенства вида Е\<Е2, см. (0.3), но и саму ситуацию, когда F ф F. Если для допредельных функционалов Fn имеет место эффект Лаврентьева, то с последовательностью функционалов Fn можно связать два в общем случае не совпадающих предельных объекта

Г- lim Fn и Г- lim Fn. (0.7)

II-+00 n-юо

Первый из них далее обозначается как IVlim Fn, а второй - r2-lim Fn.

3. Рассмотрим функционалы F(u) на соболевском пространстве И/1,о(0), а > 1, для которых выполнено неравенство коэрцитивности

F(u) > c||Vu||£e(n) - 1, о 0.

(0.8)

Для этого класса предпочтительнее использовать определение Г-предела в терминах слабой сходимости в W1,a(£i), подробное изложение приведено в §1 диссертации.

Определение 0.2 Функция % есть Г-предел последовательности Fn на если

1) выполнено условие полунепрерывности снизу

liminf> как только ип -1- и в W1,a{ti)\

2) для любого u€W1,a (fi) найдется последовательность ип такая, что

ип u€Wha(Q), lim Fn(un) = *(«).

пчоо

Нетрудно показать, что оценка (0.8) сохраняется при переходе к Г-пределу. Применяя результаты абстрактной теории Г-сходимости, получаем следующий результат о компактности: класс функционалов, подчиненных оценке (0.8), компактен относительно Г-сходимости, понимаемой в смысле определения 3.

4. Начнем с определений Г-сходимости интегрантов (функционалов) класса (0.2), введенных В.В. Жиковым в работах [15], [18].

Определение 0.3 Интегрант f есть Fi-предел последовательности /„, если 1) выполнено неравенство

liminf / fn(x, VunWx > f f(x,Vu)dx, Ja Jа

как только «„-'ив

2) для любого найдется последовательность ипеИ^1,а(П) (называемая Г1-

реализующей), такая что

ип и в wl,e(fi), ип - uew01,e(n), lim / /п(х, Vun)dx = I f(x, Vu)dx.

Jn Jii

В определении Гг-сходимости требуется принадлежность аппроксимирующей последовательности и-п пространству Два варианта Г-сходимости интегрантов соответствуют двум абстрактным предельным объектам, см. (0.7). Известны примеры [17] несовпадения Г] и Гг-пределов,

Пример 1. Пусть /(у, £) - периодический по уёИ** интегрант, □ = [0,ячейка

периодичности. Положим — / (|,£), £ > 0, и определим усредненные интегранты

и Jо

$от(() = [ ¡{Х,£ + Чи)с1,х,

где Ир^(О) - соболевское пространство периодических функций. Как известно, задача усреднения представляет собой частный случай нахождения Г-предела, при этом

Г1-Шп Д = ЛЬот> Г2- Ит Л = УГ".

В работе [17} построен пример интегранта, для которого выполнено строгое неравенство /1Ьот < /2Ьот.

Имеет место следующий принцип компактности, доказанный В.В. Жиковым в работе 118].

Принцип компактности. Для всякой последовательности /„ интегрантов из класса (0.2) найдется подпоследовательность /„/ и интегрант / из класса (0.2) такие, что /„» / в любой липшицевой подобласти области П.

Аналогичное утверждение верно для случая Г2-сходимости.

г

Далее, говоря о Г-сходимости /„ в области Г!, предполагаем, что /„ —> / в любой липшицевой подобласти области П. В таком случае нетрудно показать единственность Г1- и Гг-предела. Именно это свойство единственности позволяет говорить о сходимости интегрантов, а не только о сходимости интегральных функционалов.

5. Перейдем к классу интегрантов (0.4)-(0.5). Соответствующий функционал Р(и) считаем заданным на всем соболевском пространстве Ил1,С1(!Г2), где он может принимать значение +оо. Имеет место вложение где

¿от*" = Р{и) < оо}.

Функционал Г (и) слабо полунепрерывен снизу на сильно непрерывен на про-

странстве VI/*1"5 (¡7) и коэрцитивен на .

Определение 0.4 Интегрант / есть Г 1-предел последовательности /п, если

0.9

1) выполнено неравенство

liminf I fn{x,UntVun)dx > I J(x,u,Vu)dx, Jn in

как только un —1 « в (О);

2) для любого uGVl/1'ß(f2) найдется последовательность UnG^'^ffi) (называемая Г\-реализующеÜ), такая что

Un^UB ип - tiGM^fi),

lim / fn(x,un, Vun)dx = / /(x,u,Vu)<fe. Jo Jfi

В определении ^-сходимости требуется принадлежность аппроксимирующей последоваг тельности ип пространству H/1*-t'(Q).

6. Нашей целью является доказательство теоремы о компактности относительно Ti и Г2-сходимости для класса интегрантов (0.4)-(0.5). Основным вспомогательным средством будет Г-сходимость при "замороженном" параметре s€lR. Обозначим этот промежуточный тип сходимости через Г(з).

Определение 0-5 Интегрант f есть Г ^s)-предел последовательности fn, если 1) выполнено условие полунепрерывности снизу

liminf / fn(xy s, Vun)dx > / f(x, Vu)dx, VsSlR, in Jn

как только u„ —1 u в W1,a(fi); 2) для любых и s€lR найдется последовательность Un€Wl'a(U) такая, что

ип^и в И^П), u„ - u€W01,e(il),

lim I fn(x, st Vun)dx = I J(x, s, Vu)dx. Jn Jn

Определение Г2(5)-предела отличается от определения Г^^-предела тем, что в условиях 1) и 2) аппроксимирующая последовательность ип принадлежит пространству (П).

Для каждого фиксированного э по принципу компактности Жикова из последовательности интегрантов /„(•, 5, *) можно извлечь Г\-сходящуюся подпоследовательность. Используя диагональный процесс, найдем последовательность {га'}с{п} и интегрант /(х,з,£), такие что /А; з,0 ^ /(■>«» О для любого рационального 5 € <0>. Предельный

интегрант /(х, наследует свойства (0.4), (0.5), в которых пока 5 € О- По непрерывности Г!-предельный интегрант продолжается на все множество 5 € Ш,. Построенный таким образом предельный объект принадлежит классу (0.4)-(0.5). Доказан следующий результат о компактности: из каждой последовательности /п интегрантпов класса (0.4)-(0.5) можно извлечь Г^)- и Го (я)-сходящуюся подпоследовательность.

Оказывается, что при условии на показатель а>с1 последовательность Г^)-сходящихся интегрантов класса (0.4)-(0.5) будет Г^сходящиейся в смысле определения 4. Аналогичное утверждение верно относительно Гг-сходимости.

Основной результат первой главы составляет Теорема 1,1 Рассмотрим класс каратеодориевых интегрантов /(х, £), для которых выполнены

г) условие выпуклости по

И) нестандартные условия коэрцит.ивности и роста, см. (0.4); Ш) свойство типа липшицевости по второму аргументу, см. (0.5); п>) дополнительное ограничение на показатель: а > ё.

Тогда Г1 (в)-сходящаяся последовательность интегрантов является Т х-сходящейся. Аналогичное утверждение справедливо и для Го - сходимости

Следствием теоремы 1.1 является следующий принцип компактности.

Теорема 1,2 Класс выпуклых по £ интегрантов, удовлетворяющих условиям (0.4)-(0.5) при а>й, компактен относительно Г!- и Г2- сходимости.

Теоремы 1.1 и 1.2 доказаны в работе [10]. Заметим, что условие а><1 является существенным в наших рассмотрениях. Оно позволяет эффективно использовать свойство непрерывности (0.5). Без условия а>д доказательство компактности остается открытой проблемой.

7. В абстрактной теории устанавливается, что Г-сходимость функционалов при определенных условиях влечет сходимость минимумов и минимизантов (см., например, А. Вгалёез [1]). Для изучаемых нами интегральных функционалов этот вопрос требует отдельного рассмотрения из-за эффекта Лаврентьева. Изучим эту ситуацию подробнее на примере задачи Дирихле. Рассмотрим вариационные задачи

(0.10)

Отметим одно различие задач Ei и Е?. Минимум в задаче Ei достигается по теореме Вейерштрасса - Тонелли, поскольку интегральный функционал слабо полунепрерывен снизу и коэрцитивен на ^'"(fl), В задаче Ei минимум может не достигаться, но в этом случае по определению инфимума существуют так называемые г-минимизанты. Для интегрантов /„ рассмотрим задачи двух типов

= min / fn(x,u,Vu)dx, Е^ = inf / fn(x,u,Vu)dx. Jn Jn

Если f = Гг lim /„, то возникает вопрос о сходимости энергий i?}"'. Идеальным ответом была бы сходимость

lim Е[п) = Ег. (0.11)

п-юо

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

El = min Fi и) < lim inf < limsupEjn) < inf F(u) = E2. (0.12)

n-too

Из неравенств (0.12) следует, что для сходимости энергий Е[п^ достаточно равенства энергий двух типов в задачах (0.10) с Гi-предельным интегрантом /. Это приводит к следующему определению регулярного интегранта. Определение 0.6 Назовем интегрант / регулярным, если для любого и € И^1'™^), такого что F(u)<oo, существует последовательность un€Co°(fi), для которой

и в W01,o,(ii), lim / f{x,vtn, Vu„)dx = / f(x,u,Vu)dx. "-*00 Jn J n

Из определения видно, что в случае регулярного интегранта задачи первого и второго типа в (0.10) совпадают, поэтому имеет место сходимость энергий (0.11). 8. Много задач на усреднение связано со степенными интегрантами вида

Степенной интегрант (0.13) принадлежит классу (0.2), является строго выпуклым и дифференцируемым по аргументу Возникает вопрос, сохраняются ли эти свойства при Г-

сходимости степенных интегрантов. Заметим, что сама степенная структура в пределе теряется.

Пример 2. Рассмотрим задачу усреднения для последовательности интегрантов f(y,0 ~ ^ф/с) ' где /(У'О периодическая по у функция с ячейкой периодичности □ = [0, l)<i . Известно, что в одномерном случае (d = 1) имеет место представление

где </*(£) = sup{£ * т} — g(v)} - это сопряженная по Юнгу - Фенхелю функция. Возьмем кусочно-постоянный показатель р{у), принимающий значения р\ и р2* Тогда интегрант (/hom)*(f) есть сумма степенных интегрантов с разными показателями р\ и р'2. Отсюда видно, что сам усредненный интегрант /hom(£) не является степенным. Это следует из свойств операции сопряжения, приведенных в главе 2 (см. свойства i),ii) в §6).

Пример 3. Степенной интегрант очевидно изотропен, то есть зависит только от Изотропия не сохраняется при переходе к Г-пределу, что показывают примеры усреднения в случае квадратичного интегранта. Действительно, при d = 2 рассмотрим интегранты

где а(у\) > 0 - непрерывная, периодическая функция, (о) - среднее по периоду. Из теории усреднения известно, см.[19] стр.12, что

Y-Ximh = {a)g + (a-lrltl

откуда видно, что предельный интегрант не изотропен.

К важнейшим свойствам степенных интегрантов относятся

• Д2-условие: }{х, ±Ц) < c(f(x, £) + 1);

• строгая выпуклость по

• дифференцируемость по

Наша цель состоит в проверке этих свойств для интегрантов класса S(a, ß). Сформулируем центральные результаты второй главы.

Теорема 2.1 Интегранты f(x,£) класса S(a, ß) строго выпуклы по £ для п.в. x€ii, то

есть

Теорема 2.2 Интегранты /*(х,7}), сопряженные по Юнгу к интегрантам класса в (а, р), строго выпуклы по 17 для п.в. х&Л.

Из теорем 2.1 и 2.2, а также общих свойств выпуклых функций следует, что Г-предельный интегрант дифференцируем по С Действительно, выпуклая функция /(£) не обязательно дифференцируема, можно говорить лишь о существовании субградиента в точке. Напомним, что вектор т^еШ^ называют субградиентом /(£) в точке ^оёП^, если

Из выпуклого анализа известно, что функция /(£) является дифференцируемой в точке, если ее субградиент единственен, что в свою очередь выполнено в случае строгой выпуклости сопряженной функции /*(£). Из этих соображений и теоремы 2.2 следует Теорема 2.3 Интегранты /(х, £) класса в (а, /5) и сопряженные к ним дифференцируемы по

Теоремы 2.1, 2.2, 2.3 доказаны в работе [10].

Еще один результат, касающийся равномерной выпуклости, удалось получить только в случае а > 2 . Справедлива следующая теорема.

Утверждение 2.4 Для интегрантов класса 5(а, /?), 2 < а < р(х) < /?, выполнено свойство равномерной выпуклости

9, Во многих вопросах важно выяснить, когда слабый предел произведения го£-где ь)е - соленоидальный вектор, равен произведению слабых пределов ш* Уи. В классической лемме о компенсированной компактности Тартара - Мюра [12] установлена сходимость

при условии а — р. В Главе 3 диссертации доказаны новые варианты леммы о компенсированной компактности, в которых а < ¡3. Отправной точкой послужили недавние ре-

ДО-/(&)>»*■ К^еи«.

/ (*, + / (х, < \{Цх, 0 + /(х,,)).

(0.14)

зультаты В.В.Жико