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}^{\infty} \frac{a(n)}{n^{s}}$

su correspondiente serie de Dirichlet. Presuma la serie de Dirichlet de ser absolutamente convergente para $\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}\int_{c-i\infty}^{c+i\infty} 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 > σ_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}^{\infty} \frac{a(n)}{n^{s} }=s\int_{0}^{\infty} 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\int_1^\infty \frac{\lfloor x\rfloor}{x^{s+1}}\,dx$

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

$L(s,\chi)=s\int_1^\infty \frac{A(x)}{x^{s+1}}\,dx$

donde

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

y χ(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

• Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, 1976, pp. 243, MR0434929, ISBN 978-0-387-90163-3 
• Weisstein, Eric W. «Perron's formula» (en inglés). MathWorld. Wolfram Research.
• Tenebaum, Gérald (1995). Introduction to analytic and probabilistic number theory. Cambridge: Cambridge University Press. ISBN 0521412617.