CC BY
129
УДК 517.95 ББК 22.161.6
К ВОПРОСУ О РАЗРЕШИМОСТИ КРАЕВЫХ ЗАДАЧ ДЛЯ ПОЛУЛИНЕЙНЫХ ЭЛЛИПТИЧЕСКИХ УРАВНЕНИЙ НА НЕКОМПАКТНЫХ РИМАНОВЫХ МНОГООБРАЗИЯХ1
Мазепа Елена Алексеевна
Кандидат физико-математических наук, доцент кафедры математического анализа и теории функций, Волгоградский государственный университет [email protected], [email protected]
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Аннотация. В работе изучаются вопросы разрешимости некоторых краевых и внешних краевых задач для полулинейных уравнений эллиптического типа на произвольных некомпактных римановых многообразиях. Методика исследования существенным образом опирается на подход, основанный на введении классов эквивалентных на римановом многообразии функций. Получены условия однозначной разрешимости краевых и внешних краевых задач для рассматриваемых уравнений в классе произвольных непрерывных асимптотически неотрицательных функций, в том числе и неограниченных.
Ключевые слова: полулинейные эллиптические уравнения, краевая задача, неотрицательные решения, некомпактные римановы многообразия, задача Дирихле.
Введение
Проблема разрешимости различных краевых задач (в том числе задачи Дирихле) для эллиптических дифференциальных уравнений на римановых многообразиях с предписанными граничными данными на «бесконечности» является, с одной стороны, достаточно интересной в анализе и геометрии, а с другой стороны, достаточно новым направлением в современной математике. Истоки указанной проблематики восходят к классификационной теории двумерных некомпактных римановых поверхностей, основанной на изучении некоторых функциональных классов на поверхностях и развитой
3 в работах А. Альфорса, А. Бейрлинга, Л. Сарио и других математиков. Общее предел
, ставление об истории развития и современных исследованиях в данном вопросе можно
получить, например, из работ [13; 14; 16]. и Первоначально большое внимание уделялось изучению гармонических функций на
т многообразиях, то есть решениям уравнения
I
© Аи = 0. (1)
Считающаяся ныне классической формулировка теоремы Лиувилля утверждает, что всякая ограниченная гармоническая в Мга функция является тождественной постоянной. С другой стороны, класс многообразий, на которых существуют нетривиальные ограниченные гармонические функции, достаточно обширен. Более того, обнаружены множества некомпактных римановых многообразий, на которых разрешима задача Дирихле о восстановлении гармонической функции по непрерывным граничным данным для случая идеальной границы. Вообще, проблема разрешимости задачи Дирихле о восстановлении решения уравнения по граничным данным на «бесконечности» является в некотором смысле двойственной по отношению к справедливости теорем типа Лиувил-ля. С этой точки зрения наибольший интерес представляют некомпактные римановы многообразия. Заметим, что сама постановка задачи Дирихле на таких многообразиях может оказаться проблематичной. В некоторых случаях геометрическая компактифика-ция многообразия позволяет сделать это аналогично постановке классической задачи Дирихле в ограниченных областях Мга (см., например, [6; 7; 12]). С другой стороны, в работе [8] предложен достаточно новый подход к постановке краевых задач для эллиптических дифференциальных уравнений на произвольных некомпактных римановых многообразиях.
Рядом авторов решались аналогичные задачи для уравнений более общих, чем уравнение Лапласа — Бельтрами. Например, рассматривались различные множества решений стационарного уравнения Шредингера
Ьи = Аи - с(х)и = 0, (2)
где с(х) — гладкая неотрицательная функция, и, в частности,
Аи - и = 0. (3)
Известно, что существование ненулевого ограниченного решения уравнения (3) эквивалентно стохастической неполноте рассматриваемого многообразия. Многообразие называют стохастически полным, если минимальный винеровский процесс на нем имеет бесконечное время жизни (более подробно о таких многообразиях см.: [14]).
В последние годы достаточно активно изучаются решения квазилинейных уравнений вида
Ьи = д(х,и), (4)
где Ь — линейный эллиптический оператор второго порядка, с различными структурными требованиями на правую часть д(х,£) (см., например, [2;3;9; 10]).
Одним из частных случаев уравнения (4) является полулинейное уравнение вида
Аи = ф{\и\)и, (5)
где ф(^) — неотрицательная, монотонно неубывающая непрерывно дифференцируемая функция при £ > 0. Поведение ограниченных решений этого уравнения, вопросы разрешимости краевых и внешних краевых задач, выполнения лиувиллева свойства, а также их устойчивость при вариациях правой части достаточно подробно изучены в работах
[9] и [10].
В данной работе исследуется асимптотическое поведение неограниченных решений уравнения (5). Аналогичные задачи для неограниченных решений линейных уравнений Лапласа — Бельтрами и уравнения Шредингера достаточно подробно изучены в работах [15] и [4].
Всюду далее будем полагать М — произвольное полное гладкое связное некомпактное риманово многообразие, В С М — произвольное связное компактное подмножество с гладкой границей, [Bk— исчерпание многообразия М с гладкими границами dBk, то есть последовательность предкомпактных открытых подмножеств риманова многообразия М таких, что Вк С Вк+1, М = (JВк.
Доказательство основных результатов опирается на принцип максимума, теоремы сравнения и единственности для решений линейных эллиптических дифференциальных уравнений на предкомпактных подмножествах многообразия М. Их справедливость доказывается также как и для ограниченных областей в Мга (см., например, [1, с. 39-40]). Кроме того, в работе применяются аналогичные утверждения для решений полулинейных эллиптических дифференциальных уравнений. Их подробные доказательства можно найти в [11].
1. Краевые и внешние краевые задачи для полулинейного уравнения
Пусть f\(x) и f2(x) — произвольные непрерывные на М функции.
Будем говорить, что функции f1(x) и f2(x) эквивалентны на М и обозначать f1(x) ~ f2(x), если для некоторого исчерпания [Вк}£=1 многообразия М выполнено
Ит Ц/1 (ж) - ¡2(х)\\о0(М\Вк) = 0,
где ||/Шо0(G) = SUpG |/(Ж)|.
Обозначим класс эквивалентных f функций через [f]. Ясно, что введенное отношение не зависит от выбора исчерпания многообразия М и характеризует поведение функций вне произвольного компактного подмножества В С М.
Обозначим через vk — решение уравнения (2) в Вк \ В, удовлетворяющее условиям
Vk \QB = 1 Vk \дВ^ = 0.
Используя принцип максимума, легко проверить, что последовательность vk равномерно ограничена на М \ В, и, следовательно, компактна в классе дважды непрерывно дифференцируемых функций на любом компактном подмножестве G С (М \ В). Более того, при к ^ ж она монотонно возрастает и сходится на М \ В к решению уравнения (2)
v = lim vk, 0 < v < 1, v\dB = 1.
Заметим также, что функция v не зависит от выбора исчерпания [Bk}£=1. Функцию v называют L-потенциалом компакта В относительно многообразия М (см., например, [4; 8]). Для уравнения Лапласа — Бельтрами функция v есть не что иное, как емкостный потенциал компакта В относительно многообразия М (см.: [14]).
Многообразие М будем называть L-строгим многообразием, если для некоторого компакта G С М существует L-потенциал v такой, что v G [0] (если L = А, то многообразие будем называть А-строгим).
Заметим, что из А-строгости многообразия М следует его L-строгость (обратное не верно). Кроме того, понятие L-строгости не зависит от выбора компакта.
Будем называть функцию f асимптотически неотрицательной, если на М существует непрерывная функция w > 0 такая, что w ~ f.
Будем говорить, что на М разрешима краевая задача для уравнения (5) с граничными условиями из класса ], если на М существует решение и(х) уравнения (5) такое, что и Е [£].
Пусть Ф(ж) — произвольная непрерывная на дВ функция.
Будем говорить, что для непрерывной на дВ функции Ф(ж) на М \ В разрешима внешняя краевая задача для уравнения (5) с граничными условиями из класса [/], если на М\В существует решение и(х) уравнения (5) такое, что и Е [/] и и1дв = Ф|аБ.
Аналогичным образом можно осуществить постановку краевых задач на произвольных некомпактных римановых многообразиях для уравнений (1), (2) и ряда других эллиптических дифференциальных уравнений второго порядка (см.: [8-11; 15]). Более того, в [15] доказано, что на ¿-строгом римановом многообразии М из разрешимости внешней краевой задачи для уравнения (2) с граничными условиями из класса [/] следует разрешимость краевой задачи для уравнения (2) с граничными условиями из того же класса, и наоборот. Аналогичное утверждение имеет место и для решений уравнения Лапласа — Бельтрами на А-строгом многообразии М (см.: [15]).
Замечание. Если многообразие М имеет компактный край или существует естественная геометрическая компактификация многообразия М (например, на многообразиях отрицательной секционной кривизны, на сферически-симметричных, квазимодельных многообразиях), добавляющая границу на бесконечности, данный подход естественным образом приводит к классической постановке задачи Дирихле (см., например, [6; 7; 12]).
Пусть функция ф(^) — ограничена при £ > 0, то есть существует такая константа А > 0, что 0 < ф(£) < А при £ > 0. Положим в уравнении (2) с(х) = А. В качестве краевых условий будем рассматривать класс [/] — асимптотически неотрицательных на М функций. Тогда справедливо следующее утверждение.
Теорема 1. Пусть многообразие М является А-строгим многообразием и на М \ \ В для любых постоянных неотрицательных на дВ функций разрешимы внешние краевые задачи для уравнений (1) и (2) с граничными условиями из класса [/]. Тогда
1) на М \ В для любой непрерывной на дВ функции Ф(ж) > 0 для уравнения (5) разрешима внешняя краевая задача с граничными условиями из класса [/];
2) на М для уравнения (5) разрешима краевая задача с граничными условиями из класса [/].
Доказательство. Пусть Ф(ж) — произвольная непрерывная неотрицательная на дВ
функция. Обозначим С\ = 8ирФ(ж) > 0. По условию существует функция и0 — ограни-
эв
ченное решение внешней краевой задачи для уравнения (1) на М \ В такая, что щ Е ] эв. Причем 0 < ио на М \ В. Рассмотрим последовательность функций [пкявляющихся решением задачи
Аик = икф(1ик|) в Вк \ B, ик 1дВк = ио]1дВк ик 1дв = ф|аБ .
Учитывая принцип сравнения (см. Приложение), для всех к имеем
0 < ик < и0 в Вк \ В.
Более того, последовательность функций [ик1 является монотонно убывающей.
Действительно, рассмотрим функции ик и ик+1, которые на множестве Вк \ В являются решениями уравнения (5) и удовлетворяют следующим неравенствам:
О < ик+1 < щ, ик \9В = ик+1 \9В ф\дв , ик \дВк = щ\дВк > ик+1 \дВк .
Используя принцип сравнения в Вк \ В для всех к, получаем и0 > ик > ик+1.
Покажем теперь равномерную ограниченность последовательности функций [ик}Х 1 на любом компактном подмножестве П С М \ В.
Так как [Вк}£= — исчерпание многообразия М, то существует номер к0 такой, что для всех к > к0 выполнено П СС Вк \ В. Тогда, учитывая монотонное убывание последовательности функций [ики принцип максимума для гармонических функций, для всех к > к0 во множестве П получаем
О < ик < sup и0 < sup и0 = max{sup и0, sup и0} = К,
п вк0 \в двк0 дв
то есть выполнено условие равномерной ограниченности последовательности функций {ик1 на произвольном компактном подмножестве П С М \ В.
Далее, используя внутренние оценки градиентов в комбинации с внутренними оценками в пространстве Гёльдера С1 (П) производных для произвольного компактного подмножества П С М \ В (см., например, [1, с. 294, 346]), получаем, что семейство функций дк(х) = икф(\ик(ж)\) имеет равномерно ограниченные нормы в С1 (П). Тогда с учетом внутренних оценок Шаудера ([1, стр. 91, 94-95]) получаем компактность семейства {ик} в классе С2'1 (П) на произвольном компактном подмножестве П С М \ В. Последнее влечет за собой существование предельной функции и = lim ик, которая
к^гх
является решением уравнения (5) на П таким, что 0 < и < щ.
Далее будем в качестве множества П брать последовательно множества Вк \ В для к = 1, 2,... Тогда на множестве В1 \ В существует предельная функция
и1 = lim и1'к —
решение уравнения (5) такое, что и1 \дв = Ф\0Б. На множестве В2 \ В существует предельная функция
и2 = lim и2,к —
решение уравнения (5) такое, что и2 \дв = Ф\0Б и т. д. На множестве Вп \В существует предельная функция
ип = lim ип,к —
решение уравнения (5) такое, что ип \дв = Ф\0Б. Кроме того, для всех п выполнено О < ип < и0. Также легко показать, что функция и2 является продолжением функции и1, то есть и2 \Bi\в = и1, функция и3 является продолжением функции и2, то есть и3 \В2\в = и2 и т. д. Рассмотрим функцию
и1 на Вх \ В,
и2 на В2 \ В,
и
на Вп \ В,
Она будет являться решением уравнения (5) на произвольном компактном подмножестве П С М \ В. Причем 0 < и < и0 и и \дВ = Ф\дв.
Покажем, что и ~ f.
Согласно условию на М\В существует решение v0 уравнения (2) c с(х) = А такое, что v0\dB = 0 и v0 £ [/]. Используя принцип сравнения 2 (см. Приложение) на М \ В, получаем и0 > v0 > 0.
Более того, для каждого к имеют место следующие неравенства:
Auk = Ukф(\щ\) < Xuk в Bk \ В,
Vo\9B < Uk \QB , vo\dBk < uk \двк.
Тогда по принципу сравнения 1 в Bk\В имеем uk > v0, и, следовательно, и0 > uk > > Vo > 0. Аналогичное неравенство имеет место и для элементов подпоследовательности
Щ > un,k > vo > 0.
Переходя к пределу при к ^ ж для каждого п на Bn \ В, получаем и0 > un > v0. Учитывая вид функции и и условие и0 ~ v0 ~ f, окончательно имеем и ~ f. Первое утверждение теоремы доказано.
Для доказательства второго утверждения заметим сначала, что из А-строгости многообразия М следует его L-строгость. Далее в работе [15] показано, что на таких многообразиях для уравнений (1) и (2) из разрешимости на М \ В внешних краевых задач с граничными условиями из класса [/] следует разрешимость краевых задач на всем многообразии М с граничными условиями из того же класса [f]. Пусть теперь и0 — решение уравнения (1) такое, что и0 £ [/]. Ясно, что 0 < и0 на М.
Рассмотрим последовательность функций [uk}£=1, являющихся решением задачи
Auk = Ukф(\uk\) в Bk, Uk \дВк = uo\dBk.
Как и выше доказывается, что данная функциональная последовательность монотонно не убывает, равномерно ограничена на любом компактном подмножестве П С М, компактна в классе С2,1 (П) и, следовательно, имеет предельную функцию и = lim uk,
k^rx
которая является решением уравнения (5) на П таким, что 0 < и < и0. Далее, как и при доказательстве первого утверждения, строится решение уравнения (5) на всем многообразии М и исследуется его асимптотическое поведение на «бесконечности».
2. Приложение
Пусть функция д(х,£) в уравнении (4) удовлетворяет структурным требованиям
1) д(х,0 £ С1 (П х R) для любого подмножества П СС М, 0 < j < 1;
2) д(х, 0) = 0;
3) д(х,^1) > д(х,Ь) для всех > ^2.
Тогда справедливы следующие утверждения. Предложение 1. (Принцип сравнения 1). Пусть П С М — предкомпактное подмно-жеcтво и и, v £ С2(П) П С0(П) удовлетворяют в П неравенствам
Lu > g(x,u), Lv < g(x,v) и и\дп < ^\дп. Тогда и < v в П.
Предложение 2. (Принцип максимума). Пусть П С М — предкомпактное подмно-жеcтво и и е С2(П) П С°(П) удовлетворяет в П неравенству Lu > g(x,u) (Lu < < g(x, и)). Тогда
sup и < sup и+ (inf и > inf и-).
n an n an
Если же Lu = g(x, и) в П, то
sup |w| = sup |м|.
n an
Предложение 3. (Принцип сравнения 2). Пусть Lv < g(x,v), Lu > g(x,u) на M \ В, vlaB > ulaB, v ~ и. Тогда v > и на М \ В.
Пусть Lv < g(x, v), Lu > g(x, и) на M и v ~ и. Тогда v > и на М. Из принципа сравнения непосредственно следует теорема единственности решений краевых и внешних краевых задач для уравнения (5).
Предложение 4. (Теорема единственности). Пусть Lv = g(x,v) и Lu = g(x,u) на М \ В
и ав — и1ав, и ~ и. Тогда w — и на М \ В. Пусть Lv = g(x,v), Lu = g(x,u) на M и v ~ и. Тогда v = и на М. Подробные доказательства этих утверждений можно найти в [11].
ПРИМЕЧАНИЕ
1 Работа выполнена при финансовой поддержке гранта РФФИ (проект № 13-07-97029-р_поволжье_а).
СПИСОК ЛИТЕРАТУРЫ
1. Гилбарг, Д. Эллиптические дифференциальные уравнения с частными производными второго порядка / Д. Гилбарг, М. Трудингер. — М. : Наука, 2007. — 464 с.
2. Кондратьев, В. А. О качественных свойствах решений одного нелинейного уравнения второго порядка / В. А. Кондратьев, Е. М. Ландис // Мат. сб. — 1988. — Т. 135 (177). — № 3. — С. 346-360.
3. Коньков, А. А. Поведение решений квазилинейных эллиптических неравенств / А. А. Коньков // Современная математика. Фундаментальные направления. — 2004. — № 7. — С. 3-158.
4. Корольков, С. А. Решения эллиптических уравнений на римановых многообразиях с концами / С. А. Корольков, А. Г. Лосев // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2011. — № 1 (14). — С. 23-40.
5. Лосев, А. Г. О некоторых лиувиллевых теоремах на некомпактных римановых многообразиях / А. Г. Лосев // Сиб. мат. журн. — 1998. — Т. 39. — № 1. — С. 87-93.
6. Лосев, А. Г. Об асимптотическом поведении решений некоторых уравнений эллиптического типа на некомпактных римановых многообразиях / А. Г. Лосев, Е. А. Мазепа // Изв. вузов. Математика. — 1999. — № 6 (445). — С. 41-49.
7. Лосев, А. Г. Ограниченные решения уравнения Шредингера на римановых произведениях / А. Г. Лосев, Е. А. Мазепа // Алгебра и анализ. — 2001. — Т. 13. — № 1. — С. 84-110.
8. Мазепа, Е. А. Краевые задачи для стационарного уравнения Шредингера на ри-мановых многообразиях / Е. А. Мазепа // Сиб. мат. журн. — 2002. — Т. 43. — № 3. — С. 591-599.
9. Мазепа, Е. А. Краевые задачи и лиувиллевы теоремы для полулинейных эллиптических уравнений на римановых многообразиях / Е. А. Мазепа // Изв. вузов. Математика. —
2005. - Т. 514. - № 3 (514). - C. 59-66.
10. Мазепа, Е. А. О существовании целых решений одного полулинейного эллиптического уравнения на некомпактных римановых многообразиях / Е. А. Мазепа // Мат. заметки. - 2007. - Т. 81. - № 1. - C. 153-156.
11. Мазепа, Е. А. Об асимптотическом поведении решений некоторых полулинейных эллиптических уравнений на некомпактных римановых многообразиях / Е. А. Мазепа // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. - 2011. - № 1 (14). - C. 41-59.
12. Anderson, M. T. The Dirichlet problem at infinity for manifolds with negative curvature / M. T. Anderson // J. Diff. Geom. - 1983. - Vol. 18. - № 4. - P. 701-721.
13. Gidas, B. Global and local behavior of positive solutions of non-linear elliptic equations / B. Gidas, J. Spruck // Comm. pure Appl. Math. - 1981. - Vol. 34. - P. 525-598.
14. Grigor'yan, A. Analitic and geometric background of recurence and non-explosion of the Brownian motion on Riemannian manifolds / A. Grigor'yan // Bull. Amer. Math. Soc. -1999. - Vol. 36. - P. 135-249.
15. Losev, A. G. Unbounded solutions of the stationary Schrodinger equation on Riemannian manifolds / A. G. Losev, E. A. Mazepa, V. Y. Chebanenko // CMFT. - 2003. - Vol. 3. -№ 2. - P. 443-451.
16. Serrin, J. Cauchy - Liouville and universal boundedness theorems for quasilinear elliptic equations and inequalities / J. Serrin, H. Zou // Acta Math. - 2002. - Vol. 189. -№ 1. - P. 79-142.
REFERENCES
1. Gilbarg D., Trudingеr M. EШptichеskiе diffеrеntsialnyе uravmniya s chastnymi proizvodnymi vtorogo poryadka [Elliptic partial differential equations of second order]. Moscow, Nauka Publ., 2007. 464 p.
2. Kondratеv V.A., Landis E.M. O kachеstvеnnykh svoystvakh rеshеniy odnogo nеlinеynogo uravnеniya vtorogo poryadka [On qualitative properties of solutions of a nonlinear second-order equatio]. Mat. sb. [Sbornik: Mathematics]. 1988, vol. 135 (177), no. 3, pp. 346360.
3. Konkov A.A. Povеdеniе rеshеniy kvazilinеynykh elliptichеskikh nеravеnstv [Behavior of solutions of quasilinear elliptic inequalities]. Sovrеmеnnaya matеmatika. Fundamеntalnyе napmvhniya. 2004, no. 7, pp. 3-158.
4. Korolkov S.A., Losеv A.G. Rеshеniya elliptichеskikh uravnеniy na rimanovykh mnogoobraziyakh s kontsami [Solutions for elliptic equations on Riemannian manifolds with ends]. Vеstnik Volgogradskogo gosudarstvеnnogo univеrsitеta. Sеriya 1, Matеmatika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics]. 2011, no. 1 (14), pp. 23-40.
5. Losеv A.G. O nеkotorykh ^vil^y^ tеorеmakh na nеkompaktnykh rimanovykh mnogoobraziyakh [Some Liouville theorems on noncompact Riemannian manifolds]. Sib. mat. zhurn. [Siberian Mathematical Journal]. 1998, vol. 39, no. 1, pp. 87-93.
6. Losеv A.G., Mazеpa E.A. Ob asimptotichеskom povеdеnii rеshеniy nеkotorykh uravnеniy elliptichеskogo tipa na nеkompaktnykh rimanovykh mnogoobraziyakh [On the asymptotic behavior of solutions of certain equations elliptic type on noncompact Riemannian manifolds]. Izv. vuzov. Matеmatika [Soviet Mathematics]. 1999, no. 6 (445), pp. 41-49.
7. Losеv A.G., Mazеpa E.A. Ogranichеnnyе rеshеniya uravnеniya Shrеdingеra na rimanovykh proizvеdеniyakh [Bounded solutions of the Schrodinger equation on Riemannian products]. A^bra i analiz [St. Petersburg Mathematical Journal]. 2001, vol. 13, no. 1, pp. 84-110.
8. Mazеpa E.A. Kraеvyе zadachi dlya statsionarnogo uravnеniya Shrеdingеra na rimanovykh mnogoobraziyakh [Boundary value problems for the stationary equation Schrodinger on Riemannian manifolds]. Sib. mat. zhurn. [Siberian Mathematical Journal]. 2002, vol. 43, no. 3, pp. 591-599.
9. Mazеpa E.A. Kraеvyе zadachi i liuvil^vy tеorеmy dlya polulinеynykh elliptichеskikh uravnеniy na rimanovykh mnogoobraziyakh [Boundary Value Problems and Liouville theorems for semilinear elliptic equations on Riemannian manifolds]. Izv. vuzov. Matеmatika [Soviet Mathematics]. 2005, vol. 514, no. 3 (514), pp. 59-66.
10. Mazеpa E.A. O sushchеstvovanii tsеlykh rеshеniy odnogo polul^ynogo elliptichеskogo uravnеniya na nеkompaktnykh rimanovykh mnogoobraziyakh [On the existence of entire solutions of a semilinear elliptic equation on noncompact Riemannian manifolds]. Mat. zamеtki [Mathematical Notes]. 2007, vol. 81, no. 1, pp. 153-156.
11. Mazеpa E.A. Ob asimptotichеskom povеdеnii rеshеniy nеkotorykh polul^ynykh elliptichеskikh uravnеniy na nеkompaktnykh rimanovykh mnogoobraziyakh [On the asymptotic behavior of solutions of some semilinear elliptic equations on noncompact Riemannian manifolds]. Vеstnik Volgogradskogo gosudars^nnogo un^^^ta. Sеriya 1, Matеmatika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics]. 2011, no. 1 (14), pp. 41-59.
12. Andеrson M.T. The Dirichlet problem at infinity for manifolds with negative curvature. J. Diff. Geom. 1983, vol. 18, no. 4, pp. 701-721.
13. Gidas B., Spruck J. Global and local behavior of positive solutions of non-linear elliptic equations. Comm. pure Appl. Math. 1981, vol. 34, pp. 525-598.
14. Grigor'yan A. Analitic and geometric background of recurence and non-explosion of the Brownian motion on Riemannian manifolds. Bull. Amer. Math. Soc. 1999, vol. 36, pp. 135-249.
15. Losеv A.G., Mazеpa E.A., Chеbanеnko V.Y. Unbounded solutions of the stationary Schrodinger equation on Riemannian manifolds. CMFT. 2003, vol. 3, no. 2, pp. 443-451.
16. Sеrrin J., Zou H. Cauchy — Liouville and universal boundedness theorems for quasilinear elliptic equations and inequalities. Acta Math. 2002, vol. 189, no. 1, pp. 79-142.
ON THE SOLVABILITY OF BOUNDARY VALUE PROBLEMS FOR SEMILINEAR ELLIPTIC EQUATIONS ON NONCOMPACT RIEMANNIAN MANIFOLD
Mazеpa Etena Alеksееvna
Candidate of Physical and Mathematical Sciences, Associate Professor, Department of Mathematical Analysis and Function Theory, Volgograd State University [email protected], [email protected]
Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Abstract. In this paper we study the solvability of certain boundary and external boundary value problems for semilinear elliptic equations (5)
Au = ф{\и\)и,
where ф(£) — nonnegative, nondecreasing continuously differentiable function for £ > 0 on arbitrary non-compact Riemannian manifolds.
In this article we compare the behavior of nonbounded functions "at infinity". In our research we use a new approach wich is based on the consideration of equivalence classes of functions on M (this approach for bounded solutions has been realized in [8]).
Let M be an arbitrary smooth connected noncompact Riemannian manifold without boundary and let {Bk1 be an exhaustion of M, i.e., a sequence of precompact open subsets of M such that Вк с Вк+1 and M = UВк. Throughout the sequel, we assume that boundaries дВк are C^-smooth subma-nifolds.
Let f1 and f2 be arbitrary continuous functions on M. Say that f1 and f2 are equivalent on M and write f1 ~ f2 if for some exhaustion {Bkof M we have
lim sup |/i - /21 = 0.
k—<x M\Bk
It is easy to verify that the relation " ~ " is an equivalence which does not depend on the choice of the exhaustion of the manifold and so partitions the set of all continuous functions on M into equivalence classes. Denote the equivalence class of a function f by [f].
Let B c M be an arbitrary connected compact subset and the boundary of B is a C^-smooth submanifold. Assume that the interior of B is non-empty and B c Bk for all k.
Observe that if the manifold M has compact boundary or there is a natural geometric compactification of M (for example, on manifolds of negative sectional curvature or spherically symmetric manifolds) which adds the boundary at infinity, then this approach leads naturally to the classical statement of the Dirichlet problem.
Denote by vk the solution of equation (5) in Bk \ B which satisfies to conditions
Vk \dB = 1 Vk \dBk =
Using the maximum principle, we can easily verify that the sequence vk is uniformly bounded on M\B and so is compact in the class of twice continuously differentiable functions over every compact subset G c M \ B. Moreover, as k ^ <x> this sequence increases monotonically and converges on M \ B to a solution of equation (5)
v = lim vk, 0 < v < 1, v\dB = 1.
k—y^o
Also, note that the function v is independent of the choice of exhaustion {Bk }fc=l.
We call v the L-potential of the compact set B relative to M. For the Laplace-Beltrami equation, the function v is nothing but the capacity potential of the compact set B relative to the manifold M (see [14]).
Call the manifold M L-strict if for some compact set B c M there is an L-potential v of B such that v E [0] (see [8]).
A function f is called asymptotically nonnegative whenever there exists a continuous function w > 0 on M with w ~ f.
Say that a boundary value problem for (5) is solvable on M with boundary conditions of class [/] whenever there exists a solution u(x) to (5) on M with
U E [f].
Say that for a continuous function on dB the exterior boundary value problem for (5) is solvable on M \ B with boundary conditions of class [/] whenever on M \ B there exists a solution u(x) to (5) with u E [f ] and u\qB =
= $\dB.
Similarly we can state boundary value problems on arbitrary noncompact Riemannian manifolds for (1), (2), as well as a series of other second order elliptic differential equations (see [8; 15]).
Let the function is bounded for £ > 0, i.e. there is a constant A > 0 such that 0 < 0(£) < A with £ > 0. We put in the equation (2) c(x) = A. Also let f is an asymptotically nonnegative function on M.
We now formulate the main result. Theorem 1. Let M be an A-strict manifold. Suppose that for every positive constant the exterior boundary value problems for the equations (1) and (2) are solvable on M \ B with boundary conditions of class [f ]. Then:
1. for every continuous function $(x) > 0 on dB the exterior boundary value problem for (5) is solvable on M \ B with boundary conditions of class [/];
2. the boundary value problem for (5) is solvable on M with boundary conditions of class [f ].
Key words: semilinear elliptic equation, boundary value problem, nonnegative solution, noncompact Riemannian manifolds, the Dirichlet problem.
