Which real points are in the boundary of the Mandelbrot set?

899 Views Asked by At

Recall: the Mandelbrot set $M$ is defined to be the set of points $c\in \mathbb{C}$ such that the sequence of complex numbers $\{c, c^2+c, (c^2+c)^2 + c, \ldots \}$ is bounded in magnitude. (Recursively, the sequence is defined by $z_1 = c$ and $z_{k+1} = z_k^2 + c$.)

The Wikipedia page on the Mandelbrot set states that the intersection of $M$ with the real axis is precisely the closed interval $[-2,1/4]$.

What if we instead intersect the boundary $\partial M$ of the Mandelbrot set with the real axis? The figure here seems to suggest this intersection may be a discrete set of points, and that this is related to the logistic map. However I did not find the answer to this on either Wikipedia page, after browsing briefly. To summarize, I am wondering:

  • Can we say exactly what real points are in the boundary $\partial M$?

  • Is the intersection $\mathbb{R}\cap \partial M$ a discrete set of points?

  • If it is not discrete, is it dense in any open interval of $\mathbb{R}$?

1

There are 1 best solutions below

2
On

The only points in the interior of the Mandelbrot set are those inside the main cardioid, or inside a bulb off the main cardioid, or inside a baby mandelbrot. This assumes the hyperbolicity conjecture that there are no queer/ghost interior components; which is unproven, but it is proven on the real axis. All the other points are on the boundary of the Mset. You can't have a "dense" set of points that are both on the boundary and on the real axis; all such points are discreet points, with a hyperbolic region (baby Mandelbrot) arbitrarily close by. This question is related and gives a lot more detail. M-set interior point probability on the real axis

The hyperbolicity conjecture is implied by the MLC (Mandelbrot locally connected conjecture). https://mathoverflow.net/questions/95701/the-deep-significance-of-the-question-of-the-mandelbrot-sets-local-connectednes The "Density of hyperbolicity is known if one restricts to real c". I think it was first proven at the real axis by Lyubich.