Skip to main content

Questions tagged [complex-dynamics]

Dynamics of holomorphic transformations; Mandelbrot and Julia sets.

Filter by
Sorted by
Tagged with
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 ...
user avatar
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 ...
LimaBean's user avatar
  • 171
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(...
Gari's user avatar
  • 303
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 ...
D.S. Lipham's user avatar
  • 3,317
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 ...
Luka Thaler's user avatar
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, ...
user avatar
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 ...
Vesselin Dimitrov's user avatar
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 ...
Bobscott's user avatar
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 ...
DolphinDream's user avatar
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, ...
Jim Belk's user avatar
  • 8,483
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 ...
yaoxiao's user avatar
  • 1,706
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 ...
Mahdi Majidi-Zolbanin's user avatar
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 ...
muad's user avatar
  • 1,412
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 ...
Divakaran Divakaran's user avatar
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} = ...
Aaron Golden's user avatar
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$...
Luka Thaler's user avatar
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 ...
Cloudscape's user avatar
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$ ...
Gari's user avatar
  • 303
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 $...
Ali Taghavi's user avatar
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 ...
Gro-Tsen's user avatar
  • 32.5k
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$ ...
Joël's user avatar
  • 26k
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 ...
Will Jagy's user avatar
  • 25.7k
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 ...
Ricky Simanjuntak's user avatar
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$. ...
Sheldon's user avatar
  • 159
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. ...
D.S. Lipham's user avatar
  • 3,317
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} &...
Lasse Rempe's user avatar
  • 6,548
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 ...
user148556's user avatar
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 ...
coudy's user avatar
  • 18.7k
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 ...
Ali Taghavi's user avatar
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 ...
user avatar
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 (...
Adam's user avatar
  • 445
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$?
coudy's user avatar
  • 18.7k
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 ...
user avatar
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 ...
uncooltoby's user avatar
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 ...
AshyK's user avatar
  • 137
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 ...
matthew's user avatar
  • 51
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 ...
Xiaoyang Chen's user avatar
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))...
D. Kelleher's user avatar
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}. ...
Analysis Now's user avatar
  • 1,471
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 ...
user avatar
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,...
Richard Diagram's user avatar
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\...
D.S. Lipham's user avatar
  • 3,317
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$ ...
Richard Diagram's user avatar
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 \...
Łukasz Grabowski's user avatar
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 ...
Curiosity's user avatar
  • 293
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)| <...
user avatar
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(\...
Ken Jacobs's user avatar
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 $...
Linas's user avatar
  • 384
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 \...
J.E.M.S's user avatar
  • 437
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 $\{...
Daniele Turchetti's user avatar