Proof of Convergence of Iterates to $\alpha$ via Taylor's Expansion

Click For Summary

Homework Help Overview

The discussion revolves around proving the convergence of iterates generated by Newton's method to a root \(\alpha\) of a function \(f\), under the assumption that \(f\), \(f'\), and \(f''\) are continuous on a given interval. The original poster attempts to utilize Taylor's expansion to derive a limit expression that would demonstrate this convergence.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants discuss the use of Taylor's expansion and the implications of the continuity of \(f''\). Questions arise regarding the necessity of \(f''\) for the proof and the conditions under which the initial guess \(x_0\) must be chosen. Some participants express uncertainty about the original poster's goal and the clarity of the question being posed.

Discussion Status

The discussion is ongoing, with various interpretations of the problem being explored. Some participants suggest reconsidering the approach, while others seek clarification on the original poster's intentions. There is no explicit consensus on the best method to prove the convergence, and the conversation remains open-ended.

Contextual Notes

Participants note that the problem's hypothesis includes continuity of \(f''\), which may influence the approach taken. There is uncertainty about how this condition affects the proof and whether it is essential for the convergence argument being made.

math8
Messages
143
Reaction score
0
We assume that f(x), f'(x) and f''(x) are continuous in [a,b], and that for some [tex]\alpha[/tex] [tex]\in[/tex] (a,b) , we have [tex]f( \alpha )= 0[/tex] and [tex]f'( \alpha ) \neq 0[/tex]. We show that if [tex]x_{0}[/tex] is chosen close enough to [tex]\alpha[/tex], the iterates
[tex]x_{n+1} = x_{n}- \frac{f(x_{n})}{f'(x_{n})}[/tex]
converge to [tex]\alpha[/tex].

I tried to use Taylor's expansion for [tex]f( \alpha )[/tex] (centered at [tex]x_{n}[/tex]), and I got to this expression

[tex]lim_{n \rightarrow \infty} (\alpha -x_{n+1})= lim_{n \rightarrow \infty} - \frac{1}{2} f''(c) \frac{( \alpha - x_{n} )^{2}}{f'(x_{n})}[/tex]

where [tex]c \in ( \alpha , x_{n} )[/tex]
and I guess I want the right hand side to be 0 to get to the answer. But I am not sure how to prove this.
 
Last edited:
Physics news on Phys.org
Your LaTeX is broken so it is hard to guess what you wrote. But what I am missing from your post is - what is the question? Are you trying to prove why Newton's method works?

And you don't need f'', f' is enough.
 
I am sorry, I fixed the latex part. (hopefully it's readable now)

By using Taylor's expansion, I got an expression, and by letting n go to infinity, if I could make the RHS become 0, I guess I would have the answer to the problem.
The thing is ,to do that, I am not sure how to use the fact that [tex]x_{0}[/tex] is chosen close enough to [tex]\alpha[/tex].
 
I am still not sure what you trying to do and what for.
 
I am just trying to prove that in this case,

[tex]lim_{n \rightarrow \infty} (\alpha -x_{n+1})=0[/tex]

so then the iterate [tex]x_{n+1}[/tex] converges to [tex]\alpha[/tex].
 
Last edited:
I don't think going through a Taylor expansion is a good idea. Your proof needs f'', but Newton method works even if only f' exists, so your proof will be incomplete.
 
In the hypothesis, we have that f ''(x) is continuous in [a,b], so it exists.
I guess there must be a reason why they wanted that hypothesis in the problem...

What would be another way to approach this problem?
 

Similar threads

Replies
6
Views
3K
Replies
4
Views
2K
Replies
4
Views
2K
Replies
2
Views
2K
Replies
8
Views
1K
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K