Дополнительные замечания к теоремам §§ 2—6
1) Левые части уравнений (2.9), (3.5), (4.10), (5.6), (6.14) как раз и представляют собой порождающие функции, а сами эти уравнения— основные уравнения, о которых говорилось в § 2 гл. 2.
2) Уравнения вида (2.1) и (3.1), о которых идет речь в теоремах §§ 2 и 3, иногда называют каноническими. К такому виду приводятся общие квазилинейные системы вида
'
я, = 2j (t) Щ + Ф* (t) + цфя (Яг, • • •, Хи ц, t) (7.1)
(s = 1, ..., Z),
где ash ф, и Фв есть Т — 2л/со-периодические функции t (в автономном случае а,} и <р, — постоянные, а Ф, не зависят явно от t), если всем кратным корням р характеристического уравнения линейной части системы соответствуют линейные элементарные делители. Переход от уравнений типа (7.1) к уравнениям вида
(2.1) или (3.1) осуществляется путем неособенного линейного преобразования переменных. Практическое нахождение этого преобразования хотя и требует в общем случае знания фундаментальной системы решений соответствующей линейной системы дифференциальных уравнешш с периодическими коэффициентами, но при решении многих прикладных задач, оказывается осуществимым благодаря соответствующей структуре матрицы
3) Теоремы §§ 2 и 3 остаются справедливыми и для системы уравнений, приведенной к канонической форме лишь частично, т. е. только относительно переменных, отвечающих критическим характеристическим показателям. При этом для получения уравнений (2.9), (2.10) и (3.5), (3.7), играющих, как правило, основную роль, достаточно привести систему к канонической форме лишь для переменных xi, хк, соответствующих ведущей критической группе показателей. Более того, уравнения, отвечающие некритическим переменным, могут даже не быть квазилинейными; существенно лищь, чтобы все некритические характеристические показатели системы уравнений в вариациях имели отрицательные вещественные части.
4) Все теоремы, как нетрудно видеть, непосредственно применимы не только к чисто периодическим, но и к синхронным решениям соответствующих систем (см. равенства (1.1) гл. 1).
5) Во многих практически важных задачах, приводящих к исследованию периодических или синхронных движений (в частности, в задачах о внутренней синхронизации динамических систем), период порождающего решения Т заранее неизвестен[52]). В таких случаях естественно попытаться определить этот период, исходя из условия, чтобы он был по возможности ближе к периоду Г*(ц) исходной системы (3.1) или (5.1), а именно из условия, чтобы поправка к периоду 6(ц) с точностью до членов порядка (г обращалась в нуль[53]). Тогда, согласно (3.10) и (5.8), вместо к — 1 уравнений (3.5) получается к равенств
PAai, ..., а*) = 0 (s = 1, ..., к). (7.2)
Из зтих уравнений могут быть определены к — 1 ПОСТОЯППЫХ ССь • • CCfc-1 и период Т.
Благодаря отмеченному обстоятельству оказывается возможным формулировать результаты решения ряда задач о синхронизации в виде, одновременно пригодном как для случая внешней синхронизации, так и для случая внутренней синхронизации. Более того, при определенных условиях можно не останавливаться специально на рассмотрении наиболее сложной задачи о внутренней синхронизации, получая результаты чисто формальным путем из решения более простой задачи о внешней синхронизации [57].
6) Условия теорем §§ 2—5 содержали ограничения, касающиеся линейности элементарных делителей, соответствующих кратным корням характеристического уравнения системы в вари - ацйях; в § 6, однако, допускалось наличие также показателей с квадратными элементарными делителями. С последним случаем приходится сталкиваться при решении ряда задач о синхронизации (например, задач о синхронизации квазиконсервативных объектов и вообще задач, сводящихся к изучению автономных в порождающем приближении систем, для которых период порождающего решения Т зависит, по крайней мере, от одной из посто - яннных <хе). Рассмотрение случая квадратных элементарных делителей кратных корней для ряда конкретизированных систем содержится в работах [208—210, 213, 215, 283], частично изложенных в книге [573.
7) Непосредственное использование теорем позволяет изучить вопрос о наличии или отсутствии факта синхронизации, а также полностью определить порождающие периодические (или синхронные) решения и рассмотреть вопрос об устойчивости решений. В техническом плане дело сводится к составлению и решению основных уравнений Раіаі, ..., ah) = 0, а также к нзучепию знаков вещественных частей корней алгебраических уравнений, т. е. к решению хорошо известной задачи Гурвица. В случаях квазилинейных систем при этом особых трудностей, как правило, не возникает. В случае же систем, близких к нелинейным, трудности связаны с необходимостью нахождения системы периодических решений Zsj системы уравнений, сопряженной с уравнениями в вариациях, т. е. с решением линейных дифференциальных уравнений с периодическими коэффициентами. Впрочем, в ряде практически важных задач такую систему решений все же удается найти без особых затруднений, ибо, как отмечалось в § 2 гл. 1, трудности определяются здесь не степенью сложности системы в целом, а лишь степенью сложности отдельных изолированных объектов.
Обычно при решении прикладных задач о синхронизации установления факта существования устойчивого синхронного движения и его вычисления в порождающем приближении оказывается вполне достаточным. В случае же, когда необходимо более точное нахождение решений, их, вследствие аналитичности по ц, устанавливаемой теоремами, можно разыскивать в виде рядов по целым положительным степеням этого параметра. Вопросы, связанные с практическим определением коэффициентов указанных рядов, рассмотрены в книгах [57, 66, 184].
8) В формулировках теорем указывается, что при наличии у уравнений (2.10), (3.7), (4.11), (5.7) и (6,15) нулевого корня тре - оуотся дополнительное исследование. При этом для теории синхронизации наиболее интересны случаи, когда паличне одного НЛЙ К6( жольких нулевых корней указанных уравнений связано с тем обстоятельством, что основные уравнения (соответственно
уравнения (2.9), (3.5), (4.10), (5.6) и (6.14) позволяют найти только; часть неизвестных а„ а по отношению к другим неизвестным или; к их комбинациям удовлетворяются тождественно. Уравнения (2.10), (3.7), (4.11), (5.7) и (6.15) позволяют при этом получить лишь необходимые условия устойчивости. Такие случаи, о которых говорилось в § 5 гл. 3 и в § 2 гл. 5 и с которыми приходится стал - | киваться при решении некоторых задач о кратной синхронизации, рассмотрены в работах Г. А. Мермана [191] и О. П. Барзу - кова [15, 16], где показано, что оставшиеся неопределенными параметры порождающего решения а„ вообще говоря, можно найти из условий существования и периодичности следующих приближений; на основе изучения этих приближений получаются также недостающие условия устойчивости.
9) Требования, предъявляемые к правым частям дифференциальных уравнений, о которых идет речь в §§ 2—6, могут быть значительно ослаблены при сохранении большинства изложенных результатов [147, 184]. Так, например, во многих случаях от функций X, в уравнениях (2.1), (3.1), (4.1), (5.1) и (6.1) достаточно потребовать не аналитичности по переменным х, х{,
а лишь наличия непрерывных частных производных второго порядка, а от функций F, — непрерывности частных производных первого порядка. Однако с прикладной точки зрения подобные обобщения вряд ли имеют большое значение, ибо в обычно встречающихся задачах правые части дифференциальных уравнений движения либо аналитичны, либо разрывны («кусочно аналитичны»). Рассмотрению этих последних случаев, с которыми приходится сталкиваться, например, при решении задач о синхронизации механических объектов в системах с сухим трением и с ударами, посвящены работы Ю. И. Неймарка и JI. П. Шильни - кова [217, 218], М. 3. Коловского [152] и Р. Ф. Нагаева 1215]; результаты этих работ частично изложены в книге [571.
Обобщение теорем типа приведенных в §§ 2—4 на нелинейные почти периодические системы было дано И. Г. Малкиным [184], а на квазилинейные почти периодические системы с запаздыванием С. Н. Шимановым [301, 302].