Find the limit of the sequence $y_n = \sum_{k=1}^n(-1)^k\frac{\ln{k}}{k}$. I have tested the limit for convergence using Lebiniz's test for alternating series and it is indeed convergent. I can't seem to figure out how to get to the answer, though.
-
Tried Wolfram Alpha? – gt6989b Jan 29 '20 at 15:15
-
1@gt6989b I don't have a premium account and I need to know how to solve it, not just the end value – Diana Vrabie Jan 29 '20 at 15:17
-
Likely the last term in that answer comes from $$ \int\frac{\ln x}{x} dx = \frac{\ln^2x}{2}, $$ not completely sure but would try to manipulate the odd and even terms separately – gt6989b Jan 29 '20 at 15:23
-
Did you consider integrating $y= \frac {\ln(2x)}{2x}-\frac {\ln(2x+1)}{2x+1}$ from $[1, \infty] $ – L-- Jan 29 '20 at 17:42
-
You may also be interested in a similar but reasonably complicated sum $\sum\limits_{k=1}^{\infty} (-1)^{k-1}\dfrac{\log(2k+1)}{2k+1}$ which is discussed in this answer. – Paramanand Singh Jan 31 '20 at 07:18
-
This question is presumably difficult for your level. Are you sure the value of the limit was requested ? – Jan 31 '20 at 10:04
2 Answers
Using Euler-Maclaurin we can show existence of
$$C= \lim_{n \to \infty} \left(\sum_{k=1}^n \frac{\log k}{k} - \int_1^n\frac{\ln x}{x} \, dx\right) = \lim_{n \to \infty} \left(\sum_{k=1}^n \frac{\log k}{k} - \frac{(\ln n)^2}{2}\right)$$
Note that
$$\sum_{k=1}^{2n} (-1)^k \frac{\ln k}{k} = -\left(\sum_{k=1}^{2n}\frac{\ln k}{k} - \frac{(\ln(2n))^2}{2}\right) + 2\sum_{k=1}^n\frac{\ln(2k)}{2k} - \frac{(\ln(2n))^2}{2}$$
Using $\ln(2n) = \ln 2 + \ln n$, the RHS reduces to
$$\sum_{k=1}^{2n} (-1)^k \frac{\ln k}{k} = -\left(\sum_{k=1}^{2n}\frac{\ln k}{k} - \frac{(\ln(2n))^2}{2}\right) +\left(\sum_{k=1}^{n}\frac{\ln k}{k} - \frac{(\ln n)^2}{2}\right) \\+ \ln 2\left(\sum_{k=1}^n \frac{1}{k} - \ln n \right) - \frac{(\ln 2)^2}{2}$$
Taking the limit as $n \to \infty$ we get
$$\sum_{k=1}^{\infty} (-1)^k \frac{\ln k}{k} = -C + C + \gamma \ln 2 - \frac{(\ln 2)^2}{2}= \ln 2 \left(\gamma - \frac{\ln 2}{2} \right)$$

- 90,707
Here is another technique. Let $$f(s) =\sum_{n=1}^{\infty} (-1)^{n-1}\frac{1}{n^s}$$ then we have $$f(s) - \zeta(s) = - \frac{\zeta(s)}{2^{s-1}}$$ or $$f(s) =(1-2^{1-s})\zeta(s)$$ The desired limit in question is $f'(1)$. Differentiate the above with respect to $s$ and let $s\to 1$. This will give the desired result.
I later found the same approach given in this answer.
This answer justifies the appearance of $\gamma$ as a constant term in Laurent series for $\zeta(s) $ and thereby makes the approach in this answer non-circular (see comments below).

- 87,309
-
-
@RRL: There is another similar result by Ramanujan regarding Dirichlet beta function. See this thread. – Paramanand Singh Jan 31 '20 at 06:42
-
@RRL: I later checked this answer and it appears that the occurrence of $\gamma$ as a constant term in Laurent series for $\zeta(s) $ is a consequence of the fact being asked to prove here. So unless there are other methods to evaluate the limit $\lim_{s\to 1^{+}}\zeta(s)-\frac{1}{s-1}$ this answer of mine is circular. – Paramanand Singh Jan 31 '20 at 09:36