new results from complex dynamics
#18
(04/15/2012, 04:30 PM)sheldonison Wrote: This post is copied from: Problems from the Problem Sessions at the Snowbird Conference on the 25th Birthday of the Mandelbrot Set

6. (Douady) Persistence of the Fatou Coordinate:
First consider the polynomial \( P_{\epsilon}(z) = z2 + \frac{1}{4} + \epsilon \) for a real small \( \epsilon \). This polynomial has two repelling fixed points z1,z2 such that \( z1 = \overline{z2} \). Let \( \gamma \) be the vertical line connecting them. \( P_\epsilon(\gamma) \) is a curve connecting the fixed points to the right of \( \gamma \).

We define a Fatou coordinate on a neighborhood \( U_\epsilon \) that contains \( \gamma, P_\epsilon(\gamma) \), the region between them, but NOT the endpoints z1; z2 as the map satisfying
\( \Phi_\epsilon(P_\epsilon(z)) = \Phi_\epsilon(z) + 1 \).

We can vary \( \epsilon \) into the complex plane. As its argument increases we can follow \( U_\epsilon,\Phi_\epsilon \). The deformed curves \( \gamma \) and \( P_\epsilon(\gamma) \) spiral into the fixed points. As 1/4 + \( \epsilon \) crosses into the main cardioid of the Mandelbrot set, one of the fixed points, say z1, becomes attracting. \( \Phi_{\epsilon} \) is still defined. The curves spiral in at the attracting fixed point; \( P_\epsilon(\gamma) \) is attracted "inside" \( \gamma \). When we reach the boundary of the cardioid again (with argument of \( \epsilon > \pi \)), the spiral breaks. That is, because the fixed point becomes indifferent, the spiral is no longer defined; \( P_\epsilon(\gamma) \) cannot be attracted "inside" \( \gamma \). Thus the continuation of the Fatou coordinate breaks down at the second crossing (below the real axis) of the cardioid.

The construction can be made exactly the same way by making the argument of \( \epsilon \) negative. Thus there are two overlapping regions of the parameter plane in which a Fatou coordinate is defined. Each can only be defined for a single crossing of the cardioid.

The Fatou coordinate can be defined near a parabolic point for an arbitrary rational or entire map. The question is to understand the obstruction to extending the coordinate in this setting. Is the obstruction local or global?



I don't know the status of Douady's problem. In his question, \( \Phi_\epsilon(z) \) is the Abel function or Fatou coordinate near a parabolic fixed point, analogous to the Fatou coordinate, \( \text{sexp}^{-1}(z) \) for the bipolar tetration solution for \( (\eta+\epsilon)^z \) where \( \eta=\exp(1/e) \). One can compare Douady's problem above, with my post a few weeks ago, on the analogous problem for tetration. Both problems behave similarly, and both may have analogous Riemann surfaces. Also, I have generated some solutions for the superfunction, \( \Phi^{-1}_\epsilon(z) \) for \( z^2+0.25+\epsilon \), and there is some pretty bizarre behavior if \( \epsilon \) corresponds to an indifferent fixed point with a rational period, corresponding somewhat to pictures I posted in this post, for the analogous tetration bipolar solution where the fixed point has a period=5.

If anyone else has any related information, or publications, I'd be very interested.
- Sheldon Levenstein

(03/07/2012, 12:08 AM)sheldonison Wrote: ....
But first, I briefly want to describe the merged tetration solution and the Shell Thron boundary, and briefly describe reasons why one might not expect there to be solutions at the Shell Thron boundary boundary. Briefly, start with real tetration at the real axis, for bases>eta=e^(1/e), and rotate either clockwise, or counter clockwise. Initially, both fixed points are repelling. Consider the case where we rotate counterclockwise, through increasing imag(z). Initially, the period for the upper fixed point will have positive real and imaginary components. At the Shell Thron boundary, the upper fixed point has a real period; the lower fixed point is still repelling. I call this the first Shell Thron boundary crossing. Before continuing, I would briefly state that as we continue rotating around eta counterclockwise, we will reach the real axis for points<eta, and then continuing further, we will reach the Shell Thron boundary a second time. I believe there is a singularity at the second Shell Thron boundary crossing, but there is not a singularity at the first Shell Thron boundary crossing.
....

Very interesting. I noticed here:

http://math.eretrandre.org/tetrationforu...e=threaded

that as the STR boundary is approached for the second crossing, the lines of singularities in the upper half plane get denser. It seems that when we hit the boundary, they should become "infinitely dense", killing the holomorphizm and apparently signalling the reaching of a natural boundary of analyticity at the STR boundary. This behavior would be much akin to that of the single-fixpoint regular iterations, though in this case it does not prevent the existence of a branch (e.g. the principal one) that is defined over the whole plane minus some singularities (and a cut, if it must be continuous over its whole domain).


Messages In This Thread
new results from complex dynamics - by bo198214 - 01/25/2010, 07:30 PM
RE: new results from complex dynamics - by mike3 - 01/26/2010, 06:21 AM
RE: new results from complex dynamics - by mike3 - 03/10/2010, 03:10 AM
RE: new results from complex dynamics - by mike3 - 03/20/2010, 08:12 AM
RE: new results from complex dynamics - by mike3 - 03/21/2010, 11:03 PM
RE: new results from complex dynamics - by mike3 - 03/22/2010, 10:14 AM
RE: new results from complex dynamics - by mike3 - 03/23/2010, 07:50 AM
RE: new results from complex dynamics - by mike3 - 04/16/2012, 04:21 AM
RE: new results from complex dynamics - by mike3 - 04/17/2012, 07:51 AM
RE: new results from complex dynamics - by mike3 - 04/18/2012, 02:19 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Real tetration as a limit of complex tetration Daniel 6 1,557 10/10/2023, 03:23 PM
Last Post: leon
  Real and complex tetration Daniel 13 4,120 04/04/2023, 10:25 AM
Last Post: JmsNxn
  Evaluating Arithmetic Functions In The Complex Plane Caleb 6 1,793 02/20/2023, 12:16 AM
Last Post: tommy1729
  Range of complex tetration as real Daniel 2 1,322 10/22/2022, 08:08 PM
Last Post: Shanghai46
  From complex to real tetration Daniel 3 1,586 10/21/2022, 07:55 PM
Last Post: Daniel
  What are the types of complex iteration and tetration? Daniel 5 2,223 08/17/2022, 02:40 AM
Last Post: JmsNxn
  Complex to real tetration Daniel 1 990 08/14/2022, 04:18 AM
Last Post: JmsNxn
Question Convergent Complex Tetration Bases With the Most and Least Imaginary Parts Catullus 0 804 07/10/2022, 06:22 AM
Last Post: Catullus
  Complex to real tetration via Kneser Daniel 3 1,935 07/02/2022, 02:22 AM
Last Post: Daniel
  Real and complex tetration Daniel 3 1,739 06/22/2022, 11:16 PM
Last Post: tommy1729



Users browsing this thread: 2 Guest(s)