О некоторых классах систем дифференциальных уравнений
- Авторы: Родина Л.И.1,2
-
Учреждения:
- ФГБОУ ВО «Владимирский государственный университет имени Александра Григорьевича и Николая Григорьевича Столетовых»
- ФГАОУ ВО «Национальный исследовательский технологический университет «МИСиС»
- Выпуск: Том 29, № 145 (2024)
- Страницы: 77-85
- Раздел: Научные статьи
- URL: https://ogarev-online.ru/2686-9667/article/view/288689
- DOI: https://doi.org/10.20310/2686-9667-2024-29-145-77-85
- ID: 288689
Цитировать
Полный текст
Аннотация
Рассматривается автономная система дифференциальных уравнений вектор-функция и ее производные () непрерывны. Выделены три класса автономных систем и описаны свойства, которыми обладают решения систем каждого класса.
Будем считать, что система относится к первому классу на множестве если правые части этой системы не зависят от переменных то есть данная система имеет вид где Ко второму классу отнесем системы, не входящие в первый класс, для которых выполнено условие «каждая из функций является возрастающей на множестве по всем переменным, от которых она явным образом зависит, за исключением переменной ». Решения систем первого и второго классов обладают свойством монотонности относительно начальных условий.
К третьему классу отнесем системы, не входящие в первый класс, для которых выполнено условие «каждая из функций является убывающей на множестве по всем переменным, от которых она явным образом зависит, за исключением переменной ».
Получены условия отсутствия периодических решений для автономных систем второго порядка, дополняющие известные условия Бендиксона. Доказано, что системы двух дифференциальных уравнений всех трех указанных классов не могут иметь периодических решений.
Ключевые слова
Полный текст
Рассмотрим автономную систему дифференциальных уравнений
(0.1)
где вектор-функция и ее производные () непрерывны. Обозначим через решение данной системы, удовлетворяющее начальному условию
Выделим три класса систем дифференциальных уравнений (0.1) и опишем свойства, которыми обладают решения (интегральные кривые) систем каждого класса.
Будем считать, что система относится к первому классу на множестве если правые части этой системы не зависят от переменных то есть система (0.1) имеет вид где Решением данной системы является вектор-функция Пусть и при где Тогда то есть разность постоянная для всех
Ко второму классу отнесем системы, не входящие в первый класс, для которых на некотором множестве выполнено условие «каждая из функций является возрастающей на множестве по всем переменным, от которых она явным образом зависит, за исключением переменной ». Свойства систем второго класса описаны в работе [1], в которой показано, что решения систем второго класса (0.1) обладают свойством монотонности относительно начальных условий. Очевидно, что свойство монотонности также выполнено для систем первого класса.
К третьему классу отнесем системы, не входящие в первый класс, для которых выполнено условие «каждая из функций является убывающей на множестве по всем переменным, от которых она явным образом зависит, за исключением переменной ». Показано, что системы третьего класса могут не быть монотонными относительно начальных условий, но для них справедливо следующее свойство: «если то не существует точки такой, что ». Здесь и далее неравенство записанное для векторов будем понимать как неравенства Аналогично, означает, что для всех
Получены условия отсутствия периодических решений для автономных систем второго порядка, которые можно определить по свойствам правых частей уравнений. Доказано, что системы двух дифференциальных уравнений всех трех указанных классов не могут иметь периодических решений.
1. Свойства систем второго класса (свойство монотонности решений относительно начальных условий)
Приведем основные результаты о свойствах решений систем второго класса.
Рассмотрим сначала линейную систему дифференциальных уравнений где A — постоянная матрица размеров Известно, что решение данной системы можно записать в виде где — матричная экспонента. Матрица A называется экспоненциально неотрицательной, если для всех Матрица A называется матрицей Метцлера, если ее элементы удовлетворяют неравенствам при см. [2].
Лемма 1.1. (см. [2]). Матрица A является экспоненциально неотрицательной тогда и только тогда, когда она является матрицей Метцлера.
Первоначально данное утверждение, по-видимому, было доказано в работе Т. Важевского [3] в 1950 году. Из леммы 1.1 очевидно следует, что если A – матрица Метцлера и то для любого Таким образом, линейная система с матрицей Метцлера обладает свойством монотонности решений.
Условия, при которых справедливо свойство монотонности решений нелинейной системы (0.1), исследовались в работе [1]. В ней, в частности, показано, что свойство монотонности выполнено для любого дифференциального уравнения вида (0.1).
Напомним, что множество называется положительно инвариантным относительно системы (0.1), если для любой начальной точки траектория решения содержится в D.
Теорема 1.1. (см. [1]). Пусть выполнены следующие условия:
- множество положительно инвариантно относительно системы (1);
- каждая из функций является возрастающей на множестве D по всем переменным, от которых она явным образом зависит, за исключением переменной
- и
Тогда для всех
Замечание 1.1. Если система (0.1) линейная и выполнены условия теоремы 1.1, то матрица данной системы является матрицей Метцлера.
Следствие 1.1. Предположим, что множество положительно инвариантно относительно системы (0.1) и либо для всех Тогда, если и то для всех
Отметим, что свойство монотонности, сформулированное в теореме 1.1, важно для решения многих прикладных задач, среди которых задачи оценки характеристик добычи возобновляемого ресурса, см. [4–6].
2. Свойства систем третьего класса
Системы третьего класса могут не обладать свойством монотонности относительно начальных условий, которое выполнено для систем первого и второго классов (см. ниже пример 2.1). Покажем, что для этих систем справедливо другое свойство, представленное в следующем утверждении.
Теорема 2.1. Пусть выполнены условия:
- множество положительно инвариантно относительно системы (1);
- каждая из функций является убывающей на множестве D по всем переменным, от которых она явным образом зависит, за исключением переменной
- и
Тогда не существует точки такой, что
Доказательство. Введем в рассмотрение функции
(2.1)
которые непрерывны по t как разность непрерывных функций. Заметим, что
Если то Предположим, что утверждение теоремы не верно, тогда существует такое, что то есть для всех
Следовательно, найдутся такие, что Пусть
Из выбора точки следует, что при всех Поскольку то
Пусть где Переходя от системы дифференциальных уравнений (0.1) к интегральным уравнениям, получаем
(2.2)
Определим непустое множество как множество индексов таких, что Заметим, что поскольку траектории с началом в точках не могут прийти за время в одну и ту же точку. Рассмотрим функции
Из равенства (2.2) получаем, что для всех и всех выполнено
(2.3)
Отметим, что из непрерывности подинтегральной функции для всех следует неравенство то есть
(2.4)
Теперь возможны следующие два случая, в первом из которых хотя бы одна из функций зависит от некоторой переменной Пусть это будет функция тогда для всех при и из второго условия теоремы следует Получили противоречие с (2.4).
Во втором случае все функции не зависят от переменных Тогда
(2.5)
и можно выделить из исходной системы (0.1) отдельную подсистему, в которую входят только уравнения с Поэтому из (2.5) следует равенство
из которого получаем что противоречит (2.3).
Следствие 2.1. Предположим, что множество положительно инвариантно относительно системы (0.1) и либо для всех Тогда, если и то не существует точки такой, что
Пример 2.1. Рассмотрим свойства линейной системы третьего класса
(2.6)
Решением системы является функция где
Выпишем функции заданные равенством (2.1):
(2.7)
Покажем, что для данной системы не выполнено свойство монотонности решений относительно начальных условий, которым обладают системы первого и второго классов. Пусть, например, тогда Из (2.7) найдем Следовательно,
Отметим, что для решений системы (2.6) выполнено свойство, доказанное в теореме 2.1. Действительно, пусть тогда Если то из (2.7) следует, что при то есть для всех Если то при то есть для всех Таким образом, если то не существует точки для которой
Системы второго и третьего классов в популяционной динамике двух видов
Пусть численности видов равны и тогда в соответствии с гипотезами Вольтерра модели взаимодействия двух видов могут быть описаны системой уравнений:
(2.8)
Здесь параметры являются постоянными собственной скорости роста видов, — постоянные самоограничения численности (внутривидовой конкуренции), — постоянные взаимодействия видов, Знаки коэффициентов определяют тип взаимодействия, которые классифицированы Е. Одумом по результатам изменения численности каждого вида в присутствии другого вида. Свойства решений системы (2.8) при различных типах взаимодействий подробно изложены в [7, с. 143--157].
Среди систем вида (2.8) нет систем первого класса, поскольку К системам второго класса относятся системы вида (2.8), для которых выполнены следующие неравенства: (модель симбиоза по классификации Е. Одума), (комменсализм), (нейтрализм). Системами третьего класса являются системы, для которых (модель конкуренции) или (аменсализм). Система «хищник-жертва», для которой не относится к трем рассмотренным классам и имеет периодические решения.
3. Условия отсутствия периодических решений для автономных систем второго порядка
Вопросам существования периодических и почти-периодических решений для различных дифференциальных уравнений и систем посвящено множество исследований, среди которых работы [8–10].
В данном разделе получены условия отсутствия периодических решений, которые можно определить по свойствам правых частей систем второго порядка
(3.1)
Одним из таких условий является известный критерий Бендиксона: «Если в односвязной области D частные производные от функций и непрерывны, и выражение сохраняет знак и не тождественно обращается в нуль, то в области D не содержится замкнутых решений» [11, с. 142].
Докажем свойство, верное для системы второго порядка (3.1), принадлежащей одному из трех описанных классов.
Теорема 3.1. Пусть для системы (3.1) в области D выполнено хотя бы одно из условий:
(3.2)
Тогда в области D система (3.1) не имеет периодических решений.
Доказательство. Из условий (3.2) следует, что система второго порядка (3.1) принадлежит одному из трех рассмотренных классов, тогда для нее справедливы утверждения теоремы 1.1 или теоремы 2.1. Предположим, что утверждение теоремы 3.1 не верно. Тогда данная система имеет периодическое решение, которое обозначим а его траекторию обозначим
Рассмотрим случай, когда движение по циклу идет по часовой стрелке. Определим прямые и которые являются вертикальными касательными к траектории такие, что левее прямой и правее прямой нет точек данной траектории. Выберем точки и на кривой так, что тогда на кривой найдутся точки и такие, что и Следовательно, существует такое, что при Получили противоречие, так как последнее свойство не может выполняться для систем первых трех классов. Аналогичное доказательство справедливо в случае, когда движение по циклу идет против часовой стрелки (здесь нужно построить горизонтальные касательные к периодической траектории).
Замечание 3.1. Если линейная система второго порядка принадлежит второму или третьему классу, то собственные значения матрицы A вещественные. Следовательно, особая точка не может быть фокусом или центром.
Пример 3.1. Приведем следствие теоремы 3.1 для уравнения нелинейных колебаний
(3.3)
где функции и непрерывно дифференцируемы. Отметим, что достаточные условия для того, чтобы уравнение (3.3) имело устойчивый предельный цикл, получены в работе А. Ф. Филиппова [9].
Следствие 3.1. Если в некоторой области выполнено неравенство
(3.4)
то в этой области нет периодических решений.
Доказательство. Рассмотрим систему, соответствующую данному уравнению
Найдем поэтому при выполнении неравенства (3.4) указанная система относится ко второму классу. В силу теоремы 3.1 данная система не может иметь периодических решений в области
Об авторах
Людмила Ивановна Родина
ФГБОУ ВО «Владимирский государственный университет имени Александра Григорьевича и Николая Григорьевича Столетовых»; ФГАОУ ВО «Национальный исследовательский технологический университет «МИСиС»
Автор, ответственный за переписку.
Email: LRodina67@mail.ru
ORCID iD: 0000-0003-1077-2189
доктор физико-математических наук, профессор, профессор кафедры функционального анализа и его приложений, Владимирский государственный университет им. А. Г. и Н. Г. Столетовых; профессор кафедры математики, Национальный исследовательский технологический университет «МИСиС»
Россия, 600000, Владимир, ул. Горького, 87; 119049, Москва, Ленинский проспект, 4Список литературы
- Л. И. Родина, М. С. Волдеаб, “О свойстве монотонности решений нелинейных систем относительно начальных условий”, Дифференциальные уравнения, 59:8 (2023), 1022–1028; англ. пер.:L. I. Rodina, M. S. Woldeab, “On the monotonicity of solutions of nonlinear systems with respect to the initial conditions”, Differential Equations, 59:8 (2023), 1025–1031.
- D. Noutsos, M. J. Tsatsomeros, “Reachability and holdability of nonnegative states”, SIAM Journal on Matrix Analysis and Applications, 30:2 (2008), 700–712.
- T. Wazewski, “Systemes des equations et des inegalites differentieles ordinaires aux deuxiemes membres monotones et leurs applications”, Annales de la Societe Polonaise de Mathematique, 23 (1950), 112–166.
- Л. И. Родина, “ Оптимизация средней временной выгоды для вероятностной модели популяции, подверженной промыслу”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 28:1 (2018), 48–58. [L. I. Rodina, “Optimization of average time profit for a probability model of the population subject to a craft”, The Bulletin of Udmurt University. Mathematics. Mechanics. Computer Science, 28:1 (2018), 48–58 (In Russian)].
- L. I. Rodina, A. H. Hammadi, “Optimization problems for models of harvesting a renewable resourse”, Journal of Mathematical Sciences, 25:1 (2020), 113–122.
- М. С. Волдеаб, Л. И. Родина, “ О способах добычи возобновляемого ресурса из структурированной популяции”, Вестник российских университетов. Математика, 27:137 (2022), 16– 26. [M. S. Woldeab, L. I. Rodina, “About the methods of renewable resourse extraction from the structured population”, Vestnik rossiyskikh universitetov. Matematika = Russian Universities Reports. Mathematics, 27:137 (2022), 16–26 (In Russian)].
- Г. Ю. Ризниченко, Лекции по математическим моделям в биологии. Ч. 1, НИЦ «Регулярная и хаотическая динамика», Ижевск, 2002, 232 с. [G. Yu. Riznichenko, Lectures on Mathematical Models in Biology. Part 1, Scientific-Publishing Centre “Regular and Chaotic Dynamics”, Izhevsk, 2002 (In Russian), 232 pp.]
- М. А. Красносельский, А. И. Перов, “Об одном принципе существования ограниченных периодических и почти-периодических решений у системы обыкновенных дифференциальных уравнений”, Доклады Академии наук, 123:2 (1958), 235–238. [M. A. Krasnosel’skiy, A. I. Perov, “On a certain principle of the existence of bounded, periodical and almost periodical solutions to systems of ordinary differential equations”, Doklady Akademii Nauk SSSR, 123:2 (1958), 235–238 (In Russian)].
- А. Ф. Филиппов, “Достаточные условия существования устойчивого предельного цикла для уравнения второго порядка”, Математический сборник (новая серия), 30(72):1 (1952), 171– 180. [A. F. Filippov, “A sufficient condition for the existence of a stable limit cycle for an equation of the second order”, Matematicheskii Sbornik. Novaya Seriya, 30(72):1 (1952), 171–180 (In Russian)].
- В. Н. Лаптинский, “О построении периодических решений дифференциальных уравнений”, Дифференциальные уравнения, 20:3 (1984), 536–539. [V. N. Laptinskiy, “Construction of periodic solutions of differential equations”, Differential Equations, 20:3 (1984), 536–539 (In Russian)].
- В. В. Немыцкий, В. В. Степанов, Качественная теория дифференциальных уравнений, Госте- хиздат, М.–Л., 1949, 448 с. [V. V. Nemytskiy, V. V. Stepanov, Qualitative Theory of Differential Equations, Gostekhizdat Publ., M.–L., 1949 (In Russian), 448 pp.]
Дополнительные файлы
