La suma de $(-1)^n \frac{\ln n}{n}$

Question

Estoy atascado tratando de mostrar que $$\sum_{n=2}^{\infty} (-1)^n \frac{\ln n}{n}=\gamma \ln 2- \frac{1}{2}(\ln 2)^2$$

Este es un problema en el Cálculo de Simmons. Es en el final del capítulo de revisión y se asocia con la sección acerca de la alternancia de la serie de prueba. Hay una pista: se refieren a una ecuación de una sección anterior sobre la integral de la prueba. Específicamente:

$$L=\lim_{n\to\infty} F(n)=\lim_{n\to\infty}\left[a_1+a_2+\cdots+a_n-\int_1^n\! f(x)\,\mathrm{d}x\right]$$

Aquí, $\{a_n\}$ es una disminución de la secuencia de números positivos y $f(x)$ es una función decreciente tal que $f(n)=a_n$, e $\gamma$ es este límite en el caso de que $a_n=\frac{ 1}{n}$.

Los nuevos usuarios no pueden contestar a sus propias preguntas dentro de 8 horas, así que estoy editando mi pregunta para reflejar la respuesta.

Ok, lo tengo.

Siguiendo la sugerencia en el libro

$$L=\lim_{n\to\infty}\left[\frac{\ln 2}{2}+\frac{\ln 3}{3}+\cdots+\frac{\ln n}{n}-\int_2^n\! \frac{\ln x}{x}\,\mathrm{d}x\right]$$

$$=\lim\left[\frac{ \ln 2}{2}+\cdots+\frac{ \ln n}{n}-\left.\frac{ \ln^2x}{2}\right|_2^n\right]$$

La suma parcial para el positivo de la serie es: $$\left(\frac{\ln^2n}{2}-\frac{\ln^2}{2}\right)+L+o(1)$$

Volviendo a la original, la alternancia de la serie: $$-S_{2n}=\frac{ -\ln 2}{2}+\frac{ \ln 3}{3}-\frac{\ln 4}{4}+\frac{\ln 5}{5}-\cdots$$ $$=\frac{\ln 2}{2}+\frac{\ln 3}{3}+\cdots+\frac{\ln 2n}{2n}-2\left(\frac{\ln 2}{2}+\frac{\ln 4}{4}+\cdots+\frac{\ln 2n}{2n}\right)$$

Considerar la suma parcial entre paréntesis $$ \frac{\ln 2}{2}+\frac{\ln 4}{4}+\cdots+\frac{\ln 2n}{2n}=\frac{\ln 2}{2}+\frac{\ln 2 +\ln 2}{4}+\frac{\ln 2+\ln 3}{6}+\cdots+\frac{\ln 2+\ln n}{2n}$$ $$=\frac{1}{2}\left(\ln 2\left(1+\frac{ 1}{2}+\cdots+\frac{ 1}{n}\right)+\left(\frac{ \ln 2}{2}+\frac{ \ln 3}{3}+\cdots+\frac{ \ln n}{n}\right)\right)$$

Ahora, enchufe de la parte posterior que en $$-S_{2n}=\left(\frac{\ln 2}{2}+\cdots+\frac{ \ln 2n}{2n}\right)-\ln 2\left(1+\frac{ 1}{2}+\cdots+\frac{ 1}{n}\right)-\left(\frac{ \ln 2}{2}+\frac{ \ln 3}{3}+\cdots+\frac{ \ln n}{n}\right)$$ $$=\frac{ \ln^2(2n)}{2}-\frac{ \ln^2 2}{2}+L+o(1)-\ln 2\left(\ln n +\gamma+o(1)\right)-\left(\frac{ \ln^2 n}{2}-\frac{ \ln^2 2}{2}+L+o(1)\right)$$ $$=\frac{ (\ln 2 +\ln n)^2}{2}-(\ln 2)(\ln n)-\gamma\ln 2-\frac{ \ln^2 n}{2}+o(1)$$ $$=\frac{ \ln^2 2}{2}+(\ln 2)(\ln n)+\frac{ \ln^2 n}{2}-(\ln 2)(\ln n)-\gamma \ln 2 - \frac{ \ln^2 n}{2}+o(1)$$ $$-S_{2n}\to\frac{ \ln^2}{2}-\gamma\ln 2$$ Que da el resultado deseado $$\sum_2^{\infty}(-1)^n \frac{ \ln n}{n}=\gamma\ln 2 -\frac{ \ln^2 2}{2}$$

Answer 1

Vamos a evaluar esta más general. ¿Qué es $$\sum_{n=1}^\infty \frac{(-1)^n \log^k (n)}{n}$$ for integers $k$? Recall the Dirichlet eta function $$\eta(s)=\sum_{n=1}^\infty \frac{(-1)^n}{n^s}=\left(1-2^{1-s}\right)\zeta(s).$$
Veamos el caso de la expansión de alrededor de $s=1$.
Tenemos que

$$1-2^{1-s}=1-e^{-(s-1)\log2}=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}\left(\log2\right)^{n}}{n!}(s-1)^{n},$$ and $$\zeta(s)=\frac{1}{s-1}+\sum_{n=0}^{\infty}(-1)^{n}\gamma_{n}\frac{(s-1)^{n}}{n!}.$$ The $\gamma_i$ are the Stieltjes Constants which we expect should come up in this problem since $$\gamma_m:=\lim_{r\to\infty} \sum_{k=1}^r \left(\frac{\log^m k}{k}-\frac{\log^m r}{(m+1)}\right).$$ Upon multiplying the two expansions we get $$\left(1-2^{1-s}\right)\zeta(s)=\sum_{n=0}^{\infty}\left(\frac{(-1)^{n}\left(\log2\right)^{n+1}}{(n+1)!}+(-1)^{n-1}\sum_{k=0}^{n-1}\gamma_{k}\frac{\log^{n-k}2}{k!(n-k)!}\right)(s-1)^{n}.$$ Notice that $$\sum_{n=1}^{\infty}\frac{(-1)^{n}\log^{k}n}{n}=\eta^{(k)}(1)$$ which is the $k^{th}$ derivative of the above expression evaluated at $1$. Consequently, it is the $k^{th}$ coefficient above multiplied by $k!$. That is we have the closed form $$\sum_{n=1}^{\infty}\frac{(-1)^{n}\log^{k}n}{n}=\frac{(-1)^{n}\left(\log2\right)^{k+1}}{k+1}+(-1)^{k-1}\sum_{j=0}^{k-1}\gamma_{j}\binom{k}{j}\log^{k-j}2.$$

Espero que ayude,

Answer 2

Aquí es otra forma de demostrar la identidad de cálculo de nivel, aunque no es tan simple como la solución de la pista. Una fuerza brutal que funciona aquí. Vamos $$H_n = \sum_{k=1}^{n} \frac{1}{k}$$ ser la $n$-ésimo número armónico y $$ A_{r,n} = \sum_{k=1}^{n} \frac{1}{n} \frac{\left( \log ( 1 + \frac{k}{n} ) \right)^{r}}{1 + \frac{k}{n}}.$$ Entonces tenemos $$ \sum_{k=1}^{2n} \frac{(-1)^{k} \log k}{k} = (H_n - \log n) \log 2 + (\log 2 - A_{0, n}) \log n - A_{1,n}.$$ No es difícil ver que si $f$ es de clase $C^1$$[0, 1]$, luego por medio del teorema del valor $$\lim_{n\to\infty} n \left( \sum_{k=1}^{n} f\left( \frac{k}{n}\right) \frac{1}{n} - \int_{0}^{1} f(x) \; dx \right) = \frac{f(1) - f(0)}{2}.$$ Asumiendo la identidad anterior, teniendo $n \to \infty$, tenemos $$ \sum_{k=1}^{\infty} \frac{(-1)^{k} \log k}{k} = \gamma \log 2 - \frac{1}{2} (\log 2)^{2}.$$ Por lo que sigue siendo para mostrar la identidad. La observación clave que conduce a este resultado es la identidad $$ \sum_{k=1}^{2n} \frac{(-1)^{k} \log k}{k} = \sum_{k=1}^{n} \frac{\log (2k)}{k} - \sum_{k=1}^{2n} \frac{\log k}{k},$$ que se obtiene al dividir condiciones y términos raros.

Answer 3

Sugerencia: Considerar $ \frac{\ln(2k)}{2k} - \frac{\ln(2k+1)}{2k+1}$.

Answer 4

Para más alfabetizado solución: Considere la posibilidad de $$\kappa(s)=\sum_{n=2}^{\infty} \frac{(-1)^{n+1}\ln n}{n^s}$$

al $s=1$ podemos usar de abel el teorema de verificada la convergencia, ya que el anterior de la serie es absolutamente convergente para $s\geq 1$ Ahora supongamos que $s>1$. Definir $$\psi(s)=\sum_{n=1}^{\infty} (-1)^{n+1} \frac{1}{n^s}$$ The absolute convergence justified the integration of the series $\kappa(s)$, so that we have $\psi'(s)= \kappa(s) de dólares.

Y por eso, deseamos estimar el $\psi'(1+)$. Observe también que $\phi(s)=(1-2^{1-s})\zeta(s)$ donde $\zeta(s)$ es de Riemann Zeta Función. Utilizamos el siguiente resultado $$\gamma = \lim_{s\rightarrow 1+} \zeta(s) - \frac{1}{s-1}$$ o podemos decir $$\zeta(s)=\gamma+\left(\frac{1}{s-1}\right)+O({s-1})$$ Prueba a ver: J. Sondow, Una antisimétrica fórmula de Euler constante, las Matemáticas de la Revista, (1998), vol. 71, número 3, páginas 219-220.

Considere la posibilidad de la expansión de

$$1- 2^{1-s}=1-e^{\ln 2^{1-s}}=(s-1) \ln 2 - \frac{(s-1)^2 \ln ^2 2 }{2} + \cdots$$

y para $s\rightarrow 1^+$ podemos escribir $\displaystyle 1-2^{1-s}=(s-1) \ln 2 - \frac{(s-1)^2 \ln ^2 2 }{2}+O(s^3)$. Así que

$$\psi(s)=(1-2^{1-s})\zeta(s)=\left((s-1) \ln 2 - \frac{(s-1)^2 \ln ^2 2 }{2}+ O(s^3)\right)\left(\gamma+\left(\frac{1}{s-1}\right)+O({s-1})\right)$$

el acabado de la expansión, diferenciar y tomar $s\rightarrow 1^+$ tenemos el resultado.