О следах G-операторов, сосредоточенных на подмногообразиях

УДК 517.95

Д. А. Лощенова

Российский университет дружбы народов

О следах G-операторов, сосредоточенных на подмногообразиях

Исследуются следы операторов, ассоциированных с действиями компактных групп Ли. В ситуации, когда след сосредоточен на подмногообразии неподвижных точек действия группы, доказана псевдодифференциальность следа. В качестве следствия получена теорема конечности, а также построены фредгольмовы оснащения получаемых следов.

Ключевые слова: эллиптические операторы, задачи Соболева, неподвижные точки, действия групп Ли, фредгольмовы оснащения

D.A. Loshchenova Peoples' Friendship University of Russia

On the traces of G-operators supported on submanifolds

We study traces of operators associated with actions of compact Lie groups. In the situation when the trace is supported in a submanifold of fixed points of the action, we prove that the trace is a pseudodifferential operator. As a corollary, we prove finiteness theorem and construct Fredholm riggings of the obtained traces.

Key words: elliptic operators, Sobolev problems, fixed points, Lie group action, Fredholm riggings.

1. Введение

Для пары (М, X), состоящей из замкнутого гладкого многообразия М и его подмногообразия X, определена операция взятия следа, которая каждому оператору на М сопоставляет его след — некоторый оператор на подмногообразии X. Следы появились в работах по относительной эллиптической теории (см. [1-3]) и применяются в исследовании задач Соболева с граничными условиями на подмногообразиях произвольной размерности. В последнее время интерес к следам возник в связи с тем, что следы дают операторы новой природы. В частности, исследовались следы операторов, ассоциированных с действиями групп Ли С на основном многообразии М (такие операторы будем ниже называть С-операторами, см. [4]). Было установлено, что такие следы в общем случае уже не являются С-операторами, а локализованы на некоторых подмножествах подмногообразия X. Соответствующие общие теоремы о локализации получены в работе [5]. В работе [6] исследованы следы, которые сосредоточены на конечном множестве точек — неподвижных точек действия группы. В этой ситуации для следов (которые оказываются операторами Фурье-Меллина) была установлена теорема конечности и предъявлена формула индекса.

В настоящей работе рассматривается случай, когда неподвижные точки действия группы образуют подмногообразие произвольной размерности, вложенное в данное подмногообразие X. В этом случае основная теорема настоящей работы утверждает, что след С-оператора представляет собой псевдодифференциальный оператор с операторно-значным символом, причём для любого значения параметра этот символ является оператором Фурье-Меллина, изученным нами ранее. Этот результат даёт в качестве следствия теорему конечности. Однако, работая с символом — оператором Фурье-Меллина, мы уже не

можем говорить о естественных условиях, при которых он обратим, а только об условиях, при которых он фредгольмов. Мы также рассматриваем ситуацию, когда символ не является обратимым, а является только фредгольмовым. В этом случае задача не является фредгольмовой. Однако её можно достроить до фредгольмовой задачи, пользуясь техникой оснащений, разработанной Б. Ю. Стерниным. Эта техника заключается в том, что если к данному псевдодифференциальному оператору с фредгольмовым операторно-значным символом добавить конечное число граничных и кограничных условий, этот оператор становится фредгольмовым (см. [7]). Мы применяем эту технику и строим оснащения следа С-оператора.

2. Постановка задачи

Рассматривается гладкое замкнутое многообразие М, замкнутое подмногообразие X с гладким вложением г : X —^ М коразмерности у и компактная группа Ли С, гладко действующая на многообразии М. На М рассматривается С-оператор (см. [4]):

Б = ! пд Тд ¿Я, Зо

где Бд — семейство псевдодифференциальных операторов порядка т, гладко зависящее от 9 € С, Тд — оператор сдвига, индуцированный действием элемента д € С:

Тд и(х) = и(д-1х),

¿д — мера Хаара на группе С.

Цель настоящей работы состоит в том, чтобы исследовать оператор

г'

который называется следом оператора Б на подмногообразии X (см. [1]), где г* и г* — операторы ограничения и коограничения, отвечающие вложению X — М. Напомним, что оператор ограничения г* действует непрерывно в пространствах

г* : И8(М) — И8-2 (X), в - у/2 > 0,

и сопоставляет функции на многообразии М ее ограничение на подмногообразие X: г*(и) = и\х, а оператор коограничения г*, определяемый двойственным образом к оператору г*, действует непрерывно в пространствах

г* : Н-8+2(X) — Н-8(М), -в + у/2 < 0,

по формуле г*(и) = и5х, где 5х — дельта-функция на подмногообразии X. Таким образом, след (1) корректно определен при в< 0, в — т — у > 0.

3. Действие группы вблизи неподвижного подмногообразия

Введем некоторые условия на действие группы С по отношению к подмногообразию X, в которых, с одной стороны, потребуем, чтобы неподвижные точки действия группы С образовывали подмногообразие в X, и, с другой стороны, наложим некоторые условия трансверсальности.

Пусть Xо = {х € X \ дх = х Уд € С} — множество неподвижных точек на X и Сх = {д € С \ Зх € X \ Xо : дх € X} — множество элементов группы С, которые оставляют внутри X другие точки, кроме неподвижных.

Определение 3.1. Действие группы С будем называть допустимым, если

1) множество X о является замкнутым подмногообразием в X, и для любой точки х € X \ Xо ее орбита Сх трансверсальна подмногообразию X;

2) множество Сх состоит из конечного числа элементов, и для любого элемента д € Сх имеем gX = X, где gX — образ многообразия X под действием элемента группы д.

Пример 3.2. На рис. 1 изображен пример, когда М = М3, X = М2, группа С действует поворотами вокруг прямой X° = М1, лежащей в X.

Рис. 1. Многообразия X, gX, XОбъемлющее пространство соответствует многообразию М

Пусть N — нормальное расслоение над многообразием X с, отвечающее вложению X° — М. Далее будем отождествлять окрестность нулевого сечения в N с некоторой трубчатой окрестностью и С М подмногообразия X° в многообразии М с помощью фиксированного диффеоморфизма.

Пусть N — нормальное расслоение над многообразием X с, отвечающее вложению X° — X. Оно является подрасслоением расслоения N, и окрестность нулевого сечения в нем также диффеоморфна некоторой трубчатой окрестности подмногообразия X°, теперь уже в многообразии X. Будем считать, что последний диффеоморфизм отвечает фиксированному выше диффеоморфизму в следующем смысле: диаграмма

N и

N X П и

(вертикальные стрелки обозначают вложения соответствующих пространств, а горизонтальные — указанные выше диффеоморфизмы) коммутативна.

Будем также считать, что в окрестности и действие группы С является послойно линейным по отношению к структуре векторного расслоения N — X°.

Для упрощения вычислений введем еще ограничение на размерности подмногообразий. А именно, будем считать, что выполнено соотношение

еоё1шм X ° = 2еоё1шх X °.

На многообразии М в окрестности точки на подмногообразии X° построим специальные координаты, которые будут использоваться в дальнейшем. Для этого зафиксируем элемент д € С \ Сх. Пусть Ng — нормальное расслоение подмногообразия Xотвечающее вложению X с — gX1, Тогда из условия трансверсальности пересечения X° = X П gX следует разложение

ТМ\хо = XXе  N  N

д

расслоения ТМ\хо — X° в прямую сумму векторных расслоений. Следовательно, в силу коммутативности диаграммы (2), для любой точки из X° существуют ее окрестность в М и

ХВ частности, расслоение Ые, введенное выше, является таким расслоением, если е — единица группы О.

координаты (у, г, гд), в которых подмногообразие Xо задается уравнением {(г, гд) = (0, 0)}, многообразие X — уравнением {гд = 0} и многообразие 9X — уравнением {г = 0}.

Все перечисленные в этом пункте условия в совокупности будем называть условиями допустимости и считать в дальнейшем всегда выполненными.

4. Анализ структуры следа оператора

Начнем со следующего выражения для следа:

г Б = г*Бг* = г*БдТдг* ¿д = / г*Бдгдх*Тд ¿д

оо

(мы прокоммутировали операторы Тд и г*), где гдх* для каждого фиксированного д — оператор коограничения с подмногообразия 9X — образа подмногообразия X под действием элемента д. Действительно, Тдг* = (Тдг*Т-1Л) Тд = гдх*Тд, где второе равенство следует из определения оператора коограничения.

Теперь наша задача разбивается на две части: изучить оператор, стоящий в (3) под знаком интеграла, и затем изучить оператор, который представляется как интеграл от семейства таких операторов.

4.1. Подынтегральное выражение

Итак, под знаком интеграла в (3) имеем оператор

г*Бдгдх* : И—— Н*-т-(X).

Операторы такого вида называются трансляторами и изучались в работах [8-10, 14]. (Отметим, что терминология и первые работы о трансляторах принадлежат Б. Ю. Стернину (см. [7])). В частности, в работе [9] изучались трансляторы, отвечающие двум многообразиям, которые пересекаются трансверсально по некоторому гладкому подмногообразию. При наших условиях на действие группы при д € С \ Сх мы находимся именно в такой ситуации и потому можем применить результаты работы [9].

В частности, из цитированной работы следует, что оператор г*Бдгдх* является псевдодифференциальным оператором с операторно-значным символом (см. [11,12]). Поскольку такие операторы технически трудно изучать в пространствах Соболева, мы, прежде чем формулировать какие-либо утверждения, заранее приведем оператор г*Бдгдх* к оператору нулевого порядка. Положим

Ад = Дх 2 г*Бдгдх*Ад х : Ь2^) —— Ь^),

где Ах и Ддх — операторы Лапласа на многообразиях X и 9X соответственно.

Мы будем рассматривать оператор Ад как псевдодифференциальный оператор с операторно-значным символом, т.е. как оператор, действующий в сечениях гильбертовых расслоений, которые будут сейчас определены. Пусть Мд — гильбертово расслоение над X0 со слоем Ь2(Мд,у) (см. [12], с. 74), где Мд,у — слой расслоения N над точкой у € X0. Имеется естественный изоморфизм

Ь2

Далее, оператор г*Бдгдх* сосредоточен на подмногообразии X0 (напомним, что оператор С сосредоточен на подмногообразии X0, если для любой гладкой функции р с носителем вне этого подмногообразия композиции Ср, рС являются компактными операторами). Отсюда следует, что, пренебрегая компактными операторами, оператор г*Бдгдх* (а также оператор Ад) можно рассматривать как транслятор, отвечающий трубчатым окрестностям подмногообразия X0 в многообразиях X и 9X. Поэтому, пользуясь диффеоморфизмами

из диаграммы (2) и изоморфизмом (4), мы можем с точностью до компактных операторов рассматривать оператор Ад как оператор

Ад : Ь2

где е — единица группы О. Приведем основные свойства оператора Ад.

Предложение 4.1. Пусть действие группы О допустимо. Тогда для каждого д Е О \ Ох оператор Ад сосредоточен на подмногообразии Xа С дХ и с точностью до компактных операторов является псевдодифференциальным оператором (5), действующим в сечениях гильбертовых расслоений. Символ а(Ад)(у,п) : Ь2(Мд,у) —> Ь2(Ые,у) для каждых (у,п) Е Т*Ха равен

(д д \

у,х,хд,п,-гд^, ) Зд* + п2)-2,

где зд : Хду ^ Ху — вложение подмногообразия Хду в .многообразие Ху (слой нормального расслоения к Xа, соответствующего вложению Xа ^ М, в точке у), Дг+п2 и ДХд1 +п2 — операторно-значные символы операторов Лапласа Дх и Ддх соответственно, представленные как операторы с операторно-значимыми символами на подмногообразии Xа. 2

Доказательство. По построению при всех д Е О \ Ох оператор Ад является транслятором, отвечающим многообразиям X, Xg, которые пересекаются по гладкому замкнутому подмногообразию Xа, причем их пересечение трансверсально (что следует из условий допустимости и коммутативности диаграммы (2)). Теперь требуемое утверждение есть следствие работы [9]. Предложение доказано.

Замечание 4.2. Символ и(Ад)(у,п) обладает свойством компактной вариации и свойством скрученной однородности. А именно, разность &(Ад)(у,п) — а(Ад)(у,Щ) при всех п, П1 Е Ту*У является компактным оператором, и выполнено соотношение а(Ад)(у,Лп) = х\а(Ад)(у,п)к-1, при всех Л Е М+, где к\и(х) = и(\х) — оператор растяжения.

4.2. Теорема о структуре следа оператора на подмногообразии

Вернемся к оператору (3). Поскольку вместо оператора г*Бдгдх*, фигурирующего в (3), мы стали изучать его приведенную версию (оператор Ад), будем далее рассматривать приведенный след О-оператора V, а именно, оператор

в — т — ^

г0(Б) = у АдТдйд, где Ад = Дх 2 СБд 1дх*ДдХ

Следующая теорема описывает природу следа О-оператора на подмногообразии и является одним из основных результатов работы.

Теорема 4.3. Пусть действие группы О допустимо. Тогда оператор А = г'о(V) сосредоточен на подмногообразии Xа С X; с точностью до компактных операторов является псевдодифференциальным оператором, действующим в сечениях гильбертова расслоения Ме:

А : Ь2 (Xа, Ме) Ь2 Xа, Ме) с символом а(А)(у, п) : Ь2(Ыеу) — Ь2(Ыеу), (у, п) Е Т*Xа,

а(А)(у,п) = [ а(Ад)(у,п)Тдйд. За

Доказательство. 1. Докажем утверждение о сосредоточенности.

2 Эти символы получены из соответствующих операторов преобразованием Фурье по у.

Лемма 4.4. Оператор г0(Б) сосредоточен на подмногообразии X0 С X.

Доказательство. В работе [6] дано доказательство в случае, когда X 0 состоит из конечного числа изолированных точек. Доказательство в нашем случае дословно повторяет доказательство из [6].

2. Для доказательства второго утверждения теоремы о псевдодифференциальности сформулируем в виде леммы одно общее утверждение. Введем соответствующие обозначения. Пусть Ф = Ф X0, Ме) — замыкание по норме алгебры псевдодифференциальных операторов, действующих в пространстве Ь2(X0,Ме) сечений гильбертова расслоения Ме, со скрученно-однородными символами, £ — замыкание по норме алгебры £ гладких символов на Б*X0 со значениями в ограниченных операторах в слоях расслоения Ме.

Лемма 4.5. Пусть Б1 € Ф, Л € Т, — семейство операторов, равномерно ограниченное по норме и сильно непрерывное по параметру t, лежащему в компакте Т. Тогда оператор

Б = 1 БгсМ,

где (Ы — некоторая мера на Т, является псевдодифференциальным, т.е. Б € Ф, и его символ равен

а(Б) = ! а(Бг)М. (8

Ае = I Ад Тд ^

Доказательство. Отображение а : Ф —> £, Б — а (Б) является гомоморфизмом С*-алгебр, откуда следует, что нормы ||а(Б^)|| равномерно ограничены (той же константой, что и нормы ||Б^||). Теперь, если мы представим интеграл (7) в виде предела по норме БN — Б при N — ж интегральных сумм БN и к каждой из этих сумм применим гомоморфизм а, то получим, что Б — псевдодифференциальный оператор, а его символ равен интегралу символов (8).

3. Вернемся к доказательству теоремы. Заметим, что семейство операторов

I Ад Тд ¿д,

где ие С С — дополнение к е-окрестности множества Ох, сходится к оператору А по норме при е 0, что следует из равномерной ограниченности норм операторов Ад и Тд.

Теперь, чтобы применить лемму 4.5 к оператору Ае, нам надо показать, что оператор АдТд является псевдодифференциальным оператором. Вспомним, что оператор Ад действует между сечениями расслоений Мд и Ме, слои которых представлены функциональными пространствами на слоях нормальных расслоений Ng и Ne над подмногообразием X 0

Учитывая, что Тд действует послойно-линейно в слоях расслоения Ng, мы видим, что композиция АдТд, очевидно, является псевдодифференциальным оператором между сечениями расслоений Мд и Ме (его символ представляет собой композицию операторов а(Ад)(у, п) и Тд). Обозначая Бд = АдТд, мы видим, что выполнены условия леммы 4.5: сильная непрерывность и равномерная ограниченность по норме операторов Бд наследуются из аналогичных свойств семейства операторов Бд (которыми оно обладает по условию) и сильной непрерывности и равномерной ограниченности нормы семейства Тд операторов сдвига.

Итак, оператор Ае является псевдодифференциальным при всех е > 0. Поэтому псевдодифференциальным является и оператор А, равный пределу по норме операторов Ае при е — 0. Эти же рассуждения дают искомую формулу для символа.

Теорема 4.3 доказана.

5. Приложения 5.1. Фредгольмовость

Положим А = г0 и рассмотрим оператор

1 + А : Ь2(X) —> ).

Следствие 5.1. Пусть символ 1 + &{A) обратим на S*XG. Тогда оператор 1 + A фредгольмов.

Доказательство. Согласно теореме 4.3 имеем A Е Ф, т.е. псевдодифференциальный оператор 1 + A является эллиптическим и, следовательно, фредгольмовым в силу результатов работы [11].

В общем случае символ 1 + a(A) не является обратимым оператором, и говорить можно только о его фредгольмовости. Эта фредгольмовость может быть эффективно проверена, пользуясь результатами работы [6].

Предложение 5.2. Оператор

1 + a(A)(y,n): L2(Ney) L2(Ne,y),

для каждых (y, rj) Е S*Xg является оператором Фурье-Меллина из [6] и не зависит от параметра п с точностью до компактных операторов.

Доказательство. Для фиксированных (у,п) оператор a(A)(y,n) действует на функциях на слое Ne,y, который вложен в слой Ny расслоения N. В силу условий допустимости, действие группы G на Ne,y имеет единственную неподвижную точку {0} Е Ny, и для всех точек x Е Ne,y орбиты Gx в пространстве N трансверсальны пространству Ne,y. При этом оператор a(A)(y,n) представляет собой след G-оператора, соответствующего указанной геометрии. Действительно, этот оператор равен

a

Ja

где

s—m—v - * n л. ^ t\ , ^-2

je

a

и операторно-значная функция Бд (у, п) определена так же, как в формуле (6). Преобразуя выражение (10) и подставляя его в (9), получаем

a(A)(y,j)= j* f (Az + rj2)Dg(y,j)(Azg + j2)-2 Tgdgj*, a

где ] — вложение Nу у ^ Ху. Пользуясь свойством компактной вариации символа &(А), мы можем положить в формуле (10) п = 0. Имеем (с точностью до компактных операторов):

s —m — v

a(A)(y,j)= j * Az 2 Dg (y,j)Azg2 Tg dgj*,

»z Dg (y,j)Azg Tg dg J*,

a

т.е. a(A)(y,j) действительно представляет собой след G-оператора:

B

a

порядок которого, как видно из (11), равен ordB(y,rj) = —v.

Итак, согласно работе [6], оператор 1 + a(A)(y,rj) является оператором Фурье-Меллина для каждого (y,n). Независимость от значения параметра п следует из компактной вариации для 1 + v(A).

Символ оператора Фурье-Меллина 1 + a(A)(y,n) обозначим aY[1 + a(A)(y,n)](p). Он определен как аналитическая оператор-функция на прямой

Re p = y, где y = dim Ney/2 = codimxXG/2 = codimMXG/4

(оператор 1 + a(A)(y,n) действует в пространствах L2 на линейном пространстве Ney, размерность которого равна коразмерности вложения XG ^ X).

5.2. Оснащения

Пусть

Р : Ь2

— псевдодифференциальный оператор на гладком замкнутом многообразии У, действующий между сечениями гильбертовых расслоений Пг и Н2 над У. Предположим, что символ а(Р) является семейством фредгольмовых операторов.

Определение 5.3. Оснащением оператора Р называется фредгольмов оператор вида

Ь2

Ф —> Ф , Ь2

где Е, Р — некоторые конечномерные векторные расслоения над У, В, С, V — некоторые псевдодифференциальные операторы.

Утверждение 5.4. [10]. Пусть символ оператора Р обладает свойствами компактной вариации и скрученной однородности. Тогда оснащение оператора Р существует, т.е. можно подобрать подходящие расслоения Е, Р и операторы В, С, Б.

Вернемся к многообразию X а и оператору 1 + А на нем. Напомним, что оператор А является псевдодифференциальным оператором, действующим в пространствах

1 + А : Ь2^с, Ме) -— Ь2(XG, Ме);

с операторно-значным символом 1 + а (А) : п*Ме —> п*Ме, где п : S*Xа —> Xа— естественная проекция.

Потребуем, чтобы символ 1 + а(А) был эллиптическим оператором, т.е. символ Фурье-Меллина а7[1 + а(А)(у,п)](р) был обратимым оператором для всех

(у, п, р) Е S*Xа х [Яв(р) = 7}, 7 = со<ИтмXа/4.

Тогда по утверждению 5.4 существует оснащение оператора 1 + А, т.е. такие векторные расслоения Е, Р над Xа и операторы Ь, с, й на S*Xа, что оператор

V Ь й ) п*Е п*Р

является обратимым. Определим псевдодифференциальный оператор

В : Ь2

с символом (12). По построению этот оператор фредгольмов. Итак, мы получаем

Следствие 5.5. Оператор (13), являющийся оснащением оператора 1 +А, корректно определен (является псевдодифференциальным оператором с операторно-значным символом) и эллиптичен.

Пример 5.6. Пусть символ 1 + а(А) является семейством фредгольмовых операторов. Тогда все операторы 1 + а(А)(у,п), (у,п) Е S*Xа, имеют конечные ядро и коядро. Предположим, что эти ядра и коядра образуют конечномерные векторные расслоения

Кег — S*Xа, Сокег — S*Xа.

Пусть все операторы 1 + а(А)(у,п) являются мономорфизмами (т.е. у них отсутствует ядро), и имеются векторное расслоение Е над Xа и изоморфизм с : п*Е —> Coker, тогда символ

П*Ме

(1 + а(А) с): ф -— п*Ме п*Е

можно взять в качестве символа оснащения оператора 1 + A. Иначе говоря, оператор 1 + A превращается во фредгольмов оператор путем добавления кограничных условий.

Если же мы предположим, что все операторы 1 + ст(А)(у,ц) являются эпиморфизмами (т.е. у них отсутствует коядро), и пусть имеются векторное расслоение F над XG и изоморфизм b : Ker —> п*Е. Тогда оператор

e

n*Ne —> e n*F

определяет символ оснащения оператора 1 + А. Таким образом, в этом случае оператор 1 + А превращается во фредгольмов оператор путем добавления граничных условий.

6. Пример

Рассмотрим тор M = T3 с локальными координатами (y, z,t) и вложенный в него тор X = T2, задаваемый уравнением {t = 0}. Предположим, что на объемлющем торе M действует группа G = S1 вращениями вокруг окружности {z = 0, t = 0}, а именно, элемент

ф Е G действует на точку x = (y,z,t) как умножение на матрицу

(1 0

x |—М 0 cos <f \ 0 sin ф

Многообразие X, сдвинутое под действием вращения на угол ф, будем обозначать фХ.

Действие группы G удовлетворяет условиям допустимости: действительно, в нашем случае множество XG неподвижных точек действия группы G задается уравнениями {z = 0, t = 0} и является подмногообразием в X, а множество Gx "особых" точек группы G состоит из двух элементов: 0 и п; все остальные условия (трансверсальности и т.д.) очевидны из определения.

Далее, подразумевая локальное рассмотрение, многообразия M, X и XG будем отождествлять с пространствами R3, R2 и R соответственно, с теми же координатами (y,z,t). Тогда геометрическая картина выглядит так: в пространстве R3 фиксирована плоскость, и группа G действует вращениями вокруг прямой на этой плоскости (см. рис. 1). Рассмотрим G-оператор D:

р2п

D = А-1 Tvdy : Hs(M) — Hs+2(M), J о

где А — оператор Лапласа на M. Тогда след i(D) этого оператора на подмногообразии X равен

i'(D) = i*A-1Tvudv : Hs(X) Hs+1(X) о

и корректно определен при s < 0 и s + 1 > 0. Приведенный след равен

Г2п s + l _s

i0(D) = AX2 [i*A-%i*] AX2dv : L2(X) L2(X), Jo

где Ax — оператор Лапласа на многообразии X, и изучим оператор вида

1+ i0

По теореме 4.3 оператор 1 + i0(D) является псевдодифференциальным оператором на многообразии XG с операторно-значным символом, который для каждого y Е

X G является

оператором, действующим на функциях в L2(Ny), где

Ny = {(z, t) | t = 0} ~{y = 0,t = 0}C R3.

0

— sin f cos f

x.

Вычислим символ оператора (14). Для этого зафиксируем у, применим оператор (14) к функции п(г) € Ь2Му) и сделаем преобразование Фурье по у:

1 + a(i0D)(y,n) u(z)= u(z)+

п2п

3 + 1

+ / (А, + п2) 2 j* [(л2 + Az,t)-%] j* (Az + n2) 2u(z)dv, (15

где Аг ^ — оператор Лапласа на многообразии М^ ,4 ~ {у = 0}, Аг — оператор Лапласа на многообразии Мг ~ {у = 0, t = 0}, ] : Мг ^ М^ ,4 — вложение многообразия {у = 0, t = 0} в многообразие {у = 0}, п — двойственная переменная к у.

Утверждается, что для каждых фиксированных (у,п) оператор (15) — это оператор Фурье-Меллина на подмногообразии Мг. В самом деле, поскольку символ обладает свойством компактной вариации, мы можем положить п = 0. Обозначим

1 + А = 1 + а^Б^у, 0)

и изучим этот оператор.

Далее, следуя [6], получим действие оператора А после преобразования Фурье по переменным (х,^):

г-2п

(1 + A)u(Z )= u(Z) +

Id

s+l

u

IZ cos ф + T sin ф^

Z2 + T2

dфdт,

где Z, т — двойственные переменные к z, t. Сделаем в последнем интеграле замену переменной т — в по формуле в = Z cos ф + т sin ф. Получим

(1 + A)u(z) = IZНС) + í Kr(z,e)u(d) м

JRe 101

где интегральное ядро Kr(Z,0) равно

"2п ' s IZII0II sinф\

Kr(Z,0) =

z2 + 02 - 20Z cos ф

dф = 2

ln

IZ I + Щ

IZ I - щ

Разобьем функцию п(С,) в сумму и(() = и+(() + и-((), где ) — четная компонента и и-(^) — нечетная. Тогда оператор (16) по отношению к указанному разбиению на четную и нечетную компоненту записывается в матричном виде:

u+

1+ЧГ0

о

u+

где

K (t) = -ts ln

П

1 +1

1t

Преобразование Меллина (см., например, [13]) M.r^pu(r) = JR+ tpu(t) dt/t переводит оператор (17) в оператор умножения на матрицу:

/

u+

1 + 4п-

tg( ^

p + s

V

\

1

u+

Эта матрица и есть символ Фурье-Меллина оператора А, который обозначается через ^1/2(1 + А)(р). Отметим, что здесь выбирается весовая прямая Иер = 1/2, так как оператор А действует в пространствах Ь2(Х), поэтому, согласно определению символа оператора Фурье-Меллина (см. [6]), весовая прямая имеет вид Ие р = еоётх X °/2 = 1/2.

о

R

0

т

s

о

о

Предложение 6.1. Оператор (15) фредгольмов при тех s, для которых

+ = - í' - <s<

Доказательство. Матрица 01/2(1 + A)(p) вырождена, когда выполнено равенство

-

Представим p+s в видеp+s = a+i@, где а и в — вещественные числа (при этом а = 1/2+s), и рассмотрим мнимую часть уравнения (19). Получим соотношение

в (20) 4п cos па + ch пв

Заметим, что левая и правая части равенства (20) для каждого а являются нечетными функциями переменной в, при этом для ненулевых в они принимают значения противоположных знаков. Поэтому равенство (20) выполнено только при в = 0. Отсюда следует, что соотношение (19) не выполнено никогда, если у p присутствует мнимая часть. Подставляя в (19) p = 1/2, получаем условие (18).

Работа выполнена при поддержке Российского фонда фундаментальных исследований (РФФИ), проекты № 16-31-00176, № 16-01-00373.

Литература

1. Стернин Б.Ю. Эллиптические и параболические задачи на многообразиях с границей, состоящей из компонент различной размерности // Труды Моск. Мат. общ-ва. 1966. С. 346-382.

2. Новиков С.П., Стернин Б.Ю. Следы эллиптических операторов на подмногообразиях и K-теория // Докл. АН СССР. 1966. Т. 170. С. 1265-1268.

3. Новиков С.П., Стернин Б.Ю. Эллиптические операторы и подмногообразия // Докл. АН СССР. 1966. Т. 171. С. 525-528.

4. Савин А.Ю., Стернин Б.Ю. Нелокальные эллиптические операторы для компактных групп Ли // Докл. АН. 2010. Т. 431, вып. 4. С. 457-460.

5. Савин А.Ю., Стернин Б.Ю. О следах операторов, ассоциированных с действиями компактных групп Ли // Фунд. и прикл. матем. 2016. Т. 21, № 3. С. 1-18.

6. Лощенова Д.А. Задачи Соболева, ассоциированные с действиями групп Ли // Дифф. уравн. 2015. Т. 51, № 8. С. 1056-1069.

7. Стернин Б.Ю. Эллиптические морфизмы на многообразиях с особенностями (оснащение эллиптического оператора) // Докл. АН СССР. № 12. 1971. С. 45-48.

8. Савин А.Ю., Стернин Б.Ю. Об индексе эллиптических трансляторов // Докл. АН. 2011. Т. 436, № 4. С. 443-447.

9. Савин А.Ю., Стернин Б.Ю. Эллиптические трансляторы на многообразиях с точечными особенностями // Дифф. уравн. 2012. Т. 49, № 4. С. 1612-1620.

10. Савин А.Ю., Стернин Б.Ю. Индекс задач Соболева на многообразиях с многомерными особенностями // Дифф. уравн. 2014. Т. 50, № 2. С. 229-241.

11. Luke G. Pseudodifferential operators on Hilbert bundles //J. Diff. Equations. 1972. P. 566589.

12. Nazaikinskii V., Savin A., Schulze B.-W, Sternin B. Elliptic Theory on Singular Manifolds // CRC-Press, Boca Raton. 2005.

13. Бейтмен Т., Эрдейи А. Таблицы интегральных преобразований. Преобразования Фурье, Лапласа, Меллина. Том 1. Преобразования Фурье, Лапласа, Меллина // М.: Наука. 1969.

14. Савин А.Ю., Стернин Б.Ю. Эллиптические трансляторы на многообразиях с многомерными особенностями // Дифф. уравн. 2013. Т. 49, № 4. С. 513-527.

References

1. Sternin B.Yu. Elliptic and parabolic problems on manifolds with a boundary consisting of components of different dimension. Trudy Moskov. Mat. Obsh. 1966. P. 346-382.

2. Novikov S.P., Sternin B.Yu. Traces of elliptic operators on submanifolds and K-theory. Dokl. AN USSR. 1966. V. 170. P. 1265-1268. (in Russian).

3. Novikov S.P., Sternin B.Yu. Elliptic operators and submanifolds. Dokl. AN USSR. 1966. V. 171. P. 525-528. (in Russian).

4. Savin A.Yu., Sternin B.Yu. Nonlocal elliptic operators for compact Lie groups. Dokl. AN. 2010. V. 431, N 4. P. 457-460. (in Russian).

5. Savin A.Yu., Sternin B.Yu. On traces of operators associated with actions of compact Lie groups. Fund. and Appl. Math. 2016. V. 21, N 3. P. 1-18.

6. Loshchenova D.A. Sobolev problems associated with the actions of lie groups. Differ. Equations. 2015. V. 51, N 8. P. 1056-1069.

7. Sternin B.Yu. Elliptic morphisms (riggings of elliptic operators) for submanifolds with singularities. Dokl. AN USSR. 1971. V. 12. P. 45-48. (in Russian).

8. Savin A.Yu., Sternin B.Yu. On the index of elliptic translators. Dokl. AN. 2011. V. 436. N 4. P. 443-447.

9. Savin A.Yu., Sternin B.Yu. Elliptic translators on manifolds with point singularities. Differ. Equations. 2012. V. 49, N 4. P. 1612-1620.

10. Savin A.Yu., Sternin B.Yu. Index of Sobolev problems on manifolds with many-dimensional singularities. Differ. Equations. 2014. V. 50, N 2. P. 229-241.

11. Luke G. Pseudodifferential operators on Hilbert bundles. J. Diff. Equations. 1972. P. 566589.

12. Nazaikinskii V., Savin A., Schulze B.-W, Sternin B. Elliptic Theory on Singular Manifolds. CRC-Press, Boca Raton. 2005.

13. Bateman Т., Erdelyi A. Tables of integral transforms. Transformations of Fourier, Laplace, and Mellin. Volume 1. Transformations of Fourier, Laplace, and Mellin.Transforms of Fourier, Laplace, and Mellin. V. 1. Transforms of Fourier, Laplace, and Mellin. М.: Nauka. 969.

14. Savin A.Yu., Sternin B.Yu. Elliptic translators on manifolds with multidimensional singularities. Differ. Equations. 2013. V. 49, N 4. P. 513-527. (in Russian).

Поступила в редакцию 20.06.2017