Articulo de referencia

Tamiz grande

El tamiz grande es un método (o familia de métodos e ideas relacionadas) en la teoría analítica de números . Es un tipo de tamiz en el que se elimina hasta la mitad de todas las...

El tamiz grande es un método (o familia de métodos e ideas relacionadas) en la teoría analítica de números . Es un tipo de tamiz en el que se elimina hasta la mitad de todas las clases residuales de números, a diferencia de los tamices pequeños como el tamiz de Selberg, en el que solo se eliminan unas pocas clases residuales. El método se ha perfeccionado aún más con el tamiz más grande , que elimina un número arbitrario de clases residuales. [ 1 ]

Nombre

Su nombre proviene de la aplicación original: dado un conjuntoS{1,,norte}{\displaystyle S\subset \{1,\ldots ,N\}}de tal manera que los elementos deS{\displaystyle S}Se les prohíbe mentir en un conjuntoApagZ/pagZ{\displaystyle A_{p}\subset \mathbb {Z} /p\mathbb {Z} }módulo cada primopag{\displaystyle p}¿Qué tan grande puede ser?S{\displaystyle S}¿Estar aquí?Apag{\displaystyle A_{p}}se considera que es grande, es decir, al menos tan grande como una constante vecespag{\displaystyle p}; si no es así, se habla de un pequeño tamiz .

Historia

La historia temprana del tamiz grande se remonta al trabajo de Yu. B. Linnik en 1941, quien trabajó en el problema del mínimo no residuo cuadrático . Posteriormente, Alfréd Rényi trabajó en él, utilizando métodos de probabilidad. Solo dos décadas después, tras numerosas contribuciones de otros autores, el tamiz grande se formuló de manera más definitiva. Esto ocurrió a principios de la década de 1960, en el trabajo independiente de Klaus Roth y Enrico Bombieri . También fue por esa época cuando se comprendió mejor la conexión con el principio de dualidad. A mediados de la década de 1960, se demostró el teorema de Bombieri-Vinogradov como una aplicación importante de los tamices grandes utilizando estimaciones de los valores medios de los caracteres de Dirichlet . A finales de la década de 1960 y principios de la de 1970, muchos de los ingredientes y estimaciones clave fueron simplificados por Patrick X. Gallagher . [ 2 ]

Desarrollo

Los métodos de cribado grande se han desarrollado lo suficiente como para ser aplicables también a situaciones de cribado pequeño. Algo se considera comúnmente relacionado con el cribado grande no necesariamente en términos de si está relacionado con el tipo de situación descrita anteriormente, sino más bien, si implica uno de los dos métodos de prueba tradicionalmente utilizados para obtener un resultado de cribado grande:

Desigualdad de Plancherel aproximada

Si un conjuntoS{\displaystyle S}está mal distribuido módulopag{\displaystyle p}(en virtud, por ejemplo, de estar excluidos de las clases de congruencia)Apag{\displaystyle A_{p}}) entonces los coeficientes de FourierFpag^(a){\displaystyle {\widehat {f_{p}}}(a)}de la función característicaFpag{\displaystyle f_{p}}del conjuntoSmodpag{\displaystyle S{\bmod {p}}}son en promedio grandes. Estos coeficientes pueden elevarse a valoresF^(a/pag){\displaystyle {\widehat {f}}(a/p)}de la transformada de FourierF^{\displaystyle {\widehat {f}}}de la función característicaF{\displaystyle f}del conjuntoS{\displaystyle S}, eso es, F^(a/pag)=Fpag^(a).{\displaystyle {\widehat {f}}(a/p)={\widehat {f_{p}}}(a).}

Las derivadas de acotación muestran queF^(incógnita){\displaystyle {\widehat {f}}(x)}debe ser grande, en promedio, para todosincógnita{\displaystyle x}números casi racionales de la formaa/pag{\displaystyle a/p}. Grande aquí significa "una constante relativamente grande veces|S|{\displaystyle |S|}". Desde |F|2=|S|,{\displaystyle |f|_{2}={\sqrt {|S|}},} Existe una contradicción con la identidad de Plancherel. |F^|2=|F|2{\displaystyle |{\widehat {f}}|_{2}=|f|_{2}} a menos que|S|{\displaystyle |S|}es pequeño. (En la práctica, para optimizar los límites, hoy en día se modifica la identidad de Plancherel para convertirla en una igualdad en lugar de derivadas acotadas como se indicó anteriormente).

Principio de dualidad

Se puede demostrar fácilmente un resultado de tamiz grande al observar el siguiente hecho básico del análisis funcional: la norma de un operador lineal (es decir, sorberv|Av|W/|v|V,{\displaystyle \sup _ {v}|Av|_{W}/|v|_{V},\,}

dóndeA{\displaystyle A}es un operador de un espacio linealV{\displaystyle V}a un espacio linealW{\displaystyle W}) es igual a la norma de su adjunto, es decir, sorberw|Aw|V/|w|W.{\displaystyle \sup _ {w}|A^{*}w|_{V}^{*}/|w|_{W}^{*}.}

Este principio ha llegado a adquirir el nombre de "tamiz grande" en algunos textos matemáticos.

También es posible derivar el tamiz grande a partir de mayorantes al estilo de Selberg (véase Selberg, Obras completas , vol. II, Lecciones sobre tamices).

Véase también

Referencias

  1. ^ Gallagher, Patricio (1971). «Un colador más grande» . Acta Aritmética . 18 : 77– 81. doi : 10.4064/aa-18-1-77-81 .
  2. Tenenbaum, Gérald (2015). Introducción a la teoría analítica y probabilística de números . Estudios de posgrado en matemáticas. Vol. 163. Sociedad Matemática Americana. pp. 102–104 . ISBN   9780821898543.
Obtenido de " https://en.wikipedia.org/w/index.php?title=Large_sieve&oldid=1308193592 "