Namespaces
Variants
Actions

Difference between revisions of "Average rotation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (typo)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
''of the argument <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142201.png" /> of a complex-valued, uniformly almost-periodic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a0142202.png" />''
+
<!--
 +
a0142201.png
 +
$#A+1 = 19 n = 0
 +
$#C+1 = 19 : ~/encyclopedia/old_files/data/A014/A.0104220 Average rotation
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
''of the argument  $  \mathop{\rm arg}  f(t) $
 +
of a complex-valued, uniformly almost-periodic function $  f(t) $''
  
 
A phenomenon consisting of the existence (given certain conditions, see below) of the limit
 
A phenomenon consisting of the existence (given certain conditions, see below) of the limit
  
<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>
+
$$
 +
\lim\limits _ {t \rightarrow \infty } 
 +
\frac{ \mathop{\rm arg}  f(t) }{t}
 +
  = c.
 +
$$
  
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 $  | f(t) | \neq 0 $
 +
for all $  t $,  
 +
then the selection of a continuous branch of $  \mathop{\rm arg}  f(t) $
 +
is implied. For analytic almost-periodic functions, the concept of average rotation can be retained even when $  f $
 +
contains zeros. Namely, the concepts of "right" and "left" arguments are introduced, whose difference jumps by $  \pm k \pi $
 +
at a zero of multiplicity $  k $
 +
of $  f $,  
 +
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
  
<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/a01422011.png" /></td> </tr></table>
+
$$
 +
= \sum _ { j=1 } ^ { n }  a _ {j} e ^ {i \omega _ {j} t } .
 +
$$
  
J.L. Lagrange studied two simple cases, namely, where one of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422012.png" /> is greater than the sum of the remaining coefficients, and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422013.png" />; 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 [[#References|[1]]]–[[#References|[3]]]). The final result that a trigonometric polynomial always has an average rotation was stated in 1938 by B. Jessen (for its proof, see [[#References|[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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422014.png" /> (see [[#References|[4]]]). In this case, the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422015.png" /> 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 [[#References|[1]]], [[#References|[4]]]). In this case, the average rotation does not always exist, but if it does, then the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422016.png" /> is not necessarily bounded. Nonetheless, it can still possess certain generalized properties of almost-periodicity; this is true, in particular, for trigonometric polynomials [[#References|[5]]]. Except in the analytic case, only isolated results concerning the average rotation of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422017.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a014/a014220/a01422019.png" />, exist (see [[#References|[6]]], [[#References|[7]]]).
+
J.L. Lagrange studied two simple cases, namely, where one of the $  | a _ {j} | $
 +
is greater than the sum of the remaining coefficients, and for $  n=2 $;  
 +
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 [[#References|[1]]]–[[#References|[3]]]). The final result that a trigonometric polynomial always has an average rotation was stated in 1938 by B. Jessen (for its proof, see [[#References|[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 $  \inf  | f(t) | > 0 $(
 +
see [[#References|[4]]]). In this case, the difference $  \mathop{\rm arg}  f(t)-ct $
 +
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 [[#References|[1]]], [[#References|[4]]]). In this case, the average rotation does not always exist, but if it does, then the difference $  \mathop{\rm arg}  f(t)-ct $
 +
is not necessarily bounded. Nonetheless, it can still possess certain generalized properties of almost-periodicity; this is true, in particular, for trigonometric polynomials [[#References|[5]]]. Except in the analytic case, only isolated results concerning the average rotation of a function $  f $
 +
for which $  | f(t) | \neq 0 $,  
 +
$  \inf  | f(t) | = 0 $,  
 +
exist (see [[#References|[6]]], [[#References|[7]]]).
  
 
====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.

Latest revision as of 11:07, 25 April 2020


of the argument $ \mathop{\rm arg} f(t) $ of a complex-valued, uniformly almost-periodic function $ f(t) $

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

$$ \lim\limits _ {t \rightarrow \infty } \frac{ \mathop{\rm arg} f(t) }{t} = c. $$

The limit itself is also called the average rotation (mean motion). If $ | f(t) | \neq 0 $ for all $ t $, then the selection of a continuous branch of $ \mathop{\rm arg} f(t) $ is implied. For analytic almost-periodic functions, the concept of average rotation can be retained even when $ f $ contains zeros. Namely, the concepts of "right" and "left" arguments are introduced, whose difference jumps by $ \pm k \pi $ at a zero of multiplicity $ k $ of $ f $, 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

$$ f = \sum _ { j=1 } ^ { n } a _ {j} e ^ {i \omega _ {j} t } . $$

J.L. Lagrange studied two simple cases, namely, where one of the $ | a _ {j} | $ is greater than the sum of the remaining coefficients, and for $ n=2 $; 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 $ \inf | f(t) | > 0 $( see [4]). In this case, the difference $ \mathop{\rm arg} f(t)-ct $ 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 $ \mathop{\rm arg} f(t)-ct $ 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 $ f $ for which $ | f(t) | \neq 0 $, $ \inf | f(t) | = 0 $, 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