Обобщенные решения задачи Дирихле для уравнения Шредингера на некомпактных римановых многообразиях
Автор: Гульманова Е.А., Клячин А.А., Мазепа Е.А.
Журнал: Математическая физика и компьютерное моделирование @mpcm-jvolsu
Рубрика: Математика
Статья в выпуске: 13, 2010 года.
Бесплатный доступ
В работе изучаются обобщенные решения (в смысле работы [1]) задачи Ди- рихле для стационарного уравнения Шредингера Lu u − c(x)u = 0, (1) где c(x) - гладкая неотрицательная функция на гладком связном некомпактном римановом многообразии M без края. В данной статье введено понятие обобщенного решения задачи Дирихле на римановом многообразии, и сведено изучение вопроса о разрешимости задачи Дирихле к исследованию данного обобщенного решения.
Уравнение шредингера, обобщенные решения задачи дирихле, римановые многообразия
Короткий адрес: https://sciup.org/14968649
IDR: 14968649 | УДК: 517.95
Generalized solutions of the Dirichlet problem for the stationary Schrodinger equation on Riemannian manifolds
We study questions of existence of generalized solutions of the Dirichlet problem for the basic models of elliptical equations: the Laplace equation u = 0, and the stationary Schrodinger equations Lu u−c(x)u = 0, where c(x) is a smooth non-negative function on a non-compact Riemannian manifolds M without boundary. In this arcticle the concept of generalized solutions of the problem is specified and the investigation of guestions of existence Dirichlet problem is affoded to investigation this generalized solution.
Текст научной статьи Обобщенные решения задачи Дирихле для уравнения Шредингера на некомпактных римановых многообразиях
Проблема разрешимости краевых задач для эллиптических дифференциальных уравнений на римановых многообразиях с предписанным поведением решений на «бесконечности» является достаточно актуальной. В частности, особый интерес представляет собой постановка задачи Дирихле на некомпактных римановых многообразиях. Для исследования вопросов о разрешимости задачи Дирихле чрезвычайно существенным оказалось введенное Винером понятие обобщенного решения задачи Дирихле для гармонических функций в областях R n , получившее в нашей работе обобщение на случай некомпактных римановых многообразий. Кроме того, в данной работе использован подход к постановке краевых задач, основанный на введении класса [f], эквивалентных на M непрерывных функций (см., напр., [3]–[5]).
Пусть M — гладкое связное некомпактное риманово многообразие без края, {Bk}k=1 — исчерпание многообразия M, то есть последовательность предкомпактных ∞ открытых подмножеств таких, что Bk С Bk+1, M = U Bk.
k=1
Определение 1. Пусть f 1 (x) и f 2 (x) — непрерывные ограниченные на M функции. Будем говорить, что f 1 ( x ) и f 2 (x) эквивалентны на M, и использовать обозначения f 1 (x) ~ f 2 (x) , если для некоторого исчерпания { B k } ^=1 многообразия M выполнено равенство:
lim ||fi(x) - f2(x)|co(M Bk) =0, k -→∞ гДе Ilf (x)|C0(G) = suP |f (x)|.
G
Введенное определение корректно, поскольку не зависит от выбора исчерпания многообразия (см. [3]). Класс функций, эквивалентных функции f, будем обозначать [f]. Определение 2. Предположим, что f — непрерывная функция на M . Будем говорить, что для уравнения (1) на M разрешима краевая задача с граничными условиями из класса [f ] , если на M существует решение u(x) уравнения (1) такое, что u G [f ] . Класс [f ] в этом случае будем называть допустимым для уравнения (1) .
Введем понятие обобщенного решения задачи Дирихле для уравнения (1) на многообразии M.
Всюду в дальнейшем будем считать, что { B k } ^=1 — исчерпание многообразия с гладкими границами ∂B k .
Рассмотрим последовательность решений задач Дирихле в B k
Г Lu k,f 0, 1 u k,f | dB k = f | dB k
Определение 3. Пусть f — некоторая непрерывная на M функция. Если существует предел uf = lim ukf, k -→∞ в каждой точке x G M, то функция uf называется обобщенным решением задачи Дирихле для уравнения (1) с граничными условиями из класса [f ].
Замечание. Данное определение обобщенного решения задачи Дирихле было впервые введено Винером (см. [1]) для эллиптических дифференциальных уравнений в областях R n .
Справедливо следующее утверждение.
Теорема 1. Пусть f — некоторая непрерывная на M функция такая, что класс [f] является допустимым для уравнения (1) .
Тогда справедливы следующие утверждения.
-
1. Последовательность решений u 1 f ,u 2 f ,...,u kf ,... задач (2) сходится равномерно на M к обобщенному решению u f .
-
2. Предельная функция u f не зависит от выбора исчерпания { B k } многообразия M .
-
3. Если и — решение краевой задачи для уравнения (1) с граничными условиями из класса [f] , то функция и совпадает с u f .
Необходимо пояснить, что означает равномерная сходимость последовательности решений U k,f задач (2) на многообразии M.
Определение 4. Будем говорить, что последовательность решений u kf задач (2) сходится равномерно на M, если V e > 0 3 N = N (е) : V n > m > N V x G B N выполнено
| u n, f (x) — u m,f (x) | < e-
-
1. Доказательство теоремы
Рассмотрим последовательность решений задач (2). Используя принцип максимума для любых k ∈ N , x ∈ B k , имеем
| u k,f (x) | < sup | u k,f | < sup | f | . ∂B k M
Отсюда следует равномерная ограниченность семейства функций { u k,f } k ∞ =1 на всем многообразии M и, следовательно, компактность в классе дважды непрерывно дифференцируемых функций на любом компактном подмножестве G ⊂ M (см., напр., [2]).
Без ограничения общности можем считать, что G ⊂ Bk для всех k ∈ N . Тогда существует последовательность u1n,f, сходящаяся к некоторой функции uf1 в B1 . Выберем из нее подпоследовательность функций u2n,f , сходящуюся в B2 к некоторой функции uf2 , при этом uf2 будет совпадать с uf1 в B1 . Аналогично для каждого k ∈ N найдется подпоследовательность функций ukn,f , сходящаяся в Bk к некоторой функции ufk , причем uf = uf-1 во множестве Bk-1. Таким образом, продолжая процесс бесконечно, можно построить функцию uf, в Bi, uf = uf, в Bk\Bk-i, •
Выберем теперь диагональную последовательность u 1 1,f , u 2 2,f , ..., u k k,f , Ясно, что u k k,f сходится к функции u f в каждой точке x ∈ M .
Покажем равномерную сходимость последовательности решений ukf задач (2) на всем многообразии M. Выберем произвольное е > 0. Используя принцип максимума, для достаточно больших n, m ∈ N, n > m получаем sup |un,f (x) - umf (x) | < sup |un,f (x) - umf (x) | < GB
-
< sup | u n f — u(x) | + sup l u m f (x) — u(x) | < e.
Bn
Действительно, так как класс [f] является допустимым для уравнения (1), то существует функция u G [f] такая, что Lu = 0. Тогда, по принципу максимума, имеем sup |un, f (x) — u(x) | = sup |f — u| < e, sup lum, f (x) — u(x) | = sup |f — u| < Bn dBn 2 Bm dBm
В силу равномерной сходимости последовательности {uk f}k∞=1 на M существует функция uf = lim ukf, и, следовательно, uf является обобщенным решением уравне-k-→∞ ния (1) на M (по определению).
Покажем, что предельная функция u f не зависит от выбора исчерпания { B k } k=1 на M .
Предположим противное: пусть { B k } k=1 и { D k } k=1 — два произвольных исчерпания многообразия M , { u kf } k=1 и { u k f } k=i — соответствующие им последовательности решений задач (2), сходящиеся к различным предельным функциям u f и u f . Построим новое исчерпание { C k } £= многообразия M . Пусть C 1 = B 1 . В качестве множества C 2 возьмем множество D k , где к — наименьший номер, начиная с которого множество B 1 С D k . Множество C 3 будем искать в { B k } k=1 так, чтобы C 2 С B k , где к — наименьший номер. Аналогично найдем все остальные множества C k , к = 4, 5,..., где ∞
C k С C k+1 , M = U C k для любого к. Тогда соответствующая последовательность ре- k=1
шений задач (2) для нового исчерпания { C k } ^=1 : u k 1 ,f ,u k 2 f ,... является расходящейся, что противоречит доказанному выше утверждению. Следовательно, предельная функция U f не зависит от выбора исчерпания { B k } ^=1 на многообразии M.
Покажем, что построенное обобщенное решение u f задачи Дирихле для уравнения (1) не зависит от выбора представителя из класса [f ].
Предположим противное, возьмем f1 G [f], f2 G [f], f1 = f2, тогда для них соответствующие задачи (2) во множестве Bk перепишутся в виде f Luk,fl О,
1 u k ,f l | dB k = f 1 | dB k
f Lu k ,f 2 0,
1 u k ,/ 2 | dB k = f 2 | dB k
Согласно доказанному выше, на M существуют обобщенные решения u f 1 и u f 2 .
Тогда для любых e > 0, x G M имеем
0 < | u f 1 (x) - U f 2 (x) |< | u f 1 (x) - U k,f 1 (x) | + | u f 2 (x) - U k,f 2 (x) | + | u k,f 1 (x) - U k,f 2 (x) | < e, для достаточно больших k.
Первые две оценки: | u f (x) — U f (x) | < 3 , | u f 2 (x) — u k,f 2 (x) | < 3 имеют место в силу равномерной сходимости последовательностей функций { u k,f 1 } k=1 и { u kf 2 } k=1 соответственно к функциям u f 1 и u f 2 , доказанной выше.
Покажем, что | u k,f 1 (x) — u kf 2 (x) | < 3 . Функция u kf 1 — u kf 2 является решением следующей задачи:
f L ( u k,f i — u k,f 2 ) = 0,
[ (u k,f 1 — u k,f 2 ) | dB k = (f 1 — f 2 ) | dB k .
Следовательно, для любого x ∈ B k выполнено
| u k,f 1 (x) - U k,f 2 (x) |< SUP | u k, f l (x) - U k,f 2 (x) | = SUP | f 1 - f 2 | < 1 e, dB k dB k 3
для достаточно больших к (так как f 1 G [f], f 2 G [f]). В силу произвольности e > О следует u f 1 ≡ u f 2 . Таким образом, предельная функция u f не зависит от выбора представителя из класса [f].
Так как класс [f] является допустимым для уравнения (1), то на M существует решение и краевой задачи для уравнения (1) с граничными условиями из класса [f], то есть Lu = 0, и G [f]. Покажем, что данное решение и совпадает с функцией U f .
Действительно, так как и G [f], то в качестве граничного значения f для задач (2) в Bk выберем функцию u, то есть f Luk,f 0,
-
1 u k,f | dB k = u | dB k .
Но, с другой стороны, и является решением уравнения (1) в B k для любого к. Таким образом, имеем
Lu k,f = Lu в B k , U k,f I dB k = u | dB k •
Тогда, в силу теоремы единственности решения задачи Дирихле в области Bk , получаем ukf(x) = u(x) для любого x G Bk. По доказанному выше uf = lim ukf(x), , k-→∞ , следовательно, uf (x) = u(x) в каждой точке x G M.
Теорема полностью доказана.
Список литературы Обобщенные решения задачи Дирихле для уравнения Шредингера на некомпактных римановых многообразиях
- Келдыш, М. В. О разрешимости и устойчивости задачи Дирихле/М. В. Келдыш//Избр. тр. Математика. -1941. -С. 171-231.
- Лосев, А. Г. О неограниченных решениях стационарного уравнения Шредингера на модельных многообразиях/А. Г. Лосев, Е. А. Мазепа, В. Ю. Чебаненко//Изв. вузов. Математика. -2006. -¢ 7. -С. 46-56.
- Мазепа, Е. А. Краевые задачи для стационарного уравнения Шредингера на рима-новых многообразиях/Е. А. Мазепа//Сиб. мат. журн. -2002. -Т. 43. -¢ 3. -С. 591-599.
- Мазепа, Е. А. Краевые задачи и лиувиллевы теоремы для полулинейных эллиптических уравнений на римановых многообразиях/Е. А. Мазепа//Изв. вузов. Математика. -2005. -¢ 3 (514). -С. 59-65.
- Losev, A. G. Unbounded Solution of the Stationary Schrodinger Equation on Riemannian Manifolds/A. G. Losev, E. A. Mazepa, V. Y. Chebanenko//Computational Methods and Functional Theory. -2002. -Vol. 3. -¢ 2. -P. 443-451.