15.5. Описание решений в одномерном случае ветвления.
При уравнение (15.9) принимает вид
и его можно записать в виде (12.4), т. е. имеем одномерный случай ветвления. Так же, как в п. 12.2, если не все коэффициенты уравнения разветвления равны нулю, при помощи диаграммы Ньютона мы находим все малые решения уравнения (15.12):
По найденным значениям мы находим все решения системы (15.7); они также будут представимы в некоторой окрестности точки в виде сходящихся рядов по целым степеням где натуральные числа. Подставляя эти значения а в (15.5), мы по формуле (15.4) получим все -периодические решения поставленной задачи:
— натуральные числа). Эти ряды сходятся в некоторой окрестности точки Мы приходим к следующим предложениям.
Теорема 15.2. Если не все коэффициенты уравнения разветвления (15.12) равны нулю, то от заданного -периодического решения порождающего уравнения (15.2) ответвляется конечное число непрерывных оапериодических решений уравнения (15.1). При этом компоненты каждой ветви представимы в некоторой окрестности точки в виде сходящихся рядов (15.14).
Теорема 15.3. Если все коэффициенты уравнения разветвления (15.12) равны нулю, то от заданного -периодического решения порождающего уравнения (15.2) ответвляется однопараметрическое семейство апериодических решений
где — произвольный параметр и
В условиях теоремы 15.2 числа находятся при помощи диаграммы Ньютона.
Заметим, что частные случаи, рассмотренные в п. 2.7, приводят, как в п. 12.2, к различным выводам о числе всех -периодических решений рассматриваемой задачи, о виде каждого решения, а в вещественном случае, т. е. когда пространство и параметр X вещественны, о числе вещественных решений и о виде каждого из них.
Как и в предыдущем пункте, вектор-функции входящие в ряды (15.14), могут быть найдены методом неопределенных коэффициентов.
Рассуждая, как в предыдущем пункте, мы приходим к предложению.
Теорема 15.4. Если не все коэффициенты одномерного уравнения разветвления (15.12) равны нулю, то всякое формальное -периодическое решение поставленной для уравнения (15.1) задачи является и настоящим.
В дальнейшем будет показано (см. пример в п. 16.4), что в условиях теоремы 15.3 возможны формальные решения, которые не являются настоящими.