Skip to content

Mathematics · Ch 5 — Binomial Theorem, Sequences and Series

Logarithmic Series

5.6.7

Logarithmic Series

The series ∑n=1∞(−1)n+1xnn\displaystyle\sum_{n=1}^\infty(-1)^{n+1}\frac{x^n}n is called a logarithmic series. It converges for every xx satisfying ∣x∣<1|x|<1, and also converges (though not covered by the general theory here) at x=1x=1.

For ∣x∣<1|x|<1, the sum of the series is log⁡(1+x)\log(1+x):

log⁡(1+x)=x−x22+x33−x44+⋯(∣x∣<1).\log(1+x) = x-\frac{x^2}2+\frac{x^3}3-\frac{x^4}4+\cdots \qquad (|x|<1).

Substituting −x-x for xx:

log⁡(1−x)=−x−x22−x33−x44−⋯(∣x∣<1).\log(1-x) = -x-\frac{x^2}2-\frac{x^3}3-\frac{x^4}4-\cdots \qquad (|x|<1).

Since log⁡(1+x1−x)=log⁡(1+x)−log⁡(1−x)\log\left(\dfrac{1+x}{1-x}\right)=\log(1+x)-\log(1-x), subtracting the two series (the even-power terms cancel) gives

log⁡(1+x1−x)=2(x+x33+x55+⋯ ).\log\left(\frac{1+x}{1-x}\right) = 2\left(x+\frac{x^3}3+\frac{x^5}5+\cdots\right).

Rescaling. To expand log⁡(1+2x)\log(1+2x): substitute y=2xy=2x into log⁡(1+y)=y−y22+y33−⋯\log(1+y)=y-\tfrac{y^2}2+\tfrac{y^3}3-\cdots (valid ∣y∣<1|y|<1). Since ∣y∣<1  ⟺  ∣2x∣<1  ⟺  ∣x∣<12|y|<1\iff|2x|<1\iff|x|<\tfrac12, the rescaled series

log⁡(1+2x)=2x−(2x)22+(2x)33−(2x)44+⋯=2x−2x2+8x33−4x4+⋯\log(1+2x) = 2x-\frac{(2x)^2}2+\frac{(2x)^3}3-\frac{(2x)^4}4+\cdots = 2x-2x^2+\frac{8x^3}3-4x^4+\cdots …