Serie de Dirichlet

Serie de Dirichlet

En matemáticas, una serie de Dirichlet es toda serie del tipo

\sum_{n=1}^{\infty} \frac{a_n}{n^s},

donde s y an, n = 1, 2, 3, ... son números complejos.

Las series de Dirichlet juegan un número importante de roles en la teoría analítica de números. La definición más popularizada de la función zeta de Riemann es una serie Dirichlet, tal como son las funciones L de Dirichlet. Se conjetura que las series de clase tipo Selberg satisfacen la hipótesis generalizada de Riemann. La serie ha sido nombrada en honor a Johann Peter Gustav Lejeune Dirichlet.

Contenido

Ejemplos

La serie de Dirichlet más famosa es

\zeta(s)=\sum_{n=1}^{\infty} \frac{1}{n^s},

que es la función zeta de Riemann. Otra serie de Dirichlet es:

\frac{1}{\zeta(s)}=\sum_{n=1}^{\infty} \frac{\mu(n)}{n^s}

donde μ(n) es la función de Möbius. Es posible obtener esta y varias de las series indicadas a continuación realizando una inversión de Möbius y una convolución de Dirichlet a series conocidas. Por ejemplo, dado un carácter de Dirichlet χ(n) se tiene que

\frac{1}{L(\chi,s)}=\sum_{n=1}^{\infty} \frac{\mu(n)\chi(n)}{n^s}

donde L(χ,s) es una función L de Dirichlet.

Otras identidades incluyen

\frac{\zeta(s-1)}{\zeta(s)}=\sum_{n=1}^{\infty} 
\frac{\varphi(n)}{n^s}

donde φ(n) es la función indicatriz de Euler

\zeta(s) \zeta(s-a)=\sum_{n=1}^{\infty} \frac{\sigma_{a}(n)}{n^s}
\frac{\zeta(s)\zeta(s-a)\zeta(s-b)\zeta(s-a-b)}{\zeta(2s-a-b)}
=\sum_{n=1}^{\infty} \frac{\sigma_a(n)\sigma_b(n)}{n^s}

donde σa(n) es la función divisor. Otras identidades que involucran a la función divisor d0 son

 \frac{\zeta^3(s)}{\zeta(2s)}=\sum_{n=1}^{\infty}\frac{d(n^2)}{n^s}
 \frac{\zeta^4(s)}{\zeta(2s)}=\sum_{n=1}^{\infty}\frac{d(n)^2}{n^s}

El logaritmo de la función zeta está dado por

\log \zeta(s)=\sum_{n=2}^\infty \frac{\Lambda(n)}{\log(n)}\,\frac{1}{n^s}

para \Re(s) > 1. Aquí, Λ(n) es la función de von Mangoldt. La derivada logarítmica es por lo tanto

\frac {\zeta^\prime(s)}{\zeta(s)} = -\sum_{n=1}^\infty \frac{\Lambda(n)}{n^s}

Estos últimos dos son casos especiales de una relación más generalizada para las derivadas de la serie de Dirichlet, indicadas a continuación.

Dada la función de Liouville λ(n), se tiene que

\frac {\zeta(2s)}{\zeta(s)} = \sum_{n=1}^\infty \frac{\lambda(n)}{n^s}

Otro ejemplo, en cambio se relaciona con la suma de Ramanujan:

\frac{\sigma_{1-s}(m)}{\zeta(s)}=\sum_{n=1}^\infty\frac{c_n(m)}{n^s}

Propiedades analíticas de la serie de Dirichlet: la abscisa de convergencia

Derivadas

Dado

F(s) =\sum_{n=1}^\infty \frac{f(n)}{n^s}

para una función totalmente multiplicativa f(n), y asumiendo que la serie converge para \Re(s) > \sigma_0, entonces se tiene que

\frac {F^\prime(s)}{F(s)} = - \sum_{n=1}^\infty \frac{f(n)\Lambda(n)}{n^s}

converge para \Re(s) > \sigma_0. Siendo, Λ(n) la función de von Mangoldt.

Productos

Sea  F(s)= \sum_{n=1}^{\infty} f(n)n^{-s} y

 G(s)= \sum_{n=1}^{\infty} g(n)n^{-s}

Si tanto F(s) y G(s) son absolutamente convergentes para s> a y s > b entonces se tiene que:

 \frac{1}{2T}\int_{-T}^{T}dtF(a+it)G(b-it)dt= \sum_{n=1}^{\infty} f(n)g(n)n^{-a-b} dado que  T \sim \infty

para a=b y f(n)=g(n) se obtiene:

 \frac{1}{2T}\int_{-T}^{T}dt|F(a+it)|^{2} dt= \sum_{n=1}^{\infty} [f(n)]^{2}n^{-2a} as  T \sim \infty

Transformadas integrales

La Transformada de Mellin de una Serie de Dirichlet está dada por la fórmula de Perron.

Véase también

  • Regularización de la función zeta

Referencias


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Serie de Dirichlet — Série de Dirichlet Johann Peter Gustav Lejeune Dirichlet analyse les séries qui portent son nom en 1837 pour démontrer le théorème de la progression arithmétique. En mathématiques, une série de Dirichlet est une série f(s) de fonctions, définie… …   Wikipédia en Français

  • Série de dirichlet — Johann Peter Gustav Lejeune Dirichlet analyse les séries qui portent son nom en 1837 pour démontrer le théorème de la progression arithmétique. En mathématiques, une série de Dirichlet est une série f(s) de fonctions, définie sur l ensemble des… …   Wikipédia en Français

  • Série de Dirichlet — Johann Peter Gustav Lejeune Dirichlet analyse les séries qui portent son nom en 1837 pour démontrer le théorème de la progression arithmétique. En mathématiques, une série de Dirichlet est une série f(s) de fonctions, définie sur l ensemble des… …   Wikipédia en Français

  • DIRICHLET (P. G. LEJEUNE-) — Avec son ami et contemporain Jacobi et son cadet de quelques années Kummer, Dirichlet constitue la première génération des mathématiciens allemands après Gauss, dont naturellement ils subissent très fortement l’influence; mais, alors que celui ci …   Encyclopédie Universelle

  • Série numérique — Série (mathématiques) Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme, pour une succession infinie de termes. L étude des séries consiste à effectuer la somme d un nombre fini …   Wikipédia en Français

  • Série semi-convergente — Série (mathématiques) Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme, pour une succession infinie de termes. L étude des séries consiste à effectuer la somme d un nombre fini …   Wikipédia en Français

  • Dirichlet (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Johann Peter Gustav Lejeune Dirichlet est un mathématicien allemand du XIXe siècle dont le travail est surtout en théorie des nombres. Arithmétique… …   Wikipédia en Français

  • Dirichlet (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Johann Peter Gustav Lejeune Dirichlet est un mathématicien allemand du XIXe siècle dont le travail est surtout en théorie des nombres. Arithmétique… …   Wikipédia en Français

  • Série (mathématiques) — Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme pour une succession infinie de termes. L étude des séries consiste à évaluer la somme d un nombre fini n de termes successifs,… …   Wikipédia en Français

  • Dirichlet — Johann Peter Gustav Lejeune Dirichlet Pour les articles homonymes, voir Dirichlet (homonymie). Johann Peter Gustav Lejeune Dirichlet Johann Peter Gustav Lejeune Dirichlet ( …   Wikipédia en Français

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”