Признаки устойчивости неавтономного разностного уравнения с ограниченными запаздываниями Текст научной статьи по специальности «Математика»

Krupennikov Evgenii Aleksandrovich, Ural Federal University named after the first President of Russia B.N. Yeltsin, Ekaterinburg, the Russian Federation, Post-graduate Student, e-mail: krupennikov@imm.uran.ru

УДК 517.929

ПРИЗНАКИ УСТОЙЧИВОСТИ неавтономного разностного

УРАВНЕНИЯ С ОГРАНИЧЕННЫМИ ЗАПАЗДЫВАНИЯМИ

© А.Ю. Куликов

Ключевые слова: разностные уравнения; устойчивость; признаки устойчивости; функция Коши.

Для разностного уравнения с ограниченными запаздываниями получены новые эффективные достаточные признаки устойчивости, выраженные в терминах оценок его функции Коши.

Обозначим N0 = N и {0} , = {п € N : п ^ т} , А = {(п, т) € N2 : п ^ т}, М+ = [0, то) , [п1, п2] = {п € ^ : щ ^ п ^ п2} , если щ > п2 , то [п1, п2] = 0 .

Настоящая работа посвящена исследованию устойчивости разностного уравнения вида

N

х(п + 1) = ах(п) — ^ Ък(п)х(п — Нк(п)), п € Nm, (1)

к=1

где 0 < а < 1, Ък : N0 ^ М+ , Нк : N0 ^ N0 .

N

Положим Ъ(п) = ^ Ък(п) при п € N0 , Ъ(п) = 0 при п € N0 , Н(п) = тах Нк(п) .

к=1 ке[1^]

Обозначим Н = вир Н(п) и потребуем выполнения условия 0 < Н < то .

гаеНо

Функцию х будем доопределять начальной функцией £ : {п € п ^ т} ^ М, а решением уравнения (1) будем называть функцию, х : Nm ^ М, удовлетворяющую ему при всех п € Nm .

Отказ от постоянства параметров уравнения практически исключает возможность получить необходимые и достаточные признаки устойчивости и делает неприменимым хорошо разработанный аппарат исследования устойчивости автономных уравнений, основанный на опредлении расположения корней соответствующего уравнению характеристического полинома. Поэтому работы, посвященные исследованию устойчивости неавтономных разностных уравнений, опираются на принципиально иные подходы. В частности, в последние десятилетия многие авторы стали рассматривать разностное уравнение как аналог функционально-дифференциального уравнения (ФДУ) с сосредоточенными запаздываниями и применять для его изучения идеи и методы, разработанные в интенсивно развивающейся теории устойчивости ФДУ.

В работах [1-3] для разностного уравнения с запаздываниями были получены аналоги известных в теории ФДУ неулучшаемых достаточных признаков устойчивости — так называемых « 3/2 -теорем» [4, 5]. Дальнейшие исследования показали, что разностные уравнения проявляют свою «дискретную природу» и константа 3/2 в признаках устойчивости

может быть увеличена, причем это увеличение зависит от максимальной величины запаздывания Н [6, 7].

п

Утверждение!. Пусть а = 1 и вир ^ Ь(г) ^ 2 + оНто • Тогда уравнение

(1) равномерно устойчиво•

2 1 2Н+2

пеНо ¿=п-^(п)

Утверждение 2. Пусть а = 1, ^ Ь(п) = то и Нш ^ Ь(г) < | + 2Я1+2 •

п=0 г=п-^(п)

Тогда уравнение (1) асимптотически устойчиво•

Приведенные признаки устойчивости являются точными: в утверждении 1 константу

3 1

2 + 2Я+2 нельзя увеличить ни на какую, сколь угодно малую величину, а в утверждении 2 строгое неравенство нельзя заменить нестрогим [8]. Целью настоящей работы является обобщение обоих результатов на случай 0 < а < 1.

Понятно, что в рассматриваемом нами случае уравнение (1) можно переписать в виде

N

х(п + 1) = х(п) — ^ (п)х(п — (п)), п £ М0, й=0

где Ь0(п) = 1 — а, Л,0(п) = 0 и, применив утверждения 1 и 2, сразу получить эффективные признаки устойчивости. Например, пользуясь признаком 2, получаем, что достаточным для асимптотической устойчивости уравнения (1) является выполнение условия

_ п

Нш V Ь(г) < 2 + а + 2Н+2. Однако, в признаках 1 и 2 все запаздывания уравне-

п^Ж ■ \ 2 2Н+2

г=п-ге(п)

ния подчинены общей оценке ^^(п) ^ Н, п £ N , к £ [0, N1 . Таким образом, условие Ло(п) = 0 < Н никак не использовано.

1. Основные результаты

Функция К : А ^ М, которая при каждом фиксированном т £ N0 является решением начальной задачи

N

К(п + 1, т) = аК(п, т) — ^ &&(п)К(п — ^^(п), т), п ^ т,

й=0

К(т, т) = 1, К(п, т) = 0, п < т,

называется функцией Коши [9, 10] уравнения (1). Она является основным объектом исследования при изучении его асимптотических свойств. В работе [11] показано, что при

п

выполнении условия вир ^ Ь(г) < то признаки устойчивости уравнения (1) можно

пеНо г=п-Ь,(п)

выражать в терминах оценок функции Коши.

п

Положим V = вир ^ Ь(г). Построим многочлены Р,(а) , j £ [0,Н + 1] по правилу:

пеНо г=п-Н

Р0(а) = 0, Р1(а) = 1, Р,+1(а) = 2Р, (а) — аР,-1(а). Приведем несколько первых таких многочленов: Р2(а) = 2 , Р3(а) = 4 — а, Р4(а) = 8 — 4а, Р5(а) = 16 — 12а + а2 .

Замечание! Многочлены Рп могут быть выражены через многочлены Чебышева:

„ / \ ТТ, _1/2л п/2 (1 + а)п+1 — (1 — )п+1

Рп+1(а) = ип(а 1/2)ап/2 = ^---7 „ ^^ -"-, п £ N0,

2 1 — а

где ип — многочлены Чебышева второго рода. Введем функцию Ф , положив

т. т • (1 н+1 а2Н+2 - (а) \

Ф(а, Н) = шт — + ан+1---—т^т^

1 ' ; ге[0,н Д а* 2Д+1 (а)

Очевидно, что при всех а € (0,1) и при любых Н ^ 1 имеем Ф(а, Н) > 1 + а + 2Я1+2.

Теорема 1. Пусть V ^ Ф(а, Н) . Тогда найдется М > 0 такое, что при всех (п,т) € А выполнена оценка |К(п, т)| ^ М .

Теорема 2. Пусть V < Ф(а, Н) . Тогда найдутся М, 7 > 0 такие, что при всех (п,т) € А выполнена оценка |К(п, т)| ^ М ехр(—7(п — т)) .

На рисунке 1 слева изображены графики функций -1 + ая+1 — а 2р. , а справа

соответствующий им график функции Ф(а, Н) при Н = 7, а на рисунке 2 изображена область устойчивости в пространстве параметров а, V при Н = 7 на отрезке а € [0.5,1) .

Рис. 1. Построение области устойчивости уравнения при H = 7.

Рис. 2. Область устойчивости уравнения при H = 7.

Заметим, что при любом H имеем lim Ф(а, H) = 3 + 2H+2 > т. е. можно сказать, что в пределе при а ^ 1 теоремы 1 и 2 переходят в утверждения, очень близкие к утверждениям 1 и 2. Однако, выполнение условий теоремы 1 обеспечивает экспоненциальную

оценку функции Коши уравнения (1), в то время как выполнение условий утверждения 2 гарантирует лишь асимптотическую устойчивость этого уравнения.

2. Доказательство теорем

2.1. Вспомогательные многочлены Р и Q

Построим многочлены Qj(а) , ] € [0, Н] по правилу: Q0(a) = 1, Q1(a) = 1, Qj+l(a) = = 2Qj(а) - аQj-l(а).

Замечание2. Многочлены Qn могут быть выражены через многочлены Чебышева: Qn(a) = Г„(а-1/2)а"/2 = (1 + ^>" - ^>", п € N.

где Тп — многочлены Чебышева первого рода.

Л е м м а 1. При всех п € N имеет место равенство

Рп+1(а) = Qn(a)+ Рга(а). (2)

Доказательство. Докажем утверждение леммы индукцией по п € N. При п = 0 имеем Р^а) = 1 = Q0(a) + Р0(а) и при п = 1 имеем Р2(а) = 2 = Q1(a) + Р1(а). Предположим, что (2) выполнено при т = п — 1 и при т = п. Тогда

Рп+2(а) = 2Рга+1(а) — аРп(а) = 2(Рга(а) + Qra (а)) — а(Рп—1 (а) + Qn_l(a)) = Рп+1 + Qn+l.

Лемма доказана.

Л е м м а 2. При всех п € N имеет место равенство

п— 1

^ ап—^¿(а) + 2Qn(a) = Рп+1(а). (3)

¿=1

Доказательство. Докажем лемму индукцией по п € N . При п =1 равенство (3) выполнено: 2Ql(a) = 2 = Р2(а). Пусть доказываемое равенство имеет место при некотором п € N . Тогда, в силу леммы 1 имеем

п /п—1 \

^ ап+1—^¿(а) + 2Qn+l(a) = а ^ ап—^¿(а) + 2Qn(a) + 2Qn+l(a) — aQn(a) =

¿=1 \г=1 )

= аРп+1(а) + Qn+2(a) = 2Рп+2(а) — Рп+з(а) + Qn+2(a) = Рп+2(а).

Лемма доказана.

Л е м м а 3. При всех п € N, п ^ 2 , к € [1,п — 1] имеет место равенство

к— 1 п

^ак—^¿(а) + 2Qk(а) + ^ Qi(a) = Рп+1(а). (4)

¿=1 ¿=к+1

Доказательство. Применим индукцию по п € N . При п = 2 , к = 1 равенство (4) выполнено: 2Q1(a) + Q2(a) = 4 — а = Р3(а) . Пусть доказываемое равенство имеет место при некотором п € N , п ^ 2 и всех к € [1, п — 1] . Тогда при всех к € [1, п] , с учетом (2) и (3), имеем

к—1 п+1

^ак—^¿(а) + 2Qk(а) + ^ Qi(a) = Рп+1(а) + Qn+l(a) = Рп+2(а).

¿=1 ¿=к+1

Лемма доказана.

Л е м м а 4. При всех п € N имеет место равенство

£ ап—гдг(а)Рг(а) = Рп(а)рп+1(а). (5)

г=1

Доказательство. Докажем лемму индукцией по п € N. При п = 1 равенство (5) выполнено: О (а)Р1(а) = 1 = Р1(а)Р2(а)/2 . Предположим, что (5) выполнено при некотором п € N. Тогда, используя (2), имеем

п+1 п

^>п+1—гдг(а)Рг(а) = а^] ап—гдг(а)Рг(а) + Рп+1(а)Оп+1(а) =

г=1 г=1

_ Рп+1(а)(аРп(а) + 2Рп+2(а) — 2Рп+1 (а)) = Рп+1(а)РП+2(а)

= 2 =2 '

Лемма доказана.

2.2. Функция Т(а, Н, V)

Пусть а, V, Н фиксированы, п € [0, Н] , р = (р1 ,р2,...,рп) € Мп . Введем функции СпУ'Н : Мп ^ М по правилу

(р) = Сп(р) = ап+Н+1 — anV — ап+^ аН—гр* + ^ ап—гр* ^ р,.

г=1 г=1 ,=г

Л е м м а 5. Имеет место оценка

Г (р) > ап+Н+1 апТГ а2Н+2Рп(а) (б)

Гп(р) > а — aV — 2Рп+1(а) • (6)

Доказательство. При п = 0 оценка очевидна. При п > 0 функция Гп есть положительно определенная квадратичная форма, имеющая во всем Мп единственную точку минимума р* = (р*, ...рп) , координаты которой удовлетворяют системе уравнений

к- 1 п

ак—грг + 2рк + Рг = аН+1, к € [1, п].

г=1 г=к+1

В силу лемм 2 и 3 решение этой системы имеет вид р* = -р +1(")а) , ^ € [1,п] . Заметив, что в силу леммы 3 имеет место равенство

п п г—1

(а) = 2^1 (а) + ^ О, (а) — 2О (а) — ^ О, (а) = Рп+1(а) — Д(а) ,=г ,=2 ,=2

и используя лемму 4, найдем значение Гп(р*) :

аЯ +п+2 £ аЯ-гдг(а) а2Я+2 £ ап—£ д(а)

Г (р*) — П™+Я+1 пгаТ/ _—__I__—__

Г(Р ) — а - - Рп+1(а) + Р„2+1(а)

1 £ ага-гдг(а)(Р„+1(а) - Д(а)Л

а2Я+2

— апТ — а

РП+1(а)

Х>п—г & (а)

г=1

Рп+1(а)

V /

_ ^п+я+1 а2Я+2Рп(а)

— а — а т —

2Рп+1(а)

Лемма доказана.

Введем функцию Т(а, Н, Т) , положив

Т(а,Н,Т) —шах/а, шах (агТ - аг+я+1 + 1 ; \ ге[0,я]\ 2Рг+1(а) /

Л е м м а 6. При всех Н* € [0, Н] и п € [0, Н*] выполнено неравенство

Г'я*'У(р) > -Т(а, Н, Т). (7)

Доказательство. Очевидно, что при всех п € N0 имеем 1<Са) < 1 ' Поэтому при всех г € [0, Н*] выполнено неравенство

Г!а,Я*,У/\ ^ „п+Я*+1 „пт/ а2я +2рп(а) ^ „+Я+1 пт/ а2Я+2Рп(а)

Г (Р) ^ а - аТ - 2Р„+1(а) ^ а -аТ - 2Р„+1(а) ,

т. е. ГП'Я 'У (р) ^ ГП'Я'У (р) . Отсюда, по определению функции Т с учетом леммы 5 получаем требуемую оценку. Лемма доказана.

2.3. Поведение решения после смены знака

Пусть в некоторой точке решение уравнения (1) х меняет знак и далее на некотором отрезке сохраняет знак. Мы хотим оценить сверху максимум модуля значений х на этом отрезке. Очевидно, достаточно изучить поведение функции х на отрезке, длина которого равна величине максимального запаздывания, т. к. далее, в случае сохранения знака, она убывает по модулю. Заметим, что длина отрезка, на котором функция х сохраняет знак, может оказаться и меньшей, однако, без ограничения общности, будем считать ее равной Н. Также можно считать, что решение изменило знак с плюса на минус.

Итак, ниже в этом пункте всегда считаем, что в некоторой точке по имеем х(по) > 0 и х(п) ^ 0 при всех п € [п0 + 1,п0+Н] . Кроме того, пусть х(п) ^ 1 при всех п € [п0—2Н, п0] .

Грубую оценку значений решения можно получить немедленно.

Л е м м а 7. При любом п € [1, Н + 1] выполнено неравенство

п— 1

ш1п{х(^) : ] € [п0 + 1,п0 + п]} ^ ах(п0) — ^ Ь(п0 + г). (8)

г=0

Доказательство. Докажем неравенство (8) индукцией по п € [1, Н] . При п = 1

N

неравенство выполнено: ж(по + 1) = аж(по) — ^ Ьк(по)ж(по — Л,к(по)) > аж(по) — Ь(по). Пусть

к=1

(8) выполнено при некотором п € [1, Н] , учитывая неположительность ж(по + п) , имеем

ж(по + п + 1) = аж(по + п) — ^ Ьк(по + п)ж(по + п — Л,к(по + п)) >

к=1

п

> ж(по + п) — Ь(по + п) > аж(по) — ^ Ь(по + г).

г=о

Следовательно

п

шт{ж(,7) : ] € [по + 1, по + п + 1]} > аж(по) — ^ Ь(по + г).

г=о

Лемма доказана.

Поведение решения на отрезке [по + 1,^(по) + 1] может зависеть от значений решения в точках отрезка [г>(по),по] . Введем характеристику поведения решения на этом отрезке следующим образом.

Зададим на отрезке [—Н1, 0] вещественную функцию г :

¿(0) = ж(по),

(¿(г + 1) ] ¿(¿) = шах<-,ж(по + г) >, г € [—1, — Н].

Заметим, что при всех п € [0, Н — 1] выполнено неравенство

г(п — Н) > аг(п — Н + 1). (9)

Кроме того, имеем ¿(п) > ж(по + п) и, более того, ¿(п) > шах{ж(^) : ] € [по + п, по]} при всех п € [—Н, 0] . Отсюда получаем следующую оценку

г(п — Н) > шах{ж(;) : ] € [по + п — Н,по]}, п € [0,Н]. (10)

Положим ап = аг(п) — ¿(п + 1), п € [—Н, —1].

Л е м м а 8. При всех п € [—Н, —1] выполнено неравенство

ап ^ Ь(по + п). (11)

Доказательство. Если ап = 0, то неравенство выполнено. Если же ап > 0, то шах {¿(п + 1), аж(по + п)} = а^(п) > ¿(п + 1) . Следовательно, ¿(п) = ж(по + п) . Учитывая, что ¿(п + 1) > ж(по + п + 1) имеем

N

ап ^ аж(по + п) — ж(по + п + 1) = ^ Ьк(по + п)ж(по + п — Л-к(по + п)) ^ Ь(по + п).

к=1

Лемма доказана.

Функция £ монотонно убывает на отрезке [—Н, 0] . Возможны два принципиально различных случая.

Случай 1, когда ¿(—Н) ^ 1 .В этом случае положим Ь = 0, 5 = •

Случай 2, когда ¿(—Н) > 1 .В этом случае найдем С : Н > С ^ 0 такое, что ¿(—Н) ^ 1

и положим Ь = Н — С , 5 = 1 • ь

Обозначим во = ^ Ь(по + г), а при всех п € [Ь + 1, Н] положим вп = Ь(по + п) •

г=0

Зададим на отрезке [Ь + 1, Н + 1] вещественную функцию у* следующим образом. Положим у*(Ь + 1) = аг(0) — 5в0 • Затем при п € [Ь + 1, Н] положим

у* (п + 1) = ау*(п) — вп^(п — Н).

Л е м м а 9. Имеет место оценки:

• шт{ж(,;) : j € [по + 1,по + Ь + 1]} ^ у*(Ь + 1);

• ж(по + п) ^ у* (п) при всех п € [Ь + 1, Н + 1] .

Доказательство. Докажем вторую оценку индукцией по п € [Ь + 1, Н ] . Базой индукции является первая оценка, которая очевидно вытекает из леммы 7. Пусть ж(по + п) ^ ^ у*(п) при некотором п € [Ь + 1,Н] .В силу неравенства (10) имеем ж(по + п — (по + п)) ^ г(п — Н) при всех к € [1, N] . Следовательно,

N

ж(по + п + 1) = аж(по + п) — ^ ок (по + п)ж(

к=1

^ аж(по + п) — Ь(по + п)г(п — Н) = у*(п + 1).

?(по + п + 1) = аж(по + п) — ^ Ьк(по + п)ж(по + п — ^(по + п)) ^

Лемма доказана.

п _ 1

Обозначим V = шах{ ^ Ь(г) : п € [по, по + Н]} . Положим ао = V — ^ а», а при

г=п-Я г=_я+ь

всех п € [Ь + 1, Н] положим ап = ап-я_1 . Имеем также

-1 я

ао = V — «¿+я+1 = V — ^ а,. (12)

г=-Я+Ь г=Ь+1

В силу (11) имеем

ь ь -1 -1

во = ^ Ь(по + г) Ь(по + г) — ^ а, < V — ^ а,.

г=о г=-Я+Ь г=-Я+Ь г=-Я+Ь

Следовательно,

ао — во ^ 0. (13)

Кроме того, при любом п € [Ь + 1, Н] имеем

я -1 -1 -1

^2 а, = а,+я+1 = ^ а, ^ ^ Ь(по + п).

г=п+1 ,=п-я ,=п-я ,=п-я

Учитывая (12), при любом п € [Ь + 1,Н] получаем оценку

я п п я

^ а, + во + ^ вп < ^ Ь(по + п) < V = ао + ^ а,, г=п+1 г=Ь+1 ,=п-я г=Ь+1

следовательно,

п

«о - во + (а - ^ °> п € [Ь + 1,Я + 1]. (14)

г=Ь+1

Зададим на отрезке [Ь + 1, Н + 1] вещественную функцию у следующим образом. Положим у(Ь + 1) = аг(0) — ¿«о . Затем, при п € [Ь + 1, Н] положим

у(п + 1) = ау(п) — «п-г(п — Н).

Л е м м а 10. Имеет место оценки:

• шт{ж(,?) : ; € [по + 1, по + Ь + 1]} ^ у(Ь + 1);

• х(по + п) ^ у(п) при всех п € [Ь + 1, Н + 1] .

Доказательство. Учитывая предыдущую лемму, достаточно доказать, что всех п € [Ь + 1, Н + 1] выполнено неравенство у*(п) ^ у(п). В силу (13) сразу имеем

у* (Ь + 1) — у(Ь + 1) = ¿(«о — во) ^

Заметим, что при Ь = 0 имеем ¿а = а^(—Н) ^ ¿(—Н + 1), а при Ь > 0 имеем ¿а = = а > ¿(Ь — Н + 1). Таким образом, каково бы ни было Ь € [0, Н] имеем

а(у*(Ь + 1) — у(Ь + 1)) ^ ¿(Ь — Н + 1)(ао — во). (15)

Докажем индукцией по п € [Ь + 2, Н] , что при всех п € [Ь + 2, Н + 1] выполнена оценка

/ Ь+п-1 \

у*(Ь + п) — у(Ь + п) ^ ао — во + ^ («г — в0 ^(Ь — Н + п — 1), (16)

V г=Ь+1 /

которая, в силу (14) обеспечивает утверждение леммы. При п = Ь + 2 имеем

у*(Ь + 2) — у(Ь + 2) = а(у* (Ь + 1) — у(Ь + 1)) + («ь+1 — вь+1>(Ь + 1 — Н).

Учитывая неравенство (15), получаем у*(Ь+2) — у(Ь+2) ^ ,г(Ь—Н+1)(ао—во+а1 —в1) ^ 0-Предположив, что неравенство (16) выполнено при некотором п € [Ь + 2, Н] и учитывая неравенство (9), получаем

у*(Ь + п + 1) — у(Ь + п + 1) = а(у*(Ь + п) — у(Ь + п)) — (а^+п — вь+п)-г(Ь — Н + п) ^

/ Ь+п-1 \

^ а «о — во + ^ («г — в1 Л <г(Ь — Н + п — 1) — («ь+п — вь+п)-г(Ь — Н + п) ^ V г=Ь+1 /

п ь+п \

^ «о — во + ^ («г — в1) ^(Ь — Н + п). V г=Ь+1 /

Лемма доказана.

Теперь уже можно доказать основной результат данного пункта.

Л е м м а 11. Пусть по € Мо , по ^ т + 2Н и функция х удовлетворяет следующим условиям:

• х(п) ^ 1 при п € [по — 2Н, по] ;

• х(по) > 0 ;

• ж(п) ^ 0 при п € [п0 + 1, Пх] .

Тогда при всех п € [п0 + 1,пх + 1] выполнено неравенство ж(п) ^ —Т(а, V, Н).

Доказательство. Без ограничения общности считаем, что п = Н .То есть надо доказать, что при всех п € [1, Н + 1] выполнено неравенство ж(п0 + п) ^ —Т(а, V, Н).

Учитывая предыдущую лемму, достаточно доказать, что всех п € [1, Н — Ь + 1] выполнено неравенство у(Ь + п) ^ —Т(а, V, Н). Положим 7 = ¿(—Н + Ь) . Вычисляя последовательно ¿(Ь — Н + 1), ¿(Ь — Н + 2),..., ¿(0) , получаем

п+Я

¿(п) = ап+Я-ь7 — Е ап+Я—*а*, п € [Ь — Н, 0].

г=Ь+1

В дальнейшем считаем, что п € [1, Н—Ь+1] . Вычисляя последовательно у(Ь+1) , у(Ь+2) , ... , у(Н + 1) , находим

ЯЯ

у(Ь + п)= 7аЯ—Ь+п — 5ап—V + 5ап—1 Е а* — ап Е аЯ—*а*—

г=Ь+1 г=Ь+1

Ь+п— 1 п—1 п—1

— 7ап—1 Е а* + Е ап—1—*аь+*Е а^-.

г=Ь+1 г=1

п—1 п—1

Положив р* = , р = (рьр2, •••,рп—1), 5 = —5ап—^ + ^ ап—1—гр* ^ р.?, имеем

г=1 ^'=г

Я—Ь Я—Ь п—1

у(Ь + п) = 5 + 7аЯ—Ь+п + 5ап—1 Е р* — ап Е аЯ—Ь—*р* — 7ап—1Е р*.

г=1 г=1 г=1

Рассмотрим случай Ь > 0 . Тогда 5 = 1. При 7 = а , положив Н* = Н — Ь + 1, получаем

Я * —1 Я*—1 п— 1

1 Е р* — ап" 1 Е аЯ*—*р* — ап Ер* =

г=1 г=1 г=1

Я*—1 Я* —1 п— 1

ап—*р* + ап—1 Ер* — ап—1 Е аЯ *—*р* — ап Е р*

г=1 г=1 г=1

* —1 Я*—1 /п—1 п— 1

= Сп—1 (р)+ а Е'

г=1 /Я*

= 1*'У(р) + ап—11 ИТ р* — Е аЯ—*р* ) + ап—1(1 — а) ( Ер* — Е аЯ—*р* ) •

г=п / \г=1 г=1

Два последних слагаемых в приведенном представлении неотрицательны, поэтому в силу леммы 6 имеем

у(Ь + п) ^ саЯУ(р) ^ —Т(а, Н, V).

При 7 = 1, положив Н* = Н — Ь , имеем

Я* Я*

у(Ь + п) = 5 + аЯ *+п + ап—1 Е р* — ап Е аЯ *—*р* =

г=п г=1

/ Я* Я* \

= (р) + ап—1 Ер* — Е аЯ*—*р* .

*

Второе слагаемое в данной формуле неотрицательно, поэтому снова

у(Ь + п) ^ (Р) ^ —Т(а,Н,У).

Так как у(Ь + п) линейно зависит от 7, то и при всех 7 € (а, 1) получаем оценку у(Ь + п) ^ —Т(а, Н, V) .

Рассмотрим теперь случай, когда Ь = 0 . Учитывая, что 5 = я(—Н) = 7 , получаем

н н п— 1 п— 1

у(п) = ап—1(ан+17 — 7V + 7 £>) — ап ^ ан—+ ^ ап—1—р.

г=п г=1 г=1

Правая часть неравенства зависит от 7 линейно. При 7 = 0 имеем

н

у(п) ^ — ап ^ ан—^ —а ^ —Т(а, V, Н).

г=1

При 7 = 1, получаем

п— 1

у(п) ^ 5 + ап+н — ап ^ ан—= С^ (р) ^ —Т(а, Н, V).

г=1

Значит и при любом 7 € (0,1] выполнено неравенство у(п) ^ —Т(а, V, Н) , п € [1, Н + 1] . Лемма доказана.

2.4. Завершение доказательства теорем

Л е м м а 12. Пусть по € Мо , по ^ т + 2Н и функция х удовлетворяет следующим условиям:

• |х(п)| ^ М при п € [по — 2Н, по] ;

• х(по)х(по + 1) < 0 .

Тогда х(по + 1) ^ МТ(а, Н, V) .

Доказательство. Предположим, что утверждение леммы неверно, т. е. |х(по + 1)| > МТ (а, Н, V).

Положим 5 = —М, если х(по + 1) > 0, Б = М, если х(по + 1) < 0. Рассмотрим для уравнения (1) начальную задачу с начальной функцией {/5 .

Возьмем п1 = по + 1 .В силу линейности уравнения (1) имеем:

• х*(п) ^ 1 при п € [по — 2Н, по] ;

• х*(по) > 0 ;

• х*(п) < 0 при п € [по + 1,п1] .

Однако, х*(п1) < —Т(а, Н, V) , что противоречит лемме 11. Лемма доказана.

Л е м м а 13. Пусть Т(а, Н, V) ^ 1, п* € Мо , п* ^ т+3Н и решение х удовлетворяет следующим условиям:

• |х(п)| ^ 1 при п € [п* — 3Н,п* — 1];

• |х(п*)| < Т(а, Н, V).

Тогда при любом п ^ п* справедливо неравенство |х(п)| ^ Т(а, Н, V) .

Доказательство. Допустим, что лемма неверна. Тогда существует точка п1 > п* такая, что |х(п1)| > Т(а, Н, V) , причем |х(п)| ^ Т(а, Н, V) при п € [п*,п1 — 1] .

Без ограничения общности положим, что х(п1) < —Т(а, Н, V) . Действительно, если х(п1) > Т(а, Н, V) , то можно рассмотреть для уравнения (1) начальную задачу с начальной функцией — £ , решение которой обозначим х* . Функция х* удовлетворяет условиям доказываемой леммы, при этом, в силу линейности уравнения (1), имеем х*(п1) < —Т(а, Н, V) .

Поскольку х(п1) < —Т(а, Н, V) ^ х(п1 — 1) , в силу уравнения (1) имеем

N

Ьйх(п1 — 1 — Л-Й(щ — 1)) > 0.

й=о

Это возможно, только если х(п1 — 1—(п1 — 1)) > 0 , хотя бы при одном к € [0, N . При всех к € [0, Ж] , п € Мо выполнено оганичение (п) ^ Н, следовательно, п1 — 1 — (п1 — 1) € [п1 — Н — 1, п1 — 1] .

Таким образом, найдется хотя бы одна точка п € [п1 — Н — 1, п1 — 1] такая, что х(п) > 0 . Пользуясь этим, выберем точку по € [п1 — Н, щ] такую, что:

• х(по) > 0 ;

• х(п) ^ 0 при всех п € [по + 1,п1] .

Заметим, что х(п) ^ 1 при всех п € [п* — 3Н, п1] , а по — 2Н ^ п1 — 3Н ^ п* — 3Н, следовательно:

• х(п) ^ 1 при п € [по — 2Н, по] .

Итак, выполнены все условия леммы 11, следовательно х(п1) ^ —Т(а, Н, V) . Полученное противоречие доказывает лемму. Лемма доказана.

Л е м м а 14. Пусть Т(а, Н, V) ^ 1, п* € Мо , п* ^ т+3Н и функция х удовлетворяет следующим условиям:

• |х(п)| ^ М при п € [п* — 3Н, п* — 1] ;

• |х(п*)| < МТ(а, Н, V).

Тогда при любом п ^ п* справедливо неравенство |х(п)| ^ МТ (а, Н, V) .

Доказательство. Предположим, что утверждение леммы неверно, т. е. найдется точка п1 ^ п* такая, что |х(п1)| > МТ (а, Н, V).

Рассмотрим начальную задачу для уравнения (1) с начальной функцией £/М. В силу линейности уравнения (1), для ее решения х* имеем:

• при п € [п* — 3Н,п* — 1] выполнено неравенство |х*(п)| ^ 1;

• |х*(п*)| < Т(а, Н, V).

Однако, |х*(п1)| > Т(а, Н, V) , а это противоречит лемме 13. Лемма доказана.

Доказательство теоремы 1. Условие теоремы очевидно эквивалентно условию Т (а, Н, V) ^ 1. Зафиксируем произвольное т € Мо .В силу определения функции Коши получаем, что при всех п € выполнена оценка |К(п + 1, т)| ^ (а + V) тах |К(г, т)| .

г€[т,п]

Положим п* = т + 3Н. Зная, что К(т, т) = 1 и оценивая последовательно |К(т + 1,т)| , |К(т + 2,т)| ,..., |К(п*,т)| , получаем

тах |К(п*,т)| ^ (а + V)

г€[т,,п*]

При каждом фиксированном т € N0 функция Коши является решением начальной задачи для уравнения (1) с начальной функцией £ : £(т) = 1, £ (г) = 0 , г < т .

По условиям теоремы Т(а, Н, V) ^ 1. Положим М = (а + V)3Я/Т(а, Н, V) . При всех п € [п* — 3Н,п* — 1] имеем |К(п, т)| ^ М . Кроме того, |К(п*,т)| ^ МТ(а, Н, V) .

Следовательно, в силу леммы 14 при любом п ^ п* имеем |К (п, т)| ^ МТ (а, Н, V) .

Таким образом, при каждом фиксированном т € N имеем вир |К(п,т)| ^ М, а

пент

значит и вир |К(п, т)| ^ М . Теорема доказана.

(п,т)еАм

Доказательство теоремы 2. Условие теоремы очевидно эквивалентно

условию Т(а, Н, V) < 1. Зафиксируем произвольное т € N . Обозначим Т(а, Н, V) =

= Ь < 1 и выберем такое I € N, что I ^ 1=гг + 4Н. Положим М0 = вир К |(п, т)| .В

(п,т)еА^

силу теоремы 1 имеем М0 < то .

Докажем, что при всех п ^ т + 1г, г € N0 для функции Коши справедлива оценка

|К(п, т)| < М0Ь*. (17)

Доказательство проведем методом математической индукции. При г = 0 неравенство (17) выполнено. Покажем, что если оно выполнено при п ^ т + 1г, то при п ^ т + 1(г + 1) справедлива оценка |К(п, т)| ^ М0Ьг+1.

Достаточно убедиться, что последнее неравенство выполнено хотя бы в одной точке п0 € [т + 1г + 3Н, т + 1(г + 1)] . Тогда, в силу леммы 14, оно будет выполнено при всех п ^ п0 , а значит и при всех п ^ т + 1(г + 1).

Предположим противное, то есть допустим, что |К(п, т)| > М0Ьг+1 при всех п € [т + 1г + 3Н, т + 1(г + 1)] . Тогда, чтобы избежать противоречия с леммой 12, необходимо при всех п € [т + 1г + 3Н, т + 1(г + 1)] потребовать выполнения неравенства К(п, т)К(п — 1, т) ^ 0 . При этом возможны два случая:

• К(п, т) > М0Ь*+1, п € [т + И + 3Н, т + 1(г + 1)] ;

• К(п, т) < —М0Ь*+1, п € [т + И + 3Н, т + 1(г + 1)] .

Пусть имеет место первый случай, второй рассматривается аналогично. Тогда, заметив, что К(п — (п),т) > М0Ьг+1 для всех п € [т + 1г + 4Н, т+1(г + 1) — 1] и для любого к € [0, Ж] , получаем противоречие:

К((т + 1(г + 1)), т) < М0Ь* — а(1 — 4Н)М0Ь*+1 <

< М0Ь* — аМ0Ь*+1 = М0Ь*+1 < К((т + 1(г + 1)), т). Ьа

Следовательно найдется точка п0 € [т + 1г + 3Н, т + 1(г + 1) — 1] , такая, что |К(п0, т)| ^ ^ М0Ь*+1 .

Итак, оценка (17) доказана. Покажем, что из нее следует нужная нам экспоненциальная оценка. Положим 7 = — 1п(Ь)/1 > 0, М = М0/Ь. Для любого п € Nm можно найти г такое, что п € [т + 1г, т + 1(г + 1) — 1] . Тогда из (17), учитывая что п — т < 1(г + 1) , получаем

|К(п, т)| ^ М0Ь* = Мехр(—7/(г + 1)) <Мехр(—7(п — т)). Теорема доказана.

3. О точности полученных признаков устойчивости

Рассмотрим частный случай уравнения (1)

ж(п + 1) = аж(п) — Ь(п)ж(п — Л,(п)), п € (18)

При достаточно малых а (гарантированно, при а < 0.86, а если, например, Н = 7, то при а < 0.926), имеем Ф(а, Н) = 1 + ан+1 , а при очень близких к 1 (например, если Н = 7 , то при а> 0.99 ), имеем Ф(а, Н) = "Н + ан+1 — ^р^Р^У . Покажем, что в этих двух случах константа Ф(а, Н) в полученных выше признаках устойчивости является точной. Возьмем произвольное е ^ 0 .

В первом случае зададим коэффициенты Ь(п) и запаздывания Л(п) на отрезке 0 ^ п ^ ^ Н следующим образом.

Л(п) = п, 0 ^ п ^ Н, Ь(п) = 0, 0 < п < Н — 1, Ь(Н) = Ф(а, Н) + е.

Далее положим Р = Н + 1 и продолжим коэффициенты и запаздывания на все множество Мо периодически: Л(п + ^Р) = Л(п) , Ь(п + ^Р) = Ь(п), j = 1, 2,....

Во втором случае зададим коэффициенты Ь(п) и запаздывания Л(п) на отрезке 0 ^ ^ п ^ 2Н следующим образом.

Л(п) = п, 0 ^ п ^ Н Л(п) = Н, Н + 1 ^ п ^ 2Н,

Ь(п) = ""Р^Г, 0 < п < Н — 1

н—1

Ь(Н) = Ф(а, Н) — £ Ь(г) + е,

Ь(п) = "^РО^^Н + 1 < п < 2Н.

Далее положим Р = 2Н + 1 и продолжим коэффициенты и запаздывания на все множество Мо периодически: Л(п + ^Р) = Л(п) , Ь(п + ^Р) = Ь(п) , j = 1, 2,....

В обоих случаях имеем х^') = (—1)7 (Т(а, Н, V) + ет) = (—1 — е™)-7. Таким образом, в обоих случаях при любом е > 0 для параметров уравнения (18) получаем V = Ф(а, Н) + е , а решение уравнения неограниченно возрастает, то есть в формулировке теоремы 1 константу Ф(а, Н) нельзя увеличить ни на какую, сколь угодо малую величину. При е = 0 для параметров уравнения (18) получаем V = Ф(а, Н) , а решение уравнения не стремится к нулю, то есть в формулировке теоремы 2 строгое неравенство нельзя заменить нестрогим.

ЛИТЕРАТУРА

1. Zhang B. G., Tian C. J., Wong P. J. Y. Global attractivity of difference equation with variable delay // Dynam. Contin. Discrete Impuls. Systems. 1999. №6. P. 307-317.

2. Gyori I., Hartung F. Stability in delay perturbed differential and difference equation // Fields Inst. Commun. 2001. №29. P. 181-194.

3. Куликов А.Ю., Малыгина В.В. Об устойчивости неавтономных разностных уравнений с несколькими запаздываниями // Известия вузов. Математика. 2008. №3. С. 18-26.

4. Мышкис А.Д. Линейные дифференциальные уравнения с запаздывающим аргументом. М.: Наука, 1972. 352 с.

5. Малыгина В.В. Некоторые признаки устойчивости функционально-дифференциальных уравнений, разрешенных относительно производной // Известия вузов. Математика. 1992. №7. С. 46-53.

6. Yu J.S. Asymptotic stability for a linear difference equation with variable delay // Comp. Math. Appl. 1998. V. 36. №10-12. P. 203-210.

7. Куликов А.Ю. Устойчивость линейного неавтономного разностного уравнения с ограниченными запаздываниями // Известия вузов. Математика. 2010. №11. С. 22-30.

8. Malygina V. V., Kulikov A. Y. On precision of constants in some theorems on stability of difference equations // Funct. Diff. Equat. 2008. V. 15. №3-4. P. 239-248.

9. Elaydi S.N. Periodicity and stability of linear Volterra difference systems // J. Math. Anal. Appl. 1994. №181. P. 483-492.

10. Berezansky L., Braverman E. On existence of positive solutions for linear difference equations wits several delays // Adv. Dynam. Systems Appl. 2006. V. 1. №1. P. 29-47.

11. Куликов А.Ю., Малыгина В.В. Устойчивость линейного разностного уравнения и оценки его фундаментального решения // Известия вузов. Математика. 2011. №12. С. 30—41.

БЛАГОДАРНОСТИ: Работа поддержана Российским Фондом Фундаментальных Исследований (проект №13-01-96050).

Поступила в редакцию 20 мая 2015 г.

Kulikov A.Yu. STABILITY CONDITIONS OF NONAUTONOMOUS DIFFERENCE EQUATION WITH BOUNDED DELAYS

For the difference equation with bounded delays, new effective sufficient stability conditions expressed in terms of its Cauchy function are obtained.

Key words: difference equations; stability; stability conditions; the Cauchy function.

Куликов Андрей Юрьевич, Пермский государственный национальный исследовательский университет, Пермь, Российская Федерация, кандидат физико-математических наук, старший преподаватель кафедры информационных систем и математических методов в экономике, e-mail: stphn@mail.ru.

Kulikov Andrey Yurevich, Perm State National Research University, Perm, the Russian Federation, Candidate of Physics and Mathematics, Senior Lecturer of the Department of Information Systems and Mathematical Methods in Economics, e-mail: stphn@mail.ru

УДК 519.853.3+517.983.54

ОБ УСТОЙЧИВОМ ПРИНЦИПЕ ЛАГРАНЖА В ИТЕРАЦИОННОЙ ФОРМЕ В ВЫПУКЛОМ ПРОГРАММИРОВАНИИ И ЕГО ПРИМЕНЕНИИ ПРИ РЕШЕНИИ НЕУСТОЙЧИВЫХ ОПЕРАТОРНЫХ УРАВНЕНИЙ

ПЕРВОГО РОДА

© Ф.А. Кутерин

Ключевые слова: принцип Лагранжа; неустойчивость; секвенциальная оптимизация; двойственная регуляризация; итерационный алгоритм.

Обсуждается устойчивый принцип Лагранжа в итерационной форме в задаче выпуклого программирования и его приложение к решению неустойчивых операторных уравнений 1-рода. Приводятся результаты непосредственного численного решения на его основе классической неустойчивой задачи решения интегрального уравнения Фредгольма 1-го рода.

Введение. Принцип Лагранжа представляет собою классическое условие оптимальности и является центральным результатом оптимизационной теории в целом и, в частности, теории выпуклого программирования. Его формулировка и доказательство предполагают, прежде всего, что оптимизационная задача рассматривается в идеальной ситуации точного задания исходных данных. Вместе с тем, в громадном числе практически важных задач