Stuck on this? Solve it with AI
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,

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

    so f(x)=arsinh⁡xf(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+x⋅x+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=1−12x2+38x4−516x6+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)=ln⁡1=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)=x−12⋅x33+38⋅x55−516⋅x77+35128⋅x99−⋯f(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)=x−x36+3x540−5x7112+35x91152−⋯f(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 −24⋅1⋅3x3=−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 ∼n−3/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.198690110…0.198690110\ldots against arsinh⁡(0.2)=0.198690110…\operatorname{arsinh}(0.2)=0.198690110\ldots ✓

Answer

ln⁡ ⁣(x2+1+x)=x−x36+3x540−5x7112+35x91152−⋯=∑n=0∞(−1)n(2n)!4n(n!)2(2n+1)x2n+1,−1≤x≤1\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 →