Results 1 to 2 of 2

Thread: Generalized Taylor series of an exponential

  1. #1
    Senior Member bkarpuz's Avatar
    Joined
    Sep 2008
    From
    R
    Posts
    481
    Thanks
    2

    Generalized Taylor series of an exponential

    Let $\displaystyle f\in C^{\infty}(\mathbb{R},\mathbb{R})$, and define $\displaystyle f_{n}:=f_{n-1}^{\prime}+f_{n-1}f$ on $\displaystyle \mathbb{R}$ for $\displaystyle n\in\mathbb{N}$ with $\displaystyle f_{0}\equiv1$ on $\displaystyle \mathbb{R}$.
    Show that
    $\displaystyle \exp\bigg\{\displaystyle\int_{a}^{b}f(u)\mathrm{d} u\bigg\}=\displaystyle\sum_{\ell=0}^{\infty}f_{\el l}(a)\frac{(b-a)^{\ell}}{\ell!}\quad\text{for}\ a,b\in\mathbb{R}.$

    Remark. In the case of constant function, i.e., $\displaystyle f\equiv c/(b-a)$ on $\displaystyle \mathbb{R}$ (provided that $\displaystyle b>a$) for some $\displaystyle c\in\mathbb{R}$,
    we can compute that $\displaystyle f_{k}\equiv \big(c/(b-a)\big)^{k}$ on $\displaystyle \mathbb{R}$ for all $\displaystyle k\in\mathbb{N}$, which turns out to be a well known result.
    That is,
    $\displaystyle \mathrm{e}^{c}=\displaystyle\sum_{\ell=0}^{\infty} \frac{c^{\ell}}{\ell!}.$
    Last edited by bkarpuz; Mar 14th 2011 at 04:16 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member girdav's Avatar
    Joined
    Jul 2009
    From
    Rouen, France
    Posts
    678
    Thanks
    32
    Let $\displaystyle a\in\mathbb R$ and $\displaystyle F(x) :=\exp \left\{\int_a^x f(t)dt \right\}$. We can show that $\displaystyle F$ is analytic on the whole real line (for example by Faa-di-Bruno's formula) and we have $\displaystyle F'(x) = F(x)f(x)$ according to the chain rule.
    We show by induction that $\displaystyle F^{(n)}(x) =f_n(x)f(x)$. $\displaystyle f_1=f$ so the result is true for $\displaystyle n=1$ and if it's true for n we have $\displaystyle F^{\left( n+1\right)}(x) =
    \dfrac{d}{dx}\left(F^{(n)}(x)\right) =
    \dfrac{d}{dx}\left[F(x)f_n(x)\right] $
    $\displaystyle F^{(n+1)}(x)= F'(x)f_n(x) +F(x)f_n'(x) =F(x)f(x)f_n(x) +F(x)f_n'(x) $
    hence
    $\displaystyle F^{(n+1)}(x)
    =F(x)(f(x)f_n(x)+f_n'(x))=F(x)f_{n+1}(x)$. We can now compare the two Taylor series.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Getting stuck on series - can't develop Taylor series.
    Posted in the Differential Geometry Forum
    Replies: 6
    Last Post: Oct 5th 2010, 08:32 AM
  2. Exponential Taylor Series
    Posted in the Calculus Forum
    Replies: 1
    Last Post: Apr 19th 2010, 01:25 PM
  3. Replies: 0
    Last Post: Jan 26th 2010, 08:06 AM
  4. A generalized infinite series
    Posted in the Math Challenge Problems Forum
    Replies: 0
    Last Post: Jul 15th 2009, 12:21 AM
  5. Replies: 9
    Last Post: Apr 3rd 2008, 05:50 PM

Search Tags


/mathhelpforum @mathhelpforum