Регуляризованные следы дискретных операторов Подольский Владимир Евгеньевич

Содержание к диссертации

Введение

1. Суммирование регуляризованных следов методом расстановки скобок . 42

1.1.. Предварительные сведения . 42

1.2. Операторы с ядерной резольвентой . 49

1.3. Операторы с неядерной резольвентой. 61

1.4. Операторы с регулярным поведением спектра 69

1.5. Примеры 76

2. Суммирование регуляризованных следов методом Абеля 85

2.1.. Асимптотическое поведение дробной производной Вейля следа голоморфной операторной полугруппы 85

2.2. Суммирование по Абелю следов операторов с известным асимптотическим поведением тэта - функции 92

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

2.4. Суммирование по Абелю следов операторов, регуляризованных диагональю возмущения: случай резольвенты Гильберта - Шмидта 105

2.5. Пример: оператор Лапласа на двумерной сфере с нечетным потенциалом. 119

3. Оператор Лапласа — Бельтрами на компактных 2 симметрических пространствах ранга 123

3.1. Предварительные сведения 123

3.2. Суммирование следов по Абелю 128

3.3. Суммирование следов со скобками 137

3.4. О точной границе сходимости 138

4. Некоторые вопросы теории оператора Штурма - Лиувилля . 146

4.1. Операторы класса S 146

4.2. О приближении первых собственных чисел оператора класса S 157

4.3. Приближение оператора Штурма-Лиувилля общего положения оператором класса S 161

4.4. Прямые соотношения между спектральной функцией и переходной функцией обратной задачи 164

4.5. Асимптотика функции Вейля - Титчмарша 172

Литература, 177

• Операторы с ядерной резольвентой
• Суммирование по Абелю следов операторов с известным асимптотическим поведением тэта - функции
• Суммирование по Абелю следов операторов, регуляризованных диагональю возмущения: случай резольвенты Гильберта - Шмидта
• Суммирование следов со скобками

Введение к работе

Настоящая работа посвящена исследованиям в теории регуляризован-ных следов дискретных операторов: условиям существования регуляри-зованных следов, их суммируемости различными методами, вычислению явных выражений для регуляризованных сумм собственных чисел через параметры операторов; также некоторым приложениям теории к смежным вопросам спектрального анализа, таким как обратная задача, приближенное вычисление собственных чисел, исследование классических функций, связанных с оператором: спектральной функции, дзета - и тэта - функции, функции Вейля - Титчмарша.

Теория следов линейных операторов берёт своё начало с одного из фундаментальных фактов конечномерной теории: инвариантности матричного следа линейного оператора и совпадении его со спектральным следом:

N N N

Y (A4 n,4 n) = (А Фп) = п, (0.0.1)

п=1 п=1 п=1

здесь {Ап} — собственные числа оператора А} a ({ РЛ І { П} =І) — два произвольных базиса пространства.

Этот результат был последовательно перенесен на случай бесконечномерных операторов со следом — иначе называемых ядерными, а именно, было доказано (см. [15]), что если оператор А — ядерный, то для любой пары {{ пУп гЛФпУп !} ортонормированных базисов верно

4-ое -hoo

J2 (Л Рп, Рп) = ]Г {Афп, Фп), (0.0.2)

П=1 П=1

и так же верно равенство, известное как теорема В. Б. Лидского [15, 39]

+00

] ( 11. ) = 5 А , (°-0-3)

где {Лп} — все собственные числа оператора Л. Этими результатами: классическая теория была завершена, так как здесь, в максимальной общности охвачен весь класс операторов, имеющих след.

Дальнейшее развитие теории привело к постановке и исследованию вопроса о распространении понятия инвариантности следа на операторы, не имеющие следа. Пример содержательной физической интерпретации этого можно найти в цикле работ И. М- Лифшица, завершенном работой [44]. Здесь естественно, в соответствии с одними из основых идей и методов теории суммирования расходящихся рядов, возникает следующая постановка задачи: при расходимости ряда из матричных элементов оператора доказать как аналог формулы (0.0.2) соотношение

4-ое

((A Pn Рп) - (Афп, фп)) = 0. (0.0.4)

Разумеется, в такой общей формулировке задача не имеет решения вовсе, так как верен следующий простой факт: если ряд из матричных; элементов расходится в каком-то базисе {v?n}j то всегда существует такая перенумерация векторов этого базиса, которую можно принять за другой базис {фп}\ что ряд (0.0.4) расходится. Это означает, что для любых неядерных операторов А, в том числе и определенных во всем пространстве, соотношение (0.0.4) не может быть верно для любых пар базисов, и задача необходимо имеет вид: указать класс операторов и соответствующий класс пар базисов, для которых имеет место инвариантность следа в смысле (0.0.4).

Эта постановка естественно влечет следующую проблему: как выбрать пару базисов? — ведь хотя ясно, что второй из этих базисов должен быть в каком-то смысле близок к первому, но определение первого базиса должно быть обусловлено содержательными внутренними причина ми. Безусловно, можно предложить несколько разумно мотивированных подходов к задаче выбора базисов, для дискретных операторов (то есть операторов с компактной резольвентой) один из наиболее естественных путей дает спектральная формулировка (0.0.3), и в рассматриваемых в настоящее время в теории следов постановках задач в качестве одного из базисов выбирается базис из собственных векторов оператора — разумеется, в предположении, что он есть, а для определения второго базиса оператор "расщепляется" в сумму двух Л = Ло + Вг причём предполагается подчинённость в каком-либо смысле оператора В оператору Ло, и формула (0.0.4) приобретает вид

+оо

71=1

+00

=;](((4 + в) рп, рп) - ((Ло + в) фп, фп)) =

п=1

+00

= 2 {iAtfPny 4 п) - ((Л0 + В) фП1 трп) + (Btpn, Рп)) = п=1

+0О

= Z) (Л" " / » + (в Рп,Ч п)) = 0, (0.0.5)

72=1

где { Рп} — базис из собственных векторов оператора Ло с собственными числами {Ап}, {фп} — базис, из собственных векторов оператора А с собственными числами {/гп}, а степень подчиненности оператора В оператору Ло фактически является мерой близости базисов.

Укажем здесь ещё на одно важное обстоятельство — в случае общего положения мы вынуждены рассматривать суммирование в (0.0.5) со скобками,.так как если оператор Ло имеет кратное собственное число, то в соответствующем инвариантном подпространстве у нас не будет никакого приоритетного выбора базиса и вновь простая перенумерация векторов приведет нас, вообще говоря, к потере смысла задачи, причём в силу симметрии основной формулы (0.0.4) реально мы должны будем рассматривать как единое целое след конечномерной части оператора,

действующей в сумме подпространств, отвечающих пусть различным, но близким (кратное собственное число при возмущении В рассыпется в группу близких в смысле данного возмущения) собственным числам. Другими словами, мы должны объединить в одну группу те собственные числа оператора AQ, которые при возмущении некоторым (своим для каждой группы) оператором В; из того же класса, что и В, могут перейти в одно кратное собственное число оператора Ао + В .

В нашем обзоре истории вопроса мы ограничимся случаем дискретных операторов, не касаясь теории регуляризованных следов операторов со спектром произвольной природы, начало которой было положено работами И. М. Лифшица [44] и М. Г. Крейна [36]. Обзор этого направления вплоть до современного состояния теории можно найти в [4], мы же ограничимся тем замечанием, что результаты этой теории в применении к дискретным операторам всегда уступали результатам прямых исследований.

Первый результат теории регуляризованных следов дискретных операторов — формула Гельфанда - Левитана для оператора Штурма it

Лиувилля [12] с потенциалом q(x), f q(x) dx = 0:

о V (n „2\ _ g(Q)+g(7T)

была получена методом, опиравшимся на прямое исследование характеристического определителя задачи и на первый взгляд не имела вида (0.0.5), но почти сразу Л. А. Дикий показал, что эти подходы прямо связаны, рассмотрев в работе [17] для оператора Штурма - Лиувилля сумму (0.0.4):

00 ( 2f Y

I цп — п2 / q(x) sin2 пх dx 1=0,

=f\ і . )

и показавший, что формула Гельфанда - Левитана фактически есть формула (0.0.5), в которой авторы провели исследование таким обра 7Г

зом, что член (Btpni(pn), равный в этой задаче f q(x)sin2пхdxy авто о матически, самим методом был разбит на две части, и главный член,

образующий расходящийся ряд, был оставлен на месте (в левой части

формулы), а все остальное просуммировано и сумма записана в правую

часть.

Именно такой подход, при котором член (В рП} рп) обязательно исследуется, от него отделяется расходящаяся составляющая, выраженная только в терминах собственных чисел оператора.Ло и его параметров (коэффициентов, краевых операторов и т. п.), а все остальное суммируется и заносится в правую часть, долгое время был центральным в многочисленных исследованиях, причем авторы весьма успешно разрабатывали прямые методы получения формул следов такого вида, минуя выражения типа (0.0.5). Отметим, что возможность выразить регуляри-затор через собственные числа невозмущенного оператора есть важный результат сам по себе — на этом пути вскрывается связь теории следов с теорией дзета - функций операторов, устанавливаются важные формулы обратных задач и исследуется ряд других вопросов.

Метод, основанный на исследовании асимптотического разложения следа резольвенты предложил использовать И. М. Гельфанд [13], для оператора Штурма - Лиувилля впервые получив формулы следов высших порядков: (/і -Л(п)) = ад,- (о.о.б)

где Ak{n) — отрезок разложения // по степеням п (то есть фактически по степеням невозмущенного спектра Ап), содержащий только неотрицательные степени п, В(к) в конечном виде выражаются через q(x) и ее производные.

Первым прямо использовал дзета - функцию оператора для получения формул следов Л. А. Дикий [18, 19], так же получивший формулы следов всех порядков. Продолжались исследования по регуляризован ным следам абстрактных операторов, после работ Дикого [17, 19] результат в этом направлении был получен в работе Хальберга и Крамера [106]: для возмущения ограниченным оператором V дискретного самосопряжённого оператора Т такого, что Т"1 ядерный, в предположении, что сходятся ряды $3(АП — №п) и S( V?M Лг) доказано равенство

здесь {tpn} — собственные вектора оператора Т. В качестве примера в работе впервые был найден след для оператора второго порядка на конечном отрезке с нераспадающимися краевыми условиями. Некоторое усиление этого результата было получено в работе [98], и затем в работе Гильберта и Крамера [99] для самосопряжённых операторов Т и V таких, что Т-1, VT"1 Є 6і были получены формулы регуляризован-ных следов с регуляризацией, состоящей из нескольких поправок теории возмущений, и в качестве примера были доказаны формулы следов порядка выше первого. Отметим важное обстоятельство: в этой работе вслед за работой Дикого [19] выражение (В(рПі(рп) трактуется как первая поправка теории возмущений дискретного спектра, и формула следа (0.0.5) обобщается до формулы с вычитанием большего числа поправок, за счет чего расширяется класс охваченных формулой пар операторов. Далее, в начале 60-х в работах М. Г. Гасымова и Б. М. Левитана [10y.ll] впервые были рассмотрены операторы Штурма - Лиувилля на полуоси, т. е. на некомпактном многообразии, остановимся подробнее на работе М. Г. Гасымова [10]. Для произвольного оператора А автор ввёл понятие следа в базисе: если для некоторого ортонормированного базиса

N

пространства { рп} существует предел lim (Atpn ipn)t то он называ ЛГ-»ооп=1

ется следом оператора Ав базисе { рп}. Основным результатом работы стала теорема: пусть А — самосопряжённый дискретный оператор, В — самосопряжённый оператор такой, что А + В — самосопряжённый дискретный оператор, и пусть существует и совпадает след оператора Вв

двух базисах из собственных векторов операторов А и А + В. Тогда

N N

п=1 п=1

где \хп и Ап соответственно собственные числа операторов А + В и А В качестве приложений в [10] были рассмотрены две задачи для обыкновенных дифференциальных полуограниченных операторов второго порядка на оси и полуоси с дискретным спектром, возмущённых оператором умножения на финитную функцию р(х) с нулевым средним, и для задачи на оси доказана формула

N

limT(//n-An) = 0,

JV-K50 — п=1

а для задачи на полуоси с дополнительным требованием дифференци-руемости р(х) в некоторой окрестности нуля доказана формула

n=l

Крупное продвижение теории было достигнуто А. Г Костюченко в; своей докторской диссертации [35]. Для возмущения положительного дискретного дифференциального оператора в Хг(1К) с операцией вида

ІУ = (-l)V2m) +P2m-2(x)2/(2m-2) + - - - +Ро{х)у

оператором умножения на финитную функцию q(x) Є L\ было доказано,

+00 +О0

что если / q(x)dx = 0, то 2(fJ n — An) = 0, и был получен результат

-00 п=1

для оператора четвертого порядка на полуоси; для граничной задачи 2/(0) = 2/ (0) = 0 и для потенциала g(s), имеющему, сверх уже указанных условий, ограниченную вариацию в некоторой окрестности нуля, верна формула

9(0)

)(/ - А„) =

п=1

Другой вопрос, выдвинутый развитием теории на первый план после завершения исследования регулярной задачи для оператора второго порядка, был рассмотрен математиками в начале 60-х годов — это

распространение полученных результатов на обыкновенные дифференциальные операторы более высоких порядков. В работе Р. Ф. Шевченко [91] получен первый результат теории следов для дифференциального оператора порядка большего двух, и далее в работах В. А. Садовничего [58, 59,60,61] в этом направлении был получен ряд сильных результатов, отметим полученную методом тэта - функций формулу для обыкновенного дифференциального оператора 4-го порядка.

Принципиальным прорывом в теории следов стало применение методов теории функций для исследования дзета - функции оператора в работе В; Б. Лидского и В. А. Садовничего [41]. В работе [41] для специального класса функций if, включающего в себя характеристические определители многих спектральных задач, в том числе "почти всех" задач для регулярных обыкновенных дифференциальных операторов, был дан метод вычисления регуляризованных сумм корней, что вместе с данным в работе этих же авторов [42] методом вычисления асимптотических разложений этих корней по степенно - логарифмическим функциям номера позволило решать задачи теории следов во многих важных случаях. Выделим здесь задачу Орра - Зоммерфельда [43], исследование нулей функций Бесселя [62], задачу о суммировании полуцелых степеней собственных чисел и связанную с ней задачу о суммировании собственных чисел в одной серии [63, 64], исследование спектральной функции оператора [65] через исследование взвешенной дзета - функции.

Во многом завершили развитие этого направления в теории следов работы В. А. Садовничего, В. А. Любишкина и Ю- Беллабасси [74, 79], в которых теория функций класса .ЙТ расширена до функций типа синуса, что позволило включить в рассмотрение все характеристические определители регулярных обыкновенных дифференциальных операторов.

Однако постепенно стало ясно, что в общем положении (и уже для большинства операторов в частных производных) выражение (В рП1 (рп)

не может быть эффективно исследовано (достаточно сказать, что даже для одномерного гармонического осциллятора этот агрегат слабо исследован и до сих пор находится в стадии активного изучения) и с конца 70-х годов возобновились активные исследования формул вида (0.0.5) и близких к ней. Первыми работами в этом направлении стали работы В. А. Садовничего и В. В. Дубровского [66, 67]. Абстрактная теорема первой из этих работ позволила исследовать возмущение оператора Лапласа на квадрате интегральным оператором с гладким ядром, а во второй теорема была усилена, что позволило в качестве примера впервые рассмотреть дифференциальный оператор в частных производных, а именно, формула следа была получена для возмущения оператором умножения на функцию р(х,у) степени 3 + оператора Лапласа на двумерном прямоугольнике с условиями Дирихле, и при некоторых ограничениях на потенциал формула приобретает вид, весьма сходный с формулой Гельфанда - Левитана:

р(0,0) + р(а, 0) + Р(0 Ь) + р{а, Ь)

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

Глубокое исследование формул следов в случае конечномерного возмущения, во многом повлиявшее на дальнейшее развитие теории, было проведено в статье В. А. Садовничего и В. А. Любишкина [80]. Здесь рассмотрено возмущение самосопряженного дискретного оператора А конечномерным оператором Ви = Y?k=i (Aui fk) Эк, где Д и дк некоторые вектора пространства. Подчеркнем, что так как вектора Д, вообще говоря, не принадлежат области определения оператора А\ то оператор В может быть неограничен. В работе для оператора А\ считающая функция спектра которого имеет асимптотику N{\) = сХ + О (Хр)}

с О, О p 1, доказана формула следа

lim JT (»п -\n) = J2 iAl 4i9h AQifi).

71—+00 гдеО 2 — некоторые числа, /} Є (Л ) і €V(A2 qi).

Далее отметим работы В. А. Садовничего и В. А. Любишкина [75, 76, 77], В. А. Садовничего, В. А. Любишкина и В. В. Дубровского [78], В. В. Дубровского [22, 23, 24], В. А. Любишкина и Г. В. Козлова [33, 34], В. Е. Подольского [47, 48]. Во всех работах, посвященных исследованию абстрактных операторов, формула (0.0.5) (или более общая, с регуляризацией несколькими поправками теории возмущений) была доказана для различных классов операторов, на которые, помимо других условий, обязательно накладывались условия: оператор Ло самосопряженный, его собственные числа удовлетворяют условию АП cnl+s с некоторым (различным в разных результатах) 8 0, а оператор В ограничен. Наиболее сильный результат был получен в работах В. В. Дубровского [23, 24]. В [23] справедливость формулы следа (0.0.5) была установлена для самосопряжённого оператора А с N(X) = 0(ХР)% где р 1/2 и ограниченного В, а для возмущения, принадлежащего классу Гильберта - Шмидта, формула была доказана при р 1. В продолжении этих исследований [24] автор для случая ограниченного возмущения и р 1 получил формулы следов для степени п собственных чисел, ре-гуляризовав их I — 1 поправкой теории возмущений, где / я/(1 —р)-Некоторое уточнение этих результатов для специального случая наличия асимптотической формулы Ап = па + о{пР), I (3 а /3 + 1 было получено В. В. Дубровским1 и А. С. Печенцовым [26, 27].

В несколько отличающейся по технике оценок поправок теории возмущений работе [96] М. Достанич получил ряд интересных теорем с ясными формулировками. Рассматриваемые им невозмущенные операторы имеют спектр с особо регулярным поведением, и за счет этого автору

1В отношении ряда более поздних работ В. В. Дубровского см. [29].

удалось, не налагая дополнительных условий на возмущение, получить результаты для операторов с не слишком быстро растущей последовательностью собственных чисел. Формула следа (0.0.5) была доказана им для случая, когда с\ (An+i — Лп) /п 1 р р С2, 0 р 1, та же формула при более слабом условии lim У) (Лп+і — \Л = 0 была до казана для случая N (А) сЛр, 0 р 2/3. Еще отметим, что в этой работе был рассмотрен и случай неограниченных возмущений при регулярности невозмущенного спектра и подчиненности возмущения степени невозмущенного оператора: если с\ (An+i — Лп) /n l p p сг, 0 р 1/2 и возмущение подчинено степени /3 невозмущенного оператора, 0 Р \ — р, то верна формула (0.0.5).

В спектральной теории линейных операторов давно используется при решении разных задач метод суммирования рядов по Абелю. Пионерской здесь была работа В. Б. Лидского [40], в которой этот метод использован для суммирования разложений по главным векторам оператора. К исследованию регуляризованных следов метод суммирования по Абелю впервые был применен в работе В. А. Любишкина и Г. В. Козлова [34], идейно и технически прямо опиравшейся на работу [40].

В 1993 г. в работе В. А. Любишкина и В. Е. Подольского [45] была предложена новая техника суммирования регуляризованных следов методом Абеля, применимая для операторов с известным асимптотическим поведением в нуле следа голоморфной полугруппы, генератором которой является исследуемый оператор.. Она позволила для широкого класса дифференциальных операторов на компактных многообразиях (порядок которых больше размерности многообразия) получать суммированные по Абелю формулы регуляризованных следов вида:

Дт+ Y, e Xkt Ы - А + »А " ) = хп+ь (0.0.7)

существенным достоинством которой является то, что в качестве регуля-ризатора в ней фигурирует конечная сумма степеней собственных чисел

невозмущенного оператора, при том, что в общем положении собственные числа операторов этого класса подобного асимптотического разложения не имеют. Позже, в работе автора [55] было предложено называть эту регуляризующую сумму слабой асимптотикой спектра рассматриваемого оператора.

Ожидалось, что суммирование по Абелю, как весьма сильный метод суммирования, будет давать опережающие обычное (со скобками) суммирование следов результаты, и в том числе предлагать содержательные ориентиры для исследований обычных форм регуляризованных следов, что и подтвердило несколько работ, отметим в этом контексте [52, 5,1], и выделим работу Е. В. Александровой [2], в которой по методу работы [52] для возмущенного гармонического осциллятора удалось с помощью тауберовой теоремы Литтлвуда снять в формуле следа суммирование по Абелю.

К задаче суммирования по Абелю разложений по собственным функциям и регуляризованных следов близко примыкает важная, самостоятельная задача теории операторов — задача исследования полугрупп операторов, их теория возмущений, оценки приближений в различных нормах. Приближения полугрупп в нормах идеалов компактных операторов исследовались, мы укажем здесь на работы [107, 112], в которых изучается скорость приближения полугруппы членами последовательности типа Троттера. Однако в основном изучению подвергались конкретные дифференциальные операторы (см., например, большой обзор Б. Саймона [НО]), а для абстрактных операторов исследование асимптотики при і - 0+ следа полугруппы ограничивалось оценкой главной части.

Одной из важнейших конкретных задач теории следов является задача, поставленная в 60-е годы И. М. Гельфандом — получить формулы следов для оператора Лапласа - Бельтрами на сфере. Остановимся коротко на истории вопроса. Долгое время для дифференциальных

операторов на компактных многообразиях с периодическим бихаракте- ристическим потоком не удавалось вообще сколь-либо содержательно исследовать спектр, и продвинуться в этой задаче удалось лишь после создания современного микролокального анализа — теории интегральных операторов Фурье. Первые общие результаты здесь были получены Ж. Шазарэном [94], Дюйстермаатом и Гийеминым [97], А. Вейнстей- ном [ИЗ], Колином де Вердье [95], которые показали, что спектр таких операторов хорошо локализуется вокруг спектра невозмущенного (отвечающего главному символу) оператора. Особое место, как основная модель и как физически наиболее интересный случай, в этой теории занимает возмущенный оператором умножения на гладкую функцию оператор Лапласа - Бельтрами на многообразиях с замкнутым геодезическим потоком. Важнейшим классом таких многообразий являются симметрические пространства ранга 1. В работах А. Вейнстейна [113], В. Гийемина [101, 102, 103, 104], X. Видома [114] и работе В.Гийемина и А. Уриба [105] детально изучен спектр оператора —А + 5, где q — вещественная функция, q Є С°°(М) и показано, в частности, что оценка \\kti — fJ kti\ = 0(1) і = 1, .,, jJVfc, легко получаемая из минимаксного принципа, не может быть улучшена при q ф const для всех симметрических пространств ранга 1, кроме 5П, и более того, доказано, что множество предельных точек последовательности (// — Ajy), к = 0,1, есть отрезок [а, 6] вещественной оси и для а иЬ предъявлены формулы, выражающие их через q\ на Sn эта оценка может быть улучшена только для нечетных q до следующей: \Х % — //& i = О {ifк2) , г = 1,..., Nk — и эта оценка также неулучшаема.

Из неулучшаемости приведенных оценок ясно, что трудно рассчитывать найти простую регуляризующую последовательность v\ такую, чтобы сходился ряд с общим членом (/Xfc — Ajt — Vk) — во всех случаях, кроме случая Sn с нечетным q. Отсюда ясна и цель дальнейших исследований — в условиях, когда дальнейшее изучение асимптотического

поведения спектра оператора —Л + д, по сути, невозможно, тем не менее исследовать "тонкую структуру" спектра: суммируемость разности собственных чисел -Аи-Д + g различными методами.

Один из подходов — суммирование со скобками, и в этом направлении в работах В. А. Садовничего и В. В. Дубровского [68, 70], для S2 с нечетным q была получена следующая формула:

= -2 , + 3 оо Г 2п n=l Li=0

(0.0.8) Другое приложение теории следов - приближенное вычисление собственных чисел - также было предложено И. М. Гельфандом на примере оператора Штурма - Лиувилля. Задача о вычислении первых собственных чисел операторов является одной из важных классических задач математической физики и этой проблеме были посвящены многочисленные исследования. Мы ограничимся обсуждением теоретических методов и алгоритмов, не касаясь методов численных.

Одним из наиболее употребительных способов является метод, основанный на хорошо известных равенствах, связывающих итерированные функции Грина рассматриваемой задачи и ее собственные значения:

Г 1

I Gk{x,x)dx=S y к = 1,2,... (0.0.9)

( "=» п

Глубокое исследование в этом направлении принадлежит А. А. Дородницыну [20]. Суть метода проста: обрываем в этих равенствах ряды до слагаемых с номером N и берем (N + 1)-но первое равенство. Решаем полученную конечную систему и получаем приближенные значения собственных чисел, тем более точные, чем большее N взято. В силу хорошо известной во многих классических задачах локализации собственных чисел с точностью до 0(1) оценку отброшенного остатка ряда сделать несложно и корректность метода очевидна. Вместе с тем метод обладает существенным недостатком: вычисление конкретных значений интегра лов из левой части данных равенств не алгоритмизуется и эти интегралы в конечном виде через параметры исходной задачи, вообще говоря, не выражаются.

С появлением в работах И. М. Гельфанда [13] и Л. А. Дикого [18] системы следов высших порядков (0.0.6) появилась возможность другого подхода к этой задаче. Равенства (0.0.6) важны и интересны в том числе и потому, что Ап(к) и В(к) выражаются в конечном виде через коэффициенты дифференциального выражения и краевых условий и их вычисление вполне можно алгоритмизовать, как это сделано, например, в более сложной задаче Орра - Зоммерфельда в работе В. Б. Лидского и В. А. Садовничего [43] или для периодической задачи для оператора Штурма -Лиувилля в работе МакКина и ван Мёрбеке [108].

В связи с этим И. М. Гельфанд и JL А.. Дикий [18] предложили в 1957 г. новый метод приближенного вычисления первых собственных чисел оператора Штурма - Лиувилля: аналогично схеме использования системы (0.0.9) удержать в системе (0.0.6) частные суммы рядов до iV-ro слагаемого в (N + 1)-м регуляризованном следе и полученную приближенную систему решить, найдя некоторые приближения к собственным числам задачи. В [18] сделано конкретное вычисление для уравнения Ма-тье по указанной схеме и получены значения трех первых собственных значений, верные в третьем знаке после запятой. Однако в [18] данный метод не обоснован: никаких оценок при переходе от рядов к их частным суммам сделано не было. Не было дано обоснование этого метода и позже.

Тем не менее регуляризованные следы, основанные на поправках теории возмущений, использовались для приближенной оценки собственных чисел, укажем здесь на работы В. А. Садовничего, В;.В." Дубровского и других [69} 71,-72,.73].

В 1995 г. С. А. Шкарин [92] доказал неединственность решения бесконечных нелинейных систем определенного вида и, в частности, для

систем вида (0.0.6) из его результатов следует, что если решать эту систему относительно Ап, то у (0.0.6) существует континуум решений, причем мы можем заранее совершенно произвольно задать любое конечное число Ап-х и всегда существуют решения с этими заданными числами. Таким образом, было показано, что метод приближенного вычисления первых собственных чисел с помощью системы регуляризованных следов в трактовке И. М. Гельфанда и Л. А. Дикого не может быть реализован.

Перейдем к обзору содержания диссертации.

Первая глава целиком посвящена доказательству формул регуляризованных следов со скобками для широких классов дискретных операторов в гильбертовом пространстве. Во всей главе невозмущенный оператор AQ предполагается самосопряженным и положительным. В параграфе 1.1. мы приводим некоторые необходимые предварительные сведения из теории Шаттена - фон Неймана симметрично - нормированных идеалов компактных операторов, некоторые неравенства, оценки ядерной нормы резольвенты дискретных операторов, утверждения о выборе контуров на плоскости расположения спектра с заданными свойствами. Некоторые утверждения этого параграфа являются новыми.

Параграф 1,2. посвящен случаю ядерности резольвенты невозмущенного оператора, в нем доказаны две теоремы.

Теорема 1.2.1. Пусть оператор В таков, что Т (Ао) CV(B)} существует число 5 € [0, 1) такое, что оператор BAQ6 продолжается до ограниченного, и существует число со Є [0, 1),о; + 1 такое, что AQ Ш — ядерный оператор. Тогда существует подпоследовательность натурального ряда {пт}™=1 и последовательность конуров Гт Є С такая,.что при OJ 8/1 верна формула

Ш fefe - A,) + JL f tl ъ ((ВЙ0(А)) ) „X ) = 0. \і=о Гт =1 /

В частности, при и S верна формула

lim У2 (А У - Лі - iBtPj "Pi)) = ° 771—ЮО f

i=o

В этой теореме впервые в общем виде исследован случай неограниченных возмущений, и даже при ограниченном возмущении (5 = 0) полученный результат существенно улучшает результат В. В. Дубровского [24], понижая требования к невозмущенному оператору с условия на собственные числа N(X) = 0(Лр),р 1/2 до условия ядерности обратного. Так же выделим доказанную в параграфе в условиях теоремы оценку ядерной нормы оператора BR(X): существует бесконечно большая последовательность положительных чисел ат такая, что ЦВД Ощ) = о{а ) при т - оо.

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

Теорема 1,2.3. Пусть оператор В таков, что V(Ao) С ТЭ{В), существует число 6 Є [0, 1) такое, что оператор BAQS продолжается до ограниченного, а оператор AQ1 6 Є 6P_W, где р натуральное и р 2, а и Є [0, 1). Предположим также, что для подпоследовательности собственных чисел { птККи Для которой АПт ат A„m+i, где ИДоСа™) - 0, выполнено ЛІІ+і - ЛІ с гДе Р 5- Тогда при q Є N U {0} и

(p-l)(l-pi) cu(l-J)

q _ min в случае выполнения неравенства 5 Pi{p + q — 1), где р2 = р — Pi, верна следующая формула

(

пт P+q ri\jfc-l / \

,=0 Ь=1 г У

а если S Р2ІР + q — 1), то при І 2 и таком, что — р2(р + q — 1) — (р — 5)(Z — 1) 0 верна формула

(

пт p+q+l-l / xJb-l Ґ Y

i=o =i Гт /

При доказательстве этой теоремы мы пользовались одной формулой для регуляризованного определителя возмущения, отсутствующей в известных нам источниках: пусть BAQ1 Є. ЗР, тогда при Л Є С таких, что выполнено неравенство Ві?о(А) 1, для логарифма регуляризованного определителя возмущения верно представление

1пЯя(А) = Тгї]Г Ц {BROMA •

Параграф 1.3. посвящен случаю неядерности оператора Лд1. Этот случай в литературе для абстрактных операторов не рассматривался, есть ряд работ ([1, 2, 5, 6, 7, 33, 34, 52, 55, 68, 70, 87]), посвященных конкретным операторам математической физики. Основная сложность этого случая в том, что в общем положении в спектре оператора Ло отсутствуют растущие лакуны.

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

Теорема 1.3.1. Пусть у оператора AQ существует подпоследовательность его собственных чисел {АПП} о такая» чт0 АПт+і — ЛПт -+ оо при т — оо. Пусть оператор В Є 6Р, где р натуральное и р 2. Тогда верна

формула

Jim ( .-Аі + Н /(ВЛо(Л)) л). = 0.

\j=Q k=l /_ J

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

Теорема 1.3.2. Пусть существует число 8 0 такое, что оператор BAQ продолжается до ограниченного и что AQ, + — ядерный оператор. Тогда существует подпоследовательность натурального ряда {nm}J=1 такая, что верна формула

Наконец, последняя теорема в этом параграфе касается случая, когда невозмущенный оператор имеет в последовательности собственных чисел лакуны большей длины, чем длина, гарантированная главным членом асимптотики. Для этого класса абстрактных операторов так же ранее результатов не было.

Теорема 1.3.3. Пусть существует число 5 0 такое, что оператор ВА продолжается до ограниченного, оператор А$ + Є SP-WJ где р натуральное и р 2, а и Є [0, 1). Предположим также, что для подпоследовательности собственных чисел {АПт} 1, для которой ЛПт ат Апт+ії гДе {ат} — последовательность чисел, на которой стремиться к нулю резольвента оператора AQ "Ш выполнено An++! — А +р с, где О 0, р S. Тогда при q Є NU {0} и

(І± іЦі4і±і)єМи{0}

Р$Р1 6 {6- Pi) l J

при выполнении условия q + 6 + ш 0 верна следующая формула

/ пт р+д /_,\fc-l г \

т-юо

" 1=0 =1

lim J - Л,) + Ц -й/ [ВЫ»? л = о.

Г„

Если q = 5 = ш = 0, то верна формула

/nm р+ +1 /-.ч -! г \

т—юо

/=0 Jk=]

"а I Ее» - Л + Е г / (ВЛ° А» dAJ = ° В параграфе 1.4 рассмотрены операторы с регулярным поведением собственных чисел. Дополнительные предположения о собственных числах позволяют получить конструктивный метод расстановки скобок. Мы ограничиваемся теоремами о выборе контуров, на которых стремится к нулю ядерная норма резольвент, формулы следов доказываются на основании этих результатов идентично формулам предыдущих параграфов. Так же для большей прозрачности рассуждений мы ограничились случаем ядерности невозмущенного оператора и ограниченного возмущения.

Теорема 1.4.1. Пусть собственные числа оператора AQ обладают следующими свойствами:

l/An +oo, (0.0.10)

n=l

п/Хп (n + l)/An+i. (0.0.11)

Тогда последовательность {ат = (Am+i + Am)/2} 1 обладает свойством: max і2о(А)і - 0 прит — +оо.

А=ат

Теорема 1.4.2. Пусть AQ — оператор теоремы 1.4.1, но вместо (0.0.11) выполнено: существуют 0 5 1иЛГєМ такие, что

п6/Хп (n + 1) /Ап+ь n N,

а так же существует последовательность {rin}n D удовлетворяющая условиям (0-0.10) и (0.0.11) и такая, что

1/Ап 1/rfo.

Тогда последовательность jam= ( A„m + АПт+і) /2 , где последова-тельность Ап определена соотношением п/Хп — тах{&/А }, а номер пт условием АПт = АЛт, обладает свойством Яо( т)і - 0 при т - +со.

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

Рассмотрим в качестве оператора Ло оператор (—Д)а, действующий в Ь і([О,7г] х [0,7г]) с условиями Дирихле на границе квадрата, а в качестве оператора В оператор умножения на ограниченную измеримую (комплекснозначную) функцию q(x, у). Формула ранее была известна [28] для степени оператора а 93/80 и доказательство опиралось на тонкие результаты теории чисел..Так как в этой задаче Ап- па то из теоремы 1.2.1 следует, что формула следа верна для а 1.

Рассмотрим в качестве оператора Ло оператор (—А)2+е, є 0, действующий в і 2([0,7г] х [0,7г]) с условиями Дирихле на границе квадрата, а в качестве оператора В дифференциальный оператор первого порядка q(x, y)Jfe + р(х} у) -, где периодические продолжения функций РГ У , QJ - принадлежат Ca(R2) с показателем а 1. Мы в этом случае так же получили формулу первого регуляризованного следа, и это первый пример формулы следа для оператора в частных производных, возмущенного оператором в частных производных.

Возьмём в качестве оператора Ло обыкновенный дифференциальный оператор, действующий в L2[0,7r]. Конечно, для обыкновенных операторов все вопросы теории решены [41], но реальные вычисления для операторов порядка выше 4-го известными методами практически необозримы, и для той гладкости коэффициентов, которую позволяет наш метод, известные методы практически неприменимы. В диссертации проведено вычисление для оператора AQ = —1/6\ возмущенного неограниченным оператором — дифференциальным оператором второго порядка: q{x)y,r+p(x)y. В силу теоремы 1.2.1 необходимо вычисление только величины (ВірПіірп). Так как срп = АМБІПШ;, ТО соответствующие вычисления несложны, и мы получили формулу следа классического вида при р(х)} qff{x) Є L2[0,7г] и тригонометрические ряды Фурье этих функций сходятся к ним на концах отрезка.

Теорема 1.3.2 применена нами к возмущению гармонического осциллятора некоторым интегральным оператором класса Гильберта- Шмидта.

Теорема 1.3.3 применима к операторам со спектром неограничено возрастающей кратности. Рассмотрим в качестве оператора Ло оператор Лапласа - Бельтрами на каком-либо симметрическом пространстве ранга 1, а в качестве оператора В — оператор умножения на ограниченный) измеримую функцию на этом многообразии. Данная задача интенсивно исследовалась в последние годы, и то, что для получения формулы первого следа необходимо вычитать две поправки, ранее было получено (даже при использовании дополнительных сведений в силу конкретности оператора) на пути весьма трудных и объёмных вычислений и оценок, см. [25, 70]. Наша абстрактная теорема дает здесь точный ответ.

В качестве оператора Ло рассмотрим оператор, задаваемый дифференциальным выражением —yf,+q(x)y с q(x) х2+5 для всех больших \х\ и некоторым 8 0, действующий в 1 2(Щ или в L2[0;+oo) с каким-либо условием на границе, а в качестве оператора В оператор умножения на ограниченную измеримую функцию р(х). Наложенное условие на потенциал гарантирует ядерность резольвенты оператора А$, и в этом случае по теореме 1.2.1 верна формула (0.0.5). Эта формула является новым результатом в весьма обширных исследованиях операторов второго порядка на неограниченных интервалах, так как для операторов такого вида вообще не было формул следов с неубывающими возмущениями. В частности, из результатов [37, гл. 12, §6] следует, что если \q{x)\ х2 5 и удовлетворяет еще ряду условий на гладкость и поведение производных на бесконечности, то An сп1+5+ , и для ограниченного возмущения

теорема работы [24] утверждает формулу следа с числом вычитаемых

4 поправок теории возмущений I 1 + -, то есть ни при каком 6 0 не

о

достигается доказанная нами формула.

Во второй главе изучается применение метода суммирования рядов

по Абелю к регуляризованным следам. В параграфе 2.1. получен центральный для суммирования следов по Абелю операторов с известным асимптотическим поведением при t - 0+ следа соответствующей полугруппы технический результат — лемма об асимптотическом разложении дробной производной Вейля [8, гл. 7, §3]

Kaf(x) = f r)J(xr1f(t)

+ 00

dt

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

Лемма 2.1.1. Пусть {А ;}10 — последовательность чисел такая; что что

со

при arg 7) 0 7 f определена функция F(t) = ] ехР(—AjfcO fc=o причем при t -» 0+ существует асимптотическое разложение

оо Ni

)-ЕЕа п 1п (°-0-12)

t=0 j=0

оо

щ -» -foo. Тогда для функции F(t}S) = ]Г) \j exP(" )i S ЄС имеет

п=0

место следующее разложение (здесь Re 8 1) при t — 0+:

Пі ) - Е Е 7ТЇ ("1)І(і + іу,"°" + 1)х

г=0, з-О J 1=0

ni+ NU{0}

і

і=0, 3=0 J

ni+JeNJ{0}

оо

LJi \nj+1t+

Щщ + б-кУ+іЦб-к)

х J2(-i)lU + i)j--U-i + iW-lA (0.0.13)

1=0 где T(s) — гамма-функция Эйлера, Z(s) = 2 Хп8 — дзета - функция,

п=0

ассоциированная с последовательностью {A„}L0,

(-1)к Ck(6)=[-1 -Z(S-k),

если Z(s + J) не имеет особенностей в точке 5 = — к и

GkW = -1 reg Z(s)}

если Z(s+d) имеет полюсВ5 = — к. Здесь через reg /(5) обозначен коэф s=so

фициент лорановского разложения f(s) в окрестности 5 = s$ при (5 — So) в нулевой степени, через 7j(fc) коэффициенты лорановского разложения Г(5) — S 7j( )(5 + ) - При таком, что Re5 1 асимптотическое

разложение для F(tr8) при t — ОН- можно получить из имеющегося почленным дифференцированием.

Так же в этом параграфе изучено поведение при і — +0 функции

n=l

исходя из заданного асимптотического разложения F(i); здесь 5 Є С, х-& = e-«nAnf m = 0,1,....

В параграфе 2.2. рассмотрено ограниченное возмущение А + В оператора Л, который полуограничен снизу и для которого

22 ЄХР (" R-e nt) +00.

n

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

N Ni

F(t) = Tr(exp(-L4)) = $j X) аіііПі lnJt + °W l 0+ (0.0.14)

здесь no щ • • • TIN, причем No = 0, и аналогичного разложения

к КІ G(t) =Tt{exp{(A+B))) == Д; Чп +о(г), t- 0+. (0.0.15)

г=0 j=Q

Укажем в качестве поясняющего примера, что эллиптические дифференциальные операторы на компактных многообразиях без края имеют тэта-функцию с разложением типа (0.0.14) без логарифмических членов, классические псевдодифференциальные операторы имеют в таком разложении члены с логарифмом только в первой степени, а для краевых задач уже в одномерном случае даже дифференциальный оператор может иметь разложение с логарифмами в более высоких степенях, если производные коэффициентов имеют особенности на крае интервала, подобные примеры построены нами в главе 4.

В данном параграфе доказаны две теоремы о суммируемости регу-ляризованных следов по Абелю. Использование сильного метода суммирования дает возможность в весьма общей ситуации получить регуляризацию конечной суммой степенно - логарифмических функций от собственных чисел невозмущенного оператора. Всегда, когда собственные числа возмущенного оператора имеют асимптотическое разложение (такой структуры) по собственным числам невозмущенного, этот метод в качестве регуляризатора дает именно это разложение, и в некоторых задачах это является единственным известным методом получения асимптотики спектра (такой пример содержится в работе [2]),

В первой теореме параграфа доказывается суммируемость по Абелю формулы первого регуляризованного следа при наличии некоторой оценки на собственные числа операторов, при этом не предполагается наличие прямой связи между разложениями (0.0.14) и (0.0.15): они могут

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

Теорема 2.2.1. Пусть А — дискретный оператор с собственными числами {An}Lo действующий в гильбертовом пространстве Н такой, что в некотором секторе arg s\ є определена ядерная полугруппа ехр(—L4), причем для F{t) = Tr(exp(—tA)) имеет место асимптотическое разложение (0.0.14), и пусть оператор В таков, что в том же секторе определена ядерная полугруппа ехр(—t{A+B)), для G(t) = Tr(exp(—t(A+B))) имеет место разложение (0.0.15), и пусть также

где {/in}io собственные числа оператора A + J5. Тогда существуют наборы чисел { €h9 Shy r h\h-v такие чт0 имеет место равенство

оо / Я \

Д%Se Xnt - An - "hX?hlnmfc An )..= 0.

n=l \ /l=l /

Во второй теореме предполагается, что разложения (0.0.14) и (0.0.15) есть частные случаи единого разложения параметрического семейства операторов при различных значениях дополнительного параметра. За счет этого оказывается возможным доказать формулы следов всех порядков, причем без ограничений на порядок невозмущенного оператора и степень подчиненности возмущения. Условия этой теоремы во всяком случае выполнены для эллиптических самосопряженных псевдодифференциальных операторов на компактных многообразиях.

Теорема 2.2.4 Пусть А — дискретный оператор, собственные вектора которого образуют ортонормированный базис, и оператор В таков, что собственные вектора оператора А + В также образуют ортонормированный базис. Пусть так же операторы А и В таковы, что в секторе

args[ є определена ядерная полугруппа ехр(—t(A + тВ)), для которой при t - 0 для любого т Є [0; 1] существует равномерное по т разложение

оо Ni

F{t, т) = Ъ (ехр (- {А + тВ) t)) " 5Z a0 W1пІ » (0.0.17)

t O j=0

и пусть (0.0.17) можно бесконечно дифференцировать по т. Тогда при любом натуральном р существует набор чисел { ь, $л, ть} , такой что имеет место равенство

Д?0 Е e"Ant К -А- - Е Л 1п7ПЛ м = ° п=1 \ Л=1 /

В параграфе 2.3. мы изучаем след полугруппы е" А+в\ где А — дискретный, а, В — ограниченный оператор, на основе полученных нами оценок для приближения указанной полугруппы невозмущенной полугруппой e tA в ядерной норме. В этом параграфе оператор А таков, что А"1 Є &р с некоторым р 1, его собственные вектора { п} =і образуют ортонормированный базис, соответствующие собственные числа { п}™=і лежат в открытом секторе 2: —7г/2+и; argz 7г/2 — и;, 0 ш 7г/2.

Теорема 2.3.1. Пусть существует число a 0 такое, что

Ие- Ц сГ (0.0.18)

при t Є (0, +оо). Тогда ряд

-.-в-ц.//.. . ... ... K l 0 0 0

сходится в ядерной норме, причем сходимость остатка ряда равномерна на любом отрезке [а, Ь] Є [0,+оо).

Следствие 2.3.2. В условиях теоремы 2.3.1 при всех N Є N таких, что

a Г» 1

— 1 верна асимптотическая при t — 0+ формула для следа возмущенной полугруппы

Ъе- А+В = Ъе гА - TV (Be- ) t+

і « -1

лг-2 І ьу

+ Х "1) /---/ е-(Мі,лВ... Ве" л Л ... Лі + О (t -1- ).

fc=2 0 о

(0.0.19)

Следствие 2.3.3. Если вместо условия теоремы 2.3.1 при t - 0+ верна асимптотическая оценка Це" ! = o(t a)} то в формуле (0.0.19) (по-прежнему верной при тех же N) остаточный член имеет вид о (tN l a).

Подчеркнем, что теорема 2.3.1 (и следствия 2.3.2 и 2.3.3) никак не использовали структуру спектра оператора, и полученные результаты имеют место для операторов с произвольной природой спектра.

Далее мы применяем полученные результаты к доказательству одного из основных результатов параграфа — одной формулы регуляризо ванного следа.

Теорема 2.3.5. Если An"x = о (гс"1), то верна формула , - К - {Bipni pn))e-Xnt = 0.

п=1

Подчеркнем, что в отличии от предположений параграфа 2.2. мы не предполагаем наличие разложений (0.0.14) и (0.0.15), а в качестве ре-гуляризатора берем последовательность (В(рП1(рп). Условие (0.0.16) при ограниченном операторе В в общем положении предполагает ядерность обратного к А, при этом разложения (0.0.14) и (0.0.15) являются существенными ограничениями на операторы. В качестве компенсации мы в параграфе 2.2. получили слабую асимптотику собственных чисел.

В конкретных задачах математической физики вычисление слагаемых в формуле (0.0.19) при k 2 уже сопряжено с заметными техническими трудностями (при к = 2 для псевдодифференциального оператора А на компактном многообразии размерности т, возмущенного оператором умножения на функцию, речь идет о вычислении (Зга + 2)-кратного интеграла). В следующей теореме мы предлагаем упрощение

этих формул при некоторых дополнительных предположениях об операторах, сравнительно легко проверяемых для псевдодифференциальных операторов. Мы ограничиваемся наиболее важным случаем к = 2.

Теорема 2.3.6, Пусть неравенство (0.0.18) выполнено с.а 4-й пусть

—Л

существует —а S 1 — j такое, что оператор (В А — АВ) \А\ продолжается до ограниченного, тогда при і — 0+ верно

Тге- Л+в) = Тге м - tTr (Be tA) + Tr(B2eA) + О (t3" ) .

В параграфе 2.4. мы исследуем поведение следа полугруппы другими по сравнению с предыдущим параграфом техническими средствами, ориентируясь при этом не на асимптотическое поведение собственных чисел (и соответственно следа полугруппы), а на их интегральные свойства — сходимость некоторых рядов, то есть на принадлежность обратного оператора некоторому классу Шаттена - фон Неймана. Этот метод более громоздкий, и мы ограничились изучением случая, когда -Л"1 Є ©2- Остальные предположения об операторе А такие же, как и в предыдущем параграфе, оператор -В предполагается ограниченным.

Сначала мы доказываем ряд вспомогательных фактов о резольвенте и полугруппе; ехр(—tA)\\\ = o(t 2), t - 0+; t exp(A)i Є i[0,+oo); і2о( )І2 равномерно ограничена в области C\{argА 7г/2 — 2OJ + 5}, 5 0 и lim #о( )ІІ2 = 0 равномерно ПО аргументі- оо

ту в этой области; ехр(- (Л + В)) — ехр(—tA)\\x = o(t l), t - 0+; ехр(-і(Л + В)) - ехр(-М)і Є Li[0, +оо).

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

и Б2. Это соотношение (не являясь формулой следа в стандартном смысле) является максимально возможным продвижением к формуле следа для такого широкого класса операторов и представлено в виде, удобном для дальнейшего исследования с конкретными операторами. Дополнительно предположим, что оператор А сверх общих предположений параграфа самосопряжен.

Теорема 2.4.6. Пусть для операторов А и В выполнено одно из следующих условий:

і) Пусть при некотором а Є (0,2] для собственных чисел оператора

А выполнено

Е

Иш — Ап)а дї +0О 71=1 П

со

+0О

где ЛП1 — первое собственное число, сторого большее Лп, и пусть оператор В таков, что

Е

к:Хк Хп {B Pn, Pl)(B Pl} Pn)

/=jfc+l

(Ajb+i - АА) +oo.

ii) Пусть при некотором а Є [1,2] выполнено J2 1( , )( , )1 (А - Хп)а = о (лг1) Ш) Пусть при некотором 0 /5 1 выполнено

+СО

ЕЛГ8 + 71=1

и

+00

\(Вц п, рк)(Вч ьсрп)\ = 0(\2/-2).

\к = [\п+\Єп]+1

Тогда при t - 0+ верна асимптотическая оценка и верна формула

00 х

п=1 п=1 -І ((BVn,vn) - (/ - An)2) j

e-Ant _ 0e

Последний параграф главы 2.5. содержит пример применения развитого метода: мы получаем просуммированные по Абелю формулы регу-ляризованных следов для оператора Лапласа - Бельтрами в случае сфер размерности не выше 5, возмущенного нечетным потенциалом. Особенно выделяется случай размерности 2: из полученных формул с помощью тауберовой теоремы Литтлвуда доказано, что ряд в (0.0.8) сходится без скобок:

Отметим, что это единственный известный І в настоящее время пример оператора в частных производных, не допускающий разделения переменных, след которого сходится таким образом. Выделим и тот факт, что левая часть этой формулы имеет в точности вид левой части формулы (0.0.5), ведь в данном случае (Bipn}tpn) = 0 из-за нечетности потенциала, однако справа мы напротив, имеем заведомо ненулевое выражение (по крайней мере, для вещественных потенциалов). Остается заметить, что для собственных чисел оператора Лапласа - Бельтрами — Д на двумерной сфере верно А ; к и его резольвента ядерной не является (хотя для любого 5 0 оператор (—Д)1+5 уже имеет ядерную резольвенту). Таким образом, этот результат является конструктивным примером, по-казывающим существование границы применимости формулы (0.0.5) и близкую к предельной точность нашей теоремы 1.2.1 из первой главы для случая ограниченного возмущения.

Третья глава посвящена исследованию оператора Лапласа - Бельтрами на симметрических пространствах ранга 1 методами, опирающимися на теорию псевдодифференциальных операторов.

Параграф 3.1. носит вспомогательный характер и содержит известные сведения о спектре как самого оператора Лапласа-Бельтрами на симметрических пространствах ранга 1, так и его возмущения операто ром умножения на гладкую функцию.

Далее, с помощью кластерной асимптотики собственных чисел оператора, полученной в выше упоминавшихся работах В. Гийемина и А. Уриба, в параграфе 3.2. получены просуммированные по Абелю регуля-ризованные следы ненулевых степеней оператора Лапласа - Бельтрами на всех симметрических пространствах ранга 1 всех размерностей с возмущением любым гладким комплекснозначным потенциалом.

Теорема 3.2.4. Для любого а О существуют явно выражаемые через q и метрику М константы { }"=2- такие, что верна формула

+оо / n+[2a] \

+,!т+Е К -А -А Е л ,/2 л = іи-і+ізд. Так же верна и следующая теорема о суммируемости методом Абеля

регуляризованных следов отрицательных степеней собственных чисел

оператора — Д + g (конечно, эта теорема содержательна до тех пор, пока

(—Д + q) a остается неядерным).

ть Теорема 3.2.5. Для любого 0 а — существуют явно выражаемые

л/

через q и метрику М константы {х/}] " такие, что верна формула

-hoo / п-[2а] \

к +й&Е xa-v-v Е x z/2 е- = хп+1_[2а].

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

Теорема 3.3.1. Для любого натурального I существуют выражаемые явными формулами через I и метрику М константы { (0}?яІ2«-і) такие что верна формула

о + Е

Nk п

EW.-AU- Е «до - - Xn+l(l).

Подчеркнем, что до результатов параграфов 3.2. и 3.3. формул следов для дифференциальных операторов в случае, когда размерность многообразия больше порядка оператора, известно не было.

В параграфе 3.4. мы исследуем формулы регуляризованных следов без скобок оператора — A + q на сферах Sn. Здесь доказаны точные границы сходимости без скобок регуляризованных следов степеней рассматриваемых операторов, а именно, рассматривается регуляризованный след порядка а оператора —А + q на сфере Sn вида

Ё Ы - - Е ; («) A (e)V (0.0.20)

к=0 \ J /

При а = 0 ряд (0.0.20) становится тривиальным и в дальнейшем не рассматривается. В работе [7] А. Н. Бобров доказал при некоторых а, что существуют соответствующие kj(a) и Xj{a) такие, что ряд (0.0,20) сходится. Мы доказываем, что найденные им границы для а являются точными.

Теорема 3.4.1. Для вещественнозначного нечетного потенциала q верны следующие утверждения:

_ 5 — п

1. При а —-— не существует регуляризации по собственным чис лам невозмущенного оператора —А, то есть для любого набора констант Xj {а) и степеней kj (а) ряд (0.0.20) расходится.

4 — ті

2. При а —-— регуляризованный след (0.0.20) не может сходится

абсолютно, то есть для любого набора констант Xj (°0 и степеней kj (а) ряд, составленный из модулей членов ряда (0.0.20), расходится.

Аналогичное утверждение доказано и для потенциала, не являющегося нечетным, соответственно с границами для условной и абсолютной

3-п 2-п „ сходимости а —-— иа) —г—. Для комплекснозначного потенциа ла эти результаты о сходимости не могут быть точными: например, как

показал В. Гийемин [104], существуют такие ненулевые комплексные потенциалы, что у операторов — Д и — A + q на двумерной сфере спектры совпадают.

В отношении результатов трех последних параграфов отметим, что в силу известных дополнительных свойств конкретных операторов полученные формулы следов являются более точными и детальными по сравнению с тем, что можно было бы получить из общих теорем первой главы; так же отметим, что все они являют собой новые необходимые условия на спектр оператора Лапласа - Бельтрами на симметрических пространствах ранга 1, возмущенного гладким потенциалом. Получение необходимых условий на спектр есть неотъемлемая составляющая решения обратной спектральной задачи, что позволяет надеяться на приложимость этих результатов в будущем.

Четвёртая глава диссертации посвящена приложениям теории следов к некоторым классическим вопросам теории операторов типа Штурма - Лиувилля.

В параграфе 4.1. мы определяем и исследуем специальный класс S операторов Штурма - Лиувилля, а именно: рассмотрим оператор

-y,r+q(x)y = Xy} (0.0.21)

у (0) - МО) = 0, у\тг) + Яу(тг) = 0, (0.0.22)

где q(x) Є [0, тг], h,H Є R. Пусть р(х, А) — решение задачи Коши для уравнения (0.0.21) с начальными данными р(0, А) = 1, р (0, A) = h. Если q(x) Є Сп[0,7г], то (р(х}\) при А -» со имеет следующее асимптотическое разложение:

/ хч /г , , 4sin\/Aa: _ , 4cos\/Ax

+ 41 + -- + +0 . _ 1 .. (0.0.23)

V ) ip\X% X) = COS VAX + ki{x) •= (-••• + &2t(#]

Определение. Оператор вида (0.0.21) - (0.0.22) мы назовем оператором класса 5[0,7г], если в разложении (0.0.23) для некоторого целого І, ГО" п + 1, kj(x) = 0 на [0,7г].

Мы доказываем ряд важных свойств операторов этого семейства:

1. асимптотическое разложение (0.0.23) имеет конечное число ненулевых членов и являет собой точное решение уравнения (0.0.21);

2. переходная функция обратной задачи есть квазиполином;

3. потенциал продолжается во всю комплексную плоскость как меро-морфная (обязательно не целая) функция с полюсами только второго порядка и с нулевыми вычетами в полюсах;

4. ядро оператора преобразования, связывающего рассматриваемый оператор с простейшим оператором Штурма - Лиувилля, есть полином по второй переменной, причем содержащий только четные степени.

Также в этом параграфе проведено более детальное исследование одного плотного в классе S подсемейства, переходные функции которого — это полиномы по четным степеням переменной. Показано, что соответствующие потенциалы есть рациональные функции и изучены их свойства. В параграфе 4.2. для операторов класса S доказана возможность использования системы регуляризованных следов (0.0.6) для нахождения приближенных величин первых собственных чисел оператора. В связи с обсуждавшимся выше результатом С.А.Шкарина [92] подчеркнем, что принципиальным отличием операторов класса S от операторов Штурма - Лиувилля общего положения, в силу которого появляется возможность решения системы (0.0.6), состоит в том, что асимптотическое разложение собственных чисел операторов класса S по степеням п для всех собственных чисел, кроме конечного их числа, образует сходящийся к собственным числам ряд. Основной результат этого параграфа:

Теорема 4.2.1 Пусть {A„}L0 — спектр некоторого оператора L из класса S и пусть

оо

(Л; - Ап(к)) = В{к), А; = 1,2,... (0.0.24)

п=0

— полная система регуляризованных следов этого оператора. Тогда система (0.0.24) однозначно определяет спектр {An}L0 и более того, для любого є 0 существует натуральное N(e), а также существует натуральное К у зависящее только от оператора L (и не зависящее от є), что если использовать в Ап(к) (0.0.24) при к = -1,... ,К первые N членов асимптотического разложения Ап по степеням п, то будут верны неравенства

с, /С — J., • • • , J\ (Хкп-Ап(к))-В(к)

п=0

В параграфе 4.3. доказана

Теорема 4.3.1- Для произвольного оператора Штурма - Лиувилля L с потенциалом из 1/2[0,7г] и произвольного є 0 существует оператор класса 5с областью определения такой же, как и у L и такой, что норма разности их потенциалов не превосходит є.

Доказательство этой теоремы конструктивно, что позволяет предложить метод нахождения приближенных величин первых собственных чисел: любого оператора Штурма - Лиувилля: сначала сам оператор приближается оператором класса 5, а затем уже для этого оператора по методу параграфа 4.2. находим приближение собственных чисел.

Следующий параграф 4.4. содержит новый метод исследования асимптотики первообразных спектральной функции р{ц) оператора (0.0.21), (0.0.22), который позволяет существенно упростить, а в ряде случаев и уточнить, исследование многих классических задач теории операторов

Штурма - Лиувилля. Основной результат параграфа — формула

t h

Tjt l / • / Р(А)&1 dtk-2 = 0 +oo

к і dx\... dxk-i f x cos txdx,

О К x x%

верная при k 2 (то есть и для самой спектральной функции), здесь FQ(X) — переходная функция обратной задачи,

И наконец, в параграфе 4.5. мы приводим два примера применения метода параграфа 4.4.. Мы показываем, как с помощью полученных соотношений можно исследовать аналитическое продолжение взвешенной дзета — функции Z(s) оператора за полуплоскость сходимости интеграла, ее определяющего:

Z(a)=.j;(V\)-dp(\)

О

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

Второй пример — исследование асимптотического поведения функции Вейля - Титчмарша т(Х) оператора Штурма - Лиувилля Асимптотическое поведение т(\) при А — • оо и 8 argA 7г — 5, S О, изучалось многими авторами (см. [16] и литературу). В работе [16] при предположении о том, что q{x) Є Сп[0,є] для некоторого фиксированного є 0 и q (x) принадлежит классу Гельдера с показателем а, 0 а 1, было доказано следующее асимптотическое разложение:

т(А) = Л + 1І5!+1) +.gA(_A)-ej» -+0(Д-"«»). (0.0.25)

Для доказательства (0.0,25) в работе [16] исследовалась асимптотика средних Рисса спектральной функции р{р) оператора Штурма— Лиувилля и также предложен метод вычисления /.

Полученные нами формулы позволяют прямо связать существование и вид асимптотического разложения т(А) с асимптотическим разложе . РОССИЙСКАЯ ГОСУДАРСТВЕННАЯ БИБЛИОТЕКА

нием потенциала оператора, мы приводим точный алгоритм решения этой задачи и для примера вычисляем асимптотику т(Х) для неограниченного в нуле потенциала с логарифмической особенностью, не позволяющей точно позиционировать в каком-либо классе Гёльдера даже его первообразную: пусть в некоторой окрестности нуля q(x) = 1п2х + \/2х, и краевое условие определяется параметром h = 0. Тогда

т(А) = IA- - А-§ 1П(-А) + ІА- - (-А)- + О ((-А)" In2(-A)) ..

В отношении результата работы [16] мы доказали неулучшаемость оценки (0.0.25) при сделанных предположениях.

Основные результаты диссертации опубликованы: в работах автора [50, 51, 52, 53, 54, 55, 56, 57] и совместных работах [6, 7, 81, 82, 83, 84]. В работах [6, 7] А. Н. Боброву принадлежат доказательства утверждений о сходимости регуляризованных следов без скобок для степеней собственных чисел оператора Лапласа - Бельтрами, автором диссертации в этих работах доказаны случаи расходимости указанных рядов, В работе [81] В. А. Садовничему принадлежит определение класса операторов с обрывающейся асимптотикой собственных функций и постановка, задачи о применении этого класса к приближенному вычислению первых собственных чисел, остальные результаты работы принадлежат автору диссертации. В работе [82] В. А. Садовничему принадлежит постановка задачи о выделении класса операторов с конструктивной расстановкой скобок, остальные результаты работы принадлежат автору диссертации. В работе [83] В..А. Садовничему принадлежит формулировка леммы о росте ядерной нормы резольвенты на некоторой системе контуров, С. В. Конягину принадлежит доказательство этой леммы, остальные результаты работы принадлежат автору диссертации. В работе [84] В. А. Садовничему принадлежит постановка задачи о рассмотрении неограниченных возмущений и операторов с лакунарным спектром, остальные результаты работы принадлежат автору диссертации. Все результаты диссертации принадлежат диссертанту. 

Операторы с ядерной резольвентой

Теперь мы можем перейти непосредственно к доказательству теоремы. Определим систему контуров Гт на комплексной плоскости как систему окружностей с центрами в нуле и радиусами {ат}. Из леммы 1.1.1 и оценок леммы 1.2.2 немедленно следует, что внутри контуров Гт количество собственных чисел операторов AQ И AQ + В совпадает при всех достаточно больших т. Для доказательства теоремы заметим, что и исследуем правую часть этого равенства. Из (1.2.6) интегрированием по частям с использованием формул (1.1.6) и (1-1.7) (равенство (1.1.7) мы будем использовать в форме степенного ряда для логарифма, что справедливо при Лі )(А) 1, а это выполнено в нашем случае при Л Є Гт и достаточно большом т; что следует из (1.1.11)) получаем, что dX. (1.2.7) Рассмотрим отдельно слагаемое с Tr(#o(A)). Так как BRQ(X) — ядерный, то его след может быть вычислен как матричный в любом ортонормированием базисе (1.1.5) и при этом: Теперь необходимо оценить члены ряда (1.2.9) при к 2, и во-первых с помощью (1.1.14) оценим норму оператора BRQ(X): Здесь {АПт} — та подпоследовательность собственных чисел, для которой ЛПт ат ЛПт+і, и без ограничения общности мы полагаем, что ближайшим к ат является ХПт. Запишем оценку (используемые свойства следа ядерного оператора применяя неравенство (1.1.14), окончательно имеем Оценить аналогично вторую поправку нельзя: при к = 2 оценка части интеграла (1,2.13) в пределах рт Р . тг/2 содержит в знаменателе отрицательную степень. Проведём оценку этого слагаемого ряда (1.2.9) непосредственно: и продолжим равенство (1.2.16): Рассмотрим внутренний ряд и, используя неравенство (1.1.14) и преобразование Абеля (1.1.12), получим =0 fc=nm+l и оценка (1.2.15) верна при I 2. Для завершения доказательства те оремы осталось заметить, что при о; 8/1 в силу (1.2.15) стремится к нулю остаток ряда из правой части (1.2.9), начинающийся с слагаемого с номером / + 1, и перенося остальные слагаемые в (1.2.9) вправо мы получаем формулу (1.2.1).

Теорема 1.2.3. Пусть оператор В такое, что T (AQ) С ТЭ{В)3 существует число 8 Є [0, 1) такое, что оператор BAQ продолоюается до ограниченного, а оператор Ag1+ " 3p-W; где р натуральное и р 2, а и Є [0) 1)- Предполооюим такоюе, что для подпоследовательности собственных чисел {АПП} 1, для которой ХПт ат АПт+і, где1 выполнено Anni _j — пт с, где р 5. Тогда при gGNU{0} и в случае выполнения неравенства S р2(р+ q — 1), где рч = р — рг, верна следующая формула Доказательство. Мы начнем доказательство теоремы с одной формулы для регуляризованного определителя возмущения, отсутствующей в известных нам источниках. Лемма 1.2.4. Пусть BAQ1 3Р, тогда при А Є С таких, что выполнено неравенство і?і2о(А)- 1, для логарифма регуляризованного определителя возмущения (1.1.8) верно представление 1пЭД\) = TY ( fc (5 (A))4 . (1.2.22) Доказательство. Докажем существование функции, стоящей в (1.2.22) справа. Действительно, по предположению, (Bi?o(A))pi оо и тогда \\(ВЩ\)У+к\\і ВЛЬ(А) (ВДЬ(А)) і, что при выполнении условия ВДо(А) 1 обеспечивает сходимость ряда /— (BRoW) в яДеР" I=P ной норме. Далее, при А таких, что ВЯо(А) 1 мы можем разложить в ряд Тейлора функцию In (7 + BRQ(X)) и получить равенство Далее, дифференцируя по Л правую часть (1.2.23) и используя формулу [15, стр. 208] ft(F(A(Ai))) = Ti: (i4(rt) dp \ dfi / где -Р(г) — скалярная голоморфная в некоторой содержащей спектр оператора A(fj) области комплексной плоскости функция, мы получаем следующее равенство: = Tr ((I + Вйо(Л))-1 ВД (А) + (-1) (ВЯо(А))Ч(Л) J , из которого с помощью JR(A) = RQ(X) (/ + ВДо(А)) и свойства следа Тг(ЛВ) = Тг(ВА) немедленно получается (1.1.9), что дает совпадение производных функций из обеих частей равенства (1.2.22). Кроме того, из (1.1.8) следует, что при ВЯо(Л)р — 0 DP{X) - 1, что заведомо имеет место в формуле (1.2.22), Теперь мы готовы приступить непосредственно к исследованию формулы следа. Условия теоремы (в-силу-того, что из "Лпт+1 — Aj с следует A„m+i — АПт сА +1) позволяют выбрать контур Гт в соответствии с результатом леммы 1.1.1 так, что бы внутри контура количество собственных чисел AQ и Ао + В было одинаково и так, что на Гт выполнено ВДо(А) 1. Тогда из (1.2.22) интегрированием по частям получаем m 1 m и используя (1.1.9) продолжаем (1.2.24): = 2 У Л Tr ГЯо(Л) - Я(А) + Х)(-1) Ло(А) (ВЯо(А)) J dA. (1.2.25) Далее нам надо разбить интеграл (1.2.25) в сумму интегралов, но сделать это непосредственно нельзя, так как каждый из операторов по отдельности под операцией Тг в (1.2.25), вообще говоря, не ядерный. Однако операторы вида J АЯо(Л) (BRo(X)) dX при к 0 являются конеч-номерными как сумма конечного числа вычетов в точках спектра оператора AQ внутри контура, а разложение в ряда Лорана оператора RQ(\) в окрестности каждой из этих точек имеет коэффициентами главной части конечномерные проекторы, что обеспечивает конечномерность и всех возникающих композиций операторов — коэффициентов разложения. Таким образом, используя перестановочность вычисления следа и интегрирования по параметру семейства ядерных операторов, мы можем записать интеграл от следа суммы операторов (1.2.25) в сумму следов конечномерных операторов: Приступим теперь к оценке слагаемых в правой части (1.2.27) и начнём с ядерной нормы оператора (BRo(\))p q где q — некоторое целое неотрицательное число.

Суммирование по Абелю следов операторов с известным асимптотическим поведением тэта - функции

Одной из важнейших конкретных задач теории следов является задача, поставленная в 60-е годы И. М. Гельфандом — получить формулы следов для оператора Лапласа - Бельтрами на сфере. Остановимся коротко на истории вопроса. Долгое время для дифференциальных операторов на компактных многообразиях с периодическим бихаракте ристическим потоком не удавалось вообще сколь-либо содержательно исследовать спектр, и продвинуться в этой задаче удалось лишь после создания современного микролокального анализа — теории интеграль ных операторов Фурье. Первые общие результаты здесь были получены Ж. Шазарэном [94], Дюйстермаатом и Гийеминым [97], А. Вейнстей ном [ИЗ], Колином де Вердье [95], которые показали, что спектр таких операторов хорошо локализуется вокруг спектра невозмущенного (от вечающего главному символу) оператора. Особое место, как основная модель и как физически наиболее интересный случай, в этой теории занимает возмущенный оператором умножения на гладкую функцию оператор Лапласа - Бельтрами на многообразиях с замкнутым геоде зическим потоком. Важнейшим классом таких многообразий являются симметрические пространства ранга 1. В работах А. Вейнстейна [113], В. Гийемина [101, 102, 103, 104], X. Видома [114] и работе В.Гийемина и А. Уриба [105] детально изучен спектр оператора —А + 5, где q — вещественная функция, q Є С(М) и показано, в частности, что оцен ка \\kti — fJ kti\ = 0(1) і = 1, .,, jJVfc, легко получаемая из минимаксного принципа, не может быть улучшена при q ф const для всех симметри ческих пространств ранга 1, кроме 5П, и более того, доказано, что мно жество предельных точек последовательности (// — Ajy), к = 0,1, есть отрезок [а, 6] вещественной оси и для а иЬ предъявлены формулы, выражающие их через q\ на Sn эта оценка может быть улучшена только для нечетных q до следующей: \Х % — //& i = О {ifк2) , г = 1,..., Nk — и эта оценка также неулучшаема. Из неулучшаемости приведенных оценок ясно, что трудно рассчитывать найти простую регуляризующую последовательность v\ такую, чтобы сходился ряд с общим членом (/Xfc — Ajt — Vk) — во всех случаях, кроме случая Sn с нечетным q. Отсюда ясна и цель дальнейших исследований — в условиях, когда дальнейшее изучение асимптотического поведения спектра оператора —Л + д, по сути, невозможно, тем не менее исследовать "тонкую структуру" спектра: суммируемость разности собственных чисел -Аи-Д + g различными методами.

Один из подходов — суммирование со скобками, и в этом направлении в работах В. А. Садовничего и В. В. Дубровского [68, 70], для S2 с нечетным q была получена следующая формула: Другое приложение теории следов - приближенное вычисление собственных чисел - также было предложено И. М. Гельфандом на примере оператора Штурма - Лиувилля. Задача о вычислении первых собственных чисел операторов является одной из важных классических задач математической физики и этой проблеме были посвящены многочисленные исследования. Мы ограничимся обсуждением теоретических методов и алгоритмов, не касаясь методов численных. Одним из наиболее употребительных способов является метод, основанный на хорошо известных равенствах, связывающих итерированные функции Грина рассматриваемой задачи и ее собственные значения: Глубокое исследование в этом направлении принадлежит А. А. Дородницыну [20]. Суть метода проста: обрываем в этих равенствах ряды до слагаемых с номером N и берем (N + 1)-но первое равенство. Решаем полученную конечную систему и получаем приближенные значения собственных чисел, тем более точные, чем большее N взято. В силу хорошо известной во многих классических задачах локализации собственных чисел с точностью до 0(1) оценку отброшенного остатка ряда сделать несложно и корректность метода очевидна. Вместе с тем метод обладает существенным недостатком: вычисление конкретных значений интегра лов из левой части данных равенств не алгоритмизуется и эти интегралы в конечном виде через параметры исходной задачи, вообще говоря, не выражаются. С появлением в работах И. М. Гельфанда [13] и Л. А. Дикого [18] системы следов высших порядков (0.0.6) появилась возможность другого подхода к этой задаче. Равенства (0.0.6) важны и интересны в том числе и потому, что Ап(к) и В(к) выражаются в конечном виде через коэффициенты дифференциального выражения и краевых условий и их вычисление вполне можно алгоритмизовать, как это сделано, например, в более сложной задаче Орра - Зоммерфельда в работе В. Б. Лидского и В. А. Садовничего [43] или для периодической задачи для оператора Штурма -Лиувилля в работе МакКина и ван Мёрбеке [108]. В связи с этим И. М. Гельфанд и JL А.. Дикий [18] предложили в 1957 г. новый метод приближенного вычисления первых собственных чисел оператора Штурма - Лиувилля: аналогично схеме использования системы (0.0.9) удержать в системе (0.0.6) частные суммы рядов до iV-ro слагаемого в (N + 1)-м регуляризованном следе и полученную приближенную систему решить, найдя некоторые приближения к собственным числам задачи. В [18] сделано конкретное вычисление для уравнения Ма-тье по указанной схеме и получены значения трех первых собственных значений, верные в третьем знаке после запятой. Однако в [18] данный метод не обоснован: никаких оценок при переходе от рядов к их частным суммам сделано не было. Не было дано обоснование этого метода и позже. Тем не менее регуляризованные следы, основанные на поправках теории возмущений, использовались для приближенной оценки собственных чисел, укажем здесь на работы В. А. Садовничего, В;.В." Дубровского и других [69} 71,-72,.73].

Суммирование по Абелю следов операторов, регуляризованных диагональю возмущения: случай резольвенты Гильберта - Шмидта

Основным результатом работы стала теорема: пусть А — самосопряжённый дискретный оператор, В — самосопряжённый оператор такой, что А + В — самосопряжённый дискретный оператор, и пусть существует и совпадает след оператора Вв двух базисах из собственных векторов операторов А и А + В. Тогда где \хп и Ап соответственно собственные числа операторов А + В и А В качестве приложений в [10] были рассмотрены две задачи для обыкновенных дифференциальных полуограниченных операторов второго порядка на оси и полуоси с дискретным спектром, возмущённых оператором умножения на финитную функцию р(х) с нулевым средним, и для задачи на оси доказана формула а для задачи на полуоси с дополнительным требованием дифференци-руемости р(х) в некоторой окрестности нуля доказана формула Крупное продвижение теории было достигнуто А. Г Костюченко в; своей докторской диссертации [35]. Для возмущения положительного дискретного дифференциального оператора в Хг(1К) с операцией вида оператором умножения на финитную функцию q(x) Є L\ было доказано, +00 +О0 что если / q(x)dx = 0, то 2(fJ n — An) = 0, и был получен результат -00 п=1 для оператора четвертого порядка на полуоси; для граничной задачи 2/(0) = 2/ (0) = 0 и для потенциала g(s), имеющему, сверх уже указанных условий, ограниченную вариацию в некоторой окрестности нуля, верна формула Другой вопрос, выдвинутый развитием теории на первый план после завершения исследования регулярной задачи для оператора второго порядка, был рассмотрен математиками в начале 60-х годов — это распространение полученных результатов на обыкновенные дифференциальные операторы более высоких порядков. В работе Р. Ф. Шевченко [91] получен первый результат теории следов для дифференциального оператора порядка большего двух, и далее в работах В. А. Садовничего [58, 59,60,61] в этом направлении был получен ряд сильных результатов, отметим полученную методом тэта - функций формулу для обыкновенного дифференциального оператора 4-го порядка. Принципиальным прорывом в теории следов стало применение методов теории функций для исследования дзета - функции оператора в работе В; Б. Лидского и В. А. Садовничего [41]. В работе [41] для специального класса функций if, включающего в себя характеристические определители многих спектральных задач, в том числе "почти всех" задач для регулярных обыкновенных дифференциальных операторов, был дан метод вычисления регуляризованных сумм корней, что вместе с данным в работе этих же авторов [42] методом вычисления асимптотических разложений этих корней по степенно - логарифмическим функциям номера позволило решать задачи теории следов во многих важных случаях. Выделим здесь задачу Орра -

Зоммерфельда [43], исследование нулей функций Бесселя [62], задачу о суммировании полуцелых степеней собственных чисел и связанную с ней задачу о суммировании собственных чисел в одной серии [63, 64], исследование спектральной функции оператора [65] через исследование взвешенной дзета - функции. Во многом завершили развитие этого направления в теории следов работы В. А. Садовничего, В. А. Любишкина и Ю- Беллабасси [74, 79], в которых теория функций класса .ЙТ расширена до функций типа синуса, что позволило включить в рассмотрение все характеристические определители регулярных обыкновенных дифференциальных операторов. Однако постепенно стало ясно, что в общем положении (и уже для большинства операторов в частных производных) выражение (В рП1 (рп) не может быть эффективно исследовано (достаточно сказать, что даже для одномерного гармонического осциллятора этот агрегат слабо исследован и до сих пор находится в стадии активного изучения) и с конца 70-х годов возобновились активные исследования формул вида (0.0.5) и близких к ней. Первыми работами в этом направлении стали работы В. А. Садовничего и В. В. Дубровского [66, 67]. Абстрактная теорема первой из этих работ позволила исследовать возмущение оператора Лапласа на квадрате интегральным оператором с гладким ядром, а во второй теорема была усилена, что позволило в качестве примера впервые рассмотреть дифференциальный оператор в частных производных, а именно, формула следа была получена для возмущения оператором умножения на функцию р(х,у) степени 3 + оператора Лапласа на двумерном прямоугольнике с условиями Дирихле, и при некоторых ограничениях на потенциал формула приобретает вид, весьма сходный с формулой Гельфанда - Левитана: В этой же работе формула следа была доказана и для билапласиана, но для потенциалов, ряд Фурье которых содержит конечное число ненулевых слагаемых. Глубокое исследование формул следов в случае конечномерного возмущения, во многом повлиявшее на дальнейшее развитие теории, было проведено в статье В. А. Садовничего и В. А. Любишкина [80]. Здесь рассмотрено возмущение самосопряженного дискретного оператора А конечномерным оператором Ви = Y?k=i (Aui fk) Эк, где Д и дк некоторые вектора пространства. Подчеркнем, что так как вектора Д, вообще говоря, не принадлежат области определения оператора А\ то оператор В может быть неограничен. В работе для оператора А\ считающая функция спектра которого имеет асимптотику N{\) = сХ + О (Хр)}

Суммирование следов со скобками

Настоящая работа посвящена исследованиям в теории регуляризован-ных следов дискретных операторов: условиям существования регуляри-зованных следов, их суммируемости различными методами, вычислению явных выражений для регуляризованных сумм собственных чисел через параметры операторов; также некоторым приложениям теории к смежным вопросам спектрального анализа, таким как обратная задача, приближенное вычисление собственных чисел, исследование классических функций, связанных с оператором: спектральной функции, дзета - и тэта - функции, функции Вейля - Титчмарша. Теория следов линейных операторов берёт своё начало с одного из фундаментальных фактов конечномерной теории: инвариантности матричного следа линейного оператора и совпадении его со спектральным следом: здесь {Ап} — собственные числа оператора А} a ({ РЛ І { П} =І) — два произвольных базиса пространства. Этот результат был последовательно перенесен на случай бесконечномерных операторов со следом — иначе называемых ядерными, а именно, было доказано (см. [15]), что если оператор А — ядерный, то для любой пары {{ пУп гЛФпУп !} ортонормированных базисов верно и так же верно равенство, известное как теорема В. Б. Лидского [15, 39] где {Лп} — все собственные числа оператора Л. Этими результатами: классическая теория была завершена, так как здесь, в максимальной общности охвачен весь класс операторов, имеющих след. Дальнейшее развитие теории привело к постановке и исследованию вопроса о распространении понятия инвариантности следа на операторы, не имеющие следа. Пример содержательной физической интерпретации этого можно найти в цикле работ И. М- Лифшица, завершенном работой [44]. Здесь естественно, в соответствии с одними из основых идей и методов теории суммирования расходящихся рядов, возникает следующая постановка задачи: при расходимости ряда из матричных элементов оператора доказать как аналог формулы (0.0.2) соотношение Разумеется, в такой общей формулировке задача не имеет решения вовсе, так как верен следующий простой факт: если ряд из матричных; элементов расходится в каком-то базисе {v?n}j то всегда существует такая перенумерация векторов этого базиса, которую можно принять за другой базис {фп}\ что ряд (0.0.4) расходится. Это означает, что для любых неядерных операторов

А, в том числе и определенных во всем пространстве, соотношение (0.0.4) не может быть верно для любых пар базисов, и задача необходимо имеет вид: указать класс операторов и соответствующий класс пар базисов, для которых имеет место инвариантность следа в смысле (0.0.4). Эта постановка естественно влечет следующую проблему: как выбрать пару базисов? — ведь хотя ясно, что второй из этих базисов должен быть в каком-то смысле близок к первому, но определение первого базиса должно быть обусловлено содержательными внутренними причина ми. Безусловно, можно предложить несколько разумно мотивированных подходов к задаче выбора базисов, для дискретных операторов (то есть операторов с компактной резольвентой) один из наиболее естественных путей дает спектральная формулировка (0.0.3), и в рассматриваемых в настоящее время в теории следов постановках задач в качестве одного из базисов выбирается базис из собственных векторов оператора — разумеется, в предположении, что он есть, а для определения второго базиса оператор "расщепляется" в сумму двух Л = Ло + Вг причём предполагается подчинённость в каком-либо смысле оператора В оператору Ло, и формула (0.0.4) приобретает вид где { Рп} — базис из собственных векторов оператора Ло с собственными числами {Ап}, {фп} — базис, из собственных векторов оператора А с собственными числами {/гп}, а степень подчиненности оператора В оператору Ло фактически является мерой близости базисов. Укажем здесь ещё на одно важное обстоятельство — в случае общего положения мы вынуждены рассматривать суммирование в (0.0.5) со скобками,.так как если оператор Ло имеет кратное собственное число, то в соответствующем инвариантном подпространстве у нас не будет никакого приоритетного выбора базиса и вновь простая перенумерация векторов приведет нас, вообще говоря, к потере смысла задачи, причём в силу симметрии основной формулы (0.0.4) реально мы должны будем рассматривать как единое целое след конечномерной части оператора, действующей в сумме подпространств, отвечающих пусть различным, но близким (кратное собственное число при возмущении В рассыпется в группу близких в смысле данного возмущения) собственным числам. Другими словами, мы должны объединить в одну группу те собственные числа оператора AQ, которые при возмущении некоторым (своим для каждой группы) оператором В; из того же класса, что и В, могут перейти в одно кратное собственное число оператора Ао + В . В нашем обзоре истории вопроса мы ограничимся случаем дискретных операторов, не касаясь теории регуляризованных следов операторов со спектром произвольной природы, начало которой было положено работами И. М. Лифшица [44] и М. Г. Крейна [36]. Обзор этого направления вплоть до современного состояния теории можно найти в [4], мы