[GRE 9367, #18a] Let \(f(x)\) be the function defined for \(|x|\lt 1\) by the formula \[f(x)=\sum_{n=1}^\infty \frac{(-1)^n}{n}x^{2n}.\] Find a formula for \(f'(x)\) that does not involve any sum.
Solution Whenever an infinite series involving a power of \(x\) is involved, you should think of the geometric series formula, that we review here below: \[\sum_{n=0}^\infty x^n =\frac{1}{1-x} \mbox{ for } |x|\lt 1.\] A vast number of problems involving infinite series are done by using the geometric series. We will also need a standard manipulation technique for sums, the shift of the index of summation. The idea is simple: we can describe a sum such as \[a_1+a_2+a_3+\cdots\] either as the sum of \(a_n\) as \(n\) ranges from \(1\) to \(\infty\), or the sum of \(a_{n+1}\) as \(n\) ranges from \(0\) to \(\infty\), or the sum of \(a_{n-1}\) as \(n\) ranges from \(2\) to \(\infty\), and so on. Translating this to the summation notation, it means that \[\sum_{n=1}^\infty a_n=\sum_{n=0}^\infty a_{n+1} =\sum_{n=2}^\infty a_{n-1}=\cdots = \sum_{n=k}^\infty a_{n+1-k}.\] So we see that we can change the starting value of the index from \(1\) to \(k\), as long as we replace the terms \(a_n\) we are summing with \(a_{n+1-k}\). If the starting value is \(0\), we can increase it to \(k\) if we replace \(a_n\) with \(a_{n-k}\). So for example for the geometric series we have \[\sum_{n=0}^\infty x^n =\sum_{n=1}^\infty x^{n-1}.\] In this problem, the sum doesn't quite look like a geometric series. But it gets closer after we take the derivative: \begin{eqnarray*} f'(x)&=&\sum_{n=1}^\infty \frac{(-1)^n}{n} \frac{d}{dx}x^{2n}\\ &=& \sum_{n=1}^\infty \frac{(-1)^n}{n} 2nx^{2n-1}\\ &=& 2\sum_{n=1}^\infty (-1)^n x^{2n-1} \end{eqnarray*} The next thing to do is try to isolate an \(n\)-th power, so that we can do some sum manipulations. So we re-write \[x^{2n-1}=\frac{\left(x^2\right)^n}{x}.\] We can also combine the \(n\)-the powers \((-1)^n\) and \(\left(x^2\right)^n\) into a single one: \((-1)^n \left(x^2\right)^n=\left(-x^2\right)^n\) and we find \begin{eqnarray*} f'(x)&=& \frac{2}{x}\sum_{n=1}^\infty \left(-x^2\right)^n \end{eqnarray*} All we need to do now is shifting the starting value by \(1\) to get a geometric series for the variable \(\left(-x^2\right)\): \begin{eqnarray*} f'(x)&=& \frac{2}{x}\sum_{n=0}^\infty \left(-x^2\right)^{n+1}\\ &=&\frac{2}{x}(-x^2)\sum_{n=0}^\infty \left(-x^2\right)^n\\ &=&-2x\frac{1}{1-(-x^2)}=-\frac{2x}{1+x^2}. \end{eqnarray*} Note that it would be easy to do the integral of this answer, using the substitution \(u=1+x^2\). So this method allows us to find a simple formula not only for \(f'(x)\) but also for the original \(f(x)\).