УДК 517.968.74
С. Искандаров
д-р физ.-мат. наук, профессор, заведующий лабораторией, Институт теоретической и прикладной математики Национальной академии наук Кыргызской Республики,
г. Бишкек, Киргизия
Г. Т. Халилова
преподаватель,
кафедра информатики и вычислительной техники, Кыргызско-Российская академия образования,
г. Бишкек, Киргизия
ОБ ОЦЕНКЕ СНИЗУ РЕШЕНИЙ СЛАБО НЕЛИНЕЙНОГО ВОЛЬТЕРРОВА ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ ТРЕТЬЕГО ПОРЯДКА
Аннотация. Устанавливаются достаточные условия оценки снизу на полуоси и стремления к бесконечности решений слабо нелинейного вольтеррова интегро-дифференциального уравнения третьего порядка. Показывается, что этими свойствами обладают решения с начальными данными из определенного многообразия. Обсуждаются вопросы о неосцилляции и неустойчивости решений.
Ключевые слова: интегро-дифференциальное уравнение, оценки снизу решений, многообразие начальных данных, неосцилляция, неустойчивость решений.
S. Iskandarov, Ilnstitute of Theoretical and Applied Mathematics National Academy of Sciences of the Kyrgyz Republic, Bishkek, Kyrgyzstan
G.T. Khalilova, Kyrgyz-Russian Academy of Education, Bishkek, Kyrgyzstan
A LOWER ESTIMATE OF SOLUTION OF WEAK NONLINEAR THIRD ORDER VOLTERRA INTEGRO-
DIFFERENTIAL EQUATION
Abstract. We establish sufficient conditions for the lower estimate on the semiaxis and the tends to infinity of solutions of weakly nonlinear Volterra integro-differential equation of the third order. It is shown that these properties have the solutions with initial data from a specific manifold. The issues of nonoscillation and instability of the solutions.
Keywords: integral-differential equation, lower estimate of solutions, a manifold of initial data, nonoscillation, unstable of solutions.
Все фигурирующие функции от t,(t,r) и их производные являются непрерывными и соотношения имеют место при t > t0, t >t> t0; фигурирующие ниже функции от х,y,z,u являются непрерывными при |х|, |y|, |z|,|u| <¥ J = [t0,¥); ИДУ - интегро-дифференциальное уравнение;
ДУ - дифференциальное уравнение.
Ставится следующая
Задача. Установить достаточные условия наличия оценки снизу на J и стремления к бесконечности при t ® ¥ решений ИДУ вида:
х "(t) + а2 (t )х '(t) + ai (t )x'(t) + ao (t )x(t) +
t
+
to
I [О0 (<, т)х(т) + 01 (<, г)х'(г) + 02 (<, т)х'(г)] бг = Г (<) + (1)
<0
t
+Р(<,х(<),х'(<),х'(0,1И(/,г,х(г),х (г),х"{т))бт), < > <0,
<0
где Р(<,х, у, г, и), И(<,г,х, у, г) удовлетворяют условию «слабой нелинейности»: р(<,х, у, г, и) < 9о(<)|х| + 01(<)|у + Я2(Г)\г\ + дг(Г)|и|,
| И(<,г,х, у, г) < Л0 (<,г)|х| + Л1 (<, г) |у | + Л2(<,г)\г\ N)
с неотрицательными функциями дк(<), Ь1Г(<,г) (к = 0,1,2,3; г = 0,1,2).
Решение этой задачи дополняет результаты статьи авторов [1]. В отличие от [1] в настоящей статье, главным образом, развивается метод частичного срезывания [2].
Аналогично [1] в ИДУ (1) делается нестандартная замена:
х'(?) =Лх(?) + М (?)у (?), (2)
где 0 <Л - некоторый параметр, 0 < М (?) - некоторая весовая функция, у (?) - новая неизвестная функция. Тогда ИДУ (1) сводится к эквивалентной системе из ДУ первого порядка для х(?) и ИДУ второго порядка для у (?):
х'(?) = Лх(?) + М (? )у (?),
?
■ у"(?) + Ь2 (? )у'(?) + Ь1 (? )у (?) + Ьо (? )х(?) +1 [Ро (?, г)х(г) + (3)
+Р (?, т)у(г) + К(?, г)у'(г)]с(г = д(?) + Р(?; х, х', у, у'), ? > ?о,
где
Ь2{?) ° а2(?) + 2 + 2М'(?)(М(?))-1,
Ь1(?) ° а1(?) + а2(?)^(?)(М(?))-1 + Л2 + !<(?)(М(?))-1, ) ° М'(?) + 2М(?),
Ьо (?) ° [ао (?) + Л (?) + 24 (?) +Л3 ] (М(?))-1,
Ро (?,г) ° (М(?))-1 [Оо(?,г) +101 (?,г) + Л202(?,г)] ,
Р(?,г) ° (М(?))-1 [01 (?,г)М(г) + 02(?,г)М(г)],
К (?, г) (? ))-102(?,г)М (г),
д(?) ° ?(?)(М(?))-1 , Р(?;х,х',у,у') °
° Р (?, х(?),Лх(?) + М (?)у (?),Л2 х(?) + [М'(?) + ИМ (?)] у (?) +
+М (? )у'(?), | Н(?,г, х(г),Лх(г) + М(г)у (г), Л2 х(г) +
+ [М (г) + ИМ (г)] у (г) + М (г)у '{г))бг). Пусть [3, с. 42-58; 2]:
П
К(?,г) = XК (?,г), К)
П
/ (? )(М (? ))-1 = X / (?), (О
I=1
у(?) (/ = 1...П) - некоторые срезывающие функции, р(?) ° К (?,?)(у(?))-2, О,(?,г) ° К,(?,г)(у(г))-1, Е (?) ° /(?)(у (?))-1,
Р(?) = Д(?) + В1 (?) (/ = 1..П), (Р)
с1 (?)(/ = 1 ...п) - некоторые функции.
Отметим, что ядра О,(?,г) (/ = 1...П) названы частично срезанными [2]. Для произвольно фиксированного решения (х(?), у (?)) аналогично [4, с. 194-217] первое уравнение системы (3) умножаем на х(?), а второе уравнение этой системы на у'(?), полученные соотношения складываем, интегрируем в пределах от ^ до ^ в том числе по частям, при этом аналогично [3; 2] вводим функции у (?),Р (?),0, (?,г), используем лемму [2], вводим условия (Р), функции с,(?)(/ = 1...П). Тогда получаем следующее тождество:
=1
(х(>))2 + (У'«)]2 + 2{ ь2(5) (/(5))2 ds + ЬД>) (У«)]2 + £ {а (>) (У, +
+В,(>)(У (?,?0))2 - 2Е,(>)У, (/,/0) + с,(?) - {[в;(s)(У ^,>0))2 - 2Е;(^у + с;(s)]ds}
>0
> > >
° с. + 21| (Х^))2 ds + 21 №^)x(s)у(s^ +1Ь'^) (Уф)2 ds + (4)
>0 >0 >0 п > > s
+£ [ | А ^)(X, (s, >0 ))2 ds + 211 о;т (s, г) X, (г, >0 )х^«й] +
/=1 >0 >0 >0 > s
-21 у' (^ {Ь0 (s )x(s) +1 [р (s, г)х(г) + р (s, г)у (г)] dг + Р (s; х, х', у, у
>0
где
У (>,г) ° {у (?)у'(^ (/ = 1..п), с. = (х(>0))2 + (у (>0))2 + Ь^)(у(>0))2 + (>0).
0.*
/=1
Отметим, что в отличие от [1] к ИДУ второго порядка для у(>) системы (3) применили метод частичного срезывания С. Искандарова, Д.Н. Шабданова из статьи [2].
Переходом от тождества (4) к интегральному неравенству и применением леммы 1 [7] доказывается следующая Теорема. Пусть
1) 1 > 0, №(>) > 0 , выполняются условия
2) Ь2{>) > 0;
3) Ь1(>) > Ь10 > 0, (К),/),(Р); существует функция Ь*(>)е ) такая, что Ь'(>) < Ь1*(>)Ь1(>);
4) А(>) > 0, В,(>) > 0, Б,'(>) < 0, существуют функции А*(>) > 0, с1 (>) такие, что
А;(>) < А*(>)Д(>),(Е,(*)(>))2 < В,(*)(>)с(к)(>) (/ = 1..п; к = 0,1);
> -1 > № (>) + {(>, г)| (А (г))~ 2 dг + |Ь0(>)| + {[| р (>,г)| +1Р (>, г)|]dг + д* (>) +
>0 >0
+[д1 (>) + д2 (>)]№ (>) + д2 (>) | № '(>) + Ш (>)| +
5)
>
+
>
{[в* (>, г) + [в (>, г) + в2(>, г)] № (г) + в2 (>, г) | № '(г) + Ш (г)|^г«
е \2ЦД+ \ [0}) (в* (>, г) ° дз (>)Л* (>, г) (к = 0,1,2)). Тогда для любого решения (х(>), у (>)) системы (3) справедливы следующие оценки сверху: (х(>))2 + (у'(>))2 + Ью(у(>))2 < с..ехр[21(>->0), (5)
где
-1 п s -1
с.. = с.ехр{[2№(s)(Ь1(s)) 2 + Ь» + £А» + 2{Щ>,г)|(А(г)) 2dг] +
>0 ' = 1 >0
s - 1
+21Ь0 + 2 { [| р (^ г)| + |P>(s,г)| (Ь (г)Г 2 ]dг
-1
+2д0 (s) + 2д + №(s)(Ь1 ф)" 2] + д2ф[12 + №^) +
1 s
+1 №' +^)| (Ь1 (s))" 2] +1 [в0 (s, г) + в1 (s, г)(1 + № (г)) +
>0
0
Т
+G2(s,г)(12 + №'(г) + Ш(г)| (Ь1 (г)) 2 + *М(г)]dг}ds <
т.е.
|х(/)| <4о7.е
1-(„)
с..
у (<) << Т"е
1(< Ч)
|/(г)| <73*76
1(1 -<0)
(6)
(7)
(8)
Далее из ДУ (2) методом Лагранжа [6, с. 391-394] получаем следующее интегральное представление для х(<):
х(<) = е
_ 01(<-<0)
х((0) +1 е
г,
1 -<0)
W (s )у (s)ds
Из (9) аналогично [7; 8] имеем оценку снизу для |х(<)|:
х(г) > е
1(г-<0)
х(г0 )| -1 е1 -г° ) W(s) |у^)| ds
Подставляя (7) в (10), получаем оценку снизу:
|х(г)| > м (х(г0), х (г0), х' (г0)) е1(г-г°)
где
с ¥
м(х(г0),х'(/„),х"(г0)) = |х(г0) - |w(s)ds > 0.
V Ь-1П *
(9)
(10)
(11) (12)
Из (11) вытекает
Следствие. Если выполняются все условия теоремы, то все решения х(<) ИДУ (1), начальные условия которых берутся из многообразия начальных данных (12), стремятся к ¥ при
г ® ¥ .
Заметим, что при выполнении условий теоремы, решения ИДУ третьего порядка (1), начальные данные х(к)(<0) (к = 0,1,2) которых взяты из многообразия начальных данных (12) не осциллируют и неустойчивы по Ляпунову.
Замечание. С учетом соотношений
п
с. = (х(г0))2 + (у 'о2 + ь1(г0)( у о2 + £ с (г0), х\г0) = 1х(г0) + w (^)у (г0),
I=1
хХ ) = 12 х(<0 ) + [ w '(<0 ) + 1W (<0 )]у (<0 ) + W (<0 )у' (<0 ) определяется многообразие начальных данных (12).
Таким образом, нами найден класс ИДУ третьего порядка вида (1), для которого выше сформулированная задача решаема.
Список литературы:
1. Искандаров С., Халилова Г.Т. Оценки снизу решений линейного вольтеррова интег-ро-дифференциального уравнения третьего порядка // Вестник КНУ им. Ж. Баласагына. - Бишкек: КНУ им. Ж. Баласагына, 2011. - Спец. вып. - С. 61-65.
2. Искандаров С., Шабданов Д.Н. Метод частичного срезывания и ограниченность решений неявного вольтеррова интегро-дифференциального уравнения первого порядка // Исследования по интегро-дифференциальным уравнениям. - Бишкек: Илим, 2004. - Вып. 33. -С. 67-71.
3. Искандаров С. Метод весовых и срезывающих функций и асимптотические свойства
решений интегро-дифференциальных и интегральных уравнений типа Вольтерра. - Бишкек: Илим, 2002. - 216 с.
4. Вольтерра В. Математическая теория борьбы за существование / пер. с фр. О.Н. Бондаренко под ред. Ю.М. Свирежева. - М.: Наука, 1976. - 288 с.
5. Ведь Ю.А. Достаточные признаки ограниченности решений линейных интегро-дифференциальных уравнений / Ю.А. Ведь, З. Пахыров // Исследования по интегро-дифференциальным уравнениям в Киргизии. - Фрунзе: Илим, 1973. - Вып. 9. - С. 68-103.
6. Матвеев Н.М. Методы интегрирования обыкновенных дифференциальных уравнений. - М.: Высшая школа, 1967. - 564 с.
7. Ведь Ю.А. Достаточные признаки отсутствия особенных точек у интегро-дифференциальных уравнений // Исследования по интегро-дифференциальным уравнениям в Киргизии. - Фрунзе: Илим, 1965. - Вып. 3. - С. 123-135.
8. Китаева Л.Н. О наличии невертикальных асимптот у решений дифференциальных уравнений второго порядка с запаздывающим аргументом // Исследования по интегро-дифференциальным уравнениям в Киргизии. - Фрунзе: Илим, 1965. - Вып. 3. - С. 213-222.