§ 7. Точечные преобразования и предельные циклы
 
Как мы видели в гл. III, §§ 3 —5, один из способов нахождения предельных циклов и определения их устойчивости состоит в сведении задачи к некоторому точечному преобразованию, к вычислению соответствующей так называемой функции последования. 
1. Функция последования и точечное преобразование.
 
Понятие функции последования было введено Пуанкаре и состоит в следующем. 
Проведем на фазовой плоскости динамической системы 
 
через неособые точки так называемый отрезок без контакта L, т. е. такой отрезок, в каждой точке которого фазовые траектории системы (5.1) пересекают его, не касаясь. Обозначим через  его концевые точки и через
 его концевые точки и через  координату точек отрезка L (мы будем предполагать, что
 координату точек отрезка L (мы будем предполагать, что  монотонно увеличивается при движении вдоль отрезка от
 монотонно увеличивается при движении вдоль отрезка от  например, за
 например, за  может быть взято расстояние точки отрезка от концевой точки А).
 может быть взято расстояние точки отрезка от концевой точки А). 
 
Пусть  точка на
 точка на  Рассмотрим траекторию С, проходящую через точку
 Рассмотрим траекторию С, проходящую через точку  и пусть
 и пусть  движение по этой траектории, при котором точка
 движение по этой траектории, при котором точка  соответствует
 соответствует  Проследим траекторию С для значений Может случиться, что при значении
 Проследим траекторию С для значений Может случиться, что при значении  траектория С больше не пересекает отрезок
 траектория С больше не пересекает отрезок  Мы скажем тогда, что точка Q «не имеет последующих на отрезке L».
 Мы скажем тогда, что точка Q «не имеет последующих на отрезке L». 
Но может случиться, что траектория С пересекает отрезок L еще раз при значении Пусть  первое значение
 первое значение  большее
 большее  при котором С пересекается с
 при котором С пересекается с  соответствующая точка отрезка
 соответствующая точка отрезка  Мы скажем тогда, что точка
 Мы скажем тогда, что точка  «имеет последующую
 «имеет последующую  на отрезке
 на отрезке  (рис. 243).
 (рис. 243). 
 
Рис. 243. 
Легко показать, на основании теоремы о непрерывной зависимости от начальных условий, что если какая-нибудь точка  имеет последующую, не совпадающую с концами А или В отрезка L, то и все достаточно близкие к
 имеет последующую, не совпадающую с концами А или В отрезка L, то и все достаточно близкие к  точки L также имеют последующие.
 точки L также имеют последующие. 
Пусть  координаты различных точек и их последующих на отрезке
 координаты различных точек и их последующих на отрезке  Ясно, что
 Ясно, что  является функцией от
 является функцией от  Эта функция
 Эта функция 
 
называется функцией последования и выражает собой закон некоторого точечного преобразования отрезка L (или его части), устанавливая однозначное соответствие между точками этого отрезка (или его части) и их последующими (на том же отрезке  Геометрически ясно, что «функцию последования» мы имеем тогда, когда отрезок без контакта пересекает траектории, имеющие характер спиралей или замкнутые. При этом очевидно, что если некоторому значению
 Геометрически ясно, что «функцию последования» мы имеем тогда, когда отрезок без контакта пересекает траектории, имеющие характер спиралей или замкнутые. При этом очевидно, что если некоторому значению  соответствует замкнутая траектория, то
 соответствует замкнутая траектория, то  т. е. точка
 т. е. точка  и ее последующая
 и ее последующая  совпадают (такие точки отрезка L, преобразующиеся сами в себя, носят название неподвижных точек точечного преобразования (5.52)). Обратно, отыскание замкнутых траекторий, пересекающих данный отрезок без контакта, сводится к отысканию тех значений 5, для которых
 совпадают (такие точки отрезка L, преобразующиеся сами в себя, носят название неподвижных точек точечного преобразования (5.52)). Обратно, отыскание замкнутых траекторий, пересекающих данный отрезок без контакта, сводится к отысканию тех значений 5, для которых  Нетрудно также видеть, что в том случае, когда все траектории, пересекающие отрезок L, замкнуты, функция последования имеет вид
 Нетрудно также видеть, что в том случае, когда все траектории, пересекающие отрезок L, замкнуты, функция последования имеет вид  Пуанкаре доказал ряд свойств функции
 Пуанкаре доказал ряд свойств функции  которые мы приведем без доказательств.
 которые мы приведем без доказательств. 
I свойство. Если точка  соответствующая
 соответствующая  имеет последующую на отрезке L, то функция
 имеет последующую на отрезке L, то функция  голоморфная функция
 голоморфная функция  в точке
 в точке  свойство. Производная
 свойство. Производная  всегда положительна.
 всегда положительна. 
 
Первое свойство является, по сути дела, следствием теоремы о том, что решения системы (5.1) с аналитическими правыми частями являются аналитическими функциями от начальных условий, а последнее — следствием теоремы Коши, того обстоятельства, что фазовые траектории не могут пересекаться. 
Геометрически последнее свойство означает, что если мы будем двигаться по отрезку L, например, в положительном направлении, то и последующие проходимых нами точек будут двигаться по отрезку L в том же направлении. 
Предположим, что некоторая точка  отрезка L, соответствующая
 отрезка L, соответствующая  имеет последующую (не совпадающую с концами А или В отрезка
 имеет последующую (не совпадающую с концами А или В отрезка  Тогда, в силу сказанного выше, все достаточно близкие к
 Тогда, в силу сказанного выше, все достаточно близкие к  точки также имеют последующие и, следовательно, для всех значений
 точки также имеют последующие и, следовательно, для всех значений  достаточно близких к
 достаточно близких к  существует функция последования
 существует функция последования  Будем двигаться по отрезку L от точки
 Будем двигаться по отрезку L от точки  в положительном (или отрицательном) направлении, т. е., другими словами, будем, начиная с
 в положительном (или отрицательном) направлении, т. е., другими словами, будем, начиная с  увеличивать (или уменьшать)
 увеличивать (или уменьшать)  
 
Могут представиться следующие возможности: 
1) Или мы дойдем до точки  отрезка L, соответствующей
 отрезка L, соответствующей  для которой последующей будет конец В (или А) отрезка L (рис. 243). Тогда точки L, соответствующие значениям
 для которой последующей будет конец В (или А) отрезка L (рис. 243). Тогда точки L, соответствующие значениям  не будут уже, в силу свойства II, иметь последующих на отрезке L и функция последования не будет определена для значений
 не будут уже, в силу свойства II, иметь последующих на отрезке L и функция последования не будет определена для значений  В этом случае мы, вообще говоря, можем удлинить отрезок без контакта и, следовательно, увеличить интервал значений
 В этом случае мы, вообще говоря, можем удлинить отрезок без контакта и, следовательно, увеличить интервал значений  для которых определена функция последования.
 для которых определена функция последования. 
2) Или мы дойдем до такого значения  что все точки отрезка L, соответствующие значениям
 что все точки отрезка L, соответствующие значениям  на интервале
 на интервале  будут иметь последующие, а точка
 будут иметь последующие, а точка  соответствующая
 соответствующая  не будет иметь последующей на отрезке
 не будет иметь последующей на отрезке  
 
Можно показать, что в этом случае траектория, проходящая через точку  будет кончаться в особой точке, не пересекая больше
 будет кончаться в особой точке, не пересекая больше  В том случае, когда мы имеем лишь простые особые точки, эта точка может быть только седлом.
 В том случае, когда мы имеем лишь простые особые точки, эта точка может быть только седлом. 
Может случиться, что точки, соответствующие значениям  опять имеют последующие. Таким образом, у нас имеется функция последования для
 опять имеют последующие. Таким образом, у нас имеется функция последования для  и для
 и для  Для
 Для  функция
 функция  
 
последования неопределенна (рис. 244 и 245). Однако иногда говорят об этих двух функциях последования (одной для  другой для
 другой для  как об одной функции последования, и тогда при значении
 как об одной функции последования, и тогда при значении  эта функция будет, вообще говоря, претерпевать разрыв в том смысле, что
 эта функция будет, вообще говоря, претерпевать разрыв в том смысле, что  
 
 
Рис. 244. 
 
Рис. 245.