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 BaseAcid 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 (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 , 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 for all applicable z. (for all z such that A(f(z)) is defined)
(2) Let for some .
to be continued
Posts: 1,395
Threads: 91
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 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 BaseAcid 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,395
Threads: 91
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:
for each real .
for each real .
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 cutline 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 BaseAcid 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 complexiterate 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,395
Threads: 91
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 superexponential approaches L for , . Thatswhy the superlogarithm 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. 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 , 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 BaseAcid 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 noninclusive boundaries.
(1) Since is biholomorphic on , will still be biholomorphic on the curve , because if is biholomorphic, so is .
(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 . For your theorem to apply, I need to prove that both A1 and A2 are equal in some neighborhood of d.
Posts: 1,395
Threads: 91
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,395
Threads: 91
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 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 , 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.
