Применение теоремы Пуанкаре-Бендиксона

Рассмотрим систему

Икс "=" 3 Икс у 2 Икс 2 у у "=" 5 Икс 2 у Икс у 2

Докажите, что система не имеет периодических решений.

Это сложный пример. Линеаризация никуда не ведет, и мне трудно построить функцию Ляпунова, которая делает свое дело. В "=" 1 / 2 ( Икс 2 + у 2 ) дает

В ( Икс , у ) "=" 3 Икс 2 у 2 Икс 3 у + 5 Икс 2 у 2 Икс у 3 "=" 8 Икс 2 у 2 Икс у ( Икс 2 + у 2 ) )

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

Как действовать...?

Обратите внимание, что решения следуют за решениями системы
ты "=" 3 в ты в "=" 5 ты в
в том смысле, что каждый ( Икс , у ) -путь включен в ( ты , в ) -путь, содержащий ( Икс 0 , у 0 ) , только оно следует по этому пути с разной, меняющейся скоростью. (Включение может быть и является строгим, например, каждый ( Икс , у ) -путь остается ограниченным квадрантом, из которого он начался.) ( ты , в ) -линейная система гиперболическая, нет ( ты , в ) -решение периодическое, КЭД.

Ответы (2)

Название вводит в заблуждение: критерий Бендикссона, что следует использовать, утверждает, что для системы

Икс "=" ф ( Икс , у ) у "=" г ( Икс , у )
если ф Икс + г у 0 в односвязной области р , то система не имеет замкнутой траектории внутри р . (См., например , http://math.mit.edu/~jorloff/suppnotes/suppnotes03/lc.pdf для доказательства)

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

ф Икс + г у "=" 3 у 2 2 Икс у + 5 Икс 2 2 Икс у "=" 3 ( у 2 4 3 Икс у + 5 3 Икс 2 ) "=" 3 ( ( у 2 3 Икс ) 2 + 5 2 Икс 2 ) > 0
поскольку любой (строгий) квадрант исключает начало координат, а вывод следует из критерия Бендиксона.

Я дам решение вашей нелинейной системы

г Икс г т "=" 3 Икс у 2 Икс 2 у
и
г у г т "=" 5 Икс 2 у Икс у 2
Разделив уравнение 2 на уравнение 1, мы получим
г у г Икс "=" 5 Икс 2 у Икс у 2 3 Икс у 2 Икс 2 у
Теперь, разделив на Икс 3 и в числителе, и в знаменателе получаем, что
г у г Икс "=" 5 у Икс ( у Икс ) 2 3 ( у Икс ) 2 у Икс

Позволять у "=" Икс в затем г у г Икс "=" Икс г в г Икс + в , таким образом, DE преобразуется в отделимое уравнение.

Икс г в г Икс + в "=" 5 в в 2 3 в 2 в "=" 5 в 3 в 1 ,
поэтому

Икс г в г Икс "=" 5 в 3 в 2 + в 3 в 1 "=" 5 3 в 2 3 в 1

3 в 1 5 3 в 2 г в "=" г Икс Икс

3 в 1 5 3 в 2 г в "=" г Икс Икс

Параметр 3 5 в "=" грех θ 5 3 потому что θ г θ "=" г в , затем

3 5 3 грех θ 1 5 ( 1 грех 2 θ ) 5 3 потому что θ г θ "=" г Икс Икс

так что

3 5 3 грех θ 1 5 ( 1 грех 2 θ ) 5 3 потому что θ г θ "=" загар θ г θ 5 3 1 5 сек θ г θ "=" п | потому что θ | 1 15 п | сек θ + загар θ |

Отсюда решение,

п | потому что θ | 1 15 п | сек θ + загар θ | "=" п | Икс | + С
Наконец, мы можем записать результат как

| потому что θ | | сек θ + загар θ | 1 15 "=" к Икс
где к "=" опыт ( С ) .

Это круто, но явно перебор :)