Научная статья на тему 'Классы единственности решения задачи Риккье для эллиптических уравнений четвертого и шестого порядков'

Классы единственности решения задачи Риккье для эллиптических уравнений четвертого и шестого порядков Текст научной статьи по специальности «Математика»

CC BY
197
53
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
классы единственности / задача риккье / эллиптическое уравнение / classes of uniqueness / rickyies problem / elliptic equation

Аннотация научной статьи по математике, автор научной работы — Биккулов Ильгиз Мидехатович, Мукминов Фарит Хамзаевич

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

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

Похожие темы научных работ по математике , автор научной работы — Биккулов Ильгиз Мидехатович, Мукминов Фарит Хамзаевич

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

The Rickyies-1, 3 problem with the Dirichlets boundary condition and the third one for fourth and sixth orders elliptic equations in unbounded domain is considered. Wide classes of uniqueness depending on domain geometry for this problem are established. For the Rickyies-1 problem with the Dirichlets boundary condition examples of non-uniqueness are constructed. The examples confirm an exactness of the suggested classes of uniqueness.

Текст научной работы на тему «Классы единственности решения задачи Риккье для эллиптических уравнений четвертого и шестого порядков»

ISSN 2074-1863 Уфимский математический журнал. Том 2. № 1 (2010). С. 35-51.

УДК 517.956

КЛАССЫ ЕДИНСТВЕННОСТИ РЕШЕНИЯ ЗАДАЧИ РИККЬЕ ДЛЯ ЭЛЛИПТИЧЕСКИХ УРАВНЕНИЙ ЧЕТВЕРТОГО И ШЕСТОГО ПОРЯДКОВ

И.М. БИККУЛОВ, Ф.Х. МУКМИНОВ

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

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

1. Введение

В неограниченной области П п-мерного пространства Мп, п > 2, х — (х1,... , хп) — точка Кп, рассматривается эллиптический оператор

Lu = L0u + bi(x)uXi — du,

г=1

П

¿0 и — ^^/(aij (х)их )xj . г,3=1

Все коэффициенты оператора дифференцируемы и ограничены в П, постоянная й > 0. Коэффициенты симметричны, — aji и удовлетворяют при почти всех х Е П условию равномерной эллиптичности

п

0 < ы2 < ^ ач(x)УгУj < Г|y|2, у Е Кп \ {0}. (2)

г^=1

На границе области дП класса С1 заданы краевые условия первого и третьего типа

0, (3)

здесь Г1 — 0 — произвольное замкнутое множество, Г2 — дП\Г1 , п(п1,п2,... ,пп) —

ди

Ш

і і du

u І хєг і = 0, [on + a(x)u

хЄГ 2

du n

внешняя нормаль к ÔQ; 7^ 'У ] aijuxinj; a(x) > 0 — измеримая ограниченная

ij=1

функция на дQ.

I.M. Bikküloy, F.Kh. Mükminoy, Classes of uniqueness for solutions of the Rickyies problem to fourth and sixth order elliptic equations.

© Мукминов Ф.Х., Биккулов И.М. 2010.

Работа поддержана РФФИ (грант 07-01-00037).

Поступила 16 февраля 2010 г.

Целью работы является установление принципа Сен-Венана и классов единственности для решений уравнений

Lm u = 0 (4)

при значениях m = 2, 3. Случай m = 1 рассматривался в работах О.А. Олейник, Г.А. Иоси-фьян [10], [11] и других авторов [19], [16].

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

Первоначально теорема Фрагмена-Линделефа [3] возникла как обобщение принципа максимума модуля для аналитических функций, а именно: если регулярная в области D аналитическая функция f (z) в каждой точке £ Е dD границы удовлетворяет условию lim sup |f(z)| ^ M, то |f(z)| ^ M всюду в области D. Здесь и далее B(r,£) — шар

r^° DnB(r,0

радиуса r с центром в точке £.

В последующем теоремами Фрагмена-Линделефа для эллиптических уравнений стали называть утверждения следующего вида. Пусть, например, П — угол раствора р на плоскости R2 = {y = (х, у) | x,y Е R} и M — произвольное неотрицательное число. Если гармоническая в П функция на границе не превосходит M, то она либо ив П не превосходит M, либо растет не медленнее, чем е|у|п/^, где е > 0. Отсюда сразу следует, что множество функций, удовлетворяющих условию lim |y| n/^u(y) = 0, является классом

|y|

единственности решения задачи Дирихле для уравнения Лапласа в угле П.

Интересный вариант теоремы Фрагмена-Линделефа доказан в работе [4]: решение эллиптического уравнения второго порядка в бесконечном полуцилиндре либо экспоненцаль-но выходит на константу, либо растет линейным образом, либо растет экспоненциально при х ^ <х>.

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

д Ф1 д Ф2

ДДи = Ф + —1 + —2 (5)

дх ду

в области П на плоскости R2 с граничными условиями

= 0, (6)

u

= 0. р

дП OV

дП

где v — направление внешней нормали к дП. Сформулируем его.

Пусть 5(и), п < и ^ 2п, — единственное решение уравнения sin2^5) = 52 sin2 и, удовлетворяющее условию 0 < и5(и) ^ п. Пусть y(р) = {x Е П | |x| = р} не является целой окружностью ни при каком р > 0 и 1(р) — длина наибольшей из дуг, составляющих y(p). Пусть 1(р) ^ ри, где и Е [1.24п, 2п] и Ф(х) = Ф^х) = Ф2(х) = 0 в П(Я) = {х Е П | g(x) < R} (здесь g(x) = |х|, но ниже рассматриваются и другие функции). Тогда решение задачи Дирихле для бигармонического уравнения при р < R/2 удовлетворяет оценке

2б(ш)

i

П(р) П(Д)

с постоянной С, зависящей только от и. Здесь £(и) = и% х + 2иХ1Х2 + и2Х2Х2. Утверждается, что оценка (7) неулучшаема в том смысле, что показатель степени 28(и) не может быть увеличен, например, для областей типа угла. Очевидно, что оценка (7) позволяет выделить следующий класс единственности решения задачи Дирихле для бигармонического уравнения в неограниченной области. Если и(х) — решение задачи (5), (6) с Ф = Фі = Ф2 = 0 в П и существует последовательность Ям ^ то такая, что

J £(и)^х ^ є (Ям )Я^И,

где є(Ям) ^ 0 при Ям ^ то, то и = 0 в П.

В работах О.А. Олейник, Г.А. Иосифьян [8], [9] доказана следующая теорема Фрагмена-Линделефа для решения и(х,у) бигармонического уравнения с краевыми условиями (6) на границе области П, лежащей в полуплоскости = {у = (х,у) Є К2 | х > 0}. Пусть ^(т) — непрерывная функция такая, что

0 < ц(т) ^ р!(г) = іп£ < / £(д)^у

д(х,у) Є C0OO(П), / [дХ - 99хх + д2Му = Л , г> 0,

1г — {У = (х,у) Е П | х — г} — конечное число ограниченных непересекающихся интервалов. Функция Ф(г, в) удовлетворяет при Ь < г ^ в уравнению Фгг — ^(г)Ф — 0 с начальными условиями Ф(в, в) — 1, Фг (в, в) — 0. Тогда, если для некоторой последовательности Ьм ^ то и некоторого числа й > 0 выполнены неравенства

J Е(и)йу ^ е(Ьм)Ф(й,Ьм),

ntN

где е(Ьм) ^ 0 при ^ то, то и = 0 в П. Здесь Пг — {у — (х, у) Е П | х < г}. Рассмотрены также области, имеющие несколько ветвей, уходящих в бесконечность по различным направлениям.

В.А. Кондратьев и О.А. Олейник в работе [12] доказали следующий принцип Сен-Венана для решений внешних краевых задач. Пусть О — внешность ограниченной области О в Мп,х и Тк,у — к-мерный тор. В области Ц — О х Тк,у, п > 2, ъ — (х, у) Е Ц рассматриваются решения уравнения

п+к

^ ] (аав(ъ')ига — 0

а,в=1

с постоянными эллиптичности 81,82 и краевыми условиями первого или второго типа на дЦ. В случае первого краевого условия предполагается, что для функции и(ъ) найдется р* > р0 такое, что при любом достаточно малом е

I(и, |х|, р* + е) — I(и, |х|, р*),

п+к

где I (и, V, р) — / 3(и,ь)йъ, 3(и,ь) — ^2 а»в иха игр, Ц(р) — {ъ — (х, у) Е Ц | |х| < р}.

Я(р) а,в=1

Тогда для решения справедлив принцип Сен-Венана: при любых р1 ,р2, таких, что р0 < р1 < р2 < р, выполняется неравенство

I(и,и,р1) < рКр-к1 (и,и,р2), к — 8^/282 1/2(п — 1)1/2.

Из него выводится соответствующая теорема о единственности решений.

В работе [13] доказано, в частности, что неравенство |и(у)| < С11п |у||1-£, |у| > С, выделяет класс единственности решений эллиптического уравнения Ьи — f(х),й — 0,

пригодный для любой неограниченной области на плоскости и краевых условий первого, второго и третьего типов.

В недавних работах [19], [15] устанавливаются классы единственности для квазиэллип-тических и псевдодифференциальных уравнений в неограниченных областях. В работе [20] доказана теорема Фрагмена-Линделефа для квазилинейного эллиптического уравнения высокого порядка. Отметим, что точность результатов в последних трех работах не обсуждалась.

Будем предполагать, что д0 Е C2 и коэффициенты оператора L удовлетворяют условию

П

div b = = 0 (8)

i=1

и неравенствам

|b|2 < d/2m, x Е 0, (9)

где b = (61,62,.. .,bn).

При Г2 = 0 ограничимся рассмотрением областей вращения 0f

Of = {x Е Rn, x = (x1,x')| |x'| < f (x1), x1 > 0}, (10)

определяемых функцией f Е C2[0, то). Положим g(x) = g(x1, |x'|), где g(t,y) — решение задачи Коши yf '(t)gt = f (t)gy, g(t, 0) = t. Легко показать (см. § 2), что функция g(x) дифференцируема и ее поверхности уровня ортогональны к дOf. При Г2 = 0 будем полагать g(x) = | x| .

Определим невозрастающую функцию A(r), r > 0 равенством A(r) = А(-то,г),

А(а, r) = inf \ J |Vv|2dx| v Е C°°(Rn \ (Г1 U 0°)), J v2dx = ll , (11)

^Q(a,r) Q(a,r) j

где 0(a,r) = {x Е 0 | а < g(x) < r}, 0(r) = 0(-то,г).

При d = 0 предполагается, что

lim r2A(r) = то. (12)

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

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

lim r/f (r) = то. (13)

Будем требовать "регулярность" поведения функции f

max f < F min f, r > D, (14)

[0,r] [r/2,r]

и выполнение неравенств

|f'(r)|< F, r > D, (15)

|(f(r)/f'(r))'| < F, r Е {r > D|f'(r) = 0}. (16)

Здесь и далее одной и той же буквой F обозначаются, вообще говоря, различные постоянные, определяемые функцией f. Достаточным условием для справедливости (16) является неравенство | |

f (r)f "(r)

(f '(r))2

< F, r Е {r > D|f'(r) = 0}. (17)

На коэффициенты aij, i,j = 1,n будем накладывать требования aij Е C 1(0) и

n

^ | (aij)Xj |2 < M(d + A(r)), x Е 0Г/2, r > D. (18)

i,j=1

Теорема 1. Пусть коэффициенты оператора Ь удовлетворяют неравенствам (9), (8), (18). Если Г2 = 0, то будем требовать дополнительно Ь0 = А и рассматривать область вида (10) с функцией /, удовлетворяющей условиям (14), (15), (17). Тогда найдется положительное число ^ такое, что для всех г > О, V Є (7/8,1) равенство Ь2и = 0 в П(г) (в обобщенном смысле) влечет оценку

! [|Ьои|2 + |^и|2]^х < С(V)ехр(-^г(і + А(г))1/2)||и||^|(пгг). (19)

П(г/2)

В случае т = 3 дополнительно требуем выполнение неравенства

/2(г)/ "'(г)

< F, r > D, f є С3[0, œ). (20)

(/'(г))3

Коэффициенты Ьі(х) равны нулю на дП. Будем предполагать также, что

||У6|| < ¿/8. (21)

Теорема 2. Пусть коэффициенты оператора Ь удовлетворяют соотношениям Ь0 = А, (9), (8), (21). Пусть Г2 = 0, область П имеет вид (10) с функцией /, удовлетворяющей условиям (14), (15), (17), (20). Тогда найдется положительное число ^ такое, что для всех г > О, V Є (7/8,1) равенство Ь3и = 0 в П(г) (в обобщенном смысле) влечет оценку

Hlwf(Q(r/2)) < С(v)exp(-pr(d + A(r))1/2)!u|w|(nV

-).

Пусть Qf — область вращения, d = 0, и это наиболее интересный случай. Пусть множество Г1 распределено достаточно регулярно, а именно: предполагается существование положительных чисел D и $1 таких, что при всех b > a > D, b — a > min{/(a),/ (b)}/2 выполнены неравенства

mesга-1Г1 П {x|a < x1 < b} > $1 mesn-1dQ П {x|a < x1 < b}. (22)

При этих условиях в параграфе 2 получена оценка функции А(г)

£/-2(r) < A(r) < £-1/-2(r). (23)

Она позволяет класс единственности, определяемый теоремой 1, записать в виде

™ exp(—£r//(r))H\2wi{n,r ) =°. (24)

Для подтверждения точности класса единственности (24) в случае, когда Г2 = 0, воспользуемся теоремой из работы [19].

Теорема К. Пусть область Qf определена функцией /, удовлетворяющей условию (14). Тогда найдется неотрицательная гармоническая в области вращения Q f, равная нулю на границе и подчиняющаяся оценке

J |Vu|2dx ^ mexp(Kr/f(r)) (25)

fi(r)

с положительными числами K, m.

Поскольку из Lu = 0 очевидным образом следует, что L2u = 0, то построенный в теореме К пример неединственности подтверждает точность класса единственности (24).

2. Определения пространств и вспомогательные неравенства

о о

Гильбертово пространство Н 1(П;Г1) (иногда просто Н1) определим как замыкание множества функций С^°(Яп \ Г1) в пространстве Ж2 (П).

Пространство Н2(П; Г1) определим как замыкание множества функций из Ж22(П) с нулевым следом на Г1 таких, что след —----+ а(х)и = 0 при почти всех х Е Г2. Здесь ко-

дп

эффициенты и функция а(х) предполагаются класса С 1(дП), дП Е С2, хотя для рассматриваемых нами вопросов эти требования можно ослабить.

Пространство Нд(П) определим как замыкание множества функций из Ж23(П) с нулевым следом на дП таких, что след Ди = 0 на дП.

о

Пространства Ь2,1С(П), Н/С(П;Г1), Н^1с(П;Г1), Нд1с(П) составим из функций и, для ко-

о

торых при каждом г > 0 найдутся функции V из пространств Ь2(П), Н1(П, Г1), Н<2(П;Г1), Нд(П), соответственно, совпадающие с и на множестве {х Е П| |х| < г}.

Установим два вспомогательных неравенства.

Пусть Е С [а,Ь] — измеримое подмножество и V Е С1 [а, Ь]. Тогда

b

,2f+\J+ ^ 2(b a) f „.2/,\ j, , Aib „\2 f „j2.

v (t)dt < -----— / v (t)dt + 4(b — a) v' (t)dt. (26)

J mes E J J

a E a

Действительно, из формулы Ньютона-Лейбница легко следует, что

b

v2(t) — v2(s) < J 2|vv'|dr.

a

Проинтегрируем это сначала по s E E, затем по t E [a, b]. Получим

b b mes eJ v2(t)dt < (b — a) J v2(s)ds + (b — a)mes eJ 2|vv'|ds.

a E a

22

Применив неравенство 2|vv'| < 2{ь-а) + 2v' (b — a), выводим (26).

Следующее неравенство для шара Bp и его измеримого подмножества E является многомерным аналогом (26) для функции v E C 1(Bp).

[ v2(x)dx < mes Bp i v2(x)dx + C(n)p2mes Bp f |Vv|2dx. (27)

mes E mes 2E

Bp E Bp

Частный случай этого неравенства, когда v|e = °, установлен в [14]. Для доказательства при произвольных x,y E Bp запишем соотношение

|x-y|

, . , . f du(x + ru) , y — x

u(y) — u(x) = ----------dr, u =

дг ’ |у — х|’

о

где (г, и) — сферические координаты с центром в точке х. Обозначив через х(г,и) характеристическую функцию шара Вр, запишем неравенство

|и(х)| < |и(у)| + х\^и(х + гш)$г.

b

Проинтегрируем его по у Е Е

Мх)|те8Е < / Му)Иу + /+ ММг

Е Е О

и оценим сверху правую часть следующим образом

2р 2р 2р

J dy J Х\^и(х + ги)^г тn-1dт J dш J x|Vu(x + ги)^г

Е О О О

= [ тn-1dт

_и-Ч^ I |Vufê)K = (2pf Г |Vu(e)|dÇ.

rn-1 n J |x — £|n-1 "

0 Bp Bp

Получившееся неравенство

, , M ^ / Л / M , (2p)n Г |Vu(£M

|u(x)|mes E < J |u(y)|dy + -^ J |v — ^-i

E Bp

проинтегрируем по x G Bp :

mes E f |u(x)|dx < mes Bp ! ^y^dy + (2n^y> |Vu(£My |x —^X|n-1 ■

bb

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

Очевидно, что

,(2p)n r dx

(~j \X-W-i <2pmes ^

|u(x)|dx <

mes Bp mes E

Поэтому

/ \

f\u(y)Vly + T+'pJ |Vu(0|d€

\E Bp J

Положив теперь u = v2 и применив неравенство |Vu| = 2|vVv| < ev2 + e-1|Vv|2, получим (27).

Определим последовательность {zn} индуктивным равенством, начиная с произвольного z0 > 0 :

zn = sup{t| min f > t — zn-1}, N = 1, to. (28)

[ZN-1,*]

Оценим колебание функции f на отрезке [zn , Zn+1]. Пусть tn — точка минимума функции f (t) на отрезке [zn, zn+i]. Очевидно из определения (28) последовательности {zn}, что

f (tN ) = zn+1 — zn . (29)

Из (28) и (14) легко следуют также соотношения

Zn+1 — zn < f (t) < wf (tN), t e [zn, Zn+1). (30)

Перейдем к оценке величины \N снизу

\N = inf \ j |Vv|2 dxv e COf (Rn\r 1), J v2 dx = 1} > 0.

Iq(zn ,ZN+l) ^(zn ,ZN+1)

Покажем сначала, что при 8 = е = 81/(2и)п 2) для множеств

Рг(Ы) = {Ь Е [гм, гм+1]|шезп-2Г1 П {х1 = ¿} > е/п-2(£)} справедливы неравенства

шее Рг(М) > 8(гм+1 — гм)/2, N = 0, то. (31)

Пусть, для определенности, < (гм+1+гм)/2. Тогда гм+1 — ¿м > (гм+1 — гм)/2 > /(¿м)/2. Поэтому для пары чисел ¿м, гм+1 справедливо неравенство (22). Если же (31) не выполнено, то

шееП-1Г1 П {х\Ьм <Х1 < гм+1} < аи-2(8( шах /)п-2(гм+1 — гм)/2+

[іМ ^N+1

+є( шах /)п-2(гм+1—¿м)) < 81^-2/(¿м)п-2(гм+1—¿м) < 81 шееп-1дПП{х^м < Х1 < гм+1},

[ім ^м+1]

что противоречит (22). Здесь ап-2 — площадь единичной сферы размерности п — 2. При ¿м > (гм+1 + гм)/2 справедливость соотношения (31) устанавливается аналогично.

Возьмем произвольное Ь Є Pг(N). Запишем следующее неравенство в цилиндрических координатах для функции V Є С0°(Дп\Г1)

/(і) /(і)

J гп-2и2(¿,г,и)<!г < А-1/2^) J гn-2v‘/(t,г,u)dг. (32)

о о

Здесь ш такая "угловая" координата, что (¿, /(¿),ш) Є Г1. Множество таких ш обозначим через Е° Очевидно, что в качестве А можно взять первое собственное значение оператора Лапласа в единичном шаре размерности п — 1 с условием Дирихле на границе. Через Еі обозначим следующее множество

Еі = {(t,г,ш)|0 <г < / (t), ш Є Е0}.

Положим также Бі = {(¿,х')| |х'| < /(¿)}. Интегрируя (32) по ш Є Е° устанавливаем неравенство / /

J v2(t,x')dx' < А-1/2(t)J vl(t,x')dx'. (33)

Еь Еь

Пользуясь принадлежностью t Є Рг^), находим, что тШЕ < . Неравенство (27) для

Бі и Еі запишется в виде

J v2(t,x')dx' < 2 ~n-/ J v2(t,x')dx' + С (п) /2 (¿) J |Vv(t,x/)|2dx/.

Я Еь Я

Соединяя это с (33), устанавливаем, что

J v2(t,x/)dx' < С(п)/2(¿) п-2 J |Vv(t, х') |2¿х'. (34)

Я Бь

Запишем теперь неравенство (26) в виде

¿N+1 /+1

J v2(t,x')dt < 2(гр;1(—)гм' I v2(t,x')dt + 4(гм+1 — гм)2 J vt2(t,x')dt.

Рг(м)

Интегрируя последнее по х' Є В(N) = {|х'| < /(¿м)}, учитывая (31) и применяя (30), (34), нетрудно установить, что

J v2(x)dx < С(п^ / (¿м) ^ |Vv|2dx + 4(гм+1 — гм)2 / vt2dx, (35)

[^м +1]хБ(м)

где = П(гм, гм+1). _

Применим неравенство (27) на этот раз для St и Е1 = {(^ х') Е Б^х' Е В(М)} и учтем (30):

J v2(t,x')dx' < v2(t,x')dx' + С(п)Г2т2/2^м)J |Vv(t,x')|^х'.

Яг Е Яг

После интегрирования по t и применения неравенства (35) будем иметь

J v2dx < (^С(/м) + (гм+1 — гм)2^ ^ J |Vv|2dx.

, N , N

^1 ^1

Ввиду неравенства (29) отсюда следует оценка

0 < (гм+1 — гм)2Ам

с некоторым числом 0 > 0.

Замечание. Ввиду (29), отсюда следует оценка

0 < (гм+1 — гм)2А(гм,г), г Е [гм+1,гм+2]. (36)

Установим еще оценку для функции А (г). Нетрудно проверить справедливость неравенства

А(г) > шт{А(г0), А0,..., Ам-1, А(гм, г)}.

Пользуясь (36), учитывая неравенства (29),(30), находим, что

А(г) > шт{А(го), 0/-2(^ Е [го, г]}.

Отсюда, пользуясь (14), выводим при достаточно малом с> 0 также оценку

А(г) > с( тп /)-2, г > В. (37)

\г/2,х]

Отсюда несложно вывести оценки (23).

Обобщенным решением уравнения

Ь2и = Ф, Ф Е (Н2)* (38)

назовем функцию и Е Н21с, удовлетворяющую тождеству

/П д

LuL*vdx = Ф^), где Ь* = Ь0 — Ь1 — d, Ь1 = Ьг~— (39)

'Н дх%

П г=1

при любой пробной функции v Е Н2 с ограниченным носителем. Нетрудно проверить, что гладкие решения тождества (39) удовлетворяют краевым условиям (3) и

Ьи\„ = 0,

1жЕГ1 7

дЬи + ( X/ Ьп + &(х)) Ьи

дп

4=1

= 0. (40)

ж€Г2

Таким образом, "настоящий"квадрат оператора Ь в (38) получается лишь при £ Ьп = 0.

г=1

При подстановке в (39) пробных функций вида v = £и необходимо обеспечить требование — = 0 на Г2. Поэтому, при непустом множестве Г2, будем требовать Ь0и = Ди и dn

выбирать £ с линиями уровня, ортогональными к дП. Мы полагаем £ = £(д(х)), где линии уровня функции д ортогональны к дП. Докажем это.

Легко видеть, что семейство линий у = с/(^ на плоскости (^ у) суть интегральные кривые дифференциального уравнения у' = у/'^)//^). Тогда линии уровня решения задачи

Коши у/'^)д* = /(^)ду, д^, 0) = t, ортогональны этому семейству. Функция д^,у) будет дифференцируема по крайней мере столько раз, сколько дифференцируема функция /'//. Легко видеть, что функция д из введения, определенная равенством д(х) = д(х1, |х'|), удовлетворяет соотношениям

Л-1 (^ д(х) = { к \ 2

х1 при /'(х1) = 0,

+ К(х1)\ при /'(х1) = 0,

где функция к определяется равенством к' = /, с точностью до постоянной, которая

выбирается произвольно в каждом интервале монотонности функции /; к-1 — обратная функция к к.

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

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

|х'|2

к(д) = -¡г- + МхО,

2

находим, что

к'(д^д = (к'(х1), х')

Выведем отсюда оценку (при |х'| < / (х1))

^д|

А'(х1) х'/'(д)

V к'(д), /(д)

( / (х1) х/ V/'(х1),

< Р, д > Б,

(41)

(42)

в которой постоянная Г, вообще говоря, иная, чем в (15). Заметим, что если /'(х1) > 0, то д(х) > х1 и (х1,д(х)) — интервал возрастания /, так что /(х1) < /(д(х)). Аналогично, если /'(х1) < 0, то д(х) < х1 и (д(х),х1) — интервал убывания /, поэтому /(х1) < /(д(х)). Далее,

к' (х1) = к'(д) — к'' (0)(д — х1).

Приращение (д — х1) оценим так:

/2(х1)/2 > |х'|2/2 = к(д) — к(х1) = к'(0)(д — х1).

Таким образом, нужная оценка следует из (15),(16):

к'(х1)

к'(д)

< 1 +

к"(0)/ 2(х1)

2к'(д)к'(в)

< Р.

Отметим, что обратное отношение также ограничено:

к'(д)

к'(х1)

< 1 +

к''(в)/2(х1)

2к'(х1)к'(6|)

< Р.

Повторное дифференцирование равенства (41) приводит к соотношению к"(д^д ® Vg + к'(g)V2g = diag(к''(x1), 1,..., 1).

При помощи (15), (16) получаем оценку

Г

1^д|| <

/ (д)

д > °.

(43)

Аналогично, при / Е С3(0, то), ограничение (20) влечет оценку |к'''(г)| < 1ЩГ)\, г > В, из которой выводим, что

'^3д11 < Iк'(д) |2 < ТЩ)' д > В (44)

Для функций v Е С^°(Яп \ (Г1 и П£°)) из (11) следует неравенство

АМ / v2& < / ^И2*. («)

П(г) П(г)

Далее, если v Е Н‘2, то

/я п я п я

|Vv|2dx < ^2 ацdx = ^ ацvXiпvdS — vLоvdx =

П(г) П(г) г,ч = 1 дП(г) г,ч = 1 П(г)

= — / ^ — I гЬо1^!х < I (^ + Щ2) Лх.

Г 2 П(г) П(г)

Выбирая е = ^А(г) и пользуясь (45), устанавливаем, что

72А2(г) J v2dx < 72А(г) J |Vv|2dx < J (Ь0v)2dx. (46)

П(г) П(г) П(г)

Полезно также промежуточное неравенство

7 J |Vv|2dx < — J vL0vdx. (47)

П(г) П(г)

Перейдем к построению срезающей функции, используемой при доказательстве теорем

1, 2. Пусть п^) — гладкая монотонная функция, равная нулю при t < 0 и единице при t > 1, такая, что п' < 2, |п''| < 8, 1п'''I < 32. Пусть V Е (7/8,1) и в = 1 — V. Определим

функцию а^,г) при г > 0 равенством

. (t — г/2 \ ( vг — t

а^, г) = 8^ —------------- п

вг ) \ вг

Отметим, что при фиксированном г носитель функции а лежит в отрезке [г/2, vr]. Положим

£(^г) = ехр ^— ^ а(т, г)Лт^ п (

Легко видеть, что

28 I I ^ Л

вг, Ы < в2г2

Кроме того, £* = — а£ при t < vг, £ = 0 при t > г и

4 V ( 8г'

>,) еХЧ— 8-

Оценим теперь производные функции £(д(х); г) при г > В. Очевидно, что V£ = £^д =

—а£Vg при д(х) < vг. Поэтому из (42) и (48) следует неравенство

^£| < Г8£, при д(х) < vг. (50)

|а| < 8 К1 < -^, Ы < . (48)

Вг£| < — ехр — V , г = 0,1,2,3, t > VГ. (49)

При помощи (42), (49) находим также, что

C ör

|Vf | < er exP(-у)’ пРи 9(x) > vr. (51)

Далее, пользуясь (48), (43), (42), выводим оценку

l|V2£|| = ||6V2g + £ttVg 0 Vg|| = £|| - aV2g + (а2 - a)Vg 0 Vg|| <

< C ( £gFÖ + ö2 + -0 ) £, при g(x) < vr, m(r) = min f,

~ \m(r) ßr) ну > - w [r/2,r]

в которой еа = 0 при д = |х| и единице в ином случае. Мы будем выбирать 8 > —, поэтому

1

ßr'

с

l|V2ei < F(^- + ö2)£, g < vr. (52)

m(r)

При g(x) > vr, благодаря (14),(49) и (42), имеем оценку

IIV2f Л < F (f + т (r))-’) exp ( - . (53)

Аналогично, пользуясь (44), устанавливаем оценки

l|V3£|l < F(er£2(r) + (ßrf(r))-3)exp(-> g(x) > vr< <54)

IIV3CII < F ijTjöy + ö3)t g < vr. (55)

3. Доказательство теорем 1, 2

Введем обозначения w = £u, K*u = [L*, £]u = L*w - £L*u, Ku = [L, £]u, x — характеристическая функция множества Q(vr). Тогда

Lu ■ L*£2u = Lu ■ (£L*w + K*w) = £Lu ■ (L*w + £-1(x + 1 - x)K*w) =

= (Lw - Ku) ■ (L*w + £-1xK*w) + (1 - x)Lu ■ K*w =

= Lw ■ L*w + (Lw - Ku) ■ £-1xK*w - xKu ■ L*w -

-(1 - x)(Ku ■ L*w - Lu ■ K*w).

Пусть Ф(^) = 0 для функций v G H2, supp v С Q(r). Подставив в (39) пробную функцию v = £2(g(x),r)u, получим

J [(L0w)2 - 2dwL0w + (dw)2] dx =

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

fi(r)

(L1w)2 - (Lw - Ku) ■ £-1xK*w + xKu ■ L*w }>dx + I, (56)

fi(r)

I = J (Ku ■ L*w - Lu ■ K*w)dx.

VVr

Очевидны оценки

| - (Lw - Ku) ■ £-1xK*w + xKu ■ L*w| <

£|Lw|2 £|L*w|2 x/|Т^ |2 > 2iT^* |24

< ' | + ' | + —(|Ku|2 + £-2|K*w|2) <

2 £

< 3£(|Low|2 + |L1 w|2 + |dw|2) + x(|Ku|2 + £-2|K*w|2).

Воспользовавшись неравенствами (47) и (9), имеем

J |L1w|2dx < J [Ь^^и^^х < — - J wL0wdx.

П П П

Выбрав теперь е = 1/6, приведем соотношение (56) к виду

^ J[|L0и|2 — dwL0w + |dw|2]dx < J 6х(|Км|2 + £-2|К*w|2)dx + I. (57)

ПП

Заметим, что

п

Ки = Lw — ^и = uLо£ + uLl£ + 2 ^ агзUxi£х,

г,з=1

п

= ^ 1(Lо£ + L1£) + 2 ^ агз(wxi£ 1£х^ — £ 2£xi^w). (58)

г,з=1

Далее, Lо£ = ^ (агч£хнх, + £xi(агз)х,). Пользуясь (50), (52), (18) и неравенством

г,з=1

8/т < е^/т2 + 82/(е'у), находим, что

|Lо£| < (ф + 7А(г)) + ^ + М(-\£, д < ^.

V т2(г) е^с /

т2(г) е7с

|£“'¿151 < |Ь||£-1^| < С</38 < СЫ + /<-182); м < 1

Поэтому при помощи (23),(9) и (18) получаем оценку

МГ82

е^с

Аналогичной оценке подчиняется величина

( МО2 \

ЫКЫ < 28Г|Vw| + ( 2еШ + ^А(г)) +----------------------) М, д < vг. (59)

V е^с /

Х£ 1к*w = £ 1(L*£w — £^) = £ 1 (wLо£ + + 2 ^ агз£х^).

г,з=1

Мы будем выбирать 8 так, чтобы с-1МГ82 = 'уе2^ + ^А(г)). Благодаря (12), при достаточно больших г будет выполнено неравенство 8 > 1/(вг). Тогда из (59) выводим,что

|хКм|2 < е27(3 + 7А(г))|Vw|2 + 36е2(d2 + 72А(г)2^2.

Выбирая е = 1/36, при помощи (46) и (47) приводим (57) к виду

- У [^^р + |dw|2]dx < I.

П

Преобразуем интеграл I, пользуясь формулами

п

К*w = £Ки + 2и агз£хн£х^, L*w = ^*и + Ки — 2uL1£.

г,з=1

Имеем

п

KuL*w — LuK*w = — 2uLu аз£хн£х^ + Ки(Ки — 2L1(£u)).

г,з=1

Теперь, действуя, как при выводе (59), нетрудно получить оценки

|Ku| < ^C/(er)|Vw| + |u| (+ (d + YA(r)) + ^)) exp

|1| < C J exp ^ ^ (|uLu| + u2 + |Vu|2) dx.

Теорема 1 доказана.

Уравнение

L3u = Ф, Ф e (ЯД)*, L = A + h — d (60)

будем рассматривать только в областях вида (10), определяемых функцией f e C3[0, то).

Для функций v e Яд, с ограниченным носителем supp v С П(г) будет использоваться

неравенство

J |Av|2dx < c-1m2(r) J |VAv|2dx, (61)

п п

являющееся следствием (45) и (37).

В случае области с отрицательной средней кривизной границы справедливо также неравенство

/ ¿ v2xixjdx < f |Av|2dx. (62)

П «=1 п

Обобщенным решением уравнения (60) назовем функцию u e Яд,1с, удовлетворяющую тождеству

J {VLu ■ VL*v + [(Li - d)Lu] ■ L*v} dx = Ф(v) (63)

п

при любой функции v e Я3 с ограниченным носителем.

Предположим, что Ф(v) = 0 при всех v с носителем, лежащим в П(г). Подставим в (63) пробную функцию v = £2u. Для обоснования законности такой подстановки следует убедиться, что Lv имеет нулевой след на дП. Для этого достаточно, чтобы Av = £2Au + uA£2 + 2£VuV£ = 0 на дП. Последнее обеспечивается ортогональностью линий уровня функции g(x) к дП, поскольку дП лежит на поверхности уровня функции u. Введем обозначения w = £u, K*u = [L*,£]u = L*w — £L*u, Hu = [(L1 — d)L,£]u,

G*u = [VL*,£]u, Gu = [VL,£]u.

Тогда

VLu ■ VL*£2u = VLu ■ (£VL*w + G*w) = £VLu ■ (VL*w + £-1(x + 1 — x)G*w) =

= (VLw — Gu) ■ (VL*w + £-1xG*w) + (1 — x)VLu ■ G*w =

= VLw ■ VL*w + (VLw — Gu) ■ £-1xG*w — xGu ■ VL*w —

— (1 — x)(Gu ■ VL*w — VLu ■ G*w).

Аналогично,

((Li — d)Lu) ■ L*£2u = ((Li — d)Lu) ■ (£L*w + K*w) : = ((Li — d)Lw — Hu) ■ (L*w + £-1xK*w) +

+ (1 — x) ((L1 — d)Lu) ■ K*w = (L1 — d)Lw ■ L*w + + ((L1 — d)Lw — Hu) ■ £-1xK*w — xHu ■ L*w +

+ (1 — x) ^ ((L1 — d)Lu) ■ K*w — Hu ■ L*w^ .

\lr

В левой части тождества (63) оставим слагаемые УЬт•УЬ*т и йЬ'ш•Ь*и), а все остальные слагаемые перенесем вправо и оценим сверху. При оценке выражения Ь\Ьт • Ь*т будем использовать неравенство аЬ < а2/6 + 3Ь2/2 для слагаемых с множителем Ь\Ат = Ь • У Ат и неравенство аЬ < а2/2 + Ь2/2 для остальных слагаемых. Получим

J{|УАт|2 + ^Ут|2 — 2dУwУАw — |УЬ^|2 + п

+^(|Ат|2 + (^т)2 — 2dwАw — (Ь^)2)^х <

< J{2|УАт|2 + 3|УЬИ2 + 3|^Ут|2 + 2|Ь|2(|Ат|2 + |Ь^|2 + |^т|2)}^ж + п

Г 1 1

+ Х{|Си • УЬ*т| + |С-1С*т • УЬт| + -(С-1С*т)2 + ^(Си)2 +

п

^ 1

+ |Ни • Ь*т| + |С-1К*т • (Ь1 — d)Ьw| + -(С-1К*т)2 + —(Ям)2}¿х + 3, (64)

2 2d

3 = / {|Си • УЬ*т — С*т • УЬи| + |К*т • (Ь — ¿)Ьм — Ни • Ь*т| ^х.

где

п

Докажем, что Си при х Е П^/2 приводится к виду А(т), где

Г

п п

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

А(т) =^2 (x)wXiXj + ^(^М + Л 152)Б^(х)тХ1 + 5(М + 52)Б(х)т, л < 1, (65)

г ,.7=1 г=1

М = шах^, т-2(г)).

Далее, большой буквой Б с индексами или без, будем обозначать скалярные или вектор-функции, ограниченные в П постоянной, зависящей только от Я. Для доказательства соотношения (65) прямыми вычислениями найдем, что

[¿У,£]и = ¿иУ£, [УЬьС]и = Ь1 и • УС + У(иЬ^),

[УА, С]т = Аи •УС + У(иАС) + 2У(Уи • УС).

Покажем, как оцениваются отдельные слагаемые, входящие в Си. При помощи (50) получаем оценку

[¿иУ£| = [¿т£-1 УС| < |FdSw| < С8Мт.

Далее, используя (21), (50) и (52), оценим, например, слагаемое

У (иЬ1С) = УК-%С) = С-%С Ут + тУ(С-%С);

|УС-%С| < |С-2УС| • |Ь| • |УС| + НС-1|Ь|У2СН + С-1||УЬ|| • |УС| <

г

< С(^¿2 + ^(82 + ) + ¿Ь) < 3С8(М + ¿2).

т(г)

Оценивая аналогичным образом остальные слагаемые, устанавливаем (65). Точно также устанавливается соотношение С-1С*т = А*т, где А* имеет вид (65). Нетрудно установить, что \^С-1К*т = Акт, где Ак имеет вид (65) с Б^ = 0. Далее, d-1 Ни = —\^[Ь,С]и + d-2Ь• Си, поэтому, ввиду (21), d-1 Ни также имеет вид (65). Таким образом,

Х ((С-1С*т)2 + (Си)2 + ¿(С-1К*т)2 + ¿-1(Нп)2) <

< С(¿2||У2т||2 + (л2М2 + л-2¿4)|Ут|2 + 62(М2 + 54)т2).

Покажем, как оцениваются другие слагаемые правой части (64),

Далее,

p 3

|GuVL*w| < 2(|VAw|2 + |VLiw|2 + |dVw|2) + — (Gu)2.

pd 3

|Hu ■ L*w| = |d-1 Hu ■ d1 L*w| < —(|Aw|2 + Lw|2 + d2w2) + — (Hu)2.

2 Zed

Точно так же, имеем

|£-1K*w ■ (L1 — d)Lw| = |dі£-1K*w ■ d-2 (L1 — d)Lw|

<

w,* ,b -VLw ,i

d 2 С 1К*т ----—----d2 Ьт

V ^

— 3

< -(|УАт|2 + |УЬН2 + |dУw|2 + d(|Аw|2 + |Ь^|2 + d2w2)) + —(С-1К*т)2.

24 ' -d

Заметим еще, что

— 2^У{Ут • У Ат + dwАw}dx = 2d J{|Ат|2 + d|Уw|2}dx. пп Наконец, при помощи (62), (9), (21) устанавливаем, что

J |УЬlw|2dx < 2^{|Ь|2||У2т||2 + ||УЬ||2|Уw|2}dx <

пп

< — J {d|Аw|2 + d2|Уw|2}dx.

п

Выбирая - = -, приводим (64) к виду 6

I = j{|УАт|2 + d|Аw|2 + d2|Уw|2 + d3w2}dx < п

< СI{ё2||У2т||2 + (л^2 + л-2ё4)|Ут|2 + ё2^2 + ё4)w2}dx + С3. (66)

п

Выбираем л и ё так, чтобы Сё2 = —, С л2 = 7. Если М = d, то из (66) с учетом (62),

8 4

получаем I < 2С3. Если М = т-2(г), то, пользуясь неравенствами (46), получаем такое же соотношение.

СПИСОК ЛИТЕРАТУРЫ

1. Михайлов В.П. О первой краевой задаче для одного класса гипоэллиптических уравнений // Матем. сб. Т. 63(105). №2. 1964. С. 11-51.

2. Михайлов В.П. Первая краевая задача для некоторых полуограниченных гипоэллиптических уравнений // Матем. сб. Т. 64(106). № 1. 1964. С. 11-51.

3. E. Phragmen, E. Lindelof // Acta math. V. 31. 1908. P. 381-406.

4. Ландис Е.М., Панасенко Г.П. Об одном варианте теоремы Фрагмена-Линделефа для эллиптических уравнений с коэффициентами, периодическими по всем переменным, кроме одной // Труды семинара им. И.Г. Петровского. Вып. 5. 1979. С. 105-136.

5. R.A. Toupin Saint-Venant’s principle // Arch. Rat. Mech. Anal. V.18. 1965. P. 83-96.

6. J.K. Knowles On Saint-Venant’s principle in the two-dimensional linear theory of elasticity //Arch. Rat. Mech. Anal. V. 21. 1966. P.1-22.

7. Кондратьев В.А., Копачек И., Ленвеншвим Д.М., Олейник О.А. Неулучшаемые оценки в пространствах Гельдера и точный принцип Сен-Венана для решения бигармонического уравнения // Тр. Мат. института СССР. Т. 166. 1984. С. 91-106.

8. Олейник О.А., Иосифьян Г.А. О принципе Сен-Венана в плоской теории упругости // Докл. АН СССР. Т. 239. № 3. 1978. С. 530-533.

9. Олейник О.А., Иосифьян Г.А. Принцип Сен-Венана в плоской теории упругости и краевые задачи для бигармонического уравнения в неоганиченной области // Сиб. мат. жур. 19. № 5. 1978. C. 1154-1165.

10. Олейник О.А., Иосифьян Г.А. Энергетические оценки обобщенных решений краевых задач для эллиптических уравнений второго порядка и их приложения // ДАН СССР. Т. 232. № 6. 1977. C. 1257-1260.

11. Олейник О.А., Иосифьян Г.А. Об устранимых особенностях на границе и единственности решений краевых задач для эллиптических и параболических уравнений второго порядка // Функциональный анализ и его приложения. Вып. 3. 1977. С. 54-67.

12. Кондратьев В.А., Олейник О.А. Теорема единственности решений внешних краевых задач и аналог принципа Сен-Венана // УМН. Т. 39. № 4. 1984. С. 165-166.

13. Кондратьев В.А., Олейник О.А. О единственности решений краевых задач в неограниченных областях и об изолированных особых точках решений системы теории упругости и эллиптических уравнений второго порядка // УМН. Т. 42. № 4. 1987. С. 189-190.

14. Ладыженская О.А., Уральцева Н.Н. Линейные и квазилинейные уравнения эллиптического типа. М.: Наука. 1973. 576 с.

15. Кожевникова Л.М. О существовании и единственности решений задачи Дирихле для псев-додифференциальных эллиптических уравнений в областях с некомпактными границами // Уфимский матем. ж. Том 1. № 1. 2009. С. 38-68.

16. Герфанов А.Р., Мукминов Ф.Х. Широкий класс единственности решения для неравномерно эллиптического уравнения в неограниченной области // Уфимский матем. ж. Том 1. № 3. 2009. С. 11-27.

17. Михайлов В.П. Дифференциальные уравнения в частных производных. М.: Наука. 1983. 424 с.

18. Владимиров В.С. Уравнения математической физики. М.: Наука. 1971. 512 с.

19. Кожевникова Л.М. Анизотропные классы единственности решения задачи Дирихле для ква-зиэллиптических уравнений // Изв. РАН. Т. 70. № 6. 2006 С. 93-128.

20. Шишков А.Е. Принцип Фрагмена-Линделефа для квазилинейных дивергентных эллиптических уравнений высокого порядка // Успехи мат. наук Т. 43. № 4. 1988. С. 231-232.

21. Биккулов И.М., Мукминов Ф.Х. О стабилизации нормы решения одной смешанной задачи для параболических уравнений 4-го и 6-го порядков в неограниченной области // Матем. сб. Т. 195. № 3. 2004. С. 115-142.

Ильгиз Мидехатович Биккулов,

Стерлитамакская государственная педагогическая академия, пр. Ленина, 37,

453103, г. Стерлитамак, Россия E-mail: im_radosti@rambler.ru

Фарит Хамзаевич Мукминов,

Уфимский государственный авиационный технический университет, ул.Карла Маркса, 12,

450000, г. Уфа, Россия E-mail: mfkh@rambler.ru

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