85860 (589888), страница 4
Текст из файла (страница 4)
Доказательство: Вычислим ,
,
. Получим
Подставим полученные выражения в уравнение , получим:
Раскрывая скобки и приравнивая коэффициенты при одинаковых степенях к
, получаем:
Выражая из первого, второго и третьего уравнений системы ,
,
соответственно и умножая четвёртое и пятое уравнения системы на
получаем то, что требовалось доказать.
Лемма доказана.
Лемма 5.2. Пусть функции и
обращаются в нуль лишь в отдельных точках, в которых функции
доопределены до непрерывной дифференцируемости. Тогда
,
Доказательство: Рассмотрим более подробно четвёртое уравнение системы
Или
Поскольку по условию леммы , то сократим обе части равенства на
. Получим:
.
Поскольку и функцию
можно определить до непрерывно-дифференцируемой, то
(это следует из последнего равенства) удовлетворяет равенствам из условия леммы 5.1.
Аналогично, из пятого уравнения системы
.
Лемма доказана.
Лемма 5.3. Пусть функция обращается в нуль лишь в изолированных точках, в которых функции
,
, где функции
,
определяется формулой
, доопределены до непрерывной дифференцируемости. Тогда
Доказательство: Рассмотрим равенство
из условия леммы 5.1. Тогда
.
Поскольку , то
.
Поскольку функция доопределена до непрерывной дифференцируемости и
по лемме 5.2 непрерывно-дифференцируема, то
задаваемая выражением
удовлетворяет равенствам из условия леммы 5.1.
Лемма доказана.
Теорема 5.4. Если функции и
таковы, что выполняются условия
и
,
то уравнение
,
где - нечётная функция, эквивалентно уравнению
.
Это следует из теоремы 2 [8]
Следствие 5.1.
Уравнение
эквивалентно уравнению Риккати вида , в котором
,
,
.
§6. О некоторых аспектах применения отражающей функции для исследования свойств решений дифференциальных систем
Рассмотрим систему
Лемма 6.1. Пусть периодическая дифференциальная система
с решением
и отражающей функцией
эквивалентна в смысле совпадения отражающих функций некоторой дифференциальной системе с решением
и отражающей функцией
, причём имеет место равенство
, а
и
продолжимы на
. Тогда для любого натурального
имеет место равенство
Теорема 6.1. Пусть периодическая дифференциальная система
с решением
эквивалентна в смысле совпадения отражающих функций стационарной системе
с решением . И пусть выполняются следующие условия:
А) верно равенство
Б) ограничено на
;
В) существует число , такое, что неравенство
выполняется для всякого натурального
;
Г) все решения системы
, для которых верно неравенство
, продолжимы на
.
Тогда продолжимо и ограничено на
.
Доказательство. Докажем сначала продолжимость решения на
. Это решение продолжимо на
, что следует из условия Г), равенства
и условия Б) (при
):
. Покажем, что решение
продолжимо и на
. Заметим, что функция
является решением системы
и для него выполняются соотношения
, справедливость которых следует из основного свойства отражающей функции. Тогда по условию теоремы
продолжимо на
, т.е.
действительно продолжимо на
. Индукцией по
доказывается, что
продолжимо на
. В силу произвольности
отсюда следует продолжимость
на
.
Теперь докажем, что ограничено на
. Из продолжимости на
тех решений
системы
, для которых выполняется неравенство
, следует существование числа
, для которых выполняется неравенство
для любого
из
. Из леммы 6.1 вытекает, что
для любого натурального
. Поэтому для
справедливы соотношения
, и, значит, в свою очередь, имеют место соотношения
при
.
Таким образом, для любого натурального имеет место неравенство, обозначающее ограниченность решения
на
.
Теорема доказана.
Теорема 6.2. Пусть выполнены условия А), В), и Г) теоремы 6.1, а решение системы
является
периодическим и асимптотически устойчивым (асимптотически неустойчивым). Тогда решение
системы
также
периодично и асимптотически устойчиво (асимптотически неустойчиво).
Доказательство. Пусть решение является
периодическим. Тогда верны равенства
,
т.е. . Это означает, что
является неподвижной точкой отображения за период
. Откуда и следует
периодичность решения
.
Дальнейшее доказательство следует из факта совпадения отображений и
за период
для двух рассматриваемых систем.
Теорема доказана.
Заключение
При изучении поставленных вопросов важную роль играет отображение за период (отображение Пуанкаре), для отыскание которого используют вспомогательные функции, названные отображающими функциями.
Отражающей функцией названа функция, позволяющая по состоянию системы x (t) в момент времени t найти состояние этой системы x (-t) в момент времени (-t). Эта функция применена для качественного исследования неавтономных систем и, в частности, для решения вопросов существования и устойчивости периодических дифференциальных систем.
Знание отражающей функции позволяет определить отображение за период системы и, значит, найти начальные данные её периодических решений, а также проверить их на устойчивость.
Основное соотношение
позволяет найти отражающую функцию или установить её структуру. Даны необходимые и достаточные условия, того, чтобы первая компонента отражающей функции дифференциальной системы второго порядка не зависела от второй компоненты.
Частным случаем этого результата являются необходимые и достаточные условия чётности первой компоненты любого решения рассматриваемой системы. Установлен вид отражающей функции при указанном условии.
Список используемых источников
-
1. Красносемский М.А. Оператор сдвига по траекториям дифференциальных уравнений. - М.: Наука, 1966 - 332 с.
-
2. Мироненко В.И. Линейная зависимость функций вдоль решений дифференциальных уравнений. - Минск: Издательство БГУ имени В.И. Ленина. 1981 - 104 с.
-
3. Мироненко В.И. Отражающая функция и периодические решения дифференциальных уравнений. -Минск, издательство "Университетское". 1981 - 76 с.
-
4. Мироненко В.И. Отражающая функция и исследование многомерных дифференциальных систем. - Гомель:. 2004. - 196 с.
-
5. Мироненко В.И. Возмущения дифференциальных систем, не изменяющие временных симметрий. - Дифференц. уравнения, Т.40, №10, 2004. С.1325-1332 с.
-
6. Богданов Ю.С. Лекции по дифференциальным уравнениям. Минск, 1977. - 191 с.
-
7. Ильин В.А., Садовничий В.А., Сендов Б.Х. Математический анализ. М., 1979 - 682 с.