Producte d'Euler

En Matemàtiques, i més precisament en teoria analítica dels nombres, un producte d'Euler és un desenvolupament en producte infinit, indexat pels nombres primers.^[1]

Permet mesurar el repartiment dels nombres primers i està íntimament vinculat a la Funció zeta de Riemann.

Rep aquest nom en honor del matemàtic Leonhard Euler (1707 - 1783).

Història

Treballs d'Euler

Càlcul d'Euler

Euler busca avaluar el repartiment dels nombres primers en el conjunt dels quals aquí es nota P. Per això, estableix la fórmula següent:

${\displaystyle \forall s\in \mathbb {C} \quad {\mathfrak {Re}}(s)>1\Rightarrow \sum _{n=1}^{\infty }\ {\frac {1}{n^{s}}}\ =\ \prod _{p\in {\mathcal {P}}}\ {\frac {1}{1-p^{-s}}}}$

Aquí Re(s) designa la part real de s.

Euler dona al terme de l'esquerra el nom de funció zeta, està definida sobre el semi-pla complex per:

${\displaystyle \forall s\in \mathbb {C} \quad {\mathfrak {Re}}(s)>1\quad \zeta (s)\ =\ \sum _{n=1}^{\infty }\ {\frac {1}{n^{s}}}}$

Aquesta funció es perllonga analíticament sobre el conjunt del pla complex en una funció meromorfa.

Calcul d'Euler

Sigui k un enter estrictament positiu, P_k el conjunt dels k primers nombres primers i N_k el conjunt dels enters estrictament positius la décomposition en factors primers dels quals no implica més que dels nombres primers del conjunt P_k. Els elements de P_k es noten p₁..., p _k. L'exponent màxim de la descomposició en factors primers d'un enter n es nota E(n).

La notació α designa aquí una ' k-tupa (α₁, α₁..., α_k) d'enters positiu i N(α) designa el valor màxim assolit perla k-tupla.

Finalment, s designa un nombre complex la part real del qual és estrictament superior a 1 i l un enter estrictament positiu. L'objectiu és de calcular la suma S_kl(s), definida per:

${\displaystyle S_{kl}(s)\ =\ \sum _{n\in N_{k}\ E(n)\leq l}{\frac {1}{n^{s}}}}$

Un doble pas al límit, en principi sobre l després sobre k permet de concloure. S'observa en efecte que la suma s'escriu també:

${\displaystyle (1)\quad S_{kl}(s)\ =\ \sum _{N(\alpha )\leq l}{\frac {1}{(p_{1}^{s})^{\alpha _{1}}.(p_{2}^{s})^{\alpha _{2}}.\cdots .(p_{k}^{s})^{\alpha _{k}}}}\ =\ \sum _{N(\alpha )\leq l}\ \prod _{i=1}^{k}{\frac {1}{(p_{i}^{s})^{\alpha _{i}}}}=\prod _{i=1}^{k}\ \sum _{j=0}^{l}{\frac {1}{(p_{i}^{s})^{j}}}}$

Cadascuna de les k sumes del producte obtingut és absolument convergent. Se'n dedueix:

${\displaystyle (2)\quad \sum _{n\in N_{k}\ E(k)\leq l}{\frac {1}{|n^{s}|}}\leq \prod _{i=1}^{k}\ \sum _{j=0}^{\infty }{\frac {1}{|p_{i}^{s}|^{j}}}\ =\ \prod _{i=1}^{k}{\frac {1}{1-|p_{i}^{-s}|}}}$

La sèrie en l de l'augment (2) és per tant absolutament convergent, se'n dedueix la igualtat:

${\displaystyle (3)\quad \sum _{n\in N_{k}}{\frac {1}{n^{s}}}\ =\ \prod _{i=1}^{k}{\frac {1}{1-p_{i}^{-s}}}}$

La sèrie en k de la igualtat (3) és també absolutament convergent, se'n dedueix:

${\displaystyle \forall s\in \mathbb {C} \quad {\mathfrak {Re}}(s)>1\Rightarrow \zeta (s)\ =\ \sum _{n=1}^{\infty }\ {\frac {1}{n^{s}}}\ =\ \prod _{i=1}^{\infty }{\frac {1}{1-p_{i}^{-s}}}}$

Primera distribució dels nombres primers

L'objectiu és determinar una primera llei sobre la freqüència dels nombres primers. Així es fa possible, per exemple, respondre a la pregunta: són més o menys nombrosos que els quadrats perfectes. Aquesta proposició s'ha de llegir en el sentit que, si N és un enter prou gran, existeixen més quadrats perfectes inferiors a N o menys? Euler respon a aquesta qüestió demostrant la divergència de la successió següent:

${\displaystyle \sum _{p\in {\mathcal {P}}}{\frac {1}{p}}\ =\ +\infty }$

Així, si per a tot n, existia un nombre N més gran que n tal que el nombre de nombres primers sigui superior al nombre de quadrats perfectes, llavors la sèrie de terme general 1/n² divergirà, que no és el cas.

L'objectiu és llavors trobar un equivalent de resultes dels nombres primers. Ve donat pel teorema dels nombres primers.

Demostració

La igualtat següent mostra que, si s tendeix cap a 1, la funció divergeix: ${\displaystyle \forall s>1\quad \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}}$

Aquí ${\displaystyle \ln }$ designa el logaritme natural. La concavitat de la funció logaritme mostra que:

${\displaystyle \forall x\in ]0,1-e^{-1}[\quad x>-(1-e^{-1})\ln(1-x)}$

Si p és un nombre primer, és superior a (1 - e^-1)^-1 i:

${\displaystyle \forall s>1,\;\forall p\in {\mathcal {P}}\quad p^{-s}>-(1-e^{-1})\ln(1-p^{-s})}$

El producte d'Euler permet deduir-ne la majorant següent:

${\displaystyle (1)\quad \sum _{p\in {\mathcal {P}}}p^{-s}>(1-e^{-1})^{-1}\ln \left(\prod _{p\in {\mathcal {P}}}{\frac {1}{1-p^{-s}}}\right)=(1-e^{-1})^{-1}\ln(\zeta (s))}$ La majorant (1) mostra que si s tendeix cap a 1, el terme de la dreta tendeix cap a l'infinit i per tant també el de l'esquerra, el que demostra la proposició.

Càlcul per a s igual a 2

Euler arriba a determinar el valor de la funció ζ per a s igual a dos. El càlcul s'obté molt simplement amb l'ajuda de les eines de l'anàlisi harmònica. N'hi ha prou amb aplicar la igualtat de Parseval a la transformada de Fourier de l'ona periòdica, notada f, de període 2π i igual a la identitat sobre [π-, π[. S'obté:

${\displaystyle \zeta (2)\ =\ \prod _{p\ \in P}{\frac {1}{1-p^{-2}}}\ =\ \sum _{n=1}^{+\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}}$

Euler estableix així una estranya relació entre un producte infinit, construït amb nombres primers, i l'àrea de la superfície d'un cercle. El problema de la suma de la sèrie associada era coneguda des de feia molt de temps sota el nom de problema de Mengoli. Va ser resolt per Euler^[2] en 1735

Demostració

Calcul dels coeficients (c_n) de la transformada de Fourier de f. Com que és senar, el coeficient c₀ és nul.

El càlcul de c_n es tradueix, utilitzant una integració per parts, en:

${\displaystyle c_{n}={\frac {1}{\sqrt {2\pi }}}\int _{-\pi }^{\pi }i\ e^{(-int)}dt={\frac {1}{\sqrt {2\pi }}}\left[{\frac {i}{n}}t\ e^{(-int)}\right]_{-\pi }^{\pi }-{\frac {1}{\sqrt {2\pi }}}\int _{-\pi }^{\pi }{\frac {i}{n}}e^{(-int)}dt=(-1)^{n}\ {\frac {i{\sqrt {2\pi }}}{n}}}$

La igualtat de Parseval permet establir que:

${\displaystyle \sum _{n\in \mathbb {Z} }c_{n}{\bar {c_{n}}}=4\pi \sum _{n=1}^{+\infty }{\frac {1}{n^{2}}}=\int _{-\pi }^{\pi }t^{2}dt={\frac {2\pi ^{3}}{3}}}$

Altres productes eulerians

Caràcter de Dirichlet

Dirichlet desitja demostrar que els nombres primers en una classe m de Z/nZ són en nombre infinit, si m i n ón primers entre ells. Utilitza els caràcters que avui porten el seu nom i, en el transcurs d'un càlcul explicat en el paràgraf Producte d'Euler de l'article principal, arriba al producte següent:

${\displaystyle \prod _{p\in {\mathcal {P}}}{\Big (}1-{\frac {\chi (p)}{p^{s}}}{\Big )}^{-1}}$

Aquí χ designa un caràcter de Dirichlet, el conjunt dels caràcters es nota ${\displaystyle \scriptstyle {\widehat {U}}}$ i s representa un nombre real estrictament superior a u. Dirichlet estableix llavors una família de productes eulerians:

${\displaystyle \forall s\in ]1,+\infty [\quad \forall \chi \in {\widehat {U}}\quad L(s,\chi )=\sum _{k=1}^{\infty }{\frac {\chi (k)}{k^{s}}}\ =\ \prod _{p\in {\mathcal {P}}}{\Big (}1-{\frac {\chi (p)}{p^{s}}}{\Big )}^{-1}}$

En efecte, la funció és completament multiplicativa, el càlcul d'Euler s'aplica de la mateixa manera.

• La funció L(s) s'anomena sèrie L de Dirichlet del caràcter χ.

La convergència és absoluta si s és un nombre complex amb una part real > 1. Per continuació analítica, aquesta funció pot ser estesa a una funció meromorfa sobre el pla complex enter.

Les sèries L de Dirichlet són les generalitzacions directes de la funció zeta de Riemann i apareixen com preeminents en la hipòtesi de Riemann generalitzada.

Generalització

En General, una sèrie de Dirichlet de la forma

${\displaystyle \sum _{n}a(n)n^{-s}\,}$

on ${\displaystyle a(n)\,}$ és una funció multiplicativa de n es pot escriure sota la forma

${\displaystyle \prod _{p}P(p,s)\,}$

on ${\displaystyle P(p,s)\,}$ és la suma

${\displaystyle 1+a(p)p^{-s}+a(p^{2})p^{-2s}+\ldots \,}$.

De fet, si es consideren aquestes com les funcions generatrius formals, l'existència de tal desenvolupament formal en producte eulérià és una condició suficient i necessària perquè ${\displaystyle a(n)\,}$ sigui multiplicativa: es diu exactament que ${\displaystyle a(n)\,}$ és el producte de ${\displaystyle a(p^{k})\,}$ quan n factoritza el producte de potències ${\displaystyle p^{k}\,}$ dels nombres primers diferents p.

En la pràctica, tots els casos importants són tals que la sèrie infinita i el desenvolupament en producte infinit són absolument convergents en una certa regió

${\displaystyle Re(s)>C}$ :

és a dir en un cert semi-pla dret dels nombres complexos. Allò dona ja algunes informacions, ja que el producte infinit, per convergir, ha de donar un valor diferent de zero; per tant la funció donada per la sèrie infinita no és zero en tal semi-pla.

Un cas particular important és en el qual ${\displaystyle P(p,s)\,}$ és una progressió geomètrica, ja que ${\displaystyle a(n)\,}$ és completament multiplicativa. Llavors, es tindrà

${\displaystyle P(p,s)={\frac {1}{1-a(p)p^{-s}}}\,}$

com és el cas per a la funció zeta de Riemann (amb ${\displaystyle a(n)=1\,}$), i més generalment per als caràcters de Dirichlet. En la teoria de les formes modulars és típic tenir productes eulerians en el denominador dels polinomis quadràtics. El programa de Langlands general inclou una explicació comparativa de la connexió dels polinomis de grau m, i la teoria de les representacions per a ${\displaystyle GL_{m}\,}$.

Notes i referències

Notes

Referències

• Jean-Benoît Bost, Pierre Colmez et Philippe Biane La fonction Zêta, Éditions de l'École polytechnique Paris 2002 ISBN 2730210113
• Harold Davenport's Multiplicative number theory, 3^ème edt Springer 2000 ISBN 0387950974
• Karatsuba Basic analytic number theory, Springer-Verlag 1993 ISBN 0-387-53345-1
• S. J. Patterson An Introduction to the Theory of the Riemann Zeta-Function Cambridge University Press 1995 ISBN 0521499054.

Enllaços externs

• (anglès) Leonhard Euler per la Universitat de St Andrew
• (anglès) Infinitely many primes, with analysis par La Universitat de Montréal de Andrew Granville i K. Soundararajan