Fórmula de Perron

En matemática, y más precisamente en teoría analítica de números, la fórmula de Perron es una fórmula dada por Oskar Perron para calcular la suma de una función aritmética, mediante el uso de una transformada de Mellin inversa.

Enunciado

Sea $\{a(n)\}$ una función aritmética, y sea

$g(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{a(n)}{n^s}$

su correspondiente serie de Dirichlet. Presuma la serie de Dirichlet de ser absolutamente convergente para $\mathrm{\Re }(s)>{\sigma }_a$. Entonces la fórmula de Perron es

$A(x)={\sum _{n\le x}}^{\star }a(n)=\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}g(z)\frac{x^z}{z}dz.$

Aquí, la estrella sobre el sumatorio indica que el último término de la suma debe ser multiplicado por 1/2 cuando x sea un entero. La fórmula requiere que $c>{\sigma }_a$ y $x>0$ real, pero de otra manera arbitraria.

Demostración

Un sencillo esbozo de demostración proviene de tomar la fórmula de sumación de Abel

$g(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{a(n)}{n^s}=s\underset{0}{\overset{\mathrm{\infty }}{\int }}A(x)x^{-(s+1)}dx.$

Esto no es sino una transformada de Laplace bajo el cambio de variable $x=e^t.$ Invirtiéndolo se obtiene la fórmula de Perron.

Ejemplos

Debido a su relación general con series de Dirichlet, la fórmula es aplicada comúnmente a varias sumas relacionadas con la teoría de números. Así, por ejemplo, se obtiene la famosa representación integral para la función zeta de Riemann:

$\zeta (s)=s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{\lfloor x\rfloor }{x^{s+1}}dx$

y una fórmula similar para las funciones L de Dirichlet:

$L(s,\chi )=s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{A(x)}{x^{s+1}}dx$

donde

$A(x)=\sum _{n\le x}\chi (n)$

y $\chi (n)$ es un carácter de Dirichlet. Otros ejemplos aparecen en los artículos de la función de Mertens y la función de von Mangoldt.

Referencias

• Plantilla:Obra citada
• Plantilla:Mathworld
• Plantilla:Cita libro