Results 1 to 2 of 2
Like Tree1Thanks
  • 1 Post By johnsomeone

Thread: Cannot figure out the remainder function of a Taylor series

  1. #1
    Member
    Joined
    Jun 2012
    From
    Georgia
    Posts
    220
    Thanks
    55

    Cannot figure out the remainder function of a Taylor series

    I get that f(x) = P_n(x) + R(x), and calculating P_n(x) is no big deal--it's just a finite Taylor series. But I am struggling with the R(x). Case in point is a function such as f(x) = xe^(x^2). P_n(x) is just x^3 + x. But what the heck do I do with the R(x)? I know it's a big-O of x^4, since that's the next term, but what on earth do I do from there?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Sep 2012
    From
    Washington DC USA
    Posts
    1,061
    Thanks
    410

    Re: Cannot figure out the remainder function of a Taylor series

    The point is usually to *bound* the remainder term. That will typically involve using the specifics of the domain on which the approximation is to hold.

    If $\displaystyle p_n$ is the degree n Taylor polynomial about $\displaystyle x_0$ for $\displaystyle f$ ($\displaystyle f$ is $\displaystyle (n+1)$ times differentiable), then

    $\displaystyle f(x) = p_n(x) + R_n(x)$, where $\displaystyle R_n(x) = \frac{f^{n+1}(c_x)}{(n+1)!}(x-x_0)^{n+1}$ for some $\displaystyle c_x$ between $\displaystyle x_0$ and $\displaystyle x$.

    ----

    In your example, if $\displaystyle f(x) = xe^{x^2}$, then to find the remainder after the 3rd degree Taylor poly at $\displaystyle x_0 = 0$ do:

    $\displaystyle f'(x) = (1)e^{x^2} + (x)(2xe^{x^2}) = (2x^2 +1) e^{x^2}$.

    $\displaystyle f''(x) = (4x) e^{x^2} + (2x^2 +1)(2x e^{x^2}) = (4x^3+6x)e^{x^2}$.

    $\displaystyle f'''(x) = (12x^2+6)e^{x^2} + (4x^3+6x)(2xe^{x^2}) = (8x^4+24x^2+6)e^{x^2}$.

    $\displaystyle f^{(4)}(x) = (32x^3+48x)e^{x^2} + (8x^4+24x^2+6)(2xe^{x^2}) = (16x^5 + 80 x^3 + 60x)e^{x^2}$.

    Thus $\displaystyle f(0) = 0, f'(0) = 1, f''(0) = 0, f'''(0) = 6$, giving $\displaystyle p_3(x) = x^3 + x$, just as you said.

    Now to bound the remainder term, we need to specify the domain on which we're using this approximation.

    Let's suppose we want to approximate $\displaystyle f$ by $\displaystyle p_3$ pn the interval $\displaystyle (-R, R)$, for some $\displaystyle R>0$. Note $\displaystyle x_0 = 0 \in (-R, R)$.

    APOLOGIES - that's terrible notation. I'm using capital R for both the real number defining the interval, and the Taylor remainder term. I hope the context makes it clear which is which. I don't feel like trying to go back and change it everywhere.

    Then $\displaystyle R_3(x) = \frac{f^{(3)+1}(c_x)}{((3)+1)!}(x-(0))^{(3)+1}$ for some $\displaystyle c_x$ between $\displaystyle 0$ and $\displaystyle x$, where $\displaystyle x \in (-R, R)$.

    And thus $\displaystyle R_3(x) = \frac{f^4(c_x)}{4!}x^4$ for some $\displaystyle c_x \in (-R, R)$.

    But then $\displaystyle \lvert R_3(x) \rvert = \lvert \frac{f^4(c_x)}{4!}x^4 \rvert = \frac{\lvert f^4(c_x) \rvert}{4!}x^4$.

    So we want to bound $\displaystyle \lvert f^4(c_x) \rvert$ where $\displaystyle c_x \in (-R, R)$.

    $\displaystyle \rvert f^{(4)}(c_x) \rvert = \lvert 16c_x^5 + 80 c_x^3 + 60c_x \rvert \lvert e^{c_x^2} \rvert$, so

    $\displaystyle \rvert f^{(4)}(c_x) \rvert \le ( 16 \lvert c_x \rvert^5 + 80 \lvert c_x \rvert ^3 + 60 \lvert c_x \rvert ) e^{c_x^2} $, so

    $\displaystyle \rvert f^{(4)}(c_x) \rvert \le ( 16 R^5 + 80 R^3 + 60 R) e^{R^2} $.

    Thus $\displaystyle \lvert R_3(x) \rvert = \frac{\lvert f^4(c_x) \rvert}{4!}x^4 \le \frac{(16 R^5 + 80 R^3 + 60 R) e^{R^2}}{4!}x^4$.

    Suppose $\displaystyle R = 1/2$. Then $\displaystyle \lvert R_3(x) \rvert \le \frac{(.5 + 10 + 30) e^{0.25}}{4!}x^4 = \frac{(40.5) e^{0.25}}{24}x^4 = 2.17 x^4$.

    Suppose $\displaystyle R = 1$. Then $\displaystyle \lvert R_3(x) \rvert \le \frac{(16 + 80 + 60) e^{1}}{4!}x^4 = \frac{156e}{24}x^4 = 17.76 x^4$

    Suppose $\displaystyle R = 10$. Then$\displaystyle \lvert R_3(x) \rvert \le \frac{(1,600,000 + 80,000 + 600) e^{100}}{4!}x^4 = \frac{(1,680,600) e^{100}}{24}x^4$

    so that $\displaystyle \lvert R_3(x) \rvert \le (1.88 \times 10^{48}) x^4$

    It's customary to keep those x powers there, but you could bound it absolutely on the specified domain by inserting $\displaystyle x = R$, in which case:

    If $\displaystyle R = 1/2$. Then $\displaystyle \lvert R_3(x) \rvert \le 2.17 R^4 = 0.14$.

    If $\displaystyle R = 1$. Then $\displaystyle \lvert R_3(x) \rvert \le 17.76 R^4 = 17.6$.

    If $\displaystyle R = 10$. Then $\displaystyle \lvert R_3(x) \rvert \le (1.88 \times 10^{48}) R^4 = 1.88 \times 10^{52}$.

    Obviously, the approximation can get real bad real fast (not surprising given how explosive $\displaystyle e^{x^2}$ is), but if we're sticking to the interval (-1/2, 1/2), approximating $\displaystyle f$ by $\displaystyle p_3(x) = x^3 + x$ is a pretty good approxiation.

    There's of course a fair amount of algebraic skill in figuring the upper bounds for the remainder term. But that should hopefully give you some idea.
    Last edited by johnsomeone; Sep 22nd 2012 at 11:03 PM.
    Thanks from phys251
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Test functions as a taylor series with integral remainder
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: May 13th 2011, 08:53 AM
  2. Remainder of a Taylor Series.
    Posted in the Calculus Forum
    Replies: 1
    Last Post: May 4th 2009, 05:05 PM
  3. Taylor series remainder
    Posted in the Calculus Forum
    Replies: 1
    Last Post: Jul 8th 2008, 12:29 PM
  4. Replies: 1
    Last Post: Jul 4th 2008, 06:52 AM
  5. Taylor series and remainder
    Posted in the Calculus Forum
    Replies: 4
    Last Post: Mar 2nd 2008, 10:54 AM

Search Tags


/mathhelpforum @mathhelpforum