Научная статья на тему 'ОЦЕНКИ РЕШЕНИЯ ЗАДАЧИ ДИРИХЛЕ С ГРАНИЧНОЙ ФУНКЦИЕЙ ИЗ $L_p$'

ОЦЕНКИ РЕШЕНИЯ ЗАДАЧИ ДИРИХЛЕ С ГРАНИЧНОЙ ФУНКЦИЕЙ ИЗ $L_p$ Текст научной статьи по специальности «Математика»

CC BY
186
51
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЭЛЛИПТИЧЕСКОЕ УРАВНЕНИЕ / ЗАДАЧА ДИРИХЛЕ / ФУНКЦИОНАЛЬНОЕ ПРОСТРАНСТВО

Аннотация научной статьи по математике, автор научной работы — Гущин Анатолий Константинович

Рассматривается задача Дирихле для эллиптического уравнения второго порядка с измеримыми и ограниченными коэффициентами. При условии непрерывности по Дини коэффициентов при старших производных на границе области устанавливается однозначная разрешимость задачи Дирихле с граничной функцией из $L_p$, $p > 1$. Доказывается оценка аналога интеграла площадей.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The estimates of the solution of the dirichlet problem with boundary function from Lp for a second-order elliptic equation

We study the solvability of the Dirichlet problem for a second-order elliptic equation with measurable and bounded coefficients. Assuming that coefficients of equation are Dini-continued on the boundary, it is established that there is the unique solution of the Dirichlet problem with boundary function from $L_p$, $p > 1$. We prove the estimate of the analogue of area integral.

Текст научной работы на тему «ОЦЕНКИ РЕШЕНИЯ ЗАДАЧИ ДИРИХЛЕ С ГРАНИЧНОЙ ФУНКЦИЕЙ ИЗ $L_p$»

УДК 517.956.2

ОЦЕНКИ РЕШЕНИЯ ЗАДАЧИ ДИРИХЛЕ С ГРАНИЧНОЙ ФУНКЦИЕЙ ИЗ Lp

А. К. Гущин

Математический институт им. В. А. Стеклова РАН,

119991, Москва, ул. Губкина, 8.

E-mail: akg@mi.ras.ru

Рассматривается задача Дирихле для эллиптического уравнения второго порядка с измеримыми и ограниченными коэффициентами. При условии непрерывности по Дини коэффициентов при старших производных на границе области устанавливается однозначная 'разрешимость задачи Дирихле с граничной функцией из Lp, p > 1. Доказывается оценка аналога интеграла площадей.

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

Введение. Хорошо известно, что понятие обобщённого решения из соболевского пространства W2, (Q) задачи Дирихле в ограниченной области Q для эллиптического уравнения второго порядка не является в полном смысле обобщением понятия классического решения. Для существования классического решения (при естественных предположениях на коэффициенты уравнения и границу области dQ) необходимо и достаточно условие непрерывности граничной функции uo, а для обобщённого решения граничная функция должна быть следом некоторой функции из W21(Q), то есть должна принадлежать пространству W21/2(dQ). Так как непрерывная функция не обязана принадлежать пространству W21/2(dQ), то классическое решение может не принадлежать W21(Q). Естественным обобщением этих понятий является определение решения, в котором граничное значение понимается как предел в L2 следов решения на «параллельных границе» поверхностях (решение из W210C, см. [1]), или, в более общем случае, как предел в Lp, p > 1 (тогда u0 € Lp(dQ)). Изучению этой задачи посвящена настоящая работа. Основное внимание уделяется условиям на гладкость коэффициентов, при которых для всех p > 1 справедлива теорема о разрешимости задачи Дирихле, и получению оценок решения через граничную функцию и правую часть уравнения.

В ограниченной области Q n-мерного пространства Rn рассмотрим задачу Дирихле для равномерно эллиптического уравнения с измеримыми и ограниченными коэффициентами

- t дх (aj(x) dx) +a(x)u =f (x), x € Q (1)

i ,j=1 i j

с граничным условием

u\dQ = uo € Lp(dQ), p> 1. (2)

Анатолий Константинович Гущин (д.ф.-м.н.), профессор, ведущий научный сотрудник, отд. математической физики.

Коэффициенты а^ (х) = а^(х), х € Q, уравнения (1) являются измеримыми функциями, удовлетворяющими с некоторой положительной постоянной 7 условию

п

1 < ^ а%з(хШ3 < 7-1 V£ = (£ь ...,Сп) € Мп, |£| = 1, и п.в. х € Q. (3)

*,.7=1

Далее симметрическую матрицу а^ (х) будем для краткости обозначать через А(х). Коэффициент а принадлежит Ь^^).

В случае р = 2 разрешимость рассматриваемой задачи достаточно подробно изучена. Доказана однозначная разрешимость рассматриваемой задачи (при условии неотрицательности коэффициента а) и установлен ряд тонких свойств её решений (см. [1-7]). В отличие от обобщённого решения из соболевского пространства для которого разрешимость исследуется

без дополнительных условий на гладкость коэффициентов уравнения и для произвольной ограниченной области, для решения из ^^р^) такие условия приходится требовать. Ослабление требований на принятия решением своего граничного значения приводит к необходимости условий гладкости коэффициентов уравнения на границе. При наиболее слабых условиях на коэффициенты (щ разрешимость задачи Дирихле (1), (2) с граничной функцией из L2(дQ) была исследована (в случае а = 0; этот случай мы и будем обсуждать) в работе [2]. Для справедливости теоремы об однозначной разрешимости достаточно, чтобы граница области принадлежала классу С1, нормаль (внутренняя) к ней V (\и| = 1) была непрерывна по Дини:

Их) - V(у)1 < ш(|х - у\), х € дQ, у € дQ, (4)

а коэффициенты уравнения были непрерывны по Дини на границе:

\а^ (х) - а^ (у) | ^ ш(\х - у|), г = 1,2,...п, ] = 1,2,...,п; х € дQ, у € Q (5)

(значения функций а^ (х), х € Q, можно так изменить на множестве нулевой меры, что будет выполнено (5)). Здесь ш = ш(Ь) — такая монотонная функция,

что / ( ) М < ж (т. е. функция ш(Ъ)/Ъ имеет интегрируемую особенность

Уо Ъ

в нуле). Внутри области, как и в случае решения из коэффициенты

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

Кроме того, в работе [2] было доказано, что для всех и0 € Ь2(дQ) и f € W-1(Q) (последнее условие можно ослабить, см. [13]) решение (из ^21ос^)) обсуждаемой задачи обладает свойством (п- 1)-мерной непрерывности, аналогичным непрерывности по совокупности переменных (принадлежит банахову пространству Сп-1(<5)). В определении этого свойства вместо значений функции в точках следует брать её следы на носителях мер у — элементы пространства Ь2 по этим мерам. При этом берутся меры, близкие к мерам Карлесона, подробнее см. [2]. Если в этом определении взять все борелевские

меры с носителями в <5, то полученное таким образом определение будет эквивалентно классическому определению непрерывности функции. В работе [3] было доказано, что для решений однородного уравнения обсуждаемое свойство можно усилить: класс мер можно расширить так, что из полученного таким образом свойства будет вытекать внутренняя непрерывность решения. Более того, на этом пути было получено, см. [4-6], усиление свойства внутренней непрерывности по Гёльдеру решения однородного уравнения. В [6] было введено функциональное пространство, элементы которого непрерывны по Гёльдеру внутри области Q (принадлежат С^^)) и являются (п- 1)-мерно непрерывными функциями в Q (принадлежат Сп-1(<3)). Причём введённое пространство лежит строго внутри пересечения СЮ^) П Cn-1((Q) (его функции обладают свойствами, которые не следуют из внутренней непрерывности по Гёльдеру и (п- 1)-мерной непрерывности). Доказано, что для любой граничной функции и0 из Ь2(дQ) решение задачи Дирихле для однородного уравнения принадлежит этому пространству.

Ключевую роль при получении этих результатов играет доказанная в работе [3] (см. также [7]) теорема карлесоновского типа об оценках в Ь2 по мерам решения задачи Дирихле с граничной функцией из Ь2(дQ). Теорема Карлесона (см. [8,9]) даёт условие на меру необходимое и достаточное для того, чтобы для любой аналитической в круге функции была справедлива оценка интеграла от модуля решения в степени р (здесь р > 0) по этой мере через интеграл от р-той степени модуля её граничного значения. Для гармонических функций п переменных в области с дважды гладкой границей такое утверждение (при р > 1) было установлено Л. Хермандером [10]). Для уравнения (1) (при а = 0), как уже отмечалось выше, аналогичный результат был получен в работе [3] (см. также [7]). Эта теорема оказалась весьма удобным инструментом для исследования разрешимости нелокальных задач, в которых значения искомого решения на границе рассматриваемой области выражаются через его значения во внутренних точках области и других точках границы. Её использование позволило существенно расширить класс поддающихся изучению нелокальных задач, см. [3,11,12]. В частности, установлена фредгольмовость ряда нелокальных задач, которые в классической постановке не являются даже нётеровыми (подробнее см. [3]).

Интерес к изучаемому в данной работе вопросу возник в связи с желанием понять, при каких ограничениях на коэффициенты а^ и границу области утверждение, аналогичное теореме Карлесона, справедливо при всех р > 1. Оказалось, что трудности возникают уже при доказательстве однозначной разрешимости. Встаёт вопрос: как определить решение задачи с граничной функцией из Ьр, чтобы не пришлось требовать непрерывность коэффициентов уравнения внутри области?

Легко видеть, что теорема карлесоновского типа может быть верна только при весьма жёстких ограничениях на правую часть уравнения (поскольку из её справедливости следует непрерывность решения внутри рассматриваемой области). Поэтому в настоящей работе мы не будем стремиться охватить максимально широкий класс правых частей. Будем считать, что f € Ьр^) П Ь^^^). Для теоремы о разрешимости это условие, конечно, является грубым. Как доказано в работе [13], при р = 2 для существования решения задачи Дирихле достаточно предположить, что правая часть урав-

нения представляется в виде f = д - (Ч,Г) с функциями д € Ь^^^) и Р € [Ь2,1oc(Q)]n, (f € W2_1Oc(Q)), для которых конечны интегралы

где монотонно возрастающая функция u(t), t > 0, удовлетворяет условию

яние от точки х € Q до границы области Q.

1. Постановка задачи Дирихле. При р = 2 определение решения (из W211oc(Q)) было предложено В. П. Михайловым в работе [1]. От решения требуется, чтобы оно принадлежало пространству W21lOc(Q), удовлетворяло уравнению в смысле равенства обобщённых функций (то есть для всех бесконечно дифференцируемых и финитных в области Q пробных функций выполнялось соответствующее интегральное тождество) и семейство следов решения на «параллельных границе» поверхностях (они принадлежат Ь2 в силу теоремы вложения) сходилось в Ь2 к заданной граничной функции ио. Для аналогичного определения при р = 2 необходимо, чтобы следы решения на лежащих в Q гладких поверхностях принадлежали пространству Ьр на них. Обычно это свойство обеспечивается требованием принадлежности решения ^р1^^), см. [14-16]. Но это условие приводит к необходимости требовать выполнения дополнительных условий на гладкость коэффициентов уравнения внутри области; требований гладкости на границе недостаточно. При выполнении только условий (3) и (5) для р > 2 принадлежащее Wp1 1^^) решение может не существовать (хорошо известно, что решение из W21 может не принадлежать WP;), а при р < 2 оно не обязано быть единственным (не обязано быть единственным даже решение из W^(Q)). Убедимся в этом на следующих примерах.

Пример 1. Пусть р > 2, п = 2, а область Q — круг {х = (х1,х2) : \х\2 = = х2 + х2 < 1}. Рассмотрим однородное уравнение

Коэффициенты уравнения (элементы матрицы A) являются гладкими функциями всюду, кроме центра круга. Поэтому условие (5) выполнено. Конечно, выполнено и условие (4). При значениях параметра а > —1 матрица A равномерно по х положительно определена, то есть выполнено (3).

Нетрудно проверить, что функция u+(x) = т® cos ф, где $ = 1/V1 + а > 0, является решением этого уравнения в М2; здесь (т,ф) —полярные координаты. При достаточно большом значении параметра а (при а ^ p2/(p — 2)2 — 1)

dt < ж). Здесь и всюду далее через т(х) обозначается рассто-

x є Q

(І1)

с матрицей

показатель $ будет малым ($ ^ 1 — 2/p) и интеграл от |Vu+|p по любой содержащей центр круга области расходится. При всех $ > 0, как легко видеть, u+ £ Wi(Q). Таким образом, мы показали, что решение из W^Q), а следовательно, и из W~2 [oc(Q), задачи Дирихле с граничной функцией и0(ф) =

= cos ф £ Lp(dQ) для уравнения (1i) не принадлежит Wploc(Q). Из этого (в силу теоремы о единственности решения из Wl ioc(Q), см. [2]) немедленно следует, что решения из Wp ioc(Q) этой задачи не существует (напомним, что сейчас мы рассматриваем случай p > 2).

Пример 2. Пусть теперь p < 2. Как и в примере 1, рассмотрим уравнение (1i) с той же матрицей старших коэффициентов A в круге Q = {х = = (Xl,X2) : Ixl < 1}, n = 2. Отметим, что вектор (Х1,Х2) является собственным вектором матрицы A, соответствующим собственному значению (1 + а); второе собственное значение равно единице. Легко проверить, что функция и-(х) = т-® cos ф, $ = 1/\/1 + а, также является решением этого уравнения в R2 \ (0, 0). При $ £ (0, (2 — p)/p) функция и- принадлежит пространству Wp(Q). Покажем, что она является решением рассматриваемого уравнения во всём круге Q.

Возьмём произвольную функцию п £ C°(Q), любое 5 £ (0,1) и рассмотрим интеграл

Здесь V — единичный вектор нормали к окружности {х : 1x1 = 5}. Так как нормаль является собственным вектором матрицы А, то

где по(5, ф) = п(5,ф) — п(0, 0) = 0(5) при 5 ^ +0. Следовательно, рассматриваемый интеграл стремится к нулю при 5 ^ +0 ($ < 1). Таким образом,

функция u- является решением задачи Дирихле с граничной функцией cos ф и принадлежит пространству Wp1(Q) (конечно, она не принадлежит W^(Q)). Но эта задача имеет и другое решение и+ (т,ф) = т® cos ф. Итак, при p < 2 принадлежащее пространству Wp bc (Q) (и даже Wp, (Q)) решение задачи Дирихле не обязано быть единственным.

Отметим, что для однозначной разрешимости задачи Дирихле для уравнения (1) в Wp1(Q) достаточно потребовать непрерывности коэффициентов уравнения, см. [17].

Приведённые примеры показывают, что для справедливости теоремы о разрешимости задачи Дирихле без условий гладкости коэффициентов внутри области в определении решения необходимо отказаться от требования принадлежности решения пространству Wp ioc(Q).

IL

{(r,ip):5<r< 1}

(Vrj,AVu-)dx = — / n(v,AVu-)ds

J{r=&}

Решением уравнения (1) в области Q, как обычно, будем называть функцию и € ^21ос^), для которой интегральное тождество

I [(Уп(х), А(х)Уи(х)) + а{х)и{х)п{х)](1х = 0

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

(1) в смысле равенства обобщённых функций).

Для однородного уравнения (в случае f = 0) принадлежность следов решения уравнения пространству Ьр на любой лежащей в Q гладкой поверхности немедленно следует из теоремы о гёльдеровой непрерывности решения в Q [18-20], см. также [21-23]. В случае неоднородного уравнения выполнения этого свойства необходимо требовать дополнительно. Очевидно, что это условие должно распространяться на правую часть уравнения (достаточно, чтобы ему удовлетворяло решение задачи Дирихле с равной нулю граничной функцией). В частности, решение обладает этим свойством при выполнении наложенных выше условий на правую часть уравнения (^ € Ьр^)ПЬ2дос^)).

Определим выполнение граничного условия (2) следующим образом. Из гладкости границы следует существование таких (достаточно малых) положительных чисел Го и 5о, что для любой точки х0 € дQ и любого числа 5 € (0, 50) сдвиг {х € Мга : х = х' + 5и(х0), х' € Ухо (г0)} куска границы Ух° (г0) = дQ П Вхо (г0) на расстояние 5 вдоль внутренней (единичной) нормали и(х0) к дQ в точке х0 лежит внутри области Q; здесь и всюду далее Ву(р) = {х € М„ : 1х — у1 < р} — шар радиуса р с центром в точке у.

Будем говорить, что решение и уравнения (1) удовлетворяет граничному условию (2), если

/ |и(х + 5у(х°)) — и0(х)\р^ 0 при 5 ^ +0 (2')

■!Ухо (го)

для всех х0 € дQ.

На самом деле решение задачи Дирихле, как и в случае р = 2 (см. [2]), обладает свойством (п—1)-мерной непрерывности, а граничное значение принимается в существенно более сильном смысле. В частности, выбор направления сдвига (вдоль нормали в точке х0) в фигурирующем в (2') отображении х ^ х + 5и(х0), 5 > 0, куска Ухо (р0) границы в область Q и взаимная однозначность этого отображения (на образ) не являются существенными. Можно взять любое отображение, при котором «не слишком много» точек границы переходят в одну точку и «не слишком много» точек сдвигаются на расстояние, большее 5. Точнее, решение принадлежит пространству (п—1)-непрерывных функций. Определение этого пространства (пространства Сгп-1 р) и свойства его элементов можно найти в [2]. В этой работе мы не будем обсуждать свойство (п—1)-мерной непрерывности решения и его усиление — упоминавшуюся выше теорему карлесоновского типа. Статья содержит необходимый для этих утверждений подготовительный материал.

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

с равным расстоянию до границы весом т(х) = dist(x,dQ). Напомним, что мы предполагаем условия (4), (5), как и условие (3), выполненными.

Теорема 1. Пусть a(x) ^ 0 для п.в. x из Q. Тогда для любой граничной функции и0 из Lp(dQ) и любой правой части f £ Lp(Q) П L2 , ioc(Q) существует решение задачи Дирихле (1), (2). Это решение единственно и для него справедлива оценка

sup(1 / |u(x)|pdxj + I т(x)|u(x)|p-2|Vu(x)|2dx ^

£>0\ {xeQ:£<r(x)<2£} ) J

Q

^ const •( f |u0(x)|pdS + f f (x)\pdx\, (6)

\Joq Jq )

постоянная в которой зависит только от размерности пространства n постоянной эллиптичности y из (3), области Q, функции ш из условий (4), (5) и показателя p.

Замечание 1. Остановимся подробнее на случае p £ (1, 2). Так как в правую часть оценки (6) не входит норма f в L2(Q), то из неё немедленно вытекает существование предела в Lp(Q) последовательности uk решений задачи с правыми частями fk £ Lp(Q) П L2,ioc(Q), приближающими в Lp(Q) произвольно взятую функцию f из Lp(Q); обозначим этот предел через и. Можно доказать, что функция |u|p/2 принадлежит пространству W2\oc(Q), для неё конечен интеграл

/ r(x)|u(x)|p-2|Vu(x)|2dx (7)

Q

и справедлива оценка (6). Полученную таким образом функцию и можно рассматривать как решение задачи Дирихле для уравнения с правой частью f. Она удовлетворяет граничному условию в смысле (2;), но не обязана (а при близких к единице значениях показателя суммируемости p и не может) принадлежать W21 ioc(Q). Поэтому возникают следующие вопросы. В каком смысле она удовлетворяет уравнению? Как описать соответствующий класс единственности? По-видимому, условием, выделяющим единственное решение задачи Дирихле, должно быть условие конечности интеграла (7).

Замечание 2. Условие гладкости границы области и коэффициентов на границе (условия (4) и (5)), по-видимому, можно ослабить. Но совсем отказаться от них нельзя. Как следует из приведённого в работе [17] примера, в случае p £ (1, 2) от условий на границу области нельзя отказаться даже для уравнения Лапласа, так как нарушается единственность даже решения из W1 (Q). В [2] приведён пример, показывающий, что без ограничений на коэффициенты несправедлива теорема о единственности решения в случае p = 2. Тогда, конечно, нет этого утверждения и при p £ (1, 2). Покажем, что и при p > 2 при выполнении только (4) и (5) условие принятия граничного значения в Lp (более сильное, чем в L2) не обеспечивает единственности решения.

Пример 3. Как и в примере 1, рассмотрим уравнение (11) с той же матрицей старших коэффициентов A в полукруге Q = {x = (x1 ,x2) : |x| < 1,x1 > 0},

n = 2. Функции u+(x) = r® cos ф и u-(x) = r-® cos ф, $ = i/V 1 + ст являются решениями этого уравнения в М2\(0, 0). На окружности {|x| = 1} их значения совпадают. При $ £ (0, p) (а > p2 — 1) функция u-(8,x2) стремится к нулю в Lp(—1,1) при 8 ^ +0. Следовательно, функция u+ — u- =0 является решением задачи Дирихле с тождественно равной нулю граничной функцией. Нетрудно построить аналогичный пример и в области с гладкой границей.

Замечание 3. Оценка (6) теоремы 1 является в следующем смысле точной. Для уравнения с гладкими коэффициентами и области с достаточно гладкой границей конечность стоящего в левой части (6) интеграла (7) эквивалентна условию ограниченности норм в Lp по «параллельным границе» поверхностям. И каждое из этих условий является необходимыми и достаточными для существования у решения уравнения (1) граничного значения в Lp, см. [24, 14-16]. В случае p = 2 такой результат получен (в случае a(x) = 0) и при сделанных выше предположениях о гладкости коэффициентов уравнения и границы области, см. [13]; при этом условие ограниченности норм в L2 по «параллельным границе» поверхностям удобно заменить на условие ограниченности (по параметру 8) семейства интегралов

|u|2(x)dx, 8 > 0,

{xEQ:S<r(x)<2S}

а принятие граничного значения следует понимать в смысле (2;).

По-видимому, эта теорема справедлива при тех же условиях и для всех p > 1. Первое из составляющих обсуждаемый результат утверждений содержится в следующей теореме.

Теорема 2. Пусть a(x) ^ 0 для п.в. x из Q. Тогда для любого решения u уравнения (1) в области Q условие ограниченности семейства

lulp(x)dx, 8 > 0 (8)

{xEQ:S<r(x)<2S}

эквивалентно сходимости интеграла (7).

В частности, интеграл (7) сходится для решений задачи Дирихле с u0 £ Lp(dQ). Это свойство используется в доказательстве теоремы 1.

Можно отказаться и от требования неотрицательности коэффициента а. Конечно, теорема об однозначной разрешимость задачи Дирихле в этом случае несправедлива. Но более одного решения эта задача может иметь только тогда, когда неединственно решение этой задачи в обычной обобщённой постановке (в W[(Q)). Собственное значения и собственные функции соответствующих операторов совпадают.

Теорема 3. Любое решение однородного уравнения (1), удовлетворяющее однородному условию

принадлежит пространству V2(Я)-

Выполнение граничного условия (2о) и здесь понимается в смысле (2;) с и0 = 0.

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

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

3. О доказательстве основных результатов. Приведём сначала используемые в доказательстве «грубые» вспомогательные утверждения, не требующие условий гладкости (4) и (5); условие эллиптичности (3), конечно, предполагается выполненным.

Лемма 1. Существует такая постоянная С = С(п, 7), зависящая только от размерности пространства п и постоянной эллиптичности 7 из условия (3), что для любого неотрицательного коэффициента а и для любого решения и однородного уравнения

д ( , ч ди \

I

1,3 = 1

в шаре Вхо (Я0) для всех Я € (0,Яо/2) справедливы оценки

max |u(x)|p ^ CR n lu(x)lpdx,

Bx0 (R) Jbx 0 (2R)

\ 2/p

f |Vu(x)|2dx ^ CRn 2 2n/pf f |u(x)|pdx )

JBx0 (R) \Jbx0 (2R) )

и

( |u(x)|p-1|Vu(x)|dx ^ CR-1 / lu(x)lpdx.

JBx 0 (R) JBx 0 (2R)

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

Из леммы 1 немедленно вытекают оценки нормы решения в W2,(Qr), Q'^Q, через его норму в Lp(Q). Кроме того, отметим еще одно простое следствие первой оценки из этой леммы.

Следствие. Пусть u —решение в Q однородного уравнения (10) с неотрицательным коэффициентом а. Тогда для любой лежащей в Q гладкой гиперповерхности Г = Г и для любого положительного числа т < dist{T, dQ} справедлива оценка

f lu(x)lPdS ^ const ■т-1 / |u(x)|pdx

Jr ./{ii:€Q:dist{iE,r}<T}

с зависящей от n,Y и поверхности Г постоянной.

Лемма 2. Пусть a(x) ^ 0 п.в. в Q. Тогда справедливы следующие утверждения.

1. Если p > 2, то для любой правой части f <Е Lp(Q) решение u из

о 1

W2 (Q) задачи Дирихле для неоднородного уравнения (1) с однородным

граничным условием (20) обладает свойством: функция \и\р/2 ЕЪУ2(Я) и справедлива оценка

( \и(х)\р-2\Уи(х)\2^х ^ С / \/(х)\р^х (9)

Уд Уд

с зависящей от ^,Я и р постоянной С.

2. Если р € (1, 2), то для любой правой части / € Ер(Я) П Ь2,\ос(Я) суще-

О

ствует решение задачи Дирихле (1), (20) для которого \и\р/2 €Ш2(Я) и справедлива оценка (9).

Решение задачи Дирихле (1), (2о), о котором говорится во втором утверждении леммы 2, принимает нулевое граничное значение в Ьр (выполнено (2') с ио = 0). Далее мы убедимся, что и в этом случае решение единственно. Отметим, что и в первом утверждении, как это немедленно следует из принадлежности функции \и\р/2 пространству V^(Я), нормы решения в Ьр по сдвинутым кускам границы стремятся к нулю при приближении этих кусков к границе.

Далее мы всюду будем предполагать условия (4) и (5) выполненными. Доказательство теорем 1 и 2 основывается на конечном покрытии границы дЯ достаточно малыми (в частности, лежащими в Вхк (г0/4), хк € дЯ, г0 из (2')) подобластями специального вида (см. [2]) и на оценках решения в пересечениях Як, к = 1, 2,... ,д, этих подобластей с Я. Как и в работе [2], естественной заменой независимых переменных каждая из Як отображается на цилиндр

Пк = {(х', хп) = (х1, ...,Хп): \х'\2 = х2 + ... + х2п-1 < Ь'2, 0 < хп < Нп],

основанием {(х',хп) : \х'\ ^ Ь',хп = 0} которого является образ дЯк П дЯ. Вид уравнения (1) при таком отображении не меняется. Здесь и всюду далее новые переменные также обозначены через х = (х1,... ,хп). При этом номер к, к = 1,..., д, выбирается произвольно и фиксируется; зависимость от него отмечать не будем.

При любых числах £ € (0, Ьп) и т € (0, £) определим функцию д(хп) = = в(хп; Ь,т), хп ^ 0, следующим образом: д(хп) = 0 при 0 ^ хп ^ т, д(хп) = = хп — т при т ^ хп ^ £ и в(хп) = £ — т при хп ^ Ь. Кроме того, возьмём бесконечно дифференцируемые срезающие функции ф(х'), х' € Мп-1 и фп(хп), хп ^ 0, принимающие значения в отрезке [0,1] и удовлетворяющие условиям ф(х') = 1 при \х'\ ^ Ь' , ф(х') = 0 при \х'\ ^ 2Ь', фп(хп) = 1 при хп € [0,Ьп], и фп(хп) = 0 при хп ^ 2Ьп; \'Чф(х')\ ^ С/Ь', \ф'п(хп)\ ^ С/Ьп с абсолютной постоянной С. При р ^ 2 подставим в интегральное тождество пробную функцию п(х) = ф(х')'фп(хп)в(хп; Ь,т)и(м)(х)\и(м)(х)\р-2, где и(м)(х) = и(х) при \и(х) \ ^ М, и(м)(х) = М при и(х) > М и и(м)(х) = —М при и(х\ < —М, М — произвольное положительное число. При р € (1, 2) следует «отодвинуться от нуля», взяв в выражении пробной функции (вместо и(м)(х) \и(м) (х) \р-2) сначала сумму (и+(х) + 5)р-1, где и+(х) = (и(х) + \и(х) \ )/2 — положительная часть решения, 5 — произвольное положительное число, а затем (и- + 5)р-1; здесь \и\ = и+ + и-. В слагаемом, получающемся при дифференцировании множителя в, каждый из коэффициентов апз = азп, ] = 1, 2,...,п, нужно представить в виде суммы построенной по нему гладкой функции а°пз = а0п

(вид этих функций см. в [2]) и разности ащ — а°п^. Эта разность достаточно быстро стремится к нулю при приближении к границе, точнее, она удовлетворяет оценке

|a0ra(x) - ai,n(x)l ^ w(\/2xn), i = 1,2,.

,n,

в которой ш — монотонно неубывающая функция из (4) и (5), а рост (при жга^+0) производных приближающей функции «интегрируем»:

da0n(x)

dxi

n-1 ^ ----------w(2x„).

Xn

Интегралы, в которые входят a0n, нужно проинтегрировать по частям и в полученных равенствах перейти к пределу при M ^ +те (в случае p ^ 2) и при 8 ^ +0 (в случае p € (1, 2)). Равенства, содержащие u+ и u-, сложим. Полученные таким образом равенства являются основными при доказательстве теорем 2 и 1. Прежде всего, из них получаются оценки интегралов

/ p(xn)|u(x)|p-2|Vu(x)|2dx (7;)

J {хеП:х„>т }

по каждому элементу покрытия границы. Суммируя их, получаем утверждение теоремы 2 о сходимости интеграла (7). Аналогичными рассуждениями доказывается и второе утверждение этой теоремы об ограниченности семейства (8). Для этого предварительно нужно убедиться в принадлежности решения уравнения пространству Lp(Q).

Доказанная сходимость интеграла (7) позволяет перейти к пределу при т ^ +0 в полученных из интегрального тождества равенствах. Складывая вытекающие из них оценки интегралов (7;), получаем справедливость следующего вспомогательного утверждения.

Лемма 3. Для любого решения u задачи (1), (2) с неотрицательным коэффициентом a(x) справедлива оценка

j r(x)|u(x)|p-2|Vu(x)|2dx + sup (т / |u(x)|pdx) ^

J 0<£<hn/2\ £ J{xeQ:£<r(x)<2£} J

Q

^ c( [ |u(x)|pdx + / |uo(x)|pdx + / f (x)|pdx^ (10)

\JQ JdQ JQ J

с зависящей от n, y, p, ш и области Q постоянной C.

Кроме того, существует такая постоянная А0, зависящая от n, y, Р, ш и области Q, что для любого коэффициента a(x) ^ А0 и всехp > 1 задача (1),

(2) не может иметь более одного решения. При этом для любой граничной функции u0 € Lp(dQ) и любой правой части уравнения f € Lp(Q) П L2,ioc(Q) решение этой задачи удовлетворяет оценке

j r(x)|u(x)|p-2|Vu(x)|2dx + sup (т / |u(x)|pdx\ +

J 0<£<hn/2\£ J{xeQ:£<r(x)<2£} J

Q

+ [ |и(х)|^х ^ с( [ |и0(х)|^х + / |/(x)|pdx^\, (10')

Ля \Лдя Ля )

в которой постоянная С зависит от п, 7, р, ш и области .

Из оценки (10') немедленно следует существование решения рассматриваемой задачи. Принадлежность полученного предельным переходом решения пространству ^211ос(^) вытекает из лемм 1 и 2.

Перейдём теперь к доказательству теоремы 1. Прежде всего докажем единственность решения задачи (1), (2). Пусть и — решение однородной задачи (10), (20). Напомним, что по определению решения и € Ьр^) П Ь2,1ос^). Функцию и можно рассматривать как решение задачи Дирихле для уравнения

П д д

— £ дх {а^(х)дХ) + (а(х) + Ао)и = д(х), х € Q (1')

г,3=1 1 3

с правой частью д(х) = Л0и(х), д € Ьр^) П Ь2дос^). Отметим, что в силу леммы 3 других решений у этой задачи нет. По лемме 2 функция V = 1и1р/2

О 1

принадлежит пространству Щ2^). Следовательно, согласно теореме вложения, V € Ь2пдп_2)^) (при п > 2; при п = 2 она принадлежит Ьд^) с произвольным д). Но тогда и, а вместе с ней и д, принадлежат пространству Ьрп/{п_2)(Я). Применяя опять лемму 2, получим, что и (и правая часть д) принадлежат Ьрп2/(п_2)2^). За конечное число шагов мы получим, что

О1

д € Ь2^). Но тогда и €Щ2^), а следовательно, и = 0.

Легко видеть, что приведённое выше рассуждение, приводящее к утвер-

О1

ждению о принадлежности решения пространству Щ2^), проходит и в случае уравнения (1) с коэффициентом а(х) произвольного знака (из Ьте). Это означает, что все собственные функции соответствующего рассматриваемой

О1

постановке оператора принадлежат Щ2^), что доказывает теорему 3.

Докажем теперь справедливость оценки (10') для рассматриваемого случая а(х) ^ 0. Утверждение о существовании решения в этом случае немедленно следует из этой оценки.

Пусть и — произвольное решение задачи (1), (2). Наряду с ним рассмотрим решение и> задачи (1'), (2) (с теми же правой частью /(х) и граничной функцией и0; Л0 из леммы 3):

П д д

— £ дхг(аз(х) дЭ + (а(х) + Л0)т = /, х € Q;

1,3=1 1 3

По доказанному решение этой задачи существует, оно единственно и удовлетворяет оценке (10'). В частности,

/ |w(x)|pdx ^ с( [ |u0(x)|pdx + / I/(x)|pdx^\. (10'')

Ля \Лдя Ля )

Разность z = u-w является решением уравнения (1) с правой частью Aow:

- t dX (a-(х)dX-) = Aow(x), x e Q

i,j=l 1 -

и удовлетворяет однородному граничному условию z|dQ = 0. Как мы уже доказали, решение этой задачи единственно. В силу леммы 2 функция lz\p/2

о 1

принадлежит пространству W 1(Q) и для её нормы в этом пространстве справедлива оценка (9). Но тогда

^ |z(x)Tdx = ||lzr/2||L2(Q) < C (Q)\\lzlP/2\\%(Q) ^ C (n,Y,'P,Q)XPo\\W\\PLp{Q).

Отсюда, используя (10w), получаем оценку нормы в Lp(Q) функции z, а вместе с ней и решения исходной задачи u через нормы граничной функции и правой части:

/ |u(x)|pdx ^ с( f |u0(x)|pdx + / If(x)|pdx JQ \JdQ JQ

Доказываемое неравенство (10/) (в частности, и неравенство (6) теоремы 1) теперь следует из оценки (10) леммы 3.

Работа выполнена при поддержке РФФИ (проект № 10-01-00178-а) и гранта президента РФ для поддержки ведущих научных школ (проект НШ-7675.2010.1).

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Михайлов В. П. О задаче Дирихле для эллиптического уравнения второго порядка // Дифференц. уравнения, 1976. Т. 12, №10. С. 1877-1891. [Mikhailov V.P. The Dirichlet problem for a second order elliptic equation// Differenc. Uravneniya, 1976. Vol. 12, no. 10. Pp. 1877-1891].

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2. Гущин А. К. О задаче Дирихле для эллиптического уравнения второго порядка // Ма-тем. сб., 1988. Т. 137(179), №1(9). С. 19-64; англ. пер.: Gushchin A. K. On the Dirichlet problem for a second-order elliptic equation// Math. USSR-Sb., 1990. Vol. 65, no. 1. Pp. 1966.

3. Гущин А. К., Михайлов В. П. О разрешимости нелокальных задач для эллиптического уравнения второго порядка// Матем. сб., 1994. Т. 185, №1. С. 121-160; англ. пер.: Gushchin A.K., Mikhailov V.P. On solvability of nonlocal problems for a second-order elliptic equation// Russian Acad. Sci. Sb. Math., 1995. Vol. 81, no. 1. Pp. 101-136.

4. Гущин А. К. Некоторые свойства решений задачи Дирихле для эллиптического уравнения второго порядка// Матем. сб., 1998. Т. 189, №7. С. 53-90; англ. пер.: Gushchin A. K. Some properties of the solutions of the Dirichlet problem for a second-order elliptic equation// Sb. Math., 1998. Vol. 189, no. 7. Pp. 1009-1045.

5. Гущин А. К. О внутренней гладкости решений эллиптических уравнений второго порядка// Сиб. матем. журн., 2005. Т. 46, №5. С. 1036-1052; англ. пер.: Gushchin A. K. On the interior smoothness of solutions to second-order elliptic equations // Siberian Math. J, 2005. Vol. 46, no. 5. Pp. 826-840.

6. Гущин А. К. Некоторое усиление свойства внутренней непрерывности по Гёльдеру решений задачи Дирихле для эллиптического уравнения второго порядка // ТМФ, 2008. Т. 157, №3. С. 345-363; англ. пер.: Gushchin A. K. A strengthening of the interior Holder continuity property for solutions of the Dirichlet problem for a second-order elliptic equation// Theoret. and Math. Phys., 2008. Vol. 157, no. 3. Pp. 1655-1670.

7. Гущин А. К., Михайлов В. П. Внутренние оценки обобщенных решений эллиптического уравнения второго порядка// Вестн. Сам. гос. ун-та. Естественнонаучн. сер., 2008. №8/1(67). С. 76-94. [Gushchin A. K., Mikhailov V. P. On the existence of boundary values for solutions of elliptic equations// Vestn. Sam. Gos. Un-ta. Estestvennonauchn. Ser., 2008. no. 8/1(67). Pp. 76-94].

8. Carleson L. An interpolation problem for bounded analytic functions// Amer. J. Math., 1958. Vol. 80, no. 4. Pp. 921-930.

9. Carleson L. Interpolation by bounded analytic functions and the corona problem // Ann. of Math., 1962. Vol. 76, no.3. Pp. 547-559.

10. Hormander L. Lp-estimates for (pluri-) subharmonic functions// Math. Scand., 1967. Vol. 20. Pp. 65-78.

11. Гущин А. К., Михайлов В. П. О непрерывности решений одного класса нелокальных задач для эллиптического уравнения// Матем. сб., 1995. Т. 186, №2. С. 37-58; англ. пер.: Gushchin A. K., Mikhailov V. P. On the continuity of the solutions of a class of nonlocal problems for an elliptic equation// Sb. Math., 1995. Vol. 186, no. 2. Pp. 197-219.

12. Гущин А. К. Условие компактности одного класса операторов и его применение к исследованию разрешимости нелокальных задач для эллиптических уравнений // Матем. сб., 2002. Т. 193, №5. С. 17-36; англ. пер.: Gushchin A. K. A condition for the compactness of operators in a certain class and its application to the analysis of the solubility of non-local problems for elliptic equations// Sb. Math., 2002. Vol. 193, no. 5. Pp. 649-668.

13. Гущин А. К., Михайлов В. П. О существовании граничных значений решений эллиптического уравнения// Матем. сб., 1991. Т. 182, №6. С. 787-810; англ. пер.: Gushchin A.K., Mikhailov V.P. On the existence of boundary values of solutions of an elliptic equation // Math. USSR-Sb., 1992. Vol. 73, no. 1. Pp. 171-194.

14. Гущин А. К., Михайлов В. П. О граничных значениях в Lp, p > 1, решений эллиптических уравнений // Матем. сб., 1979. Т. 108(150), №1. С. 3-21; англ. пер.: Gusein A. K., Mihailov V. P. On boundary values in Lp, p > 1, of solutions of elliptic equations // Math. USSR-Sb., 1980. Vol. 36, no. 1. Pp. 1-19.

15. Петрушко И. М. О граничных значениях в Lp, p > 1, решений эллиптических уравнений в областях с ляпуновской границей// Матем. сб., 1983. Т. 120(162), №4. С. 569588; англ. пер.: Petrushko I. M. On boundary values in Lp, p > 1, of solutions of elliptic equations in domains with A. Lyapunov boundary // Math. USSR-Sb., 1984. Vol. 48, no. 2. Pp. 565-585.

16. Михайлов Ю.А. О граничных значениях в Lp, p > 1, решений эллиптического уравнения второго порядка// Дифференц. уравнения, 1983. Т. 19, №2. С. 318-337. [Mikhailov V. P. Boundary values in Lp, p > 1, of solutions of a second-order linear elliptic equation// Differenc. Uravneniya, 1983. Vol. 19, no. 2. Pp. 318-337].

17. Алхутов Ю. А., Кондратьев В. А. Разрешимость задачи Дирихле для эллиптических уравнений второго порядка в выпуклой области // Дифференц. уравнения, 28. Т. 1992, №5. С. 806-817; англ. пер.: Alkhutov Yu. A., Kondrat’ev V. A. Solvability of the Dirichlet problem for second-order elliptic equations in a convex domain // Differential Equations, 1992. Vol. 28, no. 5. Pp. 650-662.

18. De Giorgi E. Sulla differenziabilita e l’analiticita delle estremali degli integrali multipli regolari // Mem. Accad. Sci. Torino Cl. Sci. Fis. Mat. Natur., 1957. Vol. 3, no. 3. Pp. 25-43.

19. Nash J. Continuity of solutions of parabolic and elliptic equations // Amer. J. Math., 1958. Vol. 80, no. 4. Pp. 931-954.

20. Moser J. A new proof of De Giorgi’s theorem concerning the regularity problem for elliptic differential equations // Comm. Pure Appl. Math., 1960. Vol. 13, no. 3. Pp. 457-468.

21. Ладыженская О. А., Уральцева Н. Н. Линейные и квазилинейные уравнения эллиптического типа. М.: Наука, 1973. 576 с. [Ladyzhenskaya O.A., Uraltseva N. N. Linear and quasilinear equations of elliptic type. Moscow: Nauka, 1973. 576 pp.]

22. Gilbarg D., Trudinger N. S. Elliptic partial differential equations of second order / Fundamental Principles of Mathematical Sciences. Vol. 224. Berlin: Springer-Verlag, 1983.

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

23. Михайлов В. П., Гущин А. К. Дополнительные главы курса “Уравнения математической физики”/ Лекц. курсы НОЦ, Т. 7. М.: МИАН, 2007. С. 3-144. [Mikhailov V.P., Gushchin A. K. Additional chapters of course “Equations of Mathematical Physics” / Lekts. Kursy NOC, 7. Moscow: Steklov Math. Inst., RAS, 2007. Pp. 3-144].

24. Мазья В. Г. О вырождающейся задаче с косой производной// Матем. сб., 1972. Т. 87(129), №3. С. 417-454; англ. пер.: Maz’ya V. G. On a degenerating problem with directional derivative// Math. USSR-Sb., 1972. Vol. 16, no. 3. Pp. 429-469.

Поступила в редакцию 20/XII/2010; в окончательном варианте — 27/III/2011.

MSC: 35DG5; 35J25, 35B3G, 35RG5, 35B45

THE ESTIMATES OF THE SOLUTION OF THE DIRICHLET PROBLEM WITH BOUNDARY FUNCTION FROM Lp FOR A SECOND-ORDER ELLIPTIC EQUATION

A. K. Gushchin

Steklov Mathematical Institute, Russian Academy of Sciences,

8, Gubkina st., Moscow, 119991, Russia.

E-mail: akg@mi.ras.ru

We study the solvability of the Dirichlet problem for a second-order elliptic equation with measurable and bounded coefficients. Assuming that coefficients of equation are Dini-continued on the boundary, it is established that there is the unique solution of the Dirichlet problem with boundary function from Lp, p > 1. We prove the estimate of the analogue of area integral.

Key words: elliptic equation, Dirichlet problem, functional space.

Original article submitted 2Q/XII/2Q1Q; revision submitted 27/III/2q1i.

Anatolii K. Gushchin (Dr. Sci (Phys. & Math.)), Professor, Leading Researcher, Dept. of Mathematical Physics.

i Надоели баннеры? Вы всегда можете отключить рекламу.