$\dim_H J(f_c) \ge 1$ for $c \in M$ by connectedness and uncountability of $J(f_c)$. For which points is there equality? $c=0$ and $c=-2$ for sure, but is this an exhaustive list?

Notation: $\dim_H$ is Hausdorff dimension, $J$ is Julia set, $f_c(z) = z^2 + c$, $M = \{ c : J(f_c) \text{ is connected}\} \subset \mathbb{C}$ is the Mandelbrot set.

  • $\begingroup$ Presumably $M$ is the Mandelbrot set, and $J(f_c)$ is the Julia set with parameter $c$? $\endgroup$ – Xander Henderson Mar 5 '18 at 3:11
  • $\begingroup$ @XanderHenderson yes - I added some notes on notation to the question $\endgroup$ – Claude Mar 5 '18 at 9:10
  • $\begingroup$ By the observations in section 11.1 of Beardon's Iteration of Rational Functions, for any polynomial, the only smooth Julia sets are circles arising from $f(z)=a z^n$ and line segments arising from the Chebyshev polynomials. Since the Mandelbrot set parametrizes all the quadratics uniquely up to conjugacy, it follows that $c=-2$ and $c=0$ are the only values of $c$ such that $J(f_c)$ is a smooth manifold. Now that's not quite what your asking, since a non-smooth manifold can have dimension 1, but perhaps it's a step. $\endgroup$ – Mark McClure Mar 6 '18 at 10:54
  • $\begingroup$ @MarkMcClure in fact this question was inspired by fractalforums.org/fractal-mathematics-and-new-theories/28/… which talks about non-smooth shapes with dimension 1 $\endgroup$ – Claude Mar 7 '18 at 19:08
  • $\begingroup$ section 6.5 in Potential theory in the complex plane of Thomas Ransford can be usedfull with the upperbound of $dim(J_f)$. But for your question about another point of lower bound you can take a look at this preprint arxiv.org/pdf/1712.03102.pdf $\endgroup$ – Curiosity May 25 '18 at 8:16

It follows from a theorem due to Zdunik: https://link.springer.com/content/pdf/10.1007/BF01234434.pdf

(theorem 2).

This theorem states that if $f$ is a rational map, and $m$ is its measure of maximal entropy, then the dimension of the Julia set is strictly larger than the dimension of $m$ unless $f$ has a parabolic orbifold.

For a polynomial with connected Julia set (in particular for a quadratic polynomial in the Mandebrot set), it is known that the dimension of $m$ is 1 (this is due to Makarov).

It is too complicated to explain here what it means for $f$ to have a parabolic orbifold, but suffice it to say that the only quadratic polynomials with that property are (up to affine conjugacy) $z^2$ and $z^2-2$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.