Namespaces
Variants
Actions

Difference between revisions of "Average rotation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 5: Line 5:
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142203.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142203.png" /></td> </tr></table>
  
The limit itself is also called the average rotation (mean motion). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142204.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142205.png" />, then the selection of a continuous branch of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142206.png" /> is implied. For analytic almost-periodic functions, the concept of average rotation can be retained even when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142207.png" /> contains zeros. Namely, the concepts of "right" and "left" arguments are introduced, whose difference jumps by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142208.png" /> at a zero of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142209.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422010.png" />, and one therefore also speaks of right and left average rotation, unless they coincide, in which case one simply speaks of average rotation.
+
The limit itself is also called the average rotation (mean motion). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142204.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142205.png" />, then the selection of a continuous branch of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142206.png" /> is implied. For analytic almost-periodic functions, the concept of average rotation can be retained even when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142207.png" /> contains zeros. Namely, the concepts of "right" and "left" arguments are introduced, whose difference jumps by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142208.png" /> at a zero of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142209.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422010.png" />, and one therefore also speaks of right and left average rotation, unless they coincide, in which case one simply speaks of average rotation.
  
 
The question of the average rotation arose in connection with the fact that in celestial mechanics the longitude of the perihelion of a planet is expressed approximately as the argument of a certain trigonometric polynomial
 
The question of the average rotation arose in connection with the fact that in celestial mechanics the longitude of the perihelion of a planet is expressed approximately as the argument of a certain trigonometric polynomial
Line 14: Line 14:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> B. Jessen,   H. Tornehave,   "Mean motions and zeros of almost periodic functions" ''Acta Math.'' , '''77''' (1945) pp. 137–279</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B. Jessen,   "Some aspects of the theory of almost periodic functions" , ''Proc. Internat. Congress Mathematicians (Amsterdam, 1954)'' , '''1''' , North-Holland (1954) pp. 304–351</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> H. Weyl,   "Mean motion" ''Amer. J. Math.'' , '''60''' (1938) pp. 889–896</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> B.M. Levitan,   "Almost-periodic functions" , Moscow (1953) (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> R. Doss,   "On mean motion" ''Amer. J. Math.'' , '''79''' : 2 (1957) pp. 389–396</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> B.M. Levitan,   ''Mat. Zametki'' , '''1''' : 1 (1967) pp. 35–44</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> E.A. Gorin,   "A function algebra invariant of the Bohr–van Kampen theorem" ''Mat. Sb.'' , '''82 (124)''' (1970) pp. 260–272 (In Russian)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> B. Jessen, H. Tornehave, "Mean motions and zeros of almost periodic functions" ''Acta Math.'' , '''77''' (1945) pp. 137–279 {{MR|0015558}} {{ZBL|0061.16504}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> B. Jessen, "Some aspects of the theory of almost periodic functions" , ''Proc. Internat. Congress Mathematicians (Amsterdam, 1954)'' , '''1''' , North-Holland (1954) pp. 304–351 {{MR|0095385}} {{ZBL|0079.10402}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> H. Weyl, "Mean motion" ''Amer. J. Math.'' , '''60''' (1938) pp. 889–896 {{MR|1507355}} {{ZBL|0019.33404}} {{ZBL|64.0256.02}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> B.M. Levitan, "Almost-periodic functions" , Moscow (1953) (In Russian) {{MR|0060629}} {{ZBL|1222.42002}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> R. Doss, "On mean motion" ''Amer. J. Math.'' , '''79''' : 2 (1957) pp. 389–396 {{MR|0085390}} {{ZBL|0077.08304}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> B.M. Levitan, ''Mat. Zametki'' , '''1''' : 1 (1967) pp. 35–44</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> E.A. Gorin, "A function algebra invariant of the Bohr–van Kampen theorem" ''Mat. Sb.'' , '''82 (124)''' (1970) pp. 260–272 (In Russian)</TD></TR></table>
  
  
  
 
====Comments====
 
====Comments====
Instead of the term "average rotation" one also uses "mean motionmean motion" , cf. e.g. [[#References|[2]]], p. 310.
+
Instead of the term "average rotation" one also uses "mean motionmean motion" , cf. e.g. [[#References|[2]]], p. 310.

Revision as of 16:55, 15 April 2012

of the argument of a complex-valued, uniformly almost-periodic function

A phenomenon consisting of the existence (given certain conditions, see below) of the limit

The limit itself is also called the average rotation (mean motion). If for all , then the selection of a continuous branch of is implied. For analytic almost-periodic functions, the concept of average rotation can be retained even when contains zeros. Namely, the concepts of "right" and "left" arguments are introduced, whose difference jumps by at a zero of multiplicity of , and one therefore also speaks of right and left average rotation, unless they coincide, in which case one simply speaks of average rotation.

The question of the average rotation arose in connection with the fact that in celestial mechanics the longitude of the perihelion of a planet is expressed approximately as the argument of a certain trigonometric polynomial

J.L. Lagrange studied two simple cases, namely, where one of the is greater than the sum of the remaining coefficients, and for ; he noted that in other cases the question is complicated. The study of this question has been taken up only in the 20th century (for its history, see [1][3]). The final result that a trigonometric polynomial always has an average rotation was stated in 1938 by B. Jessen (for its proof, see [1]). (From the point of view of the theory of dynamical systems, it is a matter of averaging a certain function on a torus along the trajectories of the flow defined by shifts by elements of a one-parameter subgroup. However, this function has singularities that obstruct the automatic use of the corresponding general theorem.) Even earlier than this, H. Bohr proved the existence of an average rotation for any uniformly almost-periodic function for which (see [4]). In this case, the difference is a uniformly almost-periodic function and is bounded. The average rotation of analytic almost-periodic functions in the general case has also been studied (see [1], [4]). In this case, the average rotation does not always exist, but if it does, then the difference is not necessarily bounded. Nonetheless, it can still possess certain generalized properties of almost-periodicity; this is true, in particular, for trigonometric polynomials [5]. Except in the analytic case, only isolated results concerning the average rotation of a function for which , , exist (see [6], [7]).

References

[1] B. Jessen, H. Tornehave, "Mean motions and zeros of almost periodic functions" Acta Math. , 77 (1945) pp. 137–279 MR0015558 Zbl 0061.16504
[2] B. Jessen, "Some aspects of the theory of almost periodic functions" , Proc. Internat. Congress Mathematicians (Amsterdam, 1954) , 1 , North-Holland (1954) pp. 304–351 MR0095385 Zbl 0079.10402
[3] H. Weyl, "Mean motion" Amer. J. Math. , 60 (1938) pp. 889–896 MR1507355 Zbl 0019.33404 Zbl 64.0256.02
[4] B.M. Levitan, "Almost-periodic functions" , Moscow (1953) (In Russian) MR0060629 Zbl 1222.42002
[5] R. Doss, "On mean motion" Amer. J. Math. , 79 : 2 (1957) pp. 389–396 MR0085390 Zbl 0077.08304
[6] B.M. Levitan, Mat. Zametki , 1 : 1 (1967) pp. 35–44
[7] E.A. Gorin, "A function algebra invariant of the Bohr–van Kampen theorem" Mat. Sb. , 82 (124) (1970) pp. 260–272 (In Russian)


Comments

Instead of the term "average rotation" one also uses "mean motionmean motion" , cf. e.g. [2], p. 310.

How to Cite This Entry:
Average rotation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Average_rotation&oldid=19297
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article