Условия конвергенции некоторых классов нелинейных разностных систем

ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА

Сер. 10. 2011. Вып. 2

УДК 517.962.2 Динь Хуен Нгуен

УСЛОВИЯ КОНВЕРГЕНЦИИ НЕКОТОРЫХ КЛАССОВ НЕЛИНЕЙНЫХ РАЗНОСТНЫХ СИСТЕМ

Введение. Уравнения в конечных разностях широко применяются при описании динамических систем, состояния которых известны (измеряются) в дискретные моменты времени [1, 2]. Разностные уравнения являются основным математическим аппаратом при изучении нелинейных импульсных систем [1]. Системы разностных уравнений также используются для описания динамики численности биологических популяций. Хорошо известны дискретные модели, представляющие собой разностный аналог уравнений Лотки-Вольтерра [3, 4].

Одна из важных задач качественной теории дифференциальных и разностных уравнений - определение условий существования и устойчивости вынужденных почти периодических колебаний, возникающих в нелинейных системах под действием внешних возмущений. С практической точки зрения, особый интерес представляет ситуация, когда указанные колебания режимы асимптотически устойчивы в целом. Такое явление называют конвергенцией [5, 6].

В. И. Зубовым была доказана теорема об условиях почти периодической конвергенции для систем дифференциальных уравнений [6]. Эти условия формулировались в терминах существования функций Ляпунова, обладающих определенными свойствами. С помощью данной теоремы в [6-9] была доказана конвергентность некоторых классов нелинейных систем. В то же время следует заметить, что до сих пор не существует общих конструктивных способов построения функций Ляпунова, удовлетворяющих требованиям теоремы Зубова. В работе Н. Н. Атаевой теорема В. И. Зубова распространена на системы разностных уравнений. Однако в ней не были указаны классы систем, для которых доказанная теорема позволяет получить условия конвер-гентности.

А. Ю. Александровым для некоторых типов систем дифференциальных уравнений был предложен способ построения функций Ляпунова, удовлетворяющих требованиям теоремы Зубова [7, 8]. В настоящей работе с помощью этого способа и дискретного аналога теоремы Зубова получены достаточные условия конвергенции соответствующих разностных систем.

1. Постановка задачи. В [7, 8] были найдены условия конвергентности для системы дифференциальных уравнений вида

Нгуен Динь Хуен — аспирант кафедры управления медико-биологическими системами факультета прикладной математики-процессов управления Санкт-Петербургского государственного университета. Научный руководитель: доктор физико-математических наук, проф. А. Ю. Александров. Количество опубликованных работ: 2. E-mail: dinhhuyenrus@gmail.com.

© Динь Хуен Нгуен, 2011

VI = ап/1(у1) + о^ЬЫ) + <Р1&), у2 = а21/1(у1) + а22/2(у2) + ¥2^)-

Здесь а8^ - постоянные коэффициенты; /j (у^) - непрерывные при у^ € (—го, +го) строго возрастающие функции, удовлетворяющие на любом конечном промежутке условию Липшица, причем /j (у^^ —го при у^ ^ —го, /j (у^^ +го при у^ ^ +го; (£) -

непрерывные при £ € (—го, +го) почти периодические функции; в,] = 1, 2. Не умаляя общности, можно считать, что / (0) =0, ] = 1, 2.

В качестве функции Ляпунова для уравнений (1) предлагалось выбирать квадратичную форму

У1

С ее помощью было показано [7, 8], что если а12а21 > 0, то при выполнении неравенств

ац < 0, а22 < 0, ё = аца22 — а12а21 > 0

система (1) обладает свойством конвергенции.

В настоящей работе рассмотрим соответствующую систему разностных уравнений

Х1(к + 1) = Х1(к) + Н (с1(к) + аи/1 (х1(к)) + аи/2 Х(к))),

Х2(к + 1) = Х2(к) + Н (с2(к) + а21 /1 (х1(к)) + 0,22/2 (х2(к))),

полученную при дискретизации системы (1). Здесь Н - положительный параметр (шаг дискретизации), к принимает значения 0, ±1, ±2,..., с^(к) - почти периодические функции (сг(к) = фг(кН)), I =1, 2.

Определим условия почти периодической конвергенции системы (4). Для решения поставленной задачи будем использовать дискретный аналог теоремы Зубова и предложенный в [7] способ построения функций Ляпунова.

Кроме того, распространим полученные для уравнений (4) результаты на более широкие классы систем. В частности, исследуем асимптотическиое поведение решений некоторых типов дискретных моделей популяционной динамики.

2. Достаточные условия конвергенции двумерных систем. В статье [10] было показано, что для доказательства конвергентности разностных систем на их правые части нужно накладывать дополнительные ограничения по сравнению с известными условиями конвергентности соответствующих систем дифференциальных уравнений. В качестве таких ограничений предлагалось использовать достаточную малость шага дискретизации Н, а также глобальное выполнение условия Липшица по фазовым переменным для функций, входящих в правые части разностных уравнений.

Поэтому далее будем считать, что функции (у^) на всей вещественной оси удовлетворяют условию Липшица, т. е. существует постоянная Ь > 0, для которой при любых у!, у'! € (—го, +^о) справедливы неравенства \/(у') — /(у")\ < Ьу — у"|, ] = 1, 2.

Теорема 1. Пусть выполнены неравенства (3) и а12а21 ^ 0. Тогда можно указать число Но > 0 такое, что при всех Н € (0, Н0) система (4) обладает свойством конвергенции.

Доказательство. Рассмотрим сначала случай, когда, а12 < 0, а21 < 0. Функцию Ляпунова выбираем в виде (2). Эта функция положительно определена. Вычислим ее приращение на решениях системы (4). Имеем

У = У_(Х (к + 1)) — V (X (к)) = а22а21 (х2(к + 1) — х2(к)) —

— 2а12а21 (Х1(к + 1)х2(к + 1) — х1(к)х2(к)) + ацаи (х2,(к + 1) — х^к)) .

Здесь X = (х1,х2)*.

При всех Х1(к), Х2(к) € (—го, +го) и к = 0, ±1,... справедлива оценка

У1 < (2На21й + Н2Ьа21(а11 + аи)й) 1х1(к)1 I/1(х1(к))1 +

+ (2На12й + Н2Ьа12(а22 + а21)й) 1х2(к)Ц/2(х2{к))1 +

+ (2Н1а21(а22 С1(к) — а 12 С2(к))1 + 2Н2 Ца21С1(к)1й) 1х1(к)1 +

+ (2Н1а12(ац С2(к) — а21 С1(к))1 + 2Н2 Ь1а12С2(к)1й) 1х2(к)1 +

+ Ь2({^/0,22а,2\С1(к) - у/а11а12С2(к)) + ^/а^а~21 (л/аиа22 - ^а,\20,2\) (сЦк) + с^(к)) .

Пусть

( —2 —2 Л

0 < к < ПШ1 < —------------—--------------- > .

[ Ь

Тогда существуют положительные постоянные Л1,Л2,Лз,Л4,Л5, при которых выполняется неравенство

АУ1 < —Л11х1(к)Ц/1(х1(к))1 —Л21х2 (к)Ц/2(х2(к))1 + ЛзХ (к)| + Л41х2(к)1 + Л5.

Используя свойства функций /1(у1) и /2(у2), получаем, что если число Я > 0 достаточно велико, то при х\(к)+х2 (к) > Я2 справедливо соотношение АУ1 < 0. Таким образом, функция У1 удовлетворяет требованиям дискретного аналога теоремы Йосидзавы [2, 5]. Значит, система (4) равномерно диссипативна.

Наряду с уравнениями (4) рассмотрим систему

г1(к +1) = г1(к) + Н(ацС1 (г1(к),хл(к)) + аиС2 (г2(к),Х2(к))),

г2(к +1) = г2(к) + Н(а21С1 (г1(к), Х1(к)) + а22С2 (г2(к), Х2(к))),

где Су (гу, х^) = / (гу + ху) — /у (ху), ] = 1, 2. Функцию Ляпунова для системы (6) выбираем в виде

У(х1, Х2) = а22а21г'2 — 2аиа21 гг + аца^г^

Получим

У = 2Ьа,21й\г1(к)11С1 (г1(к), Х1(к)) | + 2На12й1г2(к)ЦС2 &(к), Х2(к)) | +

+ Н2аца21йС1 (г1(к), Х1(к)) ||С1 (г1(к), Х1(к)) | +

+ Н2а12а22й\С2 (%2(к), Х2(к)) ЦС2 (%2(к), Х2(к)) | +

+ 2Н2а12а21йС1 (г1(к),Х1(к)) С2 (г2(к),Х2(к)) .

Используя свойства функций /1(у1), /2(у2), можно показать, что справедлива оценка

У ^ Н2а21й (2 + НЬац + НЬа12) |г1 ||С1 (г1(к), Х1 (к)) | +

+ Н2а12й (2 + НЬа22 + НЬа21) |.г2||С2 (%2(к), Х2(к)) I

Значит, при выполнении неравенства (5) функция АУ(х1, Х2,%1,г2) отрицательно определена по переменным г1,г2.

Таким образом, если для параметра Н выполнено неравенство (5), то функции У1 и У удовлетворяют требованиям дискретного аналога теоремы Зубова [6, 9]. Следовательно, система (4) обладает свойством конвергенции.

В случае, когда а\2 > 0, а2\ > 0, функции Ляпунова для систем (4) и (6) выбираем в виде

Аналогично предыдущему случаю, нетрудно показать, что при достаточно малых значениях Н эти функции удовлетворяют требованиям дискретного аналога теоремы Зубова.

Предположим теперь, что а\2 = 0, а2\ = 0. Тогда систему (4) можно записать так:

Сначала рассмотрим уравнение (8) и соответствующее ему уравнение в отклонениях

С помощью функций Ляпунова V (у2) = у2 и V(х2) = х\ получаем, что у уравнения (8) существует единственное почти периодическое решение Х2 (к) = ф2(к), асимптотически устойчивое в целом.

Подставив функцию ф2(к) в уравнение (7), имеем

где с\(к) = е\(к) + а^2/2(^2(к)) - почти периодическая функция. У данного уравнения также существует единственное почти периодическое решение х\(к) = ф\(к), асимптотически устойчивое в целом.

Пусть ^(к) = хл(к) - ф\(к), &(к) = Х2(к) - ф2(к). Тогда &(к) ^ 0 при к ^ ж, а Сг(к) удовлетворяет уравнению

Здесь т(к) = а12 (/2(ф2(к) + у2(к)) — f2(ф2(к))) ^ 0 при к ^ж. Из результатов работы [10] следует, что все решения полученного уравнения стремятся к нулю при к ^ ж. Таким образом, система уравнений (7) и (8) обладает свойством конвергенции, а векторная функция ф(к) = (фі(к),ф2(к))* - единственное почти периодическое решение этой системы.

Случаи, когда а21 = 0, а;2 = 0 или а;2 = а2і = 0, исследуются аналогичным образом.

Теорема доказана.

3. Некоторое обобщение полученных результатов. Покажем далее, что предложенный в п. 2 способ доказательства конвергентности двумерных систем можно распространить на случай систем, состоящих из произвольного числа уравнений. Рассмотрим систему

где п > 2; Н - положительный параметр (шаг дискретизации); а8^ - постоянные коэффициенты; матрица А = {asj}, в,] = 1,...,п, - симметричная; fj(у^) - непрерывные при yj € (-ж, +ж) строго возрастающие функции, удовлетворяющие на всей веще-

V1 = —Vи V = —V.

х;(к + 1) = х;(к) + Н (е1(к) + ап/1(х1(к)) + апМ^к))) ,

Х2(к + 1) = х2(к) + Н (с2(к) + а22І2(х2(к))).

г2(к + 1) = г2(к) + На22 (І2(?2(к) + х2(к)) — /2(х2(к))) .

х;(к + 1) = х;(к) + Н (С;(к) + ап/1(х1(к))),

£і(к + 1) = £і(к) + Н (ап (/і(фі (к) +£і(к)) — /;(фі(к)))) + г (к).

ственной оси условию Липшица с константой Ь, причем fj (yj) ^ —ж при yj ^ —ж, fj (yj) ^ +ж при yj ^ +ж; е8(к) - непрерывные при к = 0, ±1, ±2,... почти периодические функции.

Теорема 2. Если матрица Л отрицательно определена, то можно указать число Н0 > 0 такое, что при всех Н € (0, Н0) система (9) обладает свойством конвергенции. Доказательство. Функцию Ляпунова выбираем в виде

У1

Так как матрица Л отрицательно определена, то функция У1 положительно определена. Вычислим приращение функции (10) на решениях системы (9). Имеем

АУ1 = У1(Х (к +1)) — У1(Х (к)) = —X *(к + 1)Л-1Х (к +1)+Х *(к)Л-1 X (к) =

= —(X + Н(С + Л/))* Л-1 (X + Н(С + Л/))+ X *Л-1Х =

= —НХ *Л-1С — НХ * / — Н/*Х — НС* Л-1 X — Н2 (/*С + / * Л/ + С* Л-1 С + С*/) =

п п I п п п

2Н ^ ^ хгаг3 С3 2Н ^ ^ хг/г Н I 2 ^ ^ Сг/г + ^ ^ аг3 /г/3 + ^ ^ Сгаг3 С3

г,3 = 1 1=1 \ 1=1 г,3 = 1 г,3 = 1

Здесь X(к) = (х1 (к),..., Хп(к))*, /(х(к)) = (/1(х1(к)),...,/п(хп(к)))*, а^ - элементы матрицы Л-1, С (к) = (С1(к),..., Сп(к))*.

При всех х8(к) € (—го, +го), к = 0, ±1, ±2,... , справедливы оценки

п п п п

АУ1 < 2Н^2 ХЦа^Су| — 2Н^2ХИ/^ + 2Н2^2Ы/ + н2 ^2 ^И/гИ/зI +

1,3=1 г=1 г=1 г,з=1

г,з=\ і=і \ з=\ і і=і

+ Ь2^2 \ФцСэ\ < ^Іг^2\хі\ -|/і| + 453іСіа^І + ^Ь^\Ь\{-\Хі\+Щсі\) +

+ Іж*11/*І + 2^Ь^2 \агз\ +9^- \Хі\\М + 4/г ^2 \сгаюсз\ •

і=1 \ з = 1 / \ і=1 і,3 = 1

Пусть

0<к<——і—Г.

2^е:

і,з=і

Используя свойства функций /1(у1),... ,/п(уп), находим, что если число Е достаточно велико, то при ^П=і х3 > Е2 справедливо соотношение АУ\ < 0. Таким образом, функция V удовлетворяет требованиям дискретного аналога теоремы Йосидзавы [2, 5]. Значит, система (9) равномерно диссипативна.

Наряду с уравнениями (9) рассмотрим систему

г8(к + 1) = г8(к) + Ь а8І (/з(г з (к) + Х3 (к)) - /з (х3 (к)))^ , в = 1, ...,п,

для которой в качестве функции Ляпунова выбираем функцию

V (Я) = -Я* Л-1Я.

Получим

пп

АV = -2Н^2іОі - Ь2 Е аіз СіСз. і=1 і,3=1

Здесь Оу = /у (г у + ху) — /у (Ху), 2 = (г1,...,гп)*. Используя свойства функций /1(у1),..., /п(уп), можно показать, что справедлива оценка

Ау ^ Н 1г<’1 \/г(хн + гг) — /г(хг)\ I — 2 + НЬ^2 1 I .

г=1 \ 3=1 )

2

Значит, при 0 < к < „----:--- функция АУ(Х, Z) отрицательно определена по пе-

Ь2^ г,у=1\ау\

ременным Х1, ...,гп.

Таким образом, если для параметра Н выполнено неравенство (11), то функции У

и V удовлетворяют требованиям дискретного аналога теоремы Зубова [6, 9]. Следова-

тельно, система (9) обладает свойством конвергенции.

4. Условия конвергенции дискретной модели динамики популяций. Покажем, что разработанные в настоящей статье подходы к анализу разностных систем можно использовать для исследования асимптотического поведения решений дискретных моделей популяционной динамики. Пусть задана система разностных уравнений

п

х6.

у=1

описывающая взаимодействие п видов в биологическом сообществе. Система (12) -дискретный аналог широко известной непрерывной модели типа Лотки-Вольтерра [3,

4, 11, 12].

Будем считать, что в уравнениях (12) функции /у(уу) непрерывны при уу € [0; +ж), строго возрастают, /у (0) =0 и /у (у у) ^ +ж при у у ^ +ж; а8у - постоянные коэффи-центы, причем а8у ^ 0 при в = у, а матрица А = {а8у}, в, у = 1,...,п, является симметричной; е8(к) - почти периодические функции; в,у = 1,...,п. Предположим также, что существует число 6 > 0 такое, что о8(к) ^ 6 при всех к = 0, ±1, ±2,...; в = 1,...,п. Систему (12) будем рассматривать в положительном ортанте

Е+ = {У : уг > 0,1 = 1,...,п},

который представляет собой инвариантное множество для этой системы.

Определение. Система (12) обладает свойством конвергенции в Н+_, если она имеет единственное почти периодическое решение, содержащееся в положительном ортанте и являющееся в нем асимптотически устойчивым в целом.

Вводим вспомогательные функции /у (уу) = /у (вУ:>), у = 1,... п. Функции /у (уу) определены при всех уу € (—ж, +ж) и обладают следующими свойствами:

1) /у(уу) > 0 при уу € (—ж, +ж);

2) /у (уу) строго возрастают на промежутке (—ж, +ж);

3) уу (уу) ^ 0 при у у ^ —ж;

4) /у (уу) ^ +ж при уу ^ +ж.

Дополнительно предположим, что функции /у (уу) на всей вещественной оси удовлетворяют условию Липшица, т. е. существует постоянная Ь > 0, для которой при любых у'у, у'! € (—ж, +ж) справедливы неравенства

}у(у'у) — $ у(у”) < ь\у'у — уу1, 3 = 1,...,п.

Теорема 3. Если матрица А отрицательно определена, то существует число Но > 0 та,кое, что для любых Н Є (0, Но) система (12) обладает свойством конвергенции в Е+.

Доказательство. Произведем в уравнениях (12) замену переменных

^в(к) = 1пх3(к), в = 1,...,п. Получим систему

Аналогично доказательству теоремы 2 нетрудно показать, что число Но > 0 можно выбрать так, чтобы при всех Н € (0, Но) система (13) обладала свойством конвергенции в Кп. Но тогда при указанных значениях Н система (12) будет обладать свойством конвергенции в К+_. Теорема доказана.

Заключение. В работе был исследован дискретный аналог одного класса нелинейных дифференциальных уравнений второго порядка. С помощью известной функции Ляпунова и дискретного аналога теоремы Зубова определены условия, при которых дискретная система обладает свойством конвергенции. Результаты, полученные для двумерных систем, распространены на системы из произвольного числа уравнений. Выбирая функцию Ляпунова в виде квадратичной формы и пользуясь дискретным аналогом теоремы Йосидзавы, найдены условия для шага дискретизации, при котором дискретная система также обладает свойством конвергенции. Исследовано асимптотическое поведение решений некоторых типов дискретных моделей популяционной динамики.

Литература

1. Халанай А., Векслер Д. Качественная теория импульсных систем / пер. с рум. М. И. Букатаря, Г. В. Ножака; под ред. В. П. Рубаника. М.: Мир, 1971. 312 с.

2. Александров А. Ю., Жабко А. П. Устойчивость разностных систем. СПб.: Науч.-исслед. ин-т химии С.-Петерб. ун-та, 2003. 112 с.

3. Александров А. Ю., Платонов А. В., Старков В. Н., Степенко Н. А. Математическое моделирование и исследование устойчивости биологических сообществ. СПб.: СОЛО, 2006. 186 с.

4. Свижерев Ю. М., Логофет Д. О. Устойчивость биологических сообществ. М.: Наука, 1978. 352 с.

5. Демидович Б. П. Лекции по математической теории устойчивости. М.: Наука, 1967. 472 с.

6. Зубов В. И. Колебания в нелинейных и управляемых системах. Л.: Судостроение, 1962. 632 с.

7. Александров А. Ю. Некоторые условия устойчивости и конвергентности нелинейных систем // Дифференц. уравнения. 2000. Т. 36, № 4. С. 549—551.

8. Александров А. Ю. Достаточные условия конвергентности одной нелинейной системы // Процессы управления и устойчивость: Труды науч. конференции. СПб.: Науч.-исслед. ин-т химии С.-Петерб. ун-та, 2000. С. 37-39.

9. Атаева Н. Н. Свойство конвергенции для разностных систем // Вестн. С.-Петерб. ун-та. Сер. 10: Прикладная математика, информатика, процессы управления. 2004. Вып. 4. С. 91-98.

10. Александров А. Ю., Жабко А. П. О существовании предельных режимов нелинейных разностных систем // Вестн. С.-Петерб. ун-та. Сер. 10: Прикладная математика, информатика, процессы управления. 2009. Вып. 3. С. 240-251.

11. Пых Ю. А. Равновесия и устойчивость в моделях популяционной динамики. М.: Наука, 1983.

182 c.

12. Yoshiaki Muroya. Persistence and global stability in discrete models of Lotka-Volterra type // J. of Math. Analysis and Applications. 2007. Vol. 330, N 1. P. 24—33.

Статья рекомендована к печати проф. А. П. Жабко. Статья принята к печати 16 декабря 2010 г.