Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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?
T. Donaldson's user avatar
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 \...
Richard Borcherds's user avatar
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 ...
Jason Rute's user avatar
  • 6,287
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 \...
Tom Leinster's user avatar
  • 27.7k
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$ ...
Kirby Lee's user avatar
  • 373
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 ...
David Richter's user avatar
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 ...
Mahdi Majidi-Zolbanin's user avatar
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 ...
Alexandre Eremenko's user avatar
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 ...
CAT in hat's user avatar
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 ...
user avatar
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 ...
D.S. Lipham's user avatar
  • 3,317
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, ...
lhf's user avatar
  • 3,022
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)...
Qfwfq's user avatar
  • 23.3k
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 ...
Gro-Tsen's user avatar
  • 32.5k
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 ...
Niles's user avatar
  • 609
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 ...
Darsh Ranjan's user avatar
  • 5,992
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 ...
20 questions's user avatar
  • 1,059
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_\...
Aaron Golden's user avatar
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 ...
yaoxiao's user avatar
  • 1,706
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 ...
debabrata chakraborty's user avatar
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(...
D.S. Lipham's user avatar
  • 3,317
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$, ...
Joseph O'Rourke's user avatar
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)...
Marco Disce's user avatar
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 ...
magfrump's user avatar