Skip to main content

Questions tagged [complex-dynamics]

Dynamics of holomorphic transformations; Mandelbrot and Julia sets.

Filter by
Sorted by
Tagged with
15 votes
3 answers
2k views

Convergence of Newton's method

For a polynomial $P$ of degree $n$ with real coefficients and with $n$ distinct real roots, the Newton's method $z_{n+1} = z_n - {P(z_n) \over P'(z_n)}$ converges for almost all initial values $z_0$ ...
4 votes
0 answers
73 views

Is a domain of a holomorphic flow pseudoconvex?

Let $Z$ be a holomorphic vector field on $\mathbb{C}^n$. I would like to know whether (it seems that it is) the domain $D_\phi \subset \mathbb{C} \times \mathbb{C}^n$ of a maximal flow $\phi: D_\phi \...
1 vote
0 answers
100 views

Is $\partial M_d$ continuously determined by $d$?

This question is inspired by a question on math.stackexchange: https://math.stackexchange.com/questions/1707291/is-the-generalized-mandelbrot-set-a-fractal-in-the-d-dimension/2575089 The animation ...
44 votes
3 answers
4k views

When does iterating $z \mapsto z^2 + c$ have an exact solution?

If one iterates the map $z \mapsto z^2 + c$ there is obviously a simple formula for the sequence one gets if $c=0$. Less obviously, there is also a simple formula when $c = -2$ (use the identity $2 \...
3 votes
1 answer
392 views

Is it known that MLC is sufficient to prove the density of hyperbolic conjecture of rational maps (or not)

Is it known that local connectivity of the Mandelbrot set (MLC) is sufficient prove the density of hyperbolic conjecture of qudratic family. I wondered is it known that the MLC is not enough (or ...
27 votes
5 answers
4k views

Why are the Julia sets so simple? (quadratic family)

I want to know why, when I look at the Julia sets of the quadratic family, I see only a finite number of repeating patterns, rather than a countable infinity of them. My question is specifically ...
2 votes
1 answer
75 views

Are the immediate basin of these exponential maps simply connected?

This is a simple question that I direfully need an answer for. If the response is in the negative, I can work with it. If the response is in the positive, I can also work with it. I just can't seem to ...
9 votes
2 answers
831 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 https://math.stackexchange.com/questions/109752/line-segments-intersecting-jordan-curve Namely, is there a set ...
1 vote
1 answer
110 views

Does the boundary of immediate basin contain a fixed point?

Let $f$ be a rational map of degree $d\geq 2$, and $B$ is a simply connected immediate basin of an supper-attracting fixed point of $f$. I want to know whether there exists a fixed point of $f$ ...
1 vote
1 answer
104 views

Reference Request: Siegel Center Problem

Does anyone have a reference to where I may find a statement of the problem and perhaps (but not required) some elementary dicussion of Siegel's Center Problem?
1 vote
1 answer
196 views

Hölder continuity of holomorphic motions

Let $D$ denote the complex unit disk and $X \subset \mathbb{C}$ some subset. Let us consider a holomorphic motion $i \colon D \times X \rightarrow \mathbb{C}$ (denoted $i_\lambda(z)$) meaning for each ...
4 votes
1 answer
116 views

Can iterates of a non-polynomial function be bounded by an exponential indefinitely?

Assume $f$ is an entire non-polynomial function of arbitrarily small exponential order ('zero'th order' if you're into calling it that). Is it possible that for all $n$ we have $$|f^{\circ n}(z)| <...
19 votes
2 answers
3k 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 ...
5 votes
1 answer
444 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 ...
1 vote
1 answer
197 views

Inverse image of a Jordan curve

If there exists a rational map $R$ from the extended plane $\hat{\mathbb{C}}$ to itself, and a Jordan curve $J$ on the plane, such that $R$ has no critical value on the curve, can we say that the ...
1 vote
1 answer
73 views

Finding the "orthogonal" map of a given 1d map

Let $f:\mathbb{C}\to\mathbb{C}$ be meromorphic or even entire. Let $z:\mathbb{C}\to\mathbb{C}$ be such that it holds $$z(t+1) = f(z(t)).$$ If $f$ is entire and we choose carefully $z$ can be ...
4 votes
1 answer
276 views

complex dynamic system and affine algebraic variety

Let $M^n$ be a $n$-dimensional noncompact complex manifold. In "The density property for complex manifolds and geometric structures II", Dror Varolin showed that some open set of $M$ is ...
1 vote
1 answer
259 views

Is there an example with Area $0<F(f)<\infty$ for some transcendental entire function

It seems that there may be example of a transcendental entire function with finite (but positive) planar area of the Fatou set in Eremenko-Lyubich class. However, I can't not find it in the ...
6 votes
0 answers
223 views

Reference request: Complex geodesic flow

Can someone suggest a book on complex geodesic flow? I am interested in it mainly because I was told these form a very useful class of Riemann surface laminations. Of special interest to me is the ...
26 votes
6 answers
5k 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 ...
4 votes
3 answers
1k 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 (...
4 votes
0 answers
150 views

Uniformization of Riemann surfaces by iso-classical Schottky groups

Let $\Gamma=<g_1, \dots, g_n>$ $\subset PGL_2(\mathbb{C})$ be a Schottky group of rank $n$. The group $\Gamma$ is called classical if there exists a set of $2n$ pairwise disjoint closed balls $\{...
5 votes
2 answers
888 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$. ...
2 votes
2 answers
819 views

Definition of Post-critically finite map

I'm studying the dynamic of the post-critically finite for my master thesis and my professor gave me the problem concerning generalization of post-critically finite ration map. Concretely, let $f : \...
8 votes
2 answers
395 views

Linearizing a power series by conjugation

Let $\mathfrak{I}:=\big\{ \, f:=\sum_{k=0}^\infty f_k z^k \in\mathbb{C}[[z]]\; : \text{s.t. }\; f_0=0 \;\text{ and }\; f_1=1\big\}$. A most basic result about linearization states that, for any $f\...
3 votes
0 answers
210 views

Is there a combinatorial analogue of the "sum over all possible paths"?

Addition, multiplication and exponentiation have important combinatorial analogues. By looking at if there a combinatorial analogue of the "sum over all possible paths", I hope to shed light on if ...
5 votes
1 answer
353 views

Quantifying the monotonicity property of the hyperbolic metric

Suppose that $X$ and $Y$ are connected hyperbolic Riemann surfaces, with $X\subsetneq Y$. Let $\rho_{X,Y}$ be the density of the hyperbolic metric of $X$ with respect to that of $Y$; then $\rho_{X,Y} &...
1 vote
0 answers
294 views

Can an entire function have every root function?

My question is an amalgamation of two previous questions. The first question I'd like to draw attention to is here. It asks whether there can exist a non trivial semigroup defined on $\mathbb{C}$ $$\...
1 vote
1 answer
380 views

Infinite compositions of holomorphic functions, is there literature on the subject?

I've recently become very intrigued by infinite compositions. To get at what I mean by the term, I'll be as explanatory as possible. Consider a sequence of holomorphic functions $\{\phi_j\}_{j=0}^\...
1 vote
0 answers
52 views

Composing between Schröder functions in complex dynamics

Assume that $f(z)$ is a holomorphic function that sends some open and connected set $G$ to itself. Assume $f$ has a single fixed point $z_0$. Assume $f(f(...(n\,times)...f(z))) = f^{\circ n}(z) \to ...
4 votes
1 answer
206 views

Super attracting fixed points have no fractional iteration

My question is really easy to state, but I'm having trouble hitting the final nail in the coffin in a proof of the result. The question concerns fractional iterations of holomorphic functions, for ...
12 votes
4 answers
989 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, ...
38 votes
1 answer
3k views

Is the area of the Mandelbrot provably computable?

Recall the Mandelbrot set $M$ is the set of points $c$ in the complex plane such that the sequence $z_0 = 0, z_{n+1} = z_n^2 + c$ is bounded. It is well-known that $M$ is a compact set of positive ...
1 vote
0 answers
107 views

Effective estimates for circle packing

The Riemann map from a simply connected domain to the unit disc can be approximated by circle packings thanks to a theorem of Rodin and Sullivan. (That is, take smaller and smaller triangulations and ...
2 votes
1 answer
106 views

Infinitely renormalizable parameters for quadratic polynomials

Let $P_{c}(z)=z^2 + c$, where $c\in \mathbb{C}$. Did we know that the set of infinitely renormalizable parameters has Lebesgue measure $0$ in complex plane or has Hausdorff dimension $2$?
4 votes
0 answers
127 views

Linearizing an operator

This question is more about a curious identity I have come across, than to do with explicit research. The question is somewhat advanced so I'm posting it here rather than on math stackexchange. It ...
7 votes
3 answers
458 views

A question about Julia set for quadratic family

Let $P_{c}(z)=z^2+c$. It seems from the software that the map between the parameter $c$ and the Julia set $J(P_c)$ is an injective map. Is there some reference about it? Any comments and reference ...
9 votes
6 answers
2k 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 ...
4 votes
2 answers
243 views

Summability of iterates of analytic function

This question, although appearing deceptively easy, has resisted many attacks against it. The question, being simple to state, is something rather non-trivial that is rather crucial towards more ...
44 votes
4 answers
8k views

Did Gaston Julia ever get to see a computer-generated image of his eponymous set?

I learned from Wikipedia that Gaston Julia died in 1978. Is it known if he ever got to see a computer-generated image of the set named after him?
32 votes
3 answers
2k 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 \...
1 vote
0 answers
134 views

Inverse limits of the interval with a single bonding map below the identity

My question is as follows. QUESTION. Is there a topological description of the class of arc-like continua that arise as inverse limits of $[0,1]$ with a single continuous surjective bonding map $f\...
4 votes
1 answer
132 views

Integral Expression in Complex Dynamics

Let $\phi\in \mathbb{C}(z)$ be a degree $d\geq 2$ rational map, which we can write as $\phi = \frac{f}{g}$ for $f,g\in \mathbb{C}[z]$. Let $\omega_{FS}$ denote the Fubini-Study form on $\mathbb{P}^1(\...
14 votes
0 answers
849 views

Algebraic proofs of algebraic theorems about algebraically closed fields

It is well-known that the first order theory of algebraically closed fields admits quantifier elimination, whence the theory $ACF_p$ of algebraically closed fields of given characteristic $p$ is ...
1 vote
0 answers
60 views

Constructing the external map to a polynomial-like map [closed]

I am reading the paper by Douady and Hubbard, On the Dynamics of Polynomial-Like Mappings, and I am at a loss to understand a crucial step in the construction of the right domain for finding the ...
13 votes
0 answers
311 views

Diophantine approximation in the Julia set

Let $f : \mathbb{CP}^1 \to \mathbb{CP}^1$ be a rational map of degree $q > 1$; or just a quadratic binomial $z^2 + c$, if one prefers. The Julia set $J_f$ is the closure of the repelling periodic ...
0 votes
0 answers
176 views

Tying knots in $\mathbb{C}$

As far as I know, there is no deep significance to this question, but I've been playing around with it for a bit and it seems interesting: Fix a complex number $c$, and consider the map $J_c: \mathbb{...
8 votes
3 answers
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 $\...
5 votes
0 answers
216 views

Dynamical Mordell-Lang on Kahler manifolds?

Suppose that $X$ is a smooth projective variety over $\mathbb C$ and $\phi : X \to X$ is an endomorphism. Let $p \in V$ be a point and $V \subset X$ a subvariety. The dynamical Mordell-lang ...
10 votes
2 answers
647 views

Periodicity in iterated powers of sin, cos, exp

Given a complex number $z$, consider the sequence \begin{align*} a_0 & = 1\\ a_1 & = (cos(1))^z\\ a_n & = (cos(a_{n-1}))^z \end{align*} This question is about trying to understand ...