CC BY
12
УДК 517.941
DOI 10.21685/2072-3040-2019-2-2
А. И. Вагабов
О РЕГУЛЯРНОСТИ СПЕКТРАЛЬНЫХ ЗАДАЧ С ДВУМЯ ХАРАКТЕРИСТИЧЕСКИМИ КОРНЯМИ ПРОИЗВОЛЬНЫХ КРАТНОСТЕЙ
Аннотация.
Актуальность и цели. Рассматривается задача, относящаяся к классу регулярных спектральных задач в более расширенном их понимании, чем в классическом по Биркгофу - Тамаркину смысле. Расширение касается основного дифференциального пучка, а также краевых условий: во-первых, наличие двух различных корней различных же кратностей у основного характеристического уравнения; во-вторых, краевые условия относятся по существу к типу произвольных распадающихся условий с соблюдением их регулярности. Хорошо известна нерегулярность таких условий в классических краевых задачах. Спектром задачи являются числа в правой части комплексной полуплоскости, уходящие на бесконечность в направлении мнимой оси, на логарифмическом удалении от нее.
Материалы и методы. В работе используются методы функционального анализа, дифференциальных уравнений и алгебры.
Результаты. Дано построение резольвенты задачи в виде мероморфной функции по параметру X - функции Грина. В основной теореме установлено, что полный вычет по параметру от резольвенты, приложенной к (n + 1)-кратно дифференцируемой функции (обращающейся в нуль на концах 0,1 вместе с производными) равен этой функции. Указанный вычет представляет ряд Фурье по корневым функциям исходной задачи.
Выводы. Заложены начала теории регулярных спектральных задач с характеристическими корнями произвольных кратностей.
Ключевые слова: функция Коши, функция Грина, спектр, ряд Фурье.
A. I. Vagabov
ON THE REGULARITY OF SPECTRAL TASKS WITH TWO CHARACTERISTIC ROOTS ARBITRARY MULTIPLICITY
Abstract.
Background. The task belonging to the class of regular spectral tasks in significantly their expanded understanding, than in sense, classical on Birkgofu-Tamarkin, is considered. Expansion concerns the main differential bunch and also regional conditions. First, - presence of two various roots of various frequency rates at the main characteristic equation. On the other hand, regional conditions belong in essence to type of any breaking-up conditions with respect for their regularity. The irregularity of such conditions in classical regional tasks is well-known. Range of a task are the numbers in the right part of the complex half-plane leaving on infinity in the direction of an imaginary axis on logarithmic removal from it.
© Вагабов А. И., 2019. Данная статья доступна по условиям всемирной лицензии Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), которая дает разрешение на неограниченное использование, копирование на любые носители при условии указания авторства, источника и ссылки на лицензию Creative Commons, а также изменений, если таковые имеют место.
Materials and methods. The paper uses the methods of functional analysis, differential equations and algebra.
Results. The construction of the resolvent of the problem is given in the form of a meromorphic function with respect to the parameter X, - of the Green function. In the main theorem it is established that the full deduction in parameter from the resolvent attached to n+1 - multiply the differentiable function (addressing in zero on the ends 0,1 together with derivatives) is equal to this function. The specified deduction represents Fourier's number on root functions of an initial task.
Conclusions. The foundations of the theory of regular spectral problems with characteristic root of arbitrary multiplicities are laid.
Keywords: Cauchy's function, Green's function, range, Fourier's number.
Постановка задачи
В предыдущих работах авторов [1-3] изучены спектральные задачи, относящиеся к случаям обыкновенного дифференциального пучка n -го порядка с единственным характеристическим корнем, а также в случае пучка 2n -го порядка с двумя характеристическими корнями одинаковых порядков - n. С точки зрения общей теории весьма существенно преодоление барьера -одинаковости порядков.
В данной работе поставлена задача, относящаяся к пучку порядка n + m с двумя характеристическими корнями порядков n и m , где m < n . Для большей наглядности и простоты изложение ведется в случае m = 2. В основной теореме установлена формула разложимости произвольной функции в ряд Фурье по корневым функциям пучка.
Рассматривается краевая задача для дифференциального выражения
lм-ЦЦ+xiy(x), 0<x<(1)
при распадающихся краевых условиях:
, ч ds-1y(0) , ч ds-1y(1)
ujl. (y )s = 0, Un+s (y) = —sy = 0. (2)
s=1,n dx s=1,2 dx
Введем в рассмотрение фундаментальную систему решений уравнения
l (y ) = 0:
yj (x) = xj-1ekx, j = \n; yn+j (x) = xj-1e-Xx, j = 12. (3)
Последующие построения тесно связаны с задачей (1)-(2) и системой (3). Матрицу
{Um (yj с1 j (4)
in+2 г .-in+2
, j =1 j МЦj =
называют характеристической матрицей задачи (1)-(2), а
in+2
A(X) = det {(A,)} - (5)
ее характеристическим определителем. Исходя из системы (3) находим, что
Д(Л) =
1 0 0 . 0 1 0
Л 1 0 . 0 -Л 1
Л 2 2Л 2! . 0 Л 2 -2Л
Л n-1 (n - 1)Л]-2 . (n -1)! (-Л)п -1 (n - 1)(-Л)]
Л Л Л -Л -Л
e e e e e
ЛеЛ (Л + 1)еЛ . (Л + n - 1)еЛ -Ле-Л (1 -Л)е-Л
(6)
Выделяя старшую часть в А (А,).
имеем
Д(А)-А2и-4е2Х]Л[ k! + к!, Д(Л)
к=1
к=1
( Л2n-4 2Л Л e
(n -1)(n - 2)
- + e
-2Л
Пк!. (7)
n=1
нение e
Согласно равенству (7) для характеристических А -корней имеем урав-— (п — 2)(п — 1), логарифмируя которое, приходим к его
-4Л _ л2п-4
асимптотической форме:
П_221пА — 1п4(п — 2)(п — 1) .
Последнее уравнение запишем в стандартном виде:
А~и 1п А + V,
2—п
(8)
(9)
где u = -
2
Это уравнение широко известно в литературе, его решение [4] имеет следующий вид:
, , . || 2ащи + п , Ат ~ 1п2пт\и\ +--±
±V=I
arg u +---+ 2п га ■
2
4п mu
ln2n raU 2п т
т = 1,2,...
(10)
Таким образом, установлена
Лемма 1. Собственные значения задачи (1)-(2) образуют последовательность (10).
Функция Коши дифференциального выражения (1)
Обозначим через У (А) матрицу Вронского решений (3). Как следует из теоремы Лиувилля, ее определитель не зависит от ^, вследствие чего можно писать: |У (А)|= |У (А) .
Определение. Функцию
:(*, t, Я) =
У1(t) • • Уп (t) Уп+1(t) УП+2 (t)
y1(t) • • yn (t) уП+1(t) уП+2 (t)
У1(п)(t) . • У(п)(t) уПП+) (t) Уп+2(t)
У1 (x) • • Уп (x) УП+1(x) Уп+2(x)
-1
о
j——т, при x < t
Y (я) (ii)
при x > t
назовем функцией Коши дифференциального выражения I (у). Отметим важные ее свойства, она:
1) п раз непрерывно дифференцируема по х, Ъ на [0,1] ;
2) п + 2 раз непрерывно дифференцируема по х, Ъ при х ^ Ъ и обладает скачком:
dsg (x, t, Я)
d ts
t=x+0
[0 при s < n +1, [ 1 при s = n + 1.
Функция Коши может быть определена неединственным образом. Так, функция
:(x, t, Я) =
л (t)
y1(t) y(n )(t)
У1 (x)
0
Уп+2(t) y'n+2 (t)
yn+2 (t)
Уп+2(x)
Y (Я)|
при x < t,
при x > t
(12)
аналогично служит функцией Коши дифференциального выражения I(у). Формула (11) удобна далее в вычислениях при Яе Х> 0, а (12) - при Яе Х< 0.
Лемма 2. Для любой п +1 раз непрерывно дифференцируемой функции /(х),0<х< 1, равной нулю при х = 0,1, вместе со всеми производными справедливы формулы
}g(х,Ъ,Х)/^)^/(х) + О, |Х|>> 1, (13)
fg(x,t,X)f(k)(t)dt= fdg(^X)f (t)dt при k 0 0 dtk
< n + 1.
(14)
Под g(х,Ъ,Х) имеем в виду выражение (11) при ЯеХ>0 (х<Ъ) и (12) при Яе Х< 0.
Доказательство. К формулам (13), (14) приходим интегрированием по частям соответственно п +1 и k раз. При интегрировании п +1 раз имеем
1
| g (х, Ь, А) (п+%)" Ь = о
,( )+ 1 ,( (х,Ь,А)Ь (15)
=/ (х)+] / (х)——. (15)
Отметим далее, что для определителя Вронского в знаменателе формулы (11) согласно выражениям (3) имеет место оценка
У (х,А))< С|(А))1+2+ . + п+1, С > о, Ухе (0,1). (16)
(х, Ь, А)
Числитель дроби -п+-, как определитель, представим в виде
суммы (п +1)! его членов. При этом ограничимся членом " (А,х), равным произведению элементов главной диагонали. Опуская аналогичные оценки остальных (п +1)! слагаемых, имеем
п+1 1 "п+1 р (ь)еА(хЧ) " (А, х ЬПАЧ (х)} / (Ь)" -" Ь =
k=0 х
п+1 1
= (Ь){/(п^(ЬР (Ь)еА(хЬ,
k=0 х
здесь Рk (Ь), Цк (Ь) - многочлены степеней, не превосходящих п. Интегрируя по частям в последнем выражении, придем к оценке
"(А,х)~ А1+2+...+п+п при |А|>> 1. (17)
Соединяя формулы (16), (17), придем к оценке интеграла в правой части (16). Повторяя аналогичные суждения в случае Яе А<0, х >Ь, завершим доказательство формулы (13).
Функция Грина и основная теорема
Построения и понятия, приведенные в предыдущих пунктах, легко связываются с выражением мероморфной по А функцией Грина задачи (1)-(2), [5, с. 46]:
ТО)^, (18)
где А(А) определено по формуле (7), а
A(x, t, X) =
g (^t, X) У1 (x) Уп+2 (x)
U1 (g )x
{ ( }=1
Un+2 (g)
= g(x,t,X)A(X) + E(x,t,X); (19)
Е (х, Ъ, Х) получено из А(х, Ъ, Х) заменой нулем элемента в его левом верхнем углу.
Согласно представлению (14) при Яе Х>>0, х <Ъ, и аналогичному представлению при Яе Х<< 0 имеем асимптотическую оценку
Е (х, Ъ,Х)/А(Х) ~ еХ(х-Ъ)Хп+1 , из которой следует
Утверждение. Для любой непрерывной функции /(х),0< х< 1 справедливо равенство
Нш
1 г d X г
ГГ j Т j
d X1E (x, t, X)
l2W-1 C X 0 A(X)
0? 0
f (t)d t = 0,
(20)
где С/ - расширяющиеся контуры типа окружности с центром в начале Х -плоскости, проходящие вне 5 -окружности нулей А(Х), удаляющиеся до бесконечности при I ^^ (в соответствии с леммой 1).
Теорема 2. Для любой п + 2 раз непрерывно дифференцируемой функции / (х), равной нулю, со всеми производными на концах 0,1 справедлива формула разложения по корневым элементам задачи (1)-(2):
1 ^п+1
SL 2П7-ТI f fG (t'X)
dn+\f(t)
Ш+1
> = f (x).
Ci 0
Доказательство. Согласно лемме 2 и формулам (18)-(20) имеем
й 1!0 ( Ъ, Х)/Ъ=
Ci 0
=25Л-Г Ы ff g (x,t,X)
Ci 0
dt
dn+1f (t) d d t
n+1
; +
+
lim fлjec^if^ 1
.J X J A(W jsn+1 ъ
2nV-11 ^ 1 0 A(X) d t
Нш
li
Ci
Ж
X
d X +
+
2W-1 l ^
Нш О
C,
11 1 dn+1f (t)
X J X dt
n+1
d t = f (x) + 0 = f (x).
Библиографический список
1. Вагабов, А. И. n-кратная формула разложения в ряды Фурье по корневым элементам дифференциального пучка с n-кратной характеристикой / А. И. Вагабов // Дифференциальные уравнения. - 2016. - Т. 52, № 5. - С. 555-560.
2. Вагабов, А. И. Ряды Фурье по корневым функциям дифференциального пучка десятого порядка с пятикратными характеристиками / А. И. Вагабов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. -2017. - № 1 (41). - С. 44-50.
3. Вагабов, А.И. Задача базисности корневых функций дифференциального пучка 2п-го порядка с кратными характеристиками / А. И. Вагабов // Вестник Волгоградского госуниверситета. Сер. 1, Математическая физика и компьютерное моделирование. - 2018. - Т. 21, № 1. - С. 5-10.
4. Вагабов, А. И. Асимптотика нулей степенно-показательного многочлена / А. И. Вагабов // Доклады Академии наук СССР. - 1985. - Т. 285, № 5. - С. 10371042.
5. Наймарк, М. А. Линейные дифференциальные операторы / М. А. Наймарк. -Москва : Наука, 1969. - 526 с.
References
1. Vagabov A. I. Differentsial'nye uravneniya [Differential equations]. 2016, vol. 52, no. 5, pp. 555-560. [In Russian]
2. Vagabov A. I. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2017, no. 1 (41), pp. 44-50. [In Russian]
3. Vagabov A. I. Vestnik Volgogradskogo gosuniversiteta. Ser. 1, Matematicheskaya fizi-ka i komp'yuternoe modelirovanie [Bulletin of Volgograd State University. Series 1. Mathematical physics and computer simulation]. 2018, vol. 21, no. 1, pp. 5-10. [In Russian]
4. Vagabov A. I. Doklady Akademii nauk SSSR [Reports of the USSR Academy of Sciences]. 1985, vol. 285, no. 5, pp. 1037-1042. [In Russian]
5. Naymark M. A. Lineynye differentsial'nye operatory [Linear differential operators]. Moscow: Nauka, 1969, 526 p. [In Russian]
Вагабов Абдулвагаб Исмаилович доктор физико-математических наук, профессор, кафедра математического анализа, Дагестанский государственный университет (Республика Дагестан, г. Махачкала, ул. М. Гаджиева, 43-А)
E-mail: algebra-dgu@mail.ru
Vagabov Abdulvagab Ismailovich Doctor of physical and mathematical sciences, professor, sub-department of mathematical analysis, Dagestan State University (43-a M. Gadzhiyeva street, Makhachkala, the Republic of Dagestan)
Образец цитирования:
Вагабов, А. И. О регулярности спектральных задач с двумя характеристическими корнями произвольных кратностей / А. И. Вагабов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2019. - № 2 (50). - С. 21-27. - БОТ 10.21685/2072-3040-2019-2-2.
