Teorema de equidistribución

Los múltiplos enteros de cualquier irracional módulo 1 se distribuyen uniformemente en el círculo.

Ilustración del llenado del intervalo unitario (eje horizontal) con los primeros n términos utilizando el teorema de equidistribución con cuatro números irracionales comunes, para n de 0 a 999 (eje vertical). Las 113 bandas distintas para π se deben a la proximidad de su valor al número racional 355/113. De manera similar, los 7 grupos distintos se deben a que π es aproximadamente 22/7.
(Haga clic para ver la vista detallada)

En matemáticas , el teorema de equidistribución es la afirmación de que la secuencia

a , 2 a , 3 a , ... módulo 1

se distribuye uniformemente en el círculo , cuando a es un número irracional . Es un caso especial del teorema ergódico donde se toma la medida del ángulo normalizado . ${\displaystyle \mathbb {R} /\mathbb {Z} }$ ${\displaystyle \mu ={\frac {d\theta }{2\pi }}}$

Historia

Aunque este teorema fue demostrado en 1909 y 1910 por separado por Hermann Weyl , Wacław Sierpiński y Piers Bohl , variantes de este teorema continúan estudiándose hasta el día de hoy.

En 1916, Weyl demostró que la secuencia a , 2 ² a , 3 ² a , ... mod 1 se distribuye uniformemente en el intervalo unitario. En 1937, Ivan Vinogradov demostró que la secuencia p _n a mod 1 se distribuye uniformemente, donde p _n es el n º primo . La prueba de Vinogradov fue un subproducto de la conjetura de Goldbach impar , según la cual todo número impar suficientemente grande es la suma de tres primos.

George Birkhoff , en 1931, y Aleksandr Khinchin , en 1933, demostraron que la generalización x  +  na , para casi todos los x , está equidistribuida en cualquier subconjunto medible de Lebesgue del intervalo unitario. Las generalizaciones correspondientes para los resultados de Weyl y Vinogradov fueron demostradas por Jean Bourgain en 1988.

En concreto, Khinchin demostró que la identidad

${\displaystyle \lim _{n\to \infty }{\frac {1}{n}}\sum _{k=1}^{n}f((x+ka){\bmod {1}})=\int _{0}^{1}f(y)\,dy}$

se cumple para casi todas las x y cualquier función integrable de Lebesgue ƒ. En las formulaciones modernas, se pregunta bajo qué condiciones se cumple la identidad

${\displaystyle \lim _{n\to \infty }{\frac {1}{n}}\sum _{k=1}^{n}f((x+b_{k}a){\bmod {1}})=\int _{0}^{1}f(y)\,dy}$

podría cumplirse, dada alguna secuencia general b _k .

Un resultado notable es que la secuencia 2 ^k a  mod 1 se distribuye uniformemente para casi todos los irracionales a , pero no para todos . De manera similar, para la secuencia b _k  = 2 ^k a , para cada irracional a , y casi todos los x , existe una función ƒ para la cual la suma diverge. En este sentido, esta secuencia se considera una secuencia de promedios universalmente mala , a diferencia de b _k  =  k , que se denomina una secuencia de promedios universalmente buena , porque no tiene este último defecto.

Un resultado general poderoso es el criterio de Weyl , que muestra que la equidistribución es equivalente a tener una estimación no trivial para las sumas exponenciales formadas con la secuencia como exponentes. Para el caso de múltiplos de a , el criterio de Weyl reduce el problema a la suma de series geométricas finitas .

Véase también

• Aproximación diofántica
• Secuencia de baja discrepancia
• Teorema de aproximación de Dirichlet
• Teorema de los tres huecos

Referencias

Referencias históricas

• P. Bohl, (1909) Über ein in der Theorie der säkularen Störungen vorkommendes Problem , J. reine angew. Matemáticas. 135 , págs. 189-283.
• Weyl, H. (1910). "Über die Gibbs'sche Erscheinung und verwandte Konvergenzphänomene". Rendiconti del Circolo Matematico di Palermo . 330 : 377–407. doi :10.1007/bf03014883. S2CID  122545523.
• W. Sierpinski, (1910) Sur la valeur asymptotique d'une suree somme , Bull Intl. Acad. Polonesa de ciencia. et des Lettres (Cracovia) serie A , págs. 9-11.
• Weyl, H. (1916). "Ueber die Gleichverteilung von Zahlen mod. Eins". Matemáticas. Ana . 77 (3): 313–352. doi :10.1007/BF01475864. S2CID  123470919.
• Birkhoff, GD (1931). "Demostración del teorema ergódico". Proc. Natl. Sci. USA . 17 (12): 656–660. Bibcode :1931PNAS...17..656B. doi : 10.1073/pnas.17.12.656 . PMC  1076138 . PMID  16577406.
• Sí. Khinchin, A. (1933). "Lösung des Ergodensproblems de Zur Birkhoff". Matemáticas. Ana . 107 : 485–488. doi :10.1007/BF01448905. S2CID  122289068.

Referencias modernas

• Joseph M. Rosenblatt y Máté Weirdl, Pointwise ergodic theorems via harmonic analysis (Teoremas ergódicos puntuales mediante análisis armónico ), (1993), que aparece en Ergodic Theory and its Connections with Harmonic Analysis (Teoría ergódica y sus conexiones con el análisis armónico), Proceedings of the 1993 Alexandria Conference (Actas de la Conferencia de Alejandría de 1993 ), (1995), Karl E. Petersen e Ibrahim A. Salama, eds. , Cambridge University Press, Cambridge, ISBN 0-521-45999-0 . (Un estudio exhaustivo de las propiedades ergódicas de las generalizaciones del teorema de equidistribución de los mapas de desplazamiento en el intervalo unitario . Se centra en los métodos desarrollados por Bourgain). 
• Elias M. Stein y Rami Shakarchi, Análisis de Fourier. Una introducción , (2003) Princeton University Press, págs. 105-113 (Demostración del teorema de Weyl basada en el análisis de Fourier)