Posts: 94
Threads: 15
Joined: Apr 2009
06/20/2009, 07:27 PM
(This post was last modified: 07/06/2009, 12:08 AM by Base-Acid Tetration.)
Theorem.
Let  be a function that is biholomorphic on both of the initial regions  and  that share as boundaries the same conjugate pair of fixed points of f. Also let f have no other fixed points. Let there be two Abel functions of f,  and  , that are biholomorphic on these initial regions and satisfy A(d) = c.
For each f, there exists exactly one biholomorphism ) on a single simply connected open set  such that  = A_i (z).) (i is an index that can be 1 or 2) i.e. there is an analytic continuation, and it's unique.
Proof.
1.
Let  be disjoint, simply connected domains that have as boundaries:
(1)  , disjoint curves which are homeomorphic to (0,1);
(2)  and  , which are boundaries of, but not contained in,  .
2.
Let  be a biholomorphism on | < \Im(L) + \epsilon i \rbrace) , where  , (tried to make the domain of biholomorphism into an open set) that:
(1) bijects  to  ;
(2) has a conjugate pair of fixed points  and  ;
(3) has no other fixed points in the domain of biholomorphy.
3.
(1) Let  , a biholomorphism on  , and  , a biholomorphism on  , both satisfy )=A(z)+1) for all applicable z. (for all z such that A(f(z)) is defined)
(2) Let =c) for some  .
to be continued
Posts: 1,389
Threads: 90
Joined: Aug 2007
(06/20/2009, 07:27 PM)Tetratophile Wrote: 1. .. 2. ... 3. ... 4.
Is the proof already finished?
I dont see where it shows that =A_2(z)) for  .
Posts: 94
Threads: 15
Joined: Apr 2009
06/21/2009, 01:57 PM
(This post was last modified: 06/21/2009, 04:27 PM by Base-Acid Tetration.)
btw, why does kouznetsov have IMAGINARY infinities  and  as the values of the super logarithm at the fixed points? The choice seems arbitrary. I think it should be a kind of negative infinity because of how you get to the fixed points. exp^(some complex number) (1) = i or some other nonreal complex number, take the logarithm of that number an infinite number of times and you get the fixed point. for some complex c, corresponds to a complex iteration plus a negative infinity itterations of exp: .) We lose injectivity, but it's a fair price.
(06/21/2009, 08:19 AM)bo198214 Wrote: Is the proof already finished?
I dont see where it shows that for .
no, it isn't finished.... It just lists all i know about the situation. I don't know how to proceed. I just have a hunch that the neighborhood of the fixed points might be important (the only thing the domains D1 and D2 share as part of their boundaries is the fixed point pair, and both D1 and D2 include a subset of the neighborhood); if I can show that the Abel functions are analytic and take the same values in all directions in the deleted neighborhood of the fixed points, I will have established the existence of a unique analytic continuation of both A1 and A2.
I have attached a drawing to summarize the problem and the proposed proof technique.
Posts: 1,389
Threads: 90
Joined: Aug 2007
(06/21/2009, 01:57 PM)Tetratophile Wrote: btw, why does kouznetsov have IMAGINARY infinities and as the values of the super logarithm at the fixed points? The choice seems arbitrary. Infinity can be imagined as a point on the extended complex plane, which is a sphere.
You can regard infinity as any other point on the complex plane.
The tetrational is not holomorphic (not even continuous) at infinity.
However one can approach infinity from different angles/sectors where the limit may be a single value.
E.g. if you approach infinity along the real axis  the limit is infinity.
If you however approach infinity along the imaginary axis  then the limit is  . This is writtten exactly as:
 = \infty) for each real  .
 = L) for each real  .
 = L^\ast) for each real  .
Quote:no, it isn't finished.... It just lists all i know about the situation. I don't know how to proceed. I just have a hunch that the neighborhood of the fixed points might be important (the only thing the domains D1 and D2 share as part of their boundaries is the fixed point pair, and both D1 and D2 include a subset of the neighborhood);
I guess its about deforming one initial region into the other initial region, and continuing the one Abel function to the other region. Then we have reduced the problem to both Abel function having the same domain, to which we can apply the theorem.
For different fixed point pairs this would not be possible.
Quote: if I can show that the Abel functions are analytic and take the same values in all directions in the deleted neighborhood of the fixed points,
No, they are not analytic in the punctured neighborhood. Or in other words the fixed points are not isolated singularities. They are branching points, we need cut-line ending in the fixed point, to have it holomorphic.
Your drawing however is I also see the situation (except holomorphy at the fixed points).
Posts: 94
Threads: 15
Joined: Apr 2009
06/21/2009, 05:28 PM
(This post was last modified: 06/21/2009, 05:36 PM by Base-Acid Tetration.)
(06/21/2009, 05:18 PM)bo198214 Wrote: Infinity can be imagined as a point on the extended complex plane, which is a sphere.
You can regard infinity as any other point on the complex plane.
The tetrational is not holomorphic (not even continuous) at infinity.
However one can approach infinity from different angles/sectors where the limit may be a single value.
I said that the superlogarithm should be negative infinity at the fixed points, instead of infinity*i or = -infinity*i, because the fixed point is approached via a complex iteration, and then infinite negative iteration of exp, ie iteration of log. (fixed points are repelling in graph of exp) Or leave it an essential singularity if there is no way to complex-iterate exp to get an imaginary number.
'bo198214 Wrote:I guess its about deforming one initial region into the other initial region How do we go about doing that? It is not given whether the Abel functions are holomorphic outside of their domains.
Posts: 1,389
Threads: 90
Joined: Aug 2007
(06/21/2009, 05:28 PM)Tetratophile Wrote: I said that the superlogarithm should be negative infinity at the fixed points,
No, its not. The super-exponential approaches L for  ,  . Thatswhy the super-logarithm has positively unbounded imaginary part, if we approach the upper fixed point in the initial region, which one could interpret as  . And it has negatively unbounded imaginary when we approach  in the initial region which we could interpret as  . However strictly considered there is no  as value of a limit.
Quote: instead of infinity*i or = -infinity*i, because the fixed point is approached via a complex iteration, and then infinite negative iteration of exp, ie iteration of log.
If you approach the fixed point via repeated logarithm, then you dont stay inside the initial region.
Quote:'bo198214 Wrote:I guess its about deforming one initial region into the other initial region
How do we go about doing that? It is not given whether the Abel functions are holomorphic outside of their domains. If you go slightly to the right of  having a curve  inside  then you can continue  to the region between  and ) , i.e. ):=A_1(z)+1) where we use the already established values of  on the region between  and  .
This works if  is bijective in the considered area. For example  is bijective in the strip along the real axis  < \pi \}) , which includes the fixed points  and  .
Posts: 27
Threads: 3
Joined: Apr 2009
Posts: 94
Threads: 15
Joined: Apr 2009
06/22/2009, 12:37 AM
(This post was last modified: 06/22/2009, 04:49 AM by Base-Acid Tetration.)
Please go back up to the beginning of the proof;
I made the conditions a lot stronger: changed the holomorphy condition for  to BIholomorphy on a strip with infinite range of real parts), and added "f has no other fixed points", because I thought other fixed points would mess things up.
Proof continued...
4.
Consider a simple curve  that also has  and  as non-inclusive boundaries.
(1) Since  is biholomorphic on  ,  will still be biholomorphic on the curve ) , because if ) is biholomorphic, so is +1=A_1(f(z)) \forall z \in D_1) .
(2) We can do this for every curve in  that has  and  as boundaries, to extend the domain of 
(3) We can repeat (4.2) as many times as needed to get to  . (we can do the above the other way around, using  to get from  to  , because f is BIholomorphic) Then  is biholomorphic where  was defined to be biholomorphic.* Then we know, by the theorem that was proven on the other day, that they are the same biholomorphism. So we know that there exists a single open set C that includes  where not only the biholomorphism  that maps d to c exists, but also
Corollary.
There exists a unique superlogarithm for  that uniquely bijects holomorphically each simple initial region of arbitrary "width" in an open set C that: (1) contains in its boundary fixed points of exp_b; (2) does not include branch cuts of the superlogarithm; to its resp. vertically infinite strip of arbitrary width in ) .
*Now I don't know if  in  . It must have something to do with the condition  = c) . For your theorem to apply, I need to prove that both A1 and A2 are equal in some neighborhood of d.
Posts: 1,389
Threads: 90
Joined: Aug 2007
(06/21/2009, 11:22 PM)BenStandeven Wrote: Of course, this procedure might not help if the derivatives at the fixed points are positive reals (or are 0). In that case, near the fixed points, the expanded won't be any closer to than the original one was.
Right, this would make up an extra case; also it needs to be investigated whether this case allows an initial region at all. However for  ,  this is already satisfied.
Posts: 1,389
Threads: 90
Joined: Aug 2007
(06/22/2009, 12:37 AM)Tetratophile Wrote: and added "f has no other fixed points", because I thought other fixed points would mess things up. Well, but  *has* more fixed points. In every strip  < 2\pi i (k+1)) there is a fixed point of  .
Quote:(3) We can repeat (4.2) as many times as needed to get to .
No, we can not.
1. The curve ) may get out of the strip of bijectivity of  what indeed happens for  . (plot the curves!)
2. ) may hit  , i.e. the extension of  overlaps with the original domain. If  meets  at an angle  then ) meets  at an angle )) . So the image curves rotate around L. This includes also the comment of Ben, that if )=0) , i.e. if )) is real, then then the images do not rotate, and hence one would never reach  if it hits  in a different angle.
|