CC BY
9
www.volsu.ru
DOI: https://doi.org/10.15688/mpcm.jvolsu.2017.3.3
УДК 517.95 ББК 22.161.6
О РАЗМЕРНОСТИ ПРОСТРАНСТВ РЕШЕНИЙ СТАЦИОНАРНОГО УРАВНЕНИЯ ШРЕДИНГЕРА НА НЕКОМПАКТНЫХ РИМАНОВЫХ МНОГООБРАЗИЯХ1
Александр Асатурович Григорьян
Доктор физико-математических наук, профессор факультета математики,
Университет Билефельда, Германия
Старший научный сотрудник,
ИПУ РАН, Российская Федерация
Fakultat fur Mathematik, Universitat Bielefeld, Postfach 100131, Bielefeld, Germany
Александр Георгиевич Лосев
Доктор физико-математических наук, профессор кафедры
математического анализа и теории функций,
Волгоградский государственный университет
[email protected], [email protected], [email protected]
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
о
CS
Аннотация. Работа выполнена в рамках тематики, посвященной доказательству теорем типа Лиувилля о тривиальности пространств решений эллиптических уравнений на некомпактных римановых многообразиях. Считающаяся в настоящее время классической формулировка теоремы Лиувилля утверждает, что всякая ограниченная гармоническая функция в Яп есть тождественная постоянная. В последнее время наметилась тенденция к более общему подходу к теоремам типа Лиувилля, а именно, оцениваются размерности различных пространств решений линейных уравнений эллиптического типа. В частности, в работе А.А. Григорьяна (1990) была доказана точная т оценка размерностей пространств ограниченных гармонических функций на
0 некомпактных римановых многообразиях в терминах массивных множеств.
Данная статья посвящена получению аналогичной точной оценки размерности пространства ограниченных решений стационарного уравнения Шре-
1 дингера на произвольных некомпактных римановых многообразиях.
К ►Д
^ Ключевые слова: стационарное уравнение Шредингера, теоремы типа
Лиувилля, некомпактные римановы многообразия, массивные множества, раз"" мерность пространства решений.
©
Данная работа посвящена изучению ограниченных решений стационарного уравнения Шредингера
Ьи = Аи — д(х)и = 0 (1)
на произвольном некомпактном римановом многообразии М. Здесь д(х) — непрерывная неотрицательная на М функция. Далее решения уравнения (1) будем называть д-гармоническими функциями.
В исследованиях последних десятилетий неоднократно отмечалась глубокая связь между классическими проблемами теории функций, теорией уравнений в частных производных и геометрией римановых многообразий. В частности, исторически сложившимися в данной области математики являются следующие постановки задач:
1) найти условия, гарантирующие, что всякое решение из заданного класса — тривиально (теоремы типа Лиувилля);
2) найти условия, обеспечивающие однозначную разрешимость краевых задач.
Одним из истоков указанной проблематики считается классификационная теория
двумерных некомпактных римановых поверхностей. Отличительным свойством двумерных поверхностей параболического типа является выполнение для них теоремы Лиувил-ля, утверждающей, что всякая положительная супергармоническая функция на данной поверхности является тождественной постоянной. Данное свойство послужило основой для распространения понятий параболичности и гиперболичности на произвольные ри-мановы многообразия.
А именно, многообразия, на которых всякая ограниченная снизу супергармоническая функция равна константе, называют многообразиями параболического типа.
К числу одного из первых геометрических результатов в определении типа рима-нова многообразия относится теорема С.Я. Ченга и С.Т. Яу [6], утверждающая, что полное многообразие является параболическим, если объем геодезического шара радиуса К растет не быстрее, чем В2 при К ^ то. В работе [3] А.А. Григорьян доказал, что параболичность типа полного риманова многообразия М эквивалентна тому, что вариационная емкость любого компакта в М равна нулю. Вообще, поиски признаков параболичности типа имеют большую историю. Общее представление о современных исследованиях в данном вопросе, а также о теоремах типа Лиувилля, можно получить, например, из работы А.А. Григорьяна [7].
Вопросы существования нетривиальных гармонических и супергармонических функций естественным образом приводят к теоремам типа Лиувилля. Считающаяся в настоящее время классической формулировка теоремы Лиувилля утверждает, что всякая ограниченная гармоническая функция в Яп есть тождественная постоянная.
Традиционно осуществляется следующий подход к теоремам типа Лиувилля. Пусть на римановом многообразии М задан класс функций А и эллиптический опеpатоp Ь. Будем говоpить, что на М выполнено (А, Ь)-лиувиллево свойство, если любое pешение уpавнения Ьи = 0, пpинадлежащее функциональному классу А, является тождественной постоянной.
Заметим, что в случае, когда д(х) нетривиальна, ненулевая постоянная не является решением уравнения (1), и лиувиллево свойство формулируется для него несколько иначе.
А именно, говорят, что на М выполнено лиувиллево свойство для ограниченных решений уравнения (1), если любое такое решение есть тождественный нуль.
Заметим, что в последнее время наметилась тенденция к более общему подходу к теоремам типа Лиувилля, а именно, оцениваются размерности различных про-
странств решений линейных уравнений эллиптического типа (см., например, [2; 4; 5; 710]). В частности, в работе [2] была доказана точная оценка размерностей пространств ограниченных гармонических функций на некомпактных римановых многообразиях в терминах массивных множеств.
Целью данной работы является доказательство аналогичного результата для ограниченных решений стационарного уравнения Шредингера.
Перейдем к точным формулировкам. Пусть М — гладкое связное некомпактное риманово многообразие. Непрерывную функцию и, определенную на открытом множестве П С М, будем называть ^-субгармонической, если для любой области С < П и д-гармонической функции
выполнено и < V ш С.
Следуя [7], открытое собственное подмножество П С М будем называть д-мас-сивным, если на М существует нетривиальная ^-субгармоническая функция такая, что и = 0 на М \ П и 0 < и < 1 (в случае д = 0 множество П называется массивным). Такую функцию и будем называть внутренним потенциалом множества П.
Свойства д-массивных множеств вполне аналогичны свойствам массивных множеств, подробно изложены в [2] и [1]. Сформулируем некоторые из них. Лемма 1. Пусть П1 С П2 — открытые собственные подмножества М. Тогда:
1) если П1 — д-массивно, то и П2 — д-массивно;
2) если П2 — д-массивно и П2 \ П1 — компакт, то и П1 - д-массивно.
Доказательства почти дословно повторяют доказательства аналогичных утверждений для массивных множеств, приведенные в [2].
Основным результатом данной работы является следующее утверждение. Теорема 1. Пусть д(х) — нетривиальная, неотрицательная на М функция, а т > > 1 — натуральное число. Следующие утверждения эквивалентны:
1) размерность пространства ограниченных д-гармонических функций на М не менее т;
2) в М найдется т попарно не пересекающихся д-массивных подмножеств.
Замечание. В случае д(х) = 0 данное утверждение верно только для т > 2 (см. [2]).
Доказательство. Обоснование того, что если на М существует т попарно не пересекающихся д-массивных множеств П1,..., Пт, то размерность пространства ограниченных д-гармонических функций на М не менее т — почти дословно повторяет доказательство аналогичного утверждения для гармонических функций (см. [2]). Однако, для лучшего понимания утверждения, приведем его.
Обозначим через и1,..., ит — внутренние потенциалы множеств П1,..., Пт. Пусть {Вк} — гладкое исчерпание многообразия М предкомпактными областями с гладкими границами (трансверсальными к дМ, если край многообразия не пуст). Решим в Вк краевые задачи
V Е С(G), u\dG = v\dG,
Напомним, что иг = 0 вне П. В силу ^-субгармоничности иг имеем г^ > иг в Вк. Аналогично, > иг в Вк+1, в частности, > иг на дВк. Таким образом получаем,
что > Ui = на дВк. Применяя принцип сравнения, получаем > v^
в Вк. Из условия Ui < 1 следует, что v^ < 1. Таким образом, последовательность g-гармонических функций {v^} не убывает и ограничена. Следовательно, существует предел
v(i) = lim 40,
являющийся g-гармонической функцией в М. При этом выполнены неравенства
1 > v(i) > Ui > 0.
Можно с самого начала считать, что sup Ui = 1. Тогда справедливо равенство sup vl = 1.
Покажем, что g-гармонические функции {w(t)} являются линейно независимыми. Заметим, что из условия Qj П Qj = 0 (при i = j) следует, что щ + Uj < 1. Таким образом, заключаем, что
+ viJ) < 1,
и, соответственно,
0 < v(i) + vU) < 1. (2)
Выведем из условий (2) и sup= 1 линейную независимость {^(г)}. Действительно, так как sup vl = 1, то для любого е > 0 можно найти такую точку Xi G М, что
1 > V{i)(Xi) > 1 - t.
В силу неравенства (2) получаем, что v(^"l(xi) < е. Учитывая неотрицательность заключаем, что матрица
при достаточно малом е является невырожденной. Последнее объясняется тем, что на диагонали стоят числа, близкие к единице, а вне диагонали — близкие к нулю. Тем самым {v^} — линейно независимые g-гармонические функции, что означает, что размерность пространства ограниченных g-гармонических на М функций не меньше т.
Вторая часть доказательства теоремы достаточно серьезно отличается от доказательства аналогичного факта для гармонических функций, предложенного в [2]. В последнем случае по существу использовался тот факт, что ненулевая константа является элементом пространства ограниченных гармонических функций, что не выполняется в нашем случае.
Пусть на М существует т линейно независимых ограниченных д-гармонических функций. Докажем, что на М найдутся т попарно непересекающихся д-массивных множеств.
Сразу отметим, что на М существует g-массивное множество. Не умаляя общности, мы можем считать, что на М существует нетривиальная g-гармоническая функция и такая, что sup и = а > 0. В качестве массивного множества можно взять, например, множество {х : и > |}. Внутренним потенциалом данного множества будет g-субгармоническая функция и — |.
Построим функцию Лиувилля многообразия М. Пусть {hk} — решения краевых
задач
Ahk — q(x)hk = 0,х Е Вк
hk \ dBfz = 1 .
^ \дМПВк = 0
Последовательность [hk} — монотонно убывает и, следовательно, имеет предел
h = lim hk,
причем
Ah - q(x)h = 0.
Из существования на М g-массивных множеств и принципа максимума следует, что h > 0 на М.
Обозначим
Ah f = 1 div(h2Vf).
Тогда справедливы равенства
Ahf = 1 (h2 Af + 2hVhV/) = А/ + h V/Vh. Предположим далее, что д — g-гармоническая функция в некоторой области Q. Пусть
' = h
Тогда
0 = Ад - q(x)g = А(|h) - q(x)hh = A(/h) - g(x)/h =
= Afh + 2VfVh + f (Ah - q(x)h) = hAhf.
Таким образом, заключаем, что если д — g-гармоническая функция, то f — решение уравнения
Ahf = 0. (3)
Решения уравнения (3) далее будем называть h-весовыми гармоническими функциями.
Обозначим через д1,...,дт т линейно независимых на М, ограниченных д-гар-монических функций (существование которых следует из предположения второй части теоремы). Не умаляя общности, можем считать, что одна из них, например дт, совпадает с h. Кроме того, можем считать для всех г выполнено \дг\ < 1. Из ^-субгармоничности функций \gi\ и принципа максимума заключаем, что на М выполнено \дг\ < h. Обозначим
9г
Щ = -т, h
соответствующие h-весовые гармонические функции. Несложно показать, что {иг} являются линейно независимыми и ограниченными.
Дальнейшая часть доказательства почти дословно повторяет рассуждения из [2]. Пусть М — компактификация Чеха многообразия М, то есть М — компактное топологическое пространство, М — открытое всюду плотное множество в М, и всякая непрерывная ограниченная функция в М непрерывно продолжается на М. Обозначим ц = М \ М, и пусть иг, непрерывно продолженные на М, равны на ц функциям f\. Из принципа максимума для весовых гармонических функций следует линейная независимость функций fi,..., fm. В качестве искомых массивных g-множеств мы могли бы попробовать взять множества {х : иг > sup иг - е}, если бы они попарно не пересекались. Последнее эквивалентно тому, что множества точек на ц, в которых fi = sup fi попарно не пересекаются. Однако это не всегда так. Чтобы обойти эту трудность, как и в [2], воспользуемся доказанной там леммой.
Лемма 2 (см. [2]). Пусть ц — компактное топологическое пространство, f1,..., fm — линейно независимые непрерывные функции на ц. Тогда найдутся функции F1,...,Fm являющиеся линейными комбинациями f1,... ,fm, такие, что множества
ц = {х : Fi = max Fi}
попарно не пересекаются.
Так как функции Fi являются линейными комбинациями функций f1,...,fm, то существуют функции v1)..., vm, являющиеся линейными комбинациями и1,..., ит, причем Vi\ц = Fi. Очевидно Vi являются h-весовыми гармоническими функциями.
Обозначим Q1 = {х Е М : Vi > max Fi — б}. Из утверждения леммы, как впрочем и из ее доказательства, не следует, что max Fi > 0. Положим С = max^=1,...,m max\Fi\ + 1. Тогда, учитывая, что ит = 1 и рассматривая в случае необходимости вместо Vi функции Vi + Сит, мы можем рассматривать случай max Fi > 0 при всех i.
Покажем вначале, что при достаточно малом б > 0 множества Qj попарно не пересекаются. В предположении противного можно считать, что Q\ П Q^ = 0 при некоторых г = j и е = tk (к = 1, 2,...). Здесь последовательность {ек} стремится к нулю при к ^ то. Обозначим через хк некоторую точку из Q^fc П Qjk. При к ^ то последовательность {хк} имеет предельную точку х0 Е М. Очевидно, vi (ж0) = max Fi = sup vi, I = = i,j. Если x0 Е M, то по строгому принципу максимума Vi = const, Vj = const, откуда Fi = const, Fj = const, что противоречит тому, что функции Fi и Fj не имеют общих точек максимума. Если х0 Е ц, то х0 является общей точкой максимума функций Fi и Fj, что опять противоречит их выбору. Итак, при некотором б > 0 множества Qj (г =1, 2,... ,т) попарно не пересекаются.
Учитывая, что max Fi > 0, для всех г = 1, 2,...,т, заключаем, что при достаточно малом е > 0 все указанные множества Q^ являются массивными относительно h-весового оператора Лапласа. Последнее означает, что на М существуют нетривиальные h-весовые субгармонические функции Wi такие, что Wi = 0 на М \ Qj и 0 < Wi < 1.
Таким образом, на М существуют ^-субгармонические функции gi = Wih такие, что gi = 0 на М \ Q1 и 0 < gi < 1. Стало быть множества Q^ (г = 1, 2,... ,т) являются g-массивными, непересекающимися подмножествами многообразия М. Последнее доказывает теорему.
ПРИМЕЧАНИЕ
1 Работа выполнена при частичной финансовой поддержке РФФИ и Администрации Волгоградской области (проект № 15-41-02479 р_поволжье_а).
СПИСОК ЛИТЕРАТУРЫ
1. Григорьян, А. А. О лиувиллевых теоремах для гармонических функций с конечным интегралом Дирихле / А. А. Григорьян // Мат. сб. — 1987. — Т. 132, № 4. — С. 496-516.
2. Григорьян, А. А. О размерности пространств гармонических функций / А. А. Григорьян // Мат. заметки. — 1990. — Т. 48, № 5. — С. 55-60.
3. Григорьян, А. А. О существовании положительных фундаментальных решений уравнения Лапласа на римановых многообразиях / А. А. Григорьян // Мат. сб. — 1985. — Т. 128, № 3. — C. 354-363.
4. Корольков, С. А. Решения эллиптических уравнений на римановых многообразиях с концами / С. А. Корольков, А. Г. Лосев // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2011. — № 1 (14). — C. 23-40.
5. Лосев, А. Г. Ограниченные решения уравнения Шредингера на римановых произведениях/А. Г. Лосев, Е. А. Мазепа //Алгебра и анализ. — 2001. — Т. 13, № 1. — C. 84-110.
6. 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.
7. 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.
8. Korolkov, S. A. Generalized Harmonic Functions of Riemannian Manifolds with Ends / S. A. Korolkov, A. G. Losev // Mathematische Zeitschrift. — 2012. — Iss. 272. — № 1-2. — P. 459-472.
9. Li, P. Harmonic functions and the structure of complete manifolds / P. Li, L.-F. Tam // J. Diff. Geom. — 1992. — Vol. 35, № 2. — P. 359-383.
10. Sung, C.-J. Spaces of harmonic functions / C.-J. Sung, L.-F. Tam, J. Wang // J. London Math. Soc. (2). — 2000. — № 3. — P. 789-806.
REFERENCES
1. Grigoryan A.A. O liuvillevykh teoremakh dlya garmonicheskikh funktsiy s konechnym integralom Dirikhle [On Liouville Theorems for Harmonic Functions with Finite Dirichlet Integral]. Mat. sb. [Sbornik: Mathematics], 1987, vol. 132, no. 4, pp. 496-516.
2. Grigoryan A.A. O razmernosti prostranstv garmonicheskikh funktsiy [Dimension of Spaces of Harmonic Functions]. Mat. zametki [Mathematical Notes], 1990, vol. 48, no. 5, pp. 55-60.
3. Grigoryan A.A. O sushchestvovanii polozhitelnykh fundamentalnykh resheniy uravneniya Laplasa na rimanovykh mnogoobraziyakh [On the Existence of Positive Fundamental Solution of the Laplace Equation on Riemannian Manifolds]. Mat. sb. [Sbornik: Mathematics], 1985, vol. 128, no. 3, pp. 354-363.
4. Korolkov S.A., Losev A.G. Resheniya ellipticheskikh uravneniy na rimanovykh mnogoobraziyakh s kontsami [Solutions of Elliptic Partial Differential Equations on Riemannian Manifolds with Ends]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2011, no. 1 (14), pp. 23-40.
5. Losev A.G., Mazepa E.A. Ogranichennye resheniya uravneniya Shredingera na rimanovykh proizvedeniyakh [Bounded Solutions of the Schrodinger Equation on Riemannian Products]. Algebra i analiz [St. Petersburg Mathematical Journal], 2001, vol. 13, no. 1, pp. 84-110.
6. 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.
7. 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.
8. Korolkov S.A., Losev A.G. Generalized Harmonic Functions of Riemannian Manifolds with Ends. Mathematische Zeitschrift, 2012, iss. 272, no. 1-2, pp. 459-472.
9. Li P., Tam L.-F. Harmonic Functions and the Structure of Complete Manifolds. J. Diff. Geom., 1992, vol. 35, no. 2, pp. 359-383.
10. Sung C.-J., Tam L.-F., Wang J. Spaces of Harmonic Functions. J. London Math. Soc. (2), 2000, no. 3, pp. 789-806.
DIMENSION OF SPACES OF SOLUTIONS OF THE SCHRODINGER EQUATION ON NONCOMPACT RIEMANNIAN MANIFOLDS
Alexander Asaturovich Grigor'yan
Doctor of Physical and Mathematical Sciences, Professor, Department of Mathematics, Bielefeld University, Germany Senior Researcher,
Institute of Control Sciences of RAS, Russian Federation [email protected]
Fakultat fur Mathematik, Universitat Bielefeld, Postfach 100131, Bielefeld, Germany
Alexander Georgievich Losev
Doctor of Physical and Mathematical Sciences, Professor, Department of Mathematical Analysis and Function Theory, Volgograd State University
[email protected], [email protected], [email protected] Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Abstract. Let M be a smooth connected noncompact Riemannian manifold, A the Laplace — Beltrami operator on M, q(x) a smooth nonnegative function on M, not identically zero. Considering the Schrodinger equation on M,
Au — q(x)u = 0,
we ask the following question: For what manifold M and potentials q(x) does this equation have a unique solutions u = 0? If this is the case we say that Liouville's theorem is true for Schrodinger equation.
We say that u is g-harmonic function if it satisfies the Schrodinger equation. The classical Liouville theorem says that any bounded harmonic function in Rn is identically constant. We note that recently there has been a trend towards a more general approach to theorems of Liouville type, namely, they are estimated dimensionality of various solution spaces of linear equations elliptic type.
In particular, Grigor'yan (1990) proved an exact estimate dimensionality of spaces of bounded harmonic functions on non-compact Riemannian manifolds in terms of massive sets. The aim of this paper is to prove a similar result for bounded solutions of the stationary equation Schrodinger.
Dimensions of spaces of harmonic functions and g-harmonic functions has been studied in numerous articles for various classes of manifolds. Among them are the works of M.T. Anderson, T.H. Colding, A. Grigor'yan, P. Li, A.G. Losev, L.-F. Tam, D. Sullivan, S.-T. Yau and many other authors. In contrast to the mentioned articles (and many others), we do not restrict the manifold M a priori in any way.
Let LB(M) be the space of bounded g-harmonic functions on M. We define g-massive subsets of M and prove that LB(M) is equal to the maximal number of pairwise non-intersecting g-massive subsets of M. We now state the exact formulations.
A continuous function u defined on some open set Q C M is called q-subharmonic if for every domain G < Q and a g-harmonic function
V G C(G), u\dG = v\dG
implies и < v in G.
An open proper subset П с M is called g-massive if there is a non-trival g-subharmonic function и e С(П) such that и|да = 0, 0 < и < 1. The main result of the paper is the following statement. Theorem. Let m > 1 be a natural number. The following statements are equivalent:
1) dimLB(M) > m;
2) there exist m pairwise non-intersection g-massive subsets of M.
Note that in the case q(x) = 0, this assertion is true only for m > 2.
Key words: stationary Schrodinger equation, Liouville-type theorems, non-compact Riemannian manifolds, massive sets, dimension of spaces of solutions.
