Example 1.  Use fixed point iteration to find the fixed point(s) for the function   [Graphics:Images/FixedPointMod_gr_82.gif].

Solution 1.

Plot the function and determine graphically that there are two solutions to the equation  [Graphics:../Images/FixedPointMod_gr_83.gif].

[Graphics:../Images/FixedPointMod_gr_84.gif]

[Graphics:../Images/FixedPointMod_gr_85.gif]

[Graphics:../Images/FixedPointMod_gr_86.gif]

Will iteration prove successful as a computational tool to numerically find these two fixed points.

[Graphics:../Images/FixedPointMod_gr_87.gif]

[Graphics:../Images/FixedPointMod_gr_88.gif]

[Graphics:../Images/FixedPointMod_gr_89.gif]

Use fixed point iteration to find a numerical approximation.
First, do the iteration one step at a time.  Type each of the following commands in a separate cell and execute them one at a time.

[Graphics:../Images/FixedPointMod_gr_90.gif]
[Graphics:../Images/FixedPointMod_gr_91.gif]

[Graphics:../Images/FixedPointMod_gr_92.gif]
[Graphics:../Images/FixedPointMod_gr_93.gif]

[Graphics:../Images/FixedPointMod_gr_94.gif]
[Graphics:../Images/FixedPointMod_gr_95.gif]

[Graphics:../Images/FixedPointMod_gr_96.gif]
[Graphics:../Images/FixedPointMod_gr_97.gif]

[Graphics:../Images/FixedPointMod_gr_98.gif]
[Graphics:../Images/FixedPointMod_gr_99.gif]

[Graphics:../Images/FixedPointMod_gr_100.gif]
[Graphics:../Images/FixedPointMod_gr_101.gif]

Now use the FixedPointIteration subroutine to perform the computations.

[Graphics:../Images/FixedPointMod_gr_102.gif]

[Graphics:../Images/FixedPointMod_gr_103.gif]
[Graphics:../Images/FixedPointMod_gr_104.gif]
[Graphics:../Images/FixedPointMod_gr_105.gif]
[Graphics:../Images/FixedPointMod_gr_106.gif]
[Graphics:../Images/FixedPointMod_gr_107.gif]
[Graphics:../Images/FixedPointMod_gr_108.gif]
[Graphics:../Images/FixedPointMod_gr_109.gif]
[Graphics:../Images/FixedPointMod_gr_110.gif]
[Graphics:../Images/FixedPointMod_gr_111.gif]
[Graphics:../Images/FixedPointMod_gr_112.gif]
[Graphics:../Images/FixedPointMod_gr_113.gif]
[Graphics:../Images/FixedPointMod_gr_114.gif]

Are 7 iterations enough to locate the fixed point?

How many decimal places agreement do you see to the equation  [Graphics:../Images/FixedPointMod_gr_115.gif] ?

If it is not sufficient for your purposes you must request more iterations!

[Graphics:../Images/FixedPointMod_gr_116.gif]

[Graphics:../Images/FixedPointMod_gr_117.gif]
[Graphics:../Images/FixedPointMod_gr_118.gif]
[Graphics:../Images/FixedPointMod_gr_119.gif]
[Graphics:../Images/FixedPointMod_gr_120.gif]
[Graphics:../Images/FixedPointMod_gr_121.gif]
[Graphics:../Images/FixedPointMod_gr_122.gif]
[Graphics:../Images/FixedPointMod_gr_123.gif]
[Graphics:../Images/FixedPointMod_gr_124.gif]
[Graphics:../Images/FixedPointMod_gr_125.gif]
[Graphics:../Images/FixedPointMod_gr_126.gif]
[Graphics:../Images/FixedPointMod_gr_127.gif]
[Graphics:../Images/FixedPointMod_gr_128.gif]
[Graphics:../Images/FixedPointMod_gr_129.gif]
[Graphics:../Images/FixedPointMod_gr_130.gif]
[Graphics:../Images/FixedPointMod_gr_131.gif]
[Graphics:../Images/FixedPointMod_gr_132.gif]
[Graphics:../Images/FixedPointMod_gr_133.gif]
[Graphics:../Images/FixedPointMod_gr_134.gif]
[Graphics:../Images/FixedPointMod_gr_135.gif]
[Graphics:../Images/FixedPointMod_gr_136.gif]
[Graphics:../Images/FixedPointMod_gr_137.gif]
[Graphics:../Images/FixedPointMod_gr_138.gif]
[Graphics:../Images/FixedPointMod_gr_139.gif]
[Graphics:../Images/FixedPointMod_gr_140.gif]
[Graphics:../Images/FixedPointMod_gr_141.gif]

Comparison 1. Compare with Mathematica's built in "FindRoot" subroutine for numerically finding solutions.

[Graphics:../Images/FixedPointMod_gr_142.gif]

[Graphics:../Images/FixedPointMod_gr_143.gif]
[Graphics:../Images/FixedPointMod_gr_144.gif]
[Graphics:../Images/FixedPointMod_gr_145.gif]
[Graphics:../Images/FixedPointMod_gr_146.gif]
[Graphics:../Images/FixedPointMod_gr_147.gif]
[Graphics:../Images/FixedPointMod_gr_148.gif]
[Graphics:../Images/FixedPointMod_gr_149.gif]
[Graphics:../Images/FixedPointMod_gr_150.gif]

Did Mathematica get all of the digits?  Why?
There are options to every built in Mathematica subroutine. For FindRoot it is:
Options[FindRoot]
{AccuracyGoal->Automatic,Compiled->True,DampingFactor->1, Jacobian->Automatic,MaxIterations->15,WorkingPrecision->16}
It is the purpose of numerical analysis to study the last two items "MaxIterations,"  "WorkingPrecision."

 

Comparison 2. Compare with Mathematica's built in "Solve" subroutine for symbolically finding solutions.

[Graphics:../Images/FixedPointMod_gr_151.gif]

[Graphics:../Images/FixedPointMod_gr_152.gif]
[Graphics:../Images/FixedPointMod_gr_153.gif]
[Graphics:../Images/FixedPointMod_gr_154.gif]
[Graphics:../Images/FixedPointMod_gr_155.gif]
[Graphics:../Images/FixedPointMod_gr_156.gif]
[Graphics:../Images/FixedPointMod_gr_157.gif]
[Graphics:../Images/FixedPointMod_gr_158.gif]
[Graphics:../Images/FixedPointMod_gr_159.gif]

Mathematica's answers are "mathematically perfect."

Now investigate fixed point iteration near the other fixed point,  [Graphics:../Images/FixedPointMod_gr_160.gif].

[Graphics:../Images/FixedPointMod_gr_161.gif]

[Graphics:../Images/FixedPointMod_gr_162.gif]

[Graphics:../Images/FixedPointMod_gr_163.gif]

Now use the FixedPointIteration subroutine to perform the computations.

[Graphics:../Images/FixedPointMod_gr_164.gif]

[Graphics:../Images/FixedPointMod_gr_165.gif]
[Graphics:../Images/FixedPointMod_gr_166.gif]
[Graphics:../Images/FixedPointMod_gr_167.gif]
[Graphics:../Images/FixedPointMod_gr_168.gif]
[Graphics:../Images/FixedPointMod_gr_169.gif]
[Graphics:../Images/FixedPointMod_gr_170.gif]
[Graphics:../Images/FixedPointMod_gr_171.gif]
[Graphics:../Images/FixedPointMod_gr_172.gif]
[Graphics:../Images/FixedPointMod_gr_173.gif]
[Graphics:../Images/FixedPointMod_gr_174.gif]

Remark. You need to look carefully at the above output and determine what it means !  Did it converge ?

The distinguishing property for determining convergence is the size of  [Graphics:../Images/FixedPointMod_gr_175.gif].

If  [Graphics:../Images/FixedPointMod_gr_176.gif]  is near the fixed point  p  and    [Graphics:../Images/FixedPointMod_gr_177.gif]  then the iteration will converge to  p.

If  [Graphics:../Images/FixedPointMod_gr_178.gif]  is near the fixed point  p  and    [Graphics:../Images/FixedPointMod_gr_179.gif]  then the iteration will not converge to  p.

[Graphics:../Images/FixedPointMod_gr_180.gif]

[Graphics:../Images/FixedPointMod_gr_181.gif]

[Graphics:../Images/FixedPointMod_gr_182.gif]
[Graphics:../Images/FixedPointMod_gr_183.gif]
[Graphics:../Images/FixedPointMod_gr_184.gif]
[Graphics:../Images/FixedPointMod_gr_185.gif]
[Graphics:../Images/FixedPointMod_gr_186.gif]
[Graphics:../Images/FixedPointMod_gr_187.gif]
[Graphics:../Images/FixedPointMod_gr_188.gif]
[Graphics:../Images/FixedPointMod_gr_189.gif]
[Graphics:../Images/FixedPointMod_gr_190.gif]

The distinguishing property for determining convergence is the size of  [Graphics:../Images/FixedPointMod_gr_191.gif].

If  [Graphics:../Images/FixedPointMod_gr_192.gif]  is near the fixed point  [Graphics:../Images/FixedPointMod_gr_193.gif]  and  [Graphics:../Images/FixedPointMod_gr_194.gif]  in the neighborhood, then the iteration will converge to  [Graphics:../Images/FixedPointMod_gr_195.gif].

If  [Graphics:../Images/FixedPointMod_gr_196.gif]  is near the fixed point  [Graphics:../Images/FixedPointMod_gr_197.gif]  and  [Graphics:../Images/FixedPointMod_gr_198.gif]  in the neighborhood, then the iteration will not converge to  [Graphics:../Images/FixedPointMod_gr_199.gif].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004