Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Normas PDF
Normas PDF
H. A. Helfgott
1
Versin preliminar del 3 de junio de 2005
ndice general
Prefacio v
Captulo 1. Principios bsicos 1
1. La norma `r . La desigualdad del tringulo. 1
2. Comparaciones entre normas 2
3. Normas y dualidad 3
4. Auto-dualidad, productos escalares y desigualdad de Cauchy 5
5. Operadores duales. Principio de la gran criba 8
6. Analsis de Fourier en Z/p. Transformada de Fourier como isometra. 10
Captulo 2. Aplicaciones en la teora de nmeros 13
1. La desigualdad de Cauchy y el anlisis de Fourier en la combinatoria aditiva 13
2. La gran criba: desigualdades 14
3. La gran criba como tal 19
Apndice: lemas sobre los primos. 23
Bibliografa 25
iii
Prefacio
v
CAPTULO 1
Principios bsicos
1Los analistas funcionales generalmente utilizan p en vez de r en este contexto; por lo tanto, hablan de la norma
`p , lo cual es la misma cosa que la norma `r . Seguimos [6] en su utilizacion de `r , en parte para evitar cualquier
confusion con los nmeros primos p.
2En general, la imgen de un conjunto compacto bajo una funcin continua es compacto, y un subconjunto de
Rn es compacto s y slo s es cerrado y acotado (teorema de Heine-Borel).
1
2 1. PRINCIPIOS BSICOS
n1 s ys 1/s
n x + n para y > x 0.
n1 r 1 r 1/r 1 s 1/s
1 r 1/r
(b) Reduzca n x + n y < n1 s
n x + ny para y > x 0 a n1 n + nu <
1 s 1/s
n1
n + n u para u > 1.
1 r 1/r
(c) Pruebe que, para u 0 dado, la funcin r 7 n1
n + nu es estrictamente creciente.
Definimos
|~v | = lm |~v |r , |~v | = lm |~v |r .
r r
Problema 4. (a) Pruebe que |~v | = maxi |vi |, |~v | = mni |vi |.
(b) Muestre que la desigualdad de Jensen vale an si r, s o ambos son iguales a o (y
r < s).
3. NORMAS Y DUALIDAD 3
Como
n
|~v |1 = 1 1 (la media harmnica, MH)
|v1 | + + |vn |
y
|v1 | + + |vn |
|~v |1 = (la media aritmtica, MA)
n
La desigualdad de Jensen implica directamente que
mn |vi | M H M G M A max |vi |,
con igualdad s y solo s ~v = 0.
***
Dada una function integrable (de Riemann, de Lebesgue. . . ) f : X R en un espacio X de
medida 1 (digamos X = [0, 1]), podemos definir
Z 1/r
(1.2.2) |f |r = |f (x)|r dx .
X
3. Normas y dualidad
En general, una funcin linear f de un espacio vectorial V1 sobre un cuerpo k a un espacio
vectorial V2 tambin sobre k es simplemente una function f : V1 V2 tal que3
(a) f (v + w) = f (v) + f (w) para todo v, w V1 ,
(b) f (cv) = cf (v) para todo v V1 y para todo c k.
3En adelante, omitiremos, como es costumbre, las flechas sobre los vectores a menos que haya riesgo de confusin.
4 1. PRINCIPIOS BSICOS
v 7 hv, wi de Rn a R es idntica a f .
Acabamos de ver que Rn puede ser identificado como conjunto con el conjunto de funciones
lineares de Rn a R (tambin llamado el dual de Rn ). Es ahora fcil probar que Rn y el dual de Rn
pueden ser identificados como espacios vectoriales.
Problema 10. (a) Muestre que fcw = cfw para todo w Rn y todo c R.
(b) Muestre que fw1 +w2 = fw1 + fw2 para w1 , w2 Rn cualesquiera.
Queda por probar que Rn y el dual de Rn se pueden identificar como espacios de normas. Para
ello, debemos escoger una norma `r para Rn , y tambin debemos explicar que quiere decir una
norma en un espacio vectorial de funciones lineares, tal como el dual de Rn .
Sea f : V1 V2 una funcin linear de un espacio con norma a otro. Definimos la norma de
operador de f como
|f (v)|
(1.3.2) |f | = sup ,
vV1 ,v6=0 |v|
Problema 13. (a) Muestre que es suficiente probar la desigualdad de Hlder para n = 2.
(b) Pruebe que la desigualdad de Hlder para n = 2 puede reducirse a la aseveracin siguiente:
(1 + x)1/r (1 + y)11/r 1 + x1/r y 11/r para x, y 0, r 1.
(c) Muestre que, para y 0, r 1 fijos, x 7 (1 + x)1/r (1 + y)11/r (1 + x1/r y 11/r ) toma
su mnimo (para x [0, 1) cuando x = y, y que este mnimo es 0.
(d) Concluya que la desigualdad de Hlder es verdadera. Muestre tambin que es una igualdad
solo cuando |vi |r = c|wi |s para algn c R y todo i = 1, 2, , n.
4. AUTO-DUALIDAD, PRODUCTOS ESCALARES Y DESIGUALDAD DE CAUCHY 5
Por el mismo argumento que en la parte 17, tenemos hv1 , tv2 i 12 |v1 |2 + 12 |tv2 |2 . Para que valor de t
es la desigualdad aludida anteriormente una igualdad? Escoja t apropiadamente y pruebe Cauchy.
***
Surge la siguiente pregunta: cuando es una norma inducida por un producto escalar? En otras
p norma | | en un espacio vectorial V , cuando hay un producto escalar h, i en
palabras, dada una
V tal que |v| = hv, vi para todo v V ?
La siguiente condicin es necesaria y suficiente: para v, w V cualesquiera,
(1.4.1) |v + w| + |v w| = 2(|v| + |w|).
Problema 18. (a) Muestre que (1.4.1) es una condicin necesaria.
(b) Suponga que (1.4.1) vale. Defina un producto escalar h, i en trminos de | |. Muestre
que el producto escalar satisface axiomas (a)(d), y que, mas an, es no degenerado.
Problema 19. Muestre que, si r 6= 2, la norma `r no es inducida por un producto escalar.
***
Es posible probar la desigualdad de Hlder utilizando la desigualdad de Cauchy, y la desigual-
dad de Minkowski a travs de la de Hlder, de manera bastante abstracta. El motivo es el siguiente:
hay, como he visto, pruebas casi completamente algebraicas de la desigualdad de Cauchy; de esta
manera conseguimos pruebas de las desigualdades de Hlder y Minkowski de naturaleza ms bien
formal. En particular, estas pruebas valdrn sin la menor alteracin para las normas dadas por
integrales sin necesidad de engorrosos procesos de lmite5.
Podemos ver tanto las normas (1.1.1) y el producto escalar (1.3.1), as como las normas y
productos escalares no normalizados
!1/r n
X X
r
(1.4.2) |x|r = |xi | , hv, wi = vi wi
i i=1
pueden verse como casos especiales de las normas y el producto escalar para integrales de Lebesgue.
Para obtener (1.1.1) y (1.3.1), definimos X = {1, 2, . . . , n} y escogemos para X la medida tal
que (x) = n1 ; para obtener (1.4.2), definimos X = {1, 2, . . . , n} y escogimos (x) = 1.
De una vez extenderemos nuestra definicin del producto escalar a espacios vectoriales com-
plejos. Un producto escalar en un espacio vectorial complejo V es una funcin h, i : V V C
que satisface los mismos axiomas que un producto escalar en un espacio vectorial real, con las
siguientes diferencias:
(a) hcv, wi = chv, wi, en vez de hv, cwi = chv, wi,
(b) hv, wi = hw, vi, en vez de hv, wi = hw, vi.
Denotamos por z el conjugado de un nmero complejo z = a + bi, esto es, z = a bi. Como antes,
hv, vi es un real no negativo, y es igual a cero slo s v = 0.
Problema 20. La prueba de la desigualdad de Cauchy esbozada en el problema 17 se transfiere
con facilidad a los espacios vectoriales complejos. Verifique esta aseveracin.
Problema 21. Para v, w Cn , defina el producto escalar como sigue:
n
1X
(1.4.3) hv, wi = vj wj .
n j=1
Muestre que el producto as definido satisface todos los axiomas del producto escalar, con las
modificaciones listadas arriba para el caso complejo. Porqu es que (1.3.1) es un caso particular de
(1.4.3)?
5Si r es irracional, siempre sera necesario algn proceso de lmite en la prueba de por lo menos algunas
aseveraciones sobre la norma | |r . Empero, este sera un proceso de lmite sobre los reales, y no sobre las funciones
integrables.
4. AUTO-DUALIDAD, PRODUCTOS ESCALARES Y DESIGUALDAD DE CAUCHY 7
Sea X un espacio de medida finita. Podemos definir, como antes, la norma `r sobre las funciones
f : X C:
Z 1/r
r
(1.4.4) |f |r = |f (x)| .
X
Tambien definimos el producto escalar de f, g : X C:
Z
(1.4.5) hf, gi = f (x)g(x)dx.
X
Ya que las normas y el producto escalar en Rn son casos especiales de (1.4.4) y (1.4.5), traba-
jaremos con integrales en el resto de la seccin.
Problema 22. Muestre que (1.4.4) y (1.4.5) satisfacen los axiomas de normas y productos
escalares. La desigualdad de Cauchy para las integrales (1.4.4) y (1.4.5) se deduce directamente de
la prueba abstracta en el problema 17, la cual utiliza solamente los axiomas mencionados.
Problema 23 (Hlder a travs de Cauchy). (a) Utilizando la desigualdad de Cauchy re-
petidamente, muestre que, para m 1, u = 2m ,
Z u Z Z Z
|f1 (x)| |fu (x)| |f1 (x)|u |f2 (x)|u |fu (x)|u ,
X X X X
donde f1 , . . . , fu : X C son funciones integrables cualesquiera.
m
(b) Muestre que la desigualdad de Hlder vale para r de la forma r = 2k , donde k
{1, 2, , 2m }.
(c) Pruebe la desigualdad de Hlder en general, por continuidad.
(d) Muestre que la desigualdad de Hlder es una igualdad slo en el caso especificado en el
Problema 13, parte d.
Problema 24 (Minkowski a travs de Hlder; prueba de F. Riesz). Tratemos de probar la
desigualdad de Minkowski
Z 1/r Z 1/r Z 1/r
r r r
(1.4.6) |f (x) + g(x)| dx |f (x)| dx + |g(x)| dx ,
X X X
donde f, g : X R, a travs de la desigualdad de Hlder (1.3.3).
(a) Para comenzar, reduzca (1.4.6) al caso de f, g : X R con valores no negativos solamente.
(Entonces los valores absolutos ya no son necesarios.)
(b) Necesitamos expresar X (f (x) + g(x))r dx como un producto escalar hv, wi. Explore las
R
posibilidades.
(c) Si v = v1 +v2 , tenemos hv, wi = hv1 , wi+hv2 , ui. Que se obtiene si se aplica la desigualdad
de Hlder a ambos terminos (por separado) del lado derecho de esta igualdad?
En estas notas trabajamos siempre con X de medida finita. Gran parte de lo que estamos
desarrollando vale tambin para X de medida infinita, el cual es un caso con numerosas aplicaciones;
empero, tambin es un caso con muchas dificultades adicionales, debidas en parte al hecho que,
para una normaR dada, una funcin continua f : X C de un espacio de medida infinita a C no
tiene integral X f (x) finita las ms de las veces. (Hay complicaciones severas que aparecen incluso
cuando el espacio X es de medida finita pero no compacto. Ver el problema 30.) El caso ms
sencillo con X infinito es el de X = N con ({x} = 1. Entonces una funcin f : X C de norma
`1 es lo mismo que una serie absolutamente convergente, el espacio de funciones de f : X C de
norma `2 es el espacio de Hilbert de dimensin enumerable, cuya teor dista mucho de ser trivial.
***
En la teora de nmeros, el siguiente caso especial de la desigualdad de Cauchy es muy utilizado.
En su primera forma, tambin es un caso especial de la desigualdad de Jensen.
Problema 25. (a) Sean a1 , . . . , an R. Muestre que
n
!2 n
X X
(1.4.7) ai n a2i .
i=1 i=1
8 1. PRINCIPIOS BSICOS
(b) Supongamos que a lo mas m de los ai son no nulos. Muestre que, entonces,
n
!2 n
X X
(1.4.8) ai m a2i .
i=1 i=1
Tpicamente, separariamos entonces la suma doble exterior de (1.4.9) en una parte diagonal
m n
!2
X X
ai,j1 ai,j2 ,
j=1 i=1
que consiste de todos los otros trminos. Entonces acotaramos la parte diagonal por fuerza bruta
(gracias a su pequeo nmero de trminos) y trataramos de obtener cancelacin en las sumas de
la forma
Xn
ai,j1 ai,j2 ,
i=1
para la mayora de los pares (j1 , j2 ) con j1 6= j2 . (Obtener cancelacin consiste en mostrar que
los argumentos (ngulos) de los nmeros complejos ai,j1 ai,j2 son lo suficientemente distintos como
para que las contribuciones de los termines ai,j1 ai,j2 a la suma se eliminen en gran parte las unas
a las otras. Claro est, ai,j1 ai,j2 podran ser todos reales; en ese caso, el signo juega el rol del
argumento (arg(r) = 0 para r > 0, arg(r) = para r < 0).
6Por cierto, cualquier producto escalar en Cn es equivalente al producto escalar usual en Cn bajo alguna
transformacin linear invertible de Cn a Cn . Esto es equivalente al hecho que toda matriz Hermitiana (M = tM ) es
diagonalizable (en C).
5. OPERADORES DUALES. PRINCIPIO DE LA GRAN CRIBA 9
para todo ~y Rn .
***
10 1. PRINCIPIOS BSICOS
***
Dado un subconjunto A Z/p, denotamos por A su nmero de elementos, y por A : Z/p C
su funcin caracterstica (
1 if x A,
A (x) =
0 if x 6 A.
Por lo tanto, |A| = |A |1 = |A |22 .
Definimos
A + A = {x + y : x, y A}, A = {x : x A} para Z/p.
Es de esperarse que, para un A tpico o dentro de lo normal, el nmero de elementos de A + A
no sea menor que una constante por |A|2 . Por otra parte, si A = {1, 2, . . . , k}, entonces |A + A| es
slamente 2|A| 1. Lo mismo es cierto si A es una progresin aritmtica cualquiera, mdulo p.
Mostraremos que, si bien |A + A| puede ser pequeo, |A + A| no lo ser para algn S,
donde S Z/p es un subconjunto cualquiera. (Para que el resultado no sea trivial o vacuo, es
necesario que S tenga un cierto nmero mnimo de elementos.)
Problema 37 ([10], Lemma 2). (a) Pruebe que, para cualquier Z/p,
p |A A |22 2
= |A| + |{(a1 , b1 , a2 , b2 ) : a1 , b1 , a2 , b2 A, a1 6= a2 , a1 + b1 = a2 + b2 }|.
(b) Muestre que, en consecuencia,
X
p |A A |22 |S||A|2 + |A|4 .
S
13
14 2. APLICACIONES EN LA TEORA DE NMEROS
Problema 38 ([7], Lemma 2.5). Veremos que se puede obtener una cota para |A + A|
complementaria a aquella obtenida en el problema 37: a veces es ms fuerte que esta, y a veces
ms debil. Usaremos tanto el anlisis de Fourier como la desigualdad de Cauchy.
(a) Muestre que
X X
1 1
|A A |22 = p A |22 |S||A(0)|
|A\ 4
+ p2 (|c 2 2 4 2
A |2 ) = 4 |S||A| + 2 |A| .
p p
S S
[13], Criba
Una criba es un mtodo que nos permite contar cuantos elementos de un conjunto dado no
son eliminados por una sucesin de criterios. Generalmente, se trata de conjuntos de enteros, y de
criterios de divisibilidad.
Podemos utilizar una criba para encontrar primos: comenzamos con el conjunto A de todos
los enteros de 1 a n; para cada primo p n1/2 , eliminamos todos los elementos de A divisibles
por p; si llevamos cuenta de cuantos elementos son eliminados en cada paso, cuidandonos de no
contar ningn elemento por partida doble, terminaremos con el nmero de primos de 1 a n.
Problema 39 (Criba de EraststenesLegendre). Hay n enteros de 1 a n. De stos, bn/2c son
divisibles por 2, y bn/3c son divisibles por 3. El nmero de enteros de 1 a n que no son divisibles
ni por dos ni por tres no es n b n2 c b n3 c, ya que los elementos divisibles por 6 son contados
por partida doble. Compensando este hecho, obtenemos que el nmero de enteros de 1 a n es
n b n2 c b n3 c + b n6 c.
(a) Muestre que, en general, el nmero de enteros de 1 a n sin factores primos con D es
X jnk X 1 Y 1
(2.2.1) (d) =n (d) + O( (D)) = n 1 + O( (D)),
d d p
d|D d|D p|D
donde (d) es el nmero de divisores (enteros positivos) de d, O(x) denota una cantidad
acotada en valor absoluto por Cx, donde C es una constante (en este caso 1) y (d) es
2. LA GRAN CRIBA: DESIGUALDADES 15
la funcin de Mbius
1
si d tiene un nmero par de divisores primos, ninguno repetido
(d) = 1 si d tiene un nmero impar de divisores primos, ninguno repetido
0 si p2 |d para algn primo p.
Gracias al teorema de Mertens (2.3.7), podemos ver que la cota dada por (2.2.3) es simplemente
n
(n) (n1/2 ) ,
log log n
lo cual es bastante pobre comparado con la realidad (ver el apndice 3). El mtodo del problema 39
tiene la virtud de ser adaptable al estudio de muchos conjuntos aparte del de los nmeros primos
por ejemplo, una modificacin nos da la asinttica correcta para el nmero de enteros de 1 a n
libres de cuadrados, i.e., no divisibles por ningn cuadrado d2 , d > 1. An as, podemos ver que
se trata de un mtodo mas bien dbil.
La idea de las pequeas cribas (criba pura de Brun, criba de Brun, criba de Selberg, criba
de Rosser-Iwaniec) consiste en aproximar y truncar (d) en (2.2.1) de tal manera que el error as
incurrido sea mucho menor que la mejora en el trmino de error (inicialmente O( (d))) de (2.2.1).
La gran criba sigue un enfoque distinto, aunque, como veremos ms tarde, con ciertos reen-
cuentros con el de las pequeas cribas (en particular, la criba de Selberg). La primera gran criba
fue concebida y formulada por Linnik [11] para situaciones en las cuales hay un gran nmero
de residuos por primo a ser excluidos. Rnyi encontr un resultado mas fuerte que el de Linnik
mediante un enfoque probabilstico. Desde ese entonces, la gran criba ha sido mejorada, pero por
lo menos su enunciado ha conservado un fuerte resabio probabilstico, por lo menos en el sentido
formal.
***
Sea A Z un conjunto finito. Definimos
Z = |A |, Z(d) = |{a A : d|a}|.
Lo razonable es suponer que Z(p) sea aproximadamente Z/p para un prmo tpico p. Esto no
puede cierto para todo A y todo p; tomemos, por ejemplo, el caso de A igual al conjunto de
todos los primos de 1 a n. Empero, el conjunto de primos es en cierto sentido penalizado por
su excepcionalidad; queremos mostrar que un conjunto puede ser excepcional slo en cuanto sea
pequeo.
Problema 40. Estimaremos la norma `2 de la desviacin de Z(p) con respecto a Z/p.
(a) Sea A {1, 2, . . . , n}. Se nos da el problema de mostrar que
X 2
Z
(2.2.4) p Z(p) CX,n |A |
p
pX
para alguna constante CX,n dependiente slo de X y n. Reformule (2.2.4) como una
aseveracin sobre la norma1 |A|2,2 de un operador A : Rn Rm , donde m es el nmero
de primos X. Note que |A | = |~x|22 , donde xj = 1 para j A y xj = 0 para j
/ A.
(b) Encuentre el dual A de A. Escriba su norma |A |2,2 .
1En toda esta seccin, puede utilizar la norma ` no normalizada Pn |x |2 , si esto le resulta ms conveniente.
2 j=1 j
16 2. APLICACIONES EN LA TEORA DE NMEROS
(c) Proceda como en (1.4.9) y lo que le sigue, inviertiendo el orden de la suma y separando los
trminos diagonales de los no diagonales. En el problema presente, la parte no diagonal
dar el trmino de error, y la parte diagonal dar el trmino principal para valores tpicos
de X y n.
(d) Estime las contribuciones de la partes diagonal y no diagonal. Concluya que
X 2
Z
(2.2.5) p Z(p) (n + X 2 )|A |.
p
pX
Pn
suma de trminos diagonales y no diagonales. Simplifique las sumas j=1 e2ixj provenientes de
los trminos no diagonales mediante la identidad obtenida en el problemap 42; no las acote todava.
(O actelas, despus de todo; probablemente obtendr una cota de n + O(X 2 log X) para lo
norma, lo cual fue el mejor resultado en algun momento, pero ya ha sido superado.)
Pm
La contribucin total de los trminos diagonales es n j=1 |xj |2 . La suma de los trminos no
diagonales es
1 1 pX
X X pX 2 1
sin n
(2.2.8) x(p1 ,a1 ) ei(n+1)a1 /p1 x(p2 ,a2 ) ei(n+1)a2 /p2 .
sin
p1 X p2 X a1 =1 a2 =1
(p1 ,a1 )6=(p2 ,a2 )
Problema 44 (Un lema tcnico). Sean r R dados tales que |r1 r2 | para r1 , r2
distintos cualesquiera, donde > 0 es un positivo arbitrario. Queremos obtener la cota
X X
z z
r1 r2 X
|zr |2
(2.2.9)
r1 r2 r1 r2 r
r 6=r
1 2
para z1 , z2 , . . . , zn C cualesquiera.
(a) Probar (2.2.9) es lo mismo que mostrar que, para todo ~z, |h~z, A~zi| |~z|22 , donde Ai,j =
1
i j si i 6= j, y Ai,i = 0. Dado que A es una matriz antisimtrica, que estamos tratando
de probar acerca del mayor autovalor (en valor absoluto) 0 de A? (Por lo mismo que A
es antisimtrica, todos sus autovalores son puramente imaginarios.)
(b) Cual es el mayor autovalor de tA A, en trminos de 0 ? Sea ~v0 un autovector de A corre-
spondiente a 0 . Cul es el valor de t~v0 tA A~v0 , en trminos de 0 ?
(c) Desarrolle t~v tA A~v , utilizando la identidad
1 1 1 1 1
= .
i k j k j i i k j k
P vj
Asumiendo ~v es un autovector de A (i.e., j6=i i j
= vi para todo i y algn pura-
mente imaginario), simplifique y obtenga tanta cancelacin en t~v tA A~v como sea posible.
Despues del uso de la ms simple de las desigualdades que conocemos en parte de lo que
queda, debe obtener la cota superior
X X 1
(2.2.10) 3 |vi |2 .
i
(i k )2
k
P 2
(d) Utilize el hecho que |i j | > , asi como la conocida igualdad n=1 n12 = 6 (Euler),
para acotar (2.2.10). Obtenga, finalmente, (2.2.9).
Problema 45 (Corolarios de (2.2.9)). (a) Sean r R dados tales que |r1 r2 |
para r1 , r2 distintos cualesquiera, donde > 0 es un positivo arbitrario. Procediendo a
partir de (2.2.9), queremos obtener la cota
X X
zr 1 zr 2 1X
|zr |2
(2.2.11)
r 1 r2 sin ( r 1
r )
2
r
r 6=r
1 2
para z1 , z2 , . . . , zn C cualesquiera. Aplique (2.2.9) a los nmeros con doble ndice m,r =
m + r , zm,r = (1)m zr , donde 1 m K y K es un parmetro a fijar ms tarde.
Reemplaze la condicin (m1 , r1 ) 6= (m2 , r2 ) por r 6= s (porqu es que esto no cambia el
resultado?), defina k = m n y reemplaze la suma con respecto a m1 y m2 por una suma
con respecto a k, con pesos K |k|. Divida por K, deje que K y utilize la igualdad
PK k
lmK k=K (1)
k+ = sin (la cual, como la suma de Euler antes utilizada, puede
probarse por integracin de contornos en el plano complejo).
18 2. APLICACIONES EN LA TEORA DE NMEROS
(b) A decir verdad, para obtener (2.2.13), utilizamos el dato que p es primo slo mediante el
hecho que, cuando p1 , p2 son primos X y a1 , a2 son enteros tales que (p1 , a1 ) 6= (p2 , a2 ),
a1 - p1 , a2 - p2 , entonces
a1
a2 1 1 .
p1 p 2 p 1 p2 X2
Ahora bien, esto es cierto para enteros generales q1 , q2 X en vez de primos p1 , p2 X,
con tal que mcd(a1 , q1 ) = 1, mcd(a2 , q2 ) = 1. Deduzca que
X q1
X n
X
2 2
(2.2.14) |S(a/q)| (n + X ) |xj |2 (Roth [15], Bombieri [3])
1qX a=0 j=1
mcd(a,q)=1
(c) Queremos expresar 0a<q:mcd(a,q)=1 |S(a/q)|2 en trminos de Z(d, a), para as poder
P
(Utilize la siguiente
P consecuencia inmediata P (y ubicua)
P de la frmula de inversin de
Mbius (2.2.2): 1aq:mcd(a,q)=1 ca = d (d) 1aq:d|q ca para ca cualesquiera.)
Luego muestre que
2
Xq q
X X (d) q
|S(a/q)|2 = q Z ,h .
a=1
d d
h=1 d|q
mcd(a,q)=1
Las desigualdades (2.2.14) y (2.2.15) son esencialmente ptimas. Lo que queda es derivar sus
consecuencias.
2Aditivas, ya que los trminos j 7 e2ija/q implcitos en S(a/q) son caracteres aditivos, esto es, homo-
morfismos de Z (como grupo aditivo) al crculo de radio unidad (como grupo multiplicativo). Existen tambin
formulaciones multiplicativas de la gran criba; ver, e.g., [2], 4.
3
Con un factor (n + X 2 ) mucho ms pequeo, y por lo tanto mucho mejor, que el original de Rnyi por lo
menos para X > n1/3 .
3. LA GRAN CRIBA COMO TAL 19
(a) Cuntos factores primos p > N 1/2 puede tener un nmero n N ? Pruebe (2.3.2) para
1/2 u 1, excluyendo, para cada p > N 1/2 , los 1 n N divisibles por p.
(b) El problema de evitar excluir un elemento n {1, . . . , N } ms de una vez torna el enfoque
directo de (a) improcedente4. Sigamos una de las estrategias ms comunes. Pruebe el
4Esta es, en general, la razn por la cual cribar no es trivial.
20 2. APLICACIONES EN LA TEORA DE NMEROS
lemma de Buchstab:
0
X N 0
l(N, p ) = l(N, p) l ,p ,
pk
k=1
donde p0 y p son dos nmeros primos consecutivos cualesquiera (p0 < p). Deduzca que,
para y, z cualesquiera con y < z,
X N X
N 0
(2.3.4) l(N, y) = l(N, z) l , p0 l , p ,
p pk
y<pz k=2
0
donde p denota
h primo inmediatamente precedente a p.
el
1 1
(c) Sea u0 k+1 , k . Defina y = N u0 , z = N k . Acote el ltimo trmino del lado derecho
de (2.3.4) por o(N ) y estime el segundo trmino asumiendo (2.3.2) para u k1 . Concluya
que (2.3.3) vale para u0 .
Problema 49 (Teorema de Linnik). Sea > 0. Para N arbitrario, sea P el conjunto de
primos p N tales que 1, 2, 3, . . . , bN c son todos residuos cuadrticos mod p. Probaremos que
|P| < C , donde C es una constante que depende slo de .
(a) Sea N = n2 , P como dicho, y S = {1 s N : q primo, q|s q < N }. Dados s S
y p P, que se puede decir acerca de los factores primos de s, considerados mdulo p?
Qu se puede decir acerca de s en s, mdulo p? En que clases p es que s no puede estar?
(b) Cunto es p ? Aplique la gran criba de Linnik (2.3.1) para concluir.
(c) Pruebe el siguiente corolario: para todo > 0, el nmero de primos5 p N tales que
1, 2, 3, . . . , bp c son todos residuos cuadrticos mod p esta acotado por log log N .
***
Derivaremos ahora de (2.2.14) la criba general prometida.
Problema 50. Sea dado un problema de criba por S [1, n], P, y {p }pP . Sea Q el
conjunto de todos los q X iguales a productos de primos distintos en P. Probaremos que
N + X2
(2.3.5) |S | P Q p (Montgomery [12])
qQ p|q pp
Q p
(a) Defina J(q) = p|q pp . Verifique que basta probar
X
(2.3.6) |S(a/q)|2 |S(0)|2 J(q),
1aq
gcd(a,q)=1
/ S.
para j
(b) Muestre que, si sabemos (2.3.6) para q primo y todo ~x Cn tal que xj = 0 para j / S,
podemos probar
P (2.3.6) para q no primo y cualquier ~
x C n
dado con xj = 0 para j / S.
(c) Sea Z(p, a) = 1jn:ja mod p xj . Demuestre que
p1
X p
X
|S(a/p)|2 = p |Z(p, a)|2 |S(0)|2 .
a=1 a=1
Utilizando el hecho que Z(p, a) = 0 para a
/ p , pruebe tambin que
p
X
|S(0)|2 (p p ) |S(p, a)|2 ,
a=1
donde se aplica una de las desigualdades que conocemos. Concluya que (2.3.6) vale para
q = p primo.
5Es una vieja conjetura de Vinogradov que el nmero de tales primos est en verdad acotado superiormente
por una constante. Esta conjetura esta an abierta. Si se asume la hiptesis generalizada de Riemann, se puede
probar la aseveracin de la conjetura, an con p reemplazado por 2(log p)2 (Ankeny, [1]).
3. LA GRAN CRIBA COMO TAL 21
***
Veamos ahora algunas aplicaciones de (2.3.5) como pequea criba, es decir, para p pequeo.
Problema 51 (Brun-Titchmarsh).
Problema 52 (Densidad de primos gemelos).
Apndice: lemas sobre los primos.
23
Bibliografa
[1] Ankeny, N. C., The least quadratic non-residue, Ann. of Math. 55 (1952), no. 1, 6572.
[2] Bombieri, E., Le grand crible dans la thorie analytique des nombres, Astrisque 18 (1987).
[3] Bombieri, E., On the large sieve, Mathematika 12 (1965), 201225.
[4] Charles, D. X., Sieve methods, manuscrito, http://www.cs.wisc.edu/~cdx/Sieve.pdf
[5] Davenport, H., Multiplicative number theory, Markham, Chicago, 1967.
[6] Hardy, G. H., Littlewood, J. E., y G. Plya, Inequalities, 2da ed., Cambridge University Press, 1952.
[7] Helfgott, H. A., Growth and generation in SL2 (Z/p), prepublicacin.
[8] Iwaniec, H., Sieve methods, manuscrito.
[9] Iwaniec, H., y E. Kowalski, Analytic number theory, AMS, Providence, RI, 2004.
[10] Konyagin, S. V., A sum-product estimate in fields of prime order, prepublicacin.
[11] Linnik, Yu. V., La gran criba, Dokl. Akad. Nauk SSSR 30 (1941), 292294 (en ruso).
[12] Montgomery, H. L., A note on the large sieve, J. London Math. Soc. 43 (1968), 9398.
[13] Real Academia Espaola, Diccionario de la lengua espaola, 22da ed., Espasa-Calpe, Madrid, 2001.
[14] Rnyi, A., On the large sieve of Ju. V. Linnik, Compositio Math. 8 (1950), 6875.
[15] Roth, K., On the large sieves of Linnik and Renyi, Mathematika 12 (1965), 19.
25