Questions tagged [complex-dynamics]

Dynamics of holomorphic transformations; Mandelbrot and Julia sets.

Filter by
Sorted by
Tagged with
1 vote
0 answers
67 views

Positive integration on P^1

Let $u: \mathbb{P}^1(\mathbb{C}) \longrightarrow \mathbb{R}$ be a smooth function s.t. $u$ is invariant under complex conjugation and $\displaystyle \int_{\mathbb{P}^1(\mathbb{C})}u \; \omega_{\mathrm{...
user avatar
11 votes
0 answers
360 views

A curious observation on the elliptic curve $y^2=x^3+1$

Here is a calculation regarding the $2$-torsion points of the elliptic curve $y^2=x^3+1$ which looks really miraculous to me (the motivation comes at the end). Take a point of $y^2=x^3+1$ and ...
user avatar
  • 2,032
3 votes
1 answer
139 views

A question about decompositions of rational functions

Let $f_1,g_1,f_2,g_2$ be non-constant rational functions on the Riemann sphere (i.e. elements of $\Bbb{C}(z)-\Bbb{C}$) satisfying $f_1\circ g_1=f_2\circ g_2$. Suppose there is a prime number $p$ such ...
user avatar
  • 2,032
9 votes
1 answer
342 views

Tiling the plane with finitely many congruent pieces

Suppose $A_1,\dots,A_n$ are measurable subsets of the plane that are all related by rigid motions such that $|(A_1 \cup \dots \cup A_n)^c| = 0$ and $|A_i \cap A_j| = 0$ for all $1 \leq i < j \leq n$...
user avatar
  • 17.2k
4 votes
1 answer
363 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 ...
user avatar
  • 117
2 votes
0 answers
189 views

Understanding a more intricate Schwarz reflection principle--A question about Tetration

everyone. This is going to be a long question as it requires a good amount of back story in theory. This question is mostly along the lines: "I think this should happen, and I think my proof is ...
user avatar
10 votes
0 answers
280 views

the (non-existent) group of conformal transformations

In physics intros to 2d conformal field theory, people often talk about the "group of conformal transformations". Of course, that's not a group but rather a pseudo-group... that's not what ...
user avatar
1 vote
0 answers
54 views

Holomorphic dynamical systems defined on a contractible bounded open subset of $\Bbb{C}^n$

Let $U$ be a contractible bounded open subset of $\Bbb{C}$. There is a standard classification of possible dynamical behaviors of holomorphic maps $f:U\rightarrow U$: Attracting Case: There is an ...
user avatar
  • 2,032
18 votes
2 answers
1k 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 ...
user avatar
1 vote
0 answers
60 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/...
user avatar
  • 91
14 votes
2 answers
988 views

If I have zeros at the vertices of an icosahedron, where should the poles go?

I've been tinkering with Newton's method applied to polynomials. E.g., Newton's method for $z^5 - 1 = 0$ gives: There aren't a lot of symmetric patterns of finite sets of points in the plane, so I ...
user avatar
1 vote
1 answer
253 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) \...
user avatar
4 votes
2 answers
250 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 ...
user avatar
  • 51
1 vote
0 answers
48 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 ...
user avatar
6 votes
2 answers
196 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, ...
user avatar
  • 8,215
1 vote
0 answers
49 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 ...
user avatar
  • 53
1 vote
1 answer
283 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, ...
user avatar
2 votes
0 answers
28 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 ...
user avatar
3 votes
0 answers
69 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 ...
user avatar
9 votes
0 answers
229 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 ...
user avatar
4 votes
1 answer
244 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 ...
user avatar
  • 293
4 votes
2 answers
297 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\...
user avatar
  • 2,438
0 votes
0 answers
65 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 ...
user avatar
  • 1
24 votes
2 answers
925 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 ...
user avatar
  • 17.2k
10 votes
1 answer
338 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 ...
user avatar
3 votes
3 answers
233 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(...
user avatar
  • 2,438
5 votes
3 answers
248 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$ ...
user avatar
  • 25k
7 votes
1 answer
525 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
0 votes
1 answer
153 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 ...
user avatar
1 vote
1 answer
99 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 $...
user avatar
  • 2,438
12 votes
2 answers
558 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 ...
user avatar
  • 21.7k
5 votes
0 answers
216 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 ...
user avatar
5 votes
0 answers
97 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 ...
user avatar
  • 17k
1 vote
0 answers
454 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)) , ...
user avatar
  • 441
5 votes
2 answers
778 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 ...
user avatar
13 votes
1 answer
444 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 ...
user avatar
  • 2,438
1 vote
0 answers
56 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}\...
user avatar
  • 1,378
5 votes
1 answer
279 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 $...
user avatar
7 votes
2 answers
454 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(...
user avatar
  • 145
0 votes
1 answer
113 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 ...
user avatar
3 votes
0 answers
74 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 ...
user avatar
1 vote
1 answer
146 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$.
user avatar
8 votes
2 answers
872 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 ...
user avatar
3 votes
1 answer
140 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$, ...
user avatar
1 vote
0 answers
51 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 ...
user avatar
  • 1,099
1 vote
1 answer
419 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 ...
user avatar
  • 441
0 votes
1 answer
245 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 ...
user avatar
0 votes
1 answer
73 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$ ...
user avatar
  • 101
3 votes
1 answer
111 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$ ...
user avatar
2 votes
0 answers
83 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 ...
user avatar