Научная статья на тему 'СПЕКТРАЛЬНЫЙ АНАЛИЗ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОГО ОПЕРАТОРА С ВЫРОЖДЕННЫМ ЯДРОМ'

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

CC BY
56
20
Читать
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СОБСТВЕННЫЕ ЗНАЧЕНИЯ / СПЕКТР ОПЕРАТОРА / ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫЙ ОПЕРАТОР ВТОРОГО ПОРЯДКА / АСИМПТОТИКА СПЕКТРА / МЕТОД ПОДОБНЫХ ОПЕРАТОРОВ / EIGENVALUES / OPERATOR SPECTRUM / INTEGRO-DIFFERENTIAL OPERATOR OF THE SECOND ORDER / SPECTRUM ASYMPTOTIC / METHOD OF SIMILAR OPERATORS

Аннотация научной статьи по математике, автор научной работы — Шелковой Александр Николаевич

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
Предварительный просмотр
i Надоели баннеры? Вы всегда можете отключить рекламу.

SPECTRAL ANALYSIS OF AN INTEGRO-DIFFERENTIAL OPERATOR WITH A DEGENERATE KERNEL

We consider operator ℒ acting in the Hilbert space 𝐿2[0, 1] defined by the integro-differential expression (ℒ𝑥)(𝑡) = -¨𝑥(𝑡) - ∫︀1 0 𝐾(𝑡, 𝑠)𝑥(𝑠)𝑑𝑠 with the domain 𝐷(ℒ) = {𝑥 ∈ 𝑊2 2 [0, 1], 𝑥(0) = 𝑥(1) = 0}, where 𝑊2 2 [0, 1] is the Sobolev space {𝑥 ∈ 𝐿2[0, 1] : 𝑥′ is absolutely continuous, 𝑥′′ ∈ 𝐿2[0, 1]}, and the boundary conditions 𝑥(0) = 𝑥(1) = 0. To study spectral properties of the operator ℒ, it is represented in the form (ℒ𝑥)(𝑡) = (𝐴𝑥)(𝑡) - (𝐵𝑥)(𝑡), where with (𝐴𝑥)(𝑡) = -¨𝑥(𝑡), (𝐵𝑥)(𝑡) = = ∫︀1 0 𝐾(𝑡, 𝑠)𝑥(𝑠)𝑑𝑠. Operator is considered an unperturbed operator, is a perturbation, which is an integral operator with a degenerate kernel 𝐾(𝑡, 𝑠) = = Σ︀𝑘 𝑖=1 𝑝𝑖(𝑡)𝑞𝑖(𝑠), 𝑝𝑖, ∈ 𝐿2[0, 1]. As a method of studying spectral properties of the operator - the method of similar operators serves. One of the main results is Theorem 3. Let for any functions 𝑝𝑖, 𝑞𝑖, = 1, 𝑘, belonging to a Hilbert space 𝐿2[0, 1], and for the sequences 1, 2 : N → R+ = [0,∞), defined by formulas 1(𝑛) = 1 2 2 (︃ Σ︁ 𝑚≥1 𝑚̸=𝑛 𝑛2 (︃ sup Σ︀𝑘 𝑖=1 𝑞sin 𝑝sin 𝑗 )︃2 + 𝑚2 (︃ sup | Σ︀𝑘 𝑖=1 𝑞sin 𝑝sin | )︃2 |𝑛2 - 𝑚2|2 )︃1 2 < ∞, 2(𝑛) = 1 2 2 max {︃𝑛 sup | Σ︀𝑘 𝑖=1 𝑞sin 𝑝sin | 2𝑛 - 1 , Σ︁ 𝑚≥1 𝑚̸=𝑛 𝑚sup | Σ︀𝑘 𝑖=1 𝑞sin 𝑝sin 𝑖𝑚| |𝑛2 - 𝑚2| }︃ < ∞, where 𝑝sin = 2 ∫︀1 0 𝑝𝑖(𝑡) sin 𝑗𝑡𝑑𝑡, 𝑞sin = 2 ∫︀1 0 𝑞𝑖(𝑡) sin are the expansion coefficients of functions and in the Fourier series in sines, the conditions are satisfied: lim 𝑛→∞ 1(𝑛) = 0, lim 𝑛→∞ 2(𝑛) = 0. Then the spectrum (𝐴-𝐵) of the operator - can be represented in the form (𝐴 - 𝐵) = ̃︀ ⋃︀ (︂ ⋃︀ 𝑛≥𝑚+1 ̃︀ )︂ , wherẽ︀ 𝑛, ≥ 𝑚+1, are single-point sets, and̃︀ are finite sets with the number of points not exceeding 𝑚. Moreover, for their eigenvalues ̃︀ and eigenfunctions ̃︀𝑒𝑛 of operator (1), we have the estimates: ⃒⃒⃒⃒⃒ ̃︀ - 2𝑛2 - 1 2 Σ︁𝑘 𝑖=1 𝑞sin 𝑝sin + 1 4 2 Σ︁ 𝑚≥1 𝑚̸=𝑛 Σ︀𝑘 𝑖=1 𝑞sin 𝑝sin Σ︀𝑘 𝑖=1 𝑞sin 𝑖𝑚𝑝sin 𝑛2 - 𝑚2 ⃒⃒⃒⃒⃒ ≤ ≤ const · · sup 𝑗 ⃒⃒⃒⃒⃒ Σ︁𝑘 𝑖=1 𝑞sin 𝑗 𝑝sin 𝑖𝑛 ⃒⃒⃒⃒⃒ · 2(𝑛), (︃ ∫︁1 0 ⃒⃒⃒⃒⃒ ̃︀𝑒𝑛(𝑡) - √ 2 sin + √ 2 2 2 ∞Σ︁ 𝑚=1 Σ︀𝑘 𝑖=1 𝑞sin 𝑝sin 𝑛2 - 𝑚2 sin 𝑚𝑡 ⃒⃒⃒⃒⃒ 2 )︃1 2 ≤ ≤ const · · (︃ ∞Σ︁ 𝑚=1 (︃ sup 𝑗 ⃒⃒⃒⃒⃒ Σ︀𝑘 𝑖=1 𝑞sin 𝑗 𝑝sin 𝑖𝑛 ⃒⃒⃒⃒⃒ )︃2 |𝑛2 - 𝑚2|2 )︃1 2 .

Текст научной работы на тему «СПЕКТРАЛЬНЫЙ АНАЛИЗ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОГО ОПЕРАТОРА С ВЫРОЖДЕННЫМ ЯДРОМ»

raÄ®

www.volsu.ru

DOI: https://doi.oгg/10.15688/mpcm.j'volsu.2020.3.7

УДК 517.9 Дата поступления статьи: 28.03.2020

ББК 22.161 Дата принятия статьи: 01.09.2020

СПЕКТРАЛЬНЫЙ АНАЛИЗ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОГО ОПЕРАТОРА С ВЫРОЖДЕННЫМ ЯДРОМ1

Александр Николаевич Шелковой

Кандидат физико-математических наук, доцент кафедры высшей математики и физико-математического моделирования, Воронежский государственный технический университет shelkovoj.aleksandr@mail.ru

просп.Московский, 14, 394026 г. Воронеж, Российская Федерация

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

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

Введение. Основные понятия метода подобных операторов

Пусть Ь2[0,1] — гильбертово пространство комплексных измеримых (классов) функций, суммируемых с квадратом модуля и со скалярным произведением вида (х,у) =

= / х(т)у(т)ё.т. Через Ж22[0,1] обозначим пространство Соболева

о

о

О ^22[0,1] = (х е £2[0,1] : х' абсолютно непрерывна, х" е Ь2[0,1]}.

К

»s циальным выражением вида

Рассматривается оператор С: В(С) С Ь2[0,1] ^ Ь2[0,1], задаваемый интегро-дифферен-

©

(Cx)(t) = -x(t) - К(t,s)x(s)ds (1)

с областью определения D(C) = [х е W^[0,1], ж(0) = х{1) = 0} и краевыми условиями

х(0) = х(1) = 0. (2)

Представим его в виде А — В, где В, А: D(C) С L2[0,1] ^ L2[0,1],

Ах = —x(t), i

(Bx)(t) = J К(t,s)x(s)ds. (3)

о

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

к

К(t, s) = ^Pi(t)qi(s), Pi, Qi е L2[0,1].

г= 1

Основные результаты статьи (теорема 3) связаны с изучением спектральных свойств оператора С, заданного формулами (1), (2).

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

Метод подобных операторов берет свое начало с метода Пуанкаре нормальных форм для обыкновенных дифференциальных уравнений и тесно связан с методом А.М. Ляпунова кинематического подобия дифференциальных операторов [11], абстрактным вариантом замены Крылова — Боголюбова [2; 4]. Основная идея метода подобных операторов состоит в преобразовании исследуемого оператора А — В к другому, подобному ему оператору А — В0, где В0 имеет несложную по отношению к А структуру.

Впервые метод подобных операторов был изложен К.О. Фридрихсом [15] для возмущенных самосопряженных операторов с абсолютно непрерывным спектром. Р. Тернером [20] для возмущенных нормальных вполне непрерывных операторов были получены теоремы о возможности их преобразования к диагональному оператору в базисе невозмущенного оператора. Дальнейшее свое развитие метод подобных операторов получил в работах А.Г. Баскакова [2-6], который стал использовать технику абстрактного гармонического анализа линейных операторов, и его учеников [9; 13; 14; 16-19]. Отметим, что в настоящее время метод подобных операторов постоянно развивается и адаптируется к различным классам операторов. Поэтому изложения метода, например, в [4] и в [8] отличаются.

В изложении метода подобных операторов будем придерживаться аксиоматического подхода, как в работах [3-7], опираясь в основном на работу [7]. Отметим также работы [8; 9; 13; 14; 16-19], в которых с помощью метода подобных операторов исследуются спектральные характеристики различных операторов.

Пусть Н — бесконечномерное комплексное сепарабельное гильбертово пространство, а End Н — банахова алгебра линейных ограниченных операторов, действующих в Н, \\Х= sup \\Хх\\ — норма оператора в End Н.

IMI<i

Определение 1 ([6]). Два оператора A¿: D(Ai) С Н ^ Н, i = 1, 2, называются подобными, если существует непрерывно обратимый оператор U G End Н (U-1 G End Н), такой, что UD(A2) = D(A1), и выполняется равенство A1Ux = UA2x, х G D(A2). Оператор U называется оператором преобразования подобия оператора А1 в А2. Определение 2 ([7]). Линейный оператор С: D(C) С Н ^ Н называется подчиненным оператору А: D(A) С Н ^ Н, то есть С G Са(Н), если выполнены следующие два условия:

1) D(C) D D(A);

2) существует постоянная М > 0 такая, что конечна величина

\\СНа = inf{М : \\Сх\\ < М(||Аг|| + ЦжЦ), ж G D(A)}, принимаемая за норму в Са(Н).

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

Определение 3 ([7]). Тройка (U, J, Г), J: U ^U, Г: U ^ End Н, называется допустимой для оператора А, а U — допустимым пространством возмущений, если:

1) U — банахово пространство (со своей нормой || • ||*), непрерывно вложенное в банахово пространство Са(Н), то есть существует постоянная М0 > 0 такая, что \\ВНа < М0\\В||* для любого оператора В G U;

2) J, Г — трансформаторы (то есть линейные операторы, действующие в пространстве линейных операторов);

3) (ГХ)х G D(A) для любых х G D(A) и имеет место равенство:

АГХ - (ГХ )А = X - JX, X GU,

(равенство понимается как равенство элементов из U);

4) X ГУ, (ГУ )Х GU, X,Y gU , и существуют постоянные у1 > 0, у2 > 0 такие, что ||Г|| < Y1 и шах{||ХГУ||*, ||(ГУ)Х||*} < У2||Х||*||У||*;

5) выполнено одно из условий:

а) Im ГХ С D(A), где 1шГХ — образ оператора ГХ, и АГХ G End Н;

б) для любого X gU и для любого £ > 0 существует число v£ G р(А)(р(А) — резольвентное множество оператора А) такое, что

l\XR(v£,A)W^ < £, R(ve,A) = (А - V£I)-1,

где I — тождественный оператор.

Пусть А: D(A) С Н ^ Н — нормальный оператор (см., например, [12, гл. 10, с. 39]) (частный случай нормального — самосопряженный оператор), то есть D(A) = = D(A*), ||Az|| = \\А*х\\, х G D(A), спектр которого представим в виде: а(А) =

= U O, 0 G а(А), где ffj, j > 1, — взаимно непересекающиеся компактные мно-

з> 1

жества, такие, что dist(0, а1) < dist(0, а2) < ..., lim dist(0, an) = ж. Обозначим

Pj, j > 1, — проектор Рисса, построенный по спектральному множеству о, Aj = = APj, j = 1, 2,..., Aj G End H, |Oj| = sup |Л|. Введем двусторонний идеал o2(H)

Лба,'

операторов Гильберта — Шмидта, действующих в гильбертовом пространстве Н, из алгебры Епй Н с нормой || ■ ||2) (см. [10, гл. 3, § 9]). В качестве пространства возмущений Ы рассматривается оператор В: О(А) С Н — Н, допускающий представление В = В0А, В0 € в2(Н), причем существуют две ненулевые последовательности {а , {вЛГ, такие, что имеют место оценки: ^Р^В^Р^ || < с ■ а ■ вз, г,з = 1, 2,..., для некоторой постоянной с > 0. Наименьшая из констант, удовлетворяющих этому неравенству, определяет норму в Ы. Пусть п — некоторое натуральное число, положим

п

Дп = У вк, Р(Дп,А) — проектор Рисса, построенный по спектральному множеству к=1

Дп. Обозначим Я\ = Я\п = Р (Ап, А) = Р1 + Р2 + ... + Рп, Я2 = Я2п = I - Яг п. Трансформаторы Зп: 1А —У 1А и Гп: Ы — в2(Н), п > 1, определяются следующим образом: ЗпХ = Я1ХЯ1 + Я2ХЯ2, ГпХ = гп)X + Г^Х, где

п п

Гп)Х = Е Е Гп(РтХаАРк), Г^Х = ^ ^ Г,п(РтХоАРк).

т>п+1к=1 т=1к>п+1

На операторных блоках РтХ0РкА трансформатор Гп определяется как решение уравнения АРтХотк - Уотк АРк = РтХ0Рк, удовлетворяющее условию РтХотк Рк = Уотк, где к > п + 1, т < п либо к < п, т > п + 1. Для всех остальных значений т и к полагается Гп(РтХ0РкА) = 0.

Основные результаты статьи получены с использованием следующих утверждений. Теорема 1 ([14]). Пусть п — натуральное число, такое, что

, ч \ Г ^ I в к |ак вк 1 |вк |ак вк 1 1

у2(п) = шах< шах< > ——--- >, вир { > ——;-г > > < то,

1'-п Чъ+1 вкП 7>п+Цк=1 вк)) )

причем выполнено условие: 2 шах {у1 (п), у2(п)} + у1(п) + у2(п) < 1. Тогда оператор А — В подобен оператору А — ЗпХ*(п), где X*(п) € Ы имеет вид

X *(п) = Х*1 (п) + Х**2 (п) + Х*1 (п) + Х*2 (п); (4)

Х*(п) = ЯгХ*(п)Я], 1,3 = 1, 2, есть решение системы уравнений

Хгг = Вг,ГХ,г + Вгг, (г = 1,з = 2) V (г = 2,] = 1),

оператор ^: и^ — и^ задается формулой

Рг](Х) = Вгг ГХ — (ГХ )Вп — (ГХ )(Вц ГХ) + Вг];

В^ = ЯгВЯ], г,3 = 1,2, — блоки оператора В € и, являющегося возмущением оператора А; допустимое пространство возмущений и является прямой суммой четырех замкнутых подпространств вида и^ = {ЯiXЯj, X €1Л} , 1,3 = 1, 2. Оператор преобразования подобия имеет вид I + Г пХ*(п).

Теорема 2 ([14]). Пусть операторы А и В е!А таковы, что у1(п) — 0, у2(п) — 0 при п — х. Тогда, начиная с некоторого п0, оператор А — В подобен оператору А — ЗпХ*(п), п > п0, где X*(п) представимо в виде (4) и ЦР(Дп,А) — Р(Дп,А — — В)Ц — 0 при п — х, причем Дп = а((А — ЗпХ*(п)) | Р(Дп,А)Н) С а(А — В), где Р(Дп, А — В) — проектор Рисса, построенный по спектральному множеству Дп оператора А — В.

Следствие 1. Пусть выполнены условия теоремы 2, тогда

||(/ — Р(Дп,А — В))х — ^ Ргх\\ 0,

г>п+1

при п — х и для любого фиксированного х е Н.

1. Основные результаты

Перейдем к исследованию спектральных свойств оператора С: О(С) С Ь2[0,1] — — Ь2[0,1], задаваемого выражением (1).

Подставим выражение для К(1,8) в формулу (3). Получим:

(Вх)(г) = I ^рг(1)дг(з)х(8)ё,8 = ^Рг&) I Яг(в)х(в)й8 = ^рг(Ь)(х,дг).

о г=1 г=1 о г=1

Рассматриваемый оператор А является самосопряженным положительно определенным оператором, который имеет простые собственные значения Лп = п2п2, п е М, а собственные функции, отвечающие этим собственным значениям, еп(£) = л/2 8тппЬ, образуют ортонормированный базис в гильбертовом пространстве Ь2[0,1] (см., например, [4, с. 50]). Положим Д1(га) = {Л1,..., Лп} , Рп = Р (Д^),^), Р) = Р (Л,- ,А), 3 = = 1, 2,..., — проектор Рисса, построенный по одноточечному множеству а, = {п2]2}, Р,х = (х,е,)е,, (•, •) — скалярное произведение в Ь2[0,1]. Применяя метод подобных операторов для исследования спектральных свойств оператора А — В, получим следующие основные результаты статьи.

В следующей лемме получены оценки на последовательности ЦРгВ0Р,||, 1,] = = 0, 1, 2, . . ., участвующие в формулировке теоремы 1.

Лемма 1. Оператор В: В(А) С Ь2[0,1] — L2[0,1], задаваемый соотношением (3), представим в виде В = В0А, где В0 е а2(Ь2[0,1]) (а2(Ь2[0,1]) — идеал операторов Гильберта — Шмидта, действующих в гильбертовом пространстве Ь2[0,1]), и имеют место оценки

ЦРгВоР,||< ав,, 1,3 = 1,2,...,

где аг = 1 вир

з

£ 1 Яп(8) ^¿з • } Рп(Ь) в1п тЫ1 п=1 0 0

, г = 1, 2,...; вз = ^, 3 = 1, 2,...

Теорема 3. Пусть для любых функций рг, дг, г = 1, к, принадлежащих гильбертову пространству Ь2[0,1]), и для последовательностей у1,у2: N — М+ = [0, х), опреде-

1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1

ленных формулами

У1(П) = 2П2

(к \ 2 / к \ 2 / I Е9|ГрП\ sup - I + m2 I sup -¿=^- I .

^ J

< оо,

Y2W = — твх 2п_ г

{

IE Öfj,nI

¿=1 J

и sup

1

Е

m>1 m=n

m sup

IE ^ir^fi^ I ¿=i J

|n2 — m2\

}

<,

1 1

где р= 2/ рД^вт п^йЪ, д®^ = 2 / ^(¿)вт п^зйз — коэффициенты разложения 0 0 функций рг и дг в ряд Фурье по синусам; выполнены условия Иш у1(п) = 0, Иш у2(п) =

= 0. Тогда спектр в(А — В) оператора А — В представим в виде в(А — В) =

= Щ U °П I » где оп, п > m + 1 — одноточечные множества, а ат — конеч-

\п>т+1 /

ное множество с числом точек, не превосходящим т. При этом для собственных значений Лп и собственных функций еп оператора (1) имеют место оценки:

к к

Е „sin „sin V- ^sin „sin Чгп "im / ■ 4im Pin

An — n n — 2 Vin Pin + 4~2

i=1 m>1

m=n

n2 — m2

<

< const ■ n ■ sup

к qsin

E j Pin i=1 J

У2Ы;

t

V2

n

sin

n m

en(t) — V2sinnnt + —- У^

2n2 rn2

m=1

n2 — m2

sin nmt

<

< const • n

(<x

E

m=1

sup

к osin

Y ^sin

Z-/ j Pin =1

)

\n2 — m2\2

) '

2. Доказательство основных результатов

Доказательство леммы 1. Покажем, что оператор В представим в виде Вх = В0Ах. Действительно, Вх = В1х = В А-1 Ах = В0Ах, где В0 = В А-1.

Докажем, что ||PiB0Pj|| < авз, ъ,3 = 1, 2,... , для введенных последовательностей а, в j. Так как

PiBoPj х = (Б0Р) х,ег)ег = (В0(х,е^ = (х,е^ )(В0б^ =

1

2

(x,ej )(ВА 1ej = (х,еj )(В -1 ej = -1(x,ej )(Bej

Aj Aj

то

WPBoPj | <

l(Bej ,ег)1 = L l(Bej ,ег)| = |(Де,- ,eQ| |(Де,- ,ег)

jW < Aj Aj j

n2j2 j

<

n2J J

s 1 | (Bej ,e,)|

< — ■ sup j y 1 2

n2J j J

Ясно, что последовательность {вj} = j П.- j , j > 1, принадлежит l2. Докажем, что и

j

j} \n2j

последовательность {a} = {sup B'вг)|} также суммируема с квадратом. Вычислим |(Sej,е^)|.

1(Ве3 ,еЛ

£

\n=1

1

Pn(t) J qn(s)ej(s)ds j ■ ei(t)dt

)

pn(t) ■ I qn(s)V2sin njsds\ ■ v^2sinnitdt

n=i 0 4 J

V2qn(s) sin njsds ■ V2pn(t) sin nitdt

n=1 '

E^sin _ r sm 4nj Pni

n=1

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

a = sup

j J

к

\ ^sin _ „sin qnj Pni 1

n=1

sup

к i i Z J Qn(s) sin njsds ■ f pn(t) sin nitdt

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

n=1 0 0

J

sup

к

Ef . .sinnjs f . . . Qn(s)-ds ■ pn(t) sin nitdt

n=J 1 J

Таким образом, a = 2 sup

2

ши — Буняковского

к 1 1

Z Jqn(s)s^ds ■ /Pn(t) sinтоМ

n=1 0

. В силу неравенства Ко-

к ^sin

E4nj . „sin

■ fni n=1 J

<

(E f2)1 ■ (¿w)1.

\n=1 / \n=1 /

Тогда

E |a |2

=1

те /

sup

=1

к

1

1

El .sin njs / ... qn(s)-:— as ■ pn(t)sinnitdt

n=10 ^ 0

)

1

2

1

2

1

4

те /

ц

i=l \

sup

к ^sin

ЕЧпЭ . „sin ■ Гпг n=1 J

\ 1 ^ / к 1^Щ2 те \

í 1 £ sup£^--ЕКЧ2

/ í=1 \ J n=1 п=1 /

1 ^ /

iE ipnn

i=1 \ n=1

к те i sin 12

sin 2 i п i

2

)

< СЮ.

n=1

1 1 Так как числа рПП = 2 f pn(t) sinmtdt и дЩ^ = 2 f qn(s) sinnj sds являются коэффициен-

0

о

тами Фурье для функции а0, а числа а°, аЩ, аЦ® — коэффициентами Фурье функций рп и дп, п = 1, к, по системе (е1, е2,...) собственных функций оператора А, следовательно, {а} G Iто есть оператор В0 — оператор Гильберта — Шмидта. Лемма доказана.

Доказательство теоремы 3. Как показано в работе [14, теорема 2.1.2, с. 60], при выполнении условий lim yi(п) = 0, lim у2(п) = 0 для собственных значений Ап и

п^-те п^-те

собственных функций e„,(t) оператора А — В справедливы оценки:

An - An - ( Ben, en) + E

(В en-, em)(Bemi en)

m=1 m=n

An — Am

<

AnY2 (n)<Xn ß n

VW)

(5)

~ _ + ( В ) + (Ben1 еm) e-n e,n + (Ben- en) + у ^ л л em

m=1

m= n

A n A m

í те

I ^ |A „-Lp I An ßn

<

\ m=1

^m=n

)

(6)

где Б(п) = (1 — у1 (п) — у2(п))2 — 4у1(п)у2(п), Ага и еп(£) — соответственно собственные значения и собственные функции невозмущенного оператора А.

В правые части этих оценок входит величина Л—. Оценим ее.

Л/Д(га)

^D(ri) = у1(1 — Yi (п) — У2 (п))2 — 4yi (п)у2(п) =

= у/(1 + (Yi (п) — У2(п))2 — 2у1(п) — 2у2 (п) > у/(1 — 2у1(п) — 2у2(п). Так как lim у1 (п) = 0, lim у2(п) = 0, то можно указать константу, ограничивающую

п^те п^те

сверху vfe

Выпишем входящие в оценки (5) и (6) величины ап, $п, Ап, (Веп, ет):

1

an = - sup 2

к

Er . .sin ni s f . . .

Qi(s)-:— ds ■ pi(t)smnntdt

=1

1

sup

к sin

Eqií psin

■ Pm

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

=1

*>n = ; An = n2n2; n2n

(Ben, Gm) = 2 ^ Qi(s) sinnnsds ■ pi(t) sinnmtdt = - E Ci^m

sin

т .

=1

=1

2

1

1

Подставим все эти величины в оценку (5). Получим:

к

к к 1 V""4 ^в1п„в1п . 1 V""4 ^в1п„в1п

с 2 / / Чгп Ргт 2 ' ' ЧгтРг

1 к с 2 ' Чгп ггт 2 ' Чгтггп Л _ п2, 2 _ ^^ „вт^вт , ^ г=1__

Лп п 2 чгп ргп + п2 (и2 _ т2)

т=1 ^ '

т= п

=1

1 к 1

Лп — — п — 2 Чгп Рг-п +

к к

Е„в1п„в1п у^ ^в1п„в1п чгп 1ггп / * ЧгтРгп

г=1 г=1

=1

4—2 ^

т=1

т= п

п2 — т2

<

—2п2у2(п) • 1 вир

<

к (781П

з Ргп

г=1

у/Щ)

< ООП81 • п • вир

к кт

ЕЧгз „в1п

■ Рт

=1

• У2(п).

Оценка (6) примет вид:

1

с 2

1 У ав[пи

2 Чгп г-

В1п

т

6п л/2 вт —пЪ + > ,

22

—' п2(п2 — т2)

т=1 4 '

т= п

•л/2 вт —тЪ

еп — л/2 вт —п1 + -—^ Е

к

Е^в1п „в1п

Чгп Ргт

V2 ^ г=1

2—2^ п2 — т2

т=1

т= п

л/2 вт —■тЪ

<

<

\ т=1

т= п

/ V

I к „31П \

11 вир рИП I

4 I вир £ ^р!1П 1 ■ 1

те \ ^ ¿=1

/ 4 1 ^^^ у ^¿п I \ 2

—4|п2-т2|

)

• —V • —Г

—2 п

УВД

< еопв^ п

(те £

т=1

т= п

вир

з Ргп

г=1

)

|и2 — т2|2

)

Учитывая, что норма в выражении (6) берется в гильбертовом пространстве Ь2[0,1], получим окончательную оценку на собственные функции оператора А — В:

С

к

Е^ВШ „В1П

^ 2 , Чгп Ргт

епСО — л/^т — пЬ + —2 V -22—2 / и2 _ т2

т=1

т= п

• л/2 siп —■тЪ

сИ <

< еопв1 • п

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Т.

т=1

т= п

вир

к ,ув1п

, Ргп

г=1

|и2 — т212

)'

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

— п

1

2

2

Очередное утверждение, справедливое для рассматриваемого оператора (1), следует из работы [13, лемма 2].

Пусть функции pi, qi Е L2[0,1]. Тогда, начиная с некоторого натурального п0, оператор А — В подобен оператору А — JnX*(п),п > п0, где X*(п) представим в виде (4), и ||Р(Д^п),А) — Р(Д 1(п),А — В)| ^ 0 при п ^ х.

Учитывая, что норма в последнем выражении берется в гильбертовом пространстве L2[0,1], получим окончательную оценку:

x(s)eéj (s)ds^jej (t) — 2 Е ^Jx(s)sin njsds^j sin njt^j dt^j ^ 0

для любого фиксированного x из L2[0,1] при п ^ х, где ej — собственные (и, возможно, присоединенные) функции оператора А — В.

ПРИМЕЧАНИЕ

1 Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 19-01-00732).

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

1. Арнольд, В. И. Малые знаменатели. I. Об отображении окружности на себя / В. И. Арнольд // Изв. АН СССР. Сер. Матем. — 1961. — Т. 25, № 1. — С. 21-86.

2. Баскаков, А. Г. Замена Крылова — Боголюбова в теории нелинейных возмущений линейных операторов. Препринт № 80-19 / А. Г. Баскаков. — Киев : Ин-т математики АН УССР, 1980. — 44 с.

3. Баскаков, А. Г. Теорема о расщеплении оператора и некоторые смежные вопросы аналитической теории возмущений / А. Г. Баскаков // Изв. АН СССР. Сер. Матем. — 1986. — Т. 50, № 3. — С. 435-457.

4. Баскаков, А. Г. Гармонический анализ линейных операторов / А. Г. Баскаков. — Воронеж : Изд-во ВГУ, 1987. — 165 с.

5. Баскаков, А. Г. Спектральный анализ интегро-дифференциальных операторов с нелокальными краевыми условиями / А. Г. Баскаков, Т. К. Кацаран // Дифференциальные уравнения. — 1988. — Т. 24, № 8. — С. 1424-1433.

6. Баскаков, А. Г. Спектральные свойства относительно конечномерных возмущений спектральных операторов / А. Г. Баскаков // Изв. вузов. Матем. — 1991. — № 1. — С. 3-11.

7. Баскаков, А. Г. Метод подобных операторов в спектральном анализе несамосопряженного оператора Дирака с негладким потенциалом / А. Г. Баскаков, А. В. Дер-бушев, А. О. Щербаков // Изв. РАН. Сер. Матем. — 2011. — Т. 75, № 3. — С. 3-28. — 001: http://dx.doi.org/10.4213/im4202.

8. Баскаков, А. Г. Метод подобных операторов в спектральном анализе оператора Хилла с негладким потенциалом / А. Г. Баскаков, Д. М. Поляков // Матем. сб. — 2017. — Т. 208, № 1. — С. 3-47. — 001: http://dx.doi.org/10.4213/sm8637.

9. Гаркавенко, Г. В. Асимптотика собственных значений разностного оператора с растущим потенциалом и полугруппы операторов / Г. В. Гаркавенко, Н. Б. Ускова // Математическая физика и компьютерное моделирование. — 2017. — Т. 20, № 4. — С. 6-17. — 001: https://doi.org/10.15688/mpcm.jvolsu.2018.4.2.

10. Гохберг, И. Ц. Введение в теорию линейных несамосопряженных операторов / И. Ц. Гохберг, М. Г. Крейн. — М. : Наука, 1965. — 448 с.

11. Далецкий, Ю. Л. Устойчивость решений дифференциальных уравнений в банаховом пространстве / Ю. Л. Далецкий, М. Г. Крейн. — М. : Наука, 1970. — 536 с.

12. Данфорд, Н. Линейные операторы. Т. 2: Спектральная теория. Самосопряженные операторы в гильбертовом пространстве / Н. Данфорд, Д. Т. Шварц. — М. : Мир, 1966. — 1063 с.

13. Ульянова, Е. Л. О спектральных свойствах относительно конечномерных возмущений самосопряженных операторов / Е. Л. Ульянова // Изв. вузов. Матем. — 1997. — № 10. — C. 75-78.

14. Ульянова, Е. Л. Спектральный анализ нормальных операторов, возмущенных относительно конечномерными: дис. ... канд. физ.-мат. наук / Ульянова Елена Леонидовна. — Воронеж, 1998. — 100 с.

15. Фридрихс, К. О. Возмущение спектра операторов в гильбертовом пространстве / К. О. Фридрихс. — М. : Мир, 1969. — 232 с.

16. Шелковой, А. Н. Оценки собственных значений и собственных функций одного дифференциального оператора с нелокальными краевыми условиями / А. Н. Шелковой // Вестник факультета прикладной математики и механики. — 2000. — № 2. — C. 226-235.

17. Шелковой, А. Н. Метод подобных операторов в исследовании интегро-дифференциальных операторов с квадратично суммируемым ядром / А. Н. Шелковой // Вопросы науки. — 2016. — № 2. — C. 68-80.

18. Шелковой, А. Н. Спектральные свойства дифференциальных операторов, определяемых нелокальными краевыми условиями / А. Н. Шелковой // Вопросы науки. — 2016. — № 3. — C. 83-90.

19. Шелковой, А. Н. Спектральные свойства дифференциального оператора второго порядка, определяемого нелокальными краевыми условиями / А. Н. Шелковой // Математическая физика и компьютерное моделирование. — 2018. — Т. 21, № 4. — C. 18-33. — DOI: https://doi.Org/10.15688/mpcm.jvolsu.2018.4.2.

20. Turner, R. E. Perturbations of compact spectral operators / R. E. Turner // Communications on Pure and Applied Mathematics. — 1965. — Vol. 18. — P. 519-541.

REFERENCES

1. Arnold V.I. Malye znamenateli. I. Ob otobrazhenii okruzhnosti na sebya [Small Denominators. I. Mapping the Circle Onto Itself]. Izv. AN SSSR. Ser. Matem. [Mathematics of the USSR — Izvestiya], 1961, vol. 25, no. 1, pp. 21-86.

2. Baskakov A.G. Zamena Krylova — Bogolyubova v teorii nelineynykh vozmushcheniy lineynykh operatorov. Preprint № 80-19 [Krylov — Bogolyubov Replacement in the Theory of Nonlinear Perturbations of Linear Operators. Preprint No. 80-19]. Kiev, In-t matematiki AN USSR Publ., 1980. 44 p.

3. Baskakov A.G. Teorema o rasshcheplenii operatora i nekotorye smezhnye voprosy analiticheskoy teorii vozmushcheniy [A Theorem on Splitting an Operator, and Some Related Questions in the Analytic Theory of Perturbations]. Izv. AN SSSR. Ser. Matem. [Mathematics of the USSR — Izvestiya], 1986, vol. 50, no. 3, pp. 435-457.

4. Baskakov A.G. Garmonicheskiy analiz lineynykh operatorov [Harmonic Analysis of Linear Operators]. Voronezh, Izd-vo VGU Publ., 1987. 165 p.

5. Baskakov A.G., Katsaran T.K. Spektralnyy analiz integro-differentsialnykh operatorov s nelokalnymi kraevymi usloviyami [Spectral Analysis of Integro-Differential Operators with Nonlocal Boundary Conditions]. Differentsialnye uravneniya [Differential Equations], 1988, vol. 24, no. 8, pp. 1424-1433.

6. Baskakov A.G. Spektralnye svoystva otnositelno konechnomernykh vozmushcheniy spektralnykh operatorov [Spectral Analysis with Respect to Finite-Dimensional Perturbations of Spectral Operators]. Izv. vuzov. Matem. [Soviet Mathematics — Iz. VUZ], 1991, no. 1, pp. 3-11.

7. Baskakov A.G., Derbushev A.V., Shcherbakov A.O. Metod podobnykh operatorov v spektralnom analize nesamosopryazhennogo operatora Diraka s negladkim potentsialom [The

Method of Similar Operators in the Spectral Analysis of Non-Self-Adjoint Dirac Operators with Non-Smooth Potentials]. Izv. RAN. Ser. Matem. [Izvestiya: Mathematics], 2011, vol. 75, no. 3, pp. 3-28. DOI: http://dx.doi.org/10.4213/im4202.

8. Baskakov A.G., Polyakov D.M. Metod podobnykh operatorov v spektralnom analize operatora Khilla s negladkim potentsialom [The Method of Similar Operators in the Spectral Analysis of the Hill Operator with Nonsmooth Potential]. Matem. sb. [Sbornik: Mathematics], 2017, vol. 208, no. 1, pp. 3-47. DOI: http://dx.doi.org/10.4213/sm8637.

9. Garkavenko G.V., Uskova N.B. Asimptotika sobstvennykh znacheniy raznostnogo operatora s rastushchim potentsialom i polugruppy operatorov [The Asymptotic of Eigenvalues for Difference Operator with Growing Potential]. Matematicheskaya fizika i kompyuternoe modelirovanie [Mathematical Physics and Computer Simulation], 2017, vol. 20, no. 4, pp. 6-17. DOI: https://doi.org/10.15688/mpcm.jvolsu.2018.4.2.

10. Gokhberg I.Ts., Kreyn M.G. Vvedenie v teoriyu lineynykh nesamosopryazhennykh operatorov [Introduction to the Theory of Linear Nonselfadjoint Operators]. Moscow, Nauka Publ., 1965. 448 p.

11. Daletskiy Yu.L., Kreyn M.G. Ustoychivost resheniy differentsialnykh uravneniy v banakhovom prostranstve [Stability of Solutions of Differential Equations in a Banach Space]. Moscow, Nauka Publ., 1970. 536 p.

12. Danford N., Shvarts D.T. Lineynye operatory. T. 2: Spektralnaya teoriya. Samosopryazhennye operatory v gilbertovom prostranstve [Linear Operators. Part II. Spectral Theory/ Self Adjoint Operators in Hilbert Space]. Moscow, Mir Publ., 1966. 1063 p.

13. Ulyanova E.L. O spektralnykh svoystvakh otnositelno konechnomernykh vozmushcheniy samosopryazhennykh operatorov [On the Spectral Properties of Relatively Finite-Dimensional Perturbations of Selfadjoint Operators]. Izv. vuzov. Matem. [Soviet Mathematics — Iz. VUZ], 1997, no. 10, pp. 75-78.

14. Ulyanova E.L. Spektralnyy analiz normalnykh operatorov, vozmushchennykh otnositelno konechnomernymi: dis. ... kand. fiz.-mat. nauk [Spectral Analysis of the Normal Operators with Perturbed Relatively Finite-Dimensional. Cand. phys. and math. sci. diss.]. Voronezh, 1998. 100 p.

15. Fridrikhs K.O. Vozmushchenie spektra operatorov v gilbertovom prostranstve [Perturbation of Spectra in Hilbert Space]. Moscow, Mir Publ., 1969. 232 p.

16. Shelkovoy A.N. Otsenki sobstvennykh znacheniy i sobstvennykh funktsiy odnogo differentsialnogo operatora s nelokalnymi kraevymi usloviyami [Estimates of the Eigenvalues and Eigenfunctions of a Differential Operator with Nonlocal Boundary Conditions]. Vestnik fakulteta prikladnoy matematiki i mekhaniki, 2000, no. 2, pp. 226-235.

17. Shelkovoy A.N. Metod podobnykh operatorov v issledovanii integro-differentsialnykh operatorov s kvadratichno summiruemym yadrom [A Method of Similar Operators in the Study of Integro-Differential Operators with a Quadratically Summable Kernel]. Voprosy nauki, 2016, no. 2, pp. 68-80.

18. Shelkovoy A.N. Spektralnye svoystva differentsialnykh operatorov, opredelyaemykh nelokalnymi kraevymi usloviyami [Spectral Properties of Differential Operators Defined by Nonlocal Boundary Conditions]. Voprosy nauki, 2016, no. 3, pp. 83-90.

19. Shelkovoy A.N. Spektralnye svoystva differentsialnogo operatora vtorogo poryadka, opredelyaemogo nelokalnymi kraevymi usloviyami [Spectral Properties of Second Order Differential Operator Determined by Non-Local Boundary Conditions]. Matematicheskaya fizika i kompyuternoe modelirovanie [Mathematical Physics and Computer Simulation], 2018, vol. 21, no. 4, pp. 18-33. DOI: https://doi.org/10.15688/mpcm.jvolsu.2018.4.2.

20. Turner R.E. Perturbations of Compact Spectral Operators. Communications on Pure and Applied Mathematics, 1965, vol. 18, pp. 519-541.

SPECTRAL ANALYSIS OF AN INTEGRO-DIFFERENTIAL OPERATOR WITH A DEGENERATE KERNEL

Aleksandr N. Shelkovoy

Candidate of Physical and Mathematical Sciences, Associate Professor, Department of Mathematics and Physical-Mathematical Modeling, Voronezh State Technical University shelkovoj.aleksandr@mail.ru

Prosp. Moskovskii, 14, 394026 Voronezh, Russian Federation

Abstract. We consider operator C acting in the Hilbert space L2[0,1]

i

defined by the integro-differential expression (Cx)(t) = -x(t) — / K(t, s)x(s)ds

0

with the domain D(C) = {x e W22[0,1], x(0) = x(1) = 0}, where W22[0,1] is

the Sobolev space {x e L2[0,1] : x' is absolutely continuous, x" e L2[0,1]}, and

the boundary conditions x(0) = x(1) = 0.

To study spectral properties of the operator C, it is represented in the

form (Cx)(t) = (Ax)(t) — (Bx)(t), where with (Ax)(t) = —x(t), (Bx)(t) = 1

= JK(t, s)x(s)ds. Operator A is considered an unperturbed operator, B is a

0

perturbation, which is an integral operator with a degenerate kernel K( , ) = k

= Z Pi(t)qi( s), Pi, qi e L2[0,1].

i=1

As a method of studying spectral properties of the operator A — B the method of similar operators serves. One of the main results is

Theorem 3. Let for any functions pi, qi, i = 1, k, belonging to a Hilbert space L2[0,1], and for the sequences y1,y2: N ^ R+ = [0, x), defined by formulas

/ ( I E ч^Р^Л , n sup - + m sup г-1 .- ч

/V 3 ; 3 ) \

In2 -m I2 J

I ¿Ö!l,nI I ¿öfin I n sup г= .--m sup г=

{n sup-3--m sup-3-л

—-i-' E-Г1-2\-(<

2n - 1 iTi |n2 -m21 J

l_ ^^_

1 2n — 1 ' W -m2l

l m>1 1 1

m=n

1 1 where fi?™ = 2/pj(i)sinnjtdt, g?jn = 2/ %(i)sinnjsds are the expansion 0 0 coefficients of functions pi and qi in the Fourier series in sines, the conditions

are satisfied: lim y1(n) = 0, lim y2(n) = 0. Then the spectrum a (A — B ) of the operator A — B can be represented in the form a(A — B) = ç>m (J I (J crn ),

\n>m+1 /

where an, n > m+1, are single-point sets, and am are finitesets with the number of points not exceeding m. Moreover, for their eigenvalues An and eigenfunctions en of operator (1), we have the estimates:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

к к

, „sin „sin „sin„:

1 к 1 Z-V iin l'i'n / У 4iml '

Лп — n n - - lin Pin +

sin

n

2 nn±- m ■ 4n2

i=1 m>1

m=n

n2 — m2

<

< const ■ n ■ sup

к sin У^ „sin fin

i=1

Y2(n),

t

V2

E~sin ^ sin 4 in ir i m

enit) — v^mrnt +

2П2 n2 — m2

m=1

sin nmi

dt <

const n

(те £

m=1

sup

к zysin

Eqij „sin j Irin

i=1

1

|n2 — m2|

22

) *

Key words: eigenvalues, operator spectrum, integro-differential operator of the second order, spectrum asymptotic, method of similar operators.

1

2

2

i Надоели баннеры? Вы всегда можете отключить рекламу.