Sèrie dels inversos dels nombres primers

La suma dels recíprocs dels nombres primers creix indefinidament, però de manera molt lenta. Al gràfic l'eix de les abscisses és en escala logarítmica per mostrar la lentitud de creixement de la sèrie. La funció en porpra és una fita inferior també divergent.

La sèrie dels inversos dels nombres primers és la sèrie definida com la suma dels recíprocs dels nombres primers, és a dir:

$s_n=\sum _{\genfrac{}{}{0ex}{}{p\text{ primer }}{p\le n}}\frac{1}{p}$

Quan n tendeix a infinit la sèrie divergeix:

$\underset{n\to \mathrm{\infty }}{\lim }\sum _{\genfrac{}{}{0ex}{}{p\text{ primer }}{p\le n}}\frac{1}{p}=\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{11}+\frac{1}{13}+\frac{1}{17}+\cdots =\mathrm{\infty }$

Aquest resultat fou demostrat per Leonhard Euler l'any 1737 i, des d'aleshores, s'han formulat diverses demostracions de la divergència de la sèrie. Un d'aquests resultats involucra una fita inferior de la sèrie:

$\sum _{\genfrac{}{}{0ex}{}{p\text{ prime }}{p\le n}}\frac{1}{p}\ge \log \log (n+1)-\log \frac{{\pi }^2}{6}\mathrm{\forall }n\in \mathbb{N}$

Algunes demostracions de la divergència

Demostració original d'Euler

La primera demostració, obra del matemàtic suís Leonhard Euler, parteix del següent resultat per la sèrie harmònica

$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}=\prod _p\frac{1}{1-p^{-1}}=\prod _p(1+\frac{1}{p}+\frac{1}{p^2}+\cdots )$

i, aplicant-ne el logaritme, es troba

$\begin{array}{cc}\log \left(\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}\right)& =\log \left(\prod _p\frac{1}{1-p^{-1}}\right)=-\sum _p\log (1-\frac{1}{p})\\ & =\sum _p(\frac{1}{p}+\frac{1}{2p^2}+\frac{1}{3p^3}+\cdots )\\ & =\left(\sum _p\frac{1}{p}\right)+\sum _p\frac{1}{p^2}(\frac{1}{2}+\frac{1}{3p}+\frac{1}{4p^2}+\cdots )\\ & <\left(\sum _p\frac{1}{p}\right)+\sum _p\frac{1}{p^2}(1+\frac{1}{p}+\frac{1}{p^2}+\cdots )\\ & =\left(\sum _p\frac{1}{p}\right)+\left(\sum _p\frac{1}{p(p-1)}\right)\\ & =\left(\sum _p\frac{1}{p}\right)+C\end{array}$

per una constant C < 1. I com que la suma dels recíprocs dels primers n nombres naturals és asimptòtica a log(n), es conclou

$\underset{n\to \mathrm{\infty }}{\lim }\sum _{\genfrac{}{}{0ex}{}{p\text{ primer }}{p\le n}}\frac{1}{p}=\underset{n\to \mathrm{\infty }}{\lim }\log (\log (n))$

Demostració d'Erdős

Paul Erdős demostrà la divergència per reducció a l'absurd.

Sigui p_i lPlantilla:'i-è nombre primer, i suposem que la sèrie convergeix. Aleshores, ha d'existir un nombre natural k tal que

$\sum _{i=k+1}^{\mathrm{\infty }}\frac{1}{p_i}<\frac{1}{2}(1)$

Sigui x un nombre natural, denotem M_x com el conjunt de valors naturals de n menors o iguals a x no divisibles per cap primer major que p_k. Trobarem ara una fita superior i una fita inferior per |M_x| (la cardinalitat del conjunt M_x) i veurem que per valors de x prou grans les fites entren en contradicció.

Fita superior

Tot n de M_x pot escriure's com n = r m² amb m i r naturals, on r és un enter lliure de quadrats. Com que només els k primers p₁, …, p_k poden aparèixer (amb exponent 1) a la factorització de r, hi ha d'haver com a molt 2^k possibilitats diferents per r. Encara més, hi ha d'haver com a molt √x valors possibles per m. Això ens porta a la fita superior

$|M_x|\le 2^k\sqrt{x}(2)$

Fita inferior

Els x − |M_x| nombres restants a la diferència de conjunts {1, 2, . . ., x} \ M_x són tots divisibles per un primer major que p_k. Sigui N_i,x el conjunt dels n naturals menors o iguals a x que són divisibles pel i-è primer p_i. Aleshores

$\{1,2,\dots ,x\}\setminus M_x=\bigcup _{i=k+1}^{\mathrm{\infty }}{N}_{i,x}$

Com que el nombre d'enters a N_i,x és com a molt x/p_i (de fet és zero per p_i > x), tenim

$x-|M_x|\le \sum _{i=k+1}^{\mathrm{\infty }}|N_{i,x}|<\sum _{i=k+1}^{\mathrm{\infty }}\frac{x}{p_i}$

Fent servir (1), obtenim

$\frac{x}{2}<|M_x|(3)$

Contradicció

Quan x ≥ 2^{2k + 2}, les dues estimacions entren en contradicció perquè $\frac{x}{2}\ge 2^k\sqrt{x}$.

Referències

• Plantilla:Ref-llibre
• Plantilla:Ref-web