Does This Sequence Converge to the Fixed Point?

Click For Summary
SUMMARY

The discussion centers on the convergence of a sequence generated by the fixed point iteration scheme, specifically proving that the sequence (x_n) converges to a fixed point α when the derivative g'(α) is less than 1. The proof utilizes the first two terms of the Taylor series expansion of g(x) around α, leading to the conclusion that |x_n - α| = |x_0 - α||g'(\alpha)|^n for all n ≥ 1. The participants clarify misconceptions regarding the approximation and emphasize the importance of including higher-order terms in the Taylor expansion for accuracy.

PREREQUISITES
  • Understanding of fixed point iteration methods
  • Familiarity with Taylor series expansions
  • Knowledge of convergence criteria for sequences
  • Basic calculus, including derivatives and limits
NEXT STEPS
  • Study the implications of the Banach fixed-point theorem
  • Explore higher-order Taylor series expansions and their applications
  • Learn about convergence tests for sequences and series
  • Investigate the behavior of nonlinear functions in fixed point iterations
USEFUL FOR

Mathematicians, students studying numerical methods, and anyone interested in understanding fixed point theory and convergence in iterative processes.

GregA
Messages
210
Reaction score
0
[SOLVED] Proof of convergence

Homework Statement


Let \alpha[/tex] be a fixed point of x = g(x) and let (x_n) be the sequence generated by the fixed point iteration scheme. Using the first two terms of the Taylor series for<br /> g(x) about \alpha[/tex] we can get an approximation for g(x_n):&lt;br /&gt; g(x_n) = g(\alpha) + (x_n - \alpha)g&amp;amp;#039;(\alpha)[/tex]&amp;lt;br /&amp;gt; (Assuming the terms in the sequence are close to α we have neglected non-&amp;lt;br /&amp;gt; linear terms.)&amp;lt;br /&amp;gt; &amp;lt;br /&amp;gt; Show that |x_n - \alpha| = |x_0 - \alpha||g&amp;amp;amp;#039;(\alpha)|^{n}[/tex] for all n \geq 1 hence show that the sequence (x_n) converges to \alpha[/tex] for g&amp;amp;amp;amp;amp;#039;(x)&amp;amp;amp;amp;amp;lt; 1&amp;amp;amp;lt;br /&amp;amp;amp;gt; &amp;amp;amp;lt;h2&amp;amp;amp;gt;Homework Equations&amp;amp;amp;lt;/h2&amp;amp;amp;gt;&amp;amp;amp;lt;br /&amp;amp;amp;gt; &amp;amp;amp;lt;h2&amp;amp;amp;gt;The Attempt at a Solution&amp;amp;amp;lt;/h2&amp;amp;amp;gt;&amp;amp;amp;lt;br /&amp;amp;amp;gt; I&amp;amp;amp;amp;#039;m not so worried about the proving second part (looks obvious if the first part is true) but before trying to prove the first I want to try a couple of examples and see what&amp;amp;amp;amp;#039;s happening if I can.&amp;amp;amp;lt;br /&amp;amp;amp;gt; If I suppose that my function g(x) = \sqrt{x+1} then the value of a fixed point \alpha = \frac{1+\sqrt{5}}{2}[/tex]&amp;amp;amp;amp;lt;br /&amp;amp;amp;amp;gt; Now if I let x_0 = 2 and set n = 1 then x_1 = \sqrt{2+1} and I am under the impression that I can now show:&amp;amp;amp;amp;lt;br /&amp;amp;amp;amp;gt; |\sqrt{3} - \alpha| = |2 -\alpha||\frac{1}{2}(\frac{1}{\sqrt{\alpha+1}})|[/tex]&amp;amp;amp;amp;amp;lt;br /&amp;amp;amp;amp;amp;gt; \Rightarrow |\sqrt{3} - \frac{1+\sqrt{5}}{2}| = |2 - \frac{1+\sqrt{5}}{2}||\frac{1}{2}(\frac{1}{\sqrt{\frac{1+\sqrt{5}}{2}+1}})|&amp;amp;amp;amp;amp;lt;br /&amp;amp;amp;amp;amp;gt; But this is false!...How am I misinterpreting the given statement or what have I done wrong?&amp;amp;amp;amp;amp;lt;br /&amp;amp;amp;amp;amp;gt; Please don&amp;amp;amp;amp;amp;amp;#039;t prove the problem for me.
 
Last edited:
Physics news on Phys.org
You are right, it is not true- it is only approximately true. After all, you neglected powers higher than the first in the Taylor expansion.

Proving |x_n- \alpha|=|x_0- \alpha||g&#039;(\alpha)^n, to first order, by induction, is pretty easy if you replace g(x_n) and g(\alpha) in g(x_n) = g(\alpha) + (x_n - \alpha)g&#039;(\alpha) by x_{n+1} and \alpha.
 
Last edited by a moderator:
Cheers for that HallsofIvy, it was the presence of an equals sign, not approximately equals that was throwing me; I couldn't see why it should have been true :redface:
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K