CC BY
19
УДК 517.9
Индекс задач Соболева, ассоциированных с действием
групп Ли
Д. А. Лощёнова
Кафедра прикладной математики Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, Россия, 117198
Относительная эллиптическая теория или, как её назвал в своих работах Б. Ю. Стер-нин, «проблема Соболева», состоит в том, что в категории гладких пар многообразий (М,Х), одно из которых X гладко вложено в другое М, построить фредгольмову эллиптическую теорию и найти формулу индекса для неё. С точки зрения (псевдо)диффе-ренциальных уравнений задача Соболева состоит в том, что рассматривается сравнение Du = f (modX), где D — псевдодифференциальный оператор, а символ «=» означает равенство левой и правой части с точностью до распределений сосредоточенных на подмногообразии X.
Очевидно, в случае, когда размерность подмногообразия больше единицы, сравнение, о котором говорится выше, не определяет фредгольмов оператор, именно ядро этого сравнения является бесконечномерным. Оказывается, что если добавить к рассматриваемому сравнению ещё некоторые операторы В, определённые на подмногообразии X, связанные некоторым алгебраическим условием (типа коэрцитивности) с оператором D, то полученный оператор (D, В) уже будет фредгольмовым в соответствующих пространствах Соболева. Замечательным фактом при этом является то, что это условие может быть сформулировано инвариантным образом как условие эллиптичности некоторого оператора, индуцированного задачей на подмногообразии X и, таким образом, условия эллиптичности оператора D и оператора (D, В) вместе доставляют нам фред-гольмов оператор. Эта теорема вместе с формулой индекса была в своё время доказана Б. Ю. Стерниным. Напомним, что все операторы, участвующие в построении указанной теории, были псевдодифференциальными. В частности, псевдодифференциальным был оператор (D, В), что, между прочим, и позволило дать определение его эллиптичности. Совершенно по другому обстоит дело в ситуации, когда на многообразии М имеется дополнительная структура, например, действие группы Ли. В этом случае оператор (D, В) уже не будет, вообще говоря, псевдодифферециальным оператором и, следовательно, вопрос о его эллиптичности, формально говоря, не может быть даже поставлен. Тем не менее, в нашей работе при определённых условиях мы можем изучить полученный оператор (D,B), дать определение его символа и доказать его фредгольмовость. Более того, мы предъявляем формулу индекса в этой более общей ситуации. Этому и посвящена настоящая работа.
Ключевые слова: эллиптические операторы, задачи Соболева, индекс, неподвижные точки действия группы Ли, операторы, сосредоточенные в точке.
Введение
Пусть М — замкнутое многообразие, X — подмногообразие в М. Рассматривается решение сравнения
Du = f (mod X),
где D — псевдодифференциальный оператор, и написанное выше сравнение означает, что равенство Du = f выполняется всюду на многообразии М, за исключением точек подмногообразия X. Кроме этого сравнения, задаются ещё некоторые «граничные» условия на подмногообразии X, и проблема состоит, во-первых, в том, чтобы дать корректную постановку такой задачи в том смысле, чтобы указать условия, при которых она фредгольмова, и, во-вторых, вычислить её индекс. Общая постановка и исследование таких задач принадлежит Б.Ю. Стернину, который также и назвал их задачами Соболева (см. [1,2]).
Статья поступила в редакцию 25 января 2015 г.
В работах Б.Ю. Стернина были даны условия фредгольмовости задач Соболева и получена формула индекса в случае, когда условия на подмногообразии X задаются с помощью псевдодифференциальных операторов на многообразии М. Тогда задаче Соболева отвечает некоторый оператор на подмногообразии X, названный обратным образом, который в случае псевдодифференциальных граничных условий является также псевдодифференциальным. Основной результат состоит в том, что фредгольмовость задачи Соболева эквивалентна эллиптичности оператора И и соответствующего обратного образа, а её индекс равен сумме индексов оператора Б и обратного образа.
По иному обстоит дело, когда на многообразии М имеется дополнительная структура, например, на М действует группа Ли, так что в задаче Соболева граничные условия задаются уже не псевдодифференциальными операторами, а операторами, ассоциированными с действием группы Ли (см. [3]). Эта ситуация была изучена в нашей недавней работе. В ней показано, что соответствующий обратный образ уже не является псевдодифференциальным оператором. Тем не менее и в этом случае удаётся получить теорему конечности (фредгольмовости). После чего на повестке дня встал вопрос по предъявлении формулы индекса в этой новой ситуации. Получение этой формулы и составляет содержание данной статьи.
1. Постановка задачи
Пусть М — гладкое замкнутое многообразие размерности п, X — подмногообразие коразмерности v = п/2 и на многообразии М действует компактная группа Ли G. Действие группы G индуцирует представление группы в пространствах функций на М операторами сдвига Тд, действующими на функции и по формуле
(Тд и)(х) = и(д-1х).
Рассматривается следующая задача Соболева с нелокальным граничным условием
Г Du = f (modX), и е НS(M), f е Нs-m(M)
\г*Ви = V е Hs-b-v/2(X), ()
где D — псевдодифференциальный оператор (далее ПДО) на М порядка т, i* : Нs-h(M) —> Нs-b-2(X) — оператор сужения функций на подмногообразие, а сравнение понимается в том смысле, что функции Du и f совпадают вне X. Наконец, граничное условие в (1) определяется нелокальным оператором
Ви = В0и + J Вд Тд и dg, (2)
G
ассоциированным с группой G (ср. [4]). Здесь В0 — ПДО на М порядка Ь, а Вд (д е G) — семейство ПДО на М того же порядка Ь, гладко зависящее от д.
Будем считать, что действие группы G удовлетворяет специальным условиям трансверсальности по отношению к подмногообразию X. Сформулируем эти условия.
Обозначим через XG = {х е X | дх = х, Уд е G} — множество неподвижных точек на X и через Gx = {д е G | Эх е X \ XG : дх е X} — множество элементов группы G, которые оставляют внутри X другие точки, кроме неподвижных.
Определение 1. Действие будем называть допустимым, если множества XG и Gx состоят из конечного числа элементов и любой элемент из G \ Gx не оставляет внутри X никаких точек из X, кроме неподвижных, а орбита Gx любой точки х е X \ XG трансверсальна подмногообразию X.
Также будем считать, что особая точка только одна.
Известно (см. [1,2]), что задача Соболева (1) фредгольмова, если одновременно фредгольмовы оператор Б и её обратный образ — оператор вида
г*ВБ-1г* : Н8-т+*(X) Н8-Ь-*(X), (3)
а индекс задачи Соболева равен сумме индексов этих двух операторов.
Показывается, что для задачи Соболева, ассоциированной с действием группы С, удовлетворяющей условию допустимости, обратный образ представим в виде
ъ*ВБ-1ъ* = г*ВоО-11* (1 + Л), (4)
где г* В0Б-1г* — ПДО, а оператор 1 + А с точностью до компактных операторов имеет вид
1 + А =1 + ЖОМ-\ ге К (р)Мч ф(ОЪ^хф), (5)
где , Г—х — прямое и обратное преобразования Фурье, МГ(1Р, М~1 г —
прямое и обратное преобразования Меллина ф(^) — гладкая срезающая функция, равная 1 на бесконечности и 0 в окрестности нуля, (р(х) — гладкая срезающая функция, равная 0 вне окрестности особой точки и равная 1 внутри несколько меньшей окрестности, а К(р) — функция комплексной переменной р, принимающая значения в интегральных операторах на сфере §^тХ-1, аналитичная на своей области определения.
Определение 2. Операторно-значную функцию 1+К (р) будем называть символом оператора 1 + А и обозначать 1 + а(А)(р). Если оператор 1 + А действует на многообразии X в пространствах Соболева порядка я2, то его символ 1 + а(А)(р) есть функция переменной р £ Г?+^тх/2, где Г7 = {р £ С | Щр) = 7} — прямая, которую мы будем называть весовой прямой.
Отметим, что из равенства Парсеваля для преобразования Меллина (см. [5]) нетрудно получить, что преобразование Меллина действует унитарно в пространствах
МГх 1Р : Ь2(Жпх) Ь2(Гп/2,Ь2(Зп-1)).
В частности, функция К(р) принимает значения в операторах на Ь2(3А1тХ-1). Оператор 1 + А называется эллиптическим, когда его символ 1 + а(А)(р) обратим. Соответствующая теорема конечности утверждает, что оператор 1 + А фредгольмов, когда он эллиптичен. В настоящей работе мы получим формулу индекса оператора 1 + А.
2. Индекс
Пусть функция К(р), р £ Г7, определена, как выше, причём функция 1 + К(р) обратима. Тогда функции К(р) однозначно сопоставлено отображение:
81 аьк, (6)
где СЬк — это пространство обратимых операторов в гильбертовом пространстве вида 1 + К, где К — компактный оператор. Отображение (6) определяет элемент фундаментальной группы п1(СЬк) пространства С к, которая изоморфна Ъ
хПод преобразованием Меллина функции на К" мы будем понимать преобразование Меллина этой функции по радиальной переменной после перехода к сферическим координатам.
2Для случая обратного образа задачи (1) имеем: ? = в — т, + га/4.
(см. [6]). С другой стороны, хорошо известно, что ^(й1) = Ъ. Поэтому отображение (6) индуцирует гомоморфизм группы Ъ в себя, т.е. является умножением на некоторое целое число. Это число называется числом вращения функции 1 + К(р) и обозначается как [1 + К(р)].
Аналогично определяется число вращения функции Q(z), г Е й1, со значениями в СЬк которое будем обозначать и>§1 ^(г)].
Пусть X — гладкое многообразие размерности п с отмеченной особой точкой, и пусть 1+А — оператор вида (5), действующий в пространствах Соболева Нв(Х).
Теорема 1. Пусть оператор 1 + А эллиптический. Тогда его индекс
1пё8 (1 + А) = ш3+п/2[а(1 + Л)]. (7)
Доказательство. Основная идея — показать, что оператор 1 + А сводится к оператору Теплица, а индекс последнего хорошо известен.
Шаг 1. Сведение к оператору в пространствах Ь2. Путь А — оператор Лапласа. Тогда имеют место следующие равенства:
1) шё8(1 + А) = шёо(А8/2(1 + А)А-з/2).
2) ю3+п/2[а(1 + Л)] = юп/2[ст(Ав/2(1 + А)А-*/2)].
Действительно, первое равенство следует из логарифмического свойства индекса и тривиальности индекса оператора Лапласа, а второе следует из соотношений огёА-в/2 = —8 и огёАв/2 = 8.
Таким образом, нам достаточно рассмотреть оператор, действующий в пространствах Ь2, а не в пространствах Соболева.
Шаг 2. Сведение к оператору вида свёртки Меллина. Будем считать, что оператор 1 + А действует в пространствах Ь2 (X). С точностью до компактных операторов он имеет вид
1 + А =1 + ф)?-1 М-1 К (р)МГ(р(х), (8)
где (р Е СЖ(Х) и <р = 1 в (малой) окрестности особой точки и <р = 0 вне большей окрестности.
Теперь введём координаты в окрестности особой точки и будем считать, что оператор 1 + А действует на К". Далее нам понадобится
Лемма 1 (см. [7]). Существует такой унитарный оператор £, действующий из пространства Ь2(Тп/2, Ь2(§п-1)) в себя, что выполняется коммутационное соотношение:
= Мгх^р£. (9)
Пользуясь соотношением (9), мы можем представить оператор 1 + А в следующем виде:
1 + А = 1 + ф)М-1Ь(р)М<р(х), (10)
где Ь(р) = £(р)-1К(р)£(р) — функция переменной р Е Г„/2 со значениями в компактных операторах на сфере §"-1.
Шаг 3. Сведение к оператору Теплица. Покажем, что оператор (10) сводится к оператору Теплица. Это сведение даётся в следующей коммутативной диаграмме:
пь
м
2т п\
п(1+м-1 ь(р)м)
пь
2т п\
(11)
м
пь2(Тп/2,Ь2(§--1)) п(1+Ш) , пЬ2(Тп/2,Ь2(§--1))
п 'Н (г)
Я
■п 'Ь2(81,Ь2(8П-1))
г/2,
Я
п 'Ь2(81,Ь2(8П-1))
Здесь оператор в нижней строке является искомым оператором Теплица. Посмотрим, что здесь происходит, более подробно.
1) Определение диаграммы (11). Перед нами оператор (10). Возьмём функцию <р(х) вида
{1, при 1x1 < 1, 0, при 1x1 > 1.
Тогда можно считать, что оператор 1 + А действует в подпространстве функций с носителями в единичном шаре:
1 + А = п (1 + М-1Ь(р)М) : Ь2(Вп)
Ь
2/то п
).
(12)
Здесь В" — единичный шар размерности п, п — проектор из Ь2(К") на подпространство Ь2(Вп) С Ь2(К"). Мы находимся на первой строчке диаграммы (11). Сделаем в операторе (12) переход к координатам Меллина. Имеем:
М(1 + А)М-1 = п (1 + Ь(р)) : ИЬ2(Тп/2,Ь2(Бп-1)) ^ ИЬ2(Тп/2, Ь2(Бп-1)), (13)
где п = МпМ-1 — некоторый проектор в пространстве Ь2(Г„/2,Ь2(Бп-1)). Мы пришли ко второй строчке диаграммы (11).
Теперь функции на весовой прямой Гп/2 переведём в функции на единичной окружности с помощью изоморфного отображения
„ ^ ч {р — 2) — 1
ч V, ) ) х — 1 \ , ^ — ^ + 1
(14)
Здесь замена х ^ р переводит весовую прямую Г„/2 в окружность = {1г1 = 1},
а отображение подобрано так, чтобы в пространствах Ь2 оно действовало унитарно.
Полагая теперь п' = ^ПQ-1, N(х) = Q[1 + Ь(р)^-1, приходим к третьей строчке диаграммы (11). Заметим, что по построению выполняется соотношение:
■^п/2[1 + Ь(р)\ = —ю§1
1+< мн)
(15)
2) Исследование оператора, п'. Покажем, что оператор п' является проектором Харди в пространстве Ь2(81, Ь2(8п-1)). А именно, покажем, что его образ порождён линейными комбинациями степенных функций хк при к ^ 0:
1т п' = врап
{ак(Ш)гк}
где ак (ш) Е Ь2(Б1)
(16)
где символом span обозначено замыкание множества линейных комбинаций. По построению равенство множеств (16) равенство эквивалентно равенству
ФЬ2(Ш n,L2(Sn-1)) = span
{ак(ш)гк}к^ , (17)
где Ф = QМ — изоморфизм.
Искомое равенство (17) вытекает из следующих утверждений:
1. Линейные комбинации функций ак(ш)хк, к £ Ъ, йк(ш) £ Ь2^1) плотны в Ь2(31,Ь2(3п-1)) (это хорошо известно).
2. Ф — унитарный оператор (это было установлено выше).
3. а) Ф-1(ак(ш)гк) £ Ь2(Вп,Ь2(8п-1')) С Ь2(Шп, Ь2(8п-1)), если к > 0. Ь) Ф-1(ак(ш)гк) £ Ь2(Жп \ Вп,Ь2(Бп-1)), если к< 0.
Таким образом, для доказательства равенства (17) нам осталось установить соотношения а) и Ь). Для определённости установим первое из них (второе доказывается аналогично).
Итак, зафиксируем к > 0 и возьмём какую-нибудь функцию ак (ш)гк. Положим
f(p,u) = Q-1 [ак (u)zk] = -j=
1 \(р - n) -1
Up - n) + 1
1
(P - n) -1 Up - n) + iJ
к
ак (u).
Тогда носитель функции /(г,ш) = Мр1 г/(р,ш) заключён в единичном шаре
В п. Действительно, с одной стороны, функция /(р,ш) голоморфно продолжается вправо по переменной р, т.е. при Щ(_р) ^ п/2. С другой стороны, имеем:
/(г,ш)= I г-р/(р,ш) р.
Щр)=п/2
Однако в силу того, что /(р,ш) голоморфна при всех р, Щ(р) > п/2, обратное преобразование Меллина можно брать не только на прямой Щ(_р) = п/2, но и на любой прямой {р £ С I Щ(р) = 7}, где 7 > п/2. Возьмём какое-нибудь такое 7. Получим
/(г,ш)= р- I г-(р-^/(р,и) р. (18)
Щр)=1
Пусть теперь г > 1. Тогда при 7 ^ то, правая часть равенства (18) будет стремиться к нулю. Однако функция f (г,ш) от 7 не зависит. Поэтому f (г,ш) = 0 при г > 1.
Итак, равенства (16) и (17) установлены.
3) Оператор П'^(х). Итак, мы показали, что оператор П' представляет собой проектор Харди в пространстве Ь2(31, Ь2(3п-1)). Это означает, что оператор П'М(х) есть оператор Теплица в этом пространстве, отвечающий функции N(х).
Шаг 4. Индекс оператора Теплица хорошо известен: это в точности число вращения отвечающей ему функции, взятое со знаком «минус». Поэтому из формулы (15) имеем:
ind
П' (1 + L(p)) = -wSiN(z) = wn/2(1 + L(p)) = ws+n/2(1 + К(p)).
Поскольку все преобразования, которые привели нас к оператору П' (1 + N (г)) суть изоморфизмы, мы получаем утверждение теоремы. □
2.1. Индекс задачи Соболева
Применяя теорему 1 к обратному образу (4), имеем
Следствие 1. Индекс задачи Соболева (1) S, ассоциированной с действием группы G, удовлетворяющим условию допустимости 1, равен
indS = ind (г* B0D-1i*) + indD + ws-m+nj2[^(1 + Л)],
где индексы псевдодифференциальных операторов г*BqD-1i* и D вычисляются по формуле Атьи-Зингера.
Заключение
Таким образом, для случая, когда на многообразии М имеется дополнительная структура (например, действие группы Ли), при определённых условиях изучен полученный в работе оператор (D, В), дано определение его символа и доказана его фредгольмовость.
Литература
1. Стернин Б. Ю. Эллиптические и параболические задачи на многообразиях с границей, состоящей из компонент различной размерности // Труды московского математического общества. — 1966. — Т. 15. — С. 346-382.
2. Стернин Б. Ю. Относительная эллиптическая теория и проблема С. Л. Соболева // Доклады АН СССР. — 1976. — Т. 230, № 2. — С. 287-290.
3. Лощенова Д. А. О задаче Соболева, ассоциированной с компактной группой Ли // Бесконечномерный анализ, стохастика, математическое моделирование: новые задачи и методы. Проблемы математического и естественнонаучного образования. Тезисы докладов. — Москва: 2014.
4. Савин А. Ю., Стернин Б. Ю. Нелокальные эллиптические операторы для компактных групп Ли // Доклады АН СССР. — 2010. — Т. 431, № 4. — С. 457460.
5. Стернин Б. Ю. и Шаталов В. Е. Относительная эллиптическая теория и задача Соболева // Математический сборник. — 1996. — Т. 187, № 11. — С. 115-144.
6. Wojciechowski K. A Note on the Space of Pseudodifferential Projections with the Same Principal Symbol // J. Operator Theory. — 1986. — Т. 15, № 2. — С. 207-216.
7. Пламеневский Б. А. Алгебры псевдодифференциальных операторов. — Москва: Наука, 1986.
UDC 517.9
Index of Sobolev Problems Associated with Lie Group Action
D. A. Loshhenova
Department of Applied Mathematics Peoples' Friendship University of Russia 6, Miklukho-Maklaya str., Moscow, Russia, 117198
In relative elliptic theory or "Sobolev" problem as B.Yu. Sternin named it in his works one is required to construct a Fredholm elliptic theory and find an index formula in the category of smooth pairs of manifolds (M,X), where X is a submanifold in M. From the point of view of (pseudo)differential equations the Sobolev problem deals with the comparison Du = f (mod X), where D is a pseudodifferential operator, while the sign "=" means that the left and right hand sides are equal modulo distributions supported on X.
Obviously, if the dimension of the submanifold is greater than one, the comparison written above does not define a Fredholm operator, since its kernel is infinite-dimensional. It turns
out, that if we add to the comparison some operators B defined on X, which are related by an algebraic condition (of coercitivity type) with operator D, then the obtained operator (D, B) is already Fredholm in appropriate Sobolev spaces. Remarkably, this condition can be formulated invariantly as an ellipticity condition of some operator, which is induced by the problem on the submanifold X. Hence, the ellipticity conditions of operators D and (D, B) together give us a Fredholm operator. This theorem and the corresponding index formula were proved by B.Yu. Sternin. Note that all operators appearing in this theory are pseudodifferential. In particular, (D, B) is a pseudodifferential operator, meanwhile, this enabled one to define its ellipticity. We have a quite different situation, if the manifold M is endowed with an additional structure, for example, if it carries a Lie group action. In this case, (D, B) is in general no longer a pseudodifferential operator and, hence, the question of its ellipticity, formally speaking, can not even be rised. However, in our work, under certain conditions, we can examine the resulting operator (D,B), define its symbol and prove its Fredholm property. Moreover, we give an index formula in this more general situation. This is the subject of this work.
Key words and phrases: elliptic operators, Sobolev problems, index, fixed points of Lie group action, operators concentrated at a point.
References
1. B. Y. Sternin, Elliptic and Parabolic Problems on Manifolds with Boundary Consisting of Components of Different Dimension, Trudy Mosk. Mat. Obsh-va 15 (1966) 346-382, in Russian.
2. B. Y. Sternin, Relative Elliptic Theory and the Sobolev Problem, DAN SSSR 230 (2) (1976) 287-290, in Russian.
3. D. A. Loshhenova, On the Sobolev Problem Associated with Compact Lie Group, in: Infinite-Dimensional Analysis, Stochastics, Mathematical Simulation: New Problems and Methods. Problems of Mathematical and Scientific Education. Abstracts of Talks, Moskva, 2014.
4. A. Y. Savin, B. Y. Sternin, Nonlocal Elliptic Operators for Compact Lie Groups, DAN SSSR 431 (4) (2010) 457-460, in Russian.
5. B. Y. Sternin, V. E. Shatalov, Relative Elliptic Theory and Sobolev Problems, Matem. Sbornik 187 (11) (1996) 115-144, in Russian.
6. K. Wojciechowski, A Note on the Space of Pseudodifferential Projections with the Same Principal Symbol, J. Operator Theory 15 (2) (1986) 207-216, in Russian.
7. B. A. Plamenevskij, Algebras of Pseudodifferantial Operators, Nauka, Moscow, 1986, in Russian.
