Serie armónica (matemáticas)

Se llama serie armónica (en matemáticas) a aquella que suma los inversos multiplicativos de los enteros positivos, denotándola con la siguiente serie infinita:

${displaystyle sum _{k=1}^{infty }{frac {1}{k}}=1+{frac {1}{2}}+{frac {1}{3}}+{frac {1}{4}}+{frac {1}{5}}+{frac {1}{6}}+{frac {1}{7}}cdots }$

Se llama así porque la longitud de onda de los sucesivos armónicos de una cuerda que vibra es proporcional a la longitud de onda del modo de oscilación fundamental a través de los factores de proporcionalidad dados por los correspondientes términos de la serie: 1, 1/2, 1/3, 1/4, 1/5, 1/6, 1/7... El primer término representa por tanto al modo fundamental.

La serie armónica es divergente, aunque diverge lentamente (los primeros 10⁴³ términos de la serie suman menos que 100). Esto se puede demostrar haciendo ver que la agrupación de los términos de la serie armónica:

son mayores, que esta otra serie:

que está claro que diverge y por consecuencia la serie armónica también diverge. Esta prueba fue dada por Nicolás Oresme en (1350) y fue un gran paso para las matemáticas medievales en particular^[1]​

Se tiene la desigualdad ${displaystyle {frac {1}{n}}>ln {frac {n+1}{n}}}$, n es número entero positivo. Entonces

Otras series, como la suma de los inversos de los números primos diverge, aunque esto ya es más difícil de demostrar (véase la demostración aquí).

La serie armónica alternada, sin embargo, converge:

Esta es una consecuencia de la serie de Taylor del logaritmo natural.

Si definimos el n-ésimo número armónico como:

entonces H_n crece aproximadamente tan rápido como el logaritmo natural de n. Esto es así porque la suma se aproxima a la integral

cuyo valor es log(n).

Con más precisión, tenemos el límite:

donde γ es la constante de Euler-Mascheroni.

Se puede demostrar que:

Entre las representaciones para H_n, en las que n puede ser un número fraccionario o negativo(no entero) están:

dada^[3]​ por Leonhard Euler.

Y también

donde Ψ(n+1) es la función digamma y γ es la constante de Euler-Mascheroni.

Jeffrey Lagarias demostró en 2001 que la hipótesis de Riemann es equivalente a la afirmación:

donde σ(n) es la suma de los divisores positivos de n.^[4]​

Las series armónicas generalizadas se definen de la siguiente forma:

Como principal propiedad tenemos que todas estas series son divergentes.

La p-serie (o serie de las p) es cualquiera de las series

para p número real positivo. La serie es convergente si p > 1 y divergente en otro caso. Cuando p = 1, la serie es la serie armónica. Si p > 1, entonces la suma de la serie es ζ(p), es decir, la función zeta de Riemann evaluada en p.

Esto se puede utilizar para comprobar la convergencia de series.