86399 (Динамические системы в плоской области)

Размещено на http://www.allbest.ru/

ТЕМА

ДИНАМИЧЕСКИЕ СИСТЕМЫ В ПЛОСКОЙ ОБЛАСТИ

1. Введение

Мы будем рассматривать системы дифференциальных уравнений вида

(I)

где Р (х, у) и Q (х, у) — непрерывные функции, определенные в некоторой области G евклидовой плоскости (х, у — декартовы координаты) и имеющие в этой области непрерывные частные производные до порядка не ниже первого. Область может быть как ограниченной, так и неограниченной. В частности, область G может совпадать со всей плоскостью (х, у).

Системы вида (I) являются частным случаем систем двух дифференциальных уравнений с двумя неизвестными функциями: независимое переменное t в их правые части явно не входит. Системы дифференциальных уравнений, правые части которых не содержат явно независимое переменное, называются автономными. Автономные системы дифференциальных уравнений называются также динамическими системами.

Систему (I) мы будем называть динамической системой на плоскости или в плоской области. Мы будем также говорить, что динамическая система задана или определена в области G. В дальнейшем мы будем опускать слова «на плоскости» и «в плоской области».

Динамическая система (I), заданная в области G, называется системой класса С_n, если функции Р (х, у) и Q (я, у) являются функциями класса С_n, т. е. имеют в области G непрерывные частные производные до порядка n включительно.

Динамическая система (I) называется системой аналитического класса или аналитической системой, если функции Р и Q являются аналитическими функциями в области G.

Очевидно, всякая система класса C_k (к > 1) является одновременно системой класса C_k1, где к₁ < к, в частности, системой класса C₁. Аналитическая система является системой класса C_k для любого натурального к.

Все рассматриваемые в этой книге динамические системы являются системами класса . Поэтому всюду в дальнейшем под динамической системой мы будем во всяком случае всегда подразумевать систему класса , не оговаривая этого явно.

Изложим простейшие свойства динамических систем в плоской области. Свойства эти характерны для автономных систем дифференциальных уравнений. Неавтономные системы (т. е. системы, в правые части которых t входит явно), вообще говоря, ими не обладают .

2. Геометрическая интерпретация динамической системы (I) в пространстве -R³

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

Функции Р (х, у) и Q (х, у) нужно при этом рассматривать как функции трех переменных х, у и t. Но так как эти функции от t не зависят, то в трехмерном пространстве R³ областью определения правых частей системы (I) является бесконечная цилиндрическая область Н, образованная всеми прямыми, параллельными оси t, пересекающими плоскость (х, у) в точках области G .

Решения

системы (I) интерпретируются как кривые, расположенные в области Н. Эти кривые называются интегральными кривыми системы (I). Мы будем, здесь и всюду в дальнейшем, под решением системы дифференциальных уравнений подразумевать решение, продолженное на максимальный возможный интервал значений t.

Так как функции Р (х, у) и Q (х, у) во всяком случае являются функциями класса С₁ то для системы (I) во всех точках области H выполняются условия теоремы существования и единственности, а следовательно и сама эта теорема. Мы сформулируем ее для системы (I) следующим образом:

Теорема 1. Для любой точки М₀(х₀, ) G и для любого t₀, , существует одно и только одно решение

системы (I), удовлетворяющее начальным условиям

определенное для всех значений t в некотором определенном интервале ( , Т), содержащем t₀.(В частности, решение может быть определено при всех значениях t, т. е. t может быть равно , а Т может быть равно ).

Геометрически теорема 1 означает, что через каждую точку области Н проходит интегральная кривая системы (I) и при этом только одна.

Для системы вида (I) справедлива также следующая теорема, которая существенно используется в дальнейшем:

Теорема 2. Пусть — замкнутая ограниченная область, содержащаяся в области G ( G),

(1)

— решение системы (I), определенное в интервале ( , Т) и такое, что при всех t на интервале ( , Т) точка N ( , ) все время остается в области . Тогда = , T=+ , т.е.решение (1) определено для всех значений t.

Доказательство. Предположим, что решение

определено при значении t - t₀. Пусть — два произвольных числа, причем < t₀, > t₀. Обозначим через конечную цилиндрическую область пространства , состоящую из всех точек М (t, x, у) таких, что , а х, у таковы, что точка (х, у) (рис. 1). Интегральная кривая, соответствующая решению (1), проходит через точку М₀ (t₀, , ), принадлежащую области H₁. Но тогда, в силу теоремы (А') дополнения, эта интегральная кривая выходит из области как при значении, большем t₀, так и при значении, меньшем t₀. Однако выйти из цилиндрической области через боковую поверхность этой области интегральная кривая не может, так как в этом случае, очевидно, нашлась бы точка N ( ), лежащая вне замкнутой области , что противоречит условию теоремы.

Рис. 1.

Следовательно, рассматриваемая интегральная кривая выходит из через нижнее и верхнее основания (рис. 1). Но это значит, что решение (1) определено при t = и t = . Так как произвольны, то решение (1) определено при всех значениях t. Теорема доказана.

3. Простейшие свойства решений системы (I)

Мы установим некоторые cвойства решений системы (I), являющиеся следствием автономности этой системы.

Лемма 1. Если

есть решение системы (I), определенное на интервале ( , Т), то

(2)

где С — любая постоянная, также есть решение системы (I) и это решение определено на интервале ( — С, Т — С).

Доказательство. Так как (1) есть решение системы (I), то при всех t ( , Т) имеет место тождественное равенство

( ), .

Если заменить в этих равенствах t на t+C, то при всех t ( —С,Т — С) мы будем иметь тождественное равенство

(3)

Но, очевидно

,

и, следовательно, равенства (3) могут быть записаны в виде

Последние равенства показывают, что функции (2) являются решением системы (I). Тот факт, что это решение определено на интервале ( — С, Т — С), устанавливается простым рассуждением, которое мы опускаем. Лемма доказана.

С точки зрения геометрической интерпретации в трехмерном пространстве утверждение леммы 1 означает, что линия, получающаяся из любой интегральной кривой путем сдвига ее вдоль оси t на любой отрезок, также есть интегральная кривая. В самом деле, интегральная кривая

получается из интегральной кривой

сдвигом вдоль оси t на величину С.

Лемма 2.

а) Решения системы (I)

(1)

и (2)

можно рассматривать как решения, удовлетворяющие начальным условиям с одинаковыми начальными значениями х₀ и у₀ и различными начальными значениями переменного t.

б) Два решения, удовлетворяющие начальным условиям с одинаковыми начальными значениями переменных х₀, у₀ и различными начальными значениями t,могут быть получены одно из другого заменой t на с надлежащим выбором постоянной С.

Доказательство. Если решение (1) соответствует начальным значениям t₀, x₀, у₀ так, что

(3)

то в силу очевидных равенств

(t₀—С + С) = (t₀) = x₀ ψ (t₀—С + С) = ψ (t₀) = y₀

решение (2) соответствует начальным значениям t₀—С, х₀, у₀, что и доказывает утверждение а).

Далее, рассмотрим наряду с решением (1), соответствующим начальным значениям t₀, x₀, у₀, решение

(4)

соответствующее начальным значениям , x₀, у₀, где t₀. Если в решении

(2)

величину С взять равной t₀— , то оно, очевидно, будет соответствовать тем же начальным значениям , x₀, у₀, что и решение (4). В силу единственности решения, удовлетворяющего данным начальным условиям, отсюда следует

,

что и доказывает утверждение б) леммы.

В дальнейшем, рассматривая наряду с решением (1) решение (2), мы будем часто говорить, что рассматриваются решения, отличающиеся выбором начального значения t. Решение всякой системы двух дифференциальных уравнении, соответствующее любым произвольным начальным значениям t₀, х₀, у₀ , очевидно, является функцией t, t₀, х₀, у₀ , т. е. записывается в виде

х = Ф(t, t₀, х₀, г/о), y= Ψ (t, t₀, х₀, у₀) (5)

При этом по самому смыслу функций Ф (t, t₀, х₀, у₀) и Ψ (t, t₀, x₀, у₀), Ф(t₀, t₀, х₀, у₀) = х₀, Ψ (t₀, t₀, х₀, у₀)= у₀

Однако в случае системы (1), вследствие автономности этой системы, функции (5) являются по существу не функциями переменных t и t₀, а функциями разности t—t₀. Это устанавливается в следующей лемме:

Лемма 3. Решение системы (I) как функции от t и от начальных значений t₀ , x₀ , у₀ ,может быть записано в виде

x = (t—t₀ , х₀ , у₀), y = ψ(t —t₀, х₀, у₀). (6)

Доказательство. Рассмотрим наряду с решением (5) решение

х = Ф(t, 0, х₀, у₀), y =Ψ (t, 0, х₀, у₀),

удовлетворяющие начальным условиям: при t=0, х=х₀, у=у₀

В силу леммы 1 функции