Математическая энциклопедия - малые знаменатели

делители вида

появляющиеся у коэффициентов рядов при интегрировании дифференциальных уравнений посредством рядов Тейлора, Фурье пли Пуассона; здесь P=(p1, ..., p т), Q=(q1, ..., q п) - целочисленные, действительный и комплексный векторы, а <^.,^.> скалярное произведение. При этом существование решения и такие его качества, как аналитичность, гладкость и т. п., существенно зависят от арнфметич. природы чисел и таких же качеств (аналитичность, гладкость и т. п.) дифференциальных уравнений. Ниже указаны условия на векторы к-рые обеспечивают аналитичность решения соответствующей аналитич. адачи. Эти условия различны для задач линейных и нелинейных.

1. Линейные задачи, а) Ряд Тейлора. Решение x уравнения

где Х=(x1, ..., х n), а функция j аналитична в точке Х=0 (причем j(0)=0) и разлагается в указанный ряд Тейлора, дается рядом Тейлора

Этот ряд сходится в нек-рой окрестности нули, если существуют такие числа e, v>0, что

для всех целочисленных Это условие неулучшаемо в классе всех аналитич. функций j; оно необходимо для сходимости ряда x. б) Ряд Фурье. Решение h уравнения

где Y=(y1, . . ., у т), правая часть к-рого разложена в ряд Фурье, дается рядом Фурье

к-рый сходится в нек-рой полосе если функция y аналитична и

где предел берется по всем целочисленным Р,

Это условие неулучшаемо в классе всех аналитич. функций y вида (3).

Уравнение (3) встречается в задаче приведения системы обыкновенных дифференциальных уравнений на торе (см. [1], там вместо условия (4) ошибочно дано (2)). Аналогично обстоит дело при интегрировании по tусловно периодич. функции Подобные линейные задачи возникают в каждом приближении при итерационном решении нелинейных задач (в теории возмущений).

Если условия (2) или (4) не выполнены, то неформальное решение соответствующей задачи может не быть аналитическим, гладким или даже не существует вовсе (в зависимости от арифметнч. природы векторов и ), хотя формальные решения ряды x и h всегда существуют (см. [1]).

2. Нелинейные задачи. В таких задачах М. з. (1) появляются не поодиночке, а в виде произведений.

а) Р я д ы Тейлора. Рассмотрим систему вблизи неподвижной точки X-0:

где jj сходящиеся ряды Тейлора без свободных членов. Пусть для целочисленных

Тогда существует формальная обратимая замена координат

где xj - также ряды Тейлора без свободных членов, к-рая приводит систему (5) к нормальной форме

Ряды xj сходятся в нек-рой окрестности нуля, если

где но (см. [2]).

Впервые нелинейную задачу такого типа решил К. Зигель (С. Siegel, 1942; см. [2], [3]) при более жестком условии:

При этом условии и ряд (6) сходится. Условие (2) эквивалентно ограниченности членов ряда (6); оно необходимо для сходимости рядов xj при произвольных аналитических jj. Но пока (1982) неизвестно, что происходит в "щели" между условиями (2) и (6) (см. более сложные резонансные ситуации в [2]). Если условие (2)не выполнено, то между решениями системы (5) и ее нормальной формы (5') может не быть аналитического, гладкого и даже топологич. соответствия.

б) Ряды П у а с с о н а. Пусть аналитич. система

правые части к-рой разложены в ряды Пуассона вблизи инвариантного тора Х = 0 (т. е. в ряды Тейлора по Xи ряды Фурье по Y), имеет формальное интегральное многообразие