Questions tagged [complex-dynamics]
Dynamics of holomorphic transformations; Mandelbrot and Julia sets.
204 questions
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 ...
2
votes
0
answers
79
views
When is replacing the prefix of an angled internal address a valid operation?
While working on an artwork exploring patterns in the Mandelbrot set fractal, I constructed an angled internal address by:
$$
1 \overset{1/2}\longrightarrow 2 \overset{1/2}\longrightarrow 3 \overset{1/...
2
votes
3
answers
1k
views
Is there a way to find regions of depth in the Mandelbrot set other than simply poking around?
Ie, is there a way to probe it for regions of depth that involves a function, the domain of which is the Mandelbrot set itself, or a part of that set?
0
votes
1
answer
366
views
On the relevance of the property $\exp^{\circ a}(\exp^{\circ b}(z))=\exp^{\circ a+b}(z)$ for the *fractional* iteration ("tetration")
In the concept of fractional iteration of the exponential function ("tetration") the property of $$\exp^{\circ a}(\exp^{\circ b}(z))=\exp^{\circ b}(\exp^{\circ a}(z))=\exp^{\circ a+b}(z) \...
1
vote
1
answer
445
views
Formal group law and Koenigs function conjecture?
Let $f(x,y)$ be a symmetric real function and a formal group law
$$G(x + y) = f(G(x),G(y)). \tag{1}$$
Consider the equation
$$ h(2x) = f(h(x),h(x)) = A(h(x)). \tag{2}$$
This equation has many ...
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 ...
1
vote
0
answers
61
views
Lower semicontinuity of the number of attracting periodic points of a holomorphic family of rational maps?
Recently I have been reading the book Mathematical Tools for One-Dimensional Dynamics.
In the proof of the theorem 5.4.2, authors use the following fact that the number of attracting periodic points ...
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\...
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 ...
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, ...
1
vote
0
answers
75
views
Clarification about the process of naturally endowing a space with a Riemann orbifold structure supported on a sphere
I am having some difficulties understanding an argument in a proof. Here is an excerpt from Lyubich–Peters - Classification of invariant Fatou components for dissipative Henon maps, first geometric ...
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 ...
1
vote
1
answer
486
views
Mandelbrot set and logistic map connection
I'm currently writing an undergraduate thesis on chaos theory with a particular focus on the connection between the Mandelbrot set and the logistic map. I have found scattered posts on this site, ...
2
votes
0
answers
55
views
Integral curves of rational vector fields and approximations
The following is the formal statement of a conjecture that feels almost obvious, but I cannot find a reference for it. The idea is that one can obtain the integral curves of a vector field $V(z)$ by ...
3
votes
0
answers
81
views
Confusion on the assumption when discussing the kneading invariants for unimodal maps
A unimodal map is a continuous map $f:[0,1]\longrightarrow [0,1]$ such that there is only one turning point (critical point), denoted by $c$, and $f(0)=f(1)=0$.
Unimodal map is related to kneading ...
9
votes
0
answers
323
views
Discriminants of Gleason's period-$n$ polynomials for the Mandelbrot set
Gleason's polynomials are the sequence of monic integer polynomials defined recursively by
$$
\prod_{d \mid n} G_d(c) = (((c^2+c)^2+c)^2+\cdots+c)^2+c \quad \quad \quad [\textrm{$n$ iterates}],
$$
for ...
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 ...
25
votes
2
answers
1k
views
Exponential towers of $i$'s
It's well known that the expression $i^i$ takes on an infinite set of values if we understand $w^z$ to mean any number of the form $\exp (z (\ln w + 2 \pi i n))$ where $\ln$ is a branch of the natural ...
0
votes
0
answers
104
views
Locally connectedness and accessibility in $\mathbb{C}$
Suppose $\Omega$ to be a bounded area in the complex plane $\mathbb{C}$ with a locally connected boundary $\partial\Omega$, then every point of $\partial\Omega$ is accessible from Ω.Here accessibility ...
10
votes
1
answer
419
views
Convex Julia sets
Consider the classical Julia set $J_f$ associated with $f(z)=z^2+c$.
Since $J_c$ is completely invariant,
we know that $f^{-1}(J_f) \subseteq J_f$.
Now, let $H_f$ be the convex hull of $J_f$.
Is it ...
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(...
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$ ...
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 ...
0
votes
1
answer
206
views
Can the immediate basin of attraction of super-attracting fixed point at 0 of a polynomial contain non-zero roots?
Let $f$ be a polynomial with a super attracting fixed point at $x=0$. Can the immediate basin of attraction of the fixed point contain other roots? If so, please provide a specific example with the ...
1
vote
1
answer
165
views
Is the set of non-escaping points in a Julia set always totally disconnected?
I am looking for examples of transcendental entire functions $f:\mathbb C\to \mathbb C$ such that the set of non-escaping points in the Julia set of $f$ is not totally disconnected. I denote this set $...
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 ...
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, ...
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 ...
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
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 ...
1
vote
0
answers
472
views
The mysterious numbers $ \frac{13}{20} $ and $20$?
Let $g(x) = x^6 - 30 x $
Let $h(x) = x^6 $
Let $f(x) = x^2 - 2 $
Let $r$ be a reduced fraction $0 < \frac{p}{q} < 2 $ with integers $p,q > 1$
Let $f_{n+1}(x) = f(f_n(x)) = f_n(f(x)) , ...
9
votes
2
answers
2k
views
Dynamics of Riemann zeta function
Has the dynamics of the Riemann zeta function been studied? By dynamics I mean the limiting behavior of the sequence of iterates $s, \zeta (s), \zeta (\zeta (s)), \zeta (\zeta (\zeta (s)))\dots $ for ...
1
vote
0
answers
61
views
Modulus estimate with intersecting annuli (quasi-additivity)
In general for annulus $A\subset \mathbb{C}$ if $A_{1},A_{2}....\subset A$ are disjoint annuli inside it, then we have
$$mod(A)=\frac{1}{2\pi}\int_{A}\int_{A} \frac{1}{|z|^{2}}dz>\frac{1}{2\pi}\...
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 $...
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(...
0
votes
1
answer
164
views
Rigid motions between two spheres [closed]
It has been well known that every Mobius transformation can be constructed by stereographi projection of the complex plane onto a sphere, followed by a rigid motion of the sphere and projection back ...
3
votes
0
answers
84
views
Does there exist a Runge Fatou-Bieberbach in each Fatou-Bieberbach domain?
A Fatou-Bieberbach domain $\Omega \subseteq \mathbb{C}^n$ is a domain that is a proper subset of $\mathbb{C}^n$ and is biholomorphic to $\mathbb{C}^n$. A domain is said to be Runge if for each ...
1
vote
1
answer
160
views
A singular holomorphic foliation of $\mathbb{C}^2$ with a bounded leaf
Is there a polynomial vector field on $\mathbb{C}^2$ which possesses a bounded regular leaf? By bounded, I mean a bounded subset of $\mathbb{C}^2$.
18
votes
1
answer
951
views
Poincaré metric on the Riemann sphere minus more than two points
If we omit more than two points from the Riemann sphere, we will obtain a hyperbolic Riemann surface endowed with a canonical metric descending from its universal cover which is the Poincaré disk. Let ...
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$, ...
1
vote
0
answers
64
views
Uniform convergence of holomorphic automorphisms
Let $X$ be a complete Kobayashi hyperbolic complex manifold. It is well-known that the automorphism group of $X$ is a real Lie group where the topology on the automorphim group is the compact-open ...
0
votes
1
answer
275
views
On the 2002 paper "Dynamics of polynomial automorphisms of $\mathbb{C}^k$" by Guedj and Sibony
I desperately need to read the paper [1] before meeting a would-be supervisor, but with limited undergraduate knowledge that I have like Aluffi's Algebra and Churchill's Complex Analysis, not even one ...
0
votes
1
answer
81
views
non linear operator over the mandelbrot set [closed]
I write here because Google Scholar does not give me feedbacks.
The Mandelbrot set M could be defined as the set of all the complex plane point c where the recurrent sequences $z_{n+1} = z_nz_n+c$ ...
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$ ...
2
votes
0
answers
108
views
How to compute expansion factors for hyperbolic rational maps?
It is a commonly-referenced result about certain rational maps acting on $\mathbb{\hat{C}}$ that they are expanding on a neighborhood of their Julia sets. A sufficient condition to be expanding is ...
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 $...
0
votes
1
answer
197
views
What is the value of following limit?
Let $P$ be a polynomial in complex variable $z$ of degree $d$
i.e. $P(z)= a_d z^d+.....+a_1 z+a_0$
Now I want to calculate following limit
$f(z) = \limsup_{n \to \infty} \frac{1}{d^n} (Log|P(z)^{*...
3
votes
0
answers
149
views
Is the Mandelbrot set weakly self-similar?
A subset $F$ of an Euclidean space $E$ will be called weakly self-similar if for all $x \in F$ there is $\epsilon_x>0$ such that for all positive $\epsilon \le \epsilon_x$ there are $y \in F$, $\...
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$?