Necesito ayuda para probar el límite

Question

Para cada $k$ , $$\sum _{n=k^2+1}^{k^2+2 k} \left(\sqrt{n}-k\right)\approx \frac{6 k+1}{6}$$

Una función generadora $f(k)$ que elimina $k$ de la salida, conservando sólo la parte fraccionaria, $$f(k)\equiv \zeta \left(-\frac{1}{2},k^2+1\right)-\zeta \left(-\frac{1}{2},(k+1)^2\right)-k (2 k+1)$$
donde $\zeta \left(a,b\right)$ es la función Zeta de Hurwitz.

El límite aumenta la precisión muy lentamente, $$\lim_{k\to \infty } \, f(k)\approx \frac{1}{6}$$

Para (decir) $k=10$ nos encontramos con que: $0.166288$

Para (decir) $k=10^{20}$ nos encontramos con que: $0.1666666666666666666666666666666666666666625$

¿Cómo puedo demostrar que el límite existe?

Answer 1

Esencialmente tienes $$f(k) = \left(\sum_{k^2+1}^{k^2+2k} \left( \sqrt{n} - k\right) \right) -k = \sum_{k^2+1}^{k^2+2k}\sqrt{n} -2k \times k - k = \sum_{k^2+1}^{k^2+2k}\sqrt{n} -(2k^2+k)$$ Por lo tanto, tenemos que evaluar $$\sum_{k^2+1}^{k^2+2k}\sqrt{n} = \sum_{1}^{2k}\sqrt{n+k^2} = k \sum_{n=1}^{2k}\sqrt{1+ \dfrac{n}{k^2}}$$ Recordemos que $$\sqrt{1+x} = 1 + \dfrac12 x + \dfrac{\dfrac12 \times \left(\dfrac12-1\right)}{2!}x^2 + \dfrac{\dfrac12 \times \left(\dfrac12-1\right) \left(\dfrac12-2\right)}{3!}x^3 + \mathcal{O}(x^4)$$ Esto nos da $$\sum_{n=1}^{2k}\sqrt{1+ \dfrac{n}{k^2}} = \sum_{n=1}^{2k} \left(1 + \dfrac{n}{2k^2} - \dfrac{\dfrac12 \cdot \dfrac12}2 \dfrac{n^2}{k^4} + \mathcal{O} \left(\dfrac{n^3}{k^6}\right)\right) = \sum_{n=1}^{2k} \left(1 + \dfrac{n}{2k^2} - \dfrac{n^2}{8k^4} + \mathcal{O} \left(\dfrac{n^3}{k^6}\right)\right)$$ Esto nos da $$\sum_{n=1}^{2k}\sqrt{1+ \dfrac{n}{k^2}} = 2k + \dfrac{(2k)(2k+1)}{4k^2}-\dfrac{(2k)(2k+1)(4k+1)}{48k^4} + \mathcal{O} \left(\dfrac1{k^2}\right)\\ = 2k + 1 + \dfrac1{2k} - \dfrac1{3k} + \mathcal{O} \left(\dfrac1{k^2} \right)$$ Por lo tanto, $$f(k) = k \sum_{n=1}^{2k}\sqrt{1+ \dfrac{n}{k^2}} - (2k^2+k) = \dfrac16 + \mathcal{O} \left(\dfrac1k\right)$$ que da lo que quieres.