Научная статья на тему 'Применение идей метода направляющих функций при исследовании неавтономной системы обыкновенных дифференциальных уравнений'

Применение идей метода направляющих функций при исследовании неавтономной системы обыкновенных дифференциальных уравнений Текст научной статьи по специальности «Математика»

CC BY
97
10
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПЕРИОДИЧЕСКИ ВОЗМУЩЕННАЯ АВТОНОМНАЯ СИСТЕМА ОДУ / ТОПОЛОГИЧЕСКАЯ СТЕПЕНЬ ОТОБРАЖЕНИЯ / УСРЕДНЕНИЕ ПО СТЕКЛОВУ / КОЭРЦИТИВНОСТЬ ОТОБРАЖЕНИЯ / PERIODICALLY PERTURBED AUTONOMOUS SYSTEM OF ODE / TOPOLOGICAL DEGREE OF TRANSFORMATION / STECLOV AVERAGE / COERCITIVITY OF TRANSFORMATION

Аннотация научной статьи по математике, автор научной работы — Перов Анатолий Иванович, Каверина Валерия Константиновна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Перов Анатолий Иванович, Каверина Валерия Константиновна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

RESEARCH OF THE NONAUTONOMOUS SYSTEM OF ODE BY THE IDEAS OF THE METHOD OF GUIDING FUNCTIONS

We indicate sufficient conditions connected with the method of guiding functions, under which periodically perturbed autonomous system of ODE has an periodic solution.

Текст научной работы на тему «Применение идей метода направляющих функций при исследовании неавтономной системы обыкновенных дифференциальных уравнений»

ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки

Том 23, № 123

2018

DOI: 10.20310/1810-0198-2018-23-123-510-516 УДК 517.925.52

ПРИМЕНЕНИЕ ИДЕЙ МЕТОДА НАПРАВЛЯЮЩИХ ФУНКЦИЙ ПРИ ИССЛЕДОВАНИИ НЕАВТОНОМНОЙ СИСТЕМЫ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

^ А. И. Перов1), В. К. Каверина2'

ФГБОУ ВО «Воронежский государственный университет» 394018. Российская Федерация, г. Воронеж. Университетская площадь, 1

Е-таЛ: office@maiii.vsu.ru ФГБОУ ВО «Воронежский государственный технический университет» 394026, Российская Федерация, г. Воронеж, Московский проспект, 14 Е-таП: vmkaf@vgasu.vrn.ru

Аннотация. Указываются условия, связанные с методом направляющих функций. при выполнении которых периодически возмущенная автономная система обыкновенных дифференциальных уравнений имеет периодическое решение. Ключевые слова: периодически возмущенная автономная система ОДУ; топологическая степень отображения; усреднение по Стеклову; коэрцитивность отображения

Рассмотрим автономную систему обыкновенных дифференциальных уравнений, записанную в векторной форме

х = /(х), (х/ИГ), (1)

где /(х) : М" ос К" есть непрерывное локально липшицево отображение, для которого

/(0) = 0 и Г(х)||=0 при х Ц= 0. (2)

Кроме того, нулевое стационарное решение х^) < 0 системы (1) является асимптотически устойчивым в целом, то есть любое решение х(£) этой системы может быть определено для всех ¿->0 и

х^) оо 0 при t сю . (3)

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

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

х = /(х) + ВД, (4)

где h(t) : К оо М" - любая непрерывная периодическая векторная функция, /¿(í + w) = h(t).

Тогда справедлива

Теорема 1. Пусть непрерывное локально липшицево отображение /(х) : К" оо Ж" удовлетворяет условиям (2), (3) и условию коэрцитивности отображения, то есть

/(х) оо при х оо +€ . (Б)

Пусть любое решение x(í) с начальным условием x(í0) = х0 системы (4) может быть определено для всех t —>t0.

Тогда периодически возмущенная система (4) имеет по крайней мере одно и-периодическое решение: x(í + ш) = x(í).

Доказательство. Согласно условию (3) нулевое решение системы (1) асимптотически устойчиво в целом, следовательно, по теореме H.H. Красовского [1, с. 37] существует такая непрерывно дифференцируемая функция и(х) : К" оо К, для которой tí(0) = 0, tí(x) > 0 при х Ц= 0 и Цх) ос +е при х оо +€ ; для которой

to™*u(x)t/(x))< 0, (х Ц= 0). (б)

Здесь grad и(х) - градиент рассматриваемой функции в точке х, то есть вектор с компонентами du(x.)/dxi,ди(х.)/дхп. Градиентное отображение grad и(х.): Шп ооМ" является непрерывным и обладает свойствами: grad и (О) = 0, grad ií(x) Ц= 0 при х Ц= 0. Так как выполнено условие íí(x) оо +е при х оо +€ , то по теореме М.А. Красносельского [2, с. 111| (см. также [3, с. 53]) топологическая степень градиентного отображения grad íí(x) на границе ÖG любого открытого ограниченного множества G, содержащего нуль пространства в качестве внутренней точки, равно единице:

degigradu^.dG) = 1. (7)

Проверим линейную гомотопность векторных полей grad ií(x) и /(х) : (1 A )grad и(х.) ^/(х) Ц= 0 при хЦ=0 и 0 > А > 1. Так как при Л = 0 и Л = 1 это неравенство очевидно, то, предполагая обратное, найдем такие х0 Ц= 0 и 0 < Л0 < 1, для которых имеет место равенство (1 X0)grad íí(x0) Л0/(х0) = 0. Умножая обе части последнего равенства на /(х0), получим Л0 /(х0) 2 = (1 Л0)(grad и(х0), /(х0)) > 0, что явно противоречит (6).

Так как по доказанному векторные поля grad íí(x) и /(х) гомотопны на 8G, то их топологические степени совпадают; поэтому согласно (7) имеем deg( /(х), dG) = 1, откуда немедленно следует, что [3, с. 51]

<fcff(/(x)töG) = ( 1)".

(8)

512

А. И. Перов. В. К. Каверина

Хорошо известно, что начальное значение при ( = 0 периодического решения с периодом и является неподвижной точкой отображения Пуанкаре р(х) : М" ос К", где р(х) = х(ш,0,х), то есть должно быть х = р(х).

Пусть к = тах 1г(1) , 0 > £ > ш. В силу свойства коэрцитивности (5) можно указать такое г > 0. что /(х) > к при х = г.

По теореме Руше из (8) получим

¿ед(/(Х) + к(1),дЗп) = ( 1)"

при каждом фиксированном значении 1. Положим д(х) = р(х) х : М" оо М". Если = 0 ПРИ некотором £ / 05"\ то в силу сказанного выше возмущенная система (4) имеет периодическое решение х(£) = х(£,0,£). Пусть теперь Ц= 0 при £ / <95'га, то есть непрерывное векторное поле д(х) является невырожденным на дБ™. Центральная часть доказательства заключается в установлении формулы

¿ед(д(к),дЗп) = ( 1)". (9)

По теореме Кронекера [4, с. 162] отсюда будет следовать, что непрерывное отображение д(х) обращается в нуль в некоторой точке £ / Зп. Тогда х(/) = х(/,0,£) будет ш-периодическим решением возмущенной системы (4), и наше утверждение доказано.

При доказательстве формулы (9) мы не предполагаем, что выполнено условие ш-невозвращаемости [5, с. 48]

хМ,01К ПРИ С / дБП и 0 < Ь >ш. (10)

Поэтому наши рассуждения меняются следующим образом. Прежде всего для каждого £ / дБп найдем единственное А(£) / [0,ш], для которого

х(А(0)0,0 = е и х(*,0,£)Ц=£ при

Напомним, что х(0, 0. £) = £ и в рассматриваемом случае х(ш, 0,£)Ц=£ при любом £ / 95™, так что существование функции А{£) : дБ" оо [0, ш\ не вызывает сомнений. (В случае, когда выполнено условие и -невозвращаемости (10), очевидно, имеем А(£) < 0.) Нетрудно проверить, что А(£) является полунепрерывной сверху [6, с. 353], и потому измерима на сфере рассматриваемой как (п 1)-мерное риманово многообразие

с лебеговой мерой.

Рассмотрим измеримую гомотопию <£>(£, а) : дБ71 О[0- 1] оо К™, положив

ср(£, а) = -——г- при 0 < а > 1,

«(£,

где непрерывная и положительная при 0 < а > 1 функция а) определяется следующим образом а) = а(ш А(£)) при 0 > а > 1/2 и ¿(£,«) = (1 а)(ш А(£)) + (2а 1) при 1/2 < а > 1.

Отметим, что гомотоиии такого типа в близкой ситуации встречаются в [7, см., например, с. 172]. Рассматриваемая гомотопия а) измерима по £ и непрерывна по а, то есть удовлетворяет условиям Каратеодори [8, с. 120]. Кроме того, как нетрудно видеть, она является невырожденной: «) Ц= 0 при £ / дБ'" на/ [0,1].

От измеримой гомотопии а) перейдем к новой

(усреднение по Стеклову (сравни с [6, с. 377]); здесь £) - это (га 1) -мерный шар на dSn с центром в точке £ / dSn и радиусом е > 0). Нетрудно проверить, что в силу выбора dSn при £ > 0 построенная гомотопия £^£(£,ск) : OS" О[0,1 сю М" является непрерывной по совокупности переменных и невырожденной: Ц= 0 при £ / dSn и а / [0,1]. Стандартные рассуждения показывают, что из (8) при а = 0 вытекает

равенство deg(ip£(^, 0), dSn) = deg(f(Q + h[A(f)], dSn) = ( 1)" (в этом пункте удоб-

нее писать /(С), подчеркнув явную зависимость отображения / от £)_ Отсюда в силу невырожденности непрерывной гомотопии <£>е(£, а) получаем deg(^pE(^l),дSn) = deg(qE(£)1дSn) = ( 1)". Но : дЗ" оо М" - непрерывное отображение и пото-

му <?е(ч) 00 я(0 равномерно по £ / дБ" при 0 < £ оо 0, откуда вытекает, что deg(q(£)^дSn) = ( 1)" и формула (9) с точностью до обозначений установлена.

Теорема 1 появилась как попытка ответить на вопрос, заданный в книге [9, с. 220]. Отметим, что подобное утверждение было сформулировано нами ранее в работе [10], но здесь изложено более подробное доказательство, которое представляет, по нашему мнению, и самостоятельный интерес.

1. Красовский H.H. Некоторые задачи теории устойчивости движения. М.: Физматгиз, 1959.

2. Красносельский М.А. Оператор сдвига по траекториям дифференциальных уравнений. М.: Наука. 1960. 331 с.

3. Звягин В. Г. Введение в топологические методы анализа. Воронеж: Издательский дом ВГУ, 2014. 290 с.

4. Ортега Док., Рейнболдт В. Итерационные методы решения нелинейных систем уравнений со многими неизвестными. М.: Мир, 1979. 558 с.

5. Перов А.И., Евченко В.К. Метод направляющих функций. Воронеж: И зд ателье ко-полиграфический центр ВГУ, 2012. 182 с.

6. Натансон И.П. Теория функций вещественной переменной. М.: Наука, 1974. 480 с.

7. Рейссиг Р., Сансоне Дж., Конти Р. Качественная теория дифференциальных уравнений. М.: Наука, 1970 . 318 с.

8. Сансоне Дж. Обыкновенные дифференциальные уравнения. М.: ИИ Л, 1954. Т. 2. 346 с.

9. Зубов В.И. Теория колебаний. М.: Высшая школа, 1979. 400 с.

10. Евченко В.К. Об одной задаче из теории колебаний // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов. 2015. Т. 20. Вып. 5. С. 1136-1138.

СПИСОК ЛИТЕРАТУРЫ

211 с.

514

А. И. Перов, В. К. Каверина

Поступила в редакцию 16 апреля 2018 г. Прошла рецензирование 18 мая 2018 г. Принята в печать 19 июня 2018 г. Конфликт интересов отсутствует.

Перов Анатолий Иванович, Воронежский государственный университет, г. Воронеж, Российская Федерация, доктор физико-математических наук, профессор кафедры системного анализа и управления, e-mail: anperov@mail.ru

Каверина Валерия Константиновна, Воронежский государственный технический университет, г. Воронеж, Российская Федерация, кандидат физико-математических наук, доцент кафедры прикладной математики и механики, e-mail: lera_evk@mail.ru

Для цитирования: Перов А.И., Каверина В.К. Применение идей метода направляющих функций при исследовании неавтономной системы обыкновенных дифференциальных уравнений // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2018. Т. 23. № 123. С. 510-516. БОТ: 10.20310/1810-0198-2018-23-123-510-516

DOI: 10.20310/1810-0198-2018-23-123-510-516

RESEARCH OF THE NONAUTONOMOUS SYSTEM OF ODE BY THE IDEAS OF THE METHOD OF GUIDING FUNCTIONS

A.I. Perov1), V. K. Kaverina2'

Voronezh State University 1 Universitetskaya pi., Voronezh 394018, Russian Federation E-mail: ofhce@main.vsu.ru 2> Voronezh State Technical University 14 Moskovskiy pt., Voronezh 394026, Russian Federation E-mail: vmkaf@vgasu.vrn.ru

Abstract. We indicate sufficient conditions connected with the method of guiding functions, under which periodically perturbed autonomous system of ODE has an periodic solution.

Keywords: periodically perturbed autonomous system of ODE; topological degree of transformation; Steclov average; coercitivity of transformation

REFERENCES

1. Krasovskiy N.N. Nekotorye zadachi teorii ustoychivosti dvizheniya [Some Problems of Dynamic Stability Theory]. Moscow. Fizmatgiz Publ.. 1959, 211 p. (In Russian).

2. Krasnoselskiy M.A. Operator s ding a po traektoriyam differentsial'nykh uravneniy [The Shift. Operator on the Path of the Differential Equations]. Moscow, Nauka Publ., 1960, 331 p. (In Russian).

3. Zvyagin V.G. Vvedenie v topologicheskie metody analiza [The Introduction in the Topological Methods of Analysis]. Voronezh. Voronezh State University Publishing House, 2014, 290 p. (In Russian).

4. Ortega G., Rheinboldt V. Iteratsionnye metody resheniya nelineynykh sistem uravneniy so mnogimi neizvestnymi [Iterative Solution of Nonlinear Equations in Several Variables]. Moscow, Mir Publ.. 1979, 558 p. (In Russian).

5. Perov A.I., Evchenko V.K. Metod napravlyayushchikh funktsiy [Method of Guiding Functions]. Voronezh, Publ.-Polygraphie Centre of Voronezh State University, 2012, 182 p. (In Russian).

6. Natanson I.P. Teoriya funktsiy veshchestvennoy peremennoy [Theory of Functions of Real Variable], Moscow, Nauka Publ., 1974, 480 p. (In Russian).

7. Reissig R., Sansone G., Conti R. Kachestvennaya teoriya differentsial'nykh uravneniy [Qualitative Theory of Nonlinear Differential Equations]. Moscow, Nauka Publ., 1970. 318 p. (In Russian).

8. Sansone G. Obyknovennye differentsial'nye uravneniya [Ordinary Differential Equations]. Moscow, Foreign Languages Publishing House. 1954, vol. 2, 346 p. (In Russian).

9. Zubov V.l. Teoriya kolebaniy [The Theory of Oscillations]. Moscow, Vysshaya Shkola Publ., 1979. 400 p. (In Russian).

10. Evchenko V. K. Ob odnoy zadache iz teorii kolebaniy [About, one problem from the oscillations theory]. Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov

The work is partially supported by the Russian Fund for Basic Research (project № 16-01-00197).

516

A.H. nepoB, B.K. KaBepHHa

University Reports. Series: Natural and Technical Sciences, 2015, vol. 20, no. 5, pp. 1136-1137. (In Russian).

Received 16 April 2018 Reviewed 18 May 2018 Accepted for press 19 June 2018 There is no conflict of interests.

Perov Anatolii Ivanovich, Voronezh State University, Voronezh, the Russian Federation, Doctor of Physics and Mathematics, Professor of the System Analysis and Control Department, e-mail: anperov@mail.ru

Kaverina Valeria Konstantinivna, Voronezh State Technical University, Voronezh, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of Applied Mathematics and Mechanics Department, e-mail: lera_evk@mail.ru

For citation: Perov A.I., Kaverina V.K. Primenenie idei metoda napravlyayushih funkcii pri issledovanii neavtonomnoi sistemy obyknovennyh differencial'nyh uravnenii [Research of the nonautonomous system of ODE by the ideas of the method of guiding functions]. Vestnik Tambovskogo universiteta. Seriya: estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2018, vol. 23, no. 123, pp. 510-516. DOI: 10.20310/1810-0198-2018-23-123-510-516 (In Russian, Abstr. in Engl.).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.