{"id":948,"date":"2025-06-20T17:24:31","date_gmt":"2025-06-20T17:24:31","guid":{"rendered":"https:\/\/content.one.lumenlearning.com\/calculus2\/?post_type=chapter&#038;p=948"},"modified":"2025-09-05T15:20:05","modified_gmt":"2025-09-05T15:20:05","slug":"taylor-and-maclaurin-series-learn-it-4","status":"publish","type":"chapter","link":"https:\/\/content.one.lumenlearning.com\/calculus2\/chapter\/taylor-and-maclaurin-series-learn-it-4\/","title":{"raw":"Taylor and Maclaurin Series: Learn It 4","rendered":"Taylor and Maclaurin Series: Learn It 4"},"content":{"raw":"<h2 data-type=\"title\">Convergence of Taylor Series<\/h2>\r\nWe now discuss issues of convergence for Taylor series. We begin by showing how to find a Taylor series for a function, and how to find its interval of convergence.\r\n\r\n<section class=\"textbox example\" aria-label=\"Example\">\r\n<div id=\"fs-id1167025009070\" data-type=\"problem\">\r\n<p id=\"fs-id1167025009075\">Find the Taylor series for [latex]f\\left(x\\right)=\\frac{1}{x}[\/latex] at [latex]x=1[\/latex]. Determine the interval of convergence.<\/p>\r\n\r\n<\/div>\r\n[reveal-answer q=\"44558999\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"44558999\"]\r\n<div id=\"fs-id1167025009112\" data-type=\"solution\">\r\n<p id=\"fs-id1167025009114\">For [latex]f\\left(x\\right)=\\frac{1}{x}[\/latex], the values of the function and its first four derivatives at [latex]x=1[\/latex] are<\/p>\r\n\r\n<div id=\"fs-id1167025009149\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\begin{array}{cccccccc}\\hfill f\\left(x\\right)&amp; =\\hfill &amp; \\frac{1}{x}\\hfill &amp; &amp; &amp; \\hfill f\\left(1\\right)&amp; =\\hfill &amp; 1\\hfill \\\\ \\hfill {f}^{\\prime }\\left(x\\right)&amp; =\\hfill &amp; -\\frac{1}{{x}^{2}}\\hfill &amp; &amp; &amp; \\hfill {f}^{\\prime }\\left(1\\right)&amp; =\\hfill &amp; -1\\hfill \\\\ \\hfill f^{\\prime\\prime}\\left(x\\right)&amp; =\\hfill &amp; \\frac{2}{{x}^{3}}\\hfill &amp; &amp; &amp; \\hfill f^{\\prime\\prime}\\left(1\\right)&amp; =\\hfill &amp; 2\\text{!}\\hfill \\\\ \\hfill f^{\\prime\\prime\\prime}\\left(x\\right)&amp; =\\hfill &amp; -\\frac{3\\cdot 2}{{x}^{4}}\\hfill &amp; &amp; &amp; \\hfill f^{\\prime\\prime\\prime}\\left(1\\right)&amp; =\\hfill &amp; -3\\text{!}\\hfill \\\\ \\hfill {f}^{\\left(4\\right)}\\left(x\\right)&amp; =\\hfill &amp; \\frac{4\\cdot 3\\cdot 2}{{x}^{5}}\\hfill &amp; &amp; &amp; \\hfill {f}^{\\left(4\\right)}\\left(1\\right)&amp; =\\hfill &amp; 4\\text{!.}\\hfill \\end{array}[\/latex]<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1167025097493\">That is, we have [latex]{f}^{\\left(n\\right)}\\left(1\\right)={\\left(-1\\right)}^{n}n\\text{!}[\/latex] for all [latex]n\\ge 0[\/latex]. Therefore, the Taylor series for [latex]f[\/latex] at [latex]x=1[\/latex] is given by<\/p>\r\n\r\n<div id=\"fs-id1167025097564\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{{f}^{\\left(n\\right)}\\left(1\\right)}{n\\text{!}}{\\left(x - 1\\right)}^{n}=\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}{\\left(x - 1\\right)}^{n}[\/latex].<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1167025097683\">To find the interval of convergence, we use the ratio test. We find that<\/p>\r\n\r\n<div id=\"fs-id1167025097686\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\frac{|{\\left(-1\\right)}^{n+1}{\\left(x - 1\\right)}^{n+1}|}{|{\\left(-1\\right)}^{n}{\\left(x - 1\\right)}^{n}|}=|x - 1|[\/latex].<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1167025095544\">Thus, the series converges if [latex]|x - 1|&lt;1[\/latex]. That is, the series converges for [latex]0&lt;x&lt;2[\/latex]. Next, we need to check the endpoints. At [latex]x=2[\/latex], we see that<\/p>\r\n\r\n<div id=\"fs-id1167025095598\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}{\\left(2 - 1\\right)}^{n}=\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}[\/latex]<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1167024969122\">diverges by the divergence test. Similarly, at [latex]x=0[\/latex],<\/p>\r\n\r\n<div id=\"fs-id1167024969136\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}{\\left(0 - 1\\right)}^{n}=\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{2n}=\\displaystyle\\sum _{n=0}^{\\infty }1[\/latex]<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1167024969245\">diverges. Therefore, the interval of convergence is [latex]\\left(0,2\\right)[\/latex].<\/p>\r\n\r\n<\/div>\r\n[\/hidden-answer]\r\n\r\n<\/section><section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the example above.<center><iframe title=\"YouTube video player\" src=\"https:\/\/www.youtube.com\/embed\/oQkN46wsyJs?controls=0&amp;start=1946&amp;end=2189&amp;autoplay=0\" width=\"750\" height=\"450\" frameborder=\"0\" allowfullscreen=\"allowfullscreen\" data-mce-fragment=\"1\"><\/iframe><\/center>\r\n<p class=\"p1\">For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.<\/p>\r\nYou can view the <a href=\"https:\/\/oerfiles.s3.us-west-2.amazonaws.com\/Calculus+II\/Transcripts\/6.3TaylorAndMaclaurinSeries1946to2189_transcript.html\" target=\"_blank\" rel=\"noopener\">transcript for this segmented clip of \"6.3 Taylor and Maclaurin Series\" here (opens in new window)<\/a>.\r\n\r\n<\/section>\r\n<p id=\"fs-id1167025232201\">We know that the Taylor series found in this example converges on the interval [latex]\\left(0,2\\right)[\/latex], but how do we know it actually converges to [latex]f?[\/latex] Let's explore this by rewriting our function:<\/p>\r\n\r\n<div id=\"fs-id1167025232231\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]f\\left(x\\right)=\\frac{1}{x}=\\frac{1}{1-\\left(1-x\\right)}[\/latex].<\/div>\r\n<p id=\"fs-id1167025232281\">This representation shows that [latex]f[\/latex] can be expressed as the geometric series [latex]\\displaystyle\\sum_{n=0}^{\\infty}(1-x)^n[\/latex]. Since geometric series converge to [latex]\\frac{1}{x}[\/latex] when [latex]|1-x| &lt; 1[\/latex], we've confirmed that our Taylor series does indeed converge to [latex]f(x) = \\frac{1}{x}[\/latex] on [latex]\\left(0,2\\right)[\/latex].<\/p>\r\n<p class=\"whitespace-normal break-words\">Now for the broader question: If a Taylor series for a function [latex]f[\/latex] converges on some interval, how do we know it converges to [latex]f[\/latex] itself?<\/p>\r\n<p class=\"whitespace-normal break-words\">To answer this, remember that a series converges to a value if and only if its sequence of partial sums converges to that value. For a Taylor series centered at [latex]a[\/latex], the [latex]n[\/latex]th partial sum is the [latex]n[\/latex]th Taylor polynomial [latex]p_n[\/latex].<\/p>\r\n<p id=\"fs-id1167025149892\">Therefore, the Taylor series converges to [latex]f[\/latex] when:<\/p>\r\n\r\n<div id=\"fs-id1167025149944\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}{p}_{n}\\left(x\\right)=f\\left(x\\right)[\/latex].<\/div>\r\n<p id=\"fs-id1167025149991\">Since the remainder [latex]{R}_{n}\\left(x\\right)=f\\left(x\\right)-{p}_{n}\\left(x\\right)[\/latex], the Taylor series converges to [latex]f[\/latex] if and only if<\/p>\r\n\r\n<div id=\"fs-id1167025150045\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}{R}_{n}\\left(x\\right)=0[\/latex].<\/div>\r\n<p id=\"fs-id1167025166973\">We now state this theorem formally.<\/p>\r\n\r\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\r\n<h3>theorem: convergence of Taylor series<\/h3>\r\n<p id=\"fs-id1167025166984\">Suppose that [latex]f[\/latex] has derivatives of all orders on an interval [latex]I[\/latex]\u00a0containing [latex]a[\/latex]. Then the Taylor series<\/p>\r\n\r\n<div id=\"fs-id1167025167001\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{{f}^{\\left(n\\right)}\\left(a\\right)}{n\\text{!}}{\\left(x-a\\right)}^{n}[\/latex]<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1167025167069\">converges to [latex]f\\left(x\\right)[\/latex] for all [latex]x[\/latex]\u00a0in [latex]I[\/latex]\u00a0if and only if<\/p>\r\n\r\n<div id=\"fs-id1167025167096\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to\\infty}\\lim {R}_{n}\\left(x\\right)=0[\/latex]<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1167025167134\">for all [latex]x[\/latex] in [latex]I[\/latex].<\/p>\r\n\r\n<\/section>\r\n<p id=\"fs-id1167025167149\">With this theorem, we can prove that a Taylor series for [latex]f[\/latex] at [latex]a[\/latex] converges to [latex]f[\/latex] if we can prove that the remainder [latex]{R}_{n}\\left(x\\right)\\to 0[\/latex]. To prove that [latex]{R}_{n}\\left(x\\right)\\to 0[\/latex], we typically use the bound from Taylor's theorem:<\/p>\r\n\r\n<div id=\"fs-id1167025117660\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]|{R}_{n}\\left(x\\right)|\\le \\frac{M}{\\left(n+1\\right)\\text{!}}{|x-a|}^{n+1}[\/latex]<\/div>\r\n<div data-type=\"equation\" data-label=\"\">where [latex]M[\/latex] is an upper bound for the [latex](n+1)[\/latex]th derivative on the interval.<\/div>\r\n<p id=\"fs-id1167025117735\">In our next example, we'll find the Maclaurin series for [latex]e^x[\/latex] and [latex]\\sin x[\/latex], then prove these series converge to their respective functions for all real numbers by showing [latex]R_n(x) \\to 0[\/latex].<\/p>\r\n\r\n<section class=\"textbox example\" aria-label=\"Example\">\r\n<div id=\"fs-id1167025117789\" data-type=\"problem\">\r\n<p id=\"fs-id1167025117794\">For each of the following functions, find the Maclaurin series and its interval of convergence. Use Taylor's Theorem with Remainder to prove that the Maclaurin series for [latex]f[\/latex] converges to [latex]f[\/latex] on that interval.<\/p>\r\n\r\n<ol id=\"fs-id1167025117811\" type=\"a\">\r\n \t<li>[latex]e^{x}[\/latex]<\/li>\r\n \t<li>[latex]\\sin{x}[\/latex]<\/li>\r\n<\/ol>\r\n<\/div>\r\n[reveal-answer q=\"44558599\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"44558599\"]\r\n<div id=\"fs-id1167025117839\" data-type=\"solution\">\r\n<ol id=\"fs-id1167025117842\" type=\"a\">\r\n \t<li>Using the <em data-effect=\"italics\">n<\/em>th Maclaurin polynomial for [latex]e^{x}[\/latex]\u00a0found in the example: Finding Maclaurin Polynomials (a), we find that the Maclaurin series for [latex]e^{x}[\/latex]\u00a0is given by<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025117876\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{{x}^{n}}{n\\text{!}}[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nTo determine the interval of convergence, we use the ratio test. Since<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025146566\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\frac{{|x|}^{n+1}}{\\left(n+1\\right)\\text{!}}\\cdot \\frac{n\\text{!}}{{|x|}^{n}}=\\frac{|x|}{n+1}[\/latex],<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nwe have<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025146689\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\underset{n\\to \\infty }{\\text{lim}}\\frac{|x|}{n+1}=0[\/latex]<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nfor all <em data-effect=\"italics\">x<\/em>. Therefore, the series converges absolutely for all <em data-effect=\"italics\">x<\/em>, and thus, the interval of convergence is [latex]\\left(-\\infty ,\\infty \\right)[\/latex]. To show that the series converges to [latex]e^{x}[\/latex]\u00a0for all [latex]x[\/latex], we use the fact that [latex]{f}^{\\left(n\\right)}\\left(x\\right)={e}^{x}[\/latex] for all [latex]n\\ge 0[\/latex] and [latex]e^{x}[\/latex]\u00a0is an increasing function on [latex]\\left(-\\infty ,\\infty \\right)[\/latex]. Therefore, for any real number [latex]b[\/latex], the maximum value of [latex]e^{x}[\/latex]\u00a0for all [latex]|x|\\le b[\/latex] is [latex]e^{b}[\/latex]. Thus,<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025241662\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]|{R}_{n}\\left(x\\right)|\\le \\frac{{e}^{b}}{\\left(n+1\\right)\\text{!}}{|x|}^{n+1}[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nSince we just showed that<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025241737\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{|x{|}^{n}}{n\\text{!}}[\/latex]<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nconverges for all <em data-effect=\"italics\">x<\/em>, by the divergence test, we know that<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025241787\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}\\frac{{|x|}^{n+1}}{\\left(n+1\\right)\\text{!}}=0[\/latex]<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nfor any real number [latex]x[\/latex]. By combining this fact with the squeeze theorem, the result is [latex]\\underset{n\\to \\infty }{\\text{lim}}{R}_{n}\\left(x\\right)=0[\/latex].<\/li>\r\n \t<li>Using the <em data-effect=\"italics\">n<\/em>th Maclaurin polynomial for [latex]\\sin{x}[\/latex] found in the example: Finding Maclaurin Polynomials (b), we find that the Maclaurin series for [latex]\\sin{x}[\/latex] is given by<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167024984713\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}\\frac{{x}^{2n+1}}{\\left(2n+1\\right)\\text{!}}[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nIn order to apply the ratio test, consider<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167024984788\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\frac{{|x|}^{2n+3}}{\\left(2n+3\\right)\\text{!}}\\cdot \\frac{\\left(2n+1\\right)\\text{!}}{{|x|}^{2n+1}}=\\frac{{|x|}^{2}}{\\left(2n+3\\right)\\left(2n+2\\right)}[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nSince<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025008815\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}\\frac{{|x|}^{2}}{\\left(2n+3\\right)\\left(2n+2\\right)}=0[\/latex]<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nfor all [latex]x[\/latex], we obtain the interval of convergence as [latex]\\left(-\\infty ,\\infty \\right)[\/latex]. To show that the Maclaurin series converges to [latex]\\sin{x}[\/latex], look at [latex]{R}_{n}\\left(x\\right)[\/latex]. For each [latex]x[\/latex]\u00a0there exists a real number [latex]c[\/latex]\u00a0between 0 and [latex]x[\/latex] such that<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167025008960\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{R}_{n}\\left(x\\right)=\\frac{{f}^{\\left(n+1\\right)}\\left(c\\right)}{\\left(n+1\\right)\\text{!}}{x}^{n+1}[\/latex].<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nSince [latex]|{f}^{\\left(n+1\\right)}\\left(c\\right)|\\le 1[\/latex] for all integers [latex]n[\/latex] and all real numbers [latex]c[\/latex], we have<span data-type=\"newline\">\r\n<\/span>\r\n<div id=\"fs-id1167024999263\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]|{R}_{n}\\left(x\\right)|\\le \\frac{{|x|}^{n+1}}{\\left(n+1\\right)\\text{!}}[\/latex]<\/div>\r\n<span data-type=\"newline\">\r\n<\/span>\r\nfor all real numbers [latex]x[\/latex]. Using the same idea as in part a., the result is [latex]\\underset{n\\to \\infty }{\\text{lim}}{R}_{n}\\left(x\\right)=0[\/latex] for all [latex]x[\/latex], and therefore, the Maclaurin series for [latex]\\sin{x}[\/latex] converges to [latex]\\sin{x}[\/latex] for all real [latex]x[\/latex].<\/li>\r\n<\/ol>\r\n<\/div>\r\n[\/hidden-answer]\r\n\r\n<\/section><section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the example above.<center><iframe title=\"YouTube video player\" src=\"https:\/\/www.youtube.com\/embed\/oQkN46wsyJs?controls=0&amp;start=2255&amp;end=2670&amp;autoplay=0\" width=\"750\" height=\"450\" frameborder=\"0\" allowfullscreen=\"allowfullscreen\" data-mce-fragment=\"1\"><\/iframe><\/center>\r\n<p class=\"p1\">For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.<\/p>\r\nYou can view the <a href=\"https:\/\/oerfiles.s3.us-west-2.amazonaws.com\/Calculus+II\/Transcripts\/6.3TaylorAndMaclaurinSeries2255to2670_transcript.html\" target=\"_blank\" rel=\"noopener\">transcript for this segmented clip of \"6.3 Taylor and Maclaurin Series\" here (opens in new window)<\/a>.\r\n\r\n<\/section>","rendered":"<h2 data-type=\"title\">Convergence of Taylor Series<\/h2>\n<p>We now discuss issues of convergence for Taylor series. We begin by showing how to find a Taylor series for a function, and how to find its interval of convergence.<\/p>\n<section class=\"textbox example\" aria-label=\"Example\">\n<div id=\"fs-id1167025009070\" data-type=\"problem\">\n<p id=\"fs-id1167025009075\">Find the Taylor series for [latex]f\\left(x\\right)=\\frac{1}{x}[\/latex] at [latex]x=1[\/latex]. Determine the interval of convergence.<\/p>\n<\/div>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q44558999\">Show Solution<\/button><\/p>\n<div id=\"q44558999\" class=\"hidden-answer\" style=\"display: none\">\n<div id=\"fs-id1167025009112\" data-type=\"solution\">\n<p id=\"fs-id1167025009114\">For [latex]f\\left(x\\right)=\\frac{1}{x}[\/latex], the values of the function and its first four derivatives at [latex]x=1[\/latex] are<\/p>\n<div id=\"fs-id1167025009149\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\begin{array}{cccccccc}\\hfill f\\left(x\\right)& =\\hfill & \\frac{1}{x}\\hfill & & & \\hfill f\\left(1\\right)& =\\hfill & 1\\hfill \\\\ \\hfill {f}^{\\prime }\\left(x\\right)& =\\hfill & -\\frac{1}{{x}^{2}}\\hfill & & & \\hfill {f}^{\\prime }\\left(1\\right)& =\\hfill & -1\\hfill \\\\ \\hfill f^{\\prime\\prime}\\left(x\\right)& =\\hfill & \\frac{2}{{x}^{3}}\\hfill & & & \\hfill f^{\\prime\\prime}\\left(1\\right)& =\\hfill & 2\\text{!}\\hfill \\\\ \\hfill f^{\\prime\\prime\\prime}\\left(x\\right)& =\\hfill & -\\frac{3\\cdot 2}{{x}^{4}}\\hfill & & & \\hfill f^{\\prime\\prime\\prime}\\left(1\\right)& =\\hfill & -3\\text{!}\\hfill \\\\ \\hfill {f}^{\\left(4\\right)}\\left(x\\right)& =\\hfill & \\frac{4\\cdot 3\\cdot 2}{{x}^{5}}\\hfill & & & \\hfill {f}^{\\left(4\\right)}\\left(1\\right)& =\\hfill & 4\\text{!.}\\hfill \\end{array}[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1167025097493\">That is, we have [latex]{f}^{\\left(n\\right)}\\left(1\\right)={\\left(-1\\right)}^{n}n\\text{!}[\/latex] for all [latex]n\\ge 0[\/latex]. Therefore, the Taylor series for [latex]f[\/latex] at [latex]x=1[\/latex] is given by<\/p>\n<div id=\"fs-id1167025097564\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{{f}^{\\left(n\\right)}\\left(1\\right)}{n\\text{!}}{\\left(x - 1\\right)}^{n}=\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}{\\left(x - 1\\right)}^{n}[\/latex].<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1167025097683\">To find the interval of convergence, we use the ratio test. We find that<\/p>\n<div id=\"fs-id1167025097686\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\frac{|{\\left(-1\\right)}^{n+1}{\\left(x - 1\\right)}^{n+1}|}{|{\\left(-1\\right)}^{n}{\\left(x - 1\\right)}^{n}|}=|x - 1|[\/latex].<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1167025095544\">Thus, the series converges if [latex]|x - 1|<1[\/latex]. That is, the series converges for [latex]0<x<2[\/latex]. Next, we need to check the endpoints. At [latex]x=2[\/latex], we see that<\/p>\n<div id=\"fs-id1167025095598\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}{\\left(2 - 1\\right)}^{n}=\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1167024969122\">diverges by the divergence test. Similarly, at [latex]x=0[\/latex],<\/p>\n<div id=\"fs-id1167024969136\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}{\\left(0 - 1\\right)}^{n}=\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{2n}=\\displaystyle\\sum _{n=0}^{\\infty }1[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1167024969245\">diverges. Therefore, the interval of convergence is [latex]\\left(0,2\\right)[\/latex].<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n<section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the example above.<\/p>\n<div style=\"text-align: center;\"><iframe loading=\"lazy\" title=\"YouTube video player\" src=\"https:\/\/www.youtube.com\/embed\/oQkN46wsyJs?controls=0&amp;start=1946&amp;end=2189&amp;autoplay=0\" width=\"750\" height=\"450\" frameborder=\"0\" allowfullscreen=\"allowfullscreen\" data-mce-fragment=\"1\"><\/iframe><\/div>\n<p class=\"p1\">For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.<\/p>\n<p>You can view the <a href=\"https:\/\/oerfiles.s3.us-west-2.amazonaws.com\/Calculus+II\/Transcripts\/6.3TaylorAndMaclaurinSeries1946to2189_transcript.html\" target=\"_blank\" rel=\"noopener\">transcript for this segmented clip of &#8220;6.3 Taylor and Maclaurin Series&#8221; here (opens in new window)<\/a>.<\/p>\n<\/section>\n<p id=\"fs-id1167025232201\">We know that the Taylor series found in this example converges on the interval [latex]\\left(0,2\\right)[\/latex], but how do we know it actually converges to [latex]f?[\/latex] Let&#8217;s explore this by rewriting our function:<\/p>\n<div id=\"fs-id1167025232231\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]f\\left(x\\right)=\\frac{1}{x}=\\frac{1}{1-\\left(1-x\\right)}[\/latex].<\/div>\n<p id=\"fs-id1167025232281\">This representation shows that [latex]f[\/latex] can be expressed as the geometric series [latex]\\displaystyle\\sum_{n=0}^{\\infty}(1-x)^n[\/latex]. Since geometric series converge to [latex]\\frac{1}{x}[\/latex] when [latex]|1-x| < 1[\/latex], we&#8217;ve confirmed that our Taylor series does indeed converge to [latex]f(x) = \\frac{1}{x}[\/latex] on [latex]\\left(0,2\\right)[\/latex].<\/p>\n<p class=\"whitespace-normal break-words\">Now for the broader question: If a Taylor series for a function [latex]f[\/latex] converges on some interval, how do we know it converges to [latex]f[\/latex] itself?<\/p>\n<p class=\"whitespace-normal break-words\">To answer this, remember that a series converges to a value if and only if its sequence of partial sums converges to that value. For a Taylor series centered at [latex]a[\/latex], the [latex]n[\/latex]th partial sum is the [latex]n[\/latex]th Taylor polynomial [latex]p_n[\/latex].<\/p>\n<p id=\"fs-id1167025149892\">Therefore, the Taylor series converges to [latex]f[\/latex] when:<\/p>\n<div id=\"fs-id1167025149944\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}{p}_{n}\\left(x\\right)=f\\left(x\\right)[\/latex].<\/div>\n<p id=\"fs-id1167025149991\">Since the remainder [latex]{R}_{n}\\left(x\\right)=f\\left(x\\right)-{p}_{n}\\left(x\\right)[\/latex], the Taylor series converges to [latex]f[\/latex] if and only if<\/p>\n<div id=\"fs-id1167025150045\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}{R}_{n}\\left(x\\right)=0[\/latex].<\/div>\n<p id=\"fs-id1167025166973\">We now state this theorem formally.<\/p>\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\n<h3>theorem: convergence of Taylor series<\/h3>\n<p id=\"fs-id1167025166984\">Suppose that [latex]f[\/latex] has derivatives of all orders on an interval [latex]I[\/latex]\u00a0containing [latex]a[\/latex]. Then the Taylor series<\/p>\n<div id=\"fs-id1167025167001\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{{f}^{\\left(n\\right)}\\left(a\\right)}{n\\text{!}}{\\left(x-a\\right)}^{n}[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1167025167069\">converges to [latex]f\\left(x\\right)[\/latex] for all [latex]x[\/latex]\u00a0in [latex]I[\/latex]\u00a0if and only if<\/p>\n<div id=\"fs-id1167025167096\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to\\infty}\\lim {R}_{n}\\left(x\\right)=0[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1167025167134\">for all [latex]x[\/latex] in [latex]I[\/latex].<\/p>\n<\/section>\n<p id=\"fs-id1167025167149\">With this theorem, we can prove that a Taylor series for [latex]f[\/latex] at [latex]a[\/latex] converges to [latex]f[\/latex] if we can prove that the remainder [latex]{R}_{n}\\left(x\\right)\\to 0[\/latex]. To prove that [latex]{R}_{n}\\left(x\\right)\\to 0[\/latex], we typically use the bound from Taylor&#8217;s theorem:<\/p>\n<div id=\"fs-id1167025117660\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]|{R}_{n}\\left(x\\right)|\\le \\frac{M}{\\left(n+1\\right)\\text{!}}{|x-a|}^{n+1}[\/latex]<\/div>\n<div data-type=\"equation\" data-label=\"\">where [latex]M[\/latex] is an upper bound for the [latex](n+1)[\/latex]th derivative on the interval.<\/div>\n<p id=\"fs-id1167025117735\">In our next example, we&#8217;ll find the Maclaurin series for [latex]e^x[\/latex] and [latex]\\sin x[\/latex], then prove these series converge to their respective functions for all real numbers by showing [latex]R_n(x) \\to 0[\/latex].<\/p>\n<section class=\"textbox example\" aria-label=\"Example\">\n<div id=\"fs-id1167025117789\" data-type=\"problem\">\n<p id=\"fs-id1167025117794\">For each of the following functions, find the Maclaurin series and its interval of convergence. Use Taylor&#8217;s Theorem with Remainder to prove that the Maclaurin series for [latex]f[\/latex] converges to [latex]f[\/latex] on that interval.<\/p>\n<ol id=\"fs-id1167025117811\" type=\"a\">\n<li>[latex]e^{x}[\/latex]<\/li>\n<li>[latex]\\sin{x}[\/latex]<\/li>\n<\/ol>\n<\/div>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q44558599\">Show Solution<\/button><\/p>\n<div id=\"q44558599\" class=\"hidden-answer\" style=\"display: none\">\n<div id=\"fs-id1167025117839\" data-type=\"solution\">\n<ol id=\"fs-id1167025117842\" type=\"a\">\n<li>Using the <em data-effect=\"italics\">n<\/em>th Maclaurin polynomial for [latex]e^{x}[\/latex]\u00a0found in the example: Finding Maclaurin Polynomials (a), we find that the Maclaurin series for [latex]e^{x}[\/latex]\u00a0is given by<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025117876\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{{x}^{n}}{n\\text{!}}[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nTo determine the interval of convergence, we use the ratio test. Since<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025146566\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\frac{{|x|}^{n+1}}{\\left(n+1\\right)\\text{!}}\\cdot \\frac{n\\text{!}}{{|x|}^{n}}=\\frac{|x|}{n+1}[\/latex],<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nwe have<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025146689\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\underset{n\\to \\infty }{\\text{lim}}\\frac{|x|}{n+1}=0[\/latex]<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nfor all <em data-effect=\"italics\">x<\/em>. Therefore, the series converges absolutely for all <em data-effect=\"italics\">x<\/em>, and thus, the interval of convergence is [latex]\\left(-\\infty ,\\infty \\right)[\/latex]. To show that the series converges to [latex]e^{x}[\/latex]\u00a0for all [latex]x[\/latex], we use the fact that [latex]{f}^{\\left(n\\right)}\\left(x\\right)={e}^{x}[\/latex] for all [latex]n\\ge 0[\/latex] and [latex]e^{x}[\/latex]\u00a0is an increasing function on [latex]\\left(-\\infty ,\\infty \\right)[\/latex]. Therefore, for any real number [latex]b[\/latex], the maximum value of [latex]e^{x}[\/latex]\u00a0for all [latex]|x|\\le b[\/latex] is [latex]e^{b}[\/latex]. Thus,<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025241662\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]|{R}_{n}\\left(x\\right)|\\le \\frac{{e}^{b}}{\\left(n+1\\right)\\text{!}}{|x|}^{n+1}[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nSince we just showed that<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025241737\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }\\frac{|x{|}^{n}}{n\\text{!}}[\/latex]<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nconverges for all <em data-effect=\"italics\">x<\/em>, by the divergence test, we know that<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025241787\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}\\frac{{|x|}^{n+1}}{\\left(n+1\\right)\\text{!}}=0[\/latex]<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nfor any real number [latex]x[\/latex]. By combining this fact with the squeeze theorem, the result is [latex]\\underset{n\\to \\infty }{\\text{lim}}{R}_{n}\\left(x\\right)=0[\/latex].<\/li>\n<li>Using the <em data-effect=\"italics\">n<\/em>th Maclaurin polynomial for [latex]\\sin{x}[\/latex] found in the example: Finding Maclaurin Polynomials (b), we find that the Maclaurin series for [latex]\\sin{x}[\/latex] is given by<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167024984713\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\displaystyle\\sum _{n=0}^{\\infty }{\\left(-1\\right)}^{n}\\frac{{x}^{2n+1}}{\\left(2n+1\\right)\\text{!}}[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nIn order to apply the ratio test, consider<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167024984788\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{|{a}_{n+1}|}{|{a}_{n}|}=\\frac{{|x|}^{2n+3}}{\\left(2n+3\\right)\\text{!}}\\cdot \\frac{\\left(2n+1\\right)\\text{!}}{{|x|}^{2n+1}}=\\frac{{|x|}^{2}}{\\left(2n+3\\right)\\left(2n+2\\right)}[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nSince<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025008815\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\underset{n\\to \\infty }{\\text{lim}}\\frac{{|x|}^{2}}{\\left(2n+3\\right)\\left(2n+2\\right)}=0[\/latex]<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nfor all [latex]x[\/latex], we obtain the interval of convergence as [latex]\\left(-\\infty ,\\infty \\right)[\/latex]. To show that the Maclaurin series converges to [latex]\\sin{x}[\/latex], look at [latex]{R}_{n}\\left(x\\right)[\/latex]. For each [latex]x[\/latex]\u00a0there exists a real number [latex]c[\/latex]\u00a0between 0 and [latex]x[\/latex] such that<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167025008960\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]{R}_{n}\\left(x\\right)=\\frac{{f}^{\\left(n+1\\right)}\\left(c\\right)}{\\left(n+1\\right)\\text{!}}{x}^{n+1}[\/latex].<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nSince [latex]|{f}^{\\left(n+1\\right)}\\left(c\\right)|\\le 1[\/latex] for all integers [latex]n[\/latex] and all real numbers [latex]c[\/latex], we have<span data-type=\"newline\"><br \/>\n<\/span><\/p>\n<div id=\"fs-id1167024999263\" class=\"unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]|{R}_{n}\\left(x\\right)|\\le \\frac{{|x|}^{n+1}}{\\left(n+1\\right)\\text{!}}[\/latex]<\/div>\n<p><span data-type=\"newline\"><br \/>\n<\/span><br \/>\nfor all real numbers [latex]x[\/latex]. Using the same idea as in part a., the result is [latex]\\underset{n\\to \\infty }{\\text{lim}}{R}_{n}\\left(x\\right)=0[\/latex] for all [latex]x[\/latex], and therefore, the Maclaurin series for [latex]\\sin{x}[\/latex] converges to [latex]\\sin{x}[\/latex] for all real [latex]x[\/latex].<\/li>\n<\/ol>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n<section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the example above.<\/p>\n<div style=\"text-align: center;\"><iframe loading=\"lazy\" title=\"YouTube video player\" src=\"https:\/\/www.youtube.com\/embed\/oQkN46wsyJs?controls=0&amp;start=2255&amp;end=2670&amp;autoplay=0\" width=\"750\" height=\"450\" frameborder=\"0\" allowfullscreen=\"allowfullscreen\" data-mce-fragment=\"1\"><\/iframe><\/div>\n<p class=\"p1\">For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.<\/p>\n<p>You can view the <a href=\"https:\/\/oerfiles.s3.us-west-2.amazonaws.com\/Calculus+II\/Transcripts\/6.3TaylorAndMaclaurinSeries2255to2670_transcript.html\" target=\"_blank\" rel=\"noopener\">transcript for this segmented clip of &#8220;6.3 Taylor and Maclaurin Series&#8221; here (opens in new window)<\/a>.<\/p>\n<\/section>\n","protected":false},"author":15,"menu_order":20,"template":"","meta":{"_candela_citation":"[]","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"part":673,"module-header":"- Select Header -","content_attributions":[],"internal_book_links":[],"video_content":null,"cc_video_embed_content":{"cc_scripts":"","media_targets":[]},"try_it_collection":null,"_links":{"self":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/948"}],"collection":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/users\/15"}],"version-history":[{"count":5,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/948\/revisions"}],"predecessor-version":[{"id":2085,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/948\/revisions\/2085"}],"part":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/parts\/673"}],"metadata":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapters\/948\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/media?parent=948"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/pressbooks\/v2\/chapter-type?post=948"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/contributor?post=948"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus2\/wp-json\/wp\/v2\/license?post=948"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}