All Questions
Tagged with complex-dynamics ds.dynamical-systems
88 questions
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?
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 \...
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 ...
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 \...
27
votes
3
answers
948
views
A point set of power series with coefficients in {-1, 1}. Connected or not?
Let $z$ be a fixed complex number with $|z|<1$ and consider the set
$$X_z := \Big\{\sum\limits_{i=1}^{\infty} a_i z^i \ \Big|\ a_i\in \{-1,1\} \forall i\Big\}.$$
What can be said about the set $M$ ...
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 ...
26
votes
7
answers
2k
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 ...
24
votes
1
answer
2k
views
Anti-Mandelbrot set
I clearly remember seeing a paper where the dynamic of the anti-conformal map
$f(z)=\overline{z}^2+c$ was studied (the bar means complex conjugation). There was a picture of the analog of the ...
18
votes
2
answers
2k
views
Renormalization in physics vs. dynamical systems
I am studying complex dynamics, so to me renormalization of a dynamical system means something like a rescaled first-return map on (a subset of) the underlying space. I understand that in quantum ...
17
votes
5
answers
2k
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 ...
15
votes
8
answers
4k
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 the field of complex dynamical systems. According to my knowledge, my friends told me that there are many ...
13
votes
1
answer
452
views
Is the set of escaping endpoints for $e^z-2$ completely metrizable?
Let $f:\mathbb C \to \mathbb C$ be the complex exponential $$f(z)=e^z-2.$$ It is known that $J(f)$, the Julia set of $f$, is a uncountable collection of disjoint rays (one-to-one continuous images ...
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, ...
12
votes
3
answers
387
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 noncommutative)...
12
votes
2
answers
750
views
Algorithm for computing external angles for the Mandelbrot set
Let $M$ be the Mandelbrot set: there exists a unique series
$$
\psi(z) := z + \sum_{m=0}^{+\infty} b_m z^{-m} = z - \frac{1}{2} + \frac{1}{8} z^{-1} - \frac{1}{4} z^{-2} + \cdots
$$
which defines a ...
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 ...
10
votes
0
answers
543
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 ...
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 ...
9
votes
2
answers
1k
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 $f_\...
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 ...
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
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(...
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
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
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
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
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
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
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
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
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
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
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
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 $...
3
votes
3
answers
1k
views
reference on complex dynamics
Please someone suggest me some reference on the topic "Complex Dynamics". I want a brief geometric treatment from the root level. I have graduate level background on complex analysis, riemannian ...
3
votes
3
answers
257
views
Computing the maximum modulus
For each $a\in \mathbb C$ define $f_a:\mathbb C\to \mathbb C$ by $f_a(z)=\exp(z)+a$. I am primarily interested in real values $a\in (-\infty,-1)$.
For each $r\in [0,\infty)$ define $M_a(r)=\max\{|f_a(...
3
votes
1
answer
162
views
Symmetries for Julia sets of perturbations of polynomial maps
This is a naive question. Consider the
Julia sets
of the map
$$ z \mapsto z^n + \lambda / z^k $$
with $z,\lambda \in \mathbb{C}$, and the exponents $n,k \in \mathbb{N}$.
For example, for $n=k=3$, ...
3
votes
3
answers
865
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 $\phi_t(x)...
3
votes
1
answer
776
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 ...