CC BY
12Динамические системы, 2018, том 8(36), №2, 127-137 УДК 517.929
Эффективные условия осцилляции решений разностных уравнений
1
с несколькими запаздываниями1
К. М. Чудинов
Пермский национальный исследовательский политехнический университет Пермский государственный национальный исследовательский университет Пермь 614990. E-mail: cyrilMlist.ru
Аннотация. Рассматриваются эффективные достаточные условия осцилляции решений разностных уравнений первого порядка с последействием в виде оценки снизу нижнего предела суммы коэффициентов на заданном семействе подмножеств дискретной полуоси. Прослеживается преемственность результатов такого типа от первых эффективных условий осцилляции решений дифференциальных уравнений с последействием и их дискретных аналогов до новейших достижений. Выделяются наиболее эффективные подходы к задаче и сравниваются достигнутые результаты по отношению к уравнениям с различными видами запаздываний. Доказывается новый признак осцилляции и показана его независимость от известных результатов.
Ключевые слова: разностное уравнение, последействие, осцилляция, эффективные условия.
Effective conditions for the oscillation of solutions to difference equations with several delays
K. M. Chudinov
Perm National Research Polytechnic University, Perm 614990, Perm State National Research University, Perm 614990.
Abstract. We consider a first-order linear difference equation with several variable delays. The subjects of our study are explicit sufficient conditions for all solutions of the equation to be oscillatory, in the form of an estimate from below for the lower limit of a sum of coefficients of the equation over a given class of subsets of the discrete semiaxis. We trace the history of results of the kind, from the first obtained in the 1940th explicit oscillation conditions for differential equations with aftereffect, and their discrete analogs obtained in the 1980th, to the best of contemporary known oscillation tests. We distinguish the most effective approaches to the problem, and compare the results achieved. We obtain a new explicit sharp oscillation test, show that it is independent of the known results, and give simple examples clarifying relationship between different oscillation conditions. Keywords: delay difference equation, oscillation, effective test. MSC 2010: 39A21
1 Работа выполнена в рамках базовой части госзадания Минобрнауки РФ (проект 1.5336.2017/8.9) при поддержке РФФИ (проект 18-01-00928).
© К. М. ЧУДИНОВ
Введение
В статье [1] А. Д. Мышкиса заложены несколько принципов исследования асимптотических свойств решений дифференциальных уравнений первого порядка с последействием. Некоторые из этих принципов переоткрыты в международной печати последних нескольких десятилетий, но потенциал работы [1], по-видимому, исчерпан еще далеко не полностью. В настоящей работе разрабатывается одно из направлений, указанных в [1] —получение условий осцилляции решений уравнений с последействием в явном виде — в терминах определяющих уравнение функций. Основным объектом нашего исследования являются разностные уравнения с последействием (delay difference equations), ставшие объектом систематических исследований международного математического сообщества только в последней четверти XX в. Теория осцилляции решений таких уравнений является одним из основных направлений этих исследований. В настоящее время количество публикуемых работ, посвященных эффективным в указанном выше смысле достаточным условиям осцилляции решений разностных уравнений с последействием увеличивается с каждым годом.
Чтобы определить предмет нашего исследования, приведем следующие хорошо известные факты.
Теорема 1 ([1], [2]). Пусть функции p и т определены и непрерывны на полуоси [0, p(t) > 0, т(t) < t, limt^œ т(t) — и
í* 1 lim p(s) ds > -.
t^œ Jt(t) e
Тогда все решения дифференциального уравнения с запаздывающим аргументом
x(t)+ p(t)x(T(t)) = 0, t > 0, (0.1)
осциллируют,.
Далее для n G Z полагаем Nn = {v G Z | v > n}, Ax(n) = x(n +1) — x(n).
Теорема 2 ([3], [4]). Пусть для (функции p : No — R и t : No — Z имеем p(n) > 0, т (n) < n — 1, limn^œ t (n) — и
n— 1 i
lim ^^ p(i) >
i=T (n)
Тогда все решения разностного уравнения с запаздывающим аргументом
Ax(n)+ p(n)x(T(n)) = 0, n G N0, (0.2)
осциллируют.
Обобщения теорем 1 и 2 для уравнений с несколькими запаздываниями
т
х(г) + ^Рк(г)х(п= 0, г > о, (0.3) к=1
т
Дх(п) + Рк(п)х(тк(п)) = 0, п Е (0.4)
при условии учета в равной мере всех запаздываний, встречает существенные трудности, см. [5].
В настоящей работе мы исследуем условия осцилляции решений уравнения (0.4), явно выраженные в виде оценки нижнего предела сумм коэффициентов уравнения по заданному семейству подмножеств области определения решения — дискретной полуоси.
Определим основные формальности.
Положим Ь = шт{тк(г) | г Е = 1,т}. Решением уравнения (0.4) на-
зывается функция х: М0 — Е, такая что для некоторой начальной функции ф: {Ь,..., 0} —У Е при условии х(п) = ф(и), V = Ь, 0, выполняются равенства (0.4). Очевидно, что для любой начальной функции уравнение (0.4) имеет единственное решение.
Решение х = х(п) уравнения (0.4) называется осциллирующим, если для любого п0 Е М0 найдется п1 € , такое что х(п0)х(п1) < 0. Назовем уравнение (0.4) осциллирующим, если все его решения осциллируют.
В первом разделе статьи отметим несколько важных вех недолгой истории исследований осцилляции решений разностных уравнений с последействием. Во втором разделе мы доказываем новый признак осцилляции для уравнения (0.4). Третий раздел посвящен сравнению разных подходов к исследуемым вопросам и полученных результатов.
1. Некоторые известные условия осцилляции
Рассмотрим известные условия осцилляции, применимые к разным случаям уравнения (0.4).
Пусть р Е Е и г Е М1. Как хорошо известно (см., напр., [6]), уравнение
Дх(п) + рх(п — г) = 0, п Е М0, является осциллирующим, если и только если
р> (Тг1г+г• (1Л)
Пусть теперь р = р(п). Рассмотрим неулучшаемые достаточные условия осцилляции решений уравнения с одним постоянным запаздыванием
Дх(п) + р(п)х(п — г) = 0, п Е N. (1.2)
Известно [6], что уравнение (1.2) является осциллирующим, если
lim p(n) >т-' (1.3)
™ 1 ' (r + 1)r+1 V 7
В работе [7] было показано, что значение коэффициента p(n) в неравенстве (1.3) можно заменить средним значением на промежутке длины r: уравнение (1.2) является осциллирующим, если pk (n) > 0 и
^^ ( r \ .um лp(i) >{— .
Для уравнения с несколькими постоянными запаздываниями
m
Ax(n) + pk(n)x(n - rk) = 0, n e N0. (1.4)
(n)
k=i
имеет место следующее обобщение последнего результата. Теорема 3 ([8]). Пусть pk (n) > 0 и
m ( r, +1 \ rk+1 U+rk um Е р+М E pk («) > i.
k=1 4 7 l=U+1
Тогда уравнение (1.4) является осциллирующим. Следствие 1. Пусть pk (n) > 0 и
m u+rk
lim pk (i) > 1 (1.5)
k=1 i=n+1 e
Тогда уравнение (1.4) является осциллирующим.
Теорема 3 и следствие 1 являются дискретными аналогами полученного ранее признака осцилляции решений дифференциального уравнения с несколькими постоянными запаздываниями [9].
В связи с вышесказанным укажем следующий не привлекший к себе широкого внимания результат.
Теорема 4 ([10]). Пусть rk e N1 и pk(n) > 0; к = 1,m, и
Шт £ (k+r pk(n) > 1.
k=1 'k
Тогда уравнение (1.4) является осциллирующим.
Выше указано, что в случае т = 1 теорема 4 очевидным образом следует из теоремы 3. Однако, как будет показано ниже, в общем случае теоремы 3 и 4 независимы.
Рассмотрим обобщения следствия 1 для уравнения (0.4) с несколькими переменными запаздываниями.
Теорема 5 ([11]). Пусть рк(п) > 0; тк(п) < п — 1, т(п) = шах{тк(п) | к = 1,т} и
п— 1 m —
> -.
г=т(n) k=1
Тогда уравнение (0.4) является осциллирующим.
Очевидный недостаток последнего результата состоит в том, что влияние больших запаздываний на наличие осцилляции не учитывается в полной мере. Для уравнений (0.4) с большими различиями запаздываний такие признаки осцилляции довольно грубы: в частности, если Тк(п) = п для некоторого к, то теорема 5 полностью теряет силу.
Опубликованное в [12] и цитируемое в нескольких последующих работах утверждение, что при условиях рк(п) > 0, тк(п) < п — 1 и ^т=1 Рк(п) > 0 неравенство
т п— 1 1
£ Рк(г) > -
к=1 г=тк (п)
влечет осцилляцию всех решений уравнения (0.4), является неверным — см. контрпример в [5]. Более того, упомянутые выше результаты из [8] и [9] в некоторых недавних обзорах цитируются неверно: их авторы не замечают, что если поменять нижний и верхний пределы во внутренней сумме неравенства (1.5) на п — Гк и п — 1 соответственно, то смысл утверждения изменится (хотя в случае т = 1 такая замена, очевидно, допустима).
Обобщение следствия 1 для уравнения с переменными запаздываниями с сохранением для каждого коэффициента Рк своего множества суммирования имеет следующий вид.
Теорема 6 ([13]). Положим Ек(п) = {г > п | тк(г) < п — 1}. Пусть
m
Иш £ £ рк(г) > -•
п^ к=1 ^Вк(п) 6
Тогда уравнение (0.4) является осциллирующим.
2. Новые условия осцилляции
Теоремы 1 и 2 и их обобщения для уравнений с несколькими запаздываниями естественно назвать интегральными условиями осцилляции: в основном неравенстве коэффициенты уравнения суммируются по заданному множеству аргументов. На этом пути для уравнений (0.3) и (0.4) до недавнего времени были известны только грубые результаты типа теоремы 5 и ее непрерывных аналогов.
Однако возможен другой подход. Среди известных условий осцилляции решений уравнения (0.3) особняком стоит следующий результат.
Теорема 7 ([14]). Если рк(Ь) > 0; тк(Ь) < Ь, функции тк(Ь) = Ь — тк(Ь) ограниченны и
т 1
Рк(ь)тк(ь) >
к=1 е
то все решения уравнения (0.3) осциллируют,.
Это условие осцилляции можно назвать точечным, противопоставляя его интегральным условиям. Некоторые обобщения такого подхода на уравнения с распределенным запаздыванием имеются в работе [15]. Докажем дискретный аналог теоремы 7.
Теорема 8. Пусть рк(п) > 0, тк(п) < п—1, функции тк(п) = п—тк(п) ограниченны и
т 1
Рк(п)тк(п) > -. (2.1)
к=1 е
Тогда все решения уравнения (0.4) осциллируют.
Доказательство. Пусть условия теоремы выполнены. Тогда найдутся числа п0 £ N0 и К > 1, такие что для всех п £ N
имеем
(n)rk(n) > K, n £ Nrao. (2.2)
k=l
Предположим, что некоторое решение х = х(п) уравнения (0.4) не осциллирует. Без ограничения общности положим, что х(п) > 0 для п £ .
Обозначим £(п) = ^+1). В силу уравнения (0.4), условия рк(п) > 0 и ограниченности запаздываний можно также без ограничения общности считать, что £(п) > 1 для п £ М„0.
Покажем, что из сделанного предположения следует, что £(п) ^ при
п ^ то, но это свойство функции £ противоречит условию теоремы. Приведенное ниже рассуждение является по сути очередной вариацией на тему рассуждения для дифференциального уравнения (0.1) из статьи [2], которое явилось основой доказательств многих условий осцилляции.
Из условия (2.1) получаем, что
m
ijmYlРк(П = р> о■ (2.3)
По условию теоремы найдется Я Е М1, такое что гк(п) < Я, к = 1,т, п Е N0. Для п Е Мпо+Д имеем
«п) = (- - ±Ркn У > (- - Еpkw)"'
следовательно,
lim Z(n) > (- - P) — 1 > -.
п—^^о
Зафиксируем числа с> 1 и п1 Е Мпо, такие что для всех п Е Мп1 имеем £(п) > с. В силу уравнения (0.4) имеем
1т
1 — £ Рк (п)£ (п — Гк (п)) • ... • £(п — 1). (2.4)
ZW k=i
Следовательно,
/ т \-1
£(п) > (1 — Т. Рк (п)сГк(п) ) , п Е Мщ+В.
Учитывая, что для а Е К имеем еа > еа, и условие (2.2), получаем
т т т
^Рк(п)сГк(п) = ^2Рк(п)еыСГк(п) > е 1пс^Рк(п)гк(п) > 1пс • еК,
откуда
(n)
к=1 к=1 к=1
£(п) > (1 — 1п с • еК)-1 > ехр (1п с • еК) = сеК, п Е М^+я.
Таким образом, если £(п) > с > 1 для всех п Е Мп1, то £(п) > сеК для всех п Е Мп1 +Д, где К > 1. Очевидно, из этого следует, что для любого N > 0 найдется такое пN Е М0, что £(п) > N для всех п Е . Но тогда из равенства (2.4) получаем, что
т
^^Рк(п)£(п — гк(п)) • ... • £(п — 1) ^ 1 при п ^ ж, к=1
откуда
т
(п) ^ 0 при п ^ ж,
к=1
что противоречит соотношению (2.3), следующему из условий теоремы. □
3. Сравнение подходов и результатов
Покажем, что ни одна из теорем 6 и 8 не является следствием другой, более того, ни одна из теорем 3 и 4 — сужений теорем 6 и 8 соответственно на случай постоянных запаздываний — не является следствием другой. Для этого рассмотрим уравнение
Ах(п) + р1(п)х(п — 1) + р2(п)х(п — 2) = 0, п £ М0. (3.1)
Пример 1. Положим т1(п) = т1 = 1, т2(п) = т2 = 2,
pl(n) = } е
5е '
n = 2v; 5Ъ, n = 2v +1;
(Л.
) l0e
U ,
1 0 , , P2(n)=< \0е' . V £ N0.
юе, n = 2v;
n = 2v +1;
Имеем
. . . . (1 1 1 1 \ 6 1 м k=,pk (n>k (n) = mm{ e • 1 + 10e •2, oe • 1 + 2e • 2J = 5~e>e;
2 n+rk (1 1 \ 4 1
Ü^V V Pk (n) = mini -(10 + 1 + 5),- (5 + 2 + 1)) = — < -.
..........\ e e j oe e
к=1 г=га+1
Таким образом, по теореме 8 уравнение (3.1) является осциллирующим, но теорема 6 не позволяет установить это.
Пример 2. Положим
, п = 3и;
Р1(п)= { 1, п = 3и + 1; Р2(п)= { ^ п = 3и + 2;
1
10е ' 1
е ' 1
10е '
1
е '' 1_ 10е ' 1
10е '
n = 3v ; n = 3v + 1; n = 3v + 2;
V £ N0.
Имеем
(1111 1 1 \ 3 1 --к - • 2 - +--• 2--1--.2,\= - < -;
1шХPk (n)rk (n) = mrn(— + - • 2, - + — • 2 ,— + — • 2I=^- <
k=l
2 n+rk /
lim ^^ Pk(n) = min (
k=l i=n+l V
1 + 10 + 1 10 + 1 + 1 1 + 1 + 10
10e
10e
10e
10e
6 1
Oe e
Таким образом, по теореме 6 уравнение (3.1) является осциллирующим, но теорема 8 не позволяет установить это.
Обратим внимание еще на одну идею получения условий осцилляции в терминах параметров уравнения. В работах [16], [17], [18] для интегральных условий осцилляции уравнений (0.3) и (0.4) в виде не нижнего, как в настоящей работе, а верхнего предела интеграла или суммы коэффициентов успешно применен итерационный подход: строится последовательность оценок коэффициентов уравнения,
e
такая что каждая из оценок уточняет предыдущую; если некоторая итерация дает справедливое неравенство, то уравнение является осциллирующим. Обзор достижений в этом направлении по отношению к уравнению (0.4) и некоторые новые результаты см. в работе [19].
В нескольких работах последних трех лет предприняты попытки применить итерационный подход для получения интегральных условий осцилляции в виде оценки нижнего предела функции от коэффициентов. Так, в работе [20] предлагается уточнить теорему 2, сделав первый шаг последовательности итераций; именно, утверждается, что если p(n) > 0, 6(n) = max{r(i) | i = 0, n} и
n-i s(n)-i i i
lim V^ p(i) TT --— ^ -,
^ 11 1 - p(j) e
n^ i=s(n) j=T (j) iyJ!
то уравнение (0.2) является осциллирующим. Следующий пример показывает, что это утверждение неверно.
Пример 3. Уравнение
4
Ax(n) + — x(n - 2) = 0
2 7
по критерию (1.1) не является осциллирующим, однако
П-1 ,, П— 1 4 (í27)2 27\ 200 1 Ш M П 1-4/277 = ^{{Тз + 2з) = Ъ29 >~е
г=п—2 ]=г—2 \ /
Аналогичная ошибка по отношению к уравнению (0.3) совершена в статье [21] (последовательность итераций предъявлена полностью). Возможность исправить ошибку рассмотрена в работе [22]. Ограничимся здесь выводами по отношению к уравнению (0.4), аналогичными некоторым из выводов, сделанных в [22] для уравнения (0.3).
Справедливо следующее утверждение. Положим р(п) = шт{гк(г) | г = 0,п,к =
1,т}. Пусть рк (п) > 0 и т=1 рк (п) < 1 для всех п € N (если последнее неравенство нарушается для сколь угодно больших п, то уравнение (0.4) является осциллирующим) и
п— 1 т 1 1
Цш > > рк (г)-т^—, ^
ип—р{г)—\(^ УТ , р,(I)) е
г=п—р(п) к=1 1Ц=п—гк(г)\ УЗУ) >
Тогда уравнение (0.4) является осциллирующим.
Это первая итерация уточнения теоремы 5, последовательность итераций может быть продолжена. Таким образом, итерационный подход к признакам осцилляции в виде оценки нижнего предела в принципе применим. Однако на момент написания данной работы автору неизвестно, существуют ли уравнения вида (0.4), для которых применение итерационного уточнения теоремы 5 дает лучшие результаты, чем применение как теоремы 6, так и теоремы 8.
Список цитируемых источников
1. МышкисА.Д. О решениях линейных однородных дифференциальных уравнений первого порядка устойчивого типа с запаздывающим аргументом // Матем. сб. — 1951. — Т.28(70), №3. — С. 641-658.
2. Коплатадзе, Р. Г., Чантурия Т. А. О колеблющихся и монотонных решениях дифференциальных уравнений первого порядка с отклоняющимся аргументом // Диффе-ренц. уравн. — 1982. — Т.18, №8. — С. 1463-1465.
3. Zhang, B. G., Tian, C. J. Nonexistence and existence of positive solutions for difference equations with unbounded delay // Comput. Math. Appl. — 1998. — V.36, No.1. — P. 1-8.
4. Chatzarakis, G. E, Koplatadze, R, Stavroulakis, I. P. Optimal oscillation criteria for the first order difference equations with delay argument // Pacific J. Math. — 2008. — V.235. — P. 15-33.
5. Чудинов, К. М. О точных достаточных признаках осцилляции решений линейных дифференциальных и разностных уравнений первого порядка // Изв. вузов. Матем. — 2018. — №5. — С. 93-98.
6. Erbe, L. H., Zhang, B. G. Oscillation of discrete analogues of delay equations // Differential Integral Equations. — 1989. — V.2, No.3. — P. 300-309.
7. Ladas, G, Philos, Ch. G., Sficas, Y. G. Sharp conditions for the oscillation of delay difference equations //J. Appl. Math. Simulation. — 1989. — V.2. — P. 101-11.
8. Tang, X. H., Yu, J. S. Oscillation of difference equations // Comp. Math. Appl. — 1999. — V.37. — P. 11-20.
9. Li, B. Oscillation of first order delay differential equations // Proc. Amer. Math. Soc. — 1996. — V.124, No.12. — P. 3729-3737.
10. TangQ. G, DengY.B. Oscillation of difference equations with several delays // Hunan Daxue Xuebao. — 1998. — V.25, No.2. — P. 1-3. (Chinese)
11. Berezansky, L, Braverman, E. On existence of positive solutions for linear difference equations with several delays // Adv. Dyn. Syst. Appl. — 2006. — V.1, No.1. — P. 29-47.
12. Chatzarakis, G. E., Pinelas S., Stavroulakis, I. P. Oscillations of difference equations with several deviated arguments // Aequationes Math. — 2014. — V.88, No. 1-2. — P. 105-123.
13. Chudinov, K.M. Sharp explicit oscillation conditions for difference equations with several delays // Georgian Math. J. — 2018. — In print.
14. Hunt, B. R, Yorke, J. A. When all solutions of x' = Qi(t)x(t — Ti(t)) oscillate //J. Differential Equations. — 1984. — V.53. — P. 139-145.
15. Berezansky, L., Braverman, E. On oscillation of equations with distributed delay // Z. Anal. Anwend. — 2001. — V.20, No.2. — P. 489-504.
16. Koplatadze, R., Kvinikadze, G. On the oscillation of solutions of first-order delay differential inequalities and equations // Georgian Math. J. — 1994. — V.1. — P. 675-685.
17. Braverman E, Karpuz, B. On oscillation of differential and difference equations with nonmonotone delays // Appl. Math. Comput. — 2011. — V.218, No. 7. — P. 3880-3887.
18. Braverman E, Chatzarakis, G. E., Stavroulakis, I. P. Iterative oscillation tests for difference equations with several non-monotone arguments // J. Difference Equ. Appl. — 2015. — V.21, No. 9. — P. 854-874.
19. Чудинов, К. М. О новых подходах к получению условий осцилляции решений разностных уравнений с последействием // Функционально-дифференциальные уравнения: теория и приложения. — Пермь: Изд-во Пермск. национальн. исслед. поли-технич. ун-та, 2018. — С. 277-286.
20. Chatzarakis, G. E, Ocalan, О. Oscillations of difference equations with non-monotone arguments // Appl. Math. Comput. — 2015. — V.258. — P. 60-66.
21. BravermanE., Chatzarakis, G. E, Stavroulakis, I. P. Iterative oscillation tests for differential equations with several non-monotone arguments // Adv. Difference Equ. — 2016. — 2016:87. — 18 p. — DOI 10.1186/s13662-016-0817-3
22. Чудинов, К. М., Малыгина, В. В. Об осцилляции линейных дифференциальных уравнений с несколькими запаздываниями // Вестник Пермск. ун-та. Математика. Механика. Информатика. — 2017. — Вып. 4(39). — С. 11-18.
Получена 15.05.2018
