Exercise 9 (b).  Show that if  [Graphics:Images/JuliaMandelbrotModHome_gr_895.gif]  then  [Graphics:Images/JuliaMandelbrotModHome_gr_896.gif]  is not in the Mandelbrot set.  

Solution 9 (b).

        Applying inequality (1-24) in Section 1.3 we have

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_897.gif][Graphics:../Images/JuliaMandelbrotModHome_gr_898.gif]  
                    
                    [Graphics:../Images/JuliaMandelbrotModHome_gr_899.gif][Graphics:../Images/JuliaMandelbrotModHome_gr_900.gif]
                    
                    [Graphics:../Images/JuliaMandelbrotModHome_gr_901.gif]
                    
                    [Graphics:../Images/JuliaMandelbrotModHome_gr_902.gif]

Now start with  [Graphics:../Images/JuliaMandelbrotModHome_gr_903.gif]  and compute

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_904.gif],   and    

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_905.gif],

and since [Graphics:../Images/JuliaMandelbrotModHome_gr_906.gif]  we have

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

Also,  

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_908.gif],   and

                     [Graphics:../Images/JuliaMandelbrotModHome_gr_909.gif],  

                     [Graphics:../Images/JuliaMandelbrotModHome_gr_910.gif],  

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

Next, compute  [Graphics:../Images/JuliaMandelbrotModHome_gr_912.gif]  

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_913.gif],

and

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

Thus,

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


Suppose for some  [Graphics:../Images/JuliaMandelbrotModHome_gr_916.gif]  we have

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_917.gif],    and  

                     [Graphics:../Images/JuliaMandelbrotModHome_gr_918.gif]    for    [Graphics:../Images/JuliaMandelbrotModHome_gr_919.gif].

Then  

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

Therefore,  for all integers  [Graphics:../Images/JuliaMandelbrotModHome_gr_921.gif]  we have

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_922.gif],    and  

                     [Graphics:../Images/JuliaMandelbrotModHome_gr_923.gif]    for    [Graphics:../Images/JuliaMandelbrotModHome_gr_924.gif].

And since  

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_925.gif],  

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_926.gif],  

                    [Graphics:../Images/JuliaMandelbrotModHome_gr_927.gif],  

it will also follow that  

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

Thus,    

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

Hence, the orbit of  0  under  [Graphics:../Images/JuliaMandelbrotModHome_gr_930.gif]  is not bounded and therefor  [Graphics:../Images/JuliaMandelbrotModHome_gr_931.gif]  is not in the Mandelbrot set.     

We are done.   

Aside.  We can use Mathematica to explore this situation.

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


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

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



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


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

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


 



























This solution is complements of the authors.

 

 


























 


























 

(c) 2008 John H. Mathews, Russell W. Howell