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

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

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

АПУШКИНСКАЯ ДАРЬЯ ЕВГЕНЬЕВНА

ЗАДАЧА ВЕНТЦЕЛЯ ДЛЯ НЕЛИНЕЙНЫХ ПАРАБОЛИЧЕСКИХ УРАВНЕНИЙ

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

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

САНКТ-ПЕТЕРБУРГ 1993

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

АПУШКИНСКАЯ ДАРЬЯ ЕВГЕНЬЕВНА

ЗАДАЧА ВЕНТЦЕЛЯ ДЛЯ НЕЛИНЕЙНЫХ ПАРАБОЛИЧЕСКИХ УРАВНЕНИЙ

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

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

САНКТ-ПЕТЕРБУРГ 1993

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

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

профессор УРАЛЬЦЕВА Нина Николаевна

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

профессор ЛАНДИС Евгений Михайлович

-кандидат физико - математических нау» ЧЕЛКАК Сергей Иванович

Ведущая организация - СПбОМИ им. В.А. Сгеклова

Защита состоится ^саЬр* 1993 года в ¿1 часов на заседанш специализированного совета К.063.57.49 по присуждению ученой степей кандидата физико-математичских наук в Санкт-Петербургское государственном университете по адресу: 198904, Старый Петергоф Бибилиотечная пл. 2

С диссертацией можно ознакомиться в Научной библиотек СПбГУ по адресу: 199034, Санкт-Петербург, Университетская наб. 7/9.

Автореферат разослан А ЦозБ^Уи 1993 года.

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

А.И. Шепелявы!

АКТУАЛЬНОСТЬ ТЕМЫ.

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

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

Менее стандартным для теории эллиптических и параболических уравнений является краевое условие второго порядка по касательным переменным, которое учитывает диффузию вдоль границы и отражение от границы. Это условие было впервые поставлено А.Д. Вентцелем в 1959 году и в дальнейшем стало называться его именем. Первые результаты, касающиеся задачи Вентцеля для эллиптических уравнений, были недавно получены Н. Трудингером и Я. Луо. Более сложная проблема: нестационарная задача Вентцеля, т.е. начально-■ краевая задача для параболического уравнения с граничным условием, имеющим вид параболического уравнения по касательным переменным, до сих лор не изучалась.

ЦЕЛЬЮ РАБОТЫ является исследование классической разрешимости нестационарной задачи Вентцеля и, кроме того, разрешимости в пространствах Соболева. В последнем случае допускается наличие суммируемых особенностей у функций, входящих в уравнение и граничное условие.

НАУЧНАЯ НОВИЗНА.

Все результаты, приведенные в основном тексте диссертации (гл. 1-4} являются новыми.

ТЕОРЕТИЧЕСКАЯ И ПРАКТИЧЕСКАЯ ЦЕННОСТЬ.

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

РЕЗУЛЬТАТЫ, ВЫНОСИМЫЕ НА ЗАЩИТУ.

1) Получено обобщение принципа максимума Александрова-Крылова на решения параболических уравнений с граничным условием Вентцеля.

2) Установлены гельдеровские оценки решения для случая, когдг граничное условие является квазилинейным параболические уравнением с квадратичным ростом по касательному градиенту.

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

4) Получены граничные оценки градиента решения задач! Вентцеля со слабо нелинейным граничным условием и установлен; априорная оценка решения в пространствах Соболева.

5) Доказано существование по крайней мере одного решеши задачи Вентцеля со слабо нелинейным граничным условием I пространствах Соболева и Гельдера. Причем в первом случа(

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

СТЕПЕНЬ ОБОСНОВАННОСТИ РЕЗУЛЬТАТОВ РАБОТЫ. Все результаты представляют собой математические теоремы, доказанные на современном уровне математической строгости.

МЕТОДЫ ИССЛЕДОВАНИЯ.

В работе используются следующие технические средства:

1) методика получения оценок типа принципа максимума Александрова-Крылова;

2) техника оценок гельдеровских норм, ведущая начало от работ НД.Крылова и МВ.Са^онова;

3) приемы барьерной и итерационной техники, развитые О АЛадыженской, Н.Н.Уральцевоя, ГЛиберманом.

4) интерполяционные неравенства в различных функциональных пространствах.

АПРОБАЦИЯ.

Результаты работы докладывались на семинаре

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

ПУБЛИКАЦИИ.

По теме диссертации опубликовано две работы, список которых приведен в конце автореферата.

СТРУКТУРА И ОБЪЕМ РАБОТЫ.

Диссертация состоит из введения, четырех глав, двух приложений й списка литературы из 28 наименований. Она содержит 113 страниц машинописного текста.

о

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ.

Во введении дан обзор исследований, к которым примыкает тема диссертации и сделана постановка задачи :

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

и, - а'' ( х; t; u; Du) D i D j u = a (x; t; u; Du) в Q = П x ] 0; T [, (1) удовлетворяющие граничному условию

u,-a''(x;t;u) S^ju + p1(x;t;u)Diu = 8(x;t;u) на 3"Q (2) и начальному условию

и | ,,о =0 в П. (3)

( здесь х = ( X) , ... , х „-1 , х „ ), ij = 1,...,п, 5 j - означает касательный дифференциальный оператор на Ш, т.е. 6 j - D, - п n j D j, n(x) = (n i (x)) - единичный вектор внешней нормали к сП в точхе х, u i = du/dt)

Отметим , что (2) не является автономным уравнением на боковой поверхности цилиндра Q ., т.к. содержит не только касательную , но и нормальную составляющую Du.

Основные требования на функции а ' i и а состоят в равномерной параболичности уравнения (1), т.е.

V (х; t) е Q, z е R1 , р е R"

а'' = а'' ,

v|| 4 ||2 йаfJ (x;t;z;pHi£j Sv'IIU2 V ^ eRn, v = const >0, (4) и выполнении ряда естественных структурных ограничений, а именно

V (х; t) е Q, z е R1 , р е R"

(А1) |a(x;t;z;p)j < Ц,||р||2+ b(x ; t) ||р|| + Ф, (х ; t) ,

где Hi = const > 0; (A2) функции a''(x;t;z;p) имеют производные первого порядка по аргументам х, г, р ;

da"(x;t;z;p)

(A3)

(А4)

s; ЦгО+ИрН2)-1''2 , Иг = const > 0; s =

Зр.

Эа'' (x;t;z;p) 3a''(x;t;z;p)

- P. +

dz

д x

£ Из II p || + Фг ( х ; t), где Hj = const > 0; s = 1,..., n; (A5) функции b,Ф] , Ф2 принадлежат Lq+2(Q) ;

(A6) коэффициенты а'' непрерьшны по всем своим аргументам, а функция а( - ; z; р ) непрерьшнапо ( z; р ) как элемент L (|1.г (О).

Будем считать, что оператор в левой части условия (2) является равномерно параболическим граничным оператором Вентцеля, т.е. V (x;t ) е. <3"Q, z е Rl выполнены условия

а" = а'1 ,

v. ll^ll2 Sa'l(x;t;z)^^ Svr'lUII2 V^eR", Un(x) . (5)

Vi = const > 0, 0<p'(x;t;z)nj(x). (6)

Кроме того, на коэффициенты граничного оператора также накладьгааются некоторые структурные ограничения: V (х; t) 6 ff Q, z 6 Rl

(Bl) |p'(x;t;z)| s P(x;t) , i=l......n,

|e(x;t;z)|£ 0,(x;t) ; (B2) функции P , ®i принадлежат L,,ti(fl"Q);

(ВЗ) функции а1' непрерывны по всем своим аргументам; ß'( • ; z ), 0( • ; z ) - непрерывны по z как элементы Lq+1 (9"Q).

Укажем также, что во введении кратко изложены полученные результаты.

Всюду в работе Ь = (Ь1, b .... b"), ß=(ß',ß2.....ßn),

/ аналогично, bh = (Ьь1, Ьь 2 , bhn), h=l,2/.

В главе 1 рассматривается линейная задача Вентцеля, для которой устанавливается однозначная разрешимость в пространствах Соболева и Гельдера. В §1 с помощью параболического аналога верхнего контактного множества для решения получена оценка максимума типа Александрова-Крылова:

ТЕОРЕМА 1. Пусть afieW2.*, , и е V„+i(Q)r.C(Q). Функция u = и (х; t) - решение уравнения

Lu = ut-a'^x^DiDjii + b'(x;t)DiU + c(x;t)u = f(x; t) в Q, удовлетворяющее условию

BuEUt-a'i (x;t)6,6ju + ß'(x;t)Diu + y(x;t)u =8(x;t) наö"Q. Предположим также, что

V (х; t) е 5"Q OS ß'(*;t) n,(x) , f+ ,||b||,c_ e La+1(Q) ; 9 + , II ßil , y! e Ln( 5"Q). Тогда справедлива оценка

supu S.C {||f + |Ui,o + Цв + IUiM + sup u(-,0) }

где С зависит только от n, v, Т, diam П, свойств 5П, || b11| „+liQ, || с_ || , llß'lln.eQi II у_ || n, a-Q, модулей абсолютной непрерывности функций b' (х ;t),c_ (х; t) в L„+i (Q) и функций ß1 (х; t), у_(х; t) в L „ (ö"Q).

В §2 с привлечением специально построенного оператора продолжения П : Wq+i21 ( d'Q ) -> \УЧ4.22Д ( Q ) и интерполяционных

неравенств получена оценка нормы решения линейной начально-краевой задачи с нулевым начальным условием в соболевских пространствах:

ТЕОРЕМА 2. Пусть дС1е^ч+г ■ Предположим также, что в цилиндре О

определена функция и е V ,+2 (О) = \Уа2;' (О) п V/ Л1 (сГО) ,

х'2. V*

являющаяся решением задачи

Г и1(х;0 = Цх;1) в О, < Ви(х;0 = 8(х;«) на 3"0, и | ,.о « 0 в П.

Если вдобавок

а'1 6 С(0) , ос'' еС(ТО);

{ , ||Ы|,с е Ц+2(0); В,|| р||, у е ,

го . II и Ну,+2(О) 2 С{ НП)ч+2.0 +110||,+1,^о ) ,

"де Сзависит только от п, V, ц, Т, Шат П, свойств 5П, || Ь' || ч+2,о, II с || ч+2,о, 1Р '||ч+1,[Го, |1т11ч+1,гчз. модулей абсолютной непрерывности коэффициентов аЧ(х;1) в С (О), а ')(х;0 вССТО) .

Далее, в этом же параграфе , с помощью метода продолжения по тараметру доказывается существование и единственность решения танейной задачи в пространствах Уч+2 (О) для случая, когда коэффициенты операторов Ь , В и функции i , 9 удовлетворяют ,'словиям теоремы 2. В §3 сформулированы теоремы, касающиеся классической1 разрешимости линейной задачи Вентцеля и являющиеся шалогами соответствующих утверждений из §2.

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

принцип максимума, установленный в главе 1 / теорема 1 /. В результат! имеем:

ТЕОРЕМА 3. Пусть р 2 1, и е V „+1 ( Ор+) г, С (О^ ), и^ОвО^.

с(х;1) = 0 вОр+, у(х;О = 0 на Гр . Тогда для любого £ е ] 0,1 [ существуют 8 , а , зависящие только от л, \ С такие, что если

1141 „+2,(3/ <о ,

II Р ¡1 п+1,Гр 20, |Ари г, Грд С0 ; —3 р2 /4 ) ) ц £ С|Гр^|„,

то 'и £ 5 р-С(п,у,0 { рп/<"+1> || (Ьи)_||„+1,(3/ +

+ р(л-1,/п || С В и ) _ [1 „, Гр } в Ор/2+-С помощью теоремы 3 в §2 гл.2 оценивается константа Гельдер для решения сначала линейной, а затем и квазилинейной задач Вентцеля. Приведем лишь последний результат:

ТЕОРЕМА4. Пусть аОе¥|И, и е У„+1(0)пС(0") -решени

уравнения (1) в О, удовлетворяющее граничному условию

щ - а'' (х;1;и;Ои)6|5]и = а(х;1;и;Ои) на ¿Э"0 .

и начальному условию

и|1=.о=(х) в П. Будем считать также, что выполнены условия (А1), приче ЬеЦ,+2(0), Ф| е Ь„+!(0);

V ( х ; ( ) е сУ'О , г е И.1 , р е Я" функция а ( х ; г ; р дифференцируема по переменным р | и V ( х ; 1 ) е 3"<3 , г е ] справедливы следующие неравенства:

0£-аР| (хл;г;р) щ(х)5Р(х;1) V р е И" ,

|а(х;(;г;р)1 ь щ || р ||2 + Р ( х ; I) || р || + 0,( х ; I) V р е Л» ,р!п(х

где ¡14 = const > 0, р е Ln+i (3"Q), 0i g Ln(D"Q);

Если вдобавок || u || q < Mo, [ Ф ] y0, П - мто > To = const > 0 , то существует y\ > 0, зависящее только от n, v, уо и свойств дО, такое что Mr„Q * Му. .

где My , зависит от тех же параметров, что и yi , а также от щ , щ , Мо , МТо, ||Oi||n+i,Q, II ©1 j| n, S"Q и модулей абсолютной непрерывности b(x;t) в L „+2 (Q ) и Р (х; t) bL„+,(3"Q).

Особое внимание следует обратить на тот факт, что гельдеровские оценки решения установлены для случая, когда граничное условие является квазилинейным параболическим уравнением с квадратичным ростом по касательному градиенту. К :ожалега'.ю, оценки градиента решения задачи Вентцеля и, [»ответственно, теоремы существовать удалось пока получить лишь цля слабо нелинейного граничного условия.

В главе 3, посвященной оценкам градиента, сначала рассматривается первая начально-краевая задача для линейного параболического уравнения с сингулярностями специального вида, для 4 -радиента решения которой устанавливаются априорные оценки 1аксимума модуля и гельдеровских констант на границе области, танейно зависящие от функций, стоящих в правой части уравнения. В §1 доказывается вариант пр!гаципа максимума Александрова-Крылова:

ГЕОРЕМА 5. Пусть R, Т £ 1, О с { х = (х1, х „) e Rn : ||х'|| < R, х „ е ]0 , R[}, 2 = Пх ] 0 ; Т [, не W„+1J1 ( Q ) п С ( СГ) и, кроме того u | ,Q < 0.

Предположим также, что в цилиндре Q задан оператор с □меримыми коэффициентами

£ з 3/5t-a4(x;t)DiDj + [b,'(x;t) + b2' (х; t) ] D , ,. •акой, что bj е Ln+i'(Q),

||Ьг(х;1)||^Р(хп)«-' в О, Р>0, е е]0,1[

и выполнено условие (4).

Тогда для любых (х;()еО справедлива оценка

и(х; I) 2 С(п,у,8,Р){[||Ь1 ||п+1,о]п+1+К}п/<п+1) «(¿и>||а+1.д

В §2 этот принцип максимума используется в сочетании барьерной и итеративной техникой. При этом модифицируют некоторые приемы ГЛибермана. В результате получается следуют обобщение граничной оценки градиента Ладыженской-Уральцевой:

ТЕОРЕМА 6. Пусть 8С1 , и б ( О ) о С (О), и | =

8ир|и|^Мо, вир Г |и(х; 0) |/(1 (х)] ¿А.

Пусть также в О задан оператор «£, удовлетворяющий услов (4), такой, что Ь1 е Ь,+}(0),

в О, Р>0, 8 6)0,11;

((¿и)(х;1)| £Ф(х;1) + Н[(1(х)]1*' в О, ФеЬч+3(0),Н>0.

Тогда

е^ир | Г)и | £ С(П)у,Ч1Т,Мо,К,8> ||Ь, ||| ,+г,о, ЗП) • •[1+ АО(А) + |)Ф||,+2,О+ Н].

В §3 устанавливается оценка гельдеровскоя константы градие решения на границе:

ТЕОРЕМА 7. Пусть дО. . В цилиндре О задан оператор

удовлетворяющий условию (4), такой, что Ь, б Ьч+2(0), ЦЬ2(х;0||йР(сК*))Н в О, Р>0, 8б]0,1[.

Предположим также, что u6W,tl!|1(Q(i,)) п C(Q(r0)), г о е ] 0, (20[ , где 120 »£?0 (v, g, F, 5fl),

u = 0 при ( x; t) e S"Q и при xeil(r<,),t = 0,

|(iu)(x;t)| + H[d(x)]8-' в Q(r„),

®sLq+2(Q(r0)),H>0.

Пусть, кроме того, sup | u | 5 Mo .. QSo)

Тогда [D|U]g> C,

где g* = g*(n,v,q,F,g,SQ) ,

С = С ( n, v, q, F, g, oil, Mo, || b[ || q+2, q (г о) ,|| Ф || q+2, Q(' о) > H, г о ), причем константа С зависит от || Ф || q+2 и Н линейно.

Полученные результаты позволяют теперь установить априорную оценку решения задачи Вентцеля в пространстве Vq+2 (Q) путем применения интерполяционных неравенств, что и делается в §4. В итоге получаем:

ТЕОРЕМА 8. Пусть SO е W2,« и пусть ц есть решение задачи (1)-(3) , принадлежащее Vq+2(Q) ,

II u IIQ * М0 .

Предположим также, что при | z | < Мо выполнены условия (4)-(6) , (А1)-(А5), (В1)-(ВЗ) .

Если вдобавок функции а'1 еС(Ш2 ),

где Ш2 = {. (х; t;z;p) : х еTi, t е [ 0; Т], | г | S М0 , р е R" } то справедлива оценка :

IIuIIv<i+2(Q) S С,

где С определяется n, v , vt, q, К , сД diam П, Т, Hi, Из , || Ь (| ч+2, Q, I! Ч>1 II 4+2,0 > ll®2ll,«,Q , ПРИ,-н.ЭЧ} , II ©ill,+1,04} . Mo И модулями абсолютной непрерывности функций а''(х; t; и) в С( Ш[) и функций a Ч в С (ГОг ),

/здесь Ш, » { (*;t;.u): хееО, t е[0;Т], |u| SM„ >/.

Наконец, в §1 главы 4 доказывается теорема существования решения задачи Вентцеля в пространствах Соболева:

ТЕОРЕМА 9. Пусть 8С1 eW2,«. Предположим также, что функции а1', а; a 'J , р'0 удовлетворяют условиям (4)-(б), (А1)-(А6), (В1)-(ВЗ).

Тогда начально-краевая задача (1)-(3) имеет по крайней мере однс решение u е V,+2 (Q ) .•

В §2 формулируется теорема существования классического решения:

ТЕОРЕМА 10. Пусть функции а1', а, а1', р>,0 удовлетворяю (4) -(б), а также следующим структурным условиям: при всех (x;t) б Q", z е R1 , р б R" (АГ) | a(x;t;z;p) | гг ц, (1 + ||р||г ) , ц, - const > 0 ; выполнены условия (А2)-(А4) ; (А5') 0>26L,„(Q);

(Аб') функции аЧ, а удовлетворяют условию Гельдера с показателем по переменным х;г;р и условию Гельдера с показателем у/ попеременной t ;

при всех (x;t) е WQ , z е R1

(ВГ) | P'(x;t;i)| s щ , i = l.....п,

|0(x;t;z)|£HJ, Ш , № = const > 0 ; (ВЗ') функции а Ч , р1, б удовлетворяют условию Гельдера

показателен у по переменным х, г и условию Гельдера с

показателем у/2 попеременной I .

Тогда начально-краевая задача (1)-(3) имеет по крайней

мере

одно решение и е С гг< ( О) .

В приложении 1 собраны теоремы об операторах продолжения в том виде, как они используются в диссертации.

В приложении 2 приведены теоремы, аналогичные теоремам 1, 4, 6, 7 для стационарной задачи Вентцеля, несколько обобщающие известные результаты.

РАБОТЫ, ОПУБЛИКОВАННЫЕ ПО ТЕМЕ ДИССЕРТАЦИИ.

I. Алуштинская Д.Е. Оценка максимума решений параболических уравнений с граничным условием Вентцеля // Вестник Ленинградского университета.-1991,- сер. 1,- вып. 2.- с. 3-12.

II. Апупшшская Д.Е., Назаров АИ. Об оценках на границе области норм Гельдера производных решений линейных параболических уравнений с сингулярностями специального вида // Вестник С-Петербургского университета.-1993,- сер. 1.- вып 3,- с.

Автор выражает глубокую признательность своему научному руководителю профессору Н.Н.Уральцевой за поддержку и внимание к работе.