Оглавление
Введение 4
1 Регуляризованные следы краевых задач в случае кратных корней характеристического полинома 34
1.1 Формальные решения. Диаграмма Пюизо.............. -10
1.2 Формальные решения в случае двукратных корней
характеристического полинома...................... 52
1.3 Асимптотические разложения фундаментальной системы решений........................................... 59
1.4 Характеристический определитель краевой задачи. . G9
1.5 Дзета-функция, ассоциированная с функцией А(А) . 72
1.6 Аналитическое продолжение дзета-функции
Z(cr) во всю (Г-плоскость......................... 75
1.7 Регуляризованные суммы корней функции Д(А).. . 80
1.8 Регуляризованные следы для краевой задачи второго
порядка .......................................... 84
1.9 Двукратное разложение по собственным функциям
краевой задачи второго порядка в случае кратного корня характеристического полинома................ 98
Дополнение.............................................120
2 Следы для одного класса сингулярных операто-
ров 123
2.1 Характеристический определитель оператора .... 126
2.2 Асимптотическое разложение характеристического определителя при А —> оо...............................131
2.3 Асимптотический ряд для собственных значений . . 133
2.4 Дзета-функция Z(a).................................141
2.5 Метод Лидского-Садовничего аналитического продолжения дзета-функции Z(a)............................144
2.6 Дефект регуляризации в случае простейших краевых условий ...............................................151
Дополнение.............................................155
3 Концентрация спектра для одного семейства сингулярных операторов 158
3.1 Асимптотика производной спектральной меры р{ А, е) оператора L(e) при А < 0 160
3.2 Асимптотика //(А, г) при А > 0.....................166
3.3 Дельтообразное семейство //ДА, е) на отрицательной полуоси ...............................................173
3.4 Концентрация спектра семейства операторов L(e) . 192
Список литературы 201
3
Введение
В 1953 г. И.М. Гельфанд и Б.М. Левитан [17] получили формулу
^(л„-^) = -£М±«М1 (1)
П-1
где {Л.}-11 - собственные значения задачи Штурма-Лиувилля:
-у" + 9(х)у = А у,
у(0) - у(тг) - 0 ,
д(х) - вещественная дифференцируемая на отрезке [0. тг] функция,
7Г
причем Jq(x)dx = 0.
Формула (1) стала называться регуляризованным следом оператора Штурма-Лиувилля и послужила источником многочисленных работ. Л.А. Дикий [22], [23] и И.М. Гельфанд [18] для оператора Штурма-Лиувилля вычислили регуляризованные следы всех
порядков, т.е. суммы вида
'00
(А™ - Д„(п)) , meN, (2)
П— 1
Ат(п) - вполне определенные числа, предъявляемые по асимптотике собственных значений Ап по степеням п при п -> оо и обеспечивающие сходимость рядов.
Л.Д. Фаддеевым и B.C. Буслаевым [8], [9], [89] получены формулы следов для сингулярных операторов с непрерывным спектром.
С. Хальберг, В. Крамер, Р. Гильберт [19] -[21] получили формулу
ОО ОО
^ ^ (^п Рп) ^ ^ {Врт 'ріг) ч (3)
П=1 71=1
ОО
при УСЛОВИИ, ЧТО ряд [В<рп, рп) СХОДИТСЯ. Здесь < /І-2 < . . .
?і=3
- собственные значения с учетом кратности самосопряженного ограниченного снизу оператора А , действующего в гильбертовом пространстве Н , а р\,р2,--- соответствующая этим собственным значениям последовательность ортонормированных собственных векторов, Лі < Л2 < ... - собственные значения с учетом кратности самосопряженного ограниченного снизу оператора С , причем операторы А и С имеют одинаковую область определения ПА и В = С-А.
л2
Так, для оператора А — ——г , действующего в пространстве
сіх
Ь->[0, тг] на функции, удовлетворяющие краевым условиям
2/(0) = у{ тг) = 0,
собственные значения (лп = п2 , нормированные собственные функции рп(х) = у^ътпх . Пусть, как и ранее, Ап - собственные значения оператора
с!1
2/(0) = ?у(?г) = 0 ,
где д(х) - дифференцируемая на [0,7г] функция, среднее значение
которой на этом отрезке равно 0 . Оператор В является опера-
00
тором умножения на функцию д(х) . Тогда ряд Е (д<рп, ч>п)
п = 1
5
сходится [23], причем
V'4 I \ 5(0)+5(7Г)
2^ \94>п, 4>п) = ,
П—1
и формула (3) переписывается в виде (1).
Если А - регулярный оператор Штурма-Лиувилля в гильбертовом пространстве /^[О.тг] , а В - оператор умножения на вещественную дифференцируемую на [0, тг] функцию д(х) , причем
7Г
ОО
g(x)dx = 0 , то ряд (В<рп, <рп) сходится и находится его
п= 1
О
сумма [19]—[21].
Р.Ф. Шевченко [94], [95] вычислил сумму разности собственных значений для несамосопряженных операторов А и А + В , задаваемых дифференциальными выражениями па отрезке [0, 1]
dn dn , ч
-— . -------h п\х) соответственно
dxn ' dxn
и одинаковыми регулярными краевыми условиями [52].
1
Функция д(х) достаточно гладкая и Jg(x)dx = 0 . Тогда
о
00
5(1)+5(0)
П=1
Пля сингулярных операторов Штурма-Лиувилля сумму разностей собственных значений вычислили М.Г. Гасымов и Б.М. Левитан [1-5]. [16]. Пусть А - полуограниченный самосопряжённый оператор в Ь2[0, +оо) . заданный на полуоси выражением
Чу) = -у" + я(х)у > я(х) £ с(и*) (2.3)
о
и закрепленным граничным условием
у(0) = 0,
имеет дискретный спектр , п = 1, 2, , В - оператор
умножения на вещественнозначную функцию д{х) , причём
о
(Со(К+) - множество непрерывных, финитных на Ко. функций.)
Обозначим через спектр возмущённого оператора А + В . Тогда
А.Г. Костюченко [31] вычислил регуляризованные следы (2.5) для полуограниченных дифференциальных операторов высших порядков, при этом предполагалось, что возмущение д(х) удовлетворяет условиям (2.4).
В 1967 г. В.Б. Лидский и В.А. Садовничий [1] предложили метод вычисления регуляризованных сумм корней г£ , £ — 1/2,3,... целой функции /(г) , принадлежащей классу К:
+ 00
(2.4)
(2.5)
Г?
N
оо
/(-г) ~ 52 (’ак*хПк 12 ’ 2 00 ’
Регуляризованные суммы корней функции /{г):
00
(4)
/
явно вычисляются через параметры асимптотики f(z) , Вт{1) отрезок в асимптотическом представлении z™ по степеням I при I —>• оо , обеспечивающий сходимость ряда.
К изучению корней целых функций класса К приводят наиболее общие краевые задачи на отрезке. А именно, рассмотрим краевую задачу на отрезке [0, 1] , порождаемую дифференциальным уравнением
0 + Р](Х’ Л)£^ + Л)£Э + *" + Рп{х, Х)У = о (1.1)
и краевыми условиями
п —1
А) = ^^[d2J*(A)2/(j)(0) + 6li(A)2/(-7)(l)] =0, i = \~n.. (1.2)
j=0
Спектральный параметр А Е С входит в уравнение (1.1) и краевые условия (1.2) полиномиально:
а
Ра{х, X) = ^2Paß(x)А0-'9, а = 1,п, (1.3)
;?=0
Лу(А) , bjj(А) - многочлены по А , при этом предполагается, что при каждом фиксированном А краевые условия (1.2) линейно независимы, Paß(x) - достаточно гладкие на отрезке [0. 1] функции.
В классической теории таких краевых задач, заложенной в работах Виркгофа Г.Д. [4], [5], Тамаркина Я.Д. [72] и Лангера P.E. [35] и продолженной в работах Келдыша М.В. [29], [30], Наймарка М.А. [52], Ильина В.А. [25]—[27], Лидского В.В., Садовничего В.А. [1]. [2], Хромова А.П. [92]. [93], Моисеева Е.И. [48], Шпаликова A.A. [96]. [97]. предполагалось (за исключением отдельных случаев, о которых будет сказано ниже), что характеристический полином поТамаркину [72]
ПН = iOn + Р\ф)п 1 + Ь Ра№п а -4 + Рпо (1.4)
8
не имеет кратных корней. Тогда характеристический определитель Д(А) , нулями которого являются собственные значения задачи
(1.1)—(1/2), принадлежит классу К .
Поэтому регуляризованные следы (2) краевых задач (1.1)—(1/2), при условии простоты корней характеристического полинома (1.4), вычисляются по формулам (4) регуляризованных сумм корней целой функции класса К .
Мы снимаем условие простоты корней характеристического полинома (1.4).
В общем случае кратных корней ад,... ,а>„ полинома (1.4) фундаментальная система решений уравнения (1.1) имеет более сложные, чем в случае простых корней, асимптотические разложения в некоторых бесконечных областях комплексной плосткости А .
Отметим, что и в случае кратных корней возникают ситуации, когда фундаментальная система решений уравнения (1.1) имеет такие же асимптотические разложения как и в случае простых корней. Гак, например, в известном уравнении Орра-Зоммерфельда [3] характеристический полином (1.4) имеет один корень а?о — О кратности два и два однократных корня оц/2 = ±1 • Однако асимптотическое разложение фундаментальной системы решений не содержит дробных степеней спектрального параметра А в показателях экспонент (см. (1.5)). Поэтому характеристический определитель Д(А) краевой задачи для уравнения Орра-Зоммерфельда принадлежит классу К .
Рассмотрению краевых задач (1.1)—(1.2) вне зависимости от кратности корней характеристического полинома (1.4) посвящена первая глава настоящей работы.
В работах Тржитзинского В. [77] и Территтина X. ([79], теоре-
9
ма 1) построены п независимых формальных решений уравнения
и дан алгоритм нахождения параметров Щ £ N , ЩЩ) , <г^(х) разложения (1.7). Для нахождения асимптотики собственных значений И, = 1, 2, ... краевой задачи (1.1)—(1.2) необходимо, чтобы формальные решения (1.7) уравнения (1.1) являлись асимптотическими решениями при А -> ос в неограниченных областях, и эти области покрывали внешность круга достаточно большого радиуса с центром в начале координат.
Наложим следующее
Условие 1. Параметры ЩЩ) , '] — 1 , п , г = 0,/у —1 в формальном представлении (1.7) решений уравнения (1.1) являются постоянными.
Установить постоянство параметров в терминах коэффициентов Рар{%) уравнения (1.1) позволяет приведенный в первой главе алгоритм построения формальных решений (1.7) с использованием диаграмм Пюизо. Так, например, если коэффициенты Рао, Ра] , а = 1, п являются постоянными и кратность корней полинома Щш) не превышает двух, то условие 1 будет выполнено. Тогда каждому простому корню и полинома Щи;) отвечает формальное решение
(1.7)
00
у(х,Л)=е‘5Аж^(
10
а каждому двукратному корню отвечаю!' два независимых формальных решения уравнения (1.1) (утверждение 1.1):
При условии 1 во внешности круга |А| < До , До - достаточно большое положительное число, существует конечное число простых гладких кривых
Ф,п - э?га(<р)е'*, 1р 6 1т, т = 1, М,
(<р - полярный угол, 1т - некоторый интервал), причем
ЭМ<р) ->• +°° ПРИ Ч> “>• 4>т > € Л« (Теорема 1.1).
Эти кривые Фто , т. = 1, М (см. Рис. 11) разбивают внешность круга |А| < Ду на конечное число неограниченных замкнутых областей 5т , т — 1, М (см. Рис. 12). В каждой области Дт формальные решения (1.7) уравнения (1.1) являются асимптотическими и справедлива
Теорема 1. 3. В каждой области 5т, т = 1, 2, ..., М существует фундаментальная система решений ут{х, А) , ут2(х, А) Утп{х, А) уравнения (1.1) такая, что
где
11
Л —^ ос , Л 0 , % — 1, 2, ..., ть.
Из асимптотического разложения фундаментальной системы решений (1.13) уравнения (1.1) следует, что характеристический определитель Д(А) задачи (1.1)—(1.2) является целой функцией первого порядка, имеющей асимптотическое представление во всей плоскости при А —> ос:
определяемые через коэффициенты дифференциального уравнения
(1.1) и краевых условий (1.2).
Характеристический определитель Д(А) не принадлежит классу К . Однако метод Лидского-Садовничего [1] введения дзета-функции, ассоциированной с классом К , можно распространить и па целые функции А(А) , имеющие асимптотические представления (1.14). Дзета-функция, ассоциированная с функцией Д(А) , вводится с помошью интеграла
многозначная функция А а определяется фиксированной ветвью логарифма, регулярной во внешности контура Г . Дзета-функция Z(a) аналитически продолжается во всю а-плоскость как целая функция, причем
(1.14)
где /г - наименьшее общее кратное чисел Ад, &2, ..., кп , щ € Ъ , вы, р1к} £ С, ф 0 - параметры асимптотики функции А(А),
где Г - некоторый контур на римановой поверхности л/А , и
/> = 0, 1, 2, ...,
12
где u/Дд - коэффициент асимптотического разложения
Тмл ~ А 6 Г, А —> оо , (1.16)
' ' 1/=О
г~5 /у = 0, --- /г - 1.
h
Нули А*, £ = 1, 2, 3, ... функции Д(А) асимптотически при больших номерах I располагаются в секторах Es, s = 1, ..., М раствора 2£ каждый, £ > 0 - достаточно малое, биссектрисами которых являются критические направления arg А = (следствие 1.3). Для установления формул (4) регуляризованных сумм корней функции Д(А) нужна легальная информация об асимптотике нулей А^, а именно необходимо получить явные выражения Вт{€) , обеспечивающие сходимость ряда (4). Для нулей функций класса К возникает ситуация [63], при которой получение асимптотических формул для нулей \(> по степеням (. принципиально невозможно. Это приводит к необходимости получения формул регуляризованных следов с помощью теории возмущений. Поэтому, распространяя теорию Лидского В.Б. и Садовмичего В.А. [1] па более широкий класс целых функций, чем класс К , будем считать выполнениым следующее
Условие 3. Для корней I = 1, 2, 3, ... функции Д(А) , лежащих в секторе Es, 5 = 1, ..., М , справедливо асимптотическое представление
А. ( $\Ьп)\
\ns ~ asn’»s I 1 + г— , п -» оо , (1.19)
V Ы1 nms /
где а$ - некоторое не равное нулю комплексное число, ms -натуральное число, 1 < ms < h , ß* (lnrc) - полиномы огпио-
13
сителъно 1п п степени, к - Ь, 4-1 при к > 1г и нулевой степени при 1 < к <11—1 .
Справедлива
Лемма 1. 4. При И.ест > 1
ад = Елгли,
е
где
(к. а = 0, ±1, ±2, ...
А(сг) = < е~2тгкаг __ }
-—-—------. 6 остальных точках.
К е~Ъ(7} - 1
Возведем асимптотическое соотношение (1.19) в степень —а , по формуле Тейлора получим
(1.20)
\ к=1 П^з )
где
к—А+1
<5^(а,1гт)= Е
х/=0
и (а) - полиномы относительно а степени к.
Для фиксированного натурального т заключаем, что функция
п=1 3=1
Е
Л*=1
(1.21)
допускает аналитическое продолжение в полуплоскость
_ т + 1
Яе О > : Ь 1 .
П
14
R асимптотической формуле (1.19) конечное число нулей функции Д(А) могут оказаться непронумерованными или же, наоборот, может оказаться избыток целочисленных индексов в конечном числе. R случае, когда оказываются непронумерованные корни, они включаются в сумму (1.21). Так как их конечное число, то они не влияют на существование аналитического продолжения Фг(<т) • Если имеется избыток целочисленных индексов в (1.19), то в сумме (1.21) А“/ , снабженные избыточными индексами, считаются нулями. Поэтому в (1.21) поставлен штрих над знаком суммы. Рассмотрим функцию
= Y.Е»г"«''" (1+ЕQr>(T’‘>) • <1-22)
n=l ,= l V к= 1 nms )
регулярную при Rea > 1 .
Из соотношения (1.21) и леммы 1.4 при Rea > 1 имеем
= ТГЕ - ф»- (L23)
Л(<т)
Отсюда следует, что функция Фт(<т) аналитически продолжается как мероморфная функция в полуплоскость
г> Т ^ і
Re (J >---------Ь 1 ,
h
и значения Фт(а) выражаются через (-функцию Римана и ее производные. Вычисляя значения Фг(^) по формуле (1.23) при а = 0, -1, -2, , мы доказываем основную теорему первой
главы
Т + 1
Теорема 1. 5. При любом целом m < —- 1 справедливы.
равенства
00 м
Е'Е
77 = 1 5=1
\т
725
Л 77?
апт*
5
Q^(—m,Inn)
— а
т
Е
fc=l
А*-Ат П т&
="2+,„ - <м-
где Л - коэффициенты разложения в (1.16), ФТ(—т) определяются через С-функцию Римана и ее производные, as - коэффициент при главном члене в асимптотике (1.19), cffi-rnAnn) полином относительно Inn в представлении
(1.20).
Иллюстрацией теоремы 1.5 служит краевая задача второго порядка с кратным корнем характеристического полинома (1.4):
0"2Л^ + ^(ЖЬЛ + Л2)у = 0’ (L25) 2/(0) = у(1), у'{0) = у'{\), (1.26)
ф) € С00[0, 1] .
Характеристический полином (1.4)
П((д) = со2 — 2со + 1
имеет корень со0 = 1 кратности 2 .
Собственные значения краевой задачи, начиная с некоторого, простые, образуют четыре серии, причем для этих серий справедливы асимптотические разложения при к +оо
1 30 rjP
I «и Afc:i ~ -27vik + V-2ttik + - + ^ ,
t/=l
1 00 r ^
AH ~ —2nik - y/~2mk + ^ ^ ,
l/=l
f «jl
коэффициенты 7)J,\.. ,//= 1. 2, ... последовательно определяются по рекуррентным формулам, причем
vt] = 2y/^Ti (J ^i ]dt _ l \ ’ г = 1 ’2 ’ = fl[? > r/i4] = *?',
м (~ir1 ' '* 'A
% = 8**
, S = 1,4.
J <р$)! ^ {у ?>(*)<*
0 0 \0 / )
Дефект регуляризации к , т.е. целое число, равное недостатку или избытку собственных значений краевой задачи, равен 2. Поэтому, при заданном способе нумерации два собственных числа окажутся непронумерованными. Формула регуляризованного следа первого порядка имеет вид:
2 АД/2 к
где а,\ = а> = 2тгг, а?, - а4 - — 27гг.
Асимптотическое разложение фундаментальной системы решений (1.13) уравнения (1.1), полученное в теореме 1.3, позволяет установи ть базисные свойства системы собственных и присоединенных функций задачи (1.1)—(1.2). Если характеристический полином Щи;) не имеет кратных корней, то базисные свойства системы собственных и присоединенных функций хорошо изучены в
17
работах [4], [5]. [И], [29], [30], [45], [54], [83]-[35] [92], [93], [96], Обратимся к краевой задаче (1.25)—(1.26).
В Л-плоскости построена расширяющаяся система Гл", на которых функция Грина С(х,£,, А) задачи (1.25)—(1.26) имеет равномерную по ж и £ , 0 < х < 1 , 0 < £ < 1 оценку:
|С?(а:, А)| < ^ , ЛеГ.л,',
где С - некоторая положительная постоянная. Из этой оценки функции Грина методом контурного интегрирования получается двукратная разложимость функций в равномерно сходящийся на [0, 1] ряд по собственным функциям задачи (1.25)—(1.26).
Теорема 1. 6. Пусть функции /(х) . д(х) удовлетворяют следующим условиям:
1) /И € С4[0, 1] , .(/(ж) е С:![0, 1]
2) функции /(ж), /'(х), /"(ж), д(ж), д'{х), д>{ж)/(х) удовлетворяют краевым условиям (1.26).
Тогда справедливо разложение пары функций /(ж) и д(х) в равномерно сходящийся на отрезке [0, 1] ряд
(Щ- Га (У^) )
и*)У " Ь \ХМх)) ’
где
к} /тш+}ш ~ Ш) - тшт
а„ = —------------------------у ;----------------, (1.76)
(2А„ -1) / -2 /
о о
у„(х) и г„(х) - собственные функции задачи (1/25)—(1.2С) и ей
сопряженной, отвечающие собственным значениям \и и
соответственно.
Причем разложение пары функций /(х) и д(х) в равноме]^И сходящийся ряд (1.76) единственно. ^
Теорема 1. 7. Если разложение пары функций /(х) и д(х) в ряд
(Я*Л _ V о ( уЛ*) \ и*)У ь \КуЛх))
равномерно сходится на отрезке [0, 1] , то оно единственно, гп.е. Д, = а„ .
В дополнении к главе 1 приведены результаты, уточняющие базисные свойства системы собственных функций краевой задачи (1.25)—(1.26), полученные в теоремах 1.6. 1.7. Эти результаты получены совместно с Е.П. Богомоловой и опубликованы в работе [106].
Вычисление регуляризованных следов (2) сингулярных дифференциальных операторов с дискретным спектром является трудной задачей. Для вычисления суммы ряда (2) необходимо получить точные асимптотические равенства для собственных значений, что является следствием асимптотических разложений при больших значениях спектрального параметра фундаментальной системы решений дифференциального уравнения. Некомпактность об-ласти определения дифференциальных операторов или особенности коэффициентов дифференциального уравнения приводят к сложной асимптотической структуре при |А| -4 оо фундаментальной системы решений. Однако для некоторых классов сингулярных дифференциальных операторов эту трудность удается преодолеть.
В.А. Садовничий [61] впервые вычислил регуляризованные следы
19
- Київ+380960830922