Skip to main content
\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Mathematics LibreTexts

5.1: The Integral Form of the Remainder

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    Learning Objectives
    • Explain the integral form of the remainder

    Now that we have a rigorous definition of the convergence of a sequence, let’s apply this to Taylor series. Recall that the Taylor series of a function \(f(x)\) expanded about the point \(a\) is given by

    \[\sum_{n=0}^{\infty }\frac{f^{(n)}(a)}{n!}(x-a)^n = f(a) + \frac{f'(a)}{1!}(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots\]

    When we say that \(\sum_{n=0}^{\infty }\frac{f^{(n)}(a)}{n!}(x-a)^n\) for a particular value of \(x\),what we mean is that the sequence of partial sums

    \[\left (\sum_{j=0}^{n}\frac{f^{(j)}(a)}{j!}(x-a)^j \right )_{n=0}^{\infty } = \left ( f(a), f(a) + \frac{f'(a)}{1!}(x-a), f(a) + \frac{f'(a)}{1!}(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots \right )\]

    converges to the number \(f(x)\). Note that the index in the summation was changed to \(j\) to allow \(n\) to represent the index of the sequence of partial sums. As intimidating as this may look, bear in mind that for a fixed real number \(x\), this is still a sequence of real numbers so, that saying \(f(x) = \sum_{n=0}^{\infty }\frac{f^{(n)}(a)}{n!}(x-a)^n\) means that \(\lim_{n \to \infty }\left (\sum_{j=0}^{n}\frac{f^{(j)}(a)}{j!}(x-a)^j \right ) = f(x)\) and in the previous chapter we developed some tools to examine this phenomenon. In particular, we know that \(\lim_{n \to \infty }\left (\sum_{j=0}^{n}\frac{f^{(j)}(a)}{j!}(x-a)^j \right ) = f(x)\) is equivalent to

    \[\lim_{n \to \infty }\left [f(x) - \left (\sum_{j=0}^{n}\frac{f^{(j)}(a)}{j!}(x-a)^j \right ) \right ] = 0\]

    We saw an example of this in the last chapter with the geometric series \(1 + x + x^2 + x^3+\cdots\). Problem Q4 of the last chapter basically had you show that this series converges to \(\frac{1}{1-x}\), for \(|x| < 1\) by showing that \(\lim_{n \to \infty }\left [\frac{1}{1-x} - \left (\sum_{j=0}^{n}x^j \right ) \right ] = 0\).

    There is generally not a readily recognizable closed form for the partial sum for a Taylor series. The geometric series is a special case. Fortunately, for the issue at hand (convergence of a Taylor series), we don’t need to analyze the series itself. What we need to show is that the difference between the function and the \(n^{th}\) partial sum converges to zero. This difference is called the remainder (of the Taylor series). (Why?)

    While it is true that the remainder is simply

    \[f(x) - \left (\sum_{j=0}^{n}\frac{f^{(j)}(a)}{j!}(x-a)^j \right )\]

    this form is not easy to work with. Fortunately, a number of alternate versions of this remainder are available. We will explore these in this chapter. Recall the result from Theorem 3.1.2 from Chapter 3,

    \[f(x) = f(a) + \frac{f'(a)}{1!}(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x-a)^n + \frac{1}{n!}\int_{t=a}^{x}f^{(n+1)}(t)(x-t)^n dt\]

    We can use this by rewriting it as

    \[f(x) - \left (\sum_{j=0}^{n}\frac{f^{(j)}(a)}{j!}(x-a)^j \right ) = \frac{1}{n!}\int_{t=a}^{x}f^{(n+1)}(t)(x-t)^n dt \label{50}\]

    The left hand side of Equation \ref{50} is called the integral form of the remainder for the Taylor series of \(f(x)\), and the Taylor series will converge to \(f(x)\) exactly when the sequence \(\lim_{n \to \infty }\left (\frac{1}{n!}\int_{t=a}^{x}f^{(n+1)}(t)(x-t)^n dt \right )\) converges to zero. It turns out that this form of the remainder is often easier to handle than the original \(f(x) - \left (\sum_{j=0}^{n}\frac{f^{(j)}(a)}{j!}(x-a)^j \right )\) and we can use it to obtain some general results.

    Theorem \(\PageIndex{1}\): Taylor’s Series

    If there exists a real number \(B\) such that \(|f^{(n+1)}(t)|≤ B\) for all nonnegative integers \(n\) and for all \(t\) on an interval containing \(a\) and \(x\), then

    \[\lim_{n \to \infty }\left (\frac{1}{n!}\int_{t=a}^{x}f^{(n+1)}(t)(x-t)^n dt \right ) = 0\]

    and so

    \[f(x) = \sum_{n=0}^{\infty }\frac{f^{(n)}(a)}{n!}(x-a)^n\]

    In order to prove this, it might help to first prove the following Lemma.

    Lemma \(\PageIndex{1}\): Triangle Inequality for Integrals

    If \(f\) and \(|f|\) are integrable functions and \(a ≤ b\), then

    \[\left | \int_{t=a}^{b} f(t)dt\right | \leq \int_{t=a}^{b} \left |f(t) \right |dt\]

    Exercise \(\PageIndex{1}\)

    Prove Lemma \(\PageIndex{1}\).


    \(-|f(t)|≤ f(t) ≤|f(t)|\).

    Exercise \(\PageIndex{2}\)

    Prove Theorem \(\PageIndex{1}\).


    You might want to use Problem Q8 of Chapter 4. Also there are two cases to consider: \(a < x\) and \(x < a\) (the case \(x = a\) is trivial). You will find that this is true in general. This is why we will often indicate that \(t\) is between \(a\) and \(x\) as in the theorem. In the case \(x < a\), notice that \[\begin{align*} \left | \int_{t=a}^{x}f^{(n+1)}(t)(x-t)^n dt \right | &= \left | (-1)^{n+1}\int_{t=a}^{x}f^{(n+1)}(t)(t-x)^n dt \right |\\ &= \left | \int_{t=a}^{x}f^{(n+1)}(t)(t-x)^n dt \right | \end{align*}\]

    Exercise \(\PageIndex{3}\)

    Use Theorem \(\PageIndex{1}\) to prove that for any real number \(x\)

    1. \(\displaystyle \sin x = \sum_{n=0}^{\infty }\frac{(-1)^n x^{2n+1}}{(2n+1)!}\)
    2. \(\displaystyle \cos x = \sum_{n=0}^{\infty }\frac{(-1)^n x^{2n}}{(2n)!}\)
    3. \(\displaystyle e^x = \sum_{n=0}^{\infty }\frac{x^n}{n!}\)

    Part c of exercise \(\PageIndex{3}\) shows that the Taylor series of \(e^x\) expanded at zero converges to \(e^x\) for any real number \(x\). Theorem \(\PageIndex{1}\) can be used in a similar fashion to show that

    \[e^x = \sum_{n=0}^{\infty }\frac{e^a(x-a)^n}{n!}\]

    for any real numbers \(a\) and \(x\).

    Recall that in section 2.1 we showed that if we define the function \(E(x)\) by the power series \(\sum_{n=0}^{\infty }\frac{x^n}{n!}\) then \(E(x + y) = E(x)E(y)\). This, of course, is just the familiar addition property of integer coefficients extended to any real number. In Chapter 2 we had to assume that defining \(E(x)\) as a series was meaningful because we did not address the convergence of the series in that chapter. Now that we know the series converges for any real number we see that the definition

    \[f(x) = e^x = \sum_{n=0}^{\infty }\frac{x^n}{n!}\]

    is in fact valid.

    Assuming that we can differentiate this series term-by-term it is straightforward to show that \(f'(x) = f(x)\). Along with Taylor’s formula this can then be used to show that \(e^{a+b} = e^ae^b\) more elegantly than the rather cumbersome proof in section 2.1, as the following problem shows.

    Exercise \(\PageIndex{4}\)

    Recall that if \(f(x) = e^x\) then \(f'(x) = e^x\). Use this along with the Taylor series expansion of \(e^x\) about \(a\) to show that \[e^{a+b} = e^ae^b \nonumber\]

    Theorem \(\PageIndex{1}\) is a nice “first step” toward a rigorous theory of the convergence of Taylor series, but it is not applicable in all cases. For example, consider the function \(f(x) = \sqrt{1+x}\). As we saw in Chapter 2, Exercise 2.2.9, this function’s Maclaurin series (the binomial series for \((1 + x)^{1/2}\))appears to be converging to the function for \(x ∈ (-1,1)\). While this is, in fact, true, the above proposition does not apply. If we consider the derivatives of \(f(t) = (1 + t)^{1/2}\), we obtain:

    \[f'(t) = \frac{1}{2}(1+t)^{\frac{1}{2}-1}\]

    \[f''(t) = \frac{1}{2}\left ( \frac{1}{2}-1 \right )(1+t)^{\frac{1}{2}-2}\]

    \[f'''(t) = \frac{1}{2}\left ( \frac{1}{2}-1 \right )\left ( \frac{1}{2}-2 \right )(1+t)^{\frac{1}{2}-2}\]


    \[f^{n+1}(t) = \frac{1}{2}\left ( \frac{1}{2}-1 \right )\left ( \frac{1}{2}-2 \right )\cdots \left ( \frac{1}{2}-n \right )(1+t)^{\frac{1}{2}-(n+1)}\]

    Notice that

    \[\left |f^{n+1}(0) \right | = \frac{1}{2}\left ( 1 - \frac{1}{2} \right )\left ( 2 - \frac{1}{2} \right )\cdots \left ( n - \frac{1}{2} \right )\]

    Since this sequence grows without bound as \(n →∞\), then there is no chance for us to find a number \(B\) to act as a bound for all of the derviatives of \(f\) on any interval containing \(0\) and \(x\), and so the hypothesis of Theorem \(\PageIndex{1}\) will never be satisfied. We need a more delicate argument to prove that

    \[\sqrt{1+x} = 1 + \frac{1}{2}x + \frac{\frac{1}{2}\left ( \frac{1}{2}-1 \right )}{2!}x^2 + \frac{\frac{1}{2}\left ( \frac{1}{2}-1 \right )\left ( \frac{1}{2}-2 \right )}{3!}x^3 + \cdots\]

    is valid for \(x ∈ (-1,1)\). To accomplish this task, we will need to express the remainder of the Taylor series differently. Fortunately, there are at least two such alternate forms.

    This page titled 5.1: The Integral Form of the Remainder is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Eugene Boman and Robert Rogers (OpenSUNY) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.