Calculus · real student question

For f(x) equal to the sum from n = 1 to infinity of xⁿ⁻¹/n, decide whether f is differentiable at x = 1 and at x = −1.

Question

Let

f(x)=n=1xn1n.f(x)=\sum_{n=1}^{\infty}\frac{x^{n-1}}{n}.

Is ff differentiable at x=1x=1? Is it differentiable at x=1x=-1?

Step-by-step solution

  1. Find the radius of convergence and a closed form. The coefficients are 1/n1/n, so the radius is 11. For 0<x<10<|x|<1, factor out 1/x1/x and use the logarithm series:

    f(x)=1xn=1xnn=ln(1x)x,f(x)=\frac1x\sum_{n=1}^{\infty}\frac{x^{n}}{n}=-\frac{\ln(1-x)}{x},

    with the removable value f(0)=1f(0)=1. Having a closed form is what makes the endpoint questions answerable, since the differentiated series behaves badly there.

  2. Settle x=1x=1 by checking convergence first. At x=1x=1 the series becomes n11n\sum_{n\ge1}\frac1n, the harmonic series, which diverges. So f(1)f(1) does not exist as a number, and the question of differentiability at x=1x=1 does not even arise. The closed form agrees: ln(1x)/x+-\ln(1-x)/x\to+\infty as x1x\to1^{-}.

  3. Settle the value at x=1x=-1. Here the series is n1(1)n1n\sum_{n\ge1}\frac{(-1)^{n-1}}{n}, the alternating harmonic series, convergent by Leibniz's test with sum

    f(1)=ln20.6931472.f(-1)=\ln 2\approx 0.6931472.

    Abel's theorem guarantees this equals limx1+(ln(1x)/x)=ln2/(1)=ln2\lim_{x\to-1^{+}}\bigl(-\ln(1-x)/x\bigr)=-\ln 2/(-1)=\ln 2, so the closed form extends continuously to x=1x=-1.

  4. Differentiate the closed form and evaluate at 1-1. From f(x)=ln(1x)x1f(x)=-\ln(1-x)\cdot x^{-1},

    f(x)=1x(1x)+ln(1x)x2,f'(x)=\frac{1}{x(1-x)}+\frac{\ln(1-x)}{x^{2}},

    so

    f(1)=1(1)(2)+ln21=ln212.f'(-1)=\frac{1}{(-1)(2)}+\frac{\ln 2}{1}=\ln 2-\frac12.

    Because 1x=2>01-x=2>0 and x=10x=-1\ne0, the closed form is real-analytic on a whole neighbourhood of 1-1, which is why this one-sided derivative genuinely exists.

  5. Note the trap and check numerically. Differentiating the series term by term gives n1(n1)xn2n\sum_{n\ge1}\frac{(n-1)x^{n-2}}{n}, whose terms at x=1x=-1 have magnitude (n1)/n1(n-1)/n\to1 and therefore do not tend to 00 — the differentiated series diverges at x=1x=-1. That does not contradict the result: it only shows term-by-term differentiation is invalid at the endpoint, while the function itself is still differentiable there. Numerically, (f(1+1010)f(1))/1010=0.1931472\bigl(f(-1+10^{-10})-f(-1)\bigr)/10^{-10}=0.1931472 and ln212=0.1931472\ln 2-\tfrac12=0.1931472.

Answer

Not differentiable at x=1 (the series diverges);differentiable at x=1 with f(1)=ln212\text{Not differentiable at }x=1\text{ (the series diverges);}\quad\text{differentiable at }x=-1\text{ with }f'(-1)=\ln 2-\tfrac12

Need to solve a different problem like this? Open the solver →