Sobre la suma: $\sum\limits_{n=0}^{\infty}\left[\,\sum\limits_{k=1}^{a}\frac{1}{an+k}-\sum\limits_{k=1}^{b}\frac{1}{bn+k}\,\right]$

Question

Cómo probar:

$$ \sum_{n=0}^{\infty}\left[\,\sum_{k=1}^{a}\frac{1}{a\,n+k}-\sum_{k=1}^{b}\frac{1}{b\,n+k}\,\right]=\log\left(\frac{a}{b}\right)\qquad\colon\,a\,,b\in\mathbb{N}^{+}\tag{1}$$

¿Obviamente, nosotros no podemos dividir la suma: $$ \left(\sum_{n=0}^{\infty}\,\sum_{k=1}^{a}\frac{1}{a\,n+k}\right)-\left(\sum_{n=0}^{\infty}\,\sum_{k=1}^{b}\frac{1}{b\,n+k}\right) = \left(\sum_{n=1}^{\infty}\frac1n\right)-\left(\sum_{n=1}^{\infty}\frac1n\right)=\infty-\infty $ $ alguna idea? Gracias de antemano.

Answer 1

Para empezar, nos dan una representación integral para el término general de la suma externa:

$$ \sum_{k=1}^{a}\frac{1}{an+k}-\sum_{k=1}^{b}\frac{1}{bn+k} = \int_{0}^{1}\left(x^{an}\sum_{k=1}^{a}x^{k-1}-x^{bn}\sum_{k=1}^{b}x^{k-1}\right)\,dx \tag{1}$ $ convirtiendo la suma total en: %#% $ #% Si ahora explotamos $$ \lim_{N\to +\infty}\sum_{n= 0}^{N}\int_{0}^{1}\left[\left(x^{an}-x^{bn}\right)-\left(x^{a(n+1)}-x^{b(n+1)}\right)\right]\,\frac{dx}{1-x} \tag{2}$ $ la suma total se convierte en $$ \int_{0}^{1}\frac{x^A-x^B}{1-x}\,dx = H_B-H_A \tag{3}$ $ $$ \lim_{N\to +\infty} \left(H_{aN}-H_{bN}\right) = \log\frac{a}{b} \tag{4}$

---

Es interesante señalar que no se nos permite intercambiar $H_n=\log(n)+\gamma+O\left(\frac{1}{n}\right).$ y $\sum_{n\geq 0}$ $\int_{0}^{1}$, desde la hipótesis del teorema de convergencia dominada no se cumplen.