Quadratic Julia sets and periodic cycles

Solution 1:

There is an awful lot of interesting stuff in this question, but I'll do my best to keep this answer organized.

(1) Since you are working over the complex numbers, which are algebraically closed, the polynomial equation $f^{\circ n}_c(z) = z$ always has $2^n$ solutions when counted with multiplicity, even if you can't explicitly solve for them.

(2) It is unfortunately not the case that $f_c$ has periodic cycles of every possible (exact) period. For example, you can check that $f(z) = z^2 - \frac{3}{4}$ has no period $2$ points which are not fixed points. However, this behavior has been studied, and we know exactly when a rational map can be missing points of a given period:

Suppose that $f\in \mathbb{C}(z)$ is a rational map of degree $d\geq 2$, and suppose that $f$ has no cycle of exact period $n$. Then the tuple $(n,d)$ is either $(2,2)$, $(2,3)$, $(3,2)$, or $(4,2)$. Moreover, if $f$ is a polynomial, only $(2,2)$ can occur.

This is a thorem of I.N. Baker proved in the paper "Fixpoints of polynomials and rational fucntions." (1964) In particular, for the maps $f_c$ you are considering, you definitely have points of exact period $n$ for all $n\geq 3$. For an excellent discussion of such topics, I recommend section 4.1 of Joe Silverman's book "The Arithmetic of Dynamical Systems."

(3) If I understand correctly, you are assuming that the $c$ you've chosen is such that $f_c$ has a finite attracting cycle. The Fatou-Shishikura theorem says that there are at most $2$ non-repelling cycles. You've identified these as $\infty$ and the finite attracting cycle. It follows that all other cycles are repelling, and hence live in the Julia set. I hope that answers your actual question. For a simple proof of Fatou-Shishikura in the case of polynomial maps, see Theorem VI.1.2 of Carleson and Gamelin's book "Complex Dynamics."

Solution 2:

For a very simple case, pick $c=0$.

If $|z| > 1$, then the sequence of iterates generated by $z$ diverges to infinity.
If $|z| < 1$, then the sequence generated by $z$ converges to $0$.
The interesting part is what happens along the circle $|z|=1$.

In this circle, you get periodic points of any periods as well as points whose sequence is not periodic, ans sometimes dense is that circle. To see this, remark that $\arg(f(z)) = 2z$, so you may understand $f$ better if you look at what it does to $arg(z)/2\pi$ : it is the multiplication by $2$ map from $\mathbb{R}/\mathbb{Z}$ to itself.

If you write numbers of $\mathbb{R}/\mathbb{Z}$ in their binary expansion, points whose orbit is $k$-periodic are exactly the points with a $k$-periodic binary expansion. For example, the two $3$-periodic orbits correspond to the binary expansions : $(.001001 \ldots \to .010010 \ldots \to .100100 \ldots \to .001001 \ldots)$ and $(.011011 \ldots \to .110110 \ldots \to .101101 \ldots \to .011011 \ldots)$. Indeed, if a binary expansion is $3$-periodic without being $1$-periodic, then it has to be one of those $6$ numbers.

You can do the same for orbits of any length : you can easily find all the points on the circle who generates a periodic sequence for any period you want.
Additionnally to those points, you have all the points who correspond to ultimately periodic binary sequences, they are the points on the circle that will at some point land on one of those $k$-cycles.
All of those points corresponds to rational numbers of $\mathbb{R}/\mathbb{Z}$.

Then there are uncountably many points of the circle, so there are uncountably many points we've missed so far. Some of them will have an orbit that's dense in the circle. Some of them will have strange behaviour, for example if you start from $.01001000100001\ldots$, this one will get arbitrarily close to $0$ only to get farther and farther from it, get close to $.1$ and then jump back even closer to $0$.

So in this simple case, $\mathbb{C}$ is split into two open sets, the basin of attraction of $\infty$, the one for $0$, and between them is a closed subset of $\mathbb{C}$ where all the other cycles are hidden and chaotic behaviour happens.

In general, you will have the same kind of picture : $\mathbb{C}$ is split into one or more (actually I don't know if there is always an attractive cycle in $\mathbb{C}$) open subsets that are basins of attraction, while the frontier between them is where all the other cycles are hidden (but still there).