Calculus · real student question

Find the Taylor series of f(x) = ln(sqrt(x^2 + 1) + x) about x = 0. Give the first few nonzero terms, a formula for the general term, and the interval of convergence.

Question

Find the Taylor series of

f(x)=ln ⁣(x2+1+x)f(x)=\ln\!\left(\sqrt{x^2+1}+x\right)

about x=0x=0. Give the first few nonzero terms, a closed formula for the general term, and the interval of convergence.

Step-by-step solution

  1. Recognise the function before differentiating anything. The combination ln ⁣(x+x2+1)\ln\!\left(x+\sqrt{x^2+1}\right) is the standard logarithmic form of the inverse hyperbolic sine,

    arsinhx=ln ⁣(x+x2+1),\operatorname{arsinh}x=\ln\!\left(x+\sqrt{x^2+1}\right),

    so f(x)=arsinhxf(x)=\operatorname{arsinh}x. This matters because computing f(n)(0)f^{(n)}(0) directly from the logarithm is brutal, while arsinh\operatorname{arsinh} has a very simple derivative. Whenever a Maclaurin expansion looks unpleasant, check whether the derivative is the friendly object.

  2. Differentiate once and watch the logarithm collapse. By the chain rule,

    f(x)=1x2+1+x(xx2+1+1)=1x2+1+xx+x2+1x2+1.f'(x)=\frac{1}{\sqrt{x^2+1}+x}\left(\frac{x}{\sqrt{x^2+1}}+1\right)=\frac{1}{\sqrt{x^2+1}+x}\cdot\frac{x+\sqrt{x^2+1}}{\sqrt{x^2+1}}.

    The bracket x+x2+1x+\sqrt{x^2+1} cancels the denominator exactly, leaving

    f(x)=11+x2=(1+x2)1/2.f'(x)=\frac{1}{\sqrt{1+x^2}}=(1+x^2)^{-1/2}.

    That cancellation is the whole reason this problem is easy.

  3. Expand the derivative with the binomial series. For t<1|t|<1,

    (1+t)α=n=0(αn)tn.(1+t)^{\alpha}=\sum_{n=0}^{\infty}\binom{\alpha}{n}t^{n}.

    Put t=x2t=x^{2} and α=12\alpha=-\tfrac12:

    (1+x2)1/2=112x2+38x4516x6+35128x8(1+x^2)^{-1/2}=1-\frac12x^2+\frac38x^4-\frac{5}{16}x^6+\frac{35}{128}x^8-\cdots

    Only even powers appear, which already tells you ff will have only odd powers — consistent with ff being an odd function.

  4. Integrate term by term using f(0)=0f(0)=0. Since f(0)=ln1=0f(0)=\ln 1=0, we have f(x)=0xf(t)dtf(x)=\int_0^x f'(t)\,dt, and a power series may be integrated term by term inside its radius of convergence:

    f(x)=x12x33+38x55516x77+35128x99f(x)=x-\frac12\cdot\frac{x^3}{3}+\frac38\cdot\frac{x^5}{5}-\frac{5}{16}\cdot\frac{x^7}{7}+\frac{35}{128}\cdot\frac{x^9}{9}-\cdots

    f(x)=xx36+3x5405x7112+35x91152f(x)=x-\frac{x^{3}}{6}+\frac{3x^{5}}{40}-\frac{5x^{7}}{112}+\frac{35x^{9}}{1152}-\cdots

  5. Write the general term. Integrating (1/2n)x2n\binom{-1/2}{n}x^{2n} gives (1/2n)x2n+12n+1\binom{-1/2}{n}\frac{x^{2n+1}}{2n+1}, and (1/2n)=(1)n(2n)!4n(n!)2\binom{-1/2}{n}=(-1)^n\frac{(2n)!}{4^n (n!)^2}, so

    ln ⁣(x2+1+x)=n=0(1)n(2n)!4n(n!)2(2n+1)x2n+1.\ln\!\left(\sqrt{x^2+1}+x\right)=\sum_{n=0}^{\infty}(-1)^{n}\frac{(2n)!}{4^{n}(n!)^{2}(2n+1)}\,x^{2n+1}.

    Check the first two coefficients: n=0n=0 gives xx, and n=1n=1 gives 2413x3=x36-\frac{2}{4\cdot 1\cdot 3}x^3=-\frac{x^3}{6}. ✓

  6. Fix the interval of convergence and test the answer numerically. The binomial series for (1+x2)1/2(1+x^2)^{-1/2} needs x2<1|x^2|<1, i.e. x<1|x|<1; at x=±1x=\pm1 the integrated series has terms of size n3/2\sim n^{-3/2} and converges absolutely, so the interval is [1,1][-1,1]. A numeric check at x=0.2x=0.2: the five printed terms give 0.1986901100.198690110\ldots against arsinh(0.2)=0.198690110\operatorname{arsinh}(0.2)=0.198690110\ldots

Answer

ln ⁣(x2+1+x)=xx36+3x5405x7112+35x91152=n=0(1)n(2n)!4n(n!)2(2n+1)x2n+1,1x1\ln\!\left(\sqrt{x^2+1}+x\right)=x-\frac{x^{3}}{6}+\frac{3x^{5}}{40}-\frac{5x^{7}}{112}+\frac{35x^{9}}{1152}-\cdots=\sum_{n=0}^{\infty}(-1)^{n}\frac{(2n)!}{4^{n}(n!)^{2}(2n+1)}x^{2n+1},\qquad -1\le x\le 1

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