АСИМПТОТИКА СОБСТВЕННЫХ ЗНАЧЕНИЙ И РЕГУЛЯРИЗОВАННЫЙ СЛЕД ПЕРВОГО ПОРЯДКА ОПЕРАТОРА ШТУРМА-ЛИУВИЛЛЯ С δ-ПОТЕНЦИАЛОМ Текст научной статьи по специальности «Математика»

УДК 517.927.25 doi: 10.17238/issn2227-6572.2016.1.104

КОНЕЧНАЯ Наталья Николаевна

Институт математики, информационных и космических технологий Северного (Арктического) федерального университета имени М.В. Ломоносова адрес: 163002, г. Архангельск, ул. Урицкого, д. 68, к. 3; e-mail: n.konechnaya@narfu.ru

САФОНОВА Татьяна Анатольевна

Институт математики, информационных и космических технологий Северного (Арктического) федерального университета имени М.В. Ломоносова адрес: 163002, г. Архангельск, наб. Северной Двины, д. 17; e-mail: t.Safonova@narfu.ru

ТАГИРОВА Рена Насировна

Институт математики, информационных и космических технологий Северного (Арктического) федерального университета имени М.В. Ломоносова адрес: 163002, г. Архангельск, наб. Северной Двины, д. 17; e-mail: tagirova_rena@mail.ru

АСИМПТОТИКА СОБСТВЕННЫХ ЗНАЧЕНИЙ И РЕГУЛЯРИЗОВАННЫЙ СЛЕД ПЕРВОГО ПОРЯДКА ОПЕРАТОРА ШТУРМА-ЛИУВИЛЛЯ С 5-ПОТЕНЦИАЛОМ1

Одной из интересных задач спектральной теории операторов является изучение асимптотического поведения функции распределения при больших значениях спектрального параметра X. Частным случаем этой задачи является изучение асимптотики собственных значений, собственных функций в зависимости от свойств коэффициентов дифференциального выражения и получение формул регуляризованного следа для соответствующих операторов. Для дифференциального оператора Штурма-Лиувилля, порожденного выражением -y"(x) + q(x)y(x) и самосопряженными краевыми условиями в пространстве L2[a, b], с непрерывно дифференцируемым потенциалом существенные результаты были получены И.М. Гельфандом, Б.М. Левитаном в 1953 году. Сравнительно недавно в работах А.А. Шкаликова, А.М. Савчука были впервые получены асимптотика собственных значений, собственных функций и формула регуляризованного следа для операторов Штурма-Лиувилля на конечном отрезке с сингулярными потенциалами, не являю-

'Авторы искренне благодарят профессора К.А. Мирзоева за постановку задачи и постоянное внимание к работе. Н.Н. Конечная и Т.А. Сафонова проводили исследование при поддержке Российского фонда фундаментальных исследований (грант № 14-01-31136-мол а) и Регионального общественного фонда содействия отечественной науке (грант по фундаментальным проблемам физики и математики). Т.А. Сафоновой также получена поддержка Минобрнауки РФ (грант Президента РФ № МК-3941.2015.1), Российского фонда фундаментальных исследований (гранты № 14-01-00349, 15-31-50259), правительства Архангельской области (конкурс «Молодые ученые Поморья», научный проект № 10-2015-03а «Качественный анализ дифференциальных уравнений с негладкими коэффициентами и смежные вопросы спектральной теории операторов»).

щимися локально интегрируемыми функциями, и краевыми условиями Дирихле. При этом применялось определение оператора Штурма-Лиувилля с потенциалом-распределением первого порядка как оператора, порожденного квазидифференциальным выражением второго порядка с локально суммируемыми коэффициентами, впервые рассмотренное в работах А.М. Савчука и А.А. Шкаликова. Такой подход позволил нам в данной работе исследовать асимптотическое поведение собственных значений и получить формулы регуляризованного следа первого порядка для операторов, порожденных выражением —y"(x) + hd(x)y(x), где 5(x) - 5-функция Дирака, h е R, и некоторыми самосопряженными краевыми условиями в пространстве L2[-1, 1], а именно условиями вида: i) y(-1) = y(1) = 0; ii) y[1](-1) = y[1](1) = 0; iii) y(-1) = y[1](1) = 0; iv) y(-1) = = y(1), y[1](-1) = y[1](1). Для нахождения асимптотики собственных значений указанных операторов найдены соответствующие трансцендентные уравнения. Дальнейший анализ полученных уравнений позволяет получить формулы регуляризованного следа первого порядка рассмотренных операторов.

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

1. Пусть вещественная функция о(х) измерима на отрезке [-1, 1] и о2(х) е Ь^-1, 1]. Пусть далее у(х) - абсолютно непрерывная функция на [-1, 1] (у(х) е АС [-1, 1]). Определим первую квазипроизводную функции у, полагая у[1](х) := у'(х) - о(х)у(х). Предположив, что у[1](х) е АС[-1, 1], определим вторую квазипроизводную у(х), полагая у[2](х) := (у[1](х))' + о(х) у[1](х) + о2(х)у(х), и рассмотрим квазидифференциальное выражение

1[у](х) := -у[2](х), х е [-1, 1]. (1)

В [1, 2] показано, что (1) определяет симметрическое в смысле Лагранжа (формально самосопряженное) дифференциальное выражение

1[у](х) = -у"(х) + о'(х)у(х), (2)

где всюду производные означают производные в смысле теории распределений. В этих же работах установлено, что /[у] порождает максимальный оператор Ьм по формуле Ьм[у] = = /[у] с областью определения

D(LU) = { у | у,У1] е АС[-1,1],у[2] еL2[-1M]}

и минимальный оператор Ьп, определяемый как сужение Ьм на область

Д^) = {у |у е Д^м),У(±1) = У[1](±1) = 0}.

Справедлива теорема [1, 3]:

Теорема 1.1. Оператор Ьп является замкнутым симметрическим оператором с индексом дефекта (2, 2). Всякое самосопряженное расширение L оператора Lп определяется линейно независимыми краевыми условиями вида:

aß Я-1)

причем

где A =

aj2 y[1](-1) + Ьл y(1) j = 1, 2,

AJA* = BJB*,

bj2 y[1](1) = 0,

(3)

(4)

B =

22 /

V b21

и J =

J22 J

0 1 -1 0

Обратно, всякие линейно независимые краевые условия (3), удовлетворяющие (4), определяют самосопряженное расширение L оператора L .

п

Из вышесказанного следует, что операторы, порожденные (2) в пространстве Ь2[-1, 1], являются регулярными дифференциальными операторами. И, в частности, резольвента любого самосопряженного расширения Ь оператора Ьп является интегральным оператором с ядром Гильберта-Шмидта, а спектр любого самосопряженного расширения Ь оператора Ьп является вещественным и чисто дискретным.

Пусть теперь функция о(х) задана следующим образом:

о( х) =

|0, если -1 < х< 0, I h, если 0 < х < 1,

где И е Я. Тогда дифференциальное выражение (2) принимает вид:

1[у](х) = -/'(*) + И5(х)у(х), х е [-1, 1], (5) где 5(х) - 5 - функция Дирака.

Данная работа посвящена нахождению асимптотических формул для собственных значений и регуляризованного следа первого порядка самосопряженных расширений оператора Ьт , порожденных выражением (5) и некоторыми краевыми условиями, удовлетворяющими равенствам (3) и (4), а именно условиями вида:

/) у(-1) = у(1) = 0; 11) у [1](-1) = у[1](1) = 0; ш) у(-1) = у[1](1)=0; /V) у(-1) = у(1), у[1](-1) = у[1](1). Подчеркнем, что условия /)-///) являются разделенными краевыми условиями, и поэтому собственные значения соответствующих операторов простые. Условие /V) - это аналог периодических краевых условий, и собственные значения в этом случае двукратные (кроме первого).

Отметим, что в работах [1, 2] впервые были получены асимптотические формулы для собственных значений и собственных функций операторов Штурма-Лиувилля с потенциалами-распределениями о' и краевыми условиями Дирихле на [а, Ь], т. е. условиями вида /). В работе [4] найдена формула регуляризованного следа оператора Штурма-Лиувилля, порожден-

2. Для нахождения асимптотики собственных значений указанных операторов составим для них трансцендентные уравнения. Рассмотрим уравнение на собственные значения

-у''(х) + И5(х)у(х) = Ау, (6)

где А = z2 - спектральный параметр.

Лемма 2.1. Общее решение дифференциального уравнения (6) можно представить в виде:

У( x) =

sin zx пч CjCos zx + c2-, если x e[-1,0);

z (7)

sin zx

если x e (0,1],

причем для коэффициентов c¡1,cl, c2,c2 справедливы равенства

С = c¡; c2 = c2 + hc1. (8)

Доказательство. Из теоремы существования и единственности решения задачи Коши для уравнения (6) следует, что y, y[1] е AC [-1, 1]. Поэтому для произвольного решения уравнения (6) справедливы равенства:

y(0 + 0) = y(0 - 0); y[1](0 + 0) = y[1](0 - 0). (9) С другой стороны, уравнение (6) на промежутках [-1, 0) и (0, 1] имеет вид y"(x) = = -z2y. Составим соответствующее характеристическое уравнение к2 = -z2. Пусть X > 0,

т. е. z = л/Х е R , тогда характеристическое уравнение имеет различные комплексные корни k = iy¡X = iz, k = -iy¡X = -iz . Поэтому общее

решение уравнения (6) на промежутках [-1, 0)

sin zx

и (0, 1] имеет вид y( x) = CjCos zx + c2 и

sin zx z

соответственно, т. е.

ного выражением - у" (х) + 5(х - —) у (х) и краевыми условиями Дирихле в ¿2[0, п]. В работе [5] найдена формула регуляризованного следа для операторов Штурма-Лиувилля с сингулярными потенциалами, не являющимися локально интегрируемыми функциями, и краевыми условиями Дирихле в ¿2[0, п].

y(x) = Cj cos zx + c2

z

справедливы формулы (7). Подставив эти представления в (9), получим, что справедливы равенства (8).

Пусть теперь А < 0, т. е. z = i^f—k е C, тогда характеристическое уравнение имеет различные действительные корни к1 = *J—k = -iz k = -V-X = iz. Поэтому общее решение

уравнения (6) на промежутках [-1, 0) и (0, 1] имеет вид y(x) = cxexp(izx) + c2exp(-izx) и y(х) = q exp(izx) + c2 exp(-izx) соответственно.

^ 111 Положив c1 = c2 = и c1 = —, c2 = - , полу-2 2iz 2iz

чим на промежутке [-1, 0) два линейно неза-

sin zx

висимых решения cos zx и . Аналогично

z

и на промежутке (0, 1]. Следовательно, для общего решения уравнения (6) остаются справедливы формулы (7) и (8).

В случае X = 0 формулы (7) и (8) справедливы как предельный случай равенств (7) при z ^ 0. Лемма доказана.

Замечание 2.1. В случае X < 0 положим z = = izj, zj е R, тогда формулы (7) примут вид:

У( x) =

shz, x

c1chz1 x + c2-, если x g [-1,0);

c,chz, x + c2

shz,x

—L,если x g (0,1].

(1О)

Теорема 2.1. Трансцендентные уравнения для собственных значений операторов, порожденных дифференциальным выражением (5) и краевыми условиями i) - iv), имеют вид: h

i) sin z(2 cos z + — sin z) = 0;

z

h

ii) sin z(h sin z - (2 z +--)cos z) = 0;

z

h h

iii) cos 2z--sin 2z —- sin2 z = 0;

2z

h2

iv) (4 + —)sin2 z = 0. z

Доказательство. Докажем справедливость

теоремы для случая i). В силу леммы 2.1 для

общего решения уравнения (6) справедливы

равенства (7) и (8). Граничные условия i) будут

выполнены, если c c2 являются решениями

системы sin z

c cos z - c-= 0;

. Sin z Sin z c1 (cos z + h-) + c2-= 0.

Данная система имеет ненулевое решение в том и только в том случае, когда ее определи-

h

тель равен нулю, т. е. sin z(2cos z + — sin z) = 0.

z

Аналогично можно доказать и остальные утверждения теоремы. Теорема доказана.

Замечание 2.2. В случае X < 0 снова сделаем замену z = iz1, z1 е R, тогда соответствующие трансцендентные уравнения примут вид: h

i) shz1(2chz1 +— shzj) = 0;

zi

h

ii) shzj (hshzj + (-2 Zj +--)chzj) = 0;

zi

h h1

iii) ch2Zj - 2—sh2Zj —^sh2zj = 0;

h2

iv) (4 —2)sh2z1 = 0.

zi

Замечание 2.3. Число X = 0 является собственным значением рассматриваемых операторов при выполнении следующих равенств: i) h + 2 = 0; ii) h = 0; iii) h2 + h - 1 = 0; iv) h = 0. 3. Исследуем асимптотику собственных значений операторов, порожденных дифференциальным выражением (5) и краевыми условиями i)-iv).

Теорема 3.1. Собственные значения оператора, порожденного дифференциальным выражением (5) и краевыми условиями i), имеют следующую асимптотику:

. п n h , ^n h (1 '

Xn =-+ --(-1) - + O - при n .

n 4 2 V ' 2 \ n)

Доказательство. Пусть X > 0, т. е. z = л/Х> 0 Согласно теореме 2.1 трансцендентное уравнение для собственных значений рассматриваемого оператора имеет вид

h

sinz(2cosz +—sinz) = 0 . z

Следовательно, sin z = 0 или

h

2cosz + — sinz = 0 . (11)

z

Из уравнения sin z = 0 находим, что zm = nm, m = 1, 2, ... .

Решая уравнение (11) непосредственно, найдем, что его решения можно записать в виде

z„ =nn+ an, п = 1,2,...,

где |an| < C, C = const, и ап ^ 0 при п ^

Подставив в уравнение (11) найденное решение z , получим: h

sm а =

1

2nn i _ п _ 2аn

cos а .

2пп

1

Выражение п_ является суммой

1_ П 2аn

2пп

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

п- 2а n т-т

со знаменателем, равным -n . Поэтому

sm а = -

h_ 2пп

cos а + о

' 1Л

2пп

Так как ап ^ 0 при п ^ то в силу первого замечательного предела h

a п =

2пп

+ O

' 1 Л

и, следовательно,

п h ^

z = пп---1---h O

' 1 Л

2 2пп

Таким образом, общее решение для zn и zm имеет вид:

пк п h , -1 h „( 1

zk =---+--(-1) -+ О —

2 2 2пк 2пк V к2,

к = 2, 3, ... .

Учитывая замену X = г , получим следующую асимптотику положительных собственных значений соответствующего оператора:

* к =

п2 (к -1)2 h

h

+ ^-(-1)к+ О 2 V ' 2

1 к

, к = 2,3,

Заменив п = к - 1, получим окончательные асимптотические формулы:

К =

_2 2 7

П Я Л

Л

+ --(-1)- + О 4 2 v ' 2

1

п = 1, 2, ... .

ных собственных значений рассматриваемого

h

оператора имеет вид shz1(2chz1 +— shzt) = 0

zi

Zj e R . Данное уравнение не имеет отличных от нуля корней. Следовательно, оператор не имеет отрицательных собственных значений.

Из замечания 2.3 следует, что число X = 0 является собственным значением соответствующего оператора только при h = -2. Теорема доказана.

Теорема 3.2. Собственные значения оператора, порожденного дифференциальным выражением (5) и краевыми условиями ii), имеют следующую асимптотику:

Л n2п2 h , ..„h Л, — .. . Х„ =—Л--т + Н)"т + O(-) при п .

4 2 2 n

Доказательство. Пусть X > 0. Согласно теореме 2.1 трансцендентное уравнение для собственных значений рассматриваемого операто-

h

ра имеет вид sin z(h sin z - (2z +--)cos z) = 0 .

z

Следовательно, sin z = 0 или

h

hsinz -(2z +--)cosz = 0 . (12)

z

Из первого уравнения находим, что zm = nm, m = 1, 2, ... .

Решая уравнение (12) непосредственно, получим, что его решения можно записать в виде:

Zn =™ + П-ап , п = 0 1, ••• '

где |an| < C, C = const, и ап ^ 0 при п ^

Подставив в уравнение (12) найденное решение z получим: п

, пп +— h 2

sm а п = 2 '7-^ 2

1 -

2«„ 2пп + п

пп + -

1-

2а п

2h1

-cos ап

2пп + п) (2пп + п)2

Рассуждая так же, как и в теореме 3.1, определим, что

Пусть теперь X < 0. Согласно замечанию 2.2, трансцендентное уравнение для отрицатель-

h

a n =

2nn + п

+ O

' 1 Л

2

п

2

п

и, следовательно, п

zn = пп + —

п 2

h

+ O

2

п

n = 0, 1,

2пп + п

Таким образом, общее решение для zn и zm

имеет вид:

nk h í л\к h ^ zk + — + O

' 1 Л

k

k = 1, 2,

2 2пк 2пк

Учитывая замену X = z2, получим следующую асимптотику положительных собственных значений:

п2к2 h , .^фh ^ -т + (-1) т + 0

Ь к =

k = 1, 2,

cos2z - — sin 2z - —2 sin2 z = 0 . 2 z z2

n nn

zn = — +--a n

n 4 2 n

n = 1,2,...,

где |a | < C, C = const, и a ^ 0 при n ^

Подставив в уравнение (13) найденное решение zn, получим:

2h

sm2a„ =

+ O

2

\П у

2nn + п

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

a n =

2%n + n

+ O

1Л Vn2y

и, следовательно,

A

л лп

z„ =- +--

4 2 2лп + л

+ O

\У /

4 2 4 ' 2

Пусть теперь X < 0. Согласно замечанию 2.2 трансцендентное уравнение для отрицательных собственных значений рассматриваемого оператора имеет вид

к2

shz1 (hshz1 + (-2z1 +--) = 0 , z1 е R.

zl

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

Из замечания 2.3 следует, что число X = 0 является собственным значением соответствующего оператора только при h = 0. Теорема доказана.

Теорема 3.3. Собственные значения оператора, порожденного дифференциальным выражением (5) и краевыми условиями т), имеют следующую асимптотику:

1 л21 ,2 h Л.

=~Г^ + П + 0( ) при п .

4 2 2 п

Доказательство. Пусть X > 0. Согласно теореме 2.1 трансцендентное уравнение для собственных значений рассматриваемого оператора имеет вид:

г (13)

Решая уравнение (13) непосредственно, получим, что его решения можно записать в виде:

Учитывая замену X = z2, получим следующую асимптотику собственных значений:

п2 1

h

х t =— е+n)2 --+о

n = 1,2...

4 2 2

Пусть теперь X < 0. Согласно замечанию 2.2, трансцендентное уравнение для отрицательных собственных значений рассматриваемого оператора имеет вид:

h h2 ^2z1--sh2—-sh z1 = 0 , г1 е R .

2 z1 z1

Данное уравнение не имеет решений. Следовательно, соответствующий оператор не имеет отрицательных собственных значений.

Из замечания 2.3 следует, что X = 0 является собственным значением соответствующего

оператора только при h = 1 ± ^ . Теорема доказана.

2

Теорема 3.4. Собственные значения оператора, порожденного дифференциальным выражением (5) и краевыми условиями iv), имеют вид: h2

Х0 =-— Xn =n2n2, n = 1,2,.... 4

Доказательство. Пусть X > 0. Согласно теореме 2.1 трансцендентное уравнение для собственных значений рассматриваемого операто-

h

ра имеет вид (4 + —) sin2 z = 0. Следовательно,

h2 z2 4 + — = 0 или sin z = 0 . Учитывая замену

z

X = z2, получим следующие формулы для положительных собственных значений оператора: X = n2n2, n = 1, 2, ... .

Пусть теперь А < 0. Согласно замечанию 2.2 трансцендентное уравнение для отрицательных собственных значений рассматриваемого оператора имеет вид: к2

(4 —-)sh2= 0 , ^ е Я .

Следовательно, оператор имеет единственное отрицательное собственное значение

х о -- -4.

Из замечания 2.3 следует, что число А = 0 является собственным значением соответствующего оператора только при И = 0. Теорема доказана.

4. Под регуляризованным следом первого порядка операторов, порожденных дифференциальным выражением (5) и краевыми условиями г)-™), будем понимать суммы соответствующих рядов:

i) I

я=1

ii) X

n=1

iii)

-h+(-1) 4 ! !

I

n=i

+h - (-i) 4 ! !

n

4

2 2 ■n n

(i Л 2 \ h

- + n + —

12 J 2 /

.

(14)

(15)

(16) (17)

трами в начале координат и радиусами, равны-

П П

—n + — 2 4

п n

ми — n + . Отметим, что /(z) нечетна, функция

А

2 z

tgz ограничена на yn некоторым числом, не

h

зависящим от п, а функция 1п(1 +--tgz) голо-

2 z

морфна на уп при больших значениях п. В силу теоремы Коши о вычетах получим:

2¿ * k = -П j z2 d (ln f (z)) = -П- j z2 d (ln (sin 2 z)) + k=i 2ni Yn 2nz Tb

1 г —

+— j z2 d (ln(1 + —tgz)) = 2nz Y 2z

„■А n2k2 1 г „ . h h2 2x7 /.,4

= 2^ —--—I 2z(— tgz - — tg2 z)dz + o(l) =

k=l 4 2ro ,J 2 z 8z

y n

n „2i 2

=- ¿1 htgzdz+

k=1

i r h tg2z, ... пл- , x-1

y n 2í 2

21 Y 4 z

4

„1 , 1 И < 2 й+ 4

h2 ^ tg2 z

+ — ^ геу —— + о(1) =

,„1 1

|z| < 2 й+ 4

п2k2

= 2^-+ 2h

k=1

( n \ ^ 1

\k=1 y

2h2/

п

X -

X k2

k

+ o(1),

Отметим, что при тех значениях параметра h, при которых X = 0 является собственным значением, суммирование надо начинать с 0. Очевидно, что в случае iv) ряд (17) сходится и его сумма равна нулю.

Теорема 4.1. Пусть L - оператор, порожденный (5) и краевыми условиями i). Тогда ряд

h2

(14) сходится и его сумма равна - .

Доказательство. Числа zn (см. теорему 3.1) являются положительными корнями функции h

f (z) = sin 2z(1 + — tgz). Обозначим через yn 2z

окружности на комплексной плоскости с цен-

где штрих означает суммирование по всем нечетным числам, меньшим п.

/

Г п \

Заметив, что

1

Е = 2Е (1 - (-1)") , полу-

V к=1 у 2 к=1

чим равенство:

я k-П2^ -h+h (-i)k

k 4 2 2

При n —> +oo сумма

n 1

v2=

V k =1 k ,

+0(1).

Г n Л\ V. k=1 K

стремится к

—, поэтому ряд (14) сходится и его сумма рав-

8

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

n

n

n

Теорема 4.2. Пусть L - оператор, порожденный (5) и краевыми условиями п). Тогда ряд

(15) сходится и его сумма равна - .

Доказательство. Числа zn (см. теорему 3.2) являются положительными корнями

Н2 h

f (2) = -2 sin22(1 + (— - — tgz)) .

2 2 2 2

Обозначим через уп окружности на комплексной плоскости с центрами в начале коор-

п п

динат и радиусами, равными ~п + ~ . Отметим,

к2 к

что четная, функция —---tgz ограниче-

2 z 2 z

на на у некоторым числом, не зависящим от п,

h

а функция ln(1 + (—2--tgz)) голоморфна на

2 z 2z

Yn при больших n. Применяя теорему Коши о

вычетах, получим:

п 1 1

2У Xk =-f z2d(ln(-z)) +-f z2d(lnsin2z) +

k=1 2ni Yn 2ni Yn

1 r h2 h

+- f z2 d(ln(1 + (—--tgz))) =

2ni J 2z2 2z

In

A n2k2 1 r^ w , h h чч , = ~ - 2П J 2 z ln(1+(27 - Tztg))dz =

= 2*^--L гhLdz +_Lx

tk 4 2ni J z 2ni

с Г htgzdz + — Г — tg2zdz + o(l) = J 2П I 4 z

x

_2r 2

П k

= - h2 - 2hЩ.

П

\k

o(1),

где штрих, как и прежде, означает суммирование по всем нечетным числам, меньшим п. Следовательно, справедливо равенство:

к =1

К

_2т 2

п к

— + - - - (-1)k 4 2 2

Таким образом, ряд (15) сходится и его сум-

5h2

ма равна ——. Теорема доказана.

Теорема 4.3. Пусть L - оператор, порожденный (5) и краевыми условиями iii). Тогда ряд

(16) сходится и его сумма равна ——.

Доказательство. Числа zn (см. теорему 3.3) являются положительными корнями

f (z) = cos2z(1 + htg2z - . Обо-

2z z cos2z

значим через yn окружности на комплексной

плоскости с центрами в начале координат и радиусами, равными П n + П . Отметим, что /(z)

, h „ h2 sin2 z четная, функция--tg 2 z —^- ограни-

2z z cos2z

чена на yn некоторым числом, не зависящим от

i ! /1 / h „ h2 sin2z.. n, а функция ln(l + (--tg2z —--—)) голо-

2z z cos 2z

морфна на yn при больших n. В силу теоремы Коши о вычетах получим:

П 1

k = z2d(lncos2z) +

1 Г 2 ,, , h h2 sin2 z...

+— J z2 d (ln(1 + (-—tg 2 z - —-—))) =

2z z cos2z

„х^ П2 1 2 1

= 2 У— (- + k )2--x

tí 4 2 2ni

rr h h1 sin2 Z 1 h h1 sin2 z, x í 2z((-—tg2z - —-—) - -(— tg2z + —-—Y)dz + o(1) =

J /.V. V. РПЧ /.V. /. /.V. v. nos /.V.

= 2Í + k )2 + — x ti 4 v2 2ni

1 fh2 tg2 2z 1 г 2h2 sin2 z

x í htg2zdz +-í--g—Zdz +-í

J b O-rri J A T O-rri J

2niJ 4 z 2niJ z cos 2z

Yn Yn

+ 0(1) = 2У^(1 + k)2 - h -2h2 jr í-1^.

ti 4 У2 n £í2k +1

dz

-L

2

n i

=1

к

+ o(1).

2h

n 1

V k =1 k ,

-0(1).

Y n

Yn

п

Следовательно, справедливо равенство:

„г2 f

Ь k--

к 4

1+к

2

h + —

2

h2 ^ (-l)k h2/ n ^ л v ¿1 k2

n k=i2k +1 n2

+ o(1).

При n ^

сумма ^

(-1)"

стремится к .

¿1 2k +1 4

Таким образом, ряд (16) сходится и его сум-

Ък2

ма равна - . Теорема доказана. 8

2

Список литературы

1. Савчук А.М., Шкаликов А.А. Операторы Штурма-Лиувилля с сингулярными потенциалами // Математ. заметки. 1999. Т. 66, № 3. С. 847-912.

2. СавчукА.М., Шкаликов А.А. Операторы Штурма-Лиувилля с потенциалами-распределениями // Тр. ММО. 2003. Т. 64. С. 159-212.

3. Мирзоев К.А. Операторы Штурма-Лиувилля // Тр. ММО. 2014. Т. 75, вып. 2. С. 335-359.

4. Савчук А.М. Регуляризованный след первого порядка оператора Штурма-Лиувилля с 5-потенциалом // Успехи математ. наук. 2000. Т. 55, № 6. С. 155-156.

5. Савчук А.М., Шкаликов А.А. Формула следа для операторов Штурма-Лиувилля с сингулярными потенциалами // Математ. заметки. 2001. Т. 69, № 3. С. 427-442.

References

1. Savchuk A.M., Shkalikov A.A. Operatory Shturma-Liuvillya s singulyarnymi po-tentsialami [Sturm-Liouville Operators with Singular Potentials]. Matematicheskie zametki [Mathematical Notes], 1999, vol. 66, no. 3, pp. 847-912.

2. Savchuk A.M., Shkalikov A.A. Operatory Shturma-Liuvillya s potentsialami-raspredeleniyami [Sturm-Liouville Operators with Distributional Potentials]. Trudy moskovskogo matematicheskogo obshchestva, 2003, vol. 64, pp. 159-212.

3. Mirzoev K.A. Operatory Shturma-Liuvillya [Sturm-Liouville Operators]. Trudy moskovskogo matematicheskogo obshchestva, 2014, vol. 75, no. 2, pp. 335-359.

4. Savchuk A.M. Regulyarizovannyy sled pervogo poryadka operatora Shturma-Liuvillya s 5-potentsialom [Regularized Trace of the First-Order Sturm-Liouville Operator with 5-Potential]. Uspekhi matematicheskikh nauk [Russian Mathematical Surveys], 2000, vol. 55, no. 6, pp. 155-156.

5. Savchuk A.M., Shkalikov A.A. Formula sleda dlya operatorov Shturma-Liuvillya s singulyarnymi potentsialami [Trace Formula for Sturm-Liouville Operators with Singular Potentials]. Matematicheskie zametki [Mathematical Notes], 2001, vol. 69, no. 3, pp. 427-442.

doi: 10.17238/issn2227-6572.2016.1.104

Konechnaya Natal'ya Nikolaevna

Institute of Mathematics, Information and Space Technologies, Northern (Arctic) Federal University named after M.V. Lomonosov Uritskiy str., 68, Arkhangelsk, 163002, Russian Federation;

e-mail: n.konechnaya@narfu.ru

Safonova Tat'yana Anatol'evna

Institute of Mathematics, Information and Space Technologies, Northern (Arctic) Federal University named after M.V. Lomonosov Naberezhnaya Severnoy Dviny, 17, Arkhangelsk, 163002, Russian Federation;

e-mail: t.Safonova@narfu.ru

Tagirova Rena Nasirovna

Institute of Mathematics, Information and Space Technologies, Northern (Arctic) Federal University named after M.V. Lomonosov Naberezhnaya Severnoy Dviny, 17, Arkhangelsk, 163002, Russian Federation;

e-mail: tagirova_rena@mail.ru

ASYMPTOTICS OF THE EIGENVALUES AND REGULARIZED TRACE OF THE FIRST-ORDER STURM-LIOUVILLE OPERATOR WITH d -POTENTIAL

One of the interesting problems of the spectral theory of operators is the study of asymptotic behavior of the distribution function for the large values of the spectral parameter X. A particular case of this problem is to study the asymptotics of the eigenvalues, eigenfunctions depending on the properties of the coefficients of differential expressions and to obtain the formulas of regularized trace for the corresponding operators. The significant results for the differential Sturm-Liouville operator generated by the expression -y"(x) + q(x)y(x) and self-adjoint boundary conditions in space L2[a, b], with a continuously differentiable potential were obtained by I.M. Gelfand, B.M. Levitan in 1953. More recently, A.A. Shkalikov, A.M. Savchuk in their papers first obtained the asymptotics of the eigenvalues, eigenfunctions and the formula of the regularized trace for the Sturm-Liouville operators on a finite interval with singular potentials that are not locally integrable functions, and Dirichlet boundary conditions. At the same time, the definition of the Sturm-Liouville operator with the first order distribution potential as an operator generated by the quasi-differential second order expression with locally summable coefficients first presented in the papers of A.A. Shkalikov and A.M. Savchuk was applied. This approach allowed us to investigate in this paper the asymptotic behavior of the eigenvalues and obtain the formulas of the first order regularized trace for the operators generated by the expression -y"(x) + h5(x)y(x), where 5(x) - 5 - Dirac delta function, h e R , and some self-adjoint boundary conditions in space L2[-1, 1], namely by the conditions of the type: i) y(-1) = y(1) = 0; ii) yt1](-1) = yt1](1) = 0; iii) y(-1) = yt1](1) = 0; iv) y(-1) = y(1), y[1](-1) = y[1](1). The corresponding transcendental equations were established to get the asymptotics of the eigenvalues of these operators. Further analysis of the equations allows us to obtain the formulas of the first order regularized trace for these operators.

Keywords: quasi-differential operators, Sturm-Liouville operator with 5-potential, asymptotics of the eigenvalues, regularized trace of the operator.