2
$\begingroup$

The question arise from the Taylor expansion around $x=0$ of $f(x):=\log((1+x)/(1-x))$ for $x\in(-1,1)$. If Im not wrong

$$\mathcal T(f,0)=2\sum_{k=0}^\infty\frac{x^{2k+1}}{2k+1},\quad\text{for }|x|<1$$

Because the series converges for $|x|<1$ I assumed that

$$\log((1+x)/(1-x))=\mathcal T(f,0),\quad\text{whenever }|x|<1$$

If I define $y:=(1+x)/(1-x)$ then $x=(y-1)/(y+1)$, if I substitute this in $\mathcal T(f,0)$ I get the expression

$$\mathcal T(f,0)=2\sum_{k=0}^\infty \frac{((y-1)/(y+1))^{2k+1}}{2k+1},\quad\text{for }y>0$$

then the question of the title, it is true that

$$\log(y)=2\sum_{k=0}^\infty\frac{((y-1)/(y+1))^{2k+1}}{2k+1}$$ for $y>0$? Can you confirm or disprove this hypothesis? Thank you.

$\endgroup$
1
  • 1
    $\begingroup$ Yes, it is correct. To show that the series converges for $y>0$, apply the root test or the ratio test. $\endgroup$
    – Mark Viola
    Jan 12, 2017 at 0:50

1 Answer 1

3
$\begingroup$

I am going to use, as you do, the inverse function of

$$f(y)=x=\dfrac{y-1}{y+1}$$

which is $g(x)=y=\dfrac{1+x}{1-x}$

But treat the relationship to be established in a different manner, because it amounts to

$$\ln\left(\dfrac{1+x}{1-x}\right)=2\sum_{k=0}^\infty\frac{x^{2k+1}}{2k+1}$$

which is a known result (see formula (20) in (http://mathworld.wolfram.com/SeriesExpansion.html)), this formula being a consequence of the substraction of the classical expansions:

$$\cases{\ln(1-x)=\sum_{p=1}^\infty\frac{x^{p}}{p}\\\ln(1+x)=\sum_{p=1}^\infty (-1)^{p+1}\frac{x^{p}}{p}}$$

where only the odd powers of $x$ remain after substraction.

$\endgroup$
4
  • $\begingroup$ I see, thank you. Probably this question that I opened sound a bit silly but I never see before a series that converges for $\log (x)$ for $x>0$, this was the reason why I was unsure about it validity. $\endgroup$
    – Masacroso
    Jan 12, 2017 at 1:04
  • $\begingroup$ Note that the new series is not a power series. $\endgroup$
    – Mark Viola
    Jan 12, 2017 at 1:11
  • $\begingroup$ @Dr. MV Which series do you mean ? $\endgroup$
    – Jean Marie
    Jan 12, 2017 at 1:15
  • $\begingroup$ The series of interest - the one for $\log(y)$, $y>0$. $\endgroup$
    – Mark Viola
    Jan 12, 2017 at 3:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .