О спектральных свойствах семейства дифференциального оператора четного порядка с суммируемым потенциалом Текст научной статьи по специальности «Математика»

www.volsu.ru

DOI: https://doi.org/10.15688/mpcm.jvolsu.2018.2.2

УДК 517.927 ББК 22.161.6

О СПЕКТРАЛЬНЫХ СВОЙСТВАХ СЕМЕЙСТВА ДИФФЕРЕНЦИАЛЬНОГО ОПЕРАТОРА ЧЕТНОГО ПОРЯДКА С СУММИРУЕМЫМ ПОТЕНЦИАЛОМ

Сергей Иванович Митрохин

Кандидат физико-математических наук, доцент, профессор РАЕ, старший научный сотрудник, Научно-исследовательский вычислительный центр Московского государственного университета им. М.В. Ломоносова mitrokhin-sergey@yandex.ru

ул. Ленинские горы, 1, стр. 4, 119992 г. Москва, Российская Федерация

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

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

1. Постановка задачи. Исторический обзор

Изучим спектральные свойства дифференциального оператора, задаваемого дифференциальным уравнением десятого порядка

у(10)(х) + q(x)• у(ха10 • у(х),0 < х < я,а > 0, (1)

с разделенными граничными условиями вида

У т )(0) = ут )(0) = ... = ут )(0) = у>(я) = у(п2 >(я) = ... = уП \я) = 0,

т1 < т2 <... < т5;п1 < п2 < ... < п5;тк,пк е {0,1,2,____,9},к = 1,2,...,5. ( )

Мы предполагаем, что функция q(x) является суммируемой на отрезке [0; я]:

fx V

оо q(x)е zj[0; я] О J q(t)dt I = q(x)

(3)

V о 1

x

id почти для всех x из отрезка [О; я].

^ В уравнении (1) число X е C - спектральный параметр, функция q(x) - потенциал, функция I p(x) = a10 = const при x е [О; я] - весовая функция.

J? В работе [16] был изучен дифференциальный оператор четного порядка 2m вида @ (-1)m_y(2m>(x) + p(x)• ,y(x) = X-p(x),О < x <я, (О.1)

у(0) = у(2) (0) = ... = у (2т - 2)(0) = у(л) = у (2)(л) = ... = у (2т - 2)(л) = 0, (0.2)

был вычислен регуляризованный след этого оператора, при этом потенциал р(х) предполагался гладкой (бесконечно дифференцируемой) функцией на отрезке [0; л]. Граничные условия (0.2) - специального вида: половина граничных условий берется в левой точке отрезка, половина - в правой точке отрезка. В изучаемом нами операторе (1)-(2) с условием (3) суммируемости потенциала #(х) граничные условия (2) такого же рода, только мы изучаем сразу целое семейство дифференциальных операторов: граничные условия зависят от параметров тх,т2,...,т5;п1,п2,...,п5;тк,пк е {0,1,2,____,9},к = 1,2,...,5.

В работе [16] также упомянут следующий факт: если функция р(х) суммируема на отрезке, то асимптотическая формула для собственных значений оператора (0.1)-(0.2) имеет следующий вид: Хп = п2т + 0(1), этой точности не хватает для вычисления регуляризованных следов. Цель нашей статьи - выписать более точные асимптотические формулы для собственных значений в случае суммируемого потенциала, то есть разложить величину 0(1) по степеням числа п.

В дальнейшем делались попытки уменьшить гладкость коэффициентов уравнений, задающих дифференциальный оператор (в основном для операторов второго порядка): в работе [3] изучалась сходимость разложений по собственным функциям в точках разрыва коэффициентов дифференциального оператора, в работе [5] исследовалась точная зависимость между асимптотическими разложениями собственных значений краевых задач Штурма - Лиувилля и гладкостью потенциала. В работе [18] изучена обратная задача на собственные значения для оператора Штурма - Лиувилля с разрывными коэффициентами. В работе [17] приведены примеры изоспектральных операторов второго и четвертого порядков с разрывными коэффициентами (обратная задача для таких порядков не имеет единственного решения).

В работе [12] автором вычислены формулы регуляризованных следов для операторов второго порядка с разрывными коэффициентами. В работе [13] тот же вопрос решен для функционально-дифференциального оператора с разрывным потенциалом. В работе [8] были изучены некоторые спектральные свойства дифференциальных операторов второго порядка с разрывной весовой функцией, как и в работе [17] были приведены некоторые примеры изоспектральных операторов.

Дальнейшее уменьшение гладкости коэффициентов привело к изучению операторов с суммируемыми коэффициентами. В работе [2] найдена асимптотика любого порядка собственных значений и собственных функций краевой задачи Штурма - Лиувилля на отрезке с суммируемым потенциалом. В работах [7] и [11] автором продемонстрирован метод, отличный от метода работы [2], для изучения операторов с суммируемыми коэффициентами, порядок которых выше второго (четвертый в работе [7], шестой в работе [11]). В работе [10] изучены спектральные свойства дифференциальных операторов произвольного нечетного порядка с суммируемым потенциалом, граничные условия которого имеют конкретный вид типа (0.2).

2. Асимптотика решений дифференциального уравнения (1) при больших значениях

спектрального параметра А

Пусть X = 510, £ = , при этом выберем ту ветвь арифметического корня, для которой = +1. Обозначим через wk(к = 1,2,...,10) различные корни десятой степени из единицы:

2лЛ . . (2лЛ 2 з р-1

— 1 + гвт|— 1 = г;w4 = г;...;wp = zp ;

10J 110J ' 4 ' ' р '(4)

10,1 — i i обозначим через w

2ni к2я/ / 2 Л / 2 Л

= 1,wk = е10 _ ,к = 1,2,...,10;w1 = 1;w2 = е10 = cosí — | + isinl — | = z2;w4 = z3;...; w = zp

wp+10 = wp; Р = 1,2,...Д°.

Числа wk (к = 1,2,..., 10 ) из (4) делят (1) единичную окружность на десять равных частей:

Рис. 1

При этом имеем: w1 = w1 = 1; w10 = w2; w9 = w3; w8 = w4; w7 = w5; w6 = w6 =-1;

1т^6) = Im(w1) = 0; 1т^5) = 1т^2); Im(w4 ) = 1т^3); Im(w7) = 1т^10) = - Im(w2);

Im(w8) = 1т^9) = - Im(w3).

Для чисел wk (к = 1,2,...,10) из (4) и рисунка 1 справедливы следующие соотношения:

^ < = 0, p = 1,2,...,9; ^ wp = 10, p = 0, p = 10.

(5)

к=1

k=1

Методами работ [6, гл. 2; 7; 10; 14, гл. 2] устанавливается теорема. Теорема 1. Общее решение дифференциального уравнения (1) имеет вид:

10 10 у(х,£) = £Ск • у(х,£);у(т)(х,£) = £Ск • Ут)(х,£)т = 1,2,...,9, (6)

к=1 к=1

где Ск (к = 1,2,..,10) - произвольные постоянные, при этом фундаментальная система решений {ук (х, £)}°=1 подчиняется следующим асимптотическим оценкам:

Ук (x s ) = е Укт}(x, s) _

(as)

awpsx у, к

Л9кk(x, у) f JImу|аЛ

10a у

+ O

9 9 —

„18

к = 1,2.....10;

(m}(xs) Ak (x, s) ^Ilm^

= wke

m к

9 9 ■ + O

10a V _

к = 1,2.....10; m = 1,2,...,9;

Ag,k (x, s) = w,eawisx j q(t ]еа(кк )stdt + w2ewx j q(t )ea(w ^ )stdt +... + w10eawil05x j q(t)

а(щ-w10 )stdf

(7)

(8) (9)

10

4" (х, ^^^ к = 1,2,...10; р = 1,2,...9 (10)

Р= 0

При выводе формул (6)-(10) мы использовали соотношения (5) и требовали выполнения следующих начальных условий:

A к (0, s) = 0; Лтл (0, s) = 0; Ук (0, s) = 1, yf }(0, s) = (as)mwm; к = 1,2,...,10; т = 1,2,...,9. (11)

у

3. Изучение граничных условий (2)

Подставляя формулы (6)—( 11) в граничные условия (2), имеем:

у)(0,5) = 0о^Ck • у?')(0,5) = 0о^Ck • (а5)т' • чТк> = 0;

у(п')(я,5) = 0 о 2Ск • укп')(я,5)= 0;' = 1,2,...,5.

(2) , 5 ) = (

к=1 10

к=1

,(П' V

к=1

(12)

Система (12) - система из десяти линейных однородных уравнений с десятью неизвестными С1,С2,...,С10. По теореме Кронеккера - Капелли, такая система имеет ненулевые решения только в том случае, когда ее определитель равен нулю. Поэтому справедливо следующее утверждение.

Теорема 2. Уравнение на собственные значения дифференциального оператора (1)-(3) имеет следующий вид:

I (5 ) =

W1

W1

wn

wn

wm1

wn

wn

лл>т1

w1,

у1

у!п

(П1 )

(я 5)

(я, 5) у2П2)(я,5) ... у9П2 )(я, 5)

5) у2П1 )(я, 5 )

у9П1 )(я, 5)

у!? )(я, 5)

у1

П2 )(я, 5 )

у|П5 )(я, 5) у2П5 )(я, 5)

у?5 )(я, 5) уЙ5 )(я, 5)

= 0.

(13)

Используя теорему Лапласа, разложим определитель I (5) из (13) по последним пяти строчкам:

1 (5) = ^1,2,3,4,5 5) • Ц6,7,...,10 " ^,3,4,5,6 (я,5) • Ц1,7,8,9,10 + ^,4,5,6,7 5) • Ц1

1,2,3,4,5

— ... + R6,7,8,9,10 (я, 5) • Ц1,2,...,5 + R1

3,4,5 ,3,4,5,6

(я, 5)•Ц

7,8,9, 2,7,8,9,10

,2,8,9,10

—... = 0,

(14)

где введены обозначения:

R,

31, 32'...' 35

(я, 5 ) =

у (П1 )(я, 5 ) у (П1 )(я, 5 ) у(П2 )(я, 5) у(П2 )(я, 5)

у(П5 )(я, 5) у(П5 )(я, 5) ... у(П5 )(я,5)

,(П5 )

у£ )(я, 5)

у

5

)(я, 5 )

(П5 )(

(15)

Ц,

3 1,32,..., 35

wml 2

w,

2

w,■ 5 w,.

2

wml

w,

w,.

]1,3г,...,]5 е

{1,2,...,10}

(16)

В силу удобной нумерации чисел wk из (4) для алгебраических миноров Ц можно вывести рекуррентные формулы. Для определителя Д,

2,3,4,5 имеем:

3 1,32,..., 35

из (16)

2

2

2

2

2

д

w' w2m ... w' w'2 w'2 ... w'2

w'5 w'5 ... w'5

1 m1 m1 4m1

1 1 z 1 ... z 1

(4)1m2 z'"2

m2 _m2 z 4'2

m5 m5 4

1 5 Z 5 ... z

П(zm - )= д * 0,

k > p

k, p=1,2,3,4,5

(17)

так как Ои,3,4,5 представляет собой определитель Вандермонда чисел г™1,zm2,...,г™5. Далее находим:

w'1 w'1 . .. w6m1 m1 z 1 2 m1 z 1 . 5 m1 .. z 1

Д2,3,4,5,6 w'2 w'2 . .. w6m2 (4) m2 z2 2m2 z 2 . 5m2 .. z 2 (19) = zmi / ч (19) M • z'2 •(...)• z'5 • Д1,2,з,4,5 = zM5

w'5 w3m5 . .. w6m5 m5 z5 2m5 z 5 . 5m5 .. z 5

(18)

M5 = ) mk.

k=1

Аналогичным образом получаем:

О = г2М5 • О • О = г(к -1)м • Л к = 12 6- Л =С-1)-Л

^^3,4,5,6,7 к, к+1,..., к+4 ^ 1^---Л;>^У7,8,9,10,11 V V

(-1)-г-5 • D5,Б^к+10,, ,...,= О^,..,-Ок,к+,..,к+4 =(- 1)к-1 • г(к-1М • D5,к = 7Д9Д0. (19)

1,7,8,9,10

Подставляя формулы (15) в формулы (7), (8), разложим определитель Я^,, ,..., , (л, У) по столбцам на сумму определителей, получим:

^W2,...,,5 (7 ^ R < - 7 ^

(7 у)-

)R1, j2,...,J5,k-1 5) Л Im

k=1

10а9 у9

■ + O

у18 V у У

; jJ2,...,j е{1,2,...,10}, (20)

R, , , 0(л, у) =

Ju J2 ,..., J5 ,0

... w. е

J5

т\ & "V

wm1 ^"V" wm1 е 2 J1 J2 m2 aw;] лу m2 aw h лу m2 aw,. 7

w. е J1 w. е 2 ... w. е

J1 J2 J5

m aw j лу m aw j лу m aw j лу

wm5е ■ wm5е J2 ... wm5е J5

j1 j2 j5

(21)

определители Я^,, ,..., , ,к (л, У) получаются из определителя Я^,, , ,0 (л, у) заменой к-го столбца

(к = 1,2,3,4,5) на столбец (д, (л,у);^ (л,у);...; Д]]к (л,у))*.

Основное приближение уравнения (14)-(16) получается из уравнения

где определители Rji

/о (у) = Я1,2,...,5,0 (л, У) • О6,7,8,9,10 Я2,3,...,6,0 (л, У) • О1,7,8,9,10 + ... = 0,

Я,,, ,...,, ,0(л, у) определены по формуле (21), при этом имеем:

й) wh лу

^ Jk

„..2..... л,у) = е"

wm 1 J1 wm . J2 .. wm J 5

wm 2 J1 wm . J2 .. w' J5

w'5 wm ... w' 5

J1 J2 J5

(22)

(23)

Для нахождения асимптотики корней уравнения (14)-(16) сначала необходимо найти асимптотику корней уравнения (22), а для этого необходимо изучить так называемую индикаторную диаг-

5

рамму уравнения /0 (5 )= 0, (см.: [1, гл. 12]), то есть необходимо исследовать выпуклую оболочку показателей экспонент, входящих в уравнение (22), с учетом формулы (23). Таким образом, нам

необходимо построить выпуклую оболочку множества точек w3; 31, ./2,...,35 е {1,2,.,10}г.

I к=1 )

4. Изучение индикаторной диаграммы уравнения (22)

Начнем изучение выпуклой оболочки множества точек + w ;3,3,...,3 е {1,2,...,10}}. Точки wk (к = 1,2,...,10) из (4) делят единичную окружность на десять равных частей, они изображены на рисунке 1 и при этом расположены симметричным образом: есть симметрия относительно точки 0(0,0) и относительно координатных осей. Из правила параллелограмма сложения векторов и геометрических соображений следует, что индикаторная диаграмма уравнения (22) имеет следующий вид (Ы = 5, на рисунке должно быть пять окружностей):

Рис. 2

На рисунке 2 точка В12 соответствует числу w1 + w2 (а также сумме векторов + 0w2), точка В23 соответствует числу w2 + w3 (и сумме векторов 0w2 + 0w3), точка Втк соответствует числу wm + wk (и сумме векторов 0wm + 0wk), точка Бы соответствует числу wm + wk + wn (и сумме векторов 0wm + 0wk + 0wn), m,к,п = 1,2,...,2N. Несложно доказать следующее неравенство: ^ + w4| <^ + w3|<^ + w3|, + w5| <+ w4|<+ w3|,.... Действительно,

< ОБ,

складывая векторы, видим, что

ОБ

14

13

<

ОБ

12

ОБ

25

<

ОБ

24

<

ОБ

23

при этом

OB„

OB„

OB

жат на окружности радиуса

OB2n-1,2n

R =

OB

OB

. Значит, точки B12, B23, B34,..., B

y2n-l,2n , B2n,1

ле-

> 1

и делят эту окружность на десять равных частей,

точки Б13, Б14, Б24, Б25,..., Бк+m, к (m = 2,3,...,8; к = 1,2,...,10) попадают внутрь этой окружности, так как + wJ < +1 + wk при m = 2,3,...,8. Этот факт доказывается и аналитически:

(4)

К+1+wkl=

Wk+m + Wkl =

10

+ е

10

■(k-1)

*»■( k -1 ,10 l 2

2ш , л 2ni ,

--(k+m-1) --k

е 10 + е 10

2ni 1 2П.

е'■2 + е10'

■ —

2%i (, m ,

--1 k+--1

,10 l 2

2ni m , 10 2

+е

= 1 ■ 2 ■ (nl

cos| — I

110 J

•I —

= 2cos| — 10

, _ , nm i (nm i ( n = 1 ■ 2 ■ cos| — I, cos| — I < cos| —

10

10

.10,

при m = 2,3,.. .,8, это означает, что wm+k + wk | < wk+1 + wk при m = 2,3,...,8. Значит, мы доказали, что выпуклой оболочкой множества точек {wh + w32,31,32 = 1,2,...,10} является правильный десятиугольник Б12 Б23 Б34.. .Б910 Б101.

Аналогичным образом доказываем, что выпуклой оболочкой множества точек + + ,31,32,3 = 1,2,...,10} является изображенный на рисунке 2 правильный десятиугольник Б123Б234Б345...Б8,9,10В9,10,1Б10,1,2, где точка Bkmn соответствует сумме wk + wm + wn (а также сумме векторов Owk + Owm + Own), все точки лежат на окружности радиуса

> 1. На границах этого многоугольника лежат точки w1 + w2 + w3, w2 + w3 + w4, w3 + w4 + w5,..., w8 + w9 + w10, w9 + w10 + w1, w10 + w1 + w2, точки w1 + w2 + w4, w1 + w2 + w5, w1 + w3 + w4,... (у которых сумма индексов суммирования больше единицы) попадают внутрь этого десятиугольника и на индикаторную диаграмму не влияют.

Аналогичным образом устанавливается, что выпуклой оболочкой множества + ^ + ^ + WJ4, /l, /2, /3, 34 = 1,2,...,10} является десятиугольник БШ4Б2345 Б3456...Б9,10,1,2Б1(

R =

OB„

>

OB„

,2 10,1,2,3?

где Бгпкп' соответствует сумме wm + wk + wn + W';...; выпуклой оболочкой множества {wл + wh +... + wh,]1,32,...,35 = 1,2,...,10} является десягиугольник Ц1Ц2...Ц10, где точка Dm(m = 1,2,...,10)

5

соответствует сумме 2 wm+к—1, если ввести обозначение wn+10 = wn, п = 1,2,...,10. Остальные точки

множества {w,- + wj2 +... + jj=

k=1

J2

1,2,..,10}

попадают внутрь многоугольника Ц1Ц2.. Ц10 и на асимптотику корней уравнений (22)-(23) и (14)-(16) не влияют.

Из общей теории нахождения корней квазиполиномов вида I(5) из (14)-(16) следует (см.: [1, гл. 12]), что собственные значения дифференциального оператора (1)-(2)-(3) находятся в секторах Т1, Т2,...,Т10 бесконечно малого раствора, биссектрисы которых являются серединными перпендикулярами к отрезкам [Ц1; Ц2 ], [Ц2; Ц3 ],..., [Ц9; Ц10 ], [Ц10; Ц1 ] соответственно.

k

е

5. Асимптотика собственных значений в секторе Т

Исследуем подробно асимптотику корней уравнения (14)-(16) в секторе Т1, биссектриса которого перпендикулярна отрезку [Ц4; Ц5 ]. В формулы (14)-(16) необходимо подставить формулы (17)-(19) с учетом формул (20)-(21), в которых надо учесть формулы (7)-(11) и оставить в получившемся уравнении только те экспоненты, показатели которых задаются точками, комплексно-сопряженными к точкам Ц4 и Ц5, то есть точками Ц1 и Ц2. Поэтому верно следующее утверждение.

Теорема 3. В секторе Т1 индикаторной диаграммы (рис. 2) уравнение на собственные значения дифференциального оператора (1)-(2)-(3) имеет следующий вид:

& (5) = ^,2,3,4,5 (я) • Ц6,7,8,9,10 — ^,3,4,5,6 (я) • Ц1,7,8,9,10 = 0 . (24)

Из формул (17)-(18) следует, что

О

= г 5М 5 • О О = г 6М 5 • О О * 0

^ 5' 1,7,8,9,10 ^5^5

6М 5

(25)

Применяя формулы (25) и формулы (20), (21) для сектора 7Ц, уравнение (24) можно переписать в следующем виде:

5

Е Я1,2, . ,5,к,9 У )

Ж ) =

Я1,2,...,5,0 У )-

к =1

10а V

+^

• г5М 5 • О5 -

Я2,з,...,6,0(л У )- —

Е Я2,3,...,6,к,9 (л У )

10а V

• г5М5 • О5 = 0.

(26)

В уравнении (26) поделим на гЪМ} • О5 * 0, а для величин Яи,...,5,0(л, У) и Я2,3,...,6,0(л, у) применим формулы (21) и (23):

, ч а Е щк 'лу / \

Я1,2,...,5,0 (Л, У) = • ^ Я2,3,...,6,0 ^ у)=" к=2

а Е •лу

• Я • гР5,Р =Е

и,.

к=1

(27)

Я5 =

щ"2 щ"2

щ"1 щ'1 ... щ'1

щ"5 щГ5

(4)1

1Г и1

1 1 г 1

Г 2 Г2 2 г 2

Г 5 Г5

1 5 г 5

4Г1

г 1

(19)

П(г"к - г". )= Я * 0.

к > р

к, р=1,2,...,5

(28)

С помощью формул (27), (28) уравнение (26) можно переписать в следующем виде:

»■(У ) =

а Е щк л М р а Е щклу

е к= - г 5 • гР5 • е к=2

1

10а у9 • Я

5

Е Я1,2,...,5,9,к (л У)-

к=1

-Е Яг,3,...,6Л0,к (л, У )• гМ 5

к=1

1

+о ^ 1=0

(29)

где величины Я1,2,...,5,9, к (л, у ) получаются из определителя Я1,2,...,5,0 (л, У) из (21) заменой к-го столбца на столбец (а"\ (л, у); А"2к (л, у);...; А"5к (л, у)) . Выпишем некоторые из этих величин:

А1,2,...,5,9,1 (л, У) =

А"д(л, у ) щ"1 еащ2 Ул

АН (л, у )

у I щ"2 еащ2 Ул

А"1 (л, У ) щ2"5 еащ2Ул

щ" еащ5Ул

щ"2 еащ5Ул

щ"5 еащ5ул

^ У ) =

еащ1ул

щ"2 ещл

А"2 (л, у ) щ"1 еащ3 Ул

А(л, у )

... щ" еащ5Ул

щ"2 еащ3ул

щ"5 еащ1ул А"2 (л, у ) щ"Кеащ3 ул

... щ"2 еащ5Ул

... щ "5 еащ5 ул

2

г

г

A2,3,...,6,9,1 (Л, S '

и (Л s ) =

АП12 (л, у ) w«1 eaw3 sm ... w«1 eaw6 Д;,22 (л, s) w«2 eaWiSn

wn 2 eaw6 sm

A«,52 (m, s ) wn5 eaw3

w «5 eaw6 sm

(30)

'з ~ ••• "в

Используя формулы (9), (10), из (30) находим, применяя свойства определителей:

5 ( Л ^

a Z w* ms

/ ч a z w* ms -

R1,2,...,5,9,1 (Л' S ) = wiR5e 'J ...

a Z w* ms

л

- w6R5 zr5 e k=2

' а11

(л \

(л

\ о /tcV о у V о

V У a1,6 V / apr V

R1,2,...,5,9,k (Л, S) = wk • R '

5 Гл \ a Z w* ms

J... ; J... = J q(t )e

/a

Л

J...

a(wp - wr )st dt

;(31)

, k = 2,3,4,5;

Е2Л..,6Лк (Л, S)= wk+1 ' R ' ' e

a Z w* ms

\ 0 J akk

fЛ л

J..

, к = 1,2,3,4;

\ 0 J a, к+1, к+1

R2,3,...,6,9,5 (Л, S )=- w1 ' R

a Z wk ms

• r\. •

e

^ Л >

J..

+ w6 • R5 • z 5 • e

a Z w* ms

(Л >

J..

V0 Ja,6,1

V0 Ja,6,6

Заметим, что в формулах (31)-(34) имеем:

(л \ (л \ (л \ л

II ...| =Ц ...| =Ц ...| = / k = 1,2,...,10.

-0 Ja11

a 22 \0 J akk 0

apr

(32)

(33)

(34)

(35)

Подставляя формулы (31)-(35) в уравнение (29), поделим на

следующему более удобному для изучения виду:

а(.)=И->"-г-5.]-^{...

a Z wk ms

e k=2 '

преобразуем его к

( Л л

• e

a(w1 - w6 )sm

•Z wk - zM 5 • z^5 • J...

'а11

6 Л

Z wk + w1 • ZM 5 • I J.

k=2 V0 J

• ea(w1-w6 )ул- w6 • zp5 •

Л

|J...|

V0 Ja,1,6

k=1

+ OTT 1 = 0.

V" J a 22

(36)

Основное приближение уравнения (36) имеет вид:

2mi 2 mi

-M 5 -777P5

ea(w1- w6 )sm = zM5 • zP5 = e2lmik • e 10 5 • e 10 ^ s

2ik

k ,1,.

a(w1 - w6 )

~ , M5 P5 , дг ,k = k + —5 + k e N, 10 10

(37)

«осн» означает основное приближение, индекс 1 у величин sk 1 осм означает, что мы изучаем сектор Т1 индикаторной диаграммы (рис. 2).

Из общей теории (см.: [4; 15]) следует методика нахождения асимптотики корней квазиполиномов вида (36).

Теорема 4. Асимптотика собственных значений дифференциального оператора (1)-(2)-(3) в секторе Т1 индикаторной диаграммы (рис. 2) имеет следующий вид:

2i

sk ,1 = ■

a(w1 - w6)

~+dr+< у

MM P

,k = k+10+^k e N;M5 = Zm;P =Z«k (38)

5 _ k 1

k=1

k=1

k=1

e

Вид асимптотики (38) показывает, что у оператора (1)-(2)-(3) невозможен эффект «расщепления» собственных значений, изученный автором в работе [9].

Для доказательства теоремы 4 необходимо доказать, что в формуле (38) коэффициенты

к ,1 находятся единственным образом и привести явные формулы для их вычисления. Применяя формулы Маклорена, имеем:

— w6 )я

(41)

= ехр

а(^1 — w6 )я5

2/

к + + о{ к- ^

к9 Л к1',

1 +

2я/ • <9,к,1 + А "

а(^— w6)

к9 ' ^ к18')_. Подставляя формулы (39) и (38) в уравнение (36), получаем:

м. р5 z 5 • z 5 •

(39)

_м5 _Р, , _м5 _Р, 2я/ • <9,к,1 + о| к1 ] — ^5 • ^5

м 5 Р5 . О _ • м 5 Р5

z 5 • z 5 + 2 я/ • z 5 • z 5 • -

(

1

Л

+

V1 + Ч ^))

м. м5 Р5

w1 • z 5 • z 5 • z 5

м 5 Р5 z 5 • z 5

к9

1 а9 ^ — w6 )9 /

10а9

29/9/

1

./я

V

1 + О Р)

|...I •ЕWn — zM5 • zP5 |...I -2Wn

V0 )а11 п=1

\ 0 ) пп п=2 V У а 22

+

[я Л

[я.-.]

V0 Уа,6,1

< = _!_ ^1—w6)9 <9,кл 21 ' 10 • 29

2 wn ...I —2 wn ...

п=1 V 0 )а11 п=2 V 0

[я Л

• 2р5 [I -•]

V0 ) а,1,6

1

~9, находим:

(1. +

У а22 _ 1

+ О[

Wl • z'

•7

л

/а,6,1

5к ,1,о

п

V 0 )а,1,6 5

Лк ,1,осн

В силу формулы (35) имеем:

(40)

22 wn ]}...] — 22 wn Ц-

'аП

а 22

л

= (wl — w6 ^ <

(41)

Для скобки [...]2 из (40) в силу формул (31), (37) и (4)

[ (4) (4) Л Щ =1 w6 =— 1 I получаем:

[4 =

(я \

I

V0 Уа,6,1

я

, —м< + 2 5

V0 Уа,1,6

2 яг' я

• <^а,6,11 + е

5к ,1, осн

10

-м.

0

| q(t )ехр(2г'~ )йа 1

2 яг' я

-м.

I q(t)

ехр

г(w6 — w1) • t •

2

= 2| q(t )со8

0

2~ — — м 5 10 5

2/к

а(w6 — wl)

(42)

я

9

6

5

к ,1

= е 10

2

5

5

к ,1

5

к,1

Подставляя формулы (41) и (42) в (40), сделаем необходимые преобразования, получим:

1 г n

d9,k,1 = 10П ■ 1 i q(t)dta11 + J ^^)C0S

2~t-M

5

dt l,k = k + M5 + P ;k e N;M5 = ]T mn;P5 = nk. (43)

n=1 n=1

10

Формула (43) показывает, что коэффициенты <9к1 формулы (38) найдены единственным образом, тем самым теорема 4 доказана.

Аналогичным образом изучаются секторы Т2,Т3,...,Т10 индикаторной диаграммы (рис. 2).

В результате получаем следующее утверждение.

Теорема 5. А) Асимптотика собственных значений дифференциального оператора (1)-(2)-(3) в секторе Т2 индикаторной диаграммы (рис. 2) имеет следующий вид:

2i

Sk ,2 =

a((W2 - W7 )

~ + dT + o( J

~ = k + ; k e Ж;

d9, k ,2 =

1 г n

■ 1J q(t )dt+J q(t )cos

~ nM5 2kt--5

10

dt l, k e N,

(44)

(45)

(41) 21

тем самым справедлива формула 5^ = 5^ • е 10, к е N.

Б) В секторах Т3,Т4,...,Т10 для асимптотики собственных значений дифференциального оператора (1)-(2) с условием (3) суммируемости потенциала д(х) справедливы следующие формулы:

21 41 21 61 2^—1)1

5к,3 = 5к,2 • е10 = 5к,1 • е5М = 5,3 • е10 = 5,1 • е 1°;...;5к,)И = 5к, • екеN,m = 1,2,...Д0. (46)

В) При этом имеем: Хк m = (5к mк е Ы,m = 1,2,3,...,10. (47)

Формулы (38), (43)-(47) позволяют вычислить асимптотику собственных функций дифференциального оператора (1)-(2)-(3).

Теорема 6. Асимптотика собственных функций дифференциального оператора (1)-(2)-(3) может быть получена по следующей формуле:

Уп (^;sk,m ) =

wQ1

W™2

w.

W2m1

wm2

w.

W9m1

wQ2

,,,m1

W10

w

10

w

У1

(n1 )(n, s)

y2n1 )(n, s)

У9

(n1 )(n, s)

W1

(n1 )(n, s)

У1 2 )(n, s) y2n2 )(n, s) ... y9n2 )(n, s) уЙ2 )(n, s)

V У10 rns )l

y1n4 )(n, s) y2n4 )(n, s) ... y9n4 )(n, s) y1n4 )(n, s)

,(n4 )|

(n4 )(

,(n4 )|

у1(п5 )(x, s) y2n5 )(x, s)

y9n5 )(x, s) yfe5 )(x, s)

где вместо 5 подставляются 5кпг из формул (38), (43), (46) для соответствующего сектора индикаторной диаграммы (рис. 2).

5

m

2

СПИСОК ЛИТЕРА ТУРЫ

1. Беллман, Р. Дифференциально-разностные уравнения / Р. Беллман, К. Л. Кук. - М. : Мир, 1967. - 548 с.

2. Винокуров, В. А. Асимптотика любого порядка собственных значений и собственных функций краевой задачи Штурма - Лиувилля на отрезке с суммируемым потенциалом / В. А. Винокуров, В. А. Садовничий // Дифференциальные уравнения. - 1998. - Т. 34, № 10. - С. 1423-1426.

3. Ильин, В. А. О сходимости разложений по собственным функциям в точках разрыва коэффициентов дифференциального оператора / В. А. Ильин // Математические заметки. - 1977. - Т. 22, N° 5. - С. 698-723.

4. Лидский, В. Б. Асимптотические формулы для корней одного класса целых функций / В. Б. Лидский,

B. А. Садовничий // Математический сборник. - 1968. - Т. 75 (117), № 4. - С. 558-566.

5. Лундина, Д. Ш. Точная зависимость между асимптотическими разложениями собственных значений краевых задач Штурма - Лиувилля и гладкостью потенциала / Д. Ш. Лундина // Теория функций, функциональный анализ и их приложения. - 1982. - № 37. - С. 74-101.

6. Марченко, В. А. Операторы Штурма - Лиувилля и их приложения / В. А. Марченко. - Киев : Наукова думка, 1977. - 329 с.

7. Митрохин, С. И. Асимптотика собственных значений дифференциального оператора четвертого порядка с суммируемыми коэффициентами / С. И. Митрохин // Вестник Московского университета. Серия: Математика, механика. - 2009. - № 3. - С. 14-17.

8. Митрохин, С. И. О некоторых спектральных свойствах дифференциальных операторов второго порядка с разрывной весовой функцией / С. И. Митрохин // Доклады РАН. - 1997. - Т. 356, № 1. - С. 13-15.

9. Митрохин, С. И. О «расщеплении» кратных в главном собственных значений краевых задач / С. И. Митрохин // Известия ВУЗов. Серия: Математика. - 1997. - № 3 (418). - С. 38-43.

10. Митрохин, С. И. О спектральных свойствах дифференциальных операторов нечетного порядка с суммируемым потенциалом / С. И. Митрохин // Дифференциальные уравнения. - 2011. - Т. 47, № 2. -

C. 1808-1811.

11. Митрохин, С. И. О спектральных свойствах одного дифференциального оператора с суммируемыми коэффициентами с запаздывающим аргументом / С. И. Митрохин // Уфимский математический журнал. -2011. - Т. 3, № 4. - С. 95-115.

12. Митрохин, С. И. О формулах регуляризованных следов для дифференциальных операторов второго порядка с разрывными коэффициентами / С. И. Митрохин // Вестник МГУ Серия: Математика, механика. -1986. - № 6. - С. 3-6.

13. Митрохин, С. И. О формулах следов для одной краевой задачи с функционально-дифференциальным уравнением с разрывным коэффициентом / С. И. Митрохин // Дифференциальные уравнения. - 1986. -Т. 22, № 6. - С. 927-931.

14. Наймарк, М. А. Линейные дифференциальные операторы / М. А. Наймарк. - М. : Наука, 1969. - 528 с.

15. Садовничий, В. А. О регуляризованных суммах корней целой функции одного класса / В. А. Садовничий, В. А. Любишкин, Ю. Белабасси // Доклады АН СССР. - 1980. - Т. 254, № 6. - С. 1346-1348.

16. Садовничий, В. А. О следах обыкновенных дифференциальных операторов высших порядков / В. А. Садовничий // Математический сборник. - 1967. - Т. 72 (114), № 2. - С. 293-317.

17. Gottlieb, H. P. W. Iso-spectral operators: some model examples with discontinuous coefficients / H. P. W. Gottlieb // Journal ofMath. Anal. and Appl. - 1988. - Vol. 132. - P. 123-137.

18. Hald, O. H. Discontinuous inverse eigenvalue problems / O. H. Hald // Communs Pure and Appl. Math. -1984. - Vol. 37. - P. 539-577.

REFERENCES

1. Bellman R., Cooke K.L. Differentsialno-raznostnye uravneniya [Differential-Difference Equations]. Moscow, Mir РцЫ., 1967. 548 p.

2. Vinokurov V. A., Sadovnichiy V. A. Asimptotika lyubogo poryadka sobstvennykh znacheniy i sobstvennykh funktsiy kraevoy zadachi Shturma - Liuvillya na otrezke s summiruemym potentsialom [Asymptotics of Any Order for Eigenvalues and Eigenfunctions of the Boundary Value of Sturm-Liouville Problem on a Segment with Summable Potential]. Differentsialnye uravneniya [Differential Equations], 1998, vol. 34, no. 10, pp. 1423-1426.

3. Ilyin V.A. O skhodimosti razlozheniy po sobstvennym funktsiyam v tochkakh razryva koeffitsientov differentsialnogo operatora [About the Convergence of Eigenfunction Expansions at Discontinuity Points of Differential Operator's Coefficients]. Matematicheskie zametki [Mathematical Notes], 1977, vol. 22, no. 5, pp. 698-723.

4. Lidskiy V.B., Sadovnichiy V.A. Asimptoticheskie formuly dlya korney odnogo klassa tselykh funktsiy [Asymptotic Formulas for the Roots of One Class of Entire Functions]. Matematicheskiy sbornik [Mathematical Collection], 1968, vol. 75 (117), no. 4, pp. 558-566.

5. Lundina D.Sh. Tochnaya zavisimost mezhdu asimptoticheskimi razlozheniyami sobstvennykh znacheniy kraevykh zadach Shturma - Liuvillya i gladkostyu potentsiala [Exact Relationship between the Asymptotic Expansions of the Eigenvalues of Boundary Value Problems of the Sturm-Liouville Problem and the Smoothness of Potential]. Teoriyafunktsiy, funktsionalnyy analiz i ikhprilozheniya [The Theory of Functions, Functional Analysis and Their Applications], 1982, iss. 37, pp. 74-101.

6. Marchenko V.A. Operatory Shturma - Liuvillya i ikh prilozheniya [Sturm-Liouville Operators and Their Applications]. Kiev, Naukova Dumka Publ., 1977. 329 p.

7. Mitrokhin S.I. Asimptotika sobstvennykh znacheniy differentsialnogo operatora chetvertogo poryadka s summiruemymi koeffitsientami [Asymptotics of the Eigenvalues of the Differential Operator of the Fourth Order with Summable Coefficients]. VestnikMoskovskogo universiteta. Seriya: Matematika, mehanika, 2009, no. 3, pp. 14-17.

8. Mitrokhin S.I. O nekotorykh spektralnykh svoystvakh differentsialnykh operatorov vtorogo poryadka s razryvnoy vesovoy funktsiey [About Some Spectral Properties of Differential Operators of the Second Order with Discontinuous Weight Function]. Doklady RAN [Reports of the Russian Academy of Sciences], 1997, vol. 356, no. 1, pp. 13-15.

9. Mitrokhin S.I. O «rasshcheplenii» kratnykh v glavnom sobstvennykh znacheniy kraevykh zadach [About "Splitting" in the Main Multiple Eigenvalues of Boundary Value Problems]. Izvestiya vuzov. Seriya: Matematika [Proceedings of the Universities. Series: Mathematics], 1997, iss. 3 (418), pp. 38-43.

10. Mitrokhin S.I. O spektralnykh svoystvakh differentsialnykh operatorov nechyetnogo poryadka s summiruemym potentsialom [About Spectral Properties of Differential Operators of Odd Order with Summable Potential]. Differentsialnye uravneniya [Differential Equations], 2011, vol. 47, no. 2, pp. 1808-1811.

11. Mitrokhin S.I. O spektralnykh svoystvakh odnogo differentsialnogo operatora s summiruemymi koeffitsientami s zapazdyvayushchim argumentom [About Spectral Properties of One Differential Operator with Summable Coefficients with a Retarded Argument]. Ufimskiymatematicheskiyzhurnal [Ufa Mathematical Journal], 2011, vol. 3, no. 4, pp. 95-115.

12. Mitrokhin S.I. O formulakh regulyarizovannykh sledov dlya differentsialnykh operatorov vtorogo poryadka s razryvnymi koeffitsientami [About Formulas of Regularized Traces for Differential Operators of the Second Order with Discontinuous Coefficients]. Vestnik Moskovskogo universiteta. Seriya: Matematika, mekhanika, 1986, no. 6, pp. 3-6.

13. Mitrokhin S.I. O formulakh sledov dlya odnoy kraevoy zadachi s funktsionalno-differentsialnym uravneniem s razryvnym koeffitsientom [About the Formulas of Traces for a Boundary Value Problem with Functional Differential Equation with a Discontinuous Coefficient]. Differentsialnye uravneniya [Differential Equations], 1986, vol. 22, no. 6, pp. 927-931.

14. Naimark M.A. Lineynye differentsialnye operatory [Linear Differential Operators]. Moscow, Nauka Publ., 1969. 528 p.

15. Sadovnichiy V. A., Lyubishkin V. A., Belabassi Yu. O regulyarizovannykh summakh korney tseloy funktsii odnogo klassa [About Regularized Sums of the Roots of the Entire Function of One Class]. Doklady AN SSSR [Reports of the Academy of Sciences of the USSR], 1980, vol. 254, no. 6, pp. 1346-1348.

16. Sadovnichiy V.A. O sledakh obyknovennykh differentsialnykh operatorov vysshikh poryadkov [On the Traces of Ordinary Differential Operators of Higher Orders]. Matematicheskiy sbornik [Mathematical Collection], 1967, vol. 72 (114), no. 2, pp. 293-317.

17. Gottlieb H.P.W. Iso-spectral operators: some model examples with discontinuous coefficients. Journal of Math. Anal. and Appl., 1988, vol. 132, pp. 123-137.

18. Hald O.H. Discontinuous inverse eigenvalue problems. Communs Pure and Appl. Math., 1984, vol. 37, pp. 539-577.

ABOUT THE SPECTRAL PROPERTIES OF THE FAMILY OF THE DIFFERENTIAL OPERATOR OF EVEN ORDER WITH SUMMABLE POTENTIAL

Sergey Ivanovich Mitrokhin

Candidate of Physical and Mathematical Sciences, Associate Professor, Professor of Russian Academy of Natural Science, Senior Researcher, Research Computing Center of Lomonosov Moscow State University mitrokhin-sergey@yandex.ru Leninskie gory St., 1, bld. 4, 119992 Moscow, Russian Federation

Abstract. The article is devoted to investigating the method for studying the spectral properties of differential operators of high even order with summable potential. The asymptotic behavior of the solutions of the corresponding differential equation has been found for large values of the spectral parameter. The boundary conditions have been studied, and the equation for eigenvalues of the operator under investigation has been formulated. The indicator diagram of this equation has been studied. The asymptotic behavior of eigenvalues of the studied operator has been found.

Key words: differential operator, spectral parameter, boundary conditions, indicator diagram, asymptotics of eigenvalues.