Обобщенные решения задачи Дирихле для уравнения Шредингера на некомпактных римановых многообразиях
Автор: Гульманова Е.А., Клячин А.А., Мазепа Е.А.
Журнал: Математическая физика и компьютерное моделирование @mpcm-jvolsu
Рубрика: Математика
Статья в выпуске: 13, 2010 года.
Бесплатный доступ
В работе изучаются обобщенные решения (в смысле работы [1]) задачи Ди- рихле для стационарного уравнения Шредингера Lu u − c(x)u = 0, (1) где c(x) - гладкая неотрицательная функция на гладком связном некомпактном римановом многообразии M без края. В данной статье введено понятие обобщенного решения задачи Дирихле на римановом многообразии, и сведено изучение вопроса о разрешимости задачи Дирихле к исследованию данного обобщенного решения.
Уравнение шредингера, обобщенные решения задачи дирихле, римановые многообразия
Короткий адрес: https://sciup.org/14968649
IDR: 14968649
Текст научной статьи Обобщенные решения задачи Дирихле для уравнения Шредингера на некомпактных римановых многообразиях
Проблема разрешимости краевых задач для эллиптических дифференциальных уравнений на римановых многообразиях с предписанным поведением решений на «бесконечности» является достаточно актуальной. В частности, особый интерес представляет собой постановка задачи Дирихле на некомпактных римановых многообразиях. Для исследования вопросов о разрешимости задачи Дирихле чрезвычайно существенным оказалось введенное Винером понятие обобщенного решения задачи Дирихле для гармонических функций в областях 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.