26 votos

Distribución de

Es bien conocido que el tamaño del conjunto de enteros positivos hasta el $n$ que puede ser escrito como $a^2+b^2$ es asintótica a $C \frac{n}{\sqrt{\log n}}$. Aquí estoy interesado sobre todo en los más débiles hecho de que este conjunto tiene una densidad de $0$.

El último puede ser probado por darse cuenta de que si $m$ es la suma de los cuadrados, no tiene el primer factor de $p\equiv 3 (mod \,4)$ tal que $p\mid m$ pero $p^2\nmid m$. Por lo tanto la densidad de dichos números es en la mayoría de los $$\prod_{p\equiv_4 3} (1-\frac{p-1}{p^2})=0 $$

(más precisa de los límites sobre este producto dará el asintótica $\frac{n}{\sqrt{\log n}}$)

Este resultado es de alguna manera inesperada, ya que muestra que las sumas de cuadrados tienden a "acumular" en sólo un par de lugares donde hay muchas soluciones a $m=a^2+b^2$.

Sin embargo, esta prueba se basa en que "el número teórico de" propiedades de $m=a^2+b^2$ más que en el sumset estructura de las plazas, y se siente que si los número teórico de las propiedades de no existir, podría no ser la "suerte" de que las sumas de cuadrados se acumulan en promedio.

Tal vez el siguiente problema sería mejor comprensión de la sumset estructura, ya que es muy probable que no se induce ninguna descomposición en factores primos propiedades:

Deje $\alpha$ un número irracional (es decir, $\alpha=\sqrt{2}$). Deje $S$ el conjunto de los enteros $n$ de manera tal que el intervalo de $[n,n+1)$ contiene al menos un número de la forma $a^2+\alpha b^2$ para los números enteros $a,b$.

Es la densidad de $S$ positivo?

Existen técnicas conocidas que resolver el problema anterior? O hay al menos heurística que contestar?

Después de todo, es esta acumulación de muchas sumas en algunos lugares una estructura intrínseca a la distribución de las plazas, o es sólo una propiedad que apareció "por casualidad"?

Gracias de antemano.

27voto

Lucia Puntos 20609

Hay un positivo proporción de tales enteros y esto se deduce de trabajo en el Berry-Tabor conjetura debido a Eskin, Margulis y Mozes (no es el trabajo de muchas otras personas de este; ver estos papeles para referencias). Organizar los valores de $a^2+\alpha b^2$ (enteros no negativos $a$ e $b$) en orden ascendente como $\lambda_1 \le \lambda_2 \le \ldots $. Digamos que $\alpha$ es irracional, y no tiene muy buen Diophantine aproximaciones por los números racionales. A continuación, la Baya-Tabor conjetura predice que esta secuencia se comporta como números aleatorios arrojados con el apropiado decir espaciado. A partir de este, se puede comprobar que el número de enteros $n$ que desea a a $N$ debe ser asintóticamente $$ N \Big(1- \exp\Big(-\frac{\pi}{4\sqrt{\alpha}}\Big)\Big). $$ Al $\alpha=\pi$ esta proporción es $0.3579\ldots$, cuando se $\alpha=e$ es $0.3789\ldots$ e al $\alpha=\sqrt{2}$ es $0.4833\ldots$; estos coincidan con los números en los comentarios de maravilla. Hacia la Baya-Tabor conjetura de que uno puede tratar de calcular el par-correlación de la $\lambda_j$'s (iniciada por Sarnak) y esto es lo que se ha logrado por Eskin, Margulis y Mozes (ver Teorema 1.7 de su papel), y esto permitiría que el positivo proporción límite inferior.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X