Puede ser interesante observar que esta suma es un ejemplo de una suma de armónicos que se utiliza a menudo en los libros de texto para ilustrar el uso de Mellin transforma en estos importes, donde el truco es calcular la transformada de Mellin la suma y a partir de entonces el uso de Mellin de inversión para obtener un asintótica de expansión de este último. Introducir
$$ f(x) = \sum_{k\ge 1} \left(\frac{1}{k} - \frac{1}{x+k}\right).$$
La razón de esto es muy útil es el hecho de que
$$ f(n) = H_n,$$
lo que debería ser obvio. Aquí $H_n$ indica el $n$-ésimo número armónico. Así que, si ampliamos $f(x)$ al infinito obtenemos la asintótica de expansión de la armónica de los números.
Ahora para hacer el análisis armónico podemos reescribir la suma de la siguiente manera:
$$ f(x) = \sum_{k\ge 1} \frac{x}{k(x+k)} =
\sum_{k\ge 1} \frac{1}{k} \frac{x}{x+k} =
\sum_{k\ge 1} \frac{1}{k} \frac{x/k}{x/k+1}.$$
Comparando esto con la ecuación de la transformada de Mellin de una suma de armónicos, que recordamos es
$$\mathfrak{M}\left(\sum_{k\ge 1} \lambda_k g(\mu_k x); s\right) =
\left(\sum_{k\ge 1} \frac{\lambda_k}{\mu_k^s} \right) g^*(s),$$
donde $g^*(s)$ es la transformada de Mellin $g(x),$ vemos que en el presente caso
$$\lambda_k = \frac{1}{k},
\quad \mu_k = \frac{1}{k}
\quad \text{y} \quad
g(x) = \frac{x}{1+x}.$$
Esto le da
$$ \sum_{k\ge 1} \frac{\lambda_k}{\mu_k^s} = \zeta(1-s).$$
Utilizamos un ojo de la cerradura de contorno para la transformada de Mellin $g(x)$, y tomar en cuenta la pole en $x=-1$, la obtención de
$$ \left(1-e^{2\pi i (s-1)}\right) \int_0^\infty g(x) x^{m-1} dx =
2\pi i(-1)^s$$
lo que implica que
$$g^*(s) = 2\pi i\frac{e^{i\pi s}}{1-e^{2\pi i s}}
= \pi \frac{2}{e^{-\pi i s} - e^{\pi i s}} =
-\frac{\pi}{\sin(\pi s)}.$$
Ahora podemos concluir que la Mellin transformar $f^*(s)$ $f(x)$ está dado por
$$\mathfrak{M}(f(x); s) = - \zeta(1-s) \frac{\pi}{\sin(\pi s)}.$$
Estamos listos para aplicar Mellin de inversión a $f^*(s)$, el desplazamiento de la inversión integral, que es
$$ \frac{1}{2\pi i}\int_{-1/2-i\infty}^{-1/2+i\infty} f^*(s)/x^s\, ds,$$ a la derecha para una expansión al infinito.
Tenemos
$$\operatorname{Res}(f^*(s)/x^s; s=0) = -\gamma -\log x$$
$$\operatorname{Res}(f^*(s)/x^s; s=1) = -\frac{1}{2x}$$
y a partir de entonces
$$\operatorname{Res}(f^*(s)/x^s; s=m) = - \zeta(1-m) \frac{(-1)^m}{x^m} =
\frac{(-1)^m B_m}{m}\frac{1}{x^m}$$
donde el $B_m$ son los números de Bernoulli.
La conclusión es que
$$ f(x) \sim \gamma + \log x + \frac{1}{2x}
- \sum_{m\ge 2} \frac{(-1)^m B_m}{m}\frac{1}{x^m}$$
y, en particular,
$$ H_n \sim \gamma + \log n
+ \frac{1}{2n} - \frac{1}{12n^2} + \frac{1}{120n^4} - \cdots.$$