new results from complex dynamics - Printable Version +- Tetration Forum (https://math.eretrandre.org/tetrationforum) +-- Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1) +--- Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3) +--- Thread: new results from complex dynamics (/showthread.php?tid=416) Pages: 1 2 3 RE: new results from complex dynamics - Gottfried - 03/22/2010 (03/22/2010, 10:14 AM)mike3 Wrote: (BTW, I've been playing around with another tetration method based on trying to use the Borel summation on Ansus' continuum-sum formula. If you want, I can post some rough observations from an attempt at numerical approximation. I'm still not sure if it converges, as it seems to take tons of precision and terms to work, so I can't really press past more than a few decimals of accuracy.) Please do that. (At least) I would be very interested to read more about this. Gottfried RE: new results from complex dynamics - bo198214 - 03/22/2010 (03/22/2010, 01:32 PM)Gottfried Wrote: Please do that. (At least) I would be very interested to read more about this. Yes, go ahead (but in the "Computation" category, please). RE: new results from complex dynamics - mike3 - 03/23/2010 (03/22/2010, 01:37 PM)bo198214 Wrote: (03/22/2010, 01:32 PM)Gottfried Wrote: Please do that. (At least) I would be very interested to read more about this. Yes, go ahead (but in the "Computation" category, please). So I should put the whole discussion of the method there, not just of the attempts/methods to solve it numerically and the code used? RE: new results from complex dynamics - bo198214 - 03/23/2010 (03/23/2010, 07:50 AM)mike3 Wrote: So I should put the whole discussion of the method there, not just of the attempts/methods to solve it numerically and the code used? If the nature is mainly experimental and numeric then place it it "Computation" otherwise in "Mathematical Discussion". I think there are already several threads describing the method. RE: new results from complex dynamics - sheldonison - 03/21/2012 (03/08/2010, 11:59 AM)bo198214 Wrote: ...So far it seems these pertubed Fatou coordinates only give real analytic functions for conjugated complex fixed point pairs. To give it a distinguished name (and as "perturbured Fatou coordinates" does not really hit the point) I will call it from here bipolar iteration in mnemonic that the Abel function is defined on a sickel between *two* fixed points, in opposite to the regular iteration which is defined in a neighborhood of *one* fixed point. ..... Second, the bipolar Fatou coordinates may exist between two real fixed points (though even that is not completely clear to me and not backed by the theory) but it may not be real analytic. So the question is whether there is at all a real tetration on (1,oo) which is particularly analytic in the base at e^(1/e) ...Any updates on whether the theory supports bipolar Fatou solutions between two real fixed points? This would be analogous to the tetration solution, in my complex base solution post, where I propose the bipolar solution continues along a circle past the Shell Thron boundary, where one of the fixed points switches from repelling to attracting. (01/25/2010, 07:30 PM)bo198214 Wrote: ...start with a parabolic fixed point $z_0$ of a holomorphic function $f$, i.e. $f(z_0)=z_0$ and $f'(z_0)=1$. If we slightly perturb this function by a complex $\epsilon$, $g(z)=f(z)+\epsilon$, then the one fixed point splits up into several fixed points (at least 2). But the perturbed function still behaves quite similar to the original function. It would seem that the bipolar Fatou solutions should have encountered this exact question. I very briefly experimented with some of these ideas applied to a simple function like $f(z)=z+z^2+\epsilon$, which has a parabolic fixed point at z=0, for epsilon=0, and it should have a real valued superfunction if $\epsilon$ is a postive real number, which behaves similar to tetration for real bases $>\eta$ in many ways. (01/25/2010, 07:30 PM)bo198214 Wrote: ...If we slightly perturb this function by adding $\epsilon>0$ ... then the one parabolic fixed point splits up into two conjugate repelling fixed points. If we slightly perturb with $\epsilon<0$ then the parabolic fixed point splits up into two real fixed points on the real axis (one attracting, one repelling). So, just as in the tetration solution, the perturbed Fatou method generates a bipolar superfunction if both fixed points are repelling. And, like tetration, if epsilon starts out as a positive real number, then as epsilon goes around in a circle around 0 counterclockwise, very soon one of the two repelling fixed points switches to attracting. Also, of course, there is the case where epsilon is exactly on the transition, with one repelling fixed point, and the other fixed point rationally or irrationally indifferent, which would be analogous to the Shell Thron boundary. As $\epsilon$ is varied, $f(z)=z+z^2+\epsilon$ has such a boundary, which seems very similar to the Shell Thron boundary for tetration. It would be interesting to know what the theory has to say about bipolar solutions on that boundary, and bipolar solutions inside the boundary. Also, mathematicians interested in perturbed Fatou coordinates, and parabolic implosion should have a natural interest in tetration, as an example of a bipolar Fatou solution. - Sheldon RE: new results from complex dynamics - sheldonison - 04/10/2012 I found a good paper online by Mitsushiro Shishikura and Hiroyuki Inou titled, The renormalization for parabolic fixed points and their perturbation. I'm reading both this paper, as well as Shishikura's chapter "Bifurcation of Parabolic Fixed Points", in the book "The Mandelbrot Set, Theme and Variations". The online paper is more recent, and probably improved. I haven't gotten very far yet, but I see some concepts that seem similar to the 1-cyclic theta transformations I have used in my posts on this forum, $z+\theta(z)$ which seems to correspond to Shishikura's horn map. Then the Tetration programs I have posted here which are iteratively calculating $\theta(z)$ and sexp(z), are hopefully calculating what is mathematically equivalent to Shishikura's horn map, for $f(z)=\exp_b(z)$. The notation used by Shishikura for the horn map is: $E_f(z)=E_f(z+1)+1$, where $E_f(z)-z$ is periodic with period 1, and decays to a constant as $\Im z \to \infty$. - Sheldon RE: new results from complex dynamics - sheldonison - 04/15/2012 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) = z^2 + \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 \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