CC BY
10
DOI: https://doi.org/10.23670/IRJ.2020.96.6.003
О РАЗРЕШИМОСТИ ОДНОЙ СИСТЕМЫ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ В ПРОСТРАНСТВЕ ОГРАНИЧЕННЫХ НА ВСЕЙ ОСИ ФУНКЦИЙ
Научная статья
Гуломнабиев С.Г. * ORCIID 0000-0002-5205-0806, Политехнический институт Таджикского технического университета имени М. Осими, Худжанд. Таджикистан
* Корреспондирующий автор (sardor1967[at]list.ru)
Аннотация
Для одной системы линейных дифференциальных уравнений с неограниченными коэффициентами рассматривается вопрос об однозначной разрешимо-сти в пространстве ограниченных на всей оси функций. При постановке задач матрица коэффициентов разделена на две матрицы, матрица «старших» и матрица «младших» коэффициентов. Предполагается, что спектр матрицы «стар-ших» коэффициентов имеет пересечение с мнимой осью. Выявлены условия для матрицы «младших» коэффициентов, при выполнение которых обеспечивается однозначная разрешимость системы в пространстве ограниченных на всей оси функций. Выявленные условия выписаны с помощью связи между «старшими и младшими» коэффициентами системы.
Ключевые слова: система дифференциальных уравнений, ограниченное на всей оси решение, разрешимость, спектр матрицы, мнимая ось.
ON THE SOLVABILITY OF ONE SYSTEM OF LINEAR DIFFERENTIAL EQUATIONS IN THE SPACE OF FUNCTIONS LIMITED FOR THE ENTIRE AXIS
Research article
Gulomnabiev S.G.*
ORCIID 0000-0002-5205-0806, Polytechnic Institute of the Tajik Technical University named after Academic M.S.Osimi, Khujand. Tajikistan
Correspondent author (sardor1967[at]list.ru)
Abstract
The issue of unique solvability in the space of functions limited for the entire axis for one system of linear differential equations with unlimited coefficients is considered. When setting tasks, the matrix of coefficients is divided into two matrices, the matrix of "senior" and the matrix of "lower" coefficients. It is assumed that the spectrum of the matrix of "senior" coefficients has an intersection with the imaginary axis. The conditions for the matrix of "lower" coefficients are revealed, th e fulfillment of which ensures the unique solvability of the system in the space of functions limited for the entire axis. Revealed conditions are written out using the relationship between the "senior and junior" coefficients of the system.
Keywords: system of differential equations, solution limited for the entire axis, solvability, matrix spectrum, imaginary axis.
Введение
В данной статье рассматривается система дифференциальных уравнений
х' = (Aa(t) + В b(t))x + f(t), xER2 (1)
(Q-11 (Ъ il ЪЛ2\
где А = \п п ),В = ( , , ) постоянные квадратные матрицы второго порядка, a(t), bit) —определенные и
^^21 и22' \021 022/
непрерывные на всей оси функции, удовлетворяющие условиям
Um a(t) = Um b(t) =. (2)
Относительно функции ait) и b(t) предполагается также, что они удовлетворяют условию
b(t)
lim = 0. (3)
W^™ a(t)
Для вектор-функции = предполагаем, что имеет место неравенство
1— ^ *
lim -ТГТ- = fa <+ œ. (4)
Ш^™ b(t) J0
где ^(t^ = maxifi(t), f2(t))
Ниже рассматривается вопрос о наличии решений системы (1) принадлежащих пространству ограниченных на всей оси функций.
Сначала рассмотрим соответствующую однородную систему
х' = (Ла(С) + В6({))х, хбК2 (5)
Общеизвестно, что в силу условия (3) поведение нетривиальных решений однородной системы (5) на бесконечности существенно зависит от расположения спектра матрицы А на комплексной плоскости. В случае, когда спектр матрицы А не пересекается с мнимой осью, вышеизложенный вопрос в той или иной форме рассмотрен в многочисленных работах многих математиков [6], [7], [9]. В случае, когда спектр матрицы А пересекается с мнимой осью возникает естественный вопрос: Какими условиями должна обладать матрица В, чтобы можно было гарантировать наличие решений системы (1), принадлежащих пространству ограниченных на всей оси функций.
В статье рассмотрен один из простейших возможных вариантов, когда спектр матрицы А пересекается с мнимой осью. А именно предположим, что одно из двух собственных значений матрицы А равно нулю. Если одно (только одно) из собственных значений матрицы А равно нулю, то det(Л) = 0 и £г(Д) Ф 0 (след матрицы). Далее предполагается, что для элементов матрицы А выполнены условия
Й21 • Й12 Й21 • Й12
а11 Ф 0, а21 Ф 0, а22 =- и а11 +--Ф 0, (6)
аи аи
а элементы матрицы В связаны с элементами матрицы А соотношением
а11а21^11 - а11а21^22 = а21^21 - а21^12
(7)
Лемма. Пусть скалярные функции а(£) и Ь(£) удовлетворяют условиям (2) и (3), для элементов матрицы А и В
^•11^22—^21^12 г\
выполнены условия (6) и (7), и имеет место-Ф 0. Тогда система (5) не имеет ненулевых решений
«11
принадлежащих пространству ограниченных на всей оси функций. Доказательство. В системе (5) производим замену переменных
где Т =
р «11 Р
«12
У У «11
«21 .
у = Гх
I, Р и у произвольные ненулевые числа.
у' = Гх' = (глг^КО + таг^КОМО
После несложных преобразований с учётом (6) и (7) имеем
/ ЙЦЙ21 + Й21Й22 (Я12Й21 -
Г 4 Г—1 =
2
+ ^12^21 0
I гв Г—1 =
«21 0
%2 У а11^22 - а21^12
)
У 1
С^ + а!2Й21 «11^1 + («12^21 - «21^12)^
-а(0 У1 +-КО У1 +-КО У 2
«11
«21
«11^22 - а21^12 ,
У 2 = -КО У2
а11
%2 У
(8)
Очевидно, что второе уравнение системы независимое уравнение и допускает представлений решений в явной форме.
а„&22— «21^12 £ Ь(Т)ЙТ
У2(0=У2^о) е "11 ^ ()
В силу условия (2) с учётом Д11^22 Д21^12 ф 0, в случае когда у2(£0) Ф 0 имеем |^2 I ^ при t ^
если а11^22—а21^12 >0 и |у2(0| ^ при t ^ -м, если °11&22—°21&12 < 0 . Следовательно,
аи аи
однородная система не имеет не тривиальных ограниченных на всей оси решений.
Рассмотрим теперь неоднородную систему (1). Не ограничивая общности, для простоты предположим, что а(0 >
0 и КО > 0 для любого £ е Я .
0
0
Теорема. Пусть выполнены условия леммы. Тогда система (1) для любой функции [(ь) удовлетворяющей условию (4) имеет единственное решение, принадлежащее пространству ограниченных на всей оси функций. Доказательство. Произведя замену (7) систему (1) приводим к виду
У 1
а11 + а12а21 , а11^21 + а21^22 ,
-а(Ъ) Ух +-КО Ух +
аи
(а^Ь21 - а21Ь12)Р
а-21 Р а11
Ь(1) У2+^~Т1 Г1+РГ2
а12 У а12
ацЬ22-а21Ьх2 У Оц
У 2 = ---КО У2 + УА ---¡2
а11
°-21
(9)
Общее решение второго уравнения можно задать следующей формулой
с
У2(Ъ = е
а11Ь22-а21Ь12 л
а11 Jo у -1
У 2(0) + |
е «и 1 (у/Ля) -Г—^Г2(в)) ) йз
а
21
Рассмотрим функцию д (t) = /0 (
с
Ш\ < I (е~
е аи 10 () (Yfl(s)-^-11f2(s))ds.
а21 /
Имеем
а11^22-а21^12 ГБ
а11
/оИ^Л
У Ян
ук(в)--21Г2(в) а21
йз <
<
а21 + а11
а
21
Из условии (4) следует, что функция
с
\№\
а11Ь22~а21Ь12 Сь(т)ат.иг ^Я^ , У I \е а11 10 \Й(5)\ ^ )йз.
\Ь(з)\)>
\ьт
М, ДЛЯ любого t Е И . С учетом последнего неравенство имеем
с
а21 + а11
ограниченна на всей оси т.е. существует число М, такое, что
\т\
\ью\
<
\дШ < м
а
21
п-
а11Ь22-а21Ь12 ;'Ь(т)ат Д у 1\е аи 10 ( ) ^ф! ) ЛБ,
если
В силу условия а11^22-а21^12
а11^22-а21^12 а11
* 0,
имеем
ограниченность \д(Ь)\ при
Пусть
>0 и ограниченность \д&)\ при —ю, если а11Ь22 а21Ь12 < о.
аи аи
а11^22-а21^12 п гл - ^цЪ22—а21^12 ^ п т~г ^
- > 0. Случай -< 0 рассматривается аналогично. Подобрав
аи аи
соответствующим образом значение у2 (0) рассмотрим частное решение второго независимого уравнения
У*2(<) = —е
а11Ъ22—а21Ъ12 г1Ь(т)йт а11 Jo у -1
+ < 1(
а^Ъ22-^^12 г*Ь(т)йт у а11 \
е -11 1оЬ() (уШ—^~11Г2(з)))й5
а
21
а11^22-а21^12 ГЬ1(Т)^Т + < I ацЬ22-^21Ь12 Г5 Для оценки у^О) имеем \у^>(г)\ < е аи Г (е
У а-11 а21 '
< М О-ц+ац
) ац
а11Ь22-а21Ь12 С*ъ(т)с1т г+< ( —а11Ь22-а21Ь12 Г*Ь(г)йт уе аи 1 (е а11
аи
1(гШ —
аи
\Ь(5)\)й5.
Используя правило Лопиталя с учетом условия (4), легко доказать, что функция у2(€) ограничена на всей оси, т.е. существует N такое что \у2^)\ < N. для любого £ Е И . Теперь подставляя у2(Ь) в первое уравнение, поручим
+ а12а21 ^ а11Ь21 + а-2-[Ь22 , . (а12Ь21 — а21Ь12)в ^ В а11
У\ = —-12~21а(1) у1+-11-21-21~22Ь(1) У1++-12-21-21-12^Ь(1) у*2(1) + — 11 Ь+ ^2
ац 0,21 &12 У &12
Запишем общее решение в форме
2
ац+а12 &21 г*,
- (*а(т)йт+ а11Ъ21 + а21Ъ22 ¡*ь(г)йт,
У1(г) = е а11 10 ( ) а21 10 ( ) (у1(0) +
^11+^12^21 (-5 ^ацЬ21+а21Ь22 ^ а^ 10а(т)ат+ а-,-,
Г0ь(т)йт)( (а12Ь21 — а21Ь12)в,^ <.
\ а.12 у а.12
V
0
0
е
о
Предположим, что 0 при t ^
а11+а12а21 > д. ^ уСловия (3) следует, что / Ь(т) dr = £(t) / а(т) dr, где e(t)
Lta(r)dr+ ailbl1+ailb11 ftb(T)dT= | "11"11"11 +
0 «11 0
«11 Тогда
¿ц + ЦцЦц
«11
«11
ЯцЬц+ЯцЬц
«11
£(о) /0 а(т) dт. Следовательно, начиная с некоторого достаточно большого значения £ знак
выражения, стоящий перед /_ а(т) dr совпадает со знаком выражения
Рассмотрим частное решение
a11+a11an «11
a11 + a11«11 /t a(T)dT+ a11^11 + a11^11 Г>(т)йт y*(t) = -e an 0 an 0 х
«11
12^21 -«2lbl2)^i
b(s) УКО+^Г1 /i(5)+ 0/2(*))
U-1 9 /
t
«12 7
ds.
Оценим отдельно подынтегралное выражение
— ¿(S) У2 (s) + —- /1 (s) + £/2 (s)
«12 7
Имеем для оценки y1 (t)
lyi(t)l <
N + M( £«11
V «12
<
+
«12 У
n + M( P «11
V «12
+
W)jb(s),
l0l)
e
a11 + ai2a2i+ a11b1i + a11b11£(t)) /ta(T)dT
«11
an
/
«12 У
е V Й11 °21 ) ° Ь(5)
Пользуясь правилом Лопиталя, как и прежде, легко можно вывести ограниченность функции у! (£:). Следовательно,
у* = является единственным ограниченным решением системы (9). Единственность решения следует из
леммы. Тогда х = Г_!у* является единственным ограниченным решением системы (1). Теорема доказана.
Конфликт интересов Conflict of Interest
Не указан. None declared.
Список литературы / References
1. Крейн М. Г. Лекции по теории устойчивости решений дифференциальных уравнений в банаховом пространстве / М. Г. Крейн. - Киев, 1964.
2. Демидович Б.П. Лекции по математической теории устойчивости / Б.П. Демидович. - М.: Наука, 1967.
3. Далецкий Ю. Л. Устойчивость решений дифференциальных уравнений в банаховом пространстве / Ю.Л. Далецкий, М. Г. Крейн. - М.: Наука, 1970.
4. Мухамадиев Э.М. Об обратимости дифференциальных операторов в пространстве непрерывных и ограниченных на оси функций / Э.М. Мухамадиев // ДАН СССР, 1971. - Т. 196, № 1. - С. 47-49.
5. Гантмахер Ф.Р. Теория матриц / Ф.Р Гантмахер. - М.: Наука, 1980.
6. Лабиб Р. О существовании ограниченных решений системы линейных дифференциальных уравнений с неограниченными коэффициентами / Р. Лабиб. // ДАН Тадж. ССР, 1989. - Т. 32, № 1. - С. 425-427.
7. Байзаев С. Ограниченные решения некоторых обыкновенных дифференциальных уравнений в банаховом пространстве / С. Байзаев, Э. Мухамадиев // Вестник ТГУПБП. - №1(41). - 2010. - С. 108-112.
8. Зиёмидинов Б.М. Предельные решения и условие разрешимости систем дифференциальных уравнений первого порядка в пространствах Степанова / Б.М. Зиёмидинов, С.Г. Гуломнабиев // Доклады Академии наук Республики Таджикистан. - 2015. - Т. 58. № 9. -С. 780-785.
9. Гуломнабиев С.Г. О решениях однородной системы линейных дифференциальных уравнений в пространствах суммируемых функций / С.Г. Гуломнабиев // Вестник Таджикского национального университета. Серия естественных наук. - 2019. - № 2. - С. 91-95.
10. Гуломнабиев С.Г. О некоторых свойствах решений линейных однородных дифференциальных уравнений второго порядка с постоянными коэффициентами / С.Г. Гуломнабиев // Актуальные вопросы дифференциальных уравнений, математического анализа, алгебры и теории чисел и их приложения: материалы Республиканской научно-практической конференции. - Душанбе: РТСУ, 2019. - С 78-82.
Список литературы на английском языке / References in English
1. Krejn M. G. Lekcii po teorii ustojchivosti reshenij differencial'nyh uravnenij v banahovom prostranstve [Lectures on the theory of stability of solutions of differential equa-tions in a Banach space] / M. G. Krejn. - Kiev, 1964. [in Russian]
2. Demidovich B.P. Lekcii po matematicheskoj teorii ustojchivosti [Lectures on the mathematical theory of stability] / B.P. Demidovich. - M.: Nauka, 1967. [in Russian]
3. Daleckij Ju. L. Ustojchivost' reshenij differencial'nyh uravnenij v banahovom prostranstve [Stability of solutions of differential equations in a Banach space] / Ju.L. Daleckij, M. G. Krejn. - M.: Nauka, 1970. [in Russian]
4. Muhamadiev Je.M. Ob obratimosti differencial'nyh operatorov v prostranstve nepreryvnyh i ogranichennyh na osi funkcij [On the invertibility of differential operators in the space of continuous and axis-bounded functions] / Je.M. Muhamadiev // DAN SSSR, 1971. - V. 196, № 1. - P. 47-49. [in Russian]
5. Gantmaher F.R. Teorija matric [Matrix theory] / F.R Gantmaher. - M.: Nauka, 1980. [in Russian]
6. Labib R. O sushhestvovanii ogranichennyh reshenij sistemy linejnyh differencial'nyh uravnenij s neogranichennymi kojefficientami [On the existence of bounded solutions of systems of linear dif-ferential equations with unbounded coefficients] / R. Labib. // DAN Tadzh. SSR, 1989. - V. 32, № 1. - P. 425-427. [in Russian]
7. Bajzaev S. Ogranichennye reshenija nekotoryh obyknovennyh differencial'nyh uravnenij v banahovom prostranstve [Bounded solutions of some ordinary differential equations in a Banach space] / S. Bajzaev, Je. Muhamadiev // Vestnik TGUPBP [Bulletin of TGUPBP]. - №1(41). - 2010. - P. 108-112. [in Russian]
8. Zijomidinov B.M. Predel'nye reshenija i uslovie razreshimosti sistem differencial'nyh uravnenij pervogo porjadka v prostranstvah Stepanova [Limit solutions and the solvability con-dition for systems of first-order differential equations in Stepanov spaces] / B.M. Zijomidinov, S.G. Gulomnabiev // Doklady Akademii nauk Respubliki Tadzhikistan [Reports of the Academy of Sciences of the Republic of Tajikistan]. - 2015. - V. 58. № 9. -P. 780-785. [in Russian]
9. Gulomnabiev S.G. O reshenijah odnorodnoj sistemy linejnyh differencial'nyh uravnenij v prostranstvah summiruemyh funkcij [On solutions of a homogeneous system of linear differential equations in spaces of summable functions] / S.G. Gulomnabiev // Vestnik Tadzhikskogo nacional'nogo universiteta. Serija estestvennyh nauk. [Bulletin of the Tajik National University. A series of natural sciences] - 2019. - № 2. - P. 91-95. [in Russian]
10. Gulomnabiev S.G. O nekotoryh svojstvah reshenij linejnyh odnorodnyh differencial'nyh uravnenij vtorogo porjadka s postojannymi kojefficientami [On some properties of solutions of linear homogeneous second-order differential equations with constant coefficients] / S.G. Gulomnabiev // Aktual'nye voprosy differencial'nyh uravnenij, matematicheskogo analiza, algebry i teorii chisel i ih prilozhenija: materialy Respublikanskoj nauchno-prakticheskoj konferencii [Actual problems of differential equations, mathematical analysis, algebra and number theory and their applications: materials of the Republican scientific and practical con-ference]. - Dushanbe: RTSU, 2019. - P. 78-82 [in Russian]
