Proving Taylor Series: Maclaurin vs. Taylor

Click For Summary

Discussion Overview

The discussion revolves around the proof of Taylor series and its relationship to Maclaurin series. Participants explore different approaches to proving these series, including their definitions and the conditions under which they hold. The conversation includes both theoretical and practical aspects of the topic.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant questions the method of proving Taylor series, suggesting that the approach used for Maclaurin series may not be adequate.
  • Another participant asks for clarification on what exactly is being proven, indicating a need for precision in the discussion.
  • A participant mentions that proving Taylor's theorem is a logical approach and implies that proving Maclaurin series may require an understanding of Taylor series.
  • One participant expresses their goal to show that if a function is differentiable at a point, it can be expressed in terms of its derivatives at that point, referencing the form of the Taylor series.
  • Another participant notes that the Taylor series is not straightforward and describes a specific result involving continuously differentiable functions and the behavior of the error term in the approximation.
  • A participant references Wikipedia's article on Taylor series, suggesting it contains various proofs, including one based on integration by parts.
  • One participant initially claims they did not find proofs on Wikipedia but later acknowledges finding them.
  • Another participant introduces a complex analysis perspective, stating that Taylor series can be derived from Cauchy's Integral formula and discusses the implications of holomorphism.

Areas of Agreement / Disagreement

Participants express differing views on the methods of proving Taylor and Maclaurin series, with some suggesting that understanding one inherently involves the other. The discussion remains unresolved regarding the best approach to proving these series.

Contextual Notes

Some participants highlight the need for a clear understanding of differentiability and the conditions under which Taylor series apply. There is also mention of the complexity involved in the proofs, particularly when considering different mathematical frameworks such as real and complex analysis.

rock.freak667
Homework Helper
Messages
6,221
Reaction score
31
How does one prove taylor series? Is it proven the same way as Maclaurin's Series(Which i know is a special case of taylor series)

[tex]f(x)=A_0+A_1x+A_2x^2+A_3x^3+...[/tex]
[tex]f(\alpha)=A_0+A_1\alpha+A_2(\alpha)^2+A_3(\alpha)^3+...[/tex]

this kinda doesn't seem like a good way to prove it...as that is how I know how to prove maclaurin series
 
Physics news on Phys.org
Can you state precisely what is "it" that you are trying to prove?
 
If I understand your problem, f(g(x))=f(x-a) is just as differentiable as f is. Although, the logical approach taught in analysis courses is to prove Taylor's theorem and then the result about Maclaurin series holds at a=0.

I'm not even sure if you prove the result for Maclaurin series without implicitly proving Taylor series.
 
Last edited:
Well I am trying to show that if a function is differentiable at x=a
then f(x)=f(a)+f'(a)(x-a)+f''(a)(x-a)^2/2!+...
I never learned Taylor series...but I was yet shown Maclaurin's series and how to prove it without know that maclaurin's series is just a special case of Taylor series
 
rock.freak667 said:
Well I am trying to show that if a function is differentiable at x=a
then f(x)=f(a)+f'(a)(x-a)+f''(a)(x-a)^2/2!+...
I never learned Taylor series...but I was yet shown Maclaurin's series and how to prove it without know that maclaurin's series is just a special case of Taylor series

The Taylor series is not so easy as it looks. The general result is the following.

First, a class [tex]C^n[/tex] function on [tex](a,b)[/tex] (with [tex]a<0<b[/tex]) is continously differentiable [tex]n[/tex] times. Then the polynomial [tex]T_n(x) = \sum_{j=0}^{n} \frac{f^{(j)}(0)}{j!}x^j[/tex] has the property that the error, i.e. [tex]R_n(x) = f(x) - T_n(x)[/tex] satisfies [tex]\lim_{x\to 0}\frac{R_n(x)}{x^n} = 0[/tex]. This is a result which becomes of theoretic important.
 
Wikipedia's article on Taylor Series has several different proofs, I'm sure you can read them there. The simplest one by memory was the integration by parts one.
 
I didnt see any proofs when i checked it

EDIT:I see it ...thanks
 
Well Taylor series is a simple consequence of Cauchy's Integral formula. That is if you allow a complex analysis based proof(real ones aren't all that elegant).
For any analytic function f(z), represent with the integral formula for any suitable disc centred at say a and expand the denominator in a geometric series such that the intgration variable isn't caught up in it. separate the integral inside the sum and there's your Taylor coefficient. The fact that this is a higher derivative of the original function is again a simple consequence of the Cauchy Integral Formula(which isn't terribly difficult to prove using Cauchy's theorem once you understand the basic notions of holomorphism)
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K