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

www.volsu.ru

DOI: https://doi.org/10.15688/j■volsu1.2016.5.4

УДК 517.956.25 ББК 22.161.626

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

Лариса Михайловна Кожевникова

Доктор физико-математических наук, профессор кафедры математического анализа, Стерлитамакский филиал Башкирского государственного университета kosul@mail.ru

просп. Ленина, 37, 453103 г. Стерлитамак, Российская Федерация Александр Шамилевич Камалетдинов

Аспирант,

Стерлитамакский филиал Башкирского государственного университета просп. Ленина, 37, 453103 г. Стерлитамак, Российская Федерация

о

см

Аннотация. Для некоторого класса анизотропных эллиптических уравнений второго порядка с переменными показателями нелинейностей в произвольных неограниченных областях рассматривается задача Дирихле с однородным граничным условием. В анизотропных пространствах Соболева с переменными показателями доказано существование слабых решений.

Ключевые слова: анизотропное эллиптическое уравнение, существование решения, переменные показатели, задача Дирихле, псевдомонотонный

к

[5 оператор

ч

га га

Введение

^ Пусть П — произвольная область пространства мга = {х = (х1,х2,...,хп)}, П с

§ с мга, п > 2. Для анизотропных квазилинейных эллиптических уравнений второго ® порядка рассматривается задача Дирихле

©

Уи))Х; — а0(х,и, Уи) = 0, х е П; (1)

г=1

и =0. (2)

дП

Предполагается, что функции а,г(х, 8о,в1 ,...,8п) имеют степенной рост по переменным

с показателями р^х) е (1, то), г = 0, 1,...,п. Условия на функции а1(х,80, в), г = 0,1,...,п, будут сформулированы в § 2. В качестве простейшего примера можно привести уравнение

Г{х)-2иХг)Хг - 1иГ(х)-2и = - фо(х).

i=l i=l

В работе [4] для изотропного эллиптического уравнения с переменными показателями нелинейностей доказано существование решения задачи Дирихле в ограниченной области. Для изотропного уравнения с постоянными степенными нелинейностями существование решения задачи Дирихле в произвольной области установлено Ф. Бра-удером [5], оно основано на абстрактной теореме для псевдомонотонных операторов. В настоящей работе, следуя [5], при условии Pi(x) < р0(х), i = 1,... ,п, проведено доказательство существования решения задачи (1), (2) без предположения ограниченности области Q и гладкости ее границы. Ранее Л.М. Кожевниковой, А.А. Хаджи [2] доказано существование решений задачи (1), (2) в произвольных неограниченных областях для анизотропных эллиптических уравнений с нестепенными нелинейностями.

1. Предварительные сведения

Пусть Q — произвольная область пространства Мга. Обозначим

C+(Q) = {р(х) е С(Q) : 1 < р(х) < +то V х е Q},

L+ (Q) = {Р(х) е Lсо(Q) : 1 < р(х) < +то для п.в. х е Q}.

Пусть р(х) е L+ (Q), положим р~ = inf р(х) > 1, р+ = supр(х) < то.

Q Q

Очевидно неравенство Юнга:

Ы<1у1р{х) + Np'(x), z,y е R, р'(х)= р(х)/(р(х) - 1). (1)

Кроме того, ввиду выпуклости справедливо неравенство:

1у + zlp(x) < 2Р+-1 (lylp(x) + lz\P(x)), z,y е R. (2)

Определим Лебегово пространство с переменным показателем LP(.)(Q) как множество измеримых на Q вещественнозначных функций у(х) таких, что:

PP(-),Q(v) = J Iv^l^dх < то.

Q

Норма Люксембурга в пространстве Lp(.) (Q) определяется равенством

Mp(-),Q = IMl^q) = inf < к> 0

|fc> 0 pp(.),Q(v/k) < l|

Ниже будут использоваться обозначения |Н|р(^,п = |Н|Р(-), рр^^п^) = рр^)^). Пространство ЬР()(П) является сепарабельным банаховым пространством. Если 1 < р- < < р+ < ж, то пространство Ьр(рефлексивное.

Для любых и е Ьр(.)^), V е Ьр'(.)^) справедливо неравенство Гельдера

u(x)v(x)dx

J Q

< 2\\u\\p^Q\\v\\pl{.)<Q, (3)

а также имеют место следующие соотношения [1]:

MlllQ - 1 < P«),Q(v) <M%)tQ + 1, (4)

(Pp{),Q(v) - lfp+ < \\v\\p{),Q < (Pp{),Q(v) + l)l/p- . (5)

Обозначим ~^(x) = (pl(x), p2(x), ...,pn(x)) E (L^(Q))n и определим для x e Q,

P-(x) = min[pi(x),p2(x), ...,pn(x)}, p+(x) = max{pi(x),p2(x),...,pn(x)}.

i=l,n i=l,n

Анизотропное пространство Соболева с переменными показателями H^)(Q) определим как пополнение C0?(Q) по норме

п

MnhtAQ) = \\Vx^ bi()>Q.

г=1

Если 1 < p~, i = 1, 2,..., n, то H^^(Q) — рефлексивное банахово пространство [6]. Пусть

f" Yl f nP(x) v(x) > n

p(x) = 1/Pг(x)) , p*(x) = { l_) { ' p^(x) = max{p*(x),p+(x)}.

xtl ) l P(x) < ^

Приведем теорему вложения для пространства H^^(Q) [6].

Лемма 1. Пусть Q — ограниченная область и ~$(x) = (pl(x),p2(x), ...,pn(x)) E E (С +(Q))n. Если q(x) E C+(Q) и

q(x) <p^(x) Vx E Q, (6)

то имеет место непрерывное и компактное вложение H^^(Q) ^^ Lq^(Q).

Лемма 2. Пусть 1 < p(x) < ж, vm(x), т = 1,..., ж, v(x) — такие функции из Lp{.) (ü), что

\\vm\U) < С, т =1, 2,...,

vm ^ v п.в. в ü, т ^ ж, тогда vm ^ v слабо в Lp^.)(ü) при т ^ ж.

Доказательство леммы 2 для ограниченной области проведено в [4], для неограниченной области оно также справедливо.

2. Формулировка результата

Пусть ^(х) = (ро(х),рг(х),...,Рп(х)) Е (Ь+ (П))п+1 П ( С+(П))га+1. Предполагается, что функции а^(х, в0, б), г = 0,...,п, измеримы по х Е П для б = (в0, б) = = (в0, в1,..., зп) Е мга+1, непрерывны по б е мга+1 для почти всех х Е П. Пусть существуют положительные числа а, а и измеримые неотрицательные функции ф(х) Е Ь1(П), Фг(х) Е Ьр' (^)(П),г = 0,1,...,п, такие, что для п.в. х е П и любых б = (в0, б) Е мга+1 справедливы неравенства

| аг(х, во, б)| < а(| 8гГ(х)-1 + 18о1Р°(х)/р*(х)) + Ф&), г = 0,1,...,п;

(1)

^2(аг(х, 8о, б) - аг(х, 8о, Ь))(8г - ^) > 0, Б = Ц

г=1

^ аг(х, 8о, б)8г >а ^ 18^(х) - ф(х)

(2) (3)

í=0

i=0

Применяя (2), из неравенств (1) выводим оценки:

| аг (х, 80, < ,4(18гГ(х) + 18оГ(х)) + Щх), 1 = 0, 1,...,п, (1')

с А > 0 и функциями Фг(х) Е Ь^П), 1 = 0, 1,... ,п.

Через Ь—/(••)(П) обозначим пространство Ьр()(П) х Ьр/()(П) х ... х ЬР^)(П) с нормой

1М1р' (•) = II ^Ц« + II ъЛр'гО + ... + II Vn\\p'rí{•), V = Ы Уи..^ Уп) Е

Введем обозначение уХ0 = V. Определим пространство Соболева с переменными показателями ()(П) как пополнение пространства С^°(П) по норме

м

^ (.)(П)

Н^РоО + Ия-^ ^(П) =12 ^^

í=0

Будем считать, что

р0(х) < р*(х), х Е П; Р+(х) <Ро(х), х Е П.

(4)

(5)

Из

неравенства (1'), пользуясь (5), для и Е (П) выводим оценку

Ца(х,и, Чи)Ц—,(0 = ^ Цаг(х,и, Чи)Цр,() [?Р^)(аг(х,и, Чи)) + 1 /Р - < (6)

г=0 г=0

< Е [А(РР^)(ихг) + РР0 (•)(и)) + Ц^гЬ + 1

г=0

<.

Далее, по элементу а(х,и, Чи) Е Ь—,(^(П) для ь(х) Е \У— ^(П) определим функ-

ционал А(и) равенством:

Г1

(А(и), V) = §^2аг(х, и, Чи)ьхЛх.

(7)

П г=0

Используя неравенство Гельдера (3), для функций u(x),v(x) E W-p(^(П) выводим неравенства:

п

|<ЛМ,г;)| < 2 ^ \\аг\\т\К\\PiW < 2\\a(x,u, Vu)\\p(0\M\^( )(П). (8)

i=0

Из (8), (6) следует, что функционал A(u), определяемый равенством (7) в пространстве W— (^)(Ü), является ограниченным.

Определение 1. Обобщенным решением задачи (1), (2) назовем функцию u(x) E E W— (^(П), удовлетворяющую интегральному тождеству

<A(u),v) = 0 (9)

для любой функции v(x) E W— (^(П).

Основным результатом настоящей работы является следующая теорема. Теорема. Если выполнены условия (1)-(5), то существует обобщенное решение задачи (1), (2).

3. Доказательство существования

Доказательство теоремы основано на утверждении о псевдомонотонности оператора A.

Определение 2. Оператор А : V ^ V' называется псевдомонотонным, если

(i) А — ограниченный оператор;

(ii) из условия v? ^ и слабо в V и lim sup<A(wJ),uj — u) < 0 следует, что для любого V E V

lim inf<A(uj),uj — v)> <A(u),u — v). (1)

Лемма 3. Пусть V — рефлексивное сепарабельное банахово пространство. Пусть оператор А : V ^ V' обладает следующими свойствами: оператор A псевдомонотонный и коэрцитивный, то есть

<А(и),и)

—¡п--у ж (2)

М

при \\w\\ ^ ж. Тогда отображение А : V ^ V' сюръективно, то есть для всякого F E V' существует такой и E V, что А(и) = F [3, гл. II, § 2, теорема 2.7].

Замечание 2. Чтобы избежать громоздкости в рассуждениях, вместо утверждения типа «из последовательности iJ можно выделить подпоследовательность (обозначим ее также), сходящуюся п.в. в П при j ^ ж», будем писать просто «последовательность иJ выборочно сходится п.в. в П при j ^ ж». Соответственно, будем использовать термин «выборочно слабо сходится» и т. п.

Утверждение 1. Пусть выполнены условия (1)-(5), тогда оператор

A : Щ{.)(П) ^ (П)] определяемый равенством (7), является псевдомонотонным.

Доказательство. Ограниченность оператора A следует из оценок (6), (8). Рассмотрим последовательность {uj 1°= в пространстве W-p^(П) такую, что

uj ^ u слабо в W— (.)(П), j ^ то; (3)

lim sup(A(uj),uj — u) < 0. (4)

Покажем, что

Afn,j\\Afn,\ /ЧП.-!^ i TW 1 ^

(A(uj),uj - u) ^ 0, j ^ то. (6)

A(uj) ^ A(u) слабо в (ж-()(П)) , j ^ то; (5)

Очевидно, что из (5), (6) следует (1).

Прежде всего, из сходимости (3) и неравенства (4) имеем оценки:

К ){П) <С1, 3 = 1,2,...; (7)

п

Е ) <С2, 3 = 1, 2,.... (8)

г=0

Кроме того, соединяя (6), (8), выводим оценку

п

Ца(х,и, чи )Ц — (•) = £ I аг(х,и, чи < Сг, 3 = 1, 2,.... (9)

г=0

Зафиксируем произвольное К> 0. По лемме 1 пространство У— ^)(П(К + 1)) компактно вложено в Ьд(^)(П(Я + 1)) для любой функции д(х), удовлетворяющей условию (6). Согласно условиям (4), (5), пространство \¥— ()(П(К + 1)) компактно вложено в пространства (П(К +1)), г = 0,... ,п.

Пусть ЛяМ = тт(1, тах(0, К + 1 — г)). Пользуясь (2), (5), (8), выводим неравенства

J (Е l(uj-n.R(|x|)k |»(x) + lujnR(IX)r (А dx <

R+1) \i=1 )

< J iE (K l + |uj |)и(x) + |uj |-(xM dx <

Ü(R+1) \i=1 '

+

< J ( E 2vt-1(Ki Г(Х + u Г(х)) + |uj P (x)) dx <

Ü(R+1) \i=1 /

<C4 J (E К |w(x) + l)dx =

R+1) V i=0 )

Q(R+1)

C^ E ) + mes П(Я + < C5(R), j = 1, 2,....

Следовательно, последовательность {и3пкограничена в пространстве +

+ 1)). Ввиду компактности вложений

Щ{,)(П(П + 1)) С ЬМ)(П(П +1)), г = 0,...,п,

имеют место выборочные сильные сходимости

и3 пя ^ иця в ЬМ.)(П(Я +1)), г = 0,1,...,п, j ^ ж,

из которых следуют сильные сходимости

и3 ^ и в ЬР.(.)(П(К)), i = 0,1,...,п, j ^ ж, (10)

а также выборочная сходимость и3 ^ и почти всюду в П(Я). Диагональным процессом устанавливается сходимость

и3 ^ и п.в. в П, j ^ ж. (11)

Положим

п

jJ(x) = ^ (a,i(x, и3, Vu3) — a,i(x, и, Vu)) (и3 — u)Xi + i=l

+ (a0(x, u3, Vu3) — ao(x, u, Vu)) (и3 — u), j = 1, 2,...,

тогда

<A(u>) — A(u),u3 — u) = § p3 (x)dx, j = 1, 2,....

n

Согласно (3), (4), имеем

lim sup p3(x)dx < 0. (12)

J

n

Запишем p3(x) в следующем виде:

n

P*(x) = ^ (ai(x, u3, Vu3) — ai(x, u3, Vu)) (u3 — u)Xi +

i=l

n

+ (ai(x, u3, Vu) — ai(x, u, Vu)) (u3 — u)Xi +

i=l

+ (a0(x,u3, Vu3) — a0(x,u, Vu)) (и3 — u) = q3 (x) + r3 (x) + s3 (x), j = 1,.... (13) Покажем, что

r3(x) ^ 0 п.в. в П, j ^ ж, (14)

s3(x) ^ 0 п.в. в П, j ^ ж. (15)

Рассмотрим операторы Немыцкого А^(и) = ai(x, и, Vv), г = 1, 2,... ,п, при фиксированном v E Н— ( )(П) для x E П(Я), R> 0. Применяя оценку (1), имеем неравенства

laz(x,u, vü)| < a(lvXi 1к(х)-1 + lulp0(x)/p'^(x)) + Фг (x), г =1,...,п, ISSN 2222-8896. Вестн. Волгогр. гос. ун-та. Сер. 1, Мат. Физ. 2016. № 5 (36) 35

c функциями а\ьХ1 |к(х)-1 + ФДх) е Ь1(О). Согласно [7], операторы А^ действуют из ЬРо (,)(О(Я)) в Ьр/, (.)(О(Я)), г = 1, 2,...,п, они непрерывны и ограничены в ЬРо(.)(О(Я)) при любом Я > 0.

Применяя неравенство (3), выводим

п

§ 1 г3 (х)1((х < |МхХ, Vи) - ai(x,u, — и)х.\\п(.),п(к).

П(Я) г=1

Ввиду сходимости и3 ^ и в ЬР0(.)(О(Я)), з ^ то (см. (10)), и непрерывности операторов Аг : ЬР0(.) (О(Я)) ^ Ьр.(.)(О(Я)), I = 1,2,...,п, первый сомножитель стремится к нулю, а второй равномерно ограничен (см. (7)). Таким образом, установлено, что для любого Я > 0 г3(х) ^ 0, з ^ то, в Ь1(О(Я)). Отсюда диагональным процессом устанавливается сходимость (14).

Используя неравенство (3), получаем

§ 1в3(х)|(х < 2\\ао(х,и3, Vu3) — ао(х,и, Vu)||p'о(.),n(R)||u3 — и|Ро(.),п(д).

П(Я)

Первый сомножитель равномерно ограничен (см. (9)), а второй стремится к нулю (см. (10)), поэтому для любого Я> 0 з3(х) ^ 0, з ^ то, в Ь1(О(Я)). Отсюда диагональным процессом устанавливается сходимость (15). Далее запишем р3(х) в виде:

п

р'(х) = ^ а^х, и3, Vu3)и3х. + а0(х, и3, Vu3)и3 — д3(х), 3 = 1, 2,..., (16)

г=1

где

п

д3(x) = ^ üi(x, u, Vu)(u3 — u)Xi + a0(x, u, Vu)(u3 — u) +

г=1

п

+ аг(х, u3, Vu3)uXi + a0(x, u3, Vu3)u G L1(Q), 3 = 1, 2,....

г=1

Используя неравенство (1), для е G (0,1) получаем

(п п \

Е К IwW + Е Iаг(x,u3, Vu3)^(x) +

г=0 г=0 )

(п п \

Е Iuxí r(x) + Е I^(x,u, Vu)|^n .

г=0 г=0 )

Применяя (1'), выводим неравенства

п / п п \

Ig3 (x)| < еС7 £ К Г{х) + С*(е) Е К P(x) + Е ЗД . (17)

г=0 \г=0 г=0 /

Используя (3), перепишем (16) в виде:

п

Р (x) > a Y IuXг r(x) — Ф(x) — у (x)|. (18)

í=0

Соединяя (17), (18), выбирая е < а/С7, устанавливаем оценку

га /га га \

Р3 (х) > С9 £ К Г(Х) - Ф(х) - С* £ Iй** 1Мх) + Е Ф<(х) , з = (19)

г=0 \г=0 г=0 )

Пусть рР(х) = рР+(х) — р>-(х), р^+(х), р>-(х) — положительная и отрицательная части р>(х) соответственно. Из (19) следует оценка

п

Pi+(x) > C9J2 \< \Рг{Х) - j = 1,..., (20)

i=0

/га га \

с неотрицательной функцией Фи(х) = ф(х) + 1и*ч |к(х) + ФДх) I е L1 (О,),

4=0 1 i=0 )

конечной п.в. в П. Если х3(х) — характеристическая функция множества {х : р>-(х) > > 0}, тогда

—рЗ- = у! дЗ + у! г3 + у! 83 ,

причем, согласно (14), (15), х'^(х) ^ 0, х3^(х) ^ 0 п.в. в О при ] ^ ж. Ввиду (2), X3О3(х) > 0 п.в. в О, тогда р*-(х) ^ 0 п.в. в О при ] ^ ж. Кроме того, из (19) следует оценка

(га га \

Е К ^ + Е Ф^(хл = —Ф«(х), 3 = 0,1,....

г=0 г=0 )

V (х) > —ф(х) — Щ

\г=0

Отсюда имеем: р3-(х) < Ф«(х), ] = 1,.... Тогда, согласно теореме Лебега,

р>-(х) ^ 0 в Ьг(О), з (21)

Поэтому, согласно (12),

0 < lim sup jp+(x)dx = lim sup pj(x)dx + lim sup rpP (x)dx < 0.

J J J

П П П

Следовательно,

p>+(x) ^ 0 в Ьг(П), j ^ю. (22)

Таким образом, из (21), (22) имеем сходимость

pi(x) ^ 0 в L^Q), j ^ю, (23)

а также выборочную сходимость

pj+(x) ^ 0, pi(x) ^ 0 п.в. в Q, j ^ ю. (24)

Установим сходимость

их. (x) ^ uXi (x) п.в. в Q, г = 1,2,...,п, j ^ ю. (25)

Обозначим через Q' С Q подмножество точек полной меры, для которых имеют место сходимости (11), (24) и выполнены неравенства (1)-(3).

От противного, пусть в некоторой точке х* € П' нет сходимости. Обозначим 830 =

= и3 (х*), = и(х*), 83 = и3х. (х*), 81 = и3н (х*), % = 1, 2,... ,п.

п

Предположим, что последовательность ^ |$3 р^^, ] = 1, 2,... не ограничена. То-

í=0

гда из оценки (20) следует неограниченность последовательности р3+(х*), ] = 1, 2,..., что противоречит (24). Отсюда следует ограниченность последовательностей {эЗ^^ г =

= 1, 2,... ,п. Пусть в* = (^1, 8*2,..., 8*п) — один из частичных пределов я3 = (8{, 833,..., з3п) при ] ^ ж, тогда, с учетом (11), имеем

830 ^ 80, 83 ^ 8*, г = 1, 2, . . . ,п, ] ^ ж.

Поэтому, применяя (14), (15), (24), из (13) и непрерывности а^х*, з0, я) по б = (в0, в) вытекает, что

п

р3(х*) ^ ^ (а^х*, 80, в*) - а^х*, 80, в)) (з* - = 0,

í=l

следовательно, согласно (2), я = я*. Это противоречит тому, что в точке х* нет сходимости. Таким образом, из (11), (25) и непрерывности а^х, , я) по б = (в0, в) следует, что

а,,(х,и3, Vи3) ^ а,^(х,и, ^и), г = 0,1,...,п, п.в. в П, ] ^ ж.

Кроме того, ввиду (9), последовательности {а,,(х,и3, VII3^^ ограничены в Ьр>,(.)(П), 1 = 0,1,... ,п. Согласно лемме 2 имеем слабые сходимости

а.ь(х,и3, VII3) ^ а.^(х,и, Vи) в Ьр/ (•)(П), г = 0,1,...,п. (26)

Очевидно, из (26) вытекает слабая сходимость (5).

Чтобы завершить доказательство, заметим, что из (3), (23) следует (6)

(А(и3),и3 - и) = (А(и3) - А(и),и3 - и) + (А(и),и3 - и) ^ 0, ] ^ ж.

Доказательство теоремы. Докажем коэрцитивность оператора А. Пользуясь (3), (4), выводим

п п

(А(и),и) = Vи)ихi йх > а ^ Рр^)(их,,) - ЦФЦ1 > (27)

í=0 П í=0

п

> аЕ \\и*г- а(п +1) -\\ф\\1.

í=0

Пусть \\и3\\уу 1 (П) ^ ж при ] ^ ж. Тогда для любого I > 0 найдется ]0 такое, что для всех > 0 справедливы неравенства

п

Е К\и) > 1(п +1). (28)

í=0

При каждом ] > ]0 найдется хотя бы одно слагаемое больше I. Пусть для определенности при фиксированном ] > ]0 наибольшим является первое слагаемое Ци3 ||Р0^) > I. Соединяя (27), (28), получаем

<Л(И),И> С- Сз

> , - , > С2Р° -1 .

^п) (п +1) (п +1)1 1

Отсюда, ввиду произвольности I и ], ] > ]0, следует (2).

Из утверждения 1, согласно лемме 3, следует существование функции и е ^(О)

такой, что Л(и) = О. Таким образом, для любого V е \¥— (^(О) справедливо тождество (9).

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

1. Жиков, В. В. О вариационных задачах и нелинейных эллиптических уравнениях с нестандартными условиями роста / В. В. Жиков // Проблемы математического анализа. — 2011. — Вып. 54. — C. 23-112.

2. Кожевникова, Л. M. О решениях эллиптических уравнений с нестепенными нели-нейностями в неограниченных областях / Л. M. Кожевникова, A. A. Хаджи // Вестн. Сам. гос. техн. ун-та. — 2015. — Т. 19, № 1. — C. 44-62.

3. Лионс, Ж. Л. Некоторые методы решения нелинейных краевых задач / Ж. Л. Ли-онс. — М. : Мир, 1972. — 596 с.

4. Benboubker, M. B. Quasilinear elliptic problems with nonstandard growths / M. B. Benboubker, E. Azroul, A. Barbara // Electronic Journal of Differential Equations. — 2011. — № 62. — P. 1-16.

5. Browder, F. E. Pseudo-monotone operators and nonlinear elliptic boundary value problems on unbounded domains / F. E. Browder // Proc. Nation. Acad. Sci. USA. — 1977. — Vol. 74, № 7. — P. 2659-2661.

6. Fan, X. Anisotropic variable exponent Sobolev spaces and ^(^)-Laplacian equations / X. Fan // Complex Variables and Elliptic Equations. — 2011. — Vol. 56, № 7-9. — P. 623-642. — DOI: http://dx.doi.org/10.1080/17476931003728412.

7. Fan, X. On the Spases Lp(x) and Wm'p(x) / X. Fan, D. Zhao // J. Math. Anal. Appl. — 2001. — Vol. 263. — P. 424-446. — DOI: http://doi:10.1006/jmaa.2000.7617.

REFERENCES

1. Zhikov V.V. O variatsionnykh zadachakh i nelineynykh ellipticheskikh uravneniyakh s nestandartnymi usloviyami rosta [On Variational Problems and Nonlinear Elliptic Equations with Non-Standard Growth Conditions]. Problemy matematicheskogo analiza, 2011, iss. 54, pp. 23-112.

2. Kozhevnikova L.M., Khadzhi A.A. O resheniyakh ellipticheskikh uravneniy s nestepennymi nelineynostyami v neogranichennykh oblastyakh [On Solutions of Elliptic Equations with Nonpower Nonlinearities in Unbounded Domains]. Vestn. Sam. gos. tekhn. un-ta, 2015, vol. 19, no. 1, pp. 44-62.

3. Lions Zh.L. Nekotorye metody resheniya nelineynykh kraevykh zadach [Some Methods of Solving Nonlinear Boundary Value Problems]. Moscow, Mir Publ., 1972. 596 p.

4. Benboubker M.B., Azroul E., Barbara A. Quasilinear Elliptic Problems with Nonstandard Growths. Electronic Journal of Differential Equations, 2011, no. 62, pp. 1-16.

5. Browder F.E. Pseudo-Monotone Operators and Nonlinear Elliptic Boundary Value Problems on Unbounded Domains. Proc. Nation. Acad. Sci. USA, 1977, vol. 74, no. 7, pp. 2659-2661.

6. Fan X. Anisotropic Variable Exponent Sobolev Spaces and ^(X)-Laplacian Equations. Complex Variables and Elliptic Equations, 2011, vol. 56, no. 7-9, pp. 623-642. DOI: http://dx.doi.org/10.1080/17476931003728412.

7. Fan X., Zhao D. On the Spases LP(X) and Wm,p(x). J. Math. Anal. Appl., 2001, vol. 263, pp. 424-446. DOI: http://doi:10.1006/jmaa.2000.7617.

EXISTENCE OF SOLUTIONS OF ANISOTROPIC ELLIPTIC EQUATIONS WITH VARIABLE EXPONENTS OF NONLINEARITY IN UNBOUNDED DOMAINS

Larisa Mikhaylovna Kozhеvnikova

Doctor of Physical and Mathematical Sciences, Professor, Department of Mathematical Analysis, Sterlitamak Branch of Bashkir State University kosul@mail.ru

Prosp. Lenina, 37, 453103 Sterlitamak, Russian Federation

Alexander Shamitevich Kamatetdinov

Postgraduate Student,

Sterlitamak Branch of Bashkir State University

Prosp. Lenina, 37, 453103 Sterlitamak, Russian Federation

Abstract. For anisotropic quasilinear second order elliptic equations in divergence form with a non-standard growth conditions

n

'<Y(ai(x,u, Vu))Xi — a0(x,u, Vu) = 0, x e Q; (1)

i=1

in domain Q of the space rn, Q c rn, n > 2, the Dirichlet problem is considered with homogeneous boundary condition

и

= 0. (2)

an

It is assumed that the functions ai(x, s0, s^..., sn) have a polinomial growth on variable si with powers pi(x) e (1,to), i = 0,1,... ,n. As example we can use the equation

n n

£(K l^-^ )xi — UMX)-2U = (x))xi — fo(x). =i =i

In the paper by M.B. Benboubker, E. Azroul, A. Barbara (Quasilinear elliptic problems with nonstandard growths, Electronic Journal of Differential Equations, 2011) the existence of solutions of the Dirichlet problem in a bounded domain was proved for an isotropic elliptic equations with variable nonlinearities. For isotropic equations with constant power of nonlinearity the existence of solutions of the Dirichlet problem in an arbitrary domain was established by F.E. Browder (Pseudo-monotone operators and nonlinear elliptic boundary value

problems on unbounded domains, Proc. Nati. Acad. Sci. USA, 1977). The proof is based on an abstract theorem for pseudomonotone operators. In this paper we prove the existence of solutions of the problem (1), (2) without the assumption of boundedness of Q and the smoothness of its boundary.

Note by LP(.)(Q) Lebesgue spaces with variable exponent p(x) and the Luxemburg norm \\-\\p(.). Let the (x) = ('po(x)/pi (x),...,pn (x)) E (L^0(Q))n+1 n n (C+(Q))n+1. The Sobolev — Orlicz space with variable exponents W—^(Q) is defined as the completion of the space C0^(Q) in the norm

n

IMIwp ^ = IMUo + £ IK IUo.

i=i

It is assumed that

P+(x) < po(x) <p*(x), x G Q, (3)

where

nv(x) tfJ

( np(X) -,) > n

p+(x)=max{p1(x),p2(x),...,pn(x)}, p*(x) = < п-р(х)} '

I p(x) < n,

(è1

p(x) = n

And it is also assumed that ai(x,s0, s), i = 0,...,n, x G Q, s = (s0, s) = = (s0, s1,... ,sn) G rn+1, are the Caratheodory functions, and there exist positive numbers a,a and measurable non-negative function $(x) G L1(Q), & i(x) G G LP{()(Q), p'i(x) = pi(x)/(pi(x) — 1), i = 0,1,...,n, such that for almost all x G Q and any s = (so, s) G rn+1 the inequalities hold:

\at(x, s0, s)l < a(lszr(x)-1 + \P°(x)M(x)) + & ¿x), i = 0,1,...,n; (4)

n

^2(ai(x,s0, s) — ai(x,s0, t))(si — U) > 0, s = t; (5)

i=1

n n

£ a>(x,s0, s)si > â £ NK(x) — $(x). (6)

=0 =0

Elliptic operators A : ^—^(Q) ^ j , corresponding to the

problem (1), (2), defined by the equation:

n

{A(u),v) = ai(x,u, Vu)vXidx, u(x),v(x) G W-H(Q).

Q i=0

It is proved that operator A is pseudomonotone, bounded and coercitive. On the basis of these properties we prove the theorem.

Theorem. If the conditions (3)-(6), there is a generalized solution of the problem (1), (2).

Key words: anisotropic elliptic equation, existence of solution, variable exponents, Dirichlet problem, pseudomonotone operator.