Namespaces
Variants
Actions

Small denominators

From Encyclopedia of Mathematics
Revision as of 17:07, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

small divisors

Divisors of the form

(1)

which appear in the coefficients of series obtained when integrating differential equations using Taylor series, Fourier series or Poisson series; here , are integer vectors, is a real vector, is a complex vector, and denotes the scalar product. The existence of a solution and its properties, such as analyticity, smoothness, etc., depend essentially on the arithmetic nature of the numbers , and the same properties (analyticity, smoothness, etc.) of the differential equations. Conditions are given below which guarantee analyticity of solutions corresponding to analytic problems. These conditions are different for linear and non-linear problems.

1. Linear problems.

a) Taylor series. The solution of the equation

where and is analytic at (where ) and is expressed as the given Taylor series, is given by the Taylor series

This series converges in a neighbourhood of zero if there are such that

(2)

for all integer-valued , . This condition is optimal in the class of all analytic functions ; it is necessary for the convergence of the series .

b) Fourier series. The solution of the equation

(3)

where and the right-hand side is expressed as a Fourier series, is given by the Fourier series

which converges in a strip if is analytic and if

(4)

where the limit is taken over all integer-valued , . This condition is optimal in the class of all analytic functions of the form (3).

Equation (3) arises in the reduction of a system of ordinary differential equations on a torus (see [1]; there (2) is erroneously given instead of (4)). The situation is similar when integrating with respect to a conditionally-periodic function . Similar linear problems occur at each approximation in the iterated solution of non-linear problems (in perturbation theory).

If (2) or (4) are not satisfied, then the non-formal solution of the corresponding problem need not be analytic, smooth or need not exist at all (depending on the arithmetic properties of and ), although formal solutions, the series and , always exist (see [1]).

2. Non-linear problems.

In these problems small divisors (1) do not appear singly but in products.

a) Taylor series. Consider a system near a fixed point ,

(5)

where is a convergent Taylor series without free term. Let for integer-valued , . Then there is a formally invertible change of coordinates

where is also a Taylor series without free term, which transforms (5) to the normal form

(5prm)

The series converges in a neighbourhood of zero if

(6)

where for , , (see ).

Non-linear problems of this type were first solved by C.L. Siegel (1942; see , [3]) under the stricter condition:

(7)

Under this condition and (6) converges. Condition (2) is equivalent to boundedness of the terms of (6); it is necessary for the convergence of for arbitrary analytic . (In [8] necessity of condition (6) for is claimed; for it is unknown what happens in the "gap" between the conditions (2) and (6) (for more complicated resonance situations, see ).) If (2) is not satisfied, then between the solutions of (5) and its normal form (5prm) there need not be an analytic, a smooth or even a topological correspondence.

b) Poisson series. Let an analytic system

(8)

the right-hand sides of which are expanded as a Poisson series near the invariant torus (that is, a Taylor series with respect to and a Fourier series with respect to ), have a formal integral manifold

(9)

where is also a Poisson series. The question arises as to when this manifold is analytic (that is, when is absolutely convergent for sufficiently small and ). Here, among the there may be small parameters; for them . Such problems were first solved by A.N. Kolmogorov [4] for the Hamiltonian system (8) with degrees of freedom and one small parameter (that is, and ): Under the condition

(10)

the analyticity of the manifold (9), consisting of invariant tori, was proved for . At the same place it was suggested for the first time that "Newton's method" , which is fundamental in research into non-linear problems, be used for the proof of the convergence of the Poisson series . Condition (10) and its analogue

were then used in problems of the same type (see [5][7]). The conditions (2) and (4) are also necessary here for the convergence of (9) (for more complicated degenerate situations, see [7]). If these conditions are not satisfied, there need not be an analytic (or even continuous) invariant manifold of the form (9).

The most strict of the restrictions (2), (6), (7), condition (7), is, for , satisfied for almost-all (relative to Lebesgue measure) vectors . Properties of the type of (2), (6), (7) for vectors are studied in the theory of Diophantine approximations. The two-dimensional case has been rather well studied. Let be the denominator of the -th convergent of the continued fraction of . Then (6) is equivalent to convergence of the series

and (2) is equivalent to boundedness of its terms (see also [9], [10]).

Small divisors (1) with variable and have been discussed (see [6]).

Small divisors were first encountered in celestial mechanics, and the fundamental linear problems were solved in 1884 by H. Bruns. In general, in the solar system there are many "points of commensurability" between frequencies, a consequence of which are the small divisors (1). For example, the small divisor , where and are the frequencies of the motions of Jupiter and Saturn, respectively, leads to the appearance of large reciprocal perturbations in the motions of these planets. Another example: the gaps in the asteroid belt and in Saturn's rings correspond to resonance with the frequencies of the perturbing body (Jupiter and Mimas, respectively).

References

[1] A.N. Kolmogorov, "On dynamical systems with integral invariant on a torus" Dokl. Akad. Nauk SSSR , 93 : 5 (1953) pp. 763–766 (In Russian)
[2a] A.D. Bryuno, "Analytical form of differential equations" Trans. Moscow Math. Soc. , 25 (1971) pp. 131–288 Trudy Moskov. Mat. Obshch. , 25 (1971) pp. 119–262
[2b] A.D. Bryuno, "Analytical form of differential equations" Trans. Moscow Math. Soc. , 26 (1972) pp. 199–239 Trudy Moskov. Mat. Obshch. , 26 (1972) pp. 199–239
[3] C.L. Siegel, "Vorlesungen über Himmelsmechanik" , Springer (1956)
[4] A.N. Kolmogorov, "On conservation of conditionally periodic motions for a small change in the Hamilton functions" Dokl. Akad. Nauk SSSR , 98 : 4 (1954) pp. 527–530 (In Russian)
[5] J.K. Moser, "Lectures on Hamiltonian systems" , Amer. Math. Soc. (1968)
[6] V.I. Arnol'd, "Small denominators and the problem of stability of motion in classical and celestial mechanics" Russian Math. Surveys , 18 : 6 (1963) pp. 86–191 Uspekhi Mat. Nauk , 18 : 6 (1963) pp. 91–192
[7] A.D. Bryuno, "Local methods in nonlinear differential equations" , Springer (1989) (Translated from Russian)
[8] J.Z. Yoccoz, "Linearisation des germs de diffeomorphismes holomorphes de " C.R. Acad. Sci. Paris , 306 (1988) pp. 55–58
[9] A.D. [A.D. Bryuno] Bruno, "On small divisors" Banach Center Publications , 23 (1989) pp. 355–359
[10] A.D. [A.D. Bryuno] Bruno, "A comparison of conditions on small divisors" Preprint IHES , 36 (1990)


Comments

References

[a1] V.I. Arnol'd, "Mathematical methods of classical mechanics" , Springer (1978) (Translated from Russian)
[a2] V.I. Arnol'd, V. Avez, "Ergodic problems of classical mechanics" , Benjamin (1968) (Translated from Russian)
How to Cite This Entry:
Small denominators. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Small_denominators&oldid=14339
This article was adapted from an original article by A.D. Bryuno (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article