Bol. Soc. Mat. Mexicana (3) Vol.

11, 2005
DESIGUALDADES Y FORMULAS ASINT

OTICAS PARA SUMAS DE

POTENCIAS DE PRIMOS
RAFAEL JAKIMCZUK
Abstract. We prove the inequality

n
i=1
p
k
i
>
n
k+1
k+1
log
k
n, where n 1 (p
i
is the n-th prime number and k a positive integer). From Cipollas formula
we also obtain asymptotic formulae for

n
i=1
p
k
i
.
Resumen. Se demuestra que la desigualdad estricta

n
i=1
p
k
i
>
n
k+1
k+1
log
k
n
se satisface para todo n 1 (donde p
i
es el i- esimo n umero primo y k un entero
positivo). Se obtienen tambi en f ormulas asint oticas para

n
i=1
p
k
i
, partiendo
de la f ormula asint otica de M. Cipolla para p
n
.
1. Introducci on
Fue probado por Sal at y Zn am [1] que para todo real k 0 se cumple la
siguiente f ormula asint otica (donde p
i
denota el i- esimo n umero primo)
(1.1)
n

i=1
p
k
i

n
k+1
k + 1
log
k
n.
El principal resultado de este artculo es la demostraci on de la siguiente de-
sigualdad estricta cuando k es un entero positivo
n

i=1
p
k
i
>
n
k+1
k + 1
log
k
n.
Por otro lado, utilizando la f ormula de Cipolla, se obtienen tambien f ormulas
similares para
n

i=1
p
k
i
cuando k es un entero positivo.
Estas f ormulas constituyen una demostraci on alternativa de (1.1), propor-
cionando una mejor aproximaci on cuando k es entero.
Recordemos que M. Cipolla [2] demostr o el siguiente teorema para p
n
.
Teorema de Cipolla. Existe una unica sucesi onP
j
(X)(j 1) de polinomios
con coecientes racionales, tal que para cualquier entero no negativo m
(1.2) p
n
= nlog n +nlog log n n +
m

j=1
(1)
j1
nP
j
(log log n)
log
j
n
+o
_
n
log
m
n
_
.
Los polinomios P
j
(X) tienen grado j y coeciente principal 1/j.
Si m = 0 el teorema de Cipolla se reduce a p
n
= nlog n+nlog log nn+o(n),
lo cual tiene como consecuencia d ebil el teorema del n umero primo p
n
nlog n.
2000 Mathematics Subject Classication: 11P32.
Keywords and phrases: sumas de potencias de n umeros primos, f ormula de Sal at y Zn am,
f ormula de Cipolla.
5
6 RAFAEL JAKIMCZUK
2. La desigualdad estricta
Nosotros necesitamos el siguiente lema para demostrar la desigualdad prin-
cipal de este trabajo.
Lema (2.1). Si n exp(exp(1 + 1/k)) se cumple
(2.2)
_
n

i=1
p
k
i

n
k+1
k + 1
log
k
n
_
>
_
n1

i=1
p
k
i

(n 1)
k+1
k + 1
log
k
(n 1)
_
.
Demostraci on. Seaf(x)=
x
k+1
k+1
log
k
x, entonces f

(x) = x
k
log
k
x+
k
k+1
x
k
log
k1
x.
Por el teorema de Lagrange tenemos
(2.3) f(n) f(n 1) = f

(n 1 + ) < f

(n) (0 < < 1)

y la desigualdad de Dusart [3] nos proporciona p
n
> n(log n + log log n 1)
(n 2).
Finalmente, log log n 1 + 1/k por las hip otesis dadas, as que n(log n +
log log n 1) n
_
log n + 1/k
_
. Todo lo anterior implica
p
k
n
> n
k
(log n + log log n 1)
k
n
k
_
log n +
1
k
_
k
= n
k
_
k

i=0
_
k
i
_
log
ki
(n)
_
1
k
_
i
_
n
k
log
k
n + n
k
log
k1
n.
(2.4)
De las ecuaciones (2.3) y (2.4) obtenemos p
k
n
>
n
k+1
k+1
log
k
n
(n1)
k+1
k+1
log
k
(n1) y
esta ultima desigualdad autom aticamente implica (2.2), como queramos.
Corolario. Si k = 1, la desigualdad se cumple para n 1619, si k = 2
para n 89, si k = 3 para n 45, si k = 4 para n 33, si k = 5 para n 28,
si k = 6 para n 25, si k = 7 para n 24, si k = 8 para n 22, si 9 k 10
para n 21, si 11 k 12 para n 20, si 13 k 16 para n 19, si
17 k 24 para n 18, si 25 k 50 para n 17, si k 51 para n 16.
Teorema (2.5). Para todo n 1 se cumple
(2.6)
n

i=1
p
k
i
>
n
k+1
k + 1
log
k
n.
Demostraci on. Considerando la desigualdad de Rosser [4] p
n
> nlog n, (n
1), tendremos
(2.7) 1 +
n1

i=1
_
p
i
p
n
_
k
>
n
k+1
log
k
n
(k + 1)p
k
n
cuando k n,
ya que el primer miembro es mayor que 1 y el segundo es menor que 1.
Multiplicando ambos miembros de (2.7) por p
k
n
, obtenemos
(2.8)
n

i=1
p
k
i
>
n
k+1
k + 1
log
k
n, k n.
Ahora bien, de acuerdo al Lema (2.1), tambi en tenemos que la desigualdad
(2.8) se satisface cuando n exp(exp(1 + 1/k)).
SUMAS DE POTENCIAS DE PRIMOS 7
N otese que k exp(exp(1 + 1/k)) cuando k 17, esto implica que (2.8) se
satisface para todo n 1 cuando k 17. Finalmente, los casos restantes k <
n < exp(exp(1 +1/k)) con 1 k 16, que no son cubiertos por (2.7) o el Lema
(2.1), son una cantidad nita y pueden ser analizados con una computadora.
Todo lo anterior implica que (2.8) se satisface para todos k 1 y n 1.
3. La formula asint otica para

n
i=1
p
i
Teorema (3.1). Existe una unica sucesi on Q
j
(X) (j 1) de polinomios con
coecientes racionales, tal que para cualquier entero no negativo m
n

i=1
p
i
=
n
2
2
log n +
n
2
2
log log n
3
4
n
2
+
m

j=1
(1)
j1
n
2
Q
j
(log log n)
log
j
n
+ o
_
n
2
log
m
n
_
.
(3.2)
Los polinomios Q
j
(X) son de grado j y coeciente principal
1
2j
. Si m = 0 la
f ormula se reduce a
n

i=1
p
i
=
n
2
2
log n +
n
2
2
log log n
3
4
n
2
+ o(n
2
).
Demostraci on. En (1.2) tenemos que
o
_
n
log
m
n
_
= f(n)
n
log
m
n
,
donde lim
n
f(n) = 0.
Ahora consideremos la funci on f(t) denida de la siguiente manera, si t
[n, n + 1) entonces f(t) = f(n)
n
log
m
n
log
m
t
t
. Por lo tanto lim
t
f(t) = 0 y podemos
escribir f(t)
t
log
m
t
= o
_
t
log
m
t
_
.
Consideremos por ultimo la funci on
p
t
= t log t + t log log t t +
m

j=1
(1)
j1
tP
j
(log log t)
log
j
t
+ o
_
t
log
m
t
_
.
Observemos que p
t
o
_
t
log
m
t
_
es estrictamente creciente desde alg un valor t
0
en adelante.
De acuerdo con (1.2) obtenemos
(3.3)
n

i=1
p
i
=
_
n
2
p
t
dt + O(nlog n),
donde
_
n
2
p
t
dt =
_
n
2
(t log t + t log log t t)dt +
m

j=1
_
n
2
(1)
j1
tP
j
(log log t)
log
j
t
dt
+ o
__
n
2
t
log
m
t
dt
_
.
8 RAFAEL JAKIMCZUK
Ahora bien
_
n
2
(t log t + t log log t t) dt =
n
2
2
log n +
n
2
2
log log n
3
4
n
2
+ o(1)

1
2
_
n
2
t
log t
dt.
(3.4)
Si l j, entonces
_
n
2
t(log log t)
l
log
j
t
dt =
n
2
(log log n)
l
2 log
j
n
+ 0(1) +
j
2
_
n
2
t(log log t)
l
log
j+1
t
dt

l
2
_
n
2
t(log log t)
l1
log
j+1
t
dt.
(3.5)
Las ecuaciones (3.4) y (3.5) deben ser integradas sucesivamente hasta obtener
integrales de la forma
_
n
2
t(log log t)
s
log
m+1
t
dt = o
_
n
2
log
m
n
_
.
Por otro lado, claramente
o
__
n
2
t
log
m
t
dt
_
= o
_
n
2
log
m
n
_
.
Por todo lo anterior, podemos deducir que (3.3) y (3.2) coinciden, como quera-
mos demostrar.
Se observa que el procedimiento por el cual demostramos este teorema es
constructivo.
Ejemplo. En (1.2), P
1
(X) = X2, de aqu resulta que (3.2) es, para m = 1,
n

i=1
p
i
=
n
2
2
log n +
n
2
2
log log n
3
4
n
2
+
n
2
(2 log log n 5)
4 log n
+ o
_
n
2
log n
_
.
4. La formula asint otica para

n
i=1
p
k
i
Lema (4.1). Existe una unica sucesi on P
k,j
(X)(j 1) de polinomios con
coecientes racionales, tal que para cualquier entero no negativo m
(4.2) p
k
n
=

c
i
f
i
(n) +
m

j=1
(1)
j1
n
k
P
k,j
(log log n)
log
j
n
+ o
_
n
k
log
m
n
_
.
Los polinomios P
k,j
(X) tienen grado j +k 1 y coeciente principal 1/
_
j+k1
k
_
.
Las f
i
(n) son funciones de la forma n
k
log
r
n(log log n)
s
donde s k y los c
i
son ciertos coecientes. Una de las funciones f
i
(n) es n
k
log
k
n con coeciente 1.
Las otras funciones f
i
(n) satisfacen lim
n
f
i
(n)
n
k
log
k
n
= 0. Si m = 0 la f ormula se
reduce a
(4.3) p
k
n
=

c
i
f
i
(n) + o(n
k
).
SUMAS DE POTENCIAS DE PRIMOS 9
Demostraci on. La demostraci on se basa en calcular la k- esima potencia de
la f ormula de Cipolla (1.2), agrupando los t erminos necesarios bajo el smbolo
de error, esto es:
p
k
n
=
_
_
nlog n + nlog log n n +
m+k1

j=1
(1)
j1
nP
j
(log log n)
log
j
n
+ o
_
n
log
m+k1
n
_
_
_
k
=

c
i
f
i
(n) +
m

j=1
(1)
j1
n
k
P
k,j
(log log n)
log
j
n
+ o
_
n
k
log
m
n
_
.
(4.4)
Ejemplo. Para k = 2 (4.3) se reduce a:
p
2
n
=
_
nlog n + nlog log n n + n
log log n 2
log n
+ o
_
n
log n
__
2
= n
2
log
2
n + 2n
2
log nlog log n 2n
2
log n + n
2
(log log n)
2
3n
2
+o(n
2
).
(4.5)
Teorema (4.6). Existe una unica sucesi on Q
k,j
(X)(j 1) de polinomios con
coecientes racionales, tal que para cualquier entero no negativo m
(4.7)
n

i=1
p
k
i
=

d
i
g
i
(n) +
m

j=1
(1)
j1
n
k+1
Q
k,j
(log log n)
log
j
n
+ o
_
n
k+1
log
m
n
_
.
Los polinomios Q
k,j
(X) tienen grado j +k 1 y coeciente principal
1
k+1
1
(
j+k1
k
)
.
Las g
i
(n) son funciones de la forma n
k+1
log
r
n(log log n)
s
y los d
i
son ciertos
coecientes. Una de las funciones g
i
(n) es n
k+1
log
k
n con coeciente 1/(k + 1).
Las otras funciones g
i
(n) satisfacen lim
n
g
i
(n)
n
k+1
log
k
n
= 0. Si m = 0 la f ormula se
reduce a
(4.8)
n

i=1
p
k
i
=

d
i
g
i
(n) + o(n
k+1
).
Demostraci on. Es an aloga a la del teorema (3.1), ahora utilizando el lema
(4.1).
Ejemplo. Para k = 2, teniendo en cuenta (4.5), (4.8) se reduce a
n

i=1
p
2
i
=
1
3
n
3
log
2
n +
2
3
n
3
log nlog log n
8
9
n
3
log n +
1
3
n
3
(log log n)
2

2
9
n
3
log log n
25
27
n
3
+ o(n
3
).
Nota. (4.8) incluye como consecuencia d ebil a la f ormula de Sal at y Zn am
(1.1) cuando k es un entero positivo.
10 RAFAEL JAKIMCZUK
Agradecimientos
El autor est muy agradecido a los evaluadores de este trabajo por sus
valiosas sugerencias, en particular para mejorar la versi on nal del teorema
(3.1); asimismo, al Dr. Enrique Ramrez de Arellano, Editor General del Bo-
letn de la Sociedad Matem atica Mexicana por su ayuda editorial.
Recibido 24 de Febrero 2004
Versi on nal recibida 3 de Noviembre 2004
Divisi on Matem atica
Universidad Nacional de Luj an
Buenos Aires, Argentina
jakimczu@mail.unlu.edu.ar
REFERENCIAS
[1] T. Sal at and S. Zn am, On the sums of prime powers, Acta Fac. RerumNatur. Univ. Comenian
Math. 21 (1968), 2124.
[2] M. Cipolla, La determinazione assintotica delln
imo
numero primo, Rend. Acad. Sci. Fis.
Mat. Napoli, Ser. 3, 8 (1902), 132166.
[3] P. Dusart, The k
th
prime is greater than k(ln k + lnlnk 1) for k 2, Math. Comput. 68
(1999), 411415.
[4] J. B. Rosser, L. Schoenfeld, Aproximate formulas for some functions of prime numbers,
Illinois J. Math. 6 (1962), 6494.