Questions tagged [complex-dynamics]
Dynamics of holomorphic transformations; Mandelbrot and Julia sets.
204 questions
7
votes
1
answer
631
views
On complex dynamics in high dimensions
I am a fresh Ph.D student and I'm interested in complex dynamics in high dimensions. I have the following questions.
What research directions are there in several complex dynamics and what problems ...
7
votes
2
answers
1k
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 ...
7
votes
2
answers
572
views
Smooth Julia set for quadratic polynomials
This question is related to a classification of rational maps in terms of properties of their Julia set.
Let $f= z^2 + c$, with $c\in \mathbb{C}$ be a quadratic polynomial such that its Julia set $J(...
7
votes
2
answers
186
views
Non-locally connected polynomial Julia sets
What are some examples of complex polynomials whose Julia sets are connected, but not locally?
In the book Complex Dynamics by Carleson and Gamelin, I found:
They seem to reference:
But what is a ...
7
votes
2
answers
358
views
Julia set containing smooth curve
I have two realted questions.
Let $R$ be a rational function on $\mathbb{C}$ with degree at least 2. We denote by $\mu$ the measure of maximal entropy for $R$ and recall that the Julia set coincides ...
7
votes
1
answer
248
views
Are there such things as non-trivial entire semigroups?
I'll state the theorem I am posing up front, and then explain why I think this theorem appears to be true. I am asking if anyone can prove it, or knows references to where it is proved. Please, ...
6
votes
3
answers
340
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
3
answers
392
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
5
answers
2k
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 ...
6
votes
2
answers
249
views
Cutting a Julia set into infinitely many pieces at finitely many points
Let $f\colon \widehat{\mathbb{C}}\to \widehat{\mathbb{C}}$ be a rational function of degree two or greater whose Julia set $J_f$ is connected. If $S\subseteq J_f$ is a finite set of periodic points, ...
6
votes
2
answers
936
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 ...
6
votes
4
answers
763
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
2
answers
1k
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
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 ...
6
votes
0
answers
332
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
0
answers
321
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 $\mu$...
5
votes
2
answers
1k
views
Who proved that the Mandelbrot set's Julia sets are locally connected?
I'd be greatly interested in a reference to the respective article.
Was it Douady? Julia? Hubbard? Fatou?
Bonus question: Who gave the proof that can be found in the Orsay notes?
EDIT: The question ...
5
votes
1
answer
550
views
Connected set in a filled Julia set
Let $K$ be the filled Julia set of a complex polynomial of degree at least 2. Suppose that $K$ is connected. Let $p_1, \dots, p_N \in K$ be some points. Does there exist a connected set $K_N$ ...
5
votes
1
answer
302
views
An entire function all whose forward orbits are bounded
Edit: I revise the question according to the comment of Gabe Conant.
What is an example of a non constant entire function $f:\mathbb{C}\to \mathbb{C}$ which satisfy the following?:
For every $...
5
votes
1
answer
321
views
What is the logical complexity of the Mandelbrot Local Connectivity conjecture? (Is it equivalent to a statement of arithmetic?)
Denote by MLC the statement “the Mandelbrot set is locally connected” and MHC the statement “hyperbolic components are dense in the Mandelbrot set” (it is known that MLC implies MHC, and whether ...
5
votes
3
answers
363
views
Fully invariant measures for rational functions
Let $f(z)$ be a rational function of degree $d \geq 2$, with complex coefficients. I am interested in fully invariant measures for the dynamical system $(\mathbb C_\infty,f)$, where $\mathbb C_\infty$ ...
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 ...
5
votes
1
answer
273
views
Why "no wandering domain" fails in parabolic basin?
Theorem (Sullivan). Every Fatou component $U$ of $f$ rational map is eventually periodic, that is, there exist $n > m > 0$ such that $f^n(U) = f^m(U)$
I am familiar with the proof: spread around ...
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$. ...
5
votes
1
answer
120
views
Jordan curve boundaries of Fatou components
Let $f:\mathbb C\to \mathbb C$ be a rational map and let $J(f)$ and $F(f)$ denote the Julia and Fatou sets of $f$, respectively.
Let $\mathcal S$ be the set of all boundaries of Fatou components. ...
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} &...
5
votes
0
answers
230
views
Showing that a certain level set of a continuous family of holomorphic maps is locally path connected
I'm working with a continuous function $P: [0,1] \times W \to \mathbb{C}^n$, where $W \subset \mathbb{C}^n$ is an open, relatively compact ball centred at the origin. The map $P$ satisfies the ...
5
votes
0
answers
103
views
wild julia sets
Using the Baire category theorem, we may show that most simple closed curves satisfy the following property: any segment between an interior point and an exterior point of the curve intersects the ...
5
votes
0
answers
309
views
Is the closed orbit of the Van der Pol equation a stable periodic orbit?
We consider the Van der Pol vector field $$(1) \;\;\;\;\;\; \begin{cases} x'=y-(x^3-x)\\ y'=-x\end{cases}$$ on $\mathbb{R}^2.$
It is well known that this equation has a unique limit ...
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 ...
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
2
answers
337
views
Newton method and Siegel disks
I am looking for a degree 3 polynomial $P$ whose associated Newton's method $z \mapsto z - P(z)/P'(z)$ has a Siegel disk. Is there an explicit example of such polynomial $P$?
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 ...
4
votes
2
answers
677
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 ...
4
votes
1
answer
428
views
Ahlfors' proof of Bloch's theorem
In his pioneering paper An extension of Schwarz's lemma, Ahlfors proves the lower bound on the Bloch constant $B \geq \frac{\sqrt{3}}{4}$. The proof of this lower bound proceeds as follows:
Let $W$ be ...
4
votes
2
answers
432
views
Hausdorff dimension of Julia set
Can anyone show me the proof "Hausdorff dimension of Julia set is strictly positive"?
For purpose to prove this we might have to prove the green function of basin of attraction to infinity ...
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 ...
4
votes
1
answer
286
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
$$
h(f(z))...
4
votes
2
answers
1k
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
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 ...
4
votes
2
answers
419
views
Borel summation and the Abel function of $e^z-1$
This is a question that has bothered myself and Gottfried Helms a fair amount of late. He has made his case for the following result, but a proof escapes both of us. The question is deceptively simple,...
4
votes
2
answers
332
views
Exponential iterates of a complex number
Let $f:\mathbb C\to \mathbb C$ be defined by $f(z)=e^z-1$. Let $f^n$ denote the $n$-fold composition of $f$.
In my new paper Erdős space in Julia sets I show that $$Z:=\{z\in \mathbb C:\lvert\...
4
votes
1
answer
127
views
Decay of the binomial expansion of $f^{\circ k}$
Suppose $f$ is a holomorphic function in a neighborhood of zero fixing zero. Suppose $f'(0) = \lambda$ and $0<\lambda < 1$. It's not so hard to prove that $f^{\circ k}(z) = f(f(\ldots\text{$k$ ...
4
votes
2
answers
484
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 \...
4
votes
1
answer
298
views
Critical points of polarized endomorphisms of algebraic varieties
My main question is the following:
Let $f: \mathbb{CP}^n \to \mathbb{CP}^n$ be a holomorphic endomorphism of degree $d \ge 2$ of $\mathbb{CP}^n$ .
1. Let $X \subset \mathbb{CP}^n$ be an irreducible ...
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)| <...
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(\...
4
votes
0
answers
93
views
Flow of zeros in the shifted exponential generating function?
Given a sequence $a_n$ (of real numbers, described more fully below), one may define the exponential generating function (on the complex plane) as $E(z)=\sum_{n=0}^\infty a_n z^n/n!$. The derivatives $...
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 \...
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 $\{...