Teorema de Dirichlet sobre progresións aritméticas

Johann Peter Gustav Lejeune Dirichlet.

O teorema de Dirichlet sobre progresións aritméticas é un resultado da teoría analítica de números demostrada polo matemático Johann Dirichlet.

Este teorema sobre a distribución de números primos en $\mathbb{N}$, foi conxecturado por Gauss e finalmente demostrado en 1837 por Dirichlet, nome co que se coñece actualmente.

Os números da forma a + nd forman unha progresión aritmética

$a,a+d,a+2d,a+3d,\dots ,$

e o teorema de Dirichlet afirma que esta secuencia contén infinitos números primos.

O primeiro teorema de converxencia da serie de Fourier, debido a Dirichlet, apareceu en 1829 e refírese a funcións monótonas por intervalos. Comezamos con algúns comentarios sobre estas funcións. Unha función monótona e limitada nun intervalo [a, b] é integrábel e ten límites laterais finitos en cada punto. Se estes límites non coinciden a función terá unha descontinuidade cun salto finito. A suma dos saltos non pode ser maior que a diferenza dos valores da función nos extremos do intervalo, polo que o conxunto de descontinuidades cun salto superior a 1/n é finito e, polo tanto, o conxunto de descontinuidades é como moito numerábel. As mesmas propiedades serán certas para unha función monótona en segmentos, é dicir, unha que é monótona nun número finito de intervalos que xuntos dan o intervalo orixinal.

Exemplos

Os primos da forma 4n + 3 son Modelo:OEIS

3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 79, 83, 103, 107, 127, 131, 139, 151, 163, 167, 179, 179, 1, 191 , 223, 227, 239, 251, 263, 271, 283,...

Corresponden aos seguintes valores de n: Modelo:OEIS

0, 1, 2, 4, 5, 7, 10, 11, 14, 16, 17, 19, 20, 25, 26, 31, 32, 34, 37, 40, 41, 44, 47, 49, 52 , 55, 56, 59, 62, 65, 67, 70, 76, 77, 82, 86, 89, 91, 94, 95,...

A forma forte do teorema de Dirichlet implica que

$\frac{1}{3}+\frac{1}{7}+\frac{1}{11}+\frac{1}{19}+\frac{1}{23}+\frac{1}{31}+\frac{1}{43}+\frac{1}{47}+\frac{1}{59}+\frac{1}{67}+\cdots$

é unha serie diverxente.

Podemos xerar algunhas formas de primos mediante un método iterativo. Por exemplo, podemos xerar números primos da forma $4n+3$ usando o seguinte método:

Sexa $a_0=4(1)+3=7$. Entón sexa $a_1=4a_0+3=4(7)+3=31$ que é primo. Continuamos calculando $4(7)(31)+3=871=13(67)$. Como $4(7)(31)+3$ é da forma $4n+3$, 13 ou 67 é da forma $4n+3$. Temos que $67=4(16)+3$ e é primo, polo que $a_3=67$. Despois continuamos este proceso para atopar números primos sucesivos da forma $4n+3$ (Silverman 2013).

Enunciado

Sexa $a_1,b\in \mathbb{N}/\mathrm{mdc}(a_1,b)=1$ entón a progresión aritmética $a_n=a_1+b\cdot (n-1)$ contén infinitos números primos. (segundo Dirichlet)

Demostración

A demostración do teorema utiliza as propiedades de certas funcións multiplicativas (coñecidas como funcións L de Dirichlet) e varios resultados sobre a aritmética de números complexos e é o suficientemente complexa como para que algúns textos de teoría de números clásica decidan excluíla do seu repertorio de demostracións. Para evitar unha lectura demasiado densa, este artigo excluíu da demostración algúns corolarios intermedios que aparecen marcados como [AD]. A proba completa, xunto cos corolarios aquí excluídos, pódense atopar no artigo de González de la Hoz.

Sexa $G$ un grupo finito conmutativo de orde $h$ e elemento unitario $e$.

Un carácter sobre $G$ é unha función $\chi \in ℂ/\chi \ne 0,\chi (u\cdot v)=\chi (u)\cdot \chi (v)\mathrm{\forall }u,v\in G$. Un carácter sobre $G$ ten unha serie de propiedades importantes para a nosa demostración:

1. Dado que tanto a inversa dun carácter sobre $G$ como o produto dos caracteres sobre $G$ é tamén un carácter sobre $G$, o conxunto de caracteres sobre $G$ forma un grupo conmutativo coa multiplicación.

   Isto permite definir o carácter principal do grupo $G$ que se define como a función ${\chi }_0/{\chi }_0(u)=1\mathrm{\forall }u\in G$. O carácter principal é por tanto o elemento unidade do grupo definido polo conxunto de caracteres sobre $G$.

2. Como $\chi (e)=1$ e dado que a orde dun elemento divide a orde do grupo, entón$\mathrm{\forall }u\in G(\chi (u){)}^h=\chi (u^h)=\chi (e)=1$, o que implica que $\mid \chi (u)\mid =1$.

   Dado que o número de raíces do elemento unitario de orde $h$ é como máximo $h$, o número de caracteres $c$ é finito, sendo o valor $h^h$ un límite superior de $c$.

   Por outra parte $\mathrm{\forall }u\in G,u\ne e$ existe um carácter $\chi /\chi (u)\ne 1$ ([AD]). Por el, e se representa mediante $\sum _G{a}_{\chi }$ a suma do valor $a_{\chi }$ asociado a cada un dos diferentes caracteres do grupo $G$, se ten estas propiedades adicionais ([AD]):

3. $\mathrm{\forall }u\in G\text{ tense que: }$ $\sum _G\chi (u)=\{\begin{array}{cc}c& seu=e\\ 0& seu\ne e\end{array}$$\text{ onde }c=\sum _{G}1$
4. $\mathrm{\forall }u\in G\text{ se tem que: }$ $\sum _{u\in G}\chi (u)=\{\begin{array}{cc}h& \text{ se }\chi ={\chi }_0\\ 0& \text{ se }\chi \ne {\chi }_0\end{array}$$\text{ onde }h\text{ é a orde de }G\text{ sendo }c=h$
5. $\mathrm{\forall }u,v\in G\text{ determina que: }$ $\frac{1}{h}\sum _{\chi }\frac{\chi (u)}{\chi (v)}=\{\begin{array}{cc}1& \text{ se }u=v\\ 0& \text{ se }u\ne v\end{array}$
6. $\mathrm{\forall }{\chi }_1,{\chi }_2\in G\text{ determina que: }$ $\frac{1}{h}\sum _{u\in G}\frac{{\chi }_1(u)}{{\chi }_2(u)}=\{\begin{array}{cc}1& \text{ se }{\chi }_1={\chi }_2\\ 0& \text{ se }{\chi }_1\ne {\chi }_2\end{array}$

   Dado un $q\in \mathbb{N}$, defínense os caracteres $\chi$ do grupo $G=Z_q^{*}$ definido como as clases de congruencia módulo $q$ de números coprimos con $q$.

   O grupo $G$ ten $\varphi (q)$ elementos, e podémolos representar por $G=\{a_1,a_2,a_3,...,a_{\varphi (q)}\}$ onde os diferentes $a_i$ son os representantes da clase de congruencia que obedecen a condición $0<a_j<q$, e neste contexto se definen as funcións estendidas dos caracteres $\chi$ de $G$ da seguinte maneira:

   $\chi (n)=\{\begin{array}{cc}\chi (a_i)& \mathrm{s}\mathrm{e}n\equiv a_i(\mathrm{mod}q)\\ 0& \mathrm{s}\mathrm{e}\mathrm{mcd}(n,q)>1\end{array}$

   Estas funcións denomínanse caracteres de Dirichlet módulo q e son completamente multiplicativas. Existen $\varphi (q)$ funcións deste tipo e unha delas: ${\chi }_0(n)=\{\begin{array}{cc}1& \mathrm{s}\mathrm{e}n\equiv a_i(\mathrm{mod}q)\\ 0& \mathrm{s}\mathrm{e}\mathrm{mcd}(n,q)>1\end{array}$ denomínase carácter principal de Dirichlet.

   Estes caracteres teñen algunhas propiedades significativas (derivadas das propiedades dos caracteres dun grupo que vimos antes):

7. $\sum _{n(\mathrm{m}\mathrm{o}\mathrm{d}q)}\chi (n)=\{\begin{array}{cc}\varphi (q)& \mathrm{s}\mathrm{e}\chi ={\chi }_0\\ 0& \mathrm{s}\mathrm{e}\chi \ne {\chi }_0\end{array}$
8. $\sum _{n(\mathrm{m}\mathrm{o}\mathrm{d}q)}\chi (u)=\{\begin{array}{cc}\varphi (q)& \mathrm{s}\mathrm{e}u\equiv 1(\mathrm{mod}q)\\ 0& \mathrm{s}\mathrm{e}u\equiv ̸1(\mathrm{mod}q)\end{array}$
9. $\mathrm{\forall }a\in \mathbb{N}/\mathrm{mcd}(a,q)=1\text{ tense que: }$ $\sum _{n(\mathrm{m}\mathrm{o}\mathrm{d}q)}\frac{\chi (u)}{\chi (a)}=\{\begin{array}{cc}\varphi (q)& \mathrm{s}\mathrm{e}u=a\\ 0& \mathrm{s}\mathrm{e}u\ne a\end{array}$

Neste punto hai que introducir a seguinte definición:

Unha función L de Dirichlet é unha función da forma

$L(s,\chi )=\sum _{n=1}^{\mathrm{\infty }}\frac{\chi (n)}{n^s}$ onde $s\in ℂ$ e $\chi$ é un carácter de Dirichlet.

Os valores de $\chi$ son periódicos, o que implica que a serie $L(s,\chi )$ converxe absolutamente a $\mathrm{\Re }(s)>1$ e uniformemente a $\mathrm{\Re }(s)>1+\epsilon ,\mathrm{\forall }\epsilon >0.$ Alén diso, como os coeficientes son completamente multiplicativos, a serie admite a seguinte expresión: $L(s,\chi )=\prod _p{(1-\frac{\chi (p)}{p^s})}^{-1}$. Cando $\mathrm{\Re }(s)>1$ a función L de Dirichlet ten as seguintes propiedades ( [AD]):

1. $L(s,\chi )\ne 0$
2. $L(s,{\chi }_0)=\zeta (s)\cdot \prod _{p\mid q}(1-\frac{1}{p^s})$
3. $\frac{L^{\prime }(s,\chi )}{L(s,\chi )}=-\sum _{n=1}^{\mathrm{\infty }}\frac{\chi (n)\mathrm{\Lambda }(n)}{n^s}$
4. $\ln (L(s,\chi ))=\sum _p\sum _{m=1}^{\mathrm{\infty }}\frac{1}{m}\frac{(\chi (p){)}^m}{p^{m\cdot s}}$

Da igualdade $L(s,{\chi }_0)=\zeta (s)\cdot \prod _{p\mid q}(1-\frac{1}{p^s})$ e as propiedades da función $\zeta$ pódese deducir que a función $L(s,{\chi }_0)$ é analítica no semiplano complexo $\mathrm{\Re }(s)>0$ coa excepción dun polo en $s=1$, cuxo residuo é $\prod _{p\mid q}(1-\frac{1}{p})=\frac{\varphi (q)}{q}$. Como consecuencia diso, podemos dicir que $L(s,{\chi }_0)=f(s)+\frac{\varphi (q)/q}{s-1}$, onde $f$ é analítica e non ten singularidades en $\mathrm{\Re }(s)>0$, de modo que a función expresada por $\frac{L^{\prime }(s,\chi )}{L(s,\chi )}=\frac{f^{\prime }(s)-\frac{\varphi (q)/q}{(s-1{)}^2}}{f(s)+\frac{\varphi (q)/q}{s-1}}=\frac{(s-1{)}^2{f}^{\prime }(s)-\varphi (q)/q}{(s-1)f(s)-\varphi (q)/q}\frac{1}{s-1}$ tamén ten un polo en $s=1$ con residuo $-1$. Por outra banda, toda funcións L de Dirichlet $L(s,\chi )$ con $\chi \ne {\chi }_0$ é analítica e non presenta singularidades na zona $\mathrm{\Re }(s)>0$ ([AD]). E para $k>0$ temos ([AD]) que

$\sum _{p=a(\mathrm{mod}q)}\frac{\ln (p)}{p^k}=\sum _{n=a(\mathrm{mod}q)}\frac{\mathrm{\Lambda }(n)}{n^k}-O(1)$

que tamén se pode expresar como:

$\sum _{p=a(\mathrm{mod}q)}\frac{\ln (p)}{p^k}=\frac{-1}{\varphi (q)}\cdot \frac{L^{\prime }(k,{\chi }_0)}{L(k,{\chi }_0)}-\frac{1}{\varphi (q)\chi (a)}\sum _{\genfrac{}{}{0ex}{}{\chi (\mathrm{mod}q)}{\chi \ne {\chi }_0}}\frac{L^{\prime }(k,\chi )}{L(k,\chi )}-O(1)$

Esta expresión é chave para demostrar o teorema de Dirichlet, xa que podemos concluír que o teorema é correcto se o primeiro termo do segundo membro diverxe cando os termos restantes permanecen dentro de certos límites. Como se cumpre que $L(1,\chi )\ne 0$ cando $\chi \ne {\chi }_0$ a seguinte expresión:

$\underset{k\to 1^{+}}{\lim }\frac{1}{\varphi (q)\chi (a)}\sum _{\genfrac{}{}{0ex}{}{\chi (\mathrm{mod}q)}{\chi \ne {\chi }_0}}\frac{L^{\prime }(k,\chi )}{L(k,\chi )}=\frac{1}{\varphi (q)\chi (1)}\sum _{\genfrac{}{}{0ex}{}{\chi (\mathrm{mod}q)}{\chi \ne {\chi }_0}}\frac{L^{\prime }(1,\chi )}{L(1,\chi )}=O(2)$

obtén un valor finito e, como vimos, dado que $\frac{1}{{\chi }_0(a)}\frac{L^{\prime }(k,{\chi }_0)}{L(k,{\chi }_0)}=\frac{L^{\prime }(k,{\chi }_0)}{L(k,{\chi }_0)}$ ten un polo en $s=1$ con residuo $-1$ resulta que $\underset{k\to 1^{+}}{\lim }\frac{L^{\prime }(k,{\chi }_0)}{L(k,{\chi }_0)}=-\mathrm{\infty }$ o que implica que:

$\sum _{p=a(\mathrm{mod}q)}\frac{\ln (p)}{p}=$$\underset{k\to 1^{+}}{\lim }\sum _{p=a(\mathrm{mod}q)}\frac{\ln (p)}{p^k}=$$\frac{-1}{\varphi (q)}(\underset{k\to 1^{+}}{\lim }\frac{L^{\prime }(k,{\chi }_0)}{L(k,{\chi }_0)}+O(2))+O(1)=$$\mathrm{\infty }$

o que proba o teorema.

Proba simple para 4n+3

Queremos demostrar que hai infinitos números primos da forma $4n+3$. Supoña, por contradición, que só hai un número finito de primos da forma $4n+3$.

Despois xuntamos unha lista de todos os devanditos números primos $3,p_1,p_2,...,p_m$ onde $p_1<p_2<...<p_m$.

Sexa $N=4p_1{p}_2...p_m+3$. Está claro que ningún dos primos da lista $3,p_1,p_2,...,p_m$ divide $N$.

A continuación, supoña que $N$ é composto. Entón $N$ ten factorización prima única $N=a_1{a}_2...a_r$ onde cada $a_i$ é primo.

Como $N\equiv 3mod4$, $N$ é impar e só debe ser o produto de números primos impares. Calquera Modelo:Mvar primo impar debe ser tal que $p\equiv 1mod4$ ou $p\equiv 3mod4$.

Non pode ser que $a_i\equiv 1mod4$ $\mathrm{\forall }{a}_i$ porque se este fose o caso, entón $N\equiv 1mod4$. Así que existe un primo $a_i\equiv 3mod4$ tal que $a_i\mid N$.

No entanto, ningún dos primos da lista $3,p_1,p_2,...,p_m$ dividie $N$, unha contradición. Polo tanto $N$ debe ser primo e $N>p_m$. Polo tanto, $N$ é un primo da forma $4n+3$, pero non está incluído na lista $3,p_1,p_2,...,p_m$.

Así, a lista non contén todos os números primos deste tipo e debe haber infinitos números primos da forma $4n+3$ (Silverman 2013).

Xeneralizacións

A Conxectura de Bunyakovsky xeneraliza o teorema de Dirichlet a polinomios de grao superior. Se os polinomios cadráticos simples como Modelo:Nowrap (coñecidos polo cuarto problema de Landau) conseguen infinitos valores primos é un problema sen resolver importante.

A conxectura de Dickson xeneraliza o teorema de Dirichlet a máis dun polinomio.

A hipótese H de Schinzel xeneraliza estas dúas conxecturas, é dicir, xeneraliza a máis dun polinomio cun grao maior que un.

Na teoría alxébrica de números, o teorema de Dirichlet xeneralízase ao teorema da densidade de Chebotarev.

O Teorema de Linnik (1944) refírese ao tamaño do primo máis pequeno nunha progresión aritmética dada. Linnik demostrou que a progresión a + nd (como n varía a través dos enteiros positivos) contén como máximo un primo de magnitude cd^L para constantes absolutas c e L. Os investigadores posteriores reduciron a L a 5.

Un análogo do teorema de Dirichlet cúmprese no marco dos sistemas dinámicos (T. Sunada e A. Katsuda, 1990).

Shiu demostrou que calquera progresión aritmética que satisfaga a hipótese do teorema de Dirichlet conterá, de feito, tiradas arbitrariamente longas de números primos consecutivos.

Véxase tamén

Bibliografía

• Modelo:Apostol IANT
• Modelo:MathWorld
• Chris Caldwell, "Dirichlet's Theorem on Primes in Arithmetic Progressions" nas Prime Pages.
• Modelo:Cita libro
• {Modelo:Cita libro.
• {Modelo:Cita libro.
• {Modelo:Cita libro.
• {Modelo:Cita libro.
• Silverman JH (2013) A Friendly Introduction to Number Theory: Pearson New International Edition, Pearson Education.

Outros artigos

• Teorema de Bombieri-Vinogradov
• Teorema de Brun-Titchmarsh
• Teorema de Siegel-Walfisz
• Teorema de Green-Tao

Ligazóns externas

• documento orixinal escaneado
• Dirichlet: There are infinitely many prime numbers in all arithmetic progressions with first term and difference coprime
• Dirichlet's Theorem por Jay Warendorff, Wolfram Demonstrations Project.

Modelo:Control de autoridades