Taylor series


by matematikuvol
Tags: series, taylor
matematikuvol
matematikuvol is offline
#1
Jan6-13, 03:13 PM
P: 192
Why in Taylor series we have some factoriel ##!## factor.
[tex]f(x)=f(0)+xf'(0)+\frac{x^2}{2!}f''(0)+...[/tex]
Why we have that ##\frac{1}{n!}## factor?
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
mathman
mathman is online now
#2
Jan6-13, 03:32 PM
Sci Advisor
P: 5,941
Quote Quote by matematikuvol View Post
Why in Taylor series we have some factoriel ##!## factor.
[tex]f(x)=f(0)+xf'(0)+\frac{x^2}{2!}f''(0)+...[/tex]
Why we have that ##\frac{1}{n!}## factor?
Just take the nth derivative of the Taylor series expression. The constant term is the nth derivative at 0. n! comes from the nth derivative of xn, which gives the constant term.
lavinia
lavinia is offline
#3
Jan13-13, 10:55 AM
Sci Advisor
P: 1,716
[/itex]
Quote Quote by matematikuvol View Post
Why in Taylor series we have some factoriel ##!## factor.
[tex]f(x)=f(0)+xf'(0)+\frac{x^2}{2!}f''(0)+...[/tex]
Why we have that ##\frac{1}{n!}## factor?
The factorial terms appear in the derivation of the Taylor series.

For instance, a derivation for a Taylor series around zero start with the equation,

[tex]f(x) - f(0) = ∫^{1}_{0}f'((1-t)x)xdt[/tex]


By integration by parts this integral also equals,

[tex]f'((1-t)x)xt |^{1}_{0} + ∫^{1}_{0}tf''((1-t)x)x^{2}dt[/tex]

where the first term equals f'(0)x

Integrating by parts again, the integral term becomes,

[tex]f''((1-t)x)x^{2}\frac{t^2}{2!} |^{1}_{0} + ∫^{1}_{0}\frac{t^2}{2!}f'''((1-t)x)x^{3}dt[/tex]

Simplifying again, the first term becomes

[tex]\frac{x^2}{2!}f''(0)[/tex]

So so far one has [tex]f(x) - f(0) = xf'(0) + \frac{x^2}{2!}f''(0) + ∫^{1}_{0}\frac{t^2}{2!}f'''((1-t)x)x^{3}dt[/tex]

Continuing to integrate by parts gives you the first n terms in the Taylor series plus a remainder integral. The series converges if this remainder shrinks to zero as n goes to infinity. The factorials fall out inductively and arise because the anti-derivative of

[tex]\frac{t^n}{n!}[/tex] is [tex]\frac{t^{n+1}}{n+1!}[/tex]

homeomorphic
homeomorphic is offline
#4
Jan13-13, 05:13 PM
P: 1,045

Taylor series


The problem is to reconstruct a function, given its value and derivatives at a single point, under nice conditions.

To give a baby example, suppose you know the velocity of an object is bounded by M. Then in t seconds, you know that it couldn't get farther than tM from the starting point.

To give another example, suppose the acceleration is bounded by M and suppose the initial velocity is zero. The velocity can't be more than tM in absolute value at time t, so the position can't be more than .5 t^2 M.

If M bounds the absolute value of the nth derivative, and all the previous derivatives and the function value vanish, you can play the same game and you get that function can grow no faster than M/n! t^n. So, your bound, M, doesn't have to be that great because it's getting divided by n!.

In the general case, you can subtract off a polynomial to reduce to the case above. What polynomial do you subtract from the function, so that all the derivatives up to the nth one are zero at the given point? The answer is the Taylor polynomials. You just want to come up with a polynomial whose derivatives are the same as the function, just at the given point. From there, you can refer to mathman's answer.

Under favorable conditions, for example, if ALL the derivatives are uniformly bounded by the SAME number, M, the n! will make the estimates get better and better as you pass to higher order polynomials and the Taylor series will converge to the function.
lurflurf
lurflurf is offline
#5
Jan13-13, 09:03 PM
HW Helper
P: 2,166
because

[tex]\left(\dfrac{d}{dx}\right)^n \frac{x^n}{n!}=1[/tex]
Whovian
Whovian is offline
#6
Jan13-13, 10:04 PM
P: 642
Quote Quote by matematikuvol View Post
Why in Taylor series we have some factoriel ##!## factor.
[tex]f(x)=f(0)+xf'(0)+\frac{x^2}{2!}f''(0)+...[/tex]
Not necessarily true, there are plenty of functions for which the taylor series doesn't equal the function. Even nice, non-piecewise ones like [itex]e^{-\frac1{x^2}}[/itex] (a famous one, the taylor series around x=0 is just 0.)

Anyways, here's the way I've always thought about it. Start differentiating it multiple times at x=0. You'll notice that both f and its taylor series have the same nth derivative at 0. Same derivatives "implies" (for most really simple, well-behaved functions) the same function.

Again, that was sort of ... not right, but it should give you some idea of why that factor exists.
lurflurf
lurflurf is offline
#7
Jan14-13, 12:38 AM
HW Helper
P: 2,166
^sometimes it is better to use a symbol other than =
[tex]\mathrm{f}(x) \sim \sum^\infty_{k=0} \frac{x^k}{k!} \dfrac{d^k \mathrm{f}}{dx^k}[/tex]

to emphasize the point that an equivalence can be defined by the relation has the same Taylor series as.
HallsofIvy
HallsofIvy is offline
#8
Jan14-13, 06:53 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,898
lurflurf's point is a good one. Even if a functions is infinitely differentiable, so that we can form its Taylor series, and even if that series converges for all x, the functions is not necessarily equal to it, except, of course, at the "initial point". The classic example is [itex]f(x)= e^{-1/x^2}[/itex] if x is not 0, f(0)= 0. It can be shown that this function is infinitely differentiable for all x, particularly at x= 0, and that all derivatives have the value "0" at x= 0. That is, its Taylor series about x= 0 (MacLaurin series) is identically equal to 0 for all x. But clearly f(x) is not identically 0. In fact it is 0 only at x= 0 so that is the only point the function is equal to its Taylor series.


Register to reply

Related Discussions
Shortcut to taylor series of f, given taylor series of g Calculus 2
Inverse Laplace Transfrom - Taylor Series/Asymptotic Series?! Calculus & Beyond Homework 2
check my solution to a power series/taylor series problem Calculus & Beyond Homework 2
Taylor Series using Geometric Series and Power Series Calculus & Beyond Homework 5
[URGENT] Taylor Series without using the built-in MATLAB "Taylor's Function" Math & Science Software 1