número armónico

Suma de los primeros n recíprocos de números enteros; 1/1 + 1/2 + 1/3 + ... + 1/n

El número armónico con (línea roja) con su límite asintótico (línea azul) donde es la constante de Euler-Mascheroni . ${\displaystyle H_{n}}$ ${\displaystyle n=\lfloor x\rfloor }$ ${\displaystyle \gamma +\ln(x)}$ ${\displaystyle \gamma }$

En matemáticas , el n -ésimo número armónico es la suma de los recíprocos de los primeros n números naturales : $${\displaystyle H_{n}=1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{n}}=\sum _{k=1}^{n}{\frac {1}{k}}.}$$

A partir de n = 1 , comienza la secuencia de números armónicos: $${\displaystyle 1,{\frac {3}{2}},{\frac {11}{6}},{\frac {25}{12}},{\frac {137}{60}},\dots }$$

Los números armónicos están relacionados con la media armónica en que el n -ésimo número armónico también es n veces el recíproco de la media armónica de los primeros n enteros positivos.

Los números armónicos se han estudiado desde la antigüedad y son importantes en diversas ramas de la teoría de números . A veces se les denomina vagamente series armónicas , están estrechamente relacionadas con la función zeta de Riemann y aparecen en las expresiones de varias funciones especiales .

Los números armónicos se aproximan aproximadamente a la función del logaritmo natural ^{[1] : 143} y, por lo tanto, la serie armónica asociada crece sin límite, aunque lentamente. En 1737, Leonhard Euler utilizó la divergencia de la serie armónica para proporcionar una nueva prueba de la infinidad de números primos . Bernhard Riemann amplió su trabajo al plano complejo en 1859, lo que condujo directamente a la célebre hipótesis de Riemann sobre la distribución de los números primos .

Cuando el valor de una gran cantidad de artículos tiene una distribución de la ley de Zipf , el valor total de los n artículos más valiosos es proporcional al n -ésimo número armónico. Esto lleva a una variedad de conclusiones sorprendentes sobre la cola larga y la teoría del valor de la red .

El teorema de Bertrand-Chebyshev implica que, excepto en el caso n = 1 , los números armónicos nunca son números enteros. ^[2]

Identidades que involucran números armónicos

Por definición, los números armónicos satisfacen la relación de recurrencia. $${\displaystyle H_{n+1}=H_{n}+{\frac {1}{n+1}}.}$$

Los números armónicos están conectados con los números de Stirling de primera especie por la relación $${\displaystyle H_{n}={\frac {1}{n!}}\left[{n+1 \atop 2}\right].}$$

Los números armónicos satisfacen las identidades de las series y Estos dos resultados son muy análogos a los resultados integrales correspondientes y $${\displaystyle \sum _{k=1}^{n}H_{k}=(n+1)H_{n}-n}$$ $${\displaystyle \sum _{k=1}^{n}H_{k}^{2}=(n+1)H_{n}^{2}-(2n+1)H_{n}+2n.}$$ $${\displaystyle \int _{0}^{x}\log y\ dy=x\log x-x}$$ $${\displaystyle \int _{0}^{x}(\log y)^{2}\ dy=x(\log x)^{2}-2x\log x+2x.}$$

Identidades que involucranπ

Hay varias sumas infinitas que involucran números armónicos y potencias de π : ^{[3] [ se necesita mejor fuente ]} $${\displaystyle {\begin{aligned}\sum _{n=1}^{\infty }{\frac {H_{n}}{n\cdot 2^{n}}}&={\frac {\pi ^{2}}{12}}\\\sum _{n=1}^{\infty }{\frac {H_{n}^{2}}{n^{2}}}&={\frac {17}{360}}\pi ^{4}\\\sum _{n=1}^{\infty }{\frac {H_{n}^{2}}{(n+1)^{2}}}&={\frac {11}{360}}\pi ^{4}\\\sum _{n=1}^{\infty }{\frac {H_{n}}{n^{3}}}&={\frac {\pi ^{4}}{72}}\end{aligned}}}$$

Cálculo

Una representación integral dada por Euler ^[4] es $${\displaystyle H_{n}=\int _{0}^{1}{\frac {1-x^{n}}{1-x}}\,dx.}$$

La igualdad anterior es sencilla mediante la identidad algebraica simple $${\displaystyle {\frac {1-x^{n}}{1-x}}=1+x+\cdots +x^{n-1}.}$$

Usando la sustitución x = 1 − u , otra expresión para H _n es $${\displaystyle {\begin{aligned}H_{n}&=\int _{0}^{1}{\frac {1-x^{n}}{1-x}}\,dx=\int _{0}^{1}{\frac {1-(1-u)^{n}}{u}}\,du\\[6pt]&=\int _{0}^{1}\left[\sum _{k=1}^{n}{\binom {n}{k}}(-u)^{k-1}\right]\,du=\sum _{k=1}^{n}{\binom {n}{k}}\int _{0}^{1}(-u)^{k-1}\,du\\[6pt]&=\sum _{k=1}^{n}{\binom {n}{k}}{\frac {(-1)^{k-1}}{k}}.\end{aligned}}}$$

Gráfico que demuestra una conexión entre los números armónicos y el logaritmo natural . El número armónico H _n se puede interpretar como una suma de Riemann de la integral: ${\displaystyle \int _{1}^{n+1}{\frac {dx}{x}}=\ln(n+1).}$

El n -ésimo número armónico es aproximadamente tan grande como el logaritmo natural de n . La razón es que la suma se aproxima mediante la integral cuyo valor es ln n . $${\displaystyle \int _{1}^{n}{\frac {1}{x}}\,dx,}$$

Los valores de la secuencia H _n − ln n disminuyen monótonamente hacia el límite donde γ ≈ 0,5772156649 es la constante de Euler-Mascheroni . La expansión asintótica correspondiente es donde Bk son los números de _Bernoulli . $${\displaystyle \lim _{n\to \infty }\left(H_{n}-\ln n\right)=\gamma ,}$$ $${\displaystyle {\begin{aligned}H_{n}&\sim \ln {n}+\gamma +{\frac {1}{2n}}-\sum _{k=1}^{\infty }{\frac {B_{2k}}{2kn^{2k}}}\\&=\ln {n}+\gamma +{\frac {1}{2n}}-{\frac {1}{12n^{2}}}+{\frac {1}{120n^{4}}}-\cdots ,\end{aligned}}}$$

Funciones generadoras

Una función generadora de números armónicos es donde ln( z ) es el logaritmo natural . Una función generadora exponencial es donde Ein( z ) es la integral exponencial completa . La integral exponencial también se puede expresar como donde Γ(0, z ) es la función gamma incompleta . $${\displaystyle \sum _{n=1}^{\infty }z^{n}H_{n}={\frac {-\ln(1-z)}{1-z}},}$$ $${\displaystyle \sum _{n=1}^{\infty }{\frac {z^{n}}{n!}}H_{n}=e^{z}\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}}{k}}{\frac {z^{k}}{k!}}=e^{z}\operatorname {Ein} (z)}$$ $${\displaystyle \operatorname {Ein} (z)=\mathrm {E} _{1}(z)+\gamma +\ln z=\Gamma (0,z)+\gamma +\ln z}$$

Propiedades aritméticas

Los números armónicos tienen varias propiedades aritméticas interesantes. Es bien sabido que es un número entero si y sólo si , resultado a menudo atribuido a Taeisinger. ^[5] De hecho, utilizando la valoración 2-ádica , no es difícil demostrar que el numerador de es un número impar mientras que el denominador de es un número par. Más precisamente, con algunos números enteros impares y . ${\textstyle H_{n}}$ ${\textstyle n=1}$ ${\textstyle n\geq 2}$ ${\textstyle H_{n}}$ ${\textstyle H_{n}}$ $${\displaystyle H_{n}={\frac {1}{2^{\lfloor \log _{2}(n)\rfloor }}}{\frac {a_{n}}{b_{n}}}}$$ ${\textstyle a_{n}}$ ${\textstyle b_{n}}$

Como consecuencia del teorema de Wolstenholme , para cualquier número primo el numerador de es divisible por . Además, Eisenstein ^[6] demostró que para todo número primo impar se cumple donde es un cociente de Fermat , con la consecuencia de que divide el numerador de si y sólo si es un primo de Wieferich . ${\displaystyle p\geq 5}$ ${\displaystyle H_{p-1}}$ ${\textstyle p^{2}}$ ${\textstyle p}$ $${\displaystyle H_{(p-1)/2}\equiv -2q_{p}(2){\pmod {p}}}$$ ${\textstyle q_{p}(2)=(2^{p-1}-1)/p}$ ${\textstyle p}$ ${\displaystyle H_{(p-1)/2}}$ ${\textstyle p}$

En 1991, Eswarathasan y Levine ^[7] lo definieron como el conjunto de todos los números enteros positivos cuyo numerador es divisible por un número primo. Demostraron que para todos los números primos y definieron los primos armónicos como aquellos que tienen exactamente 3 elementos. . ${\displaystyle J_{p}}$ ${\displaystyle n}$ ${\displaystyle H_{n}}$ ${\displaystyle p.}$ $${\displaystyle \{p-1,p^{2}-p,p^{2}-1\}\subseteq J_{p}}$$ ${\displaystyle p\geq 5,}$ ${\textstyle p}$ ${\displaystyle J_{p}}$

Eswarathasan y Levine también conjeturaron que es un conjunto finito para todos los números primos y que hay infinitos números primos armónicos. Boyd ^[8] verificó que es finito para todos los números primos hasta excepto 83, 127 y 397; y dio una heurística sugiriendo que la densidad de los primos armónicos en el conjunto de todos los primos debería ser . Sanna ^[9] demostró que tiene densidad asintótica cero , mientras que Bing-Ling Wu y Yong-Gao Chen ^[10] demostraron que el número de elementos que no excede es como máximo , para todos . ${\displaystyle J_{p}}$ ${\displaystyle p,}$ ${\displaystyle J_{p}}$ ${\displaystyle p=547}$ ${\displaystyle 1/e}$ ${\displaystyle J_{p}}$ ${\displaystyle J_{p}}$ ${\displaystyle x}$ ${\displaystyle 3x^{{\frac {2}{3}}+{\frac {1}{25\log p}}}}$ ${\displaystyle x\geq 1}$

Aplicaciones

Los números armónicos aparecen en varias fórmulas de cálculo, como la función digamma. Esta relación también se usa frecuentemente para definir la extensión de los números armónicos a n no entero . Los números armónicos también se utilizan con frecuencia para definir γ utilizando el límite introducido anteriormente, aunque converge más rápidamente. $${\displaystyle \psi (n)=H_{n-1}-\gamma .}$$ $${\displaystyle \gamma =\lim _{n\rightarrow \infty }{\left(H_{n}-\ln(n)\right)},}$$ $${\displaystyle \gamma =\lim _{n\to \infty }{\left(H_{n}-\ln \left(n+{\frac {1}{2}}\right)\right)}}$$

En 2002, Jeffrey Lagarias demostró ^[11] que la hipótesis de Riemann es equivalente a la afirmación que es verdadera para todo número entero n ≥ 1 con desigualdad estricta si n > 1 ; aquí σ ( n ) denota la suma de los divisores de n . $${\displaystyle \sigma (n)\leq H_{n}+(\log H_{n})e^{H_{n}},}$$

Los valores propios del problema no local están dados por , donde por convención , y las funciones propias correspondientes están dadas por los polinomios de Legendre . ^[12] ${\displaystyle L^{2}([-1,1])}$ $${\displaystyle \lambda \varphi (x)=\int _{-1}^{1}{\frac {\varphi (x)-\varphi (y)}{|x-y|}}\,dy}$$ ${\displaystyle \lambda =2H_{n}}$ ${\displaystyle H_{0}=0}$ ${\displaystyle \varphi (x)=P_{n}(x)}$

Generalizaciones

Números armónicos generalizados

El n- ésimo número armónico generalizado de orden m viene dado por $${\displaystyle H_{n,m}=\sum _{k=1}^{n}{\frac {1}{k^{m}}}.}$$

(En algunas fuentes, esto también puede indicarse con o ) ${\textstyle H_{n}^{(m)}}$ ${\textstyle H_{m}(n).}$

El caso especial m = 0 da El caso especial m = 1 se reduce al número armónico habitual: ${\displaystyle H_{n,0}=n.}$ $${\displaystyle H_{n,1}=H_{n}=\sum _{k=1}^{n}{\frac {1}{k}}.}$$

El límite de as n → ∞ es finito si m > 1 , con el número armónico generalizado acotado y convergiendo a la función zeta de Riemann ${\textstyle H_{n,m}}$ $${\displaystyle \lim _{n\rightarrow \infty }H_{n,m}=\zeta (m).}$$

El número natural más pequeño k tal que k ⁿ no divide el denominador del número armónico generalizado H ( k , n ) ni el denominador del número armónico generalizado alterno H′ ( k , n ) es, para n = 1, 2, .. .

77, 20, 94556602, 42, 444, 20, 104, 42, 76, 20, 77, 110, 3504, 20, 903, 42, 1107, 20, 104, 42, 77, 20, 2948, 110, 136, 20, 76, 42, 903, 20, 77, 42, 268, 20, 7004, 110, 1752, 20, 19203, 42, 77, 20, 104, 42, 76, 20, 370, 110, 1107, 20, ... (secuencia A128670 en el OEIS )

La suma relacionada ocurre en el estudio de los números de Bernoulli ; Los números armónicos también aparecen en el estudio de los números de Stirling . ${\displaystyle \sum _{k=1}^{n}k^{m}}$

Algunas integrales de números armónicos generalizados son y donde A es la constante de Apéry ζ (3), y $${\displaystyle \int _{0}^{a}H_{x,2}\,dx=a{\frac {\pi ^{2}}{6}}-H_{a}}$$ $${\displaystyle \int _{0}^{a}H_{x,3}\,dx=aA-{\frac {1}{2}}H_{a,2},}$$ $${\displaystyle \sum _{k=1}^{n}H_{k,m}=(n+1)H_{n,m}-H_{n,m-1}{\text{ for }}m\geq 0.}$$

Todo número armónico generalizado de orden m se puede escribir como función de números armónicos de orden usando   , por ejemplo: ${\displaystyle m-1}$ $${\displaystyle H_{n,m}=\sum _{k=1}^{n-1}{\frac {H_{k,m-1}}{k(k+1)}}+{\frac {H_{n,m-1}}{n}}}$$ ${\displaystyle H_{4,3}={\frac {H_{1,2}}{1\cdot 2}}+{\frac {H_{2,2}}{2\cdot 3}}+{\frac {H_{3,2}}{3\cdot 4}}+{\frac {H_{4,2}}{4}}}$

Una función generadora de números armónicos generalizados es dónde está el polilogaritmo y | z | < 1 . La función generadora dada anteriormente para m = 1 es un caso especial de esta fórmula. $${\displaystyle \sum _{n=1}^{\infty }z^{n}H_{n,m}={\frac {\operatorname {Li} _{m}(z)}{1-z}},}$$ ${\displaystyle \operatorname {Li} _{m}(z)}$

Un argumento fraccionario para números armónicos generalizados se puede presentar de la siguiente manera:

Para cada número entero, sea entero o no, tenemos de funciones poligamma: ¿ dónde está la función zeta de Riemann ? La relación de recurrencia relevante es Algunos valores especiales son donde G es la constante catalana . En el caso especial de que , obtenemos ${\displaystyle p,q>0}$ ${\displaystyle m>1}$ $${\displaystyle H_{q/p,m}=\zeta (m)-p^{m}\sum _{k=1}^{\infty }{\frac {1}{(q+pk)^{m}}}}$$ ${\displaystyle \zeta (m)}$ $${\displaystyle H_{a,m}=H_{a-1,m}+{\frac {1}{a^{m}}}.}$$ $${\displaystyle {\begin{aligned}H_{{\frac {1}{4}},2}&=16-{\tfrac {5}{6}}\pi ^{2}-8G\\H_{{\frac {1}{2}},2}&=4-{\frac {\pi ^{2}}{3}}\\H_{{\frac {3}{4}},2}&={\frac {16}{9}}-{\frac {5}{6}}\pi ^{2}+8G\\H_{{\frac {1}{4}},3}&=64-\pi ^{3}-27\zeta (3)\\H_{{\frac {1}{2}},3}&=8-6\zeta (3)\\H_{{\frac {3}{4}},3}&=\left({\frac {4}{3}}\right)^{3}+\pi ^{3}-27\zeta (3)\end{aligned}}}$$ ${\displaystyle p=1}$ $${\displaystyle H_{n,m}=\zeta (m,1)-\zeta (m,n+1),}$$

¿Dónde está la función zeta de Hurwitz ? Esta relación se utiliza para calcular números armónicos numéricamente. ${\displaystyle \zeta (m,n)}$

Fórmulas de multiplicación

El teorema de la multiplicación se aplica a los números armónicos. Usando funciones poligamma , obtenemos o, más generalmente, $${\displaystyle {\begin{aligned}H_{2x}&={\frac {1}{2}}\left(H_{x}+H_{x-{\frac {1}{2}}}\right)+\ln 2\\H_{3x}&={\frac {1}{3}}\left(H_{x}+H_{x-{\frac {1}{3}}}+H_{x-{\frac {2}{3}}}\right)+\ln 3,\end{aligned}}}$$ $${\displaystyle H_{nx}={\frac {1}{n}}\left(H_{x}+H_{x-{\frac {1}{n}}}+H_{x-{\frac {2}{n}}}+\cdots +H_{x-{\frac {n-1}{n}}}\right)+\ln n.}$$

Para números armónicos generalizados, tenemos dónde está la función zeta de Riemann . $${\displaystyle {\begin{aligned}H_{2x,2}&={\frac {1}{2}}\left(\zeta (2)+{\frac {1}{2}}\left(H_{x,2}+H_{x-{\frac {1}{2}},2}\right)\right)\\H_{3x,2}&={\frac {1}{9}}\left(6\zeta (2)+H_{x,2}+H_{x-{\frac {1}{3}},2}+H_{x-{\frac {2}{3}},2}\right),\end{aligned}}}$$ ${\displaystyle \zeta (n)}$

Números hiperarmónicos

La siguiente generalización fue analizada por JH Conway y RK Guy en su libro de 1995 The Book of Numbers . ^{[1] : 258} Sea entonces, el enésimo número hiperarmónico de orden r ( r>0 ) se define recursivamente como En particular, es el número armónico ordinario . $${\displaystyle H_{n}^{(0)}={\frac {1}{n}}.}$$ $${\displaystyle H_{n}^{(r)}=\sum _{k=1}^{n}H_{k}^{(r-1)}.}$$ ${\displaystyle H_{n}^{(1)}}$ ${\displaystyle H_{n}}$

Números armónicos romanos

Los números armónicos romanos, ^[13] que llevan el nombre de Steven Roman , fueron introducidos por Daniel Loeb y Gian-Carlo Rota en el contexto de una generalización del cálculo umbral con logaritmos. ^[14] Hay muchas definiciones posibles, pero una de ellas, para , es y Por supuesto, ${\displaystyle n,k\geq 0}$ $${\displaystyle c_{n}^{(0)}=1,}$$ $${\displaystyle c_{n}^{(k+1)}=\sum _{i=1}^{n}{\frac {c_{i}^{(k)}}{i}}.}$$ $${\displaystyle c_{n}^{(1)}=H_{n}.}$$

Si , satisfacen las fórmulas de forma cerrada son donde están los números de Stirling del primer tipo generalizados al primer argumento negativo, y que fue encontrado por Donald Knuth . ${\displaystyle n\neq 0}$ $${\displaystyle c_{n}^{(k+1)}-{\frac {c_{n}^{(k)}}{n}}=c_{n-1}^{(k+1)}.}$$ $${\displaystyle c_{n}^{(k)}=n!(-1)^{k}s(-n,k),}$$ ${\displaystyle s(-n,k)}$ $${\displaystyle c_{n}^{(k)}=\sum _{j=1}^{n}{\binom {n}{j}}{\frac {(-1)^{j-1}}{j^{k}}},}$$

De hecho, estos números se definieron de manera más general utilizando números romanos y factoriales romanos, que incluyen valores negativos para . Esta generalización fue útil en su estudio para definir logaritmos armónicos. ${\displaystyle n}$

Números armónicos para valores reales y complejos.

Las fórmulas dadas anteriormente son una representación integral y en serie para una función que interpola los números armónicos y, mediante continuación analítica , extiende la definición al plano complejo distinto de los enteros negativos x . De hecho, la función de interpolación está estrechamente relacionada con la función digamma donde ψ ( x ) es la función digamma y γ es la constante de Euler-Mascheroni . El proceso de integración puede repetirse para obtener $${\displaystyle H_{x}=\int _{0}^{1}{\frac {1-t^{x}}{1-t}}\,dt=\sum _{k=1}^{\infty }{x \choose k}{\frac {(-1)^{k-1}}{k}}}$$ $${\displaystyle H_{x}=\psi (x+1)+\gamma ,}$$ $${\displaystyle H_{x,2}=\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}}{k}}{x \choose k}H_{k}.}$$

La serie de Taylor para los números armónicos es la que proviene de la serie de Taylor para la función digamma ( es la función zeta de Riemann ). $${\displaystyle H_{x}=\sum _{k=2}^{\infty }(-1)^{k}\zeta (k)\;x^{k-1}\quad {\text{ for }}|x|<1}$$ ${\displaystyle \zeta }$

Formulación asintótica alternativa

Cuando se busca aproximar  H _x para un número complejo  x , es efectivo calcular primero  H _m para algún entero grande  m . Úselo como una aproximación para el valor de  H _{m + x} . Luego use la relación de recursividad H _n = H _{n −1} + 1/ n hacia atrás  m veces, para desenrollarla hasta una aproximación de  H _x . Además, esta aproximación es exacta en el límite cuando  m tiende al infinito.

Específicamente, para un entero fijo  n , se da el caso de que $${\displaystyle \lim _{m\rightarrow \infty }\left[H_{m+n}-H_{m}\right]=0.}$$

Si  n no es un número entero, entonces no es posible decir si esta ecuación es verdadera porque todavía no hemos definido (en esta sección) números armónicos para números no enteros. Sin embargo, obtenemos una extensión única de los números armónicos a los no enteros al insistir en que esta ecuación continúe siendo válida cuando el entero arbitrario  n se reemplaza por un número complejo arbitrario  x .

$${\displaystyle \lim _{m\rightarrow \infty }\left[H_{m+x}-H_{m}\right]=0\,.}$$Al intercambiar el orden de los dos lados de esta ecuación y luego restarlos de  H _x se obtiene $${\displaystyle {\begin{aligned}H_{x}&=\lim _{m\rightarrow \infty }\left[H_{m}-(H_{m+x}-H_{x})\right]\\[6pt]&=\lim _{m\rightarrow \infty }\left[\left(\sum _{k=1}^{m}{\frac {1}{k}}\right)-\left(\sum _{k=1}^{m}{\frac {1}{x+k}}\right)\right]\\[6pt]&=\lim _{m\rightarrow \infty }\sum _{k=1}^{m}\left({\frac {1}{k}}-{\frac {1}{x+k}}\right)=x\sum _{k=1}^{\infty }{\frac {1}{k(x+k)}}\,.\end{aligned}}}$$

Esta serie infinita converge para todos los números complejos  x excepto los enteros negativos, que fallan porque intentar usar la relación de recursividad H _n = H _{n −1} + 1/ n hacia atrás a través del valor  n = 0 implica una división por cero. Según esta construcción, la función que define el número armónico para valores complejos es la única función que satisface simultáneamente (1) H ₀ = 0 , (2) H _x = H _{x −1} + 1/ x para todos los números complejos  x excepto el enteros no positivos, y (3) lim _{m →+∞} ( H _{m + x} − H _m ) = 0 para todos los valores complejos  x .

Esta última fórmula se puede utilizar para demostrar que donde  γ es la constante de Euler-Mascheroni o, más generalmente, para cada  n tenemos: $${\displaystyle \int _{0}^{1}H_{x}\,dx=\gamma ,}$$ $${\displaystyle \int _{0}^{n}H_{x}\,dx=n\gamma +\ln(n!).}$$

Valores especiales para argumentos fraccionarios.

Existen los siguientes valores analíticos especiales para argumentos fraccionarios entre 0 y 1, dados por la integral $${\displaystyle H_{\alpha }=\int _{0}^{1}{\frac {1-x^{\alpha }}{1-x}}\,dx\,.}$$

Se pueden generar más valores a partir de la relación de recurrencia o de la relación de reflexión. $${\displaystyle H_{\alpha }=H_{\alpha -1}+{\frac {1}{\alpha }}\,,}$$ $${\displaystyle H_{1-\alpha }-H_{\alpha }=\pi \cot {(\pi \alpha )}-{\frac {1}{\alpha }}+{\frac {1}{1-\alpha }}\,.}$$

Por ejemplo: $${\displaystyle {\begin{aligned}H_{\frac {1}{2}}&=2-2\ln 2\\H_{\frac {1}{3}}&=3-{\frac {\pi }{2{\sqrt {3}}}}-{\frac {3}{2}}\ln 3\\H_{\frac {2}{3}}&={\frac {3}{2}}+{\frac {\pi }{2{\sqrt {3}}}}-{\frac {3}{2}}\ln 3\\H_{\frac {1}{4}}&=4-{\frac {\pi }{2}}-3\ln 2\\H_{\frac {3}{4}}&={\frac {4}{3}}+{\frac {\pi }{2}}-3\ln 2\\H_{\frac {1}{6}}&=6-{\frac {\sqrt {3}}{2}}\pi -2\ln 2-{\frac {3}{2}}\ln 3\\H_{\frac {1}{8}}&=8-{\frac {1+{\sqrt {2}}}{2}}\pi -4\ln {2}-{\frac {1}{\sqrt {2}}}\left(\ln \left(2+{\sqrt {2}}\right)-\ln \left(2-{\sqrt {2}}\right)\right)\\H_{\frac {1}{12}}&=12-\left(1+{\frac {\sqrt {3}}{2}}\right)\pi -3\ln {2}-{\frac {3}{2}}\ln {3}+{\sqrt {3}}\ln \left(2-{\sqrt {3}}\right)\end{aligned}}}$$

Que se calculan mediante el teorema digamma de Gauss , que esencialmente establece que para enteros positivos p y q con p < q $${\displaystyle H_{\frac {p}{q}}={\frac {q}{p}}+2\sum _{k=1}^{\lfloor {\frac {q-1}{2}}\rfloor }\cos \left({\frac {2\pi pk}{q}}\right)\ln \left({\sin \left({\frac {\pi k}{q}}\right)}\right)-{\frac {\pi }{2}}\cot \left({\frac {\pi p}{q}}\right)-\ln \left(2q\right)}$$

Relación con la función zeta de Riemann

Algunas derivadas de números armónicos fraccionarios vienen dadas por $${\displaystyle {\begin{aligned}{\frac {d^{n}H_{x}}{dx^{n}}}&=(-1)^{n+1}n!\left[\zeta (n+1)-H_{x,n+1}\right]\\[6pt]{\frac {d^{n}H_{x,2}}{dx^{n}}}&=(-1)^{n+1}(n+1)!\left[\zeta (n+2)-H_{x,n+2}\right]\\[6pt]{\frac {d^{n}H_{x,3}}{dx^{n}}}&=(-1)^{n+1}{\frac {1}{2}}(n+2)!\left[\zeta (n+3)-H_{x,n+3}\right].\end{aligned}}}$$

Y usando la serie de Maclaurin , tenemos para x < 1 que $${\displaystyle {\begin{aligned}H_{x}&=\sum _{n=1}^{\infty }(-1)^{n+1}x^{n}\zeta (n+1)\\[5pt]H_{x,2}&=\sum _{n=1}^{\infty }(-1)^{n+1}(n+1)x^{n}\zeta (n+2)\\[5pt]H_{x,3}&={\frac {1}{2}}\sum _{n=1}^{\infty }(-1)^{n+1}(n+1)(n+2)x^{n}\zeta (n+3).\end{aligned}}}$$

Para argumentos fraccionarios entre 0 y 1 y para a > 1, $${\displaystyle {\begin{aligned}H_{1/a}&={\frac {1}{a}}\left(\zeta (2)-{\frac {1}{a}}\zeta (3)+{\frac {1}{a^{2}}}\zeta (4)-{\frac {1}{a^{3}}}\zeta (5)+\cdots \right)\\[6pt]H_{1/a,\,2}&={\frac {1}{a}}\left(2\zeta (3)-{\frac {3}{a}}\zeta (4)+{\frac {4}{a^{2}}}\zeta (5)-{\frac {5}{a^{3}}}\zeta (6)+\cdots \right)\\[6pt]H_{1/a,\,3}&={\frac {1}{2a}}\left(2\cdot 3\zeta (4)-{\frac {3\cdot 4}{a}}\zeta (5)+{\frac {4\cdot 5}{a^{2}}}\zeta (6)-{\frac {5\cdot 6}{a^{3}}}\zeta (7)+\cdots \right).\end{aligned}}}$$

Ver también

• estimador de Watterson
• D de Tajima
• El problema del cobrador de cupones
• problema del jeep
• El problema de los 100 prisioneros.
• Función zeta de Riemann
• Lista de sumas de recíprocos
• Tasa de falsos descubrimientos # procedimiento Benjamin-Yekutieli
• Problema de apilamiento de bloques

Notas

1. John H., Conway; Richard K., chico (1995). El libro de los números . Copérnico.
2. Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1994). Matemáticas Concretas . Addison-Wesley.
3. Sondow, Jonathan y Weisstein, Eric W. "Número armónico". De MathWorld: un recurso web de Wolfram. http://mathworld.wolfram.com/HarmonicNumber.html
4. Sandifer, C. Edward (2007), Cómo lo hizo Euler, MAA Spectrum, Asociación Matemática de América, p. 206, ISBN 9780883855638.
5. Weisstein, Eric W. (2003). Enciclopedia concisa de matemáticas CRC . Boca Ratón, FL: Chapman & Hall/CRC. pag. 3115.ISBN​ 978-1-58488-347-0.
6. Eisenstein, Ferdinand Gotthold Max (1850). "Eine neue Gattung zahlentheoretischer Funktionen, welche von doswei Elementen ahhängen und durch gewisse lineare Funktional-Gleichungen definirt werden". Berichte Königl. Preuβ. Akád. Wiss. Berlín . 15 : 36–42.
7. Eswarathasan, Arulappah; Levine, Eugenio (1991). "sumas armónicas integrales p". Matemáticas discretas . 91 (3): 249–257. doi : 10.1016/0012-365X(90)90234-9 .
8. Boyd, David W. (1994). "Un estudio p-ádico de las sumas parciales de la serie armónica". Matemáticas Experimentales . 3 (4): 287–302. CiteSeerX 10.1.1.56.7026 . doi :10.1080/10586458.1994.10504298. 
9. Sanna, Carlo (2016). "Sobre la valoración p-ádica de números armónicos" (PDF) . Revista de teoría de números . 166 : 41–46. doi : 10.1016/j.jnt.2016.02.020 . hdl :2318/1622121.
10. Chen, Yong-Gao; Wu, Bing-Ling (2017). "Sobre determinadas propiedades de los números armónicos". Revista de teoría de números . 175 : 66–86. doi :10.1016/j.jnt.2016.11.027.
11. Jeffrey Lagarias (2002). "Un problema elemental equivalente a la hipótesis de Riemann". América. Matemáticas. Mensual . 109 (6): 534–543. arXiv : math.NT/0008177 . doi :10.2307/2695443. JSTOR  2695443.
12. EO Tuck (1964). "Algunos métodos para flujos a través de cuerpos delgados y romos". J. Mec. de fluidos . 18 (4): 619–635. Código bibliográfico : 1964JFM....18..619T. doi :10.1017/S0022112064000453. S2CID  123120978.
13. Sesma, J. (2017). "Revisión de los números armónicos romanos". Revista de teoría de números . 180 : 544–565. arXiv : 1702.03718 . doi :10.1016/j.jnt.2017.05.009. ISSN  0022-314X.
14. Loeb, Daniel E; Rota, Gian-Carlo (1989). "Serie de potencias formales de tipo logarítmico". Avances en Matemáticas . 75 (1): 1–118. doi : 10.1016/0001-8708(89)90079-0 . ISSN  0001-8708.

Referencias

• Arthur T. Benjamín; Gregorio O. Preston; Jennifer J. Quinn (2002). "Un encuentro de Stirling con números armónicos" (PDF) . Revista Matemáticas . 75 (2): 95-103. CiteSeerX  10.1.1.383.722 . doi :10.2307/3219141. JSTOR  3219141. Archivado desde el original (PDF) el 17 de junio de 2009 . Consultado el 8 de agosto de 2005 .
• Donald Knuth (1997). "Sección 1.2.7: Números armónicos". El arte de la programación informática . vol. 1: Algoritmos fundamentales (Tercera ed.). Addison-Wesley. págs. 75–79. ISBN 978-0-201-89683-1.
• Ed Sandifer, Cómo lo hizo Euler: estimación del problema de Basilea Archivado el 13 de mayo de 2005 en Wayback Machine (2003)
• Paula, Pedro ; Schneider, Carsten (2003). "Pruebas informáticas de una nueva familia de identidades de números armónicos" (PDF) . Adv. Aplica. Matemáticas . 31 (2): 359–378. doi :10.1016/s0196-8858(03)00016-2.
• Wenchang Chu (2004). "Una identidad de coeficiente binomial asociada con la conjetura de Beukers sobre los números Apery" (PDF) . La Revista Electrónica de Combinatoria . 11 : N15. doi : 10.37236/1856 .
• Ayhan Dil; István Mező (2008). "Un algoritmo simétrico para números hiperarmónicos y de Fibonacci". Matemáticas Aplicadas y Computación . 206 (2): 942–951. arXiv : 0803.4388 . doi :10.1016/j.amc.2008.10.013. S2CID  12130670.

enlaces externos

• Weisstein, Eric W. "Número armónico". MundoMatemático .

Este artículo incorpora material de Número armónico en PlanetMath , que tiene la licencia Creative Commons Attribution/Share-Alike License .