Научная статья на тему 'АСИМПТОТИКА РЕЗОЛЬВЕНТЫ ПЕРИОДИЧЕСКОГО ОПЕРАТОРА С ДВУМЯ РАЗБЕГАЮЩИМИСЯ ВОЗМУЩЕНИЯМИ НА ОСИ'

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

CC BY
5
2
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
Оператор / периодический оператор / разбегающиеся возмущения / асимптотика / резольвента / Operator / periodic operator / diverging perturbations / asymptotics / resolvent

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

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

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

RESOLVENT ASYMTOTICS OF A PERIODIC OPERATOR WITH TWO DISTANT PERTURBATIONS ON THE AXIS

The paper considers a one-dimensional second-order differential operator with periodic coefficients on the real axis. This operator is perturbed using two functions that are real, finite and continuous. The disturbation function carriers are positioned at a large distance from each other. This work studies behavior of the considered operator resolvent exposed to the increasing distance between these perturbation function carriers. First two terms are obtained of the formal asymptotic representation of the resolvent of a perturbed one-dimensional periodic second-order differential operator. A rather complex structure of the first term of the asymptotic representation of the resolvent of the second-order differential operator under study with two diverging functions is revealed. Structure complexity of the asymptotics first term lies in the fact that it consists of the sum of three absolutely equal terms, each of them is localized in a certain section of the real axis. The first two terms of the formal asymptotic representation of the resolvent of the operator under study are constructed. The method used to determine results of this work makes it possible to construct not only the first terms of the asymptotic representation of the resolvent of a differential operator with two compactly diverging functions, but also all its subsequent terms.

Текст научной работы на тему «АСИМПТОТИКА РЕЗОЛЬВЕНТЫ ПЕРИОДИЧЕСКОГО ОПЕРАТОРА С ДВУМЯ РАЗБЕГАЮЩИМИСЯ ВОЗМУЩЕНИЯМИ НА ОСИ»

УДК 517.984.46

EDN: HJBCVH

АСИМПТОТИКА РЕЗОЛЬВЕНТЫ ПЕРИОДИЧЕСКОГО ОПЕРАТОРА С ДВУМЯ РАЗБЕГАЮЩИМИСЯ ВОЗМУЩЕНИЯМИ НА ОСИ

А.М. Головина amgolovina@bmstu.ru

МГТУ им. Н.Э. Баумана, Москва, Российская Федерация

Аннотация

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

Ключевые слова

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

Поступила 27.03.2023 Принята 07.11.2023 © Автор(ы), 2024

Введение. Изучению резольвент дифференциальных операторов с различного рода возмущениями во всевозможных областях посвящено довольно много работ. Перечислять все имеющиеся работы не имеет смысла, отметим только некоторые, например, [1-20].

Эллиптический самосопряженный оператор второго порядка на графе с малыми ребрами, в вершинах которого поставлено граничное условие различного вида, рассмотрен в [1-3]. Доказано, что резольвенты рассматриваемого оператора аналитичны [2, 3]. Представление для резольвенты в виде сходящего ряда выведено в [1]. Резольвента оператора Шрёдингера на простейшем графе с малыми ребрами исследована в [4]. В вершинах графа устанавлено граничное условие Дирихле или Неймана. Основной результат работы — первые поправки асимптотики резольвенты рассматриваемого оператора и оценка остатка асимптотики.

Несамосопряженный оператор второго порядка в многомерной области с тонким отростком конечной длины рассмотрен в [5]. На границе устанавливались граничные условия и Дирихле, и Неймана. Для таких операторов доказана резольвентная сходимость к предельным операторам. Объектом исследования [6] был эллиптический оператор второго порядка с переменными коэффициентами в многомерной области с малым отверстием. Показано, что резольвента этого оператора сходится к резольвенте предельного оператора в области без отверстия.

Линейный самосопряженный дифференциальный оператор эллиптического типа в некоторой конечномерной области многомерного пространства рассмотрен в [7]. Выведена оценка нормы для резольвенты этого оператора.

Эллиптический дифференциальный оператор второго порядка в многомерном цилиндре с краевым условием Дирихле исследован в [8]. Изучено локальное аналитическое продолжение окаймленной резольвенты оператора из верхней полуплоскости в нижнюю по спектральному параметру в окрестности внутренней точки существенного спектра. Доказано, что размер окрестности зависит только от геометрических свойств цилиндра. Описано поведение окаймленной резольвенты по спектральному параметру в окрестности точки существенного спектра.

Основной объект изучения в [9] — обобщенная резольвента некоторого двухпараметрического пучка самосопряженных операторов в гильбертовом пространстве, возмущенная некоторым ограниченным оператором. Получена аппроксимация рассматриваемой резольвенты. Семейство периодических дифференциальных операторов в гильбертовом пространстве исследовано в [10], а семейство операторов в гильбертовом простран-

стве, допускающих факторизацию, — в [11]. Для резольвенты операторов, рассматриваемых в [10, 11], получено приближение по операторной норме в гильбертовом пространстве.

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

Оператор Шрёдингера с двумя разбегающимися возмущениями в трехмерном пространстве исследован в [12, гл. 8, § 8.6] и [14]. Некоторое унитарное преобразование рассматриваемого матричного оператора, зависящее от расстояния между возмущениями, построено в [12, гл. 8, § 8.6]. Доказана сходимость резольвенты построенного преобразования. Резольвента возмущенного оператора в [14] построена с использованием некоторого унитарного представления группы. Доказана сходимость резольвенты возмущенного оператора к резольвенте исходного. Оператор Лапласа, возмущенный функциями из класса Рольника, рассмотрен в [13]. Показано существование некоторого предельного оператора и доказана равномерная сходимость к нулю разности резольвент возмущенного и предельного операторов в норме Гильберта — Шмидта.

Объект исследования [15, 16] — дифференциальный оператор высокого порядка, который рассматривался в многомерном пространстве. Возмущениями являлись произвольные операторы. Построена формула для резольвенты возмущенного оператора. Доказана равномерная резольвентная сходимость. Обобщением работ [15, 16] стала [17], где получены результаты, аналогичные результатам работ [15, 16], но не для дифференциального оператора, а для произвольного периодического.

В настоящей работе на вещественной оси рассмотрен одномерный периодический дифференциальный оператор второго порядка с двумя разбегающимися возмущениями. Возмущения описываются некоторыми финитными непрерывными функциями. Объект исследования — резольвента рассматриваемого периодического оператора. Здесь построены первые два члена асимптотического представления резольвенты одномерного периодического дифференциального оператора второго порядка с двумя разбегающимися возмущениями. Методика, с использованием которой получены основные результаты работы, впервые описана в [15-17]. Эта методика позволила продемонстрировать интересную структуру первого члена асимптотического представления резольвенты исследуемого оператора. Как уже было отмечено, особенность структуры асимптотики заключается в том, что первый член асимптотического представления состоит из суммы трех абсолютно равноправных слагаемых, каждое из которых локализовано в определенной части вещественной оси.

Постановка задачи. Пусть p(х) е 01(К), q(х) е С^) — периодические функции с периодом £; £ — большой положительный параметр; I — тождественный оператор. Определим невозмущенный оператор Но, действующий из пространства W^(R) в пространство L2(R) следующим образом:

( HоU )(x):=(-d p(x + q(x) 1 u(x).

V dx dx )

В качестве возмущающих функций рассмотрим непрерывные финитные функции (х). Сконструируем возмущенный оператор H¿ и еще два вспомогательных оператора Нт, действующих из пространства W^(R) в пространство L2 (К):

(Н^и ) := - d p(x)d + q(x) | u(x) + ^ - £) + L_ ^ + £)) u(x);

V dx dx )

(Н+и ) (x) := - d p(x)■d + q(x) | u(x) + ).

V dx dx )

Поскольку невозмущенный оператор Hо является самосопряженным, а возмущающие функции L+ (х) финитны и непрерывны, по теореме Като — Реллиха [14, гл. 10, § 10.2] возмущенные операторы H¿ и Hт также являются самосопряженными. Следовательно, спектры этих операторов представляют собой подмножества вещественной оси [15, гл. V, § 3.5]. Это означает, что для всех ХеС \ R существуют резольвенты (щ-XI)-1, (щ -XI)-1.

Отметим, что функцию и = (Щ —XI)'1 / можно эквивалентно ввести как решение уравнения

(Щ -Х)и = /, (1)

где Х&С\R; / е12^).

Цель работы — построить первые члены формального асимптотического представления решения уравнения (1). Напомним, что под формальным асимптотическим представлением функции будем понимать стандартное определение асимптотического представления функции, например, [16, гл. 1, § 1.2, определение 2.2], но без оценки погрешности остатка или, другими словами, без обоснования. Для рассматриваемой задачи первые два члена формального асимптотического представления решения уравнения (1) для V/ е ¿2^) при £ ^ имеют вид:

и(х, £) = и0(х) + и£(х-£) + щ(х + £) + и2"(х-£) + и2 (х + £) +..., (2)

где ио, и^ еИ^2(Л) — функции, которые необходимо найти.

Формулирование основного результата. Теорема. При всех ХеС \ Д первые два члена формального асимптотического представления решения уравнения (1) для V/ е Ь2(Д) при £ ^ +оо представимы в виде

и(х, £) = (Н0 -XI)_1 /(х) + (И + -XI )_1 (-Ь+и0(х -£)) + + (И .-XI )_1 (- Ь_и0( х + £) ) +

+ (И +-Х1 )_1 (ь+(И .-XI )_1 (Ь_и0(х + 3-0)) +

+ (И_ - XI)_1 (ь_ (И+ - XI)_1 (Ь+и0(х - 3-0)) + ... (3)

Доказательство основного результата. Прежде чем доказать теорему, поясним смысл полученного результата, т. е. ответим на вопрос: как понимать убывание на бесконечности построенного решения? Для этого рассмотрим более простой случай. Пусть функция / финитна и зирр£ = = [а, Ь]. Предположим, что носители функций Ь+ лежат внутри отрезка [а, Ь]. В этом случае для и0 верны формулы

и0(х) = и0(а)е^(х "а), х < а, и0(х) = и0(Ь)е~^ (х~Ь), х > Ь. (4)

Подставляя (2) в (1), раскрывая скобки и учитывая поведение на бесконечности функции и0(х), получаем, что функции и^(х,£) на бесконечности имеют вид:

и± (х, £) = (И±-XI )_1 (-Ь±и0( х + £)) = е щ* (х), (5)

где

и+(х) = -и0(Ь) (И+ - XI У1 (Ь+е (х ~Ь)); щ (х) = -и0(а) (И_ - XI)_1 (ь.е^ (х"а)).

Другими словами, функции и^ экспоненциально убывают на бесконечности с ростом параметра £. Для определения поведения на бесконечности функций и2" вновь используем формулы (5), которые описывают поведение функций и^ на бесконечности. Получаем, что для функций и^ справедливы соотношения: и* (х, £) = е и| (х). Здесь и * (х) =

= (Н±-XI) 1 Ь+ ^)и[(x)). Эти формулы показывают, что функции и¿т экспоненциально убывают на бесконечности с увеличением параметра £ быстрее, чем функции и^. Таким образом, аналогом основного результата для случая финитной функции / является асимптотическое представление решения уравнения (1) в виде:

и^, £) = и0 ^) + е ~^ и? ^) + е и^ (x) + ...

Пусть в правой части уравнения (1) будет расположена произвольная функция / е L2(R). В этом случае первым членом формального асимптотического представления решения уравнения (1) следует считать сумму трех слагаемых вида

и(х, £) = и0(х) + и?(х-£) + щ (х + £) + ...,

где и0, и* е WГ22(R) — некоторые функции. В этом легко убедиться, если правую часть уравнения (1) представить в виде суммы трех слагаемых / = /0 + /+ (х ~ £) + /- (х + £), каждое из которых является правой частью соответствующего уравнения (Н0 -Х)и0 = /0, (Н±-Х)и^ (х + £) = = /+ (х + -£). Подставим представление для / в виде суммы в выражение для и0 и выполним необходимую замену переменной. В результате получим, что функции ± £) могут и не убывать экспоненциально по £. Поэтому функции и* не обязательно малы по сравнению с щ в случае функции / общего вида и сумму функций и0 + и^ (х - £) + и Г (х + следует рассматривать в качестве первого члена асимптотики (2).

Перейдем к доказательству теоремы. Для нахождения первых членов асимптотического разложения решения уравнения (1) подставим (2) в (1) и раскроем скобки. В результате запишем уравнение

|- -— р(х) + q(х)-X | и0 +(Ь+ (х - £) + Ь- (х + £) )и0 + V dx dx )

+ [ - р(х) -— + х) + Ь+ (х - £) - X ] (х - £) +

^ dx у

+ Ь+ (х-£)щ (х + £) + |--— р(х+ д(х) + Ь_(х + £)-X |и1(х + £) + V dx dx )

+ Ь_ (х + £)и^ (х - £) + ... = /. (6)

Обозначим

Н+ (х - £) = Ь+ (х - £)и0 +

+1 - й р(х) -— + q(х) + Ь+ (х - £) - X | и? (х - £) + Ь+ (х - £)щ (х + -£); V йх йх )

Н\ (х + £) = Ь+ (х + £)и0 + |- — р(х) — + q(х) + Ь_(х + £) -X | иГ (х + £) +

V йх йх )

+Ь_ (х + £)и^ (х - £). С учетом новых обозначений уравнение (6) примет вид

Н+ (х - £) + Н" (х + £) + ——р(х)й + q(x)-О и0 +... = /. (7) V йх йх )

Введенные функции Н1ь (х), Н[" (х) являются финитными и зависят от параметра £. Это означает, что уравнение (6) выполнено только тогда, когда

- — р(х) — + q(x)щ = /(х). (8)

dx dx

Как уже было отмечено, резольвента оператора (И0 - существует, т. е. функцию и0 можно определить из уравнения (8) следующим образом:

и0 = (И0 -XI )_1 /. (9)

Используя то, что функции Н+ (х), Нг(х) финитны, а функции р(х), q(x) периодические, с учетом (7), (8) приходим к равенствам:

Ь+и0(х + £) + | -йр(х)й + q(x) + Ь+ -X |и? + Ь+щ (х + 2-£) +... = 0;

V йх йх ) ( )

( й й Л (10)

Ь-и0(х - £) + |--р(х) — + q(x) + Ь--Х I Ь-и± (х - 2£) + ...= 0.

V йх йх )

Аналогично лемме 5 из [12] легко показать, что выражения вида Ь+щ(х + 210, Ьи(х-2£) убывают быстрее, чем Ь+и0(х + £), Ь+и0(х-£). Это означает, что в (10) слагаемые Ь+щ (х + 2/), Ь-и^ (х - 2^) можно не учитывать. В связи с этим уравнения (10) будут иметь вид

Ь_и0(х - £) + ——р(х) — + q(x) + иГ = 0; (11)

V йх йх )

Ь+и0(х + £) + - — р(х) — + q(x) +и1+= 0. (11)

V йх йх )

В силу того, что резольвента (И+ -Х)'1 существует, функции и± находим из уравнений (11). Приходим к выводу, что они имеют следующий вид:

и±= (И+-Л)"1 (-1+ио(х ± £)). (12)

Формулы (12) совпадают со вторым и третьим слагаемым в асимптотическом представлении резольвенты возмущенного оператора (3). Следующие члены асимптотики решения уравнения (1) ищем аналогично. Представим функцию и(х, £) в виде

и(х, £) = и0(х) + (х -£) + щ (х + £) + и2(х -£) + и2 (х + £) +... (13)

Здесь и0, и^е^22(Я) — найденные функции; и2 е^22(Л) — неизвестные функции, которые предстоит найти. Для их определения вновь подставим функцию и(х, £) (13) в уравнение (1) и раскроем скобки. В результате получим уравнение вида

| -йр(х)й + q(x)-X | и0 + (Ь+ (х-£) + Ь-(х + £))и0 + V йх йх )

+1 - й р(х)й + q(x) + Ь+ - X ] (х - £) + Ь_ (х + £)и^ (х - £) + ^ йх йх у

+ | -йр(х)й + q(x) + Ь- -X | щ (х + £) + Ь+ (х - ^)иГ (х + £) +

V йх йх )

+1 - й р(х) -— + q(x) + Ь+ - X ] и2, (х - £) + ^ йх йх у

+ Ь_(х + ^)и2"(х-£) + \-йр(х)й + q(x•) + Ь+ -X ]и2"(х-£) +

^ йх йх у

+ Ь+(х - £)и2 (х + £) + ... = /. (14)

Перепишем уравнение (14) с учетом равенств (9), (11):

- й р(х) — + q(x) + Ь+ - X | и±+ Ь±и1 (х ± 2£) = 0. (15)

йх йх )

После умножения функций , иГ е М^2(Я) на финитные Ь+ результат умножения будет принадлежать пространству Ь2(Л). Это означает,

что можно применить резольвенты (И+ -XI)_1, (И_ -XI)_1 к уравнениям в равенствах (15). Получаем, что функции и2~, и2" е М22(Д) имеют следующий вид:

и± (х, £) = (И ±-XI )_1 (-Ь+«1(х ± 21, I)).

Подставляем в последние равенства найденные функции и^ из формул (12) и определяем:

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

и±(х, £) = (И±-и)"1 (Ь+ (И + - А,)-1 (Ьти0(х ± 31))).

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

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

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

ЛИТЕРАТУРА

[1] Борисов Д.И., Газизова Л.И. Ряды Тейлора для резольвент операторов на графах с малыми ребрами. Труды Института математики и механики УрО РАН, 2022, т. 28, № 1, с. 40-57. DOI: http://doi.org/10.21538/0134-4889-2022-28-1-40-57

[2] Борисов Д.И. Квантовые графы с малыми ребрами: голоморфность резольвент. Доклады РАН. Математика, наука и процессы управления, 2021, т. 498, № 1, с. 21-26. EDN: KZBIJB. DOI: http://doi.org/10.31857/S268695432103005X

[3] Borisov D.I. Analyticity of resolvents of elliptic operators on quantum graphs with small edges. Adv. Math., 2022, vol. 397, no. 5, art. 108125.

DOI: https://doi.org/10.1016/j.aim.2021.108125

[4] Борисов Д.И., Коныркулжаева М.Н. Простейшие графы с малыми ребрами: асимптотики резольвент и голоморфная зависимость спектра. Уфимский математический журнал, 2019, т. 11, № 2, с. 56-71. EDN: AAGIMA

[5] Борисов Д.И. О равномерной резольвентой сходимости эллиптических операторов в областях с тонкими отростками. Проблемы математического анализа, 2022, № 114, с. 15-36.

[6] Борисов Д.И., Мухаметрахимова А.И. О равномерной резольвентной сходимости для эллиптических операторов в многомерных областях с малыми отверстиями. Проблемы математического анализа, 2018, № 92, с. 69-81.

[7] Соломяк М.З. Оценка нормы резольвенты эллиптического оператора в пространствах Lp. Успехи математических наук, 1960, т. 15, № 6, с. 141-148.

[8] Борисов Д.И., Головина А.М., Мухаметрахимова А.И. Аналитическое продолжение резольвенты эллиптического оператора в многомерном цилиндре. Проблемы математического анализа, 2020, № 105, с. 67-87.

[9] Суслина Т.А. Аппроксимация резольвенты двупараметрического квадратичного операторного пучка вблизи нижнего края спектра. Алгебра и анализ, 2013, т. 25, № 5, с. 221-251. EDN: ORJURR

[10] Бирман М.Ш., Суслина Т.А. Пороговые аппроксимации резольвенты факто-ризованного самосопряженного семейства с учетом корректора. Алгебра и анализ, 2005, т. 17, № 5, с. 69-90. EDN: HSXSWB

[11] Слоущ В.А., Суслина Т.А. Пороговые аппроксимации резольвенты полиномиального неотрицательного операторного пучка. Алгебра и анализ, 2021, т. 33, № 2, с. 233-274. EDN: OPGLJV

[12] Davies E.V. Spectral theory and differential operators. Cambridge Univ. Press, 1995.

[13] Aventini P., Seiler R. On the electronic spectrum of the diatomic molecular ion. Commun. Math. Phys., 1975, vol. 41, no. 2, pp. 119-134.

DOI: https://doi.org/10.1007/BF01608753

[14] Kostrykin V., Schrader R. Cluster properties of one particle Schrodinger operators. I. Rev. Math. Phys., 1994, vol. 6, no. 5, pp. 833-853.

DOI: https://doi.org/10.1142/S0129055X94000250

[15] Головина А.М. Резольвенты операторов с разбегающимися возмущениями. Математические заметки, 2012, т. 91, № 3, с. 464-466.

DOI: https://doi.org/10.4213/mzm9318

[16] Golovina A.M. On the resolvent of elliptic operators with distant perturbations in the space. Russ. J. Math. Phys., 2012, vol. 19, no. 2, pp. 182-192.

DOI: https://doi.org/10.1134/S1061920812020045

[17] Борисов Д.И., Головина А.М. О резольвентах периодических операторов с разбегающимися возмущениями. Уфимский математический журнал, 2012, т. 4, № 2, с. 65-74. EDN: PXCPDL

[18] Рид М., Саймон Б. Методы современной математической физики. II. Гармонический анализ. Самосопряженность. М., Мир, 1978.

[19] Като Т. Теория возмущений линейных операторов. М., Мир, 1972.

[20] Ильин А.М., Данилин А.Р. Асимптотические методы в анализе. М., ФИЗМАТЛИТ, 2009.

Головина Анастасия Михайловна — канд. физ.-мат. наук, доцент кафедры «Математическое моделирование» МГТУ им. Н.Э. Баумана (Российская Федерация, 105005, Москва, 2-я Бауманская ул., д. 5, стр. 1).

Просьба ссылаться на эту статью следующим образом:

Головина А.М. Асимптотика резольвенты периодического оператора с двумя разбегающимися возмущениями на оси. Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки, 2024, № 2 (113), с. 22-34. EDN: HJBCVH

RESOLVENT ASYMTOTICS OF A PERIODIC OPERATOR WITH TWO DISTANT PERTURBATIONS ON THE AXIS

A.M. Golovina amgolovina@bmstu.ru

Bauman Moscow State Technical University, Moscow, Russian Federation

Abstract

The paper considers a one-dimensional second-order differential operator with periodic coefficients on the real axis. This operator is perturbed using two functions that are real, finite and continuous. The dis-turbation function carriers are positioned at a large distance from each other. This work studies behavior of the considered operator resolvent exposed to the increasing distance between these perturbation function carriers. First two terms are obtained of the formal asymptotic representation of the resolvent of a

Keywords

Operator, periodic operator, diverging perturbations, asymptotics, resolvent

perturbed one-dimensional periodic second-order differential operator. A rather complex structure of the first term of the asymptotic representation of the resolvent of the second-order differential operator under study with two diverging functions is revealed. Structure complexity of the asymptotics first term lies in the fact that it consists of the sum of three absolutely equal terms, each of them is localized in a certain section of the real axis. The first two terms of the formal asymptotic representation of the resolvent of the operator under study are constructed. The method used to determine results of this work makes it possible to construct not only the first terms of the asymptotic representation of the resolvent of a differ- Received 27.03.2023 ential operator with two compactly diverging func- Accepted 07.11.2023 tions, but also all its subsequent terms © Author(s), 2024

REFERENCES

[1] Borisov D.I., Gazizova L.I. Taylor series for resolvents of operators on graphs with small edges. Proc. Steklov Inst. Math., 2022, vol. 317 (suppl. 1), no. 1, pp. S37-S54. DOI: https://doi.org/10.1134/S008154382203004X

[2] Borisov D.I. Quantum graphs with small edges: holomorphy of resolvents. Dokl. Math., 2021, vol. 103, no. 3, pp. 113-117.

DOI: https://doi.org/10.1134/S1064562421030054

[3] Borisov D.I. Analyticity of resolvents of elliptic operators on quantum graphs with small edges. Adv. Math., 2022, vol. 397, no. 5, art. 108125.

DOI: https://doi.org/10.1016/jj.aim.2021.108125

[4] Borisov D.I., Konyrkulzhaeva M.N. Simplest graphs with small edges: asymptotics for resolvents and holomorphic dependence of spectrum. Ufa Mathematical Journal, 2019, vol. 11, no. 2, pp. 56-71. DOI: https://doi.org/10.13108/2019-11-2-56

[5] Borisov D.I. On uniform resolvent convergence of elliptic operators in regions with thin branches. Problemy matematicheskogo analiza, 2022, no. 114, pp. 15-36 (in Russ.).

[6] Borisov D.I., Mukhametrakhimova A.I. On uniform resolvent convergence for elliptic operators in multidimensional regions with small holes. Problemy matematicheskogo analiza, 2018, no. 92, pp. 69-81 (in Russ.).

[7] Solomyak M.Z. Evaluation of norm of the resolvent of elliptic operators in Lp-spaces. Uspekhi matematicheskikh nauk, 1960, vol. 15, no. 6, pp. 141-148 (in Russ.).

[8] Borisov D.I., Golovina A.M., Mukhametrakhimova A.I. Analytic continuation of the resolvent of an elliptic operator in a multidimensional cylinder. Problemy matematicheskogo analiza, 2020, no. 105, pp. 67-87 (in Russ.).

[9] Suslina T.A. Approximation of the resolvent of a two-parametric quadratic operator pencil near the bottom of the spectrum. St. Petersburg Math. J., 2014, vol. 25, no. 5, pp. 869-891. DOI: https://doi.org/10.1090/S1061-0022-2014-01320-9

[10] Birman M.Sh., Suslina T.A. Threshold approximations with corrector for the resolvent of a factorized selfadjoint operator family. St. Petersburg Math. J., 2006, vol. 17, no. 5, pp. 745-762. DOI: https://doi.org/10.1090/S1061-0022-06-00927-7

[11] Sloushch V.A., Suslina T.A. Threshold approximations for the resolvent of a polynomial nonnegative operator pencil. St. Petersburg Math. J., 2022, vol. 33, no. 2, pp. 355-385. DOI: https://doi.org/10.1090/spmj/1704

[12] Davies E.V. Spectral theory and differential operators. Cambridge Univ. Press, 1995.

[13] Aventini P., Seiler R. On the electronic spectrum of the diatomic molecular ion. Commun. Math. Phys., 1975, vol. 41, no. 2, pp. 119-134.

DOI: https://doi.org/10.1007/BF01608753

[14] Kostrykin V., Schrader R. Cluster properties of one particle Schrödinger operators. I. Rev. Math. Phys., 1994, vol. 6, no. 5, pp. 833-853.

DOI: https://doi.org/10.1142/S0129055X94000250

[15] Golovina A.M Resolvents of operators with distant perturbations. Math. Notes, 2012, vol. 91, no. 3, pp. 435-438. DOI: https://doi.org/10.1134/S0001434612030133

[16] Golovina A.M. On the resolvent of elliptic operators with distant perturbations in the space. Russ. J. Math. Phys., 2012, vol. 19, no. 2, pp. 182-192.

DOI: https://doi.org/10.1134/S1061920812020045

[17] Borisov D.I., Golovina A.M. On the resolvents of periodic operators with distant perturbations. Ufimskiy matematicheskiy zhurnal, 2012, vol. 4, no. 2, pp. 65-74 (in Russ.). EDN: PXCPDL

[18] Reed M., Simon B. Methods of modern mathematical physics. Vol. 2. Fourier analysis. Self-adjointness. Academic Press, 1980.

[19] Kato T. Perturbation theory for linear operators. Springer, 1966.

[20] Ilin A.M., Danilin A.R. Asimptoticheskie metody v analize [Asymptotic methods in analysis]. Moscow, FIZMATLIT Publ., 2009.

Golovina A.M. — Cand. Sc. (Phys.-Math.), Assoc. Professor, Department of Mathematical Modeling, Bauman Moscow State Technical University (2-ya Baumanskaya ul. 5, str. 1, Moscow, 105005 Russian Federation).

Please cite this article in English as:

Golovina A.M. Resolvent asymtotics of a periodic operator with two distant perturbations on the axis. Herald of the Bauman Moscow State Technical University, Series Natural Sciences, 2024, no. 2 (113), pp. 22-34 (in Russ.). EDN: HJBCVH

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