Задача Вентцеля и ее обобщения тема автореферата и диссертации по математике, 01.01.02 ВАК РФ

Назаров Александр Ильич

ЗАДАЧА ВЕНТЦЕЛЯ И ЕЕ ОБОБЩЕНИЯ

01.01.02 - дифференциальные уравнения

АВТОРЕФЕРАТ диссертации на соискание учёной степени доктора физико-математических наук

Санкт-Петербург 2004

Работа выполнена на кафедре математической физики Санкт-Петербургского государственного университета

Научный консультант:

доктор физико-математических наук, профессор Уральцева Нина Николаевна

Официальные оппоненты:

доктор физико-математических наук, профессор Ивочкина Нина Михайловна доктор физико-математических наук, профессор Пламеневский Борис Алексеевич доктор физико-математических наук, профессор Алхутов Юрий Александрович

Ведущая организация:

Московский государственный университет им. М.В. Ломоносова

пп ю

Защита состоится С.1'1 2004 г. в 1,0 на заседании дис-

сертационного совета Д 002.202.01 в Санкт-Петербургском отделении Математического института им. В.А. Стеклова Российской академии наук по адресу: 191023, Санкт-Петербург, Фонтанка, 27, к. 311.

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

Автореферат разослан

и

2004 г.

Учёный секретарь

диссертационного совета Д 002.202.01 доктор физ.-мат. наук

Зайцев А.Ю.

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

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

К настоящему времени получены достаточно полные результаты, касающиеся разрешимости в гладких областях задачи Дирихле, а также задачи с наклонной производной (описывающей диффузию в области с отражением от границы). Обзор этих результатов, а также обширную библиографию можно найти, например, в работах [1], [2] и в монографиях [3], [4].

В 1959 году А.Д. Вентцель [5] ввел (для эллиптических уравнений) новый класс граничных условий, задаваемых интегро-дифференциальными операторами второго порядка. С вероятностной точки зрения, условия Вентцеля представляют собой наиболее общие допустимые краевые условия, включающие как частные случаи условия Дирихле, Неймана, условие с наклонной производной и смешанные условия.

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

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

Работа поддержана грантом РФФИ N02-01-00276.

НОС. НАЦИОНАЛЬНАЯ

Цель работы. Получение для задачи Вентцеля и некоторых ее обобщений результатов о разрешимости, аналогичных имеющимся для задач Дирихле, Неймана и задачи с наклонной производной. Разработка в связи с этим новых методов получения априорных оценок решений краевых задач для недивергентных эллиптических и параболических уравнений второго порядка.

Методика исследования. Для доказательства разрешимости используются классические методы функционального анализа - метод продолжения по параметру и теорема Лерэ - Шаудера. Для получения априорных оценок применяются различные модификации принципа максимума А.Д. Александрова, метод вспомогательных функций, восходящий к С.Н. Бернштейну и развитый О.А. Ладыженской и Н.Н. Уральцевой, метод барьерных функций, метод масштабирования, а также теоремы вложения и продолжения для пространств Соболева и Кондратьева.

Научная новизна. Все основные результаты диссертации являются новыми. В их числе отметим следующие:

- развитие методов классической теории потенциала в применении к зада-

чам с краевыми условиями высокого порядка для уравнений Лапласа и Гельмгольца, введение и исследование повторных потенциалов;

- доказательство классической разрешимости задачи Вентцеля для уравне-

ний Лапласа и Гельмгольца в ограниченных и неограниченных областях при непрерывных граничных данных;

- получение локальных оценок максимума Александровского типа для ре-

шений двухфазной задачи Вентцеля;

- развитие нового метода получения априорных оценок градиента для реше-

ний нелинейных краевых задач;

- доказательство разрешимости в пространствах Соболева и Гельдера двух-

фазных квазилинейных задач Вентцеля для эллиптических и параболических уравнений;

- получение коэрцитивных оценок в анизотропных пространствах Кондра-

тьева для решений задач Дирихле и Неймана для уравнения теплопроводности в клине с ребром произвольной коразмерности;

- получение оценок максимума Александровского типа для решений задачи

Дирихле через весовые нормы правой части уравнения;

- доказательство разрешимости в пространствах Кондратьева квазилиней-

ной задачи Дирихле для эллиптических и параболических уравнений в областях с гладкими замкнутыми ребрами;

- доказательство разрешимости в "составных" пространствах Кондратьева

двухфазных квазилинейных задач Вентцеля для эллиптических и параболических уравнений в случае, когда пленка трансверсально пересекает внешнюю границу области;

- доказательство разрешимости полностью нелинейной задачи Вентцеля для

эллиптических уравнений;

- доказательство разрешимости вырожденной квазилинейной задачи Вент-

целя для эллиптических уравнений.

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

Апробация работы. Результаты работы докладывались на международном семинаре "Days of Diffraction" (СПб, 1998), на международных конференциях по дифференциальным и функционально-дифференциальным уравнениям (Москва, 1999 и 2002), на международном симпозиуме, посвященном 150-летию со дня рождения СВ. Ковалевской (СПб, 2000), на школе-семинаре EVEQ-2000 (Прага), на III Европейском Математическом Конгрессе (Барселона, 2000), на международных конференциях "Differential Equations and Related Topics", посвященных И.Г. Петровскому (Москва, 2001 и 2004), на международной конференции EQUADIFF-2001 (Прага), на XIV Всероссийской математической школе "Понтрягинские чтения" (Воронеж, 2003), на международной конференции "Nonlinear Partial Differential Equations" (Алушта, 2003). Кроме того, результаты неоднократно докладывались на семинаре имени В.И. Смирнова (ПОМИ РАН; руководители - О.А. Ладыженская,

М.Ш. Бирман и Н.Н. Уральцева) и на семинаре по нелинейным дифференциальным уравнениям (МГУ; руководители - Е.М. Ландис и В.А. Кондратьев).

Публикации. Основные результаты диссертации опубликованы в статьях [1-17]. В совместных работах автору принадлежат постановки задач и основные идеи решения; реализация проводилась вместе с соавторами.

Структура и объем работы. Диссертация состоит из введения, шести глав, разбитых на параграфы, списка литературы из 66 наименований и четырех приложений. Основной объем диссертации составляет 294 страницы; объем приложений - 34 страницы.

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

Основное содержание работы

В первой главе диссертации изучается задача Вентцеля для уравнений Лапласа и Гельмгольца

Предполагается, что оператор Бельтрами понимается

в смысле правильного предельного значения; в случае внешней области на накладываются стандартные условия на

Желание получить классическое решение при / € С(£) приводит к идее использования интегральных уравнений теории потенциала. Для этого вводится понятие повторных потенциалов простого и двойного слоя

где Ск(х) - фундаментальное решение о п е р а т о-рАуд^в летворяющее условию излучения на бесконечности.

В §1.1 дается постановка внутренней и внешней задач Вентцеля (V,) и (Уе) и доказываются теоремы единственности для них, а также выводятся необходимые условия разрешимости.

В §1.2 изучаются свойства повторных потенциалов.

Лемма 1.2.1. Пусть £ € С2. Если ц € С{£), то повторный потенциал И'до имеет внутреннюю и внешнюю правильную нормальную производную (п.н.п.), причем

. дпх ,

(*) = + (6,Ji)(x), X е £,

VL

где <51<е - операторы со слабой особенностью на

Теорема 1.2.4. Пусть Е € С2, ц e С(£). Тогда повторный потенциал до имеет вторую внутреннюю и внешнюю п.н.п., причем

где - операторы со слабой особенностью.

В качестве следствия доказывается теорема, усиливающая классический результат A.M. Ляпунова.

Теорема 1.2.2. Пусть Е Е С. Потенциал двойного слоя\\[§ имеет правильную нормальную производную тогда и только тогда, когда существует функция и £ С(£) такая, что ц = Vq\s.

В §1.3 внешняя и внутренняя задачи Вентцеля сводятся к интегральным уравнениям, после чего доказываются теоремы об их разрешимости, аналогичные теоремам о разрешимости задач Дирихле и Неймана.

Теорема 1.3.3. Если к2 не принадлежит спектру задачи fa), то решение задачи (Vt) существует и единственно для любой f € С(Е).

Если к2 принадлежит спектру задачи fa), и ,p = - соот-

ветствующие решения однородной задачи, то задача разрешима тогда и только тогда, когда выполнены условия fsfvpdE - 0, р = 1,...J.

В обоих случаях решение задачи fa) представимо в виде повторного потенциала с непрерывной плотностью.

Теорема 1.3.4. Решение задачи (уе) существует и единственно для любой / 6 С(£), за исключением случая п — 2, к = 0. В этом случае задача (Уе)разрешима тогда и только тогда, когда выполнено условие ^/ гК = 0.

В §1.4 результаты §1.2 обобщаются на случай повторных потенциалов произвольного порядка.

Теорема 1.4.1. Пусть I ёМ, Е € С' при четном I, Е в С'+£ при нечетном I, е €]0,1[, и (1 € Тогда повторный потенциал простого слоя порядка I имеет на Е п.н.п. порядка I, причем

где &1"'с - компактные операторы в С(Е).

Теорема 1.4.1 позволяет использовать повторные потенциалы при решении краевых задач для уравнений Лапласа и Гельмгольца, в которых старший член оператора в граничном условии имеет вид Такие краевые условия встречаются, например, в задачах акустики.

В главах 2 и 4 изучается квазилинейная двухфазная задача Вентцеля для эллиптических и параболических уравнений. Такая задача описывает ситуацию, когда пленка Е разделяет область П на две части. Условие на пленке при этом задается квазилинейным уравнением второго порядка (соответственно эллиптическим или параболическим) по касательным переменным. Главные члены граничного оператора, как и в однофазной задаче, описывают диффузию вдоль плснки, а члены первого порядка образуют оператор "скачка" поперек пленки

(здесь и далее звездочка обозначает проектирование на касательную плоскость к Е) и описывают взаимодействие пленки с подобластями П1Ч и ПИ.

Во второй главе разбирается случай 0. Следует отметить, что

если Ь^р] = 0 (т.е. пленка не взаимодействует с внешней областью А'2!), то

можно сначала найти решение однофазной задачи Вентцеля в fiM, азатем решить задачу Дирихле в ПМ, используя в качестве граничного условия на L, след функции, полученной на первом этапе. Точно так же любая однофазная задача Вентцеля в fiW может быть рассмотрена как двухфазная, если ввести фиктивную область fi№ и положить = 0. В связи с этим в главе 2

изложение ведется только для двухфазной задачи.

Исследование однофазной задачи Вентцеля для эллиптических уравнений общего вида было начато в работах N.S. Trudinger'a и его ученика Y. Luo. В их работах была доказана классическая разрешимость этой задачи при условии линейного роста функции, задающей граничный оператор, по компонентам Du. Соответствующие результаты для параболических уравнений, а также разрешимость задачи в пространствах Соболева были получены в работах Д.Е. Апушкинской и автора. Для решений из Соболевских пространств функции, входящие в уравнение, могут содержать особенности по независимым переменным, суммируемые в достаточно высокой степени. Эти результаты вошли в кандидатскую диссертацию Д.Е. Апушкинской.

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

В §2.1 дается постановка параболической двухфазной задачи Вентцеля и формулировка теорем существования в пространствах Соболева и Гельдера.

В цилиндре Q = fix]0,T[ рассмотрим начально-краевую задачу

dtu-a%{x,t,u,D*u)DlD'u + a^,t,u,D*u)+Zu = 0 на Ег=£х]0,Т[,

Будем предполагать, что уравнения в (2) равномерно параболические, т.е. (flffl) и (ajg) - симметричные матрицы, и для некоторого V = const > 0 при всех значениях аргументов и при всех £ € К" справедливы неравенства

Предположим также, что функции йе удовлетворяют неравенствам где /i — const > 0.

Далее, коэффициенты а]{и имеют первые Соболевские производные по х, z, р, и выполнены следующие неравенства:

где введено обозначение

Наконец, функции входящие в определение оператора имеют первые соболевские производные по и выполнены следующие неравенства:

Теорема 2.1.1. Пусть п < д < со, и выполнены следующие условия:

(и) выполнены условия (АО), (А1), (А2), (ВО), (В1), (В2), (ДО), (Л);

(¿у) функции а[/,](-,г,р) непрерывны по (г,р) как элементы пространства £<7+2(2''''), а функции йе(-,2,р*), непрерывны по (г,р) как

Теорема 2.1.2. Пусть выполнены следующие условия:

(1) Б и дО, - поверхности класса

(н) выполнены условия (АО), (А2), (ВО), (В2), (ДО), а также следующие структурные ограничения:

Ых,1,г,р*)\<»(\р*\2 + 1У,

(А1>) (В1') (Л')

(Ш) Ф[ЦеЬд+2(йМ), Ф?е13+1(ЕГ);

(IV) функции Ощ, <3[/г], а-£, удовлетворяют условию Гельдера с показателем 7 по переменным х, г, р и с показателем 7/2 по Ь;

(у) выполнены условия согласования:

а1ь](х,0,0,0) = аф,0,0,0), х £ Е; а(2](х,0,0,0) = 0, х € дП. Тогда задача (2) имеет решение и е с1+1{0)=с2+т(й! ч) пс2+цащ.

Отметим, что структурные условия теорем 2.1.1 и 2.1.2 являются естественными и соответствуют структурным условиям, накладываемым в теоремах о разрешимости задачи Дирихле (см. [1]).

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

В §2.3 получена глобальная оценка максимума решения линейной двухфазной задачи Вентцеля. Далее в случае Е П = 0 устанавливаются коэрцитивные оценки решений этой задачи в пространствах Соболева и Гельдера и доказываются теоремы существования.

Пусть //I - линейные равномерно параболические операторы в <214:

Пусть В - линейный равномерно параболический оператор на пленке Е^: Ви = dtu - а%{х, t)D*D*u + b{(x, t)D*u + с£(х, t)u,

4 = 4, ИГР < 4GQ < ^П2 VfeR".

Пусть, наконец, J - оператор "скачка" на

дм Он

Ju = bs,[i]0z, t) ■ Дт — (х + г • n(i); t) - Ьщф, t) ■ Дт -^{х + е • n(z); t),

bz,{h](x,t) > 0.

Теорема 2.3.4. 1. Пусть п < q < оо, Е и ЭГ2 - поверхности класса W%+2, Е П дП = 0. Пусть

a|(.;i)€C(iP), a^(.;i)€C(E) равномерно not £ [0, Т],

/и, 6|ч, cw g «q14), h, 4 се, ьщ 6 vi(sr). Тогда начально-краевая задача

= в QW, £И« = /И в QP1,

Ви + Ju = /е на Еу, и|э'(2 = 0,

имеет единственное решение и G V^2(Q)-

2. Пусть Е и дС1 - поверхности класса С2+7, 7 е]0,1[, ЕП9П = 0. Пусть коэффициенты и правые части уравнений (3) принадлежат C(Qj-h\) и С7(Ег), соответственно.

Если вдобавок выполнены условия согласования

/[ч = /в на Е х {0}, /И =0 на дП х {0},

то начально-краевая задача (3) имеет единственное решение и € Cj+7(Q).

В §2.4 получены гельдеровские оценки для решений квазилинейной двухфазной задачи. Для применения классического метода Н.В. Крылова - М.В. Сафонова к двухфазной задаче Вентцеля конструируются специальные барьерные функции (Леммы 2.4.1 и 2.4.2). В п.2.4.3 получены также вспомогательные локальные оценки констант Гельдера по переменной t с повышенным показателем для решений линейных уравнений.

В §2.5 устанавливаются оценки градиента решения квазилинейной двухфазной задачи. Ключевую роль здесь играет следующая несложная лемма.

Лемма 2.5.1. Пусть непрерывная функция <р : [0; R] К+ удовлетворяет условию

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

Тогда существует положительная константа ро < R, зависящая только от а и свойств функции Т, такая, что

Лемма 2.5.1 позволяет существенно упростить получение оценок Du во многих ситуациях. В частности, с ее помощью в Теореме 2.5.2 получена оценка max ||Ц|. При этом использован метод масштабирования, известные результаты О.А. Ладыженской - Н.Н. Уральцевой о внутренних оценках градиента (см. [1]) и теорема о продолжении функций из анизотропных гель-деровских классов ([7, лемма 6.1]). После получения этой оценки уравнение на пленке можно считать полностью автономным, и оценка гельдеровской нормы Du в

QW получается стандартным способом.

В §2.6 получены глобальные оценки максимума для решения квазилинейной двухфазной задачи, после чего Теоремы 2.1.1 и 2.1.2 доказываются по стандартной схеме применением теоремы Лерэ - Шаудера.

В Приложение А вынесены результаты для эллиптических уравнений, соответствующие теоремам из §§2.1-2.6. При этом доказываются лишь теоремы, имеющие существенные отличия от параболических. В частности, следующая теорема дает достаточные условия единственности решения линейной задачи. Теорема А.6. Пусть £ € и выполнены условия

{х)0г01и + Ь\ц(х)01и + сМ{х)и = 0 в -а% (х)Б*0*и + Ь^хЩи + с^{х)и I- Зи = 0 на Е,

имеет в и О'2') П И^^Е) П С(П) только тривиальное решение.

В главе 3 рассматривается задача Дирихле для квазилинейных эллиптических и параболических уравнений в областях с гладкими замкнутыми ребрами произвольной коразмерности. Хотя эта задача является модельной по отношению к задаче, изучаемой в главе 4, но она представляет также значительный самостоятельный интерес.

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

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

В §3.1 дается постановка задачи Дирихле для квазилинейной параболической задачи и формулируется теорема существования решения в пространствах Кондратьева.

Предположим, что на дп выделено (п — т)-мерное подмногообразие без края £ ("ребро"), такое, что в окрестности каждой точки Е «5 область П диффеоморфна "острому" клину

Кт{0) С К.т,в,

(4)

причем в можно выбрать не зависящим от X .

Если т = Пу то £ будет не ребром, а конической точкой. При этом /Ст(С) вырождается в конус К^ДС). Этот случай не исключается из рассмотрения.

Обозначим через й(х) расстояние от точки х до ребра <5 и введем шкалу весовых пространств Ь5 (а)(О) с нормой

Введем также ггоостоанства Конлоатьева с ноомои

В цилиндре д*и - а*'(х* *» и> А°Зи + а(х> и>Пи) =

= 0.

Определим как решение уравнения

(5)

(6)

где V - константа эллиптичности из (АО), а в - параметр из (4).

Пусть Л(т, 0) - первое собственное число задачи Дирихле для оператора Бельтрами на сферической "шапочке" = &т £ П Зт:

Обозначим через и) положительный копент, упявнения

и? + (т - 2)и> - Л = 0

(заметим, что из услов~~~ л " —,е\ 14 у сожим

Теорема 3.1.1. Пусть выполнены следующие условия:

15

(I) q>q, ае

2-

т

9 + 2

— и, 1 —

п + 2

7+2

ЭДаПеИ&ад/

(ш) функции г, р) и а(х,1, г,р) удовлетворяют условиям (АО), (А1),

(А2);

(¡V) Ъ, Ф е Ц+2,(в)(е); Ф1 е 1^+2.^0(0, «1+ < 1 -

(у) функции а**(х, 2,р) непрерывны по

(у1) функция а(-,г,р) непрерывна по (г,р) как элемент Ьд+г^сДб).

Тогда задача (5) имеет решение и £

Заметим, что если линейная теория эллиптических задач в областях с ребрами построена в достаточной общности для всех пространств, которые обычно используются при изучении квазилинейных уравнений (Нк,Ьр, С7; см., например, [8]), то соответствующая параболическая теория еще далека от завершения. Наиболее разработана теория для гильбертовых пространств (можно отметить, например, серию работ В.А. Козлова и Мазьи, в которых рассмотрены задачи в областях с коническими точками). Что касается пространств Ьр и Гельдера, то лишь в работах В.А. Солонникова [9] и [10] были получены коэрцитивные оценки решений задач Дирихле и Неймана для уравнения теплопроводности в двугранном угле. В связи с этим два параграфа главы 3 посвящены выводу коэрцитивных оценок в анизотропных весовых пространствах для решения задач Дирихле и Неймана для уравнения теплопроводности в клине с ребром произвольной коразмерности (при этом не предполагается, что клин К,т(Сг) - острый).

В §3.2 получены оценки некоторых интегральных операторов в пространствах и этом использована стандартная интерполяционная техника и некоторые идеи из работы [10]. В §3.3 доказываются следующие теоремы:

Теорема 3.3.1. Пусть Ар - первое собственное число задачи Дирихле для оператора Белътрами в области О:

Обозначим u)-p положительный корень уравнения ь? + (т - 2) • cj - Av = 0.

Пусть s, г € ]1,+оо[, а показатель а удовлетворяет неравенствам

п т т.

I---uif) <а <т---h uv-

s s

Тогда для решения задачи Дирихле для уравнения теплопроводности в клине K-m{G) выполнены оценки

иадим + \\D(Du)\\SAia] + ||U . k'|-2||s,r,(a) < С ||/||s,r,(a),

iia««^) + +Ii" • M_2ii;;r,(a) < с и\\7,Фу

Теорема 3.3.2. Пусть Ад/- - первое ненулевое собственное число задачи Неймана для оператора Бельтрами в области G:

-ДЫ = АяЫ в G, ^ an

= 0.

ас

Обозначим шдг положительный корень уравнения

ш2 + (т - 2) • и - Ллг = 0. Пусть в, г € ]1,+оо[, а показатель а удовлетворяет неравенствам

г, т ■ г г,1 т

2---тинцлл 2} < а<т--.

з э

Тогда для решения задачи Неймана для уравнения теплопроводности в клине /Ст(С?) выполнены оценки

||^||5,г,(а) + Р(Ои)||л,г,(а)<С||/||5,г,(а),

Ключевым в доказательстве является такое наблюдение: Теорема 3.3.4. Пусть П = П' х П", П1 С Г", П" С Кп_ш. Пусть 9'-р(х\у',1) - функция Грина задачи Дирихле для оператора теплопроводности в области Я', а у", £) - функция Грина задачи Дирихле для оператора теплопроводности в области П".

I

Тогда функция Грина задачи Дирихле для оператора теплопроводности в области О, задается формулой

Аналогично, функции Грина задач Неймана для операторов теплопроводности в областях П, П' и П" связаны формулой

С помощью этой теоремы и известных оценок В.А. Козлова для функции Грина краевых задач в конусе ([11]) доказательство Теоремы 3.3.1 сводится к оценкам, полученным в предыдущем параграфе. Для доказательства Теоремы 3.3.2 при т > 2 предварительно выделяется и оценивается отдельно оператор, порождаемый главным членом асимптотики функции Грина. При т = 2 этот метод не проходит, поэтому доказательство здесь использует оценки функции Грина в двугранном угле, полученные В.А. Солонниковым ([9]). В п.3.3.4 получены весовые коэрцитивные оценки в полупространстве (формально это соответствует т = 1).

Как уже упоминалось, фундаментом априорных оценок, необходимых для доказательства теорем существования решения краевых задач для недивергентных квазилинейных уравнений, служат оценки максимума Александровского типа. Однако если граница области содержит ребро, то, как следует из линейной теории, "правильными" пространствами для правой части уравнения являются весовые пространства Ь^а)- Локальные оценки максимума решения через нормы правой части в этих пространствах устанавливаются в §3.4. Такие оценки позволяют более точно учесть геометрию области, что видно из сравнения наших результатов (для эллиптических уравнений) с результатами М.И. Плеши.

Принципиальная схема получения таких оценок была разработана автором в [12] на основе идеи "условных" оценок, предложенной Н.В. Крыловым ([13]). Сначала доказываются "условные" оценки в крайних пространствах шкалы, затем с помощью интерполяции получаются "условные" оценки во всей шкале, и, наконец, вспомогательная функция оценивается через себя саму, что позволяет свести "условные" оценки к "безусловным". Таким образом получается следующая теорема:

Теорема 3.4.6. Пусть П С Кт,в{И) (условие в < тг/2 не накладыва-ется^, п < % < оо, тг < дх < оо. Пусть С - линейный равномерно параболический оператор в <2

Си = дги - Щ03и + Ь\х, *)Ци

с константой параболичности V. Если Ьг € Х?1+11(1_л±1)(2), то для всех

функций и £ -+1^(6), таких, что и|э,2 < 0, выполнена оценка

<?р

где А зависит только от п, т, V, Н и ||Ь||91+1 (1

Далее, если ЦЬЦ^т д < ¿яг, тпо для всех функций и 6 . таких, что < 0, выполнена оценка

чп

и < N3^(11,14,1/, до) • • !|(£щ)+||9о,(ао),л0"-

В п 3.4.4 получены аналогичные оценки через нормы правой части в анизотропных весовых пространствах и Ья<г^ау

Заметим, что, в отличие от пространств Ь3}Г, широко используемых для изучения параболических задач в областях с гладкими границами (см., например, [14]), анизотропные пространства ,в которых функция суммируется сначала по t, а потом по х, до сих пор не применялись, во всяком случае, коэрцитивных оценок в этой шкале в литературе найти не удалось. Заметим, что оценки тепловых потенциалов в этой шкале получаются так же, как и в первой (Лемма 3.3.3). Важно отметить, что при оценке максимума Александровского типа через анизотропные нормы правой части всегда используется более сильная из двух норм, и шкала возникает естественным образом.

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

В §3.6 получены гельдеровские оценки для решений квазилинейной задачи (также без условия остроты клина К,т{0)).Для этого конструируется новая

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

В §3.7 выводится локальная оценка гёльдеровской нормы градиента решения в окрестности ребра. Острота клина £т(С)ио-прежнему не предполагается, однако требуется выполнение оценки

Вывод оценки использует хорошо известную идею масштабирования (так называемый метод слоев Кондратьева) и локальные оценки градиента решений в гладких областях, установленные О.А. Ладыженской и Н.Н. Уральцевой.

В §3.8 устанавливается оценка (7) в предположении, что 1Ст- острый клин. Для этого строится специальная барьерная функция (Лемма 3.8.1), а затем применяется итерационный метод, предложенный О.А. Ладыженской и Н.Н. Уральцевой для оценки градиента решения на границе гладкой области.

В §3.9 получены глобальные оценки максимума для решения квазилинейной задачи, после чего Теорема 3.1.1 доказывается по стандартной схеме.

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

В Приложении С формулируются результаты для стационарной задачи, аналогичной задаче (5). При этом обсуждаются лишь теоремы, имеющие существенные отличия от параболических. Как отмечается в Замечании С.З, в случае конической точки (т = п) при ^ > 2 — Ш можно получить все априорные оценки через обычные (невесовые) нормы функций ¿>, Ф, Ф1. Именно это было сделано в упомянутых выше работах М.В. Борсука. При этом накладывалось условие Ь,Ф £ Ьоо^.ф более ограничительное, чем условие (v) Теоремы Сб.

В четвертой главе изучается квазилинейная двухфазная задача Вентцеля в случае, когда пленка Е и внешняя граница Ôfi пересекаются трансверсаль-но. Это означает, что части области fil1! и ПИ имеют на границе ребро. По-

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

В §4.1 дается постановка эллиптической двухфазной задачи и формулируется теорема существования в "составных" пространствах Кондратьева

Предположим, что S = Е ПдО, есть (п — 2)-мерное подмногообразие без края, причем в окрестности каждой точки € S касательные плоскости к Е и к сЮпересекаются под углом 2l?(;rd), и 7г/2 - <9< тг/2

Обозначим d(x) расстояние от точки х до подмногообразия «5, a d{x) -расстояние во внутренней метрике многообразия Бот точки х £ S до подмногообразия S. Введем следующие шкалы пространств: L9i(a)(fi) - весовые пространства с нормой || • |||9,(a),n. где

L?i(a)(£) - весовые пространства с нормой ||| • где

- множество функций, определенных в и и имеющих конечную полунорму JZ?(.Du)|i)(a)i{2; аналог М^нР-') - множество функций на Е, имеющих конечную полунорму

Отметим, что полунормы являются нор-

мами, если и обращаются в нуль на дп и соответственно. Введем еще пространство

Рассмотрим двухфазную эллиптическую задачу

где обозначает стационарный оператор "скачка".

Определим О = 6(6, v) как решение уравнения (6), где v - константа эллиптичности из (АО), а 0 - параметр трансверсальности, и положим

Теорема 4.1.1. Пусть выполнены следующие условия:

(i)?<9< оо, max{-if2-2-£}<e<l-2;

(ii) ОДОе W2(q) при А =1,2;

(iii) для всех возможных решений u'T' € V^aj(fi), г € [0,1], семейства задач

т(-а1щ{х, и, Dt^DtDjU + а^х, и, Du)) — (1 — т)Ди = 0 в fifAl,

т{-а%{х, и, D*u)D*D*u + аЕ(х, и, D*u) + 3u) - (1 - т)Ди = 0 на Е, u|sn = О,

справедлива оценка ||«'т!||п < Мщ

(iv) при \z\ < М0 выполнены условия1 (АО), (Al), (А2), (ВО), (Bl), (В2), (JO), (J1);

(v) 6[Ч> Ф!"1 б L9i(a)(fiW), h = 1,2; bz, Ф* 6 Ц.ц^Е);

(vi) Ф'л> € L5b(ai)(fiW), h = 1,2, € L9l_li(Ql4l,)(E); a1+ < 1 -

(vii) функции Z,p), h = 1,2, непрерывны no (z,p) как элементы пространств а функции h = 1,2, u г,p*) непрерывны no (z,p) как элементы пространства Li_lj(a,/)(E).

Тогда задача (8) имеет решение и € V^ ^(П).

В §4.2 изучается разрешимость вспомогательной задачи Дирихле в весовых пространствах, которая используется затем для решения уравнения на Е. Результаты этого параграфа в основном соответствуют результатам о разрешимости в обычных пространствах Соболева (см. [1]). Для получения априорных оценок используется новая версия принципа максимума Александрова 'Все функции, входящие в эти условия, не зависят от переменной t.

(п.4.2.2), разработанный в [15] метод получения оценок градиента для уравнений с "составной" правой частью и младшими коэффициентами (и.4.2.4), а также метод масштабирования (п.4.2.5).

§4.3 посвящен разрешимости линейной двухфазной задачи. Главную роль здесь играет лемма о продолжении функций из весовых пространств.

Лемма 4.3.1. Пусть 1 - ^ - а+ > 0, и е >У*(а), Л = 1,2. Тогда существует оператор продолжения

причем константа Сщ зависит только от д, а и от свойств

Пусть - линейные равномерно эллиптические операторы в , В -линейный равномерно эллиптический оператор на пленке Е:

а / - оператор "скачка"2 на Е.

Теорема 4.3.3. Пусть (¡иО - константы, введенные выше. Пусть выполнены условия (1)-(И) Теоремы 4-1.1. Предположим еще, что

Тогда задача

однозначно разрешима в пространстве ^^(П), при условии, что соответствующая однородная задача имеет только тривиальное решение.

1 Коэффициенты не зависят от переменной

Единственность решения однородной задачи установлена в Теореме 4.3.4 при дополнительном условии локальной ограниченности коэффициентов

В §4.4 на основе полученных ранее оценок решений модельных задач выводятся априорные оценки градиента решения и доказывается Теорема 4.1.1.

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

Лемма Б.5 (4.3.1'). Пусть показатели д, д, г, г, а и а таковы, что

, п-1 2 ~ „

1--=--^ - а+ > 0;

д г

^ ~ , п п-12 2

Я > д, г>г, (а — а)+ <---— + - -

д д г г

, п 2

1-----а+ > 0;

д г

q > г, (9)

и пусть е W92(a), h = 1,2.

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

lMv%ia)m < IIIUIIIW|'~ (a)(£т)'

где константы С'щ определяются q, q, Г, T, Ot, а и свойствами дО,^.

Если последнее неравенство в (9) заменить на • г > q, то справедливо утверждение, получающееся заменой пространств W на W.

В главе 5 рассматривается полностью нелинейная задача Вентцеля для эллиптических уравнений

F{X,u,DU,D2U) = 0 в п, -G1{x,u,Dtu,{D')2u) + G2(x,u,Du) = 0 на №.

В §5.1 дается постановка задачи и формулируется теорема существования. Будем предполагать, что уравнения в (10) равномерно эллиптические, т.е. при всех значениях аргументов выполнены неравенства (V = const > 0)

(F0)

(10)

И£'|2 < (dGl{XdZfy)C^) < v-W2 vr € R»"1.

(GO/1)

Далее, функции F и G\ подчинены Бернштейновским условиям роста (здесь ß и тг - некоторые положительные константы)

|F{x, z,p,r)\<ß-(l + \р\2 + |r|), |G,(i, z,p\r*)\ < тг • (1 + \p*\2 + |r*|),

(Fl-Gl/1)

вогнуты по вторым производным:

d2F

<0,

(F2-G2/1)

дт*2 -

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

Аналогично, функция (?2 подчинена условиям

др

•n(x)>0, |G2(x,2lP)|<7r.(l + |P|),

,d2G \ (G0/2-G2/2)

dp2

n,n) >0,

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

Как известно, при доказательстве разрешимости полностью нелинейных уравнений условие ^2) в общем случае опустить нельзя. Вопрос о необходимости условия выпуклости функции G2 по нормальной компоненте Бы пока остается открытым.

Теорема 5.1.1. Пусть выполнены следующие условия:

(¡) 9П £^,п<9< оо;

(и) .Г е И^гос(П хКхГх §п), вг е И^;ос(<9П х Е х К"-1 х в»"1),

(ш) для всех возможных решений и'т1 € т Е [0,1], семейства задач

тР(х, и, Ии, Б2и) + (1 - т)Аи = 0 в О,

г [-<?1(1, и, Б'и, (Я*)2и) + С2(х, и, йи)) +

-I- (1 — г) (~Аи 4- и) = 0 на дП, справедлива оценка ||и'г'||п < М0;

(iv) при \z\ < Mo выполнены условия (F0)-(F3), (G0/l,2)-(G3/l,2).

Тогда задача (10) имеет решение и € V^(f2).

В §5.2 получены оценки градиента решения. При этом для вывода вспомогательных оценок (Леммы 5.2.1 и 5.2.2) применяется модификация методов G. Lieberman'a - N.S. Trudinger'a и O.A. Ладыженской - Н.Н. Уральцевой. В частности, при выводе гельдеровских оценок потребовалось ввести дополнительную барьерную функцию для подавления членов, содержащих еще не оцененную нормальную производную. Далее, как и в Теореме 2.5.2, используется метод масштабирования и Лемма 2.5.1.

В §5.3 установлены приграничные оценки вторых производных решения. При этом используется модификация идеи N.S. Trudinger'a, а также граничные оценки градиента из [15].

В §5.4 доказывается Теорема 5.1.1, а также обсуждаются условия на F, Gj и при которых выполнено условие

В последней, шестой главе исследуется вырожденная задача Вентцеля для квазилинейных эллиптических уравнений. В §6.1 дается постановка задачи и формулируется теорема существования.

Рассмотрим краевую задачу

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

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

Предположим, что

\a(x,z,p)\<fi-(l + \p\2), \az(x,z,p*)\ < 7r- (1 + |р*|2)- (А1-В1)

Предположим, кроме того, что член представляет собой производную по некасательному к SS2 векторному полю, т.е. для х — const > О

Наконец, все функции, входящие вуравнения (И), имеют вторые обобщенные производные по своим аргументам и удовлетворяют некоторым естественным структурным ограничениям.

Теорема 6.1.1. Пусть выполнены следующие условия:

В §6.2 получены приграничные гельдеровские оценки решений. При этом на функцию 0 накладывается лишь условие липшицевости. Сначала устанавливается оценка неотрицательного решения в окрестности точки вырождения граничного условия (Лемма 6.2.1), далее (Теорема 6.2.3) эта оценка сшивается с известными оценками для невырожденной задачи.

3 Функции, входящие в эти условия, не зависят от переменной 4.

дЬ^Р) . n(z) > \h(x, z,p)I < х-1 • (1 + bl). (BO'-Bl')

(i) <ЭП € Wq, п < q < оо;

(ii) для всех возможных решений U[T] 6 V^(fi) задач

справедлива оценка ||и[т]||п < Мц; (¡и) выполнены условия (АО), (А1), (А2), (Т), (ВО), (В1), (В2); (¡у) в условии (А2) Ф € ЬП(П).

Тогда задача (11) имеет хотя бы одно решение и £ С2(С1).

В §6.3 получены оценки градиента решения при условии \/ö € W^ÔQ) Отметим, что метод, примененный в главах 2 и 5, не применим в случае вырожденного граничного условия.

В отличие от невырожденной квазилинейной задачи, при наличии вырождения требуются еще оценки вторых производных, которые выводятся в §6.4. Идея этого вывода похожа на доказательства из §5.3, но, с одной стороны, линейность задачи по вторым производным позволяет обойтись без леммы Вазова - Мотцкина, а с другой - здесь вновь приходится сшивать оценки около точек вырождения с оценками для невырожденной задачи.

Наконец, в §6.5 доказывается Теорема 6.1.1, а также обсуждаются условия на функции, входящие в (11), при которых выполнено условие (ii).

Список цитированной литературы

[1] О.А. Ладыженская, Н.Н. Уральцева, Обзор результатов по разрешимости краевых задач для равномерно эллиптических и параболических квазилинейных уравнений второго порядка, имеющих неограниченные особенности. - Успехи мат. наук. 1986. Т.41. N5. С.59-83.

[2] G.M. Lieberman, N.S. Trudinger, Nonlinear oblique boundary value problems for nonlinear elliptic equations. - Trans. Amer. Math. Soc. 1986. V.295. P.509-545.

[3] Д. Гилбарг, H.С. Трудингер, Эллиптические дифференциальные уравнения с частными производными второго порядка. М., Наука. 1989.

[4] G.M. Lieberman, Second order parabolic differential equations. World Scientific. Singapore - New Jersey - London - Hong Kong. 1996.

[5] А.Д. Вентцель, О граничных условиях для многомерных диффузионных процессов. - Теор. вер. и ее применения. 1959. Т.4. N2. С. 172-185.

[6] Е.И. Галахов, А.Л. Скубачевский, О сжимающих неотрицательных полугруппах с нелокальными условиями. - Мат. сборник. 1998. Т.165(207). N1. С.45-78.

[7] Д.Е. Апушкинская, А.И. Назаров, Начально-краевая задача с граничным условием Вентцеля для недивергентных параболических уравнений. - Алгебра и анализ. 1994. Т.6. N6. С.1-29.

[8] С.А. Назаров, Б.А. Пламеневский, Эллиптические задачи в областях с кусочно-гладкой границей. М., Наука. 1991.

[9] Солонников, О разрешимости классических начально-краевых задач для уравнения теплопроводности в двухгранном угле. - ЗНС ЛОМИ. 1984. Т.138. Л. С.146-180.

[10] V.A. Solonnikov, estimatesfor solutions of the heat equation in a dihedral angle. - fand, matem. Ser. VII. 2001. V.21. P.l-15.

[11] B.A Козлов, О коэффициентах в асимптотике решений начально-краевых параболических задач в областях с конической точкой. - Сиб. мат. журнал. 1988. Т.29. N2. С.75-89.

[12] А.И. Назаров, Интерполяция линейных пространств и оценка максимума решения для параболических уравнений. - Дифф. ур. с част, произв. Новосиб., ИМ СОАН СССР. 1987. N2. С.50-72.

[13] Н.В. Крылов, Об оценках максимума решения параболического уравнения и оценках распределения семимартингала. - Мат. сборник. 1986. Т.130(172). N2(6). С.207-221.

[14] П. Маремонти, В.А. Солонников, Об оценках решений нестационарной задачи Стокса в анизотропных пространствах Соболева со смешанной нормой. - ЗНС ПОМИ. 1995. Т.222. СПб. С.124-150.

[15] Д.Е. Апушкинская, А.И. Назаров, Оценки на границе области градиента решения недивергентного параболического уравнения с "составной" правой частью и коэффициентами при младших производных. -Проблемы мат. анализа. 1995. Т.14. С.3-27.

[16] Y. Luo, N.S. Trudinger, Quasilinear second order elliptic equations with Venttsel' boundary conditions. - Potential Anal. 1994. V.3. P.219-243.

Основные публикации автора по теме диссертации

[1] О квазилинейной стационарной задаче Вентцеля // Краевые задачи математической физики и смежные вопросы теории функций (ЗНС ПОМИ. Т. 221). СПб. Наука. 1995. С.20-29 (совм. с Д.Е. Апушкинской).

[2] Нестационарная задача Вентцеля с квадратичным ростом по градиенту // Нелинейные краевые задачи и некоторые вопросы теории функций (Проблемы математического анализа. Вып. 15). СПб. Изд. СПбГУ. 1996. С.33-46 (совм. с Д.Е. Апушкинской).

[3] Гельдеровские оценки решений вырожденных граничных задач Вент-целя для параболических и эллиптических уравнений недивергентного вида // Проблемы математической физики и теории функций (Проблемы математического анализа. Вып. 17). СПб. Изд. СПбГУ. 1997. С.3-19 (совм. с Д.Е. Апушкинской).

[4] Решение задачи Вентцеля для уравнений Лапласа и Гельмгольца с помощью повторных потенциалов // Математические вопросы теории распространения волн (ЗНС ПОМИ. Т. 250). СПб. Наука. 1998. С.203-218 (совм. с Лукьяновым).

[5] Оценки градиента для решений стационарных вырожденных задач Вентцеля // Нелинейные с частными производными и теория функций (Проблемы математического анализа. Вып. 18). СПб. Изд. СПбГУ. 1998. С.43-69 (совм. с Д.Е. Апушкинской).

[6] Задача Вентцеля для нелинейных эллиптических уравнений // Нелинейные уравнения и математический анализ (Проблемы математического анализа. Вып. 19). Новосибирск. Научная книга. 1999. С.3-26 (совм. с Д.Е. Апушкинской).

[7] Квазилинейные двухфазные задачи Вентцеля // Краевые задачи математической физики и смежные вопросы теории функций (ЗНС ПОМИ. Т. 271). СПб. Наука. 2000. С. 11-38 (совм. с Д.Е. Апушкинской).

[8] A Survey of Results on Nonlinear Venttsel Problems // Applications of Mathematics. V. 45. 2000. N1. P.69-80 (совм. с Д.Е. Апушкинской).

[9] Задача Дирихле для квазилинейных эллиптических уравнений в областях с гладкими замкнутыми ребрами // Теория функций и приложения (Проблемы математического анализа. Вып. 21). Новосибирск. Научная книга. 2000. С.3-29 (совм. с Д.Е. Апушкинской).

[10] Оценки максимума решений эллиптических и параболических уравнений через весовые нормы правой части // Алгебра и Анализ. Т. 13. 2001. N2. С.151-164.

[11] Lp-оценки решения задач Дирихле и Неймана для уравнения теплопроводности в клине с ребром произвольной коразмерности //Теория функций и фазовые переходы (Проблемы математического анализа. Новосибирск. Научная книга. 2001. С. 126-159.

[12] Linear two-phase Venttsel problems // Arkiv for Matematik. V. 39. 2001. N2. P.201-222 (совм. с Д.Е. Апушкинской).

[13] Задача Дирихле для квазилинейных параболических уравнений в областях с гладкими замкнутыми ребрами // Труды Санкт-Петербургского математического общества. Т. 9. Новосибирск. Т. Рожковская. 2001. С. 120147.

[14] Эллиптическая задача Дирихле в весовых пространствах // Краевые задачи математической физики и смежные вопросы теории функций (ЗНС ПОМИ. Т. 288). СПб. Наука. 2002. С. 14-33 (совм. с Д.Е. Апушкинской).

[15] Квазилинейные эллиптические двухфазные задачи Вентцеля в транс-версальном случае // Теория функций и приложения (Проблемы математического анализа. Вып. 24). Новосибирск. Т. Рожковская. 2002. С.3-28 (совм. с Д.Е. Апушкинской).

[16] Приграничные оценки решений задачи Вентцеля для параболических и эллиптических уравнений в области с границей класса // Теория функций и приложения (Проблемы математического анализа. Вып. 24). Новосибирск. Т. Рожковская. 2002. С.181-204.

[17] О нестационарной двухфазной задаче Вентцеля в

случае // Проблемы математического анализа. Вып. 28. Новосибирск. Т. Рожковская. 2004. С.71-82.

»23664

Подписано в печать 31.08 04. Формат 60*84 1/16. Бумага офсетная. Печать офсетная. Печ. л. 2,0. Тираж 100 экз. Заказ 82.

Отпечатано с готового оригинал-макета в типографии Издательства СПбГЭТУ "ЛЭТИ"

Издательство СПбГЭТУ "ЛЭТИ" 197376, С.-Петербург, ул. Проф. Попова, 5

Введение

1 Задача Вентцеля для уравнения Лапласа и Гельмгольца

1.1 Постановка задачи. Теоремы единственности.

1.2 Свойства повторных потенциалов

1.3 Сведение задач Вентцеля к интегральным уравнениям и их исследование . . . . :.

1.4 Некоторые обобщения.

2 Квазилинейная двухфазная задача Вентцеля

2.1 Постановка задачи. Формулировка теорем существования

2.2 Локальные оценки максимума Александровского типа для решения линейной двухфазной задачи Вентцеля.

2.3 Разрешимость линейной двухфазной задачи Вентцеля.

2.4 Гельдеровские оценки.

2.4.1 Оценки неотрицательных решений двухфазной задачи Вентцеля вблизи пленки.

2.4.2 Оценка константы Гельдера для решения квазилинейной двухфазной задачи.

2.4.3 Оценка константы Гельдера с большим показателем для решения линейного уравнения

2.5 Оценка градиента решения квазилинейной двухфазной задачи Вентцеля.

2.6 Разрешимость квазилинейной двухфазной задачи Вентцеля

3 Квазилинейная задача Дирихле в областях с гладкими замкнутыми ребрами произвольной коразмерности

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

3.2 Вспомогательные оценки интегральных операторов.

3.2.1 Оценки в пространствах (а).

3.2.2 Оценки в пространствах -£s,r,(a).

3.3 Оценки решения задач Дирихле и Неймана для уравнения теплопроводности в клине.

3.3.1 Оценки решения задачи Дирихле.

3.3.2 Оценки решения задачи Неймана при т > 2.

3.3.3 Оценки решения задачи Неймана в двугранном угле

3.3.4 Задачи в полупространстве.

3.4 Локальные оценки максимума Александровского типа через весовые нормы правой части

3.4.1 Вспомогательные леммы о линейных операторах.

3.4.2 Условные оценки в весовых пространствах.

3.4.3 Вывод основной оценки.

3.4.4 Оценки в анизотропных пространствах.

3.5 Разрешимость линейной параболической задачи.

3.6 Гёльдеровские оценки решения квазилинейной задачи.

3.7 Оценки градиента решения.

3.8 Оценки решения в окрестности ребра.

3.9 Доказательство теоремы существования.

4 Квазилинейная двухфазная задача Вентцеля в трансверсаль-ном случае

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

4.2 Вспомогательная задача Дирихле в весовых пространствах

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

4.2.2 Оценки максимума.

4.2.3 Гельдеровские оценки.

4.2.4 Оценки градиента на границе.

4.2.5 Оценки градиента вблизи границы.

4.2.6 Разрешимость линейной и квазилинейной задач Дирихле

4.3 Разрешимость линейной эллиптической задачи.

4.4 Разрешимость квазилинейной эллиптической задачи.

5 Задача Вентцеля для полностью нелинейных эллиптических уравнений

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

5.2 Оценки градиента решения.

5.3 Оценки вторых производных.

5.4 Разрешимость нелинейной задачи Вентцеля.

6 Вырожденная задача Вентцеля для квазилинейных эллиптических уравнений

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

6.2 Гельдеровские оценки.

6.3 Оценки градиента решения.

6.4 Оценки вторых производных.

6.5 Разрешимость вырожденной задачи Вентцеля.

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

К настоящему времени получены достаточно полные результаты, касающиеся разрешимости в гладких областях задачи Дирихле, а также задачи с наклонной производной (описывающей диффузию в области с отражением от границы). Обзор этих результатов, а также обширную библиографию можно найти, например, в работах [ЛУ4], [LiT] и в монографиях [ГТ], [Li2].

В 1959 году А.Д. Вентцель [В] ввел (для эллиптических уравнений) новый класс граничных условий, задаваемых интегро-дифференциальными операторами второго порядка (см. также [IW], [W]). С вероятностной точки зрения, условия Вентцеля представляют собой наиболее общие краевые условия, включающие как частные случаи условия Дирихле, Неймана, условие с наклонной производной и смешанные условия. Отметим также, что задачи с условиями Вентцелевского типа возникают во многих областях науки и техники. Среди них задачи гидродинамики, электродинамики и теории упругости, инженерные задачи нефтедобычи и некоторые вопросы финансовой математики (см. [CM], [Kol], [Ко2], [Le], [МНП], [NPi], [SV], [Sh]5 [Ш, Гл.УШ]).

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

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

В первой главе диссертации изучается задача Вентцеля для уравнений Лапласа и Гельмгольца

Аи + к2и = 0 в П, , ч 0.1 Au-a-^ + /3k2u = f на £ здесь Е = 5Г2 £ С2, к ^ 0; в случае внешней области на и накладываются стандартные условия на бесконечности).

Поскольку для задачи (0.1) легко получаются коэрцитивные оценки в пространствах Гельдера (см., например, [Кр2, §5.5]), то разрешимость этой задачи для гельдеровых / следует из общей эллиптической теории. Желание получить классическое решение при непрерывных граничных данных приводит к идее использования интегральных уравнений теории потенциала. Для этого вводится понятие повторных потенциалов простого и двойного слоя

V&jbW = VkSx) = J ~ У) dZy, s v f 8 = »*,"(«) = J - у) dSy, s где Gk(x) - фундаментальное решение оператора — (A+k2), удовлетворяющее условию излучения на бесконечности.

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

В §1.2 изучаются свойства повторных потенциалов.

Лемма 1.2.1. Пусть Е Е С2. Если ц £ С(Е); то повторный потенциал имеет правильную внутреннюю и внешнюю нормальную производную, причем

-WL\ 1

-g^j (х) = ~ф) + (вг,е»)(х), x € е, i,e где &i>e - операторы со слабой особенностью на Е.

Теорема 1.2.4. Пусть Е £ С2, (i 6 С(Е). ТЬгЭа повторный потенциал имеет вторую правильную внутреннюю и внешнюю нормальную производную, причем х) = + (ё« M)(s), ® 6 S, х / i,e где 6f\ &i2) - операторы со слабой особенностью.

В качестве следствия доказывается теорема, усиливающая классический результат A.M. Ляпунова.

Теорема 1.2.2. Пусть Е £ С2. Потенциал двойного слоя Wq имеет правильную нормальную производную тогда и только тогда, когда существует функция is £ С(Е), такая, что fi = Vq |s.

В §1.3 внешняя и внутренняя задачи Вентцеля сводятся к интегральным уравнениям, после чего доказываются теоремы об их разрешимости, аналогичные теоремам о разрешимости задач Дирихле и Неймана.

Теорема 1.3.3. Если к2 не принадлежит спектру внутренней задачи Вентцеля (Vi), то решение задачи (Vi) существует и единственно для любой / еС(Е).

Если к2 принадлежит спектру задачи (Vi), и {vp}; р = 1,. .,£ - соответствующие решения однородной задачи, то задача (Vi) разрешима тогда и только тогда, когда выполнены условия fs fvp dE = 0; р = 1,., £.

В обоих случаях решение задачи (Vi) представимо в виде повторного потенциала с непрерывной плотностью.

Теорема 1.3.4. Решение внешней задачи Вентцеля (Ve) существует и единственно для любой f G С(£), за исключением случая п = 2, к — 0. В этом случае задача (Ve) разрешима тогда и только тогда, когда выполнено условие fs f dH = 0.

В §1.4 результаты §1.2 обобщаются на случай повторных потенциалов произвольного порядка.

Теорема 1.4.1. Пусть I € N, £ G С1 при четном I, £ G С1+£ при нечетном I, г £]0,1[, и fx Е С(£). Тогда повторный потенциал простого слоя порядка I имеет на £ правильную нормальную производную порядка I, причем ' lV^ \ г) = (±1)! • ^ + (в&)(х), х € Е, i,e где в- g - компактные операторы в С(Е).

Теорема 1.4.1 позволяет использовать повторные потенциалы при решении краевых задач для уравнений Лапласа и Гельмгольца, в которых старший член оператора в граничном условии имеет вид ^. Такие краевые условия встречаются, например, в задачах акустики.

В главах 2 и 4 изучается квазилинейная двухфазная задача Вентцеля для эллиптических и параболических уравнений. Такая задача описывает ситуацию, когда пленка £ разделяет область О на две части. Условие на пленке при этом задается квазилинейным уравнением второго порядка (соответственно эллиптическим или параболическим) по касательным переменным. Главные члены граничного оператора, как и в однофазной задаче, описывают диффузию вдоль пленки, а члены первого порядка образуют оператор "скачка" поперек пленки ди

Zu = 6S)[ 1](ж, % D*u + п(х) • £limo — {х + е • п(ж); t)) — ди

Ье,[2] (х, t, и, D*u + п(ж) • lim^ + £ • п(ж); £)) здесь и далее р* обозначает проекцию вектора р на касательную плоскость к Е) и описывают взаимодействие пленки с подобластями и Л

Во второй главе разбирается случай Е П дП — 0. Следует отметить, что в случае бад = 0 (т.е. когда пленка не взаимодействует с внешней областью ПИ), можно сначала найти решение однофазной задачи Вентцеля в fiW, а затем решить задачу Дирихле в (Л используя в качестве граничного условия на Е след функции, полученной на первом этапе. Точно так же любая однофазная задача Вентцеля в может быть рассмотрена как двухфазная, если ввести фиктивную область и положить Ъщ2] = 0. В связи с этим в главе 2 изложение ведется только для двухфазной задачи.

Исследование однофазной задачи Вентцеля для эллиптических уравнений общего вида было начато в работах N.S. Trudinger'a и его ученика Y.Luo. В работах [Lol], [Lo2], [LoTl] была доказана классическая разрешимость этой задачи при условии линейного роста функции, задающей граничный оператор, по компонентам Du. Соответствующие результаты для параболических уравнений, а также разрешимость задачи в пространствах Соболева, были получены в работах Д.Е. Апушкинской и автора [An], [АН1], [АН2], [AN3]. Для решений из соболевских пространств функции, входящие в уравнение, могут содержать также особенности по независимым переменным, суммируемые в достаточно высокой степени. Эти результаты вошли в кандидатскую диссертацию Д.Е. Апушкинской.

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

В §2.1 дается постановка параболической двухфазной задачи Вентцеля и формулируются теоремы существования в пространствах Соболева и Гельде-ра.

В цилиндре Q = Пх]0,Т[ рассмотрим начально-краевую задачу dtu — t, и, Du)DiDjU + ащ(х, t, и, Du) = 0 в QM, h = 1,2, 0 на Ет = 2х]0,Т[, u\ffQ = 0. (0.2)

Будем предполагать, что уравнения в (0.2) равномерно параболические, т.е. (а|м) и (а^) ~ симметричные матрицы, и неравенства

ИП ^ a'K-^t^.P'WiC, f 1П ,

АО) (ВО) г/ = const > 0) справедливы при всех значениях аргументов и при всех £ £ Кп.

Предположим также, что функции ащ, as удовлетворяют неравенствам а[Л](я, t, z,p)\ < + Ь[Л](я, t)|p| + Ф[/1](я, £), (Al)

Bl) где /I = const ^ 0.

Далее, коэффициенты а1щ, aQ имеют первые соболевские производные по х, z, р, и выполнены следующие неравенства: dp da%(x,t, z,p*) dp* i + bl' [A],

A2-B2)

1 + bl' где введено обозначение с) = р • ^ +

Наконец, функции &Е,[/ф входящие в определение оператора Л, имеют пер вые соболевские производные по р, и выполнены следующие неравенства: dbEj[h]{x,t,z,p) п(ж) < ЬеОМ); t)\p\ + ФЕ(я, t).

JO) (Jl)

Теорема 2.1.1. Пусть п < q < оо, и выполнены следующие условия: i) Е и dQ - поверхности класса Wq+2, Е Г) дП = 0; ii) выполнены условия (АО), (Al), (А2), (В0); (Bl), (В2), (JO), (J1); in) b[h]) фм, ф[а1 g lq+2{qw), ьх, фф? € vдет); iv) функции a>[h](',z,p) непрерывны по (z,p) как элементы пространства Lq+2(Q^), « функции a%(-,z,p*), bs>[h](-,z,p) непрерывны по {z,-p) как элементы пространства Lg+i(Er).

Тогда задача (0.2) имеет решение и е v£2(q) = и ди) п <;\(ег) п с(й).

Теорема 2.1.2. Пусть выполнены следующие условия: i) Е и dQ - поверхности класса С2+7, 7 е]0,1[, Е П dfi = 0; ii) выполнены условия (АО), (А2), (ВО), (В2), (J0), а также следующие структурные ограничения:

А1')

Mx,t,z,p*)\ + (В1')

J1') ш) Ф[А1 <Е lq+2(qw), Ф? G lq+1(zt); iv) функции агщ, ащ, а^, а^, Ъ^щ удовлетворяют условию Гельдера с показателем 7 по переменным х, z, р и с показателем 7/2 по переменной t; v) выполнены условия согласования: a[h](x, 0,0,0) = аЕ(х, 0,0,0), х€ Е; а[2](х, 0,0,0) = 0, хе дП.

Тогда задача (0.2) имеет решение и €

Отметим, что структурные условия теорем 2.1.1 и 2.1.2 являются естественными и соответствуют структурным условиям, накладываемым в теоремах о разрешимости задачи Дирихле (см. [ЛУ4]).

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

В §2.3 получена глобальная оценка максимума решения линейной двухфазной задачи Вентцеля. Далее в случае Е Г) д£1 = 0 устанавливаются коэрцитивные оценки решений этой задачи в пространствах Соболева и Гельдера и доказываются теоремы существования.

Пусть С^ - линейные равномерно параболические операторы в Q^:

Пусть В - линейный равномерно параболический оператор на пленке Еу:

Пусть, наконец, J - оператор "скачка" на Еу: ди ди

Ju ЕЕ ЬЕ)[ф, t) • Дто —(я + е • п(ж); t) - bEi[2](x, t)' £Hm — (х + £ • n(:r); t),

ЬвдОМ)

Теорема 2.3.4. 1. Пусть п < q < оо? Е и дО, - поверхности класса W"22; Е П дО, = 0. Пусть

6h]u ее dtu - aj^rc, t)D{DjU + b\h](x, t)DiU + c^{x, t)u,

Bu = dtu - a%{x, t)D*D*u + b^x, t)D*u + cs(z, t)u,

4 = 4 ИГ I2 ^ 4&Q < I2 e Rn. j ^ равномерно по t £ [О, Т],

И, b\h], № £ Lq+2(Ql% /Е, bl СЕ, Ье,[Л] G WEr). Тогда начально-краевая задача l% = fW в QW, А = /М в Qfl

0.3)

Bw + Ju = /s на Ег, = 0, имеет единственное решение и £ Vg+2(Q).

2. Пусть Е и д£1 - поверхности класса С2+1, 7 б]0,1[, Е П д£1 = 0. Пусть коэффициенты и правые части уравнений (0.3) принадлежат C7(QM) и соответственно.

Если вдобавок выполнены условия согласования

Ю = /Е на Е х {0}, /[2] = 0 на дПх{0}, то начально-краевая задача (0.3) имеет единственное решение и £ CE+7(Q).

В §2.4 получены гельдеровские оценки для решений квазилинейной двухфазной задачи. При этом применяется классический метод Н.В. Крылова - М.В. Сафонова ([КС]; см. также [ЛУЗ], где этот метод распространен на уравнения с суммируемыми особенностями). Однако для двухфазной задачи Вентцеля пришлось сконструировать новые барьерные функции (Леммы 2.4.1 и 2.4.2). В п.2.4.3 получены также вспомогательные локальные оценки констант Гельдера с повышенным показателем для решений линейных уравнений, используемые в следующем параграфе.

В §2.5 устанавливаются оценки градиента решения квазилинейной двухфазной задачи. Ключевую роль здесь играет следующая техническая лемма.

Лемма 2.5.1. Пусть непрерывная функция ср : [0;#| —» удовлетворяет условию где а - положительная константа, а Т - возрастающая функция своих аргументов.

Тогда существует положительная константа ро ^ R, зависящая только от а и свойств функции Т, такая, что ip(p) < Pq01 при любых р ^ ро.

В Теореме 2.5.2 оценка сводится к Лемме 2.5.1 методом масштабирования с использованием известных результатов О.А. Ладыженской - Н.Н. Уральцевой о внутренних оценках градиента (см. [ЛУ4]), а также теоремы о продолжении функций из анизотропных гельдеровских классов ([АН1, лемма 6.1]). После получения этой оценки уравнение на пленке можно считать полностью автономным, и оценка гельдеровской нормы Du в Q^ получается стандартным способом.

В §2.6 получены глобальные оценки максимума для решения квазилинейной двухфазной задачи, после чего Теоремы 2.1.1 и 2.1.2 доказываются по стандартной схеме применением теоремы Лерэ - Шаудера.

В Приложение А вынесены результаты для эллиптических уравнений, соответствующие теоремам из §§2.1-2.6. При этом обсуждаются лишь теоремы, имеющие существенные отличия от параболических. В частности, следующая теорема дает достаточные условия единственности решения линейной задачи.

Теорема А.6. Пусть Е е и выполнены условия < ИП2 < 48% < "11Л2 е ir, b\h]eLn(nW), 6jbeL„i(E), о, ж е Е, c[h] ^ 0 в се (ж) ^ со на Е, с0 = const > 0.

Тогда однородная задача

-ctfc{x)DiD3u + b\h](x)DiU + S(x)u = 0 в Ф, -о?1(х)ВЩи + b\*(x)D?u + cz(x)u + Ju = 0 на Е, имеет в U fi^) П W^1(E) П C(Q) только тривиальное решение.

В главе 3 рассматривается задача Дирихле для квазилинейных эллиптических и параболических уравнений в областях с гладкими замкнутыми ребрами произвольной коразмерности. Хотя эта задача является модельной по отношению к задаче, изучаемой в главе 4, но она представляет также значительный самостоятельный интерес.

В отличие от гладких областей, в которых, как уже упоминалось, эта задача хорошо изучена, почти все публикации, посвященные задачам в областях с особенностями, касаются исключительно линейных уравнений. Для квазилинейных недивергентных уравнений в эллиптическом случае ранее были известны лишь результаты М.В. Борсука ([Бо1], [Бо2]), который рассматривал только коническую особенность. Результаты главы 3 являются новыми даже в этом случае, ибо структурные условия, налагаемые здесь на члены младших порядков, как будет указано ниже, менее ограничительны, чем соответствующие условия из [Бо2].

Примерно в то же время, что и результаты главы 3, были опубликованы работы М.И. Плеши (ученика М.В. Борсука) [Пл1]-[ПлЗ], который рассмотрел эллиптическую задачу в области с ребром коразмерности 2 (особенность типа двугранного угла). Следует отметить, что наши результаты о разрешимости сильнее результатов Плеши, ибо его оценки, как и оценки Борсука, основаны на обычном принципе максимума А.Д. Александрова, который в случае ребра применим, только если угол при ребре "достаточно острый" (см. Замечание С.З). Кроме того, наши структурные условия на члены младших порядков и здесь менее ограничительны, чем соответствующие условия из [Пл1]-[ПлЗ].

В §3.1 дается постановка задачи Дирихле для квазилинейной параболической задачи и формулируется теорема существования решения в пространствах Кондратьева.

Предположим, что на <ЭГ2 выделено (■п — т)-мерное подмногообразие без края S ("ребро"), такое, что в окрестности каждой точки я0 G S область П диффеоморфна "острому" клину

JCm(G) С Kmfi, в < (0.4) причем в можно выбрать не зависящим от х°.

Если ттг = п, то S будет не ребром, а конической точкой. При этом клин Km(G) вырождается в конус Km(G). Этот случай не исключается из рассмотрения.

Обозначим через d(x) расстояние от точки х до ребра S и введем шкалу весовых пространств LS)(a)(Q) с нормой

IHU(a),e = (Ф)ГН3,q

2 1

Введем также пространства Кондратьева Ws'^(Q) с нормой

Mk;(a)(Q) = + 1\D(Du)IU°),Q + IIй • (d(X))~2\\\s,(a),Q

В цилиндре Q рассмотрим начально-краевую задачу dtu — аг\х, t, и, Dn)DiDjU + a(x, t, u, Du) = 0, u\ffQ = 0. (0.5) 4

Определим 0(9, v) как решение уравнения ctg(S) = v • ctg(0), 0€]O,|[, (0.6) где p - константа эллиптичности из (АО), а 9 - параметр из (0.4).

Пусть Л(т, 9) - первое собственное число задачи Дирихле для оператора Бельтрами на сферической "шапочке" = Kmg-fl Sm:

-Av = Av в v\dGd = 0.

Обозначим через ш положительный корень уравнения и2 + (т - 2)ш - А = 0 л заметим, что из условия 9 < тг/2 вытекает ш > 1) и положим

I п-т q = max < n, ш —

Теорема 3.1.1. Пусть выполнены следующие условия: ^ 10 ГП п + 2 ае]2- — и) Ш € W2q+Ua); iii) функции a^(x,t, z,p) и a(x,t,z,p) удовлетворяют условиям (АО), (А1),

А2); iv) b, ф е bq+2,(a)(Q); Фх е L,1+2j(ai)(Q); a1+ < 1 v) функции al^(x,t,z,p) непрерывны по t; vi) функция a(-,z,p) непрерывна по (z,p) как элемент пространства Ц+2 ,(a){Q)

Тогда задача (0.5) имеет решение и £ Q).

Заметим, что если линейная теория эллиптических задач в областях с ребрами построена в достаточной общности для всех пространств, которые обычно используются при изучении квазилинейных уравнений (Hk, Lp, С7; см., например, монографию [НП] и статьи [МП1], [МП2], [MR]), то соответствующая параболическая теория еще далека от завершения. Наиболее разработана теория для гильбертовых пространств (можно отметить, например, серию работ [КМ1], [КМ2], [Кз1], [Кз2], в которых рассмотрены задачи в областях с коническими точками). Что касается пространств Lp и Гельдера, то лишь в работах В.А. Солонникова [Со2] и [So3] были получены коэрцитивные оценки решений задач Дирихле и Неймана для уравнения теплопроводности в двугранном угле. В связи с этим два параграфа главы 3 посвящены выводу коэрцитивных оценок в анизотропных весовых пространствах для решения задач Дирихле и Неймана для уравнения теплопроводности в клине с ребром произвольной коразмерности (при этом не предполагается, что клин fc>m(G) - острый).

В §3.2 получены оценки некоторых интегральных операторов в пространствах Ь5)Г)(а) и Ls,r,(a)' При этом использована стандартная интерполяционная техника и некоторые идеи из работы [So3].

В §3.3 доказываются следующие теоремы:

Теорема 3.3.1. Пусть Ах> - первое собственное число задачи Дирихле для оператора Бельтрами в области G:

-AU = AVU в G, U\gG = 0.

Обозначим сох> положительный корень уравнения ш2 + (т - 2) • и - Ар = 0.

Пусть s, г € ]1,+оо[, а показатель а удовлетворяет неравенствам т т

2---cuj) < а <т---hш-р. s s

Тогда для решения задачи Дирихле для уравнения теплопроводности в клине fcm{G) выполнены оценки адкг,(а) + \\D(Du)\\sMa) + ||и • М-2|Цг,(а) < С \\Д3,г,{а),

I\М\7,г,(а) + + IIй ' \X'\~2\\7,r,(a) < С 11/1 £г,(а)

Теорема 3.3.2. Пусть А// - первое ненулевое собственное число задачи Неймана для оператора Бельтрами в области G: dU

AU = A^U в G, 0. дв дп

Обозначим шм положительный корень уравнения и? + (т - 2) • и - Ам = 0.

Пусть 5, г G ]1,+оо[, а показатель а удовлетворяет неравенствам п т . r m т 2---ппщамл 2[ < а < т--. s s

Тогда для решения задачи Неймана для уравнения теплопроводности в клине JCm(G) выполнены оценки

ИЭДкг» + \\D(Du) ||5)Г)(а) < С ||/||в>г>(а), ИЭД1^(а) + \\D{Du)||~>(в) < С ||/||~ i(e).

Ключевым в доказательстве является такое наблюдение:

Теорема 3.3.4. Пусть ft = ft' х ft", ft' С Жт, ft" С Епт.

Пусть Q'd{x', г/'£) - функция Грина задачи Дирихле для оператора теплопроводности в области ft', a Q^ix", у", t) - функция Грина задачи Дирихле для оператора теплопроводности в области ft".

Тогда функция Грина задачи Дирихле для оператора теплопроводности в области ft задается формулой

Qv(x, у, t) = G'v{x\ у• G'i{x\ у\ t).

Аналогично, функции Грина задач Неймана для операторов теплопроводности в областях ft, ft' и ft" связаны формулой дЯ{х, у, i) = Q'M{x\ у', t) • ^(я", j/",*).

С помощью этой теоремы и известных оценок В.А. Козлова для функции Грина краевых задач в конусе ([Кз1]) доказательство Теоремы 3.3.1 сводится к оценкам, полученным в предыдущем параграфе. Для доказательства Теоремы 3.3.2 при т > 2 предварительно выделяется и оценивается отдельно оператор, порождаемый главным членом асимптотики функции Грина. При т = 2 этот метод не проходит, поэтому доказательство здесь использует оценки функции Грина в двугранном угле, полученные В.А. Солонниковым ([Со2]). В п.3.3.4 получены весовые коэрцитивные оценки в полупространстве (формально это соответствует т = 1).

Как уже упоминалось, фундаментом априорных оценок, необходимых для доказательства теорем существования решения краевых задач для недивергентных квазилинейных уравнений, служат оценки максимума Александровского типа. Однако если граница области содержит ребро, то, как следует из линейной теории, "правильными" пространствами для правой части уравнения являются весовые пространства Ls^ay Локальные оценки максимума решения через нормы правой части в этих пространствах устанавливаются в §3.4. Такие оценки позволяют более точно учесть геометрию области, что видно из сравнения наших результатов (для эллиптических уравнений) с результатами М.И. Плеши.

Принципиальная схема получения таких оценок была разработана автором в [Н] на основе идеи "условных" оценок, предложенной Н.В. Крыловым ([Kpl]). Сначала доказываются "условные" оценки в крайних пространствах шкалы, затем с помощью интерполяции получаются "условные" оценки во всей шкале, и, наконец, вспомогательная функция *В оценивается через себя саму, что позволяет свести "условные" оценки к "безусловным". Таким образом получается следующая теорема:

Теорема 3.4.6. Пусть £7 С JCm^(R) (условие в < 7г/2 не накладывается), п ^ qo ^ оо; п ^ qi < оо. Пусть С - линейный равномерно параболический оператор в Q

Си = dtu - aij(x, t)DiDjU + Ъ\х, t)DiU с константой параболичности v. Если Ъг £ Lqi+1^ n±i.)(Q); то для всех функций и Е W2,1 Л nn±i\(Q)> шаких, чгпо и\я,а ^ 0, выполнена оценка

70 + Ы1 gQ+l) П где Л зависит только от п, т, и, q\, R и ||b||gi, n+i^u.

Далее, если НЬЩ^д < jfe то для всех функций и G WgJ|1)(1 n+1)(Q), таких, что u\g,Q ^ 0, выполнена оценка

40 и < iv35(n, m, v, q0) • R"0+1 • ||(>Сп)+||50)(а0))Ли.

В п.3.4.4 получены аналогичные оценки через нормы правой части в анизотропных весовых пространствах и £s,r,(a) •

Заметим, что, в отличие от пространств Ь5)Г, широко используемых для изучения параболических задач в областях с гладкими границами (см., например, [МС]), анизотропные пространства Ь3уГ, в которых функция суммируется сначала по t, а потом по х, до сих пор не применялись, во всяком случае, коэрцитивных оценок в этой шкале в литературе найти не удалось. По-видимому, это связано с тем, что задачи для параболических уравнений принято рассматривать как динамические системы, что возможно лишь в шкале LSfr, и вторая шкала просто не попала в поле зрения исследователей как "неестественная". Однако оценки тепловых потенциалов в этой шкале получаются так же, как и в первой (Лемма 3.3.3). Важно отметить, что при оценке максимума Александровского типа через анизотропные нормы правой части всегда используется более сильная из двух норм, и шкала is,r,(a) (ПРИ s < г) возникает естественным образом.

В §3.5 доказывается теорема существования для линейной задачи в пространствах Кондратьева, а также выводится глобальная оценка максимума решения. При этом условие остроты клина JCm(G) не накладывается.

В §3.6 получены гельдеровские оценки для решений квазилинейной задачи (также без условия остроты клина JCm(G)). Для этого конструируется новая барьерная функция (Лемма 3.6.1), после чего сшиваются оценки в окрестности ребра с известными оценками из [ЛУЗ].

В §3.7 выводится локальная оценка гёльдеровской нормы градиента решения в окрестности ребра. Острота клина JCm(G) по-прежнему не предполагается, однако требуется выполнение оценки

0. (0.7)

Вывод оценки использует хорошо известную идею масштабирования (так называемый метод слоев Кондратьева) и локальные оценки градиента решений в гладких областях ([ЛУ4], [ЛУ5]).

В §3.8 устанавливается оценка (0.7) в предположении, что /Ст - острый клин. Для этого строится специальная барьерная функция (Лемма 3.8.1), а затем применяется итерационный метод, предложенный О.А. Ладыженской и Н.Н. Уральцевой ([ЛУ5]) для оценки градиента решения на границе области.

В §3.9 получены глобальные оценки максимума для решения квазилинейной задачи, после чего Теорема 3.1.1 доказывается по стандартной схеме.

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

В Приложении С формулируются результаты для стационарной задачи, аналогичной задаче (0.5). При этом обсуждаются лишь теоремы, имеющие существенные отличия от параболических. Как отмечается в Замечании С.З, в случае конической точки (га = п) при | > 2 — ш можно получить все априорные оценки через обычные (невесовые) нормы функций 6, Ф, Ф1. Именно это было сделано в работах [Бо1], [Бо2]. При этом накладывалось условие Ь, Ф б Loo,(1-е)) более ограничительное, чем условие (v) Теоремы С.6.

В четвертой главе изучается квазилинейная двухфазная задача Вентцеля в случае, когда пленка Е и внешняя граница д£1 пересекаются трансверсаль-но. Это означает, что части области и ПИ имеют на границе ребро. Поскольку естественными функциональными пространствами для задач в областях с ребрами являются пространства Кондратьева, то уравнение на пленке также следует решать в весовых пространствах с весом, равным некоторой степени расстояния во внутренней метрике пленки от точки до ребра.

В §4.1 дается постановка эллиптической двухфазной задачи и формулируется теорема существования решения в составных пространствах Кондратьева.

Предположим, что <S = Е П dfl есть (п — 2)-мерное подмногообразие без края, причем в окрестности каждой точки х° £ S касательные плоскости к Е и к dfi пересекаются под углом 2$(я°), и 7г/2 — < 9 < 7г/2.

Обозначим d(x) расстояние от точки х до подмногообразия S, a d(x) -расстояние во внутренней метрике многообразия Е от точки х £ S до подмногообразия S. Введем следующие шкалы пространств:

Lgj(a)(n) - весовые пространства с нормой ||| • |||q)(a),n, где v>lq,{a),n = II {d{x)fu\\9|П;

- множество функций в Q, имеющих конечную полунорму аналогично, И^(а)(Е) ~ множество функций на £, имеющих конечную полунорму \lD*(D*u)lq^a)^.

Отметим, что полунормы l\D(Du)\lq^a)^ и \\D*(D*u)l\q^a)tY, являются нормами, если и обращаются в нуль на 0Q и <5, соответственно. Введем еще пространство

0) = {и € И&в)(ПМ U ПИ) П W^.^S) П С(П): tt|№ = о} . где 3 обозначает стационарный оператор "скачка".

N /N

Определим в = в{6,у) как решение уравнения (0.6), где и - константа эллиптичности из (АО), а в - параметр трансверсальности, и положим

Рассмотрим двухфазную эллиптическую задачу ajijOc, и, Du)DiDjU + а[1](я, и, Du) = 0 в a^'j (я, Dv)DiDjU + ащ {х, и, Du) = 0 в П^, аг£(х,и, D*u)D*DjU +и, D*u) = 0 на Е, и\дп = 0,

0.8) q = шах

Теорема 4.1.1. Пусть выполнены следующие условия: i) fc^coo, max{-i,2-f-^}<a<l-^; ii) dQ,WeWl(a) при h = 1,2; n . iii) для всех возможных решений vfi € т ^ [0,1], семейства задач г т(—агщ(х, и, Dn)DiDjU + ащ(х, и, Du))~

1 — г) Aw = 0 в < т(-а%{х, и, D*u)D*D*u + аф, и, D*u) +

- (1 - т)Аи = 0 на Е, и\дП = О, \ 1 справедлива оценка ^ Мо/ iv) при \z\ ^ Мо выполнены условия1 (АО), (Al), (А2), (ВО), (Bl), (В2), (JO), (J1); v) Ъ[}ф фИ <= h = 1,2; Ье, Ф2 е Lelf(ee0(E); vi) Ф^ € L,b(ai)(i#]), Л = 1,2, Ф? е 41|(aift0(E); ai+ < 1 vii) функции CL[h\{'->z,p), h = 1,2, непрерывны no (z,p) как элементы пространств Lg)(a)(Q^), а функции Ье,[л](-,ziP)> h = 1,2, « a^(-,z,p*) непрерывны no (z,p) как элементы пространства .

Тогда задача (0.8) имеет решение и £ ^^(fi).

В §4.2 изучается разрешимость вспомогательной задачи Дирихле в весовых пространствах, которая используется затем для решения уравнения на Е. Результаты этого параграфа в основном соответствуют результатам о разрешимости в обычных пространствах Соболева (см. [ЛУ4]). Для получения априорных оценок используется новая версия принципа максимума Александрова (п.4.2.2), разработанный в [АН2] метод получения оценок градиента для уравнений с "составной" правой частью и младшими коэффициентами (п.4.2.4), а также метод масштабирования (п.4.2.5).

§4.3 посвящен разрешимости линейной двухфазной задачи. Ключевую роль здесь играет лемма о продолжении функций из весовых пространств.

1 Все функции, входящие в эти условия, не зависят от переменной t.

Лемма 4.3.1. Пусть 1 - J - > 0, и дП^ Е VV£(a), h = 1,2. Тогда существует оператор продолжения такой, что причем константа Сщ зависит только от q, а и от свойств

Пусть С^ - линейные равномерно эллиптические операторы в £"2^, В -линейный равномерно эллиптический оператор на пленке Е:

С[% = -tfh]{x)DiDjU + b\h](x) DiU, Ей = —a^(x)D*D*u + Ъ^хЩи. a J - оператор "скачка"2 на Е.

Теорема 4.3.3. Пусть q и в - константы, введенные выше. Пусть выполнены условия (i)-(ii) Теоремы 4-1-1-Предположим еще, что

Е С(ПЛ), /W, \b[h]\ Е L9i(a)(fiM), h = 1,2, а%1 Е С(Е), /2, |bE|, bEj[i], Ъщ2] G L9it(a9/)(E). Тогда задача

C^u = f[h] в fiW, Л = 1,2, /Згг + = /е на Е, = О, однозначно разрешима в npocmpancmeeV2 ^{Q), при условии, что соответствующая однородная задача имеет только тривиальное решение.

Единственность решения однородной задачи установлена в Теореме 4.3.4 при дополнительном условии локальной ограниченности коэффициентов Ьщ,

2 Коэффициенты не зависят от переменной t.

ЬгЕ, Ъщщ- Вопрос о возможности замены этого условия на естественное условие (4.3.24) в общем случае остается открытым.

В §4.4 на основе полученных ранее оценок решений модельных задач выводятся априорные оценки градиента решения и доказывается Теорема 4.1.1.

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

Лемма D.5 (4.3.1'). Пусть показатели q, q, г, г, а и а удовлетворяют условиям п 2 л п—1 2

1-----> 0; 1------ - а, > 0; q г q г п п-122 , . q ^ g, г ^ г, {а - а)+ <---— + - - q ^ г, (0.9) q q г г и пусть G W2>(a), h = 1,2.

Тогда существует оператор продолжения такой, что где константы Сщ определяются q, q, г, г, а, а и свойствами дО,^.

Если последнее неравенство в (0.9) заменить на г ^ q, то справедливо утверждение, получающееся заменой пространств W на W.

В главе 5 рассматривается полностью нелинейная задача Вентцеля для эллиптических уравнений

F(x,u,Du,D2u) = 0 в П, К ' ' ; (0.10) Gi(x, и, D*u, (D*)2u) + G2(x, и, Du) = 0 на дП.

В §5.1 дается постановка задачи и формулируется теорема существования.

Будем предполагать, что уравнения в (0.10) равномерно эллиптические, т.е. неравенства (dF{x'dz;p'r)z,t\ < f^i2 vf s в», (fo) (dGl{Xgrf'r,)(',(') < "1l«f Vf 6 M"-1, (GO/1) v = const > 0) выполнены при всех значениях аргументов.

Далее, функции F и G\ подчинены Бернштейновским условиям роста (здесь /1 и 7Г - некоторые положительные константы)

F{x,z,p,r)\ < ц ■ (1 + Н2 + |г|), |Gi(rc,z,p*y)| < тг • (1 + |pf + |г*|),

F1-G1/1) вогнуты по вторым производным: и удовлетворяют естественным структурным ограничениям на первые и вторые производные.

Аналогично, функция 6?2 подчинена условиям д°2^р) . n(ar) ^ 0, |G2(z, z,p)\^ тг • (1 + И), р /d2G V (G0/2-G2/2) и удовлетворяет естественным структурным ограничениям на первые и вторые производные.

Как известно, при доказательстве разрешимости полностью нелинейных уравнений условие (F2) в общем случае опустить нельзя. Вопрос о необходимости условия выпуклости функции G2 по нормальной компоненте Du пока остается открытым.

Теорема 5.1.1. Пусть выполнены следующие условия: i) Ш £ Wq, п < q < оо; ii) F G x Ж x Mn x Sn), Gx G И^гос(Ш x R x M""1 x S71"1), C2 6 Wljoc№ xlx Rn); iii) для всех возможных решений G r G [0,1], семейства задач tF(x,u,Du,D2u) + (1-t)Au = 0 в Q, т[-С!(х,и,В*и, (D*)2u) + G2(x,u, Du)) + (1 -т)(-Аи + и) = 0 на dQ, справедлива оценка ^ Mq; iv) при \z\ < M0 выполнены условия (F0)-(F3), (G0/1,2)-(G3/1,2). Тогда задача (0.10) имеет решение и G

В §5.2 получены оценки градиента решения. При этом для вывода вспомогательных оценок (Леммы 5.2.1 и 5.2.2) применяется модификация методов [LiT] и [ЛУ1, Гл.VI]. В частности, при выводе гельдеровских оценок потребовалось ввести дополнительную барьерную функцию для подавления членов, содержащих еще не оцененную нормальную производную. Далее, как и в Теореме 2.5.2, используется метод масштабирования и Лемма 2.5.1.

В §5.3 установлены приграничные оценки вторых производных решения. При этом используется модификация идеи [Т], а также граничные оценки градиента из [АН2].

В §5.4 доказывается Теорема 5.1.1, а также обсуждаются условия на F, G\ и G2, при которых выполнено условие (iii).

В последней, шестой главе исследуется вырожденная задача Вентцеля для квазилинейных эллиптических уравнений. В §6.1 дается постановка задачи и формулируется теорема существования. Рассмотрим краевую задачу ад = -aij(х, и, Du)DiDjU + а{х, и, Du) = 0 в П, (0.11)

Щи] = Q(x) [-<4m(z, и, D*u)D*sD*mu + аф, и, D*u) 6s(rc, и, Du) = 0 на дО.

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

Отметим, что в работах [Lo2], [LoT2] предлагалось рассматривать другие типы вырождения граничных условий. Однако доказательство гельдеровости решения в [Lo2] и вывод оценок градиента в [LoT2] содержат существенные пробелы. Подчеркнем, что наша техника отличается от [Lo2], [LoT2].

Предположим, что

0^0, 0 е wl(dQ). Ст)

Пусть (а13') и (а|Р) - симметричные матрицы, удовлетворяющие условиям3 (АО), (ВО). Пусть выполнены Бернштейновские условия роста а(я, Z,p)I < ц. (1 + И2), |аЕ(®, z,p*)\ < тг. (1 + И2). (А1-В1)

Предположим, кроме того, что член представляет собой производную по некасательному к дО, векторному полю, т.е. дь^р) • п.{х) > х; MX, z,p)\< х-1 • (1 + М) (BO'-Bi') здесь х = const > 0).

Наконец, все функции, входящие в уравнения (0.11), имеют вторые обобщенные производные по своим аргументам и удовлетворяют некоторым естественным структурным ограничениям.

Теорема 6.1.1. Пусть выполнены следующие условия: i) дй Е Wq, п < q < оо;

3 Функции, входящие в эти условия, не зависят от переменной t. ii) для всех возможных решений и^ G V^(<9f2) задач т£М - (1 - т)Аи = 0 в П, r г ~ те 0;1 т*В[и] + (1-т)(-Аи + и) = 0 ш дП, справедлива оценка ||i4[T]||n ^ Mq; iii) выполнены условия (АО), (Al), (А2), (Т), (ВО), (Bl), (В2); iv) в условии (А2) Ф Е Ln(Q).

Тогда задача (0.11) имеет хотя бы одно решение и Е С2(Г2).

В §6.2 получены приграничные гельдеровские оценки решений. При этом на функцию Э накладывается лишь условие липшицевости. Сначала устанавливается оценка неотрицательного решения в окрестности точки вырождения граничного условия (Лемма 6.2.1), далее (Теорема 6.2.3) эта оценка сшивается с известными оценками для невырожденной задачи. Отметим, что аналогичным путем можно получить гельдеровскую оценку для решений параболической равномерно вырождающейся задачи Вентцеля.

В §6.3 получены оценки градиента решения при условии \/0 б W^dQ,). Отметим, что метод, примененный в главах 2 и 5, не применим в случае вырожденного граничного условия. В связи с этим для оценки максимума модуля касательного градиента (Теоремы 6.3.1 и 6.3.1') применяется модификация метода [LiT]. Для получения гельдеровской оценки касательного градиента (Теоремы 6.3.2 и 6.3.2') модифицируется метод [ЛУ1, Гл.VI]. Именно, аналогично §5.2, вводятся дополнительные барьерные функции для подавления членов, содержащих еще не оцененную нормальную производную, и сшиваются оценки вблизи и вдали от точек вырождения граничного условия. После этого оценка полного градиента следует из результатов G. Lieberman'a ([Lil]). Отметим также, что аналогичным способом можно получить оценку градиента решения полностью нелинейной задачи.

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

§6.4. Идея этого вывода похожа на доказательства из §5.3, но, с одной стороны, линейность задачи по вторым производным дает возможность получить двустороннюю оценку (6.4.16), а с другой - здесь вновь приходится сшивать оценки около точек вырождения с оценками для невырожденной задачи.

Наконец, в §6.5 доказывается Теорема 6.1.1, а также обсуждаются условия на функции, входящие в (0.11), при которых выполнено условие (ii).

Результаты работы докладывались на международном семинаре "Days of Diffraction" (СПб, 1998), на международных конференциях по дифференциальным и функционально-дифференциальным уравнениям (Москва, 1999 и 2002), на международном симпозиуме, посвященном 150-летию со дня рождения С.В. Ковалевской (СПб, 2000), на школе-семинаре EVEQ-2000 (Прага), на III Европейском Математическом Конгрессе (Барселона, 2000), на международных конференциях "Differential Equations and Related Topics", посвященных И.Г. Петровскому (Москва, 2001 и 2004), на международной конференции EQUADIFF-2001 (Прага), на XIV Всероссийской математической школе "Понтрягинские чтения" (Воронеж, 2003), на международной конференции "Nonlinear Partial Differential Equations" (Алушта, 2003). Кроме того, результаты неоднократно докладывались на семинаре имени В.И. Смирнова (ПОМИ РАН; руководители - О.А. Ладыженская, М.Ш. Бирман и Н.Н. Уральцева) и на семинаре по нелинейным дифференциальным уравнениям (МГУ; руководители - Е.М. Ландис и В.А. Кондратьев).

Основное содержание диссертации отражено в работах [1-17].

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