42
$\begingroup$

Compute the taylor series of $\ln(1+x)$

I've first computed derivatives (up to the 4th) of ln(1+x)

$f^{'}(x)$ = $\frac{1}{1+x}$
$f^{''}(x) = \frac{-1}{(1+x)^2}$
$f^{'''}(x) = \frac{2}{(1+x)^3}$
$f^{''''}(x) = \frac{-6}{(1+x)^4}$
Therefore the series:
$\ln(1+x) = f(a) + \frac{1}{1+a}\frac{x-a}{1!} - \frac{1}{(1+a)^2}\frac{(x-a)^2}{2!} + \frac{2}{(1+a)^3}\frac{(x-a)^3}{3!} - \frac{6}{(1+a)^4}\frac{(x-a)^4}{4!} + ...$

But this doesn't seem to be correct. Can anyone please explain why this doesn't work?

The supposed correct answer is:
As $\ln(1+x) = \int (\frac{1}{1+x})dx$
$\ln(1+x) = \Sigma_{k=0}^{\infty} \int (-x)^k dx$

$\endgroup$
1
  • 10
    $\begingroup$ I should say here that the Taylor (or Maclaurin) series $\ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots$ converges if and only if (iff) $-1<x\le 1$. $\endgroup$ – user236182 Sep 17 '17 at 1:18
75
$\begingroup$

You got the general expansion about $x=a$. Here we are intended to take $a=0$. That is, we are finding the Maclaurin series of $\ln(1+x)$. That will simplify your expression considerably. Note also that $\frac{(n-1)!}{n!}=\frac{1}{n}$.

The approach in the suggested solution also works. We note that $$\frac{1}{1+t}=1-t+t^2-t^3+\cdots\tag{1}$$ if $|t|\lt 1$ (infinite geometric series). Then we note that $$\ln(1+x)=\int_0^x \frac{1}{1+t}\,dt.$$ Then we integrate the right-hand side of (1) term by term. We get $$\ln(1+x) = x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots,$$ precisely the same thing as what one gets by putting $a=0$ in your expression.

$\endgroup$
12
  • 1
    $\begingroup$ If a=0 in my expansion, $ln(1+x) = 0 + x - \frac{x^2}{2!} + \frac{2(x^3)}{3!} - \frac{6(x^4)}{4!}+...$ Which is not the same ! $\endgroup$ – Minu Jul 26 '14 at 0:20
  • $\begingroup$ Why doesn't this method work? $\endgroup$ – Minu Jul 26 '14 at 0:23
  • 4
    $\begingroup$ It is the same, I mentioned the cancellation in the answer. For instance, $2!/3!=1/3$, $6/4!=1/4$, and so on. $\endgroup$ – André Nicolas Jul 26 '14 at 0:24
  • 2
    $\begingroup$ You are welcome. The question you asked about the $\frac{1}{1+t}=\cdots$ is briefly dealt with above by the mention of geometric series. You are probably familiar with $1+r+r^2+r^3+\cdot=\frac{1}{1-r}$ (sum of infinite geometric series). Put $r=-t$. $\endgroup$ – André Nicolas Jul 26 '14 at 0:49
  • 1
    $\begingroup$ @Mathematics: Buried in the answer is the restriction $|t|\lt 1$. The series we obtain therefore converges at least when $-1\lt x\lt 1$. It also happens to converge at $x=1$. It diverges when $x\le -1$ and also when $x\gt 1$. $\endgroup$ – André Nicolas Dec 13 '15 at 21:22
24
$\begingroup$

Note that $$\frac{1}{1+x}=\sum_{n \ge 0} (-1)^nx^n$$ Integrating both sides gives you \begin{align} \ln(1+x) &=\sum_{n \ge 0}\frac{(-1)^nx^{n+1}}{n+1}\\ &=x-\frac{x^2}{2}+\frac{x^3}{3}-... \end{align} Alternatively, \begin{align} &f^{(1)}(x)=(1+x)^{-1} &\implies \ f^{(1)}(0)=1\\ &f^{(2)}(x)=-(1+x)^{-2} &\implies f^{(2)}(0)=-1\\ &f^{(3)}(x)=2(1+x)^{-3} &\implies \ f^{(3)}(0)=2\\ &f^{(4)}(x)=-6(1+x)^{-4} &\implies \ f^{(4)}(0)=-6\\ \end{align} We deduce that \begin{align} f^{(n)}(0)=(-1)^{n-1}(n-1)! \end{align} Hence, \begin{align} \ln(1+x) &=\sum_{n \ge 1}\frac{f^{(n)}(0)}{n!}x^n\\ &=\sum_{n \ge 1}\frac{(-1)^{n-1}(n-1)!}{n!}x^n\\ &=\sum_{n \ge 1}\frac{(-1)^{n-1}}{n}x^n\\ &=\sum_{n \ge 0}\frac{(-1)^{n}}{n+1}x^{n+1}\\ &=x-\frac{x^2}{2}+\frac{x^3}{3}-... \end{align} Edit: To derive a closed for for the geometric series, let \begin{align} S&=1-x+x^2-x^3+...\\ xS&=x-x^2+x^3-x^4...\\ S+xS&=1\\ S&=\frac{1}{1+x}\\ \end{align} To prove in the other direction, use the binomial theorem or simply compute the series about $0$ manually.

$\endgroup$
2
  • $\begingroup$ Can you tell me How you got the summation: $\frac{1}{1+x} = \Sigma_{n=0}^{\infty} (-1)^n x^n $? I understand the rest. $\endgroup$ – Minu Jul 26 '14 at 0:44
  • 2
    $\begingroup$ Start by convincing yourself that for |x|<1, 1/(1-x) = 1+x+x^2+.., and then replace x by -x. $\endgroup$ – Simon May 18 '17 at 6:01
0
$\begingroup$

Here is another method (not efficient) :

We use the fact that for all $x \in ]-1,1[$ , $\frac{1}{1+x}=\sum \limits_{n\ge 0} (-1)^n x^n$.

Then for all $x \in ]-1,1[$, we want to prove that : $\ln(1+x) =\sum \limits_{n\ge 0} (-1)^n \frac{x^{n+1}}{n+1}$.

Notice that for all $x \in[0,1[$, we have $\ln(1+x)= \int\limits_{0}^{x} \frac{1}{1+t}\mathrm{d}t$ and for all $x \in]-1,0]$, we have $\ln(1+x)= -\int\limits_{x}^{0} \frac{1}{1+t}\mathrm{d}t$. (Note that the function $t \mapsto \pm \frac{1}{1+t}$ is continuous on the compacts $[0,x]$ and $[x,0]$).

Now we can focus on the case where $x\in [0,1[$. The other case will be similar...

As the function $t \mapsto \frac{1}{1+t}\mathbb{1}_{[0,x]}(t)$ is positive and Lebesgue-measurable on $[0,1[$ we can write $\ln(1+x)= \int\limits_{0}^{1} \frac{1}{1+t}\mathbb{1}_{[0,x]}(t)\mathrm{d}t$.

Then $\ln(1+x)= \int\limits_{0}^{1} \sum \limits_{n\ge 0} (-1)^n t^n\mathbb{1}_{[0,x]}(t)\mathrm{d}t$ and we introduce for all $n\ge 0$ and for all $t\in [0,1[$ : $S_n(t,x)=\sum \limits_{k=0}^{n} (-1)^k t^k\mathbb{1}_{[0,x]}(t)$.

So $\ln(1+x)= \int\limits_{0}^{1} \sum \limits_{n\ge 0} (-1)^n t^n\mathbb{1}_{[0,x]}(t)\mathrm{d}t =\int\limits_{0}^{1} \lim\limits_{n\to+\infty} S_n(t,x)\mathrm{d}t$.

Then for all $n\ge 0$, the sequence of partial sums $S_n$ is Lebesgue-measurable on $[0,1[$ and for each $t\in[0,1[$ point-wise convergent to $S =\sum \limits_{n\ge 0} (-1)^n t^n\mathbb{1}_{[0,x]}(t)=\frac{1}{1+t}\mathbb{1}_{[0,x]}(t)$.

Moreover for all $n\ge 0$ and $t\in [0,1[$, we have $\vert S_n(t,x)\vert \le \sum \limits_{k= 0}^{n}t^k\mathbb{1}_{[0,x]}(t) \le \lim\limits_{n\to +\infty}\sum \limits_{k= 0}^{n}t^k\mathbb{1}_{[0,x]}(t)$. Because for all $k\ge 0$, the functions $t\mapsto t^{k}\mathbb{1}_{[0,x]}$ form a positive sequence of functions on $[0,1[$. That's why $\vert S_n(t,x)\vert \le \frac{1}{1-t}\mathbb{1}_{[0,x]}(t)$.

The function $t\mapsto \frac{1}{1-t}\mathbb{1}_{[0,x]}(t)$ is positive and Lebesgue-measurable and even Lebesgue-integrable on $[0,1[$ because $\int \limits_{0}^{1} =\frac{1}{1-t}\mathbb{1}_{[0,x]}(t)\mathrm{dt} = \int \limits_{0}^{x}\frac{1}{1-t}\mathrm{d}t = \ln(1-x)<+\infty$

Then using the dominated convergence theorem we can write that :

$\ln(1+x)=\int\limits_{0}^{1} \lim\limits_{n\to+\infty} S_n(t,x)\mathrm{d}t = \lim\limits_{n\to+\infty} \int \limits_{0}^{1} S_n(t,x)\mathrm{d}t = \lim\limits_{n\to+\infty} \int\limits_{0}^{1}\sum \limits_{k=0}^{n} (-1)^k t^k\mathbb{1}_{[0,x]}(t)\mathrm{d}t$

$= \lim\limits_{n\to+\infty} \sum \limits_{k=0}^{n} (-1)^k \int\limits_{0}^{1} t^k\mathbb{1}_{[0,x]}(t)\mathrm{d}t = \lim\limits_{n\to+\infty} \sum \limits_{k=0}^{n} (-1)^k \int\limits_{0}^{x} t^k\mathrm{d}t = \lim\limits_{n\to+\infty} \sum \limits_{k=0}^{n} (-1)^k \frac{x^{k+1}}{k+1} = \sum \limits_{k=0}^{+\infty} (-1)^k \frac{x^{k+1}}{k+1}$.

With the same reasoning we can deduce the same result for $x\in ]-1,0]$.

Finally for all $x\in ]-1,1[$, we have $\ln(1+x) =\sum \limits_{n\ge 0} (-1)^n \frac{x^{n+1}}{n+1}$.

NB : With properties on power series it takes four lines...

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.