Dynamics of holomorphic transformations; Mandelbrot and Julia sets.

learn more… | top users | synonyms

31
votes
3answers
1k views

How is the Julia set of $fg$ related to the Julia set of $gf$?

Let $f$ and $g$ be complex rational functions (of degree $\geq 2$ if that helps). What can be said about the relationship between $J(fg)$ and $J(gf)$, the Julia sets of the composite functions $f ...
22
votes
6answers
1k views

If you were to axiomatize the notion of entropy …

What are the axioms that a good notion of entropy must satisfy? Please note that I am not asking for the definitions of various types of entropy such as topological entropy or measure-theoretic ...
20
votes
4answers
650 views

Representing a number close to 1 with a sum of reciprocals of natural numbers

For positive integers $n_1, \ldots, n_k$, let $H(n_1, \ldots, n_k)$ denote $1/n_1 + \ldots + 1/n_k$. Let $V(N)$ be the largest possible value of $H(n_1, \ldots, n_k)$ that is less than 1, subject to ...
19
votes
3answers
2k views

The deep significance of the question of the Mandelbrot set's local connectedness?

I am given to understand that the celebrated open problem (MLC) of the Mandelbrot set's local connectness has broader and deeper significance deeper than some mere curiosity of point-set topology. ...
15
votes
6answers
2k views

Parametrization of the boundary of the Mandelbrot set

Does anyone know how to parametrize the boundary of the Mandelbrot set? I am not a fractal-geometer or a dynamical systems person. I just have some idle curiosity about this question. The ...
14
votes
5answers
834 views

Arithmetic dynamics and dynamics on moduli spaces

The following question is more of a request for pointers to suitable literature on introductory material for arithmetic dynamics and dynamics on moduli spaces. In my dissertation, I have been ...
12
votes
2answers
1k views

Is there some known way to create the Mandelbrot set (the boundary), with an iterated function system?

Is there some known way to create the Mandelbrot set (the boundary), with an iterated function system (IFS)? Julia sets can be formed by iterating the two functions $z \mapsto \pm \sqrt{z-c},$ and ...
11
votes
3answers
337 views

Dynamics in one matrix variable

Are dynamical systems $$X \mapsto F(X)$$ studied where $X \in \mathrm{M}_n$, $\mathrm{M}_n:=\mathrm{Mat}(n,\mathbb{C})$ or $\mathrm{Mat}(n,\mathbb{R})$, and $F$ is a (properly defined ...
10
votes
4answers
453 views

When are those subgroups of $\mathrm{SL}(2, \mathbb{C})$ discrete?

Let $A = \pmatrix{1 & 0 \\ \alpha & 1} $ and $ B = \pmatrix{1 & 1 \\ 0 & 1}$, where $\alpha \in \mathbb{C}$ is a complex parameter. Now consider the family of representations ...
9
votes
4answers
532 views

Rounding errors in images of Julia sets

One typically computes Julia sets by iterating a complex function, such as a polynomial or rational function. How do rounding errors affect the results? I'm looking for references on this issue, ...
9
votes
1answer
195 views

On the conformal removability of Jordan curves

We say that a compact subset $E$ of the Riemann sphere $\mathbb{C}_\infty$ is (conformally) removable if every homeomorphism of $\mathbb{C}_\infty$ conformal outside $E$ is actually conformal ...
8
votes
2answers
503 views

How many times line segments can intersect a Jordan curve?

I posted a question on math.stackexchange.com but it seems this question might be open http://math.stackexchange.com/questions/109752/line-segments-intersecting-jordan-curve Namely, is there a set ...
8
votes
3answers
2k views

Harmonic level sets and boundary data

This is probably a classic problem, so a good reference book or paper to get me started on this type of question would be great: Let $\mathbb{D} \subset \mathbb{C}$ be the unit disk with boundary ...
8
votes
0answers
371 views

What is the “category of bifurcations”?

While reading the introduction to this paper by Curtis McMullen, I came to the following (bold added): In this paper we show that every bifurcation set contains a copy of the boundary of the ...
7
votes
5answers
1k views

When does the sequence of iterates of a rational function converge?

Darsh asks at the 20-questions seminar: Let $f:P^1 \rightarrow P^1$ be rational function. Can you say when the sequence $\{ f^n(x)\}_n=\{ x,f(x),f(f(x)),\cdots\} $ converges? What about the sequence ...
7
votes
2answers
746 views

Is this a Julia set (and if so, for which function family is it the Julia set)?

Consider the function family given by $f_\lambda(z) = z - p_\lambda(z)/p_\lambda'(z)$ where $p_\lambda(z) = (z^2 - 1)(z - \lambda)$. Every attracting cycle and every rational neutral cycle of ...
6
votes
3answers
200 views

Clustering of periodic points for a polynomial iteration of $\mathbb{C}$

Let $f : \mathbb{C} \to \mathbb{C}$ be a polynomial map of degree $q > 1$. Consider $E_n \subset \mathbb{C}$ the set of periodic points with period (dividing) $n$; generally, $|E_n| = q^n$. Since ...
6
votes
7answers
915 views

Are there some original papers or books related to applications of algebraic topology and algebraic geometry in complex dynamic systems

Recently I have much interest in algebraic topology and algebraic geometry, I am a student of field of complex dynamic systems. According to my knowledge, my friends told me that there are many ...
6
votes
3answers
207 views

Is there a effective computational criterion to all periodic points of a rational function are repelling.

I came up with a question to know the fatou component of of some types of rational function. In some sense, I may need to give a computational criterion to existence of attracting periodic basin for a ...
6
votes
4answers
604 views

A follow up question related to entropy

For a self-map $\varphi:X\longrightarrow X$ of a space $X$, many important notions of entropy are defined through a limit of the form $$\lim_{n\rightarrow\infty}\frac{1}{n}\log a_n,$$ where in each ...
6
votes
1answer
4k views

Meaning of \Subset notation

The symbol $\Subset$ (occurring in places where $\subseteq$ could occur syntactically) comes up frequently in a paper I'm reading. The paper lives at the intersection of a few areas of math, and I ...
6
votes
2answers
598 views

Symmetries of the Julia sets for $z^2+c$

The julia set seems to have symmetries roughly corresponding to translation, rotation and scaling. In the following image You can see the horizontal translation, which leaves the extremal left and ...
6
votes
0answers
184 views

Is there an efficient way to visualize the bifurcation locus of this family of functions?

I have been trying to help out with this question from math.stackexchange. It concerns the family of functions: $$f_\alpha(z,w) = \frac{\alpha + z}{1 + w}.$$ and an iteration scheme: $$z_{n+1} = ...
6
votes
0answers
149 views

Measure theoretic entropy

I don't know if this is an elementary question or not. In what follows all maps are continuous Suppose that $P:\mathbb{C}\rightarrow\mathbb{C}$ is a complex polynomial of degree $d>1$ and let ...
5
votes
1answer
248 views

When is a Newton basin fractal continuously determined by the roots of its polynomial?

Newton basin fractals are visualizations of the Julia sets of functions of the form: $$f_p(z) = z - p(z)/p'(z)$$ where $p$ is a complex polynomial. My question is: When is the Julia set, ...
4
votes
3answers
376 views

Precise location of the Mandelbrot Bulb Attachment to the main Cardioid

Is there an analytical formula for determining the location of the attachment points of the bulbs on the main cardioid? I was told there is an exact parametrization of the boundary of the main ...
4
votes
2answers
646 views

Is complex analytic extension of real-analytic diffeomorphism a diffeomorphism ?

Hi, my question is : Let $D$ be the open unit disk in $\mathbb{C}=R^2$ and $f:D\to D$ be a real-analytic diffeomorphism. Let us think of the canonical embedding : $\mathbb{C}=R^2\subset \mathbb{C^2}. ...
4
votes
2answers
271 views

Is there any elementary proof of No wandering domain for polynomials

It seems that it is almost impossible to give a elementary proof of Sullivan's no wandering domain for rational map or even more general class of maps. I think it is interesting to ask whether we ...
4
votes
1answer
436 views

Fatou Coordinate for function with rationally indifferent fixed point, and repelling fixed point

Lets say I have $f(z)=z^2+c$, with $c=0.35676274578 + 0.32858194507i$. Then $f(z)$ has a fixed point $\kappa_0=0.15450849719 + 0.47552825815i$, which is rationally indifferent with a period $m=5$. ...
4
votes
2answers
365 views

Algebraicity of the “outer” boundary of the Mandelbrot set

Let $M$ be the Mandelbrot set and let $\lambda\in M, \mu\in \mathbb C$ be algebraic numbers. Let $t_{\lambda,\mu}$ be defined as $$ t_{\lambda,\mu} = \sup \lbrace t\in \mathbb R\colon \lambda +t\mu ...
3
votes
3answers
313 views

Examples of cubic Julia sets

I'm looking for information on explicit cubic filled Julia sets with interesting properties such as: Having two different finite attractors (such as $f(z)=z^3-1.5z$) Being disconnected with ...
3
votes
2answers
358 views

Roadmap to Complex Dynamics (Particularly the works of Hubbard, Douady, and Yoccoz regarding the Mandelbrot set)

As others have had great success with their question, I hope to ask one in a similar vein. As a student who has some background in complex analysis and dynamical systems, I am hoping to explore ...
3
votes
1answer
182 views

Fixed points on Riemann surface

It is well known theorem that for a conformal mapping $\phi$ from a bounded and planar domain $\Omega$ to itself has three fixed points , then it must be identity mapping. However, I cannot find a ...
3
votes
2answers
288 views

Hausdorff dimension of Julia sets of quadratics not in the Mandelbrot set.

What are the bounds on the possible values of the Hausdorff dimension of the Julia sets of quadratics not in the Mandelbrot set? In particular, assume we have a quadratic $q_c: z \mapsto z^2 + c$ on ...
3
votes
3answers
634 views

Analytic ODE with complex time

Suppose we have a complex vector field on $\mathbb{C}^n$ which is analytic and has $|DV| < L$ on ball $B_r$ with radius r. I would like to understand: 1) if there exists an analytic flow ...
3
votes
1answer
138 views

Is there literature available on iterated function systems of the form $f^n = (g f^{n - 1}, g f^{n - 2}, \ldots)$?

This question is motivated by another question on math.stackexchange. From a function $g:X^k\to X$ it is possible to define an iterated function system on $X^k$ with the function $f:X^k\to X^k$ ...
3
votes
0answers
71 views

Question about a length inequality in algebraic dynamics

Let $X$ be a Noetherian scheme. Let $f\colon X\rightarrow X$ be an integral self-morphism. If $x\in X$ is a closed point, I will write $\mathcal{F}_{1}^x$ for the coherent sheaf of ...
3
votes
0answers
358 views

confusion about rational maps and Fatou components

Dear fellows, I have come to another conclusion which must be wrong. Let $f$ be a rational map and let $U$ be a connected but not simply connected open subset of the Fatou set such that $f(U)$ is ...
3
votes
0answers
236 views

Picture of the set of discontinuity of degree 2 rational Julia sets

Let $Rat_d$ be the set of all rational fraction of degree $d$ and $X_d \subset Rat_d$ be the bifurcation locus of rational fractions of degree $d$, i.e. the closure of the set of discontinuity of the ...
2
votes
2answers
191 views

Is there an (almost) dense set of quadratic polynomials which is not in the interior of the Mandelbrot set?

For the parameter plane of complex quadratic polynomials, $(z\mapsto z^2+c)_{c\in\mathbb{C}}$ : Is it possible to find a part of the parameter plane, scanned with a given limited precision ...
2
votes
2answers
176 views

Is the Hausdorff dimension $Dim_{H}(J(f))$ of the Julia set less than 2 for quadratic rational map?

Let $f(z)$ be a quadratic rational map with two Siegel disks which can be normalized to be $$f(z)=z\frac{z+e^{2\pi i\alpha}}{e^{2\pi i\beta}z+1}.$$ If one of the ratation numbers $\alpha$ and $\beta$ ...
2
votes
1answer
120 views

Power series expansion of the Koenigs function

Given a non-zero holomorphic function $f$ fixing $0$ which isn't a Mobius transform, the Koenigs function of $f$, which we'll call $h$, is the function which linearizes $f$ in the sense that $$ ...
2
votes
3answers
265 views

Fatou sets and topological entropy

Let us consider a diffeomorphism of a compact real manifold (complex manifold defined over the reals), and let us say that the diffeomorphism is birational. Hence, it extends to a birational map from ...
2
votes
1answer
148 views

Smoothness in Ecalle's method for fractional iterates

Some four years ago I answered my own question on fractional iteration, concluding that there is a half iterate of sine, that is $f(f(x)) = \sin x,$ which is real analytic for $0 < x < \pi$ but ...
2
votes
1answer
438 views

Attractive Basins and Loops in Julia Sets

I recently learned about the Mandelbrot set for the first time from a presentation by some undergraduates in honor of Mandelbrot's death. The presentation was short and by non-experts so I left with ...
2
votes
1answer
226 views

Help determining the asymptotic behavior of an integral involving rational functions.

Let $\phi:\mathbb{P}^1\to\mathbb{P}^1$ be a rational function of degree $d\geq2$. How can one prove, using the normalized spherical measure, that $$\int_{\mathbb{P}^1(\mathbb{C})}|(\phi^n)'(z)|\ d\mu ...
2
votes
0answers
93 views

Reachability in dynamic random graphs

There has been some advice on how to ask questions. So I reask my question.I have a problem related to graph theory, random graphs or random geometric graphs in special that really confuses me. ...
1
vote
2answers
341 views

complex dynamics in several variables

Dear mathematicians, I want to know how much advance there has been in complex dynamics of several variables. I am at present reading Carleson's book on Complex Dynamics on one variables.Curious to ...
1
vote
2answers
673 views

Composition of circle inversions

I would like to understand the map of $\mathbb{C}$ to $\mathbb{C}$ that results by iterating inversion in a unit circle. Let $f(z)$ for $z \in \mathbb{C}$ invert $z$ in a unit circle centered on ...
1
vote
1answer
89 views

Normal family and arithmetic progression

It is basic fact that for a holomorphic (or mermorphic) map $f$, the family of iterates $\{f^n\}_{n=1}^{\infty}$, is normal if and only if $\{f^{mn}\}_{n=1}^{\infty}$, is normal $\forall m\geq 1$. ...