# Intro

Boundary of Mandelbrot set consist of :
* boundaries of primitive and satellite hyperbolic components of Mandelbrot set including points :
** Parabolic (including 1/4 and primitive roots which are landing points for 2 parameter rays with rational external angles = biaccesible ).
** Siegel ( a unique parameter ray landing with irrational external angle)
** Cremer ( a unique parameter ray landing with irrational external angle)
* Boundary of M without boundaries of hyperbolic components with points
** non-renormalizable (Misiurewicz with rational external angle and other).
** finitely renormalizable (Misiurewicz and other).
** infinitely renormalizble (Feigenbaum and other). Angle in turns of external rays landing on the Feigenbaum point are irrational numbers
* boundaries of non hyperbolic components ( we believe they do not exist but we cannot prove it ) Boundaries of non-hyperbolic components would be infinitely renormalizable as well.

# compute
## compute t from c

Function describing relation between parameter c and internal angle t :
$c=c(t)={\frac {\lambda }{2}}\left(1-{\frac {\lambda }{2}}\right)={\frac {e^{\Pi *t*i}}{2}}-{\frac {e^{2*\Pi *t*i}}{4}}$
It is used for computing c point of boundary of main cardioid
To compute t from c one can use Maxima CAS:
So :

# Drawing boundaries

Methods used to draw boundary of Mandelbrot set :
* whole boundary
** Distance Estimation Method for Mandelbrots set = DEM/M ( exterior, interior or both)
** Boundary scanning method (BSM) : detecting the edges after Boolean escape time
** boundary tracing method
** contour integration by Robert Davies
** Jungreis function $\Psi _{M}\,$
** implicit polynomial curves that converge to the boundary of the Mandelbrot set ( lemniscates)
* drawing boundaries of components of Mandelbrot set
** Newton method

## How to draw whole M set boundary
### Jungreis function

Description :
* Drawing Mc by Jungreis Algorithm
* Maxima CAS src code
* On Benford's Law and the Coefficients of the Riemann Mapping Function for the Exterior of the Mandelbrot Set 8 Jun 2022 · Filippo Beretta, Jesse Dimino, Weike Fang, Thomas C. Martinez, Steven J. Miller, Daniel Stoll and code
Python code

## How to draw boundaries of hyperbolic components

Methods of drawing boundaries:
* solving boundary equations :
** using method by Brown,Stephenson,Jung . It works only up to period 7-8
** using resultants
* parametrisation of boundary with Newton method near centers of components. This methods needs centers, so it has some limitations,
* Boundary scanning : detecting the edges after detecting period by checking every pixel. This method is slow but allows zooming. Draws "all" components
* Boundary tracing for given c value. Draws single component.
* Fake Mandelbrot set by Anne M. Burns : draws main cardioid and all its descendants. Do not draw mini Mandelbrot sets.
"... to draw the boundaries of hyperbolic components using Newton's method. That is, take a point in the hyperbolic component that you are interested in (where there is an attracting cycle), and then find a curve along which the modulus of the multiplier tends to one. Then you will have found an indifferent parameter. Now you can similarly change the argument of the multiplier, again using Newton's method, and trace this curve. Some care is required near "cusps". " Lasse Rempe-Gillen

### solving boundary equations
#### System of 2 equations defining boundaries of period n hyperbolic components

* first defines periodic point,
* second defines indifferent orbit ( multiplier of periodic point is equal to one ).
${\begin{cases}F(n,z,c)=z\\abs(\lambda (z))=1\end{cases}}$
Because stability index $abs(\lambda )\,$ is equal to radius of point of unit circle $abs(w)\,$:
$abs(\lambda )=abs(w)\,$
so one can change second equation to form :
$\lambda =w\,$
It gives system of equations :
${\begin{cases}F(n,z,c)=z\\\lambda =w\end{cases}}$
It can be used for :
* drawing components ( boundaries, internal rays )
* finding indifferent parameters ( parabolic or for Siegel discs )
Above system of 2 equations has 3 variables : $z,c,w\,$ ( $n\,$ is constant and multiplier $\lambda \,$ is a function of $z,c\,$). One have to remove 1 variable to be able to solve it.
Boundaries are closed curves : cardioids or circles. One can parametrize points of boundaries with angle $t\,$ ( here measured in turns from 0 to 1 ).
After evaluation of $w=l(t)\,$ one can put it into above system, and get a system of 2 equations with 2 variables $z,c\,$.
Now it can be solved
For periods:
* 1-3 it can be solved with symbolical methods and give implicit ( boundary equation) $b_{p}(w,c)=0\,$ and explicit function (inverse multiplier map) : $c=\gamma _{p}(w)\,$
** 1-2 it is easy to solve
** 3 it can be solve using "elementary algebra" ( Stephenson )
* >3 it can't be reduced to explicitly function but
** can be reduced to implicit solution ( boundary equation) $b_{p}(w,c)=0\,$ and solved numerically
** can be solved numerically using Newton method for solving system of nonlinear equations
Examples
* . An introduction to the Mandelbrot set II May 21, 2021, by Juan Rivera-Letelier Slides, Sage notebook,

##### Solving system of equation for period 1

Here is Maxima code :
where
and
Second equation contains only one variable, one can eliminate this variable. Because boundary equation is simple so it is easy to get explicit solution
So
Math equation:

##### Solving system of equation for period 2

Here is Maxima code using to_poly_solve package by Barton Willis:
explicit solution :

##### Solving system of equation for period 3

For period 3 ( and higher) previous method give no results (Maxima code) :
I use code by Robert P. Munafo which is based on paper of Wolf Jung.
One can approximate period 3 components with equations :

#### Boundary equation

The result of solving above system with respect to $c\,$ is boundary equation,
    $b_{p}(w,c)=0\,$
where $b_{p}(w,c)\,$ is boundary polynomial.
It defines exact coordinates of hyperbolic componenets for given period $p\,$.
It is implicit equation.
Period 1
One can easly compute boundary point c
$c=c_{x}+c_{y}*i$
of period 1 hyperbolic component ( main cardioid) for given internal angle ( rotation number) t using this code by Wolf Jung
Period 2

#### Solving boundary equations

Solving boundary equations for various angles gives list of boundary points.
You can use Newton's method in 2 complex variables to find points in a particular component with a given multiplier value:
* m_d_interior from mandelbrot-numerics library
Use it something like:

# size
## size of the component

* estimated size of componnet
** on_the_precision_required_for_size_estimates by Claude Heiland-Allen
** deriving_the_size_estimate by Claude Heiland-Allen
** the N-2 rule
** The approximation ( above ) was proved by Guckenheimer and McGehee : Guckenheimer, J., and McGehee, R., "a proof of the mandelbrot n2 conjecture," institut mittag-leffler, report 15, 1984.
** Bifurcation points and the "n-squared" approximation
* atom domain size

# distinguish cardioids from pseudocircles

method of distinguish cardioids from pseudocircles is described in : Universal Mandelbrot Set by A. Dolotin. The relevant part is section 5, in particular equation 5.8. In the paper $\gamma$ is defined implicitly in equation 5.1,
$\gamma ={\frac {\partial }{\partial z}}f(z,c)$
Equation 5.8 then becomes:
$\epsilon =-{\frac {1}{{\frac {\partial }{\partial c}}F{\frac {\partial }{\partial z}}F}}\left({\frac {{\frac {\partial }{\partial c}}{\frac {\partial }{\partial c}}F}{2{\frac {\partial }{\partial c}}F}}+{\frac {{\frac {\partial }{\partial c}}{\frac {\partial }{\partial z}}F}{{\frac {\partial }{\partial z}}F}}\right)$
When epsilon is:
* near 0 then you have a cardioid
* near 1 then you have a circle
Code:
* c by Claude

# distorsion and eccentricity

* In general, the eccentricity grows with increasing period, but not linearly, not even monotone. It looks from the first 40 periods as if they approach perhaps already a limit value (image 2).
* fractalforums.com : how-distorted-can-a-minibrot-be ?

# degree n

* The boundary of the central hyperbolic component of Md is an epicycloid with d − 1 cusps
* boundary of period 2 component
* Locating and counting bifurcation points of satellite components from the main component in the degree- n bifurcation set
* Accurate Computation of Periodic Regions’ Centers in the General M-Set

# References

* ↑ stackexchange : classification-of-points-in-the-mandelbrot-set
* ↑ mathoverflow : Parametrization of the boundary of the Mandelbrot set
* ↑ Boundary Scanning by Robert P. Munafo, 1993 Feb 3.
* ↑ The Almond Bread Homepage
* ↑ Efficient Boundary Tracking Through Sampling by Alex Chen , Todd Wittman , Alexander Tartakovsky , and Andrea Bertozzi
* ↑ http://www.robertnz.net/cx.htm contour integration by Robert Davies
* ↑ Jungreis function in wikipedia
* ↑ Drawing Mc by Jungreis Algorithm
* ↑ The Mandelbrot set approximated by the 4096 first Fourier coefficients of its boundary on twitter by gro_tsen :
* ↑ Image and Maxima CAS src code
* ↑ Mandelbrot set Components : image with descriptions and references
* ↑ Young Hee Geum, Kevin G. Hare : Groebner Basis, Resultants and the generalized Mandelbrot Set - methods for period 2 and higher, using factorization for finding irreducible polynomials
* ↑ Image : parametrisation of boundary with Newton method near centers of componentswith src code
* ↑ Mark McClure "Bifurcation sets and critical curves" - Mathematica in Education and Research, Volume 11, issue 1 (2006).
* ↑ Burns A M : Plotting the Escape: An Animation of Parabolic Bifurcations in the Mandelbrot Set. Mathematics Magazine, Vol. 75, No. 2 (Apr., 2002), pp. 104-116
* ↑ mathoverflow : what-are-good-methods-for-detecting-parabolic-components-and-siegel-disk-componen by Lasse Rempe-Gillen
* ↑ Newsgroups: gmane.comp.mathematics.maxima.general Subject: system of equations Date: 2008-08-11 21:44:39 GMT
* ↑ Thayer Watkins : The Structure of the Mandelbrot Set
* ↑ Brown Method by Robert P. Munafo
* ↑ A Parameterization of the Period 3 Hyperbolic Components of the Mandelbrot Set by Dante Giarrusso, Yuval Fisher
* ↑ Mandel: software for real and complex dynamics by Wolf Jung
* ↑ The Mandelbrot Set and Julia Sets Combinatorics in the Mandelbrot Set - The 1/n2 rule, and deviations from it
* ↑ fractalforums.org : period-doubling-in-minibrots
* ↑ Epicycloids and Blaschke products
* ↑ Geum, Young Hee & Kim, Young. (2004). An epicycloidal boundary of the main component in the degree- n bifurcation set. Journal of Applied Mathematics and Computing. 16. 221-229. 10.1007/BF02936163.
* ↑ A PARAMETRIC BOUNDARY OF A PERIOD-2 COMPONENT IN THE DEGREE-3 BIFURCATION SET by Young Ik Kim, JOURNAL OF THE CHUNGCHEONG MATHEMATICAL SOCIETY Volume 16, No.1, June 2003
* ↑ Geum, Young Hee & Kim, Young. (2006). Locating and counting bifurcation points of satellite components from the main component in the degree- n bifurcation set. Journal of Applied Mathematics and Computing. 22. 339-350. 10.1007/BF02896483.
* matheplanet article
* fractalforums : how-would-you-define-a-path-along-mandelbrot-border