CC BY
13
МАТЕМАТИКА
www.volsu.ru
001: https://doi.Org/10.15688/jvolsu1.2016.5.2
УДК 517.956.224 ББК 2.22.161.6
ТЕОРЕМЫ ТИПА ЛИУВИЛЛЯ ДЛЯ РЕШЕНИЙ СТАЦИОНАРНОГО УРАВНЕНИЯ ШРЕДИНГЕРА С КОНЕЧНЫМ ИНТЕГРАЛОМ ДИРИХЛЕ1
Александр Георгиевич Лосев
Доктор физико-математических наук,
профессор кафедры математического анализа и теории функций, Волгоградский государственный университет allosev59@gmail.com, alexander.losev@volsu.ru
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Владимир Владимирович Филатов
Студент кафедры математического анализа и теории функций, Волгоградский государственный университет vladimHlatov@yandex.ru, matf@volsu.ru
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Аннотация. В данной работе изучаются вопросы сохранения лиувиллева свойства для решений стационарного уравнения Шредингера с конечным интегралом Дирихле на произвольных некомпактных римановых многообразиях. Доказан аналог теоремы Альфорса о существовании нетривиальной ограниченной гармонической функции с конечным интегралом Дирихле.
Ключевые слова: интеграл Дирихле, стационарное уравнение Шредингера, теоремы типа Лиувилля, теорема Альфорса, римановы многообразия.
Введение
Данная работа посвящена изучению взаимосвязи между существованием нетривиальных ограниченных и неограниченных решений стационарного уравнения Шредингера
Ьи = Аи — с(х)и = 0 (1)
с конечным интегралом энергии (интегралом Дирихле)
Б(М,и) = ^ (|Ум|2 + с(х)и2) ¿х (2)
м
ю
о
сч
03
03
т о н га
4 к
е
т
&
о
о ©
на произвольном некомпактном римановом многообразии М. Здесь с(х) — гладкая неотрицательная на М функция.
Данная тематика имеет прямое отношение к теоремам типа Лиувилля. Считающаяся в настоящее время классической формулировка теоремы Лиувилля утверждает, что всякая ограниченная гармоническая функция в Яп есть тождественная постоянная. Нетрудно убедиться в справедливости следующих утверждений, называемых теоремами типа Лиувилля:
1) если и — неотрицательная гармоническая функция в Яп, то и является тождественной постоянной (иначе — выполнено НР(Яп)-лиувиллево свойство);
2) если гармоническая функция и в Яп имеет конечный интеграл Дирихле § ^и^ё-х,
кп
то и является тождественной постоянной (иначе — выполнено НО(Яп)-лиувиллево свойство);
3) если и € Ьр(Яп) — гармоническая функция, где 1 < р < ж, то и является тождественным нулем (иначе — выполнено НЬр(Яп)-лиувиллево свойство).
В последние несколько десятилетий был опубликован ряд работ, посвященных получению аналогичных результатов на произвольных некомпактных римановых многообразиях. А именно, приводятся условия выполнения теорем типа Лиувилля на некомпактных римановых многообразиях в терминах роста объема, выполнения изоперимет-рических неравенств, условий на кривизну и так далее.
Одним из истоков указанной проблематики считается классификационная теория двумерных некомпактных римановых поверхностей. Отличительным свойством двумерных поверхностей параболического типа является выполнение для них теоремы Лиувил-ля, утверждающей, что всякая положительная супергармоническая функция на данной поверхности является тождественной постоянной. Данное свойство послужило основой для распространения понятий параболичности и гиперболичности на произвольные ри-мановы многообразия.
А именно, многообразия, на которых всякая ограниченная снизу супергармоническая функция равна константе, называют многообразиями параболического типа (см. [10]).
К числу одного из первых результатов в определении типа риманова многообразия, использующих геометрические характеристики, относится теорема С.Я. Ченга и С.Т. Яу [8], утверждающая, что полное многообразие является параболическим, если объем геодезического шара радиуса Я растет не быстрее, чем Я2 при Я ^ ж. Однако существуют многообразия параболического типа с произвольным ростом объема геодезического шара.
В работе [3] А.А. Григорьян доказал, что параболичность типа полного риманова многообразия М эквивалентна тому, что вариационная емкость любого компакта в М равна нулю.
Вообще, поиски признаков параболичности типа имеют большую историю. Общее представление о современных исследованиях в данном вопросе можно получить, например, из работы А.А. Григорьяна [10].
В ряде работ рассматривались аналогичные задачи для линейных эллиптических уравнений более общих, чем уравнение Лапласа — Бельтрами. В частности, достаточно серьезный интерес вызывает изучение асимптотического поведения решений стационарного уравнения Шредингера (1). Отметим, что в этом случае ненулевая постоянная не
является решением, поэтому и лиувиллево свойство для него формулируется несколько иначе.
А именно, говорят, что на римановом многообразии М выполнено LB(M) — лиувиллево свойство, если любое ограниченное решение уравнения (1) есть тождественный нуль.
Приведем некоторые примеры. В работе А.А. Григорьяна [4] было показано, что выполнение LB(M) — лиувиллева свойства для стационарного уравнения Шредингера с потенциалом с(х), имеющим компактный носитель, эквивалентно параболичности типа риманова многообразия М.
Оценкам размерностей различных пространств решений стационарного уравнения Шредингера посвящены работы [5; 6].
Отдельный интерес вызывает вопрос о взаимосвязи выполнения теорем типа Ли-увилля на некомпактных римановых многообразиях. Очевидно, что из выполнения HD(M)-лиувиллева свойства следует выполнение HBD(M)-лиувиллева свойства. Действительно, если любая гармоническая функция с конечным интегралом энергии есть тождественная постоянная, то любая ограниченная гармоническая функция с конечным интегралом энергии тоже будет являться константой. Вопрос: выполнено ли обратное включение, то есть следует ли из выполнения HBD(M)-лиувиллева свойства выполнение HD(M)-лиувиллева свойства?
Положительный ответ на данный вопрос дает известная теорема Л.В. Альфор-са (см., например, [9]), которая утверждает, что если на многообразии М существует нетривиальная гармоническая функция с конечным интегралом Дирихле, то на М существует нетривиальная ограниченная гармоническая функция с конечным интегралом Дирихле. Целью данной работы было получить аналог теоремы Альфорса для решений уравнения (1), и, соответственно, показать эквивалентность LBD(M) и LD(M)-лиувиллева свойства.
1. Вспомогательные утверждения
Доказательство основных результатов опирается на классические утверждения теории уравнений с частными производными: принцип максимума, теоремы сравнения и другие аналогичные утверждения (см., например, [1, с. 39-41, 94-95]). Их справедливость на предкомпактных подмножествах некомпактных римановых многообразий доказывается также, как для ограниченных областей в евклидовом пространстве.
Напомним некоторые свойства решений уравнения
Lu = Au — с(х)и = 0. (1)
Всюду далее будем считать, что М — произвольное некомпактное риманово многообразие. Лемма 1 (Принцип максимума). Пусть В — предкомпактное подмножество М с гладкой границей, тогда если
Lu = 0,
то
sup |w| = sup |w|.
В dB
Лемма 2. Пусть В с М — произвольное предкомпактное открытое подмножество, (Фг}^=1 — равномерно ограниченное на В семейство решений уравнения (1),
фi € С2'а(В). Тогда семейство функций {Фг}|=1 компактно вместе с семейством их первых и вторых производных на любом компактном подмножестве В' с В.
Далее, пусть В — предкомпактное, открытое подмножество М с гладкой границей, и — дважды непрерывно дифференцируемая на В функция. Интеграл
Б(В, и) = § (|Уи|2 + с(х)и2) ¿х в
будем называть интегралом Дирихле функции и по множеству В.
Дальнейшие утверждения по своим формулировкам и методам доказательства близки к [7].
Лемма 3. Пусть В — предкомпактное подмножество М с гладкой границей. Семейство функций Р = {у(х) € С2(В) : В(В,у) < ж} является линейным пространством со скалярноым произведением
(а,Ь) = § ((уа, УЬ) + с(х)аЬ) ёх,Уа,Ь € Р. в
Cоответствующая этому скалярному произведению норма
||а|| = (а, а)1 = ^ |Уа|2 + с(х)а2ё^
является интегралом Дирихле.
Лемма 4 (Принцип Дирихле). Пусть В с М — предкомпактное открытое подмножество М с гладкой границей. Для функций и,ь € С2(В) таких, что
{
Аи — с(х)и = 0,х € В, ■¡Аэв = ^эв,
выполнено
В(В,и) < В(В,у).
2. Взаимосвязь теорем типа Лиувилля Теорема 1. Если на M существует нетривиальное решение уравнения
Ьи = Аи — с(х)и = 0 (1)
с конечным интегралом Дирихле
^Уи^ + с(х)и2ёх < ж, (2)
то на M существует нетривиальное ограниченное решение уравнения (1) с конечным интегралом Дирихле (2).
Доказательство. При доказательстве данного утверждения авторы воспользовались идеями, примененными в [2] при доказательстве теоремы, устанавливающей взаимосвязь между выполнением HD(М)-лиувиллева свойства и существованием нетривиального решения некоторой внешней краевой задачи.
Предположим, что на М всякое ограниченное решение уравнения (1) с конечным интегралом Дирихле есть тождественный нуль, однако существует функция v, являющаяся нетривиальным неограниченным решением уравнения (1) с конечным интегралом Дирихле.
Пусть [Bk}0= — гладкое исчерпание, то есть последовательность предкомпактных
оо
открытых подмножеств М с гладкими границами, так, что Bk С Bk+1, у Bk = М. Так
k=i
как v(x) = 0, то обозначим
J |Vw|2 + c(x)v2dx = а > 0.
Bi
Из сходимости интеграла J |Vw|2 + c(x)v2dx следует, что существует N такое, что
м
J |Vw|2 + c(x)v2dx < а/4.
{ik:kik)|>n }
Определим функцию-срезку vN функции v следующим образом
{v(x),x : |^(ж)| < N
N,x : v(x) > N . -N,x : v(x) < — N
Обозначим через uk решение следующей краевой задачи
Auk — c(x)uk = 0, х Е Bk Uk \дв, = vN ^дв, .
Пусть G С M — некоторое предкомпактное открытое подмножество М. Используя принцип максимума, получаем
sup |wk | < sup |wk | = sup |wk | = sup |г>N | < N
G Bk dB, dB,
при достаточно больших к. Следовательно, [uk}0=1 — равномерно ограниченное на G семейство решений уравнения (1). В силу леммы 2 оно компактно в классе C2(G). То есть на G существует подпоследовательность [uki} такая, что lim uki = и. Покажем,
ki^O
что на М существует сходящаяся подпоследовательность.
Далее будем в качестве множества G брать последовательно множества Bk для к = 1, 2,.... Так как на B1 [uk }O=1 компактно, то существует сходящаяся подпоследовательность [uk} такая, что lim uk = и1. В свою очередь, семейство [ulk} компактно на
k^O
В2 в классе С2(В2), и, следовательно, существует сходящаяся подпоследовательность
} последовательности {и1к} такая, что lim ик = и2. Продолжая аналогичные рассуждения, получаем последовательность функций {ик}, определенных на Вк. Определим функцию и следующим образом
и
и1 ,х Е В1 и2,х Е В2\В1
ик,х Е Вк\Bk-i
Выберем подпоследовательность последовательности [ик}£=1, сходящуюся к функции и. Пусть т1 = и11,т2 = и\,... ,тп = и™,..., заметим, что тк сходится к функции и, по крайней мере поточечно. По лемме 2 из нее можно извлечь последовательность, сходящуюся по норме С2(С). Применяя переобозначения, будем считать, что [ик} и есть эта подпоследовательность.
Для функции и выполнено Ьи = 0 на произвольном предкомпактном подмножестве M, |и| < N. Покажем, что и имеет конечный интеграл Дирихле. Используя принцип Дирихле, получаем
J |У«к|2 + c(x)u2dx < J VvN|2 + c(x)(vN)2dx < J |V^|2 + c(x)v2dx.
Bk Bk M
Переходя к пределу при к ^ <х>, получаем
J |Vw|2 + с(х)и2dx < J |Vw|2 + c(x)v2dx.
M M
Так как интеграл энергии от V сходится, то сходится и интеграл энергии от и.
Следовательно, и — ограниченное решение уравнения (1) с конечным интегралом энергии. В силу нашего предположения, и есть тождественный нуль. Следовательно, [ик} сходится к нулю в норме С2(С) (в частности, при С = В2). Из этого следует, что
lim |Vw2 |2 + с{х)и2к dx = 0.
к^<х J B
Иначе говоря, существует к\ такая, что при к > к\ выполнено
J |Уик|2 + с(х)и2dx < а/6.
в2
Рассмотрим последовательность гк = V — ик. Для гк выполнено
{
AZ2 — C(X)Z2 = 0,Х Е Вк
Z2 \д Bu = V — VNl
Покажем, что
^ < / |Vz2|2 + c(x)z2dx.
B2
Из В\ С В2 получаем
а = J + с{х)у2йх < J |У((и - ик) + ик)|2 + с(х)((у - ик) + ик)2йх. в1 в2
Используя неравенство треугольника |а + Ь| < |а| + |Ь|, получаем
J |У((г>-ик)+ик)|2+с(х)((ь-ик)+ик)2(1х < J(\Vz-k 1 + 1^ик|)2+с(х)(г1+2гкик+и1 )йх В2 В2
= /(|^к |2 + с(х)г2к)<1х + §(\Чик |2 + с(х)и2к )с1х + 2 ^|У;гк | + с(х)гк ик )<1х. В2 В2 В2
Используя неравенство Коши 2аЬ < а2 + Ь2, получаем
2 ^ |Угк||Умк| + с(х)гкикйх < J |У^к|2 + с(х)г^х + ^ |У«к|2 + с(х)и2кйх. В2 В2 В2
Таким образом, справедливо неравенство
а = J |Vw|2 + c(x)v2dx < 2 | J |Vzfc|2 + c(x)z2kdx + J |Vwfc|2 + c(x)u2kdx I .
Bl \B2 B2
Следовательно, при к > k\ получаем
а = J |Vw|2 + c(x)v2dx < 2 J |Vzfc|2 + c(x)zldx + 2a/6,
Bl B2
или,
3
a < J |Vzfc|2 + c(x)z^dx.
B2
Покажем, что
J |Vzfc|2 + c(x)zldx < ^
B24
Используя принцип Дирихле, получаем
J |Vzfc|2 + c{x)z2k < J |V(w - vN)|2 + c(x)(v - vN)2dx.
Bk Bk
Далее получаем
J |V(ü - vN)|2 + c(x)(v - vN)2dx < J |V(ü - vN)|2 + c(x)(v - vN)2dx = Bk m
= J |V(ü - vN)|2 + c(x)(v - vN)2dx + j |V(ü - vN)|2 + c(x)(v - vN)2dx.
{x:| v(x)l> N } {x>(x)|<N}
Второй интеграл равен 0, так как на этом множестве V = Vм. Для первого интеграла не сложно показать, что
| |У(и - Vм)|2 + с(х)(ь - Vм)2йх < | |У^|2 + с(х)ь2йх <
{х: | V (х)|>М } {х: |к(х)|>М}
В результате имеем
J |Vzfc|2 + c(x)z^dx < J |Vzfc|2 + c(x)zldx < ^. В2 Вк
Таким образом, получили противоречие
а/3 < J |Vzfc|2 + c(x)z2dx < а/4,
В
что и доказывает теорему.
ПРИМЕЧАНИЕ
1 Работа выполнена при финансовой поддержке РФФИ (проект № 15-41-02479 р_по-волжье_а).
СПИСОК ЛИТЕРАТУРЫ
1. Гилбарг, Д. Эллиптические дифференциальные уравнения с частными производными второго порядка / Д. Гилбарг, M. Трудингер. — М. : Наука, 1989. — 464 с.
2. Григорьян, А. А. Лиувиллевы теоремы и внешние краевые задачи / А. А. Григорьян, Н. С. Надирашвили // Изв. вузов. Математика. — 1987. — № 5. — C. 25-33.
3. Григорьян, А. А. О существовании положительных фундаментальных решений уравнения Лапласа на римановых многообразиях / А. А. Григорьян // Мат. сб. — 1985. — Т. 128, № 3. — C. 354-363.
4. Григорьян, А. А. Ограниченные решения уравнения Шредингера на некомпактных римановых многообразиях / А. А. Григорьян // Труды семинара И.Г. Петровского. — 1989. — № 14. — C. 66-77.
5. Курмакаев, Р. Ф. Асимптотические свойства неограниченных решений эллиптических уравнений на модельных римановых многообразиях / Р. Ф. Курмакаев, А. Г. Лосев // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2012. — № 2. — C. 30-40.
6. Лосев, А. Г. Об асимптотическом поведении решений некоторых уравнений эллиптического типа на некомпактных римановых многообразиях / А. Г. Лосев, Е. А. Мазепа // Изв. вузов. Математика. — 1999. — № 6. — C. 41-49.
7. Тиман, А. Ф. Введение в теорию гармонических функций / А. Ф. Тиман, В. Н. Трофимов. — М. : Наука, 1968. — 207 с.
8. Cheng, S. Y. Differential equations on Riemannian manifolds and their geometric applications / S. Y. Cheng, S. T. Yau // Comm. Pure and Appl. Math. — 1975. — Vol. 28, № 3. — P. 333-354.
9. Classification theory of Riemannian manifolds / S. R. Sario, M. Nakai, C. Wang, L. O. Chung. — Berlin ; Heidelberg : Springer-Verlag, 1977. — 498 p.
10. Grigor'yan, A. Analytic and geometric background of recurrence and non-explosion of the Brownian motion on Riemannian manifolds / A. Grigor'yan // Bulletin of Amer. Math. Soc. - 1999. - № 36. - P. 135-249.
11. Korolkov, S.A. Generalized Harmonic Functions of Riemannian Manifolds with Ends / S. A. Korolkov, A. G. Losev // Mathematische Zeitschrift. - 2012. - Vol. 272, iss. 1. -P. 459-472.
REFERENCES
1. Gilbarg D., Trudinger M. Elliptichеskiе diffеrеntsialnyе uravmniya s chastnymi proizvodnymi vtorogo poryadka [Elliptic Partial Differential Equations of Second Order]. Moscow, Nauka Publ., 1989. 464 p.
2. Grigor'yan A.A., Nadirashvili N.S. Liuvillevy teoremy i vneshnie kraevye zadachi [Liouville-Type Theorems and External Bound Problems]. Izv. vuzov. Matеmatika [Russian Mathematics], 1987, no. 5, pp. 25-33.
3. Grigor'yan A.A. O sushchestvovanii polozhitelnykh fundamentalnykh resheniy uravneniya Laplasa na rimanovykh mnogoobraziyakh [About Existing of Positive Fundomental Solutions of Laplass's Equation on Riemannian Manifolds]. Mat. sb. [Sbornik: Mathematics], 1985, vol. 128, no. 3, pp. 354-363.
4. Grigor'yan A.A. Ogranichennye resheniya uravneniya Shredingera na nekompaktnykh rimanovykh mnogoobraziyakh [Bounded Solutions of Stationary Shrodinger Equations on Non-Compact Riemannian Manifolds]. Trudy sеminara I.G. Pеtrovskogo, 1989, no. 14, pp. 66-77.
5. Kurmakaev R.F., Losev A.G. Asimptoticheskie svoystva neogranichennykh resheniy ellipticheskikh uravneniy na modelnykh rimanovykh mnogoobraziyakh [Asimptotic Property of Non Bounded Solutions of Ellepitic Equation Model Riemannian Manifolds]. Vеstnik Volgogradskogo gosudars^nnogo un^^^ta. Sеriya 1, Matеmatika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2012, no. 2, pp. 30-40.
6. Losev A.G., Mazepa E.A. Ob asimptoticheskom povedenii resheniy nekotorykh uravneniy ellipticheskogo tipa na nekompaktnykh rimanovykh mnogoobraziyakh [About Asimptotic Property of Solutions of Ellepitic Equation on Non-Compact Riemannian Manifolds]. Izv. vuzov. Matеmatika [Russian Mathematics], 1999, no. 6, pp. 41-49.
7. Timan A.F., Trofimov V.N. Vvеdеniе v tеoriyu garmonichеskikh funktsiy [Introducing in Theory of Harmonic Functions]. Moscow, Nauka Publ., 1968. 207 p.
8. Cheng S.Y., Yau S.T. Differential Equations on Riemannian Manifolds and Their Geometric Applications. Comm. Pure and Appl. Math., 1975, vol. 28, no. 3, pp. 333-354.
9. Sario S.R., Nakai M., Wang C., Chung L.O. Classification theory of Riemannian manifolds. Berlin; Heidelberg, Springer-Verlag, 1977. 498 p.
10. Grigor'yan A. Analytic and Geometric Background of Recurrence and Non-Explosion of the Brownian Motion on Riemannian Manifolds. Bulletin of Amer. Math. Soc., 1999, no. 36, pp. 135-249.
11. Korolkov S.A., Losev A.G. Generalized Harmonic Functions of Riemannian Manifolds with Ends. Mathematische Zeitschrift, 2012, vol. 272, iss. 1, pp. 459-472.
THE LIOUVILLE-TYPE THEOREMS FOR SOLUTION OF STATIONARY SCHRÖDINGER EQUATION WITH FINITE DIRICHLET INTEGRAL
Alexander Georgievich Losev
Doctor of Physical and Mathematical Sciences, Professor, Department of Mathematical Analysis and Function Theory, Volgograd State University allosev59@gmail.com, alexander.losev@volsu.ru Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Vladimir Vladimirovich Filatov
Student, Department of Mathematical Analysis and Function Theory, Volgograd State University vladimniatov@yandex.ru, matf@volsu.ru
Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Abstract. In this article we learn some property of solutions of stationary Shrodinger equation
Lu = Au — c(x)u = 0, (1)
where c(x) > 0 smooth function, with finite Dirichlet integral
J|«|2 + c(x)u2dx (2)
M
on non-compact Riemannian manifolds. We prove an analog of Ahlfors's theorem on existence of non-trivial boundary harmonic function with finite energy integral.
Main result of this article is the next theorem. Let M be non-compact Riemannian manifold.
Theorem 1. If non-trivial solution of equation (1) with finite integral (2) exists on M (this solution may be not bounded), then there exists bounded solution of equation (1) with finite energy integral (2). To prove this theorem we use the following lemmas. Lemma 1. (Maximum principle) Let B be precompact open set in M with smooth boundary. If
Lu = 0, x E B,
then
sup |«| = sup |«|.
B dB
Lemma 2. Let B c M precompact open subset on M, }°=1 is uniformly bounded on B family of solutions (1), ^ E C2'a(B). Then the family {^}°=1 is compact in class C2(B'), where B' c B.
Let F be set of functions from class C2(B) with finite Dirichlet integral
J |Vy|2 + c(x)y2dx.
в
Lemma 3. F is linear space, also on F can be defined dot product as
(a, b) = J ((Va, Vb) + c(x)ab) dx, У a, b e F.
в
and norm for this dot product as
||a|| = (a, a)1 = ^J |Va|2 + c(x)a2d^j
Lemma 4. (Dirichlet principle). Let B c M — precompact open subset on M with smooth boundary. If for functions u,v G C2(B)
{
Au — c(x)u = 0,x G В, и\эв = v\aB,
then
J |Vw|2 + c(x)u2dx < J \Vw\2 + c(x)v2dx.
в в
Key words: Dirichlet integral, stationary Schrodinger equation, Liouville-type theorems, Ahlfors's theorem, Riemannian manifolds.
