WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     || 2 |
Сибирский математический журнал Январь февраль, 2005. Том 46, № 1 УДК 517.929 ПРЯМОЙ МЕТОД ЛЯПУНОВА ДЛЯ ПОЧТИ ПЕРИОДИЧЕСКОЙ РАЗНОСТНОЙ СИСТЕМЫ НА КОМПАКТЕ С. М. Добровольский, А. В. Рогозин Аннотация: Установлен достаточный признак асимптотической устойчивости для систем указанного выше класса, в котором условие на разностную производную функции Ляпунова в силу системы ослаблено по сравнению с условием Ляпунова < 0. Получены приложения к анализу устойчивости положений равновесия динамических систем с бесконечномерным фазовым пространством.

Ключевые слова: почти периодичность, устойчивость, компакт.

Введение Для автономной системы дифференциальных уравнений = f(x), f(0) = 0, известен результат Е. А. Барбашина [1], усиливающий теорему Ляпунова об асимптотической устойчивости: для асимптотической устойчивости положения равновесия x = 0 достаточно существования положительно определенной функции (x) такой, что (x) 0, при этом поверхности уровня (x) = const > 0 не содержат целых траекторий. В работах [2, 3] замечено, что этот результат распространяется, с естественными видоизменениями в формулировке, на неавтономные системы = f(x, t) при условии, что правая часть системы и функция Ляпунова (x, t) почти периодичны по t (в случае линейных систем речь идет об экспоненциальной устойчивости). Позднее в [4, 5] эти результаты были распространены на системы разностных уравнений xn+1 = fn(xn), n Z (1) (почти периодичность по дискретному времени означает выполнение критерия компактности Бохнера [6]). В выполненных в указанных работах построениях существенно использовалось, что существующая ввиду условия 0 инвари антная окрестность положения равновесия x = 0 предкомпакт. В работах [7–10], где результаты из [2, 3] распространены на функционально-дифференциальные уравнения запаздывающего и нейтрального типов, некомпактность единичной сферы в фазовом пространстве компенсировалась компактностью траекторий.

Вопрос о переносе результатов работ [2–5] на случай, когда фазовое пространство динамической системы не является локально компактным, до последнего времени оставался открытым.

Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 01–01–00303).

© 2005 Добровольский С. М., Рогозин А. В.

Прямой метод Ляпунова В данной работе предложен подход к решению этой задачи для разностных систем (1) по следующей схеме.

1. Рассматривается динамическая система (1) с почти периодической по времени правой частью и положением равновесия z0 на произвольном топологическом компакте и доказывается достаточный признак асимптотической устойчивости указанного выше типа с ослабленным условием на разностную производную функции Ляпунова n(x) (первую разность):

n(x) = n+1(fn(x)) - n(x). (2) 2. Исследование устойчивости положения равновесия z0 динамической системы (1) в произвольном метрическом пространстве проводится в два этапа.

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

(б) К расширенной системе применяется результат п. 1. Асимптотическая устойчивость положения равновесия образа z0 означает для исходной системы асимптотическую устойчивость z0, равномерную по начальному возмущению: существование окрестности U точки z0 такой, что для траекторий xn, начинающихся в этой окрестности (x0 U), имеет место сходимость xn zравномерно по x0.

В § 1 реализован п. 1 схемы, в § 2 п. 2.

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

§ 1. Основной результат Пусть X произвольное непустое множество, J = {, A} семейство полуметрик на множестве X, разделяющее его точки. Тогда семейство множеств вида Ux(1,..., r, ) = {y X | max (x, y) < }, x X, > 0, k 1kr 1,..., r A, образует базу некоторой хаусдорфовой топологии на множестве X. В частности, если X компакт и (x, y) = |(x) - (y)|, A = C(X), где C(X) множество всех непрерывных вещественнозначных функций на X, то эта топология совпадает с исходной топологией компакта X.

Определим на множестве XZ всех двусторонних последовательностей f :

Z X преобразование сдвига Tm, m Z, формулой Tmfn = fn+m, n Z.

Семейство полуметрик J = {, A}, где (f, g) = sup (fn, gn), задает на nZ множестве XZ хаусдорфову топологию, причем сдвиги являются изометриями:

(Tmf, Tmg) = (f, g), f, g XZ, A, m Z. (3) Последовательность f XZ называется почти периодической, если семейство {Tmf, m Z} предкомпактно в топологии. Если X метрическое пространство с метрикой и J = {}, то это определение эквивалентно в силу теоремы Бохнера классическому определению Бора, использующему понятие почти периода [6]. Оболочкой H[f] почти периодической последовательности f называется замыкание в топологии семейства {Tmf, m Z}.

100 С. М. Добровольский, А. В. Рогозин Лемма 1. Пусть f1, f2, g1, g2 XZ почти периодические последовательности. Пара (f1, f2) является предельной (в топологии произведения H[f1] H[f2]) точкой семейства {(Tmg1, Tmg2), m Z, m 0} тогда и только тогда, когда пара (g1, g2) является предельной точкой семейства {(Tmf1, Tmf2), m Z, m 0}.

Доказательство. Необходимость и достаточность в данном случае представляют собой с точностью до обозначений одно и то же утверждение, поэтому проверим только достаточность. Пусть (f1, f2) является предельной точкой семейства {(Tmg1, Tmg2), m Z, m 0}. Тогда для произвольного A существует возрастающая последовательность {nk} натуральных чисел такая, что nk+1 - nk и lim max{(Tn g1, f1), (Tn g2, f2)} = 0, поэтому в силу (3) k k k и неравенства треугольника для полуметрики имеем lim max{(Tn f1, f1), (Tn f2, f2)} = 0.

k+1-nk k+1-nk k Из последнего равенства и условий на последовательность {nk} следует, что пара (Tnf1, Tnf2) является предельной точкой семейства {(Tmf1, Tmf2), m Z, m 0} для любого n Z. Но ввиду (3) пара (g1, g2) предельная точка семейства {(T-mf1, T-mf2), m Z, m 0}, откуда и вытекает требуемое.

Пусть K компакт. Рассмотрим в качестве X множество всех непрерывных отображений K в себя, а полуметрики семейства J определим равенством (, ) = max |((x)) - ((x))|, C(K).

xK Пусть f XZ почти периодическая последовательность. Рассмотрим динамическую систему xn+1 = gn(xn), (4) где g H[f]. Пусть xn(x) траектория системы (4) с начальным условием x0 = x. Определим отображения Gn : H[f] K K соотношениями G0(g, x) x, Gn(g, x) xn(x), n = 1, 2,....

Лемма 2. Отображения Gn непрерывны.

Доказательство. Для n = 0 утверждение леммы очевидно. Сделаем предположение индукции, и пусть n > 0. Для произвольной функции C(X) имеем |(Gn(f, x)) - (Gn(g, y))| |(fn-1(Gn-1(f, x))) - (fn-1(Gn-1(g, y)))| + |(fn-1(Gn-1(g, y))) - (gn-1(Gn-1(g, y)))| |(fn-1(Gn-1(f, x))) - (fn-1(Gn-1(g, y)))| + (f, g).

Так как композиция fn-1 непрерывна, непрерывность Gn следует из предположения индукции.

Пусть система (1) имеет положение равновесия z0. Это положение равновесия называется глобально асимптотически устойчивым, если lim xn(x) = z0, для всех x K, где xn(x) траектория системы (1) с начальным условием x0 = x.

Функция : K R называется положительно определенной относительно точки z0, если (z0) = 0 и (x) > 0 для всех x K, x = z0. Последова тельность V : Z C(K) называется положительно определенной в точке z0, если Vn(z0) = 0 и (x) Vn(x) (x) для всех x K, n Z, где : K R, : K R полунепрерывные соответственно сверху и снизу функции, положительно определенные в точке z0.

Прямой метод Ляпунова Лемма 3. Пусть V : Z C(K) положительно определенная в точке zпоследовательность и lim Vn(xn) = 0 для некоторой последовательности xn в K.

Тогда lim xn = z0.

Доказательство. Пусть U произвольная окрестность точки z0, тогда полунепрерывная снизу функция достигает своего наименьшего значения > 0 на компакте K\U. Так как lim Vn(xn) = 0, для некоторого натурального N и всех n N справедливо неравенство (xn) Vn(xn) <, откуда следует справедливость при всех n N включения xn U, что и требовалось доказать.

Разностная производная V : Z C(K) последовательности V : Z C(K) в силу системы (1) определяется равенством (2) с заменой на V, fn на gn.

Будем говорить, что V неположительно определена, если Vn(x) 0 для всех x K, n Z.

Лемма 4. Пусть A и B компакты, xn, yn последовательности в A и B соответственно. Тогда для произвольной предельной точки x последовательности xn найдется предельная точка y последовательности yn такая, что пара (x, y) является предельной точкой последовательности (xn, yn) в топологии произведения A B.

Доказательство. Предположим противное. Тогда для некоторой предельной точки x последовательности xn и произвольной предельной точки y последовательности yn существует окрестность Vy = Uxy Uy пары (x, y) такая, что card(Vy {(xn, yn)}) < (card X обозначает мощность множества X). Так как множество E предельных точек последовательности yn компакт, из его открытого покрытия {Uy, y E} можно выделить конечное подпокрыn тие {Uy, k = 1,..., n}. Тогда для окрестности Ux = Uxy точки x имеем k k k=card(Ux B {(xn, yn)}) <, откуда следует, что card(Ux {xn}) < ; противоречие с выбором точки x.

Теорема 1. Пусть f XZ почти периодическая последовательность и система (1) имеет положение равновесия z0. Пусть существует положительно определенная в точке z0 последовательность V : Z C(K), разностная произ водная V которой в силу системы (1) неположительно определена. Тогда положение равновесия z0 является глобально асимптотически устойчивым, если и только если выполнено условие: разностная производная V не равна нулю тождественно на каждой траектории системы (1), не совпадающей с положением равновесия z0.

Доказательство. Проверим сначала достаточность. Ввиду леммы 3 достаточно проверить равенство lim Vn(xn(x)) = 0 для произвольной траектории xn(x) системы (1). Предположим противное, тогда для некоторой траектории xn(x) системы (1) имеем lim Vn(xn(x)) = c > 0 (существование предела следствие монотонности последовательности Vn(xn(x))). Пусть x предельная точка последовательности xn(x). Тогда по лемме 4 найдется предельная точка (g, V ) семейства {(Tmf, TmV ), m Z, m 0} такая, что (x, g, V ) является предельной точкой семейства {(xm(x), Tmf, TmV ), m Z, m 0}. Следовательно, ввиду леммы 2 для каждого фиксированного k 0 тройка (yk(x), Tkg, TkV ), где yk(x) траектория системы (4) с начальным условием y0(x) = x, также является предельной точкой семейства {(xm(x), Tmf, TmV ), m Z, m 0}, откуда V (yk(x)) c. С другой стороны, ввиду леммы 1 (f, V ) является предельной k 102 С. М. Добровольский, А. В. Рогозин точкой семейства {(Tmg, TmV ), m Z, m 0}. Поэтому по лемме 4 найдется предельная точка x = z0 семейства {ym(x), m Z, m 0} такая, что тройка (x, f, V ) является предельной точкой семейства {(ym(x), Tmg, TmV ), m Z, m 0}. Следовательно, в силу леммы 2 для траектории xk(x) системы (1) с начальным условием x0(x) = x имеем: для каждого фиксированного k 0 тройка (xk(x), Tkf, TkV ) является предельной точкой семейства {(ym(x), Tmg, TmV ), m Z, m 0}. Отсюда следует равенство Vk(xk(x)) c или, что то же самое, Vk(xk(x)) 0, что противоречит условию теоремы, так как x = z0.

Проверим необходимость. Пусть существует траектория xn(x) системы (1) такая, что Vk(xk(x)) c > 0. Тогда для любой предельной точки x семейства {xn(x), n 0} получим (x) c > 0 ввиду полунепрерывности сверху функции, следовательно, x = z0. Теорема доказана.

§ 2. Метод функций Ляпунова для почти периодических разностных систем в метрическом пространстве Пусть D метрическое пространство с метрикой. Обозначим через C(D D) пространство равномерно непрерывных отображений из D в себя с равномерной метрикой d, и пусть f : Z C(D D) почти периодическая последовательность. Предположим, что система (1) в фазовом пространстве D имеет положение равновесия z0. Назовем это положение равновесия асимптотически устойчивым равномерно относительно начального возмущения, если существует r > 0 такое, что траектория xn(x) системы (1) с начальным условием x0 = x сходится к z0 равномерно относительно x на шаре B(z0, r).

Отметим, что если D не является локально компактным, то асимптотически устойчивое положение равновесия системы (1) не обязательно удовлетворяет указанному условию равномерности. Поясним это на простом примере. Пусть в (1) D = l2 над полем R или C, fn = T, где T оператор сдвига:

T (u1, u2,..., un,... ) = (u2, u3,..., un,... ), (u1, u2,..., un,... ) l2.

Ясно, что точка 0 = (0,..., 0,... ) асимптотически устойчивое положение равновесия этой динамической системы, однако условие равномерности не выполняется.

Пусть равномерно непрерывная на D положительно определенная в точке z0 функция, что в случае отсутствия локальной компактности D означает выполнение условий: (z0) = 0, положительна и отделена от 0 на дополнении любой окрестности точки z0. Пусть производная в силу системы (1) функции неположительно определена. Тогда для любого > 0 замкнутая окрестность U = {x D |v (x) } точки z0 является f-инвариантной в том смысле, что для произвольного x U траектория xn(x) системы (1) с начальным условием x0 = x целиком лежит в U. Положим 0 n+U = U, U = fn Un, n = 0, 1, 2,....

Введем условие 0 > 0 : 0 > 0 sup (x) = const. (5) n xU Обозначим через K пространство максимальных идеалов банаховой алгебры CA(U ) ограниченных равномерно непрерывных на U комплекснознач0 ных функций. Напомним (см., например, [11, гл. I]), что точками компакта K Прямой метод Ляпунова являются мультипликативные функционалы на CA(U ). Отображение, сопоставляющее точке x U мультипликативный функционал, вычисляющий значение функции из CA(U ) в точке x, является гомеоморфизмом U на всюду 0 плотное подмножество K, и отображение, сопоставляющее каждой функции из CA(U ) ее непрерывное продолжение на K (преобразование Гельфанда) будет изометрическим изоморфизмом CA(U ) на равномерную алгебру C(K) всех непрерывных на K комплекснозначных функций (теорема Гельфанда Наймарка).

Теорема 2. Пусть существует равномерно непрерывная на D положительно определенная в точке z0 функция, производная которой в силу системы (1) неположительно определена. Тогда положение равновесия z0 системы (1) является асимптотически устойчивым равномерно относительно начального возмущения, если и только если выполнено условие (5).

Pages:     || 2 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.