CC BY
6
ИНТЕГРАЛЬНЫЕ У^ОВИЯ СУЩЕСТВОВАНИЯ СПЕЦИАЛЬНЫХ РЕШЕНИЙ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
Жээнтаева Жумагул Кенешовна
канд. физ.-мат. наук, доц. Кыргызско-Узбекского университета,
Кыргызская Республика, г. Ош E-mail: _ jjk_kuu@mail. ru
INTEGRAL CONDITIONS OF EXISTENCE OF SPECIAL SOLUTIONS OF LINEAR DELAY-DIFFERENCE EQUATIONS
Zhumagul Zheentaeva
candidate of Science, assistant professor Kyrgyz-Uzbek University,
Republic of Kyrgyzstan, Osh
АННОТАЦИЯ
С использованием полученных автором результатов по достаточным условиям существования «специальных» решений систем двух разностных уравнений ослаблены известные условия наличия асимптотического разложения решений начальных задач для линейных дифференциальных уравнений с ограниченным запаздыванием аргумента на «специальное» и затухающее решение.
ABSTRACT
By using of results obtained by the author on sufficient conditions on existence of "special" solutions of systems of two difference equations, there are weakened known conditions on presence of asymptotical expansion of solutions of initial value problems for linear differential equations with bounded delay into "special" and fading ones.
Ключевые слова: дифференциальное уравнение с запаздыванием аргумента; разностное уравнение; начальная задача; асимптотика; интегральное условие.
Keywords: delay-differential equation; difference equation; initial value problem; asymptotic; integral condition.
Введение
Известно, что для решений линейных автономных эволюционных уравнений (в широком смысле: включая системы уравнений) вопрос о структуре пространства решений сводится к исследованию соответствующих характеристических алгебраических уравнений. Поэтому мы рассматриваем существенно неавтономные уравнения. Имеется большое количество работ по устойчивости решений таких уравнений.
Для (бесконечномерного) пространства решений начальной задачи для скалярного линейного дифференциального уравнения с ограниченным запаздыванием аргумента, в ряде работ (см. обзор в [4], [5]) были найдены условия, когда существует такое одномерное подпространство решений (названных «специальными»), что любое решение стремится при увеличении аргумента к одному из специальных решений. В статье [6] был построен пример, показывающий, что данное явление имеет место не всегда. В [1] для поиска более широких условий, когда имеет место это явление, мы предложили использовать численные эксперименты на компьютере. В [2] мы показали, что аналогичные явления могут иметь место для более фундаментального вида эволюционных уравнений - систем разностных уравнений.
Здесь мы предлагаем, по аналогии с термином «диагональное преобладание» в теории матриц,
называть такие системы разностных уравнений «системами с одномерным преобладанием».
В [3] мы показали, что с помощью результатов [2] можно также получать соответствующие результаты для линейных дифференциальных уравнений с ограниченным запаздыванием аргумента и с ограниченным коэффициентом. Здесь получены соответствующие результаты для линейных дифференциальных уравнений с ограниченным запаздыванием аргумента и более слабыми, интегральными ограничениями на коэффициент.
1. Расщепление пространства решений дифференциальных уравнений с запаздыванием Рассматривается уравнение вида
z'(t)=P(t)z(t-h), teR+=[0,к>), h=const>0, (1)
c начальным условием
z(t)= р() ^е[-к,0], (2)
где р (0 ^[-Ь 0] и P(t) eC(R+) - заданные функции.
Представим пространство C(1>[-h,0]=Rx£в виде декартова произведения пространства функций-констант и пространства £ функций, удовлетворяющих условию у(0)=0: z(t)=z(0) + (z(t)-z(0)).Будем обозначать первую компоненту через x, вторую -через у^).
Введем в Янорму | \у\\п :=&'ир{ \у(()/(\: —Н<1<0}, тогда \у(()\ ^НуНя! I \.
Имеем для оператора сдвига 5": С(1)[-И,0] ~^С(1>[—И,0]по траектории решения (1) на величину И:
Б(х + у(-))(Ь) = х+ I Р(б + К)(х + у(б)) йБ =
'-и
гО
I р(б + К) (х + у(з))йз
г
I р(б + к)(х
О
= x +
+ I P(S + h)(x
Jo
+ y(s)) ds, te[-h, 0].
Ниже не умаляя общности, будем считать х>0. Разделим этот оператор на четыре оператора:
Ах = (г + ! Р(б + К)йз)х; Ву()
^ I
= I P(s + h)y(s)ds;
=I
0
Сх = I P(s + h) ds-x;
Dy(-)=LP(s + h)y(s)ds.
(3)
Введем обозначения для констант, связанных с функцией Р (если они существуют), N0: ={0,1,2,3,
a-(P): = 1 + inf { f P(s + h)ds:keN0\;
Ukh-h J
а+(Р): = 1 + suplí P(s + h)ds:keN0\;
Ukh-h J
b(P) = sup { f \P(s + h)(kh - s)\ds:keN0\;
kh-h
c(P) = sup {f \P(s + h)/(kh-v)\ds:keN0,kh - h<v <kh\;
d(P) = sup{J IP(s + h)l-ls - khldslkh - vi-1 ■ kh eN0, kh - h<v < kh}.
Тогда имеем:
Axe[a-(P),a+(P)]x;
IBy(■)l<í IP(s + h)y(s)lds
J-h
|P(s + h)y(s)/sl -|s|ds <
=r
-h
< í IP(s + h)sl -WyWads <b(P)\\y\\a;
-h
\\Сх\\а =sup{lf0;P(s + h)ds/tl: -h<t<0}x < c(P)lxy,
\\Dy( -)\\a = sup
0
< 0} <
I P( + h) y( ) d
Jci
/1: - h<t
™p{fo lP(s + h)sl ■ Wy\\ads/t: — h<t < 0} 0 <d(P)\\y\\a.
Такие же оценки имеют место для операторов сдвига по любому отрезку [kh-h, kh], keN0.
2. Системы операторно-разностных уравнений с одномерным преобладанием
В этом разделе мы будем применять другие обозначения, а в третьем разделе их объединим.
Пусть £ - некоторое нормированное пространство. Рассмотрим четыре последовательности операторов (первая - просто числа, вторая - «функционалы»):
an: R^R; bn-'£^R; c«: R^££ dn:£^££ n=0,1,2,...
с ограничениями ane[a-,a+]; \\bn\\<b>0, ||cn||<
c>0, \\dn\\<d>0,
и систему операторно-разностных уравнений
Xn+1= anXn + bnyn, yn+i= CnXn + dnyn,n=0,1,2,... (4)
Обобщая результаты [2] на системы вида (4), получаем:
ТЕОРЕМА 1. Если а- — d > 2-Jbc;то существует такое решение {X, Y},
что (VneN)( Xn>q-n; \Yn\< wXn),w: = -^((a- — d)—J(a- — d)2—4bc),q- = 1(a- + d +
a- — d)2 — 4bc).
ТЕОРЕМА 2. Если a+d + bc < q-2, то для любого решения {x, y} и специального решения {X, Y}, определенного в Теореме 1, существует предел
7Íx,y} — lim тт,
X
Áx,y}--¡r
X
= (a+d + bc)q
< consta71, о ■
-2
ТЕОРЕМА 3. Если выполняются условия Теорем 1 и 2, то для любого решения {х, у} и специального решения {X, У}, определенного в Теореме 1, 1хп — ?{х,у}Хп I < сопзЬап(а+ + Ьж)п. ТЕОРЕМА 4. Если выполняются условия Теорем 1 и 2 и а(а+ + Ьж) < 1,
то для любого решения {х, у} и специального решения {X, У}, определенного в Теореме 1, будет Ит(Хп — А.х,у]Хп ) = 0.
п^со
3. Интегральные условия существования специальных решений линейных дифференциальных уравнений с постоянным запаздыванием
ТЕОРЕМА 5. Если а-(Р) — й(Р) > 2^Ь(Р)с(Р),то решение 1(1) уравнения (1) сначаль-ным условием (2) с р)=1 удовлетворяет неравенству
Z(t)>c(q-(P))M, c = const>0,
где q-(P) ~1(а-(Р) + d(P) + цу(Р)), цу(Р) ■
(а-(Р) - d(P))2 - 4b(P)c(P).
ТЕОРЕМА 6. Если о(Р) ■= а+(Р^(Р) + Ь(Р)с(Р) < (ц-(Р))2, то для любого решения z(t) существует предел
r(z} ■= lim z(t)/Z(t) ,Mz}- z(t)/Z(t)l
t^co
< const(o(P)(q-(P))~2)t/h.
ТЕОРЕМА 7. Если выполняются условия Теорем 1 и 2 и
o(P)(q-(P))-2 (а+(Р)+1((а-(Р) - d(P)) -
m))
< 1,
то для любого решения z(t) будет Нт(г(£:) —
= о.
Условиям этих теорем может удовлетворять функция P(t) со сколь угодно большими по модулю значениями в отдельных точках. Таким образом, полученные результаты обобщают результаты [3].
ПРИМЕЧАНИЕ. Полученные результаты также показывают специфику «постоянного запаздывания»: на уравнения с общим ограниченным запаздыванием они не переносятся.
Список литературы:
1. Жээнтаева Ж.К. Алгоритмы для экспериментального исследования асимптотики решений линейных уравнений с запаздывающим аргументом и их использование // Бесконечномерный анализ, стохастика, математическое моделирование: новые задачи и методы. Проблемы математического и естественно-научного образования: сборник статей Международной конференции 15-18 декабря 2014 г. - Москва: Российский университет дружбы народов, 2015. - С. 219-223.
2. Жээнтаева Ж.К. Численные условия наличия асимптотики решений систем линейных разностных уравнений с переменными коэффициентами // Естественные и математические науки в современном мире / Сборник статей по материалам ХЬ междунар. научно-практ. конф. № 3 (38). - Новосибирск: Изд. АНС "СибАК", 2016. - С.76-80.
3. Жээнтаева Ж.К. Исследование асимптотики решений линейных дифференциальных уравнений с запаздыванием с помощью расщепления пространства // Инновации в науке / Сборник статей по материалам ЦУП междунар. научно-практ. конф. № 5 (54). Часть I. Новосибирск: Изд. АНС СибАК, 2016. - С. 149-154.
4. Мышкис А.Д. Линейные дифференциальные уравнения с запаздывающим аргументом. - Москва: Наука, 1972. - 351 с.
5. Панков П.С. Асимптотическая конечномерность пространства решений одного класса систем с запаздыванием // Дифференциальные уравнения, 1977, том 13, № 4. - С. 455-462.
6. Панков П.С. Пример линейного однородного дифференциального уравнения с запаздыванием, не имеющего конечномерного экспоненциально устойчивого при пространства решений // Исследования по инте-гродифференциальным уравнениям. - Фрунзе: Илим, 1977. - С. 117-125.
