• 1 Vote(s) - 5 Average
• 1
• 2
• 3
• 4
• 5
 Universal uniqueness criterion? bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/19/2009, 02:51 PM (06/19/2009, 02:04 PM)Tetratophile Wrote: "We call a region H an initial region of F iff F(z) {is not in} H for all z {in} H..." does this mean $\exists z : F(z) \notin H$ (there is SOME z such that F(z) is NOT in H) or $\forall z (F(z) \notin H$) (there is NO z such that F(z) IS in H)? $\forall z\in H: F(z)\notin H$. Base-Acid Tetration Fellow Posts: 94 Threads: 15 Joined: Apr 2009 06/19/2009, 04:19 PM (This post was last modified: 06/19/2009, 04:41 PM by Base-Acid Tetration.) "the function log(z) is holomorphic on {the whole complex plane except real numbers less than 0}" : WRONG! the taylor series doesn't converge for real numbers z>2. bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/19/2009, 04:53 PM (06/19/2009, 04:19 PM)Tetratophile Wrote: "the function log(z) is holomorphic on {the whole complex plane except real numbers less than 0}" : WRONG! the taylor series doesn't converge for real numbers z>2. holomorphic on $G$ does not mean that the powerseries at 1 converges at every $z\in G$. It means that $f$ is complex differentiable at every $z_0\in G$ which is equivalent that it has a powerseries development (with non-zero convergence radius) at every $z_0\in G$. The only singularity of the logarithm is 0. That means you can analytically continue $\log$ from 1 along every path that not contains 0. However if there are different paths to one point $z_1$ the values of the continuations may differ at $z_1$ by multiples of $2\pi i$ depending on how often the path revolves around the singularity 0. To exclude different values (branches) of the logarithm, one chooses the domain of the logarithm with a cut e.g. at $\Re(z)<0$. Hence there no path can revolve completely around 0 and the continuation of the logarithm to any point $z_1$ of the complex plane except the cut has only one value. Base-Acid Tetration Fellow Posts: 94 Threads: 15 Joined: Apr 2009 06/19/2009, 05:17 PM (This post was last modified: 06/19/2009, 06:22 PM by Base-Acid Tetration.) In your paper it says something like: "There exists only one holomorphic superlogarithm with b>e^1/e that maps G biholomorphically to *some* region with upper and lower unbounded imaginary part" That must mean that we still don't know WHAT region the superlogarithm must map G (the crescent moon thingy) to. So our different tetration methods might map G to different infinitely long strips of width 1. So the condition you proved cannot be a uniqueness condition! Here's the problem, represented with very sloppy ascii art, with the "uniqueness condition": Code:- it could be (groups of two bars represent the infinitely long strip): ||or  \\ or... yeah, basically anything with width 1 that contains part of Re[z]=0 ! \\       \\    \\      ||    ||     ||    ||     ||    ||     ||    //      || //       // ||or  // bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/19/2009, 06:25 PM (This post was last modified: 06/19/2009, 06:30 PM by bo198214.) (06/19/2009, 05:17 PM)Tetratophile Wrote: "There exists only one holomorphic superlogarithm with b>e^1/e that maps G biholomorphically to *some* region with upper and lower unbounded imaginary part" That must mean that we still don't know WHAT region the superlogarithm must map G (the crescent moon thingy) to. So our different tetration methods might map G to different infinitely long strips of width 1.Yes exactly. If you have one super-logarithm that maps G to *some* region $H_1$ and another super-logarithm that maps G to *some other* region $H_2$, and both super-logarithms satisfies the other conditions of the proposition, then they must be equal. Hence this assumption of different images was already wrong: the images are equal $H_1=H_2$. Not sure why you think it wouldnt work. The only problem with our tetration methods may be the biholomorphy, the bijectivity of the super-logarithm on the initial region (or merely the holomorphy for some methods). Base-Acid Tetration Fellow Posts: 94 Threads: 15 Joined: Apr 2009 06/19/2009, 06:27 PM (This post was last modified: 06/19/2009, 07:41 PM by Base-Acid Tetration.) (06/19/2009, 06:25 PM)bo198214 Wrote: Yes exactly. If you have one super-logarithm that maps G to *some* region $H_1$ and another super-logarithm that maps G to *some other* region $H_2$, and both super-logarithms satisfies the other conditions of the proposition, then they must be equal. Hence this assumption of different images was already wrong: the images are equal $H_1=H_2$. Can you reproduce the proof here? (06/19/2009, 06:25 PM)bo198214 Wrote: Not sure why you think it wouldnt work. The only problem with our tetration methods may be the biholomorphy or merely the holomorphy.Because your paper said there is only one tetration/superlogarithm that maps g to SOME strip. I missed the beginning of the proof, that f and g were assumed to map G to different strips. EDIT; ok, you proved that f and g really map G and the strip equally, so they are the same holomorphic function. Cool, now we have to prove the biholomorphicity of the different tetration methods between G and the strip, and according to the theorem, since they are all tetration/tetralogarithm (superfunction/Abel function of exponential), they are all the same. Does the applicabilty of theorem 1 only require that the function F (in the case of tetration, exp) is holomorphic, and F (exp_b, b>e^1/e) has no real fixed points? Then what are you guys griping about in threads like Bummer!? bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/19/2009, 07:59 PM (06/19/2009, 06:27 PM)Tetratophile Wrote: Cool, now we have to prove the biholomorphicity of the different tetration methods between G and the strip, and according to the theorem, since they are all tetration/tetralogarithm (superfunction/Abel function of exponential), they are all the same. But it could also occur that one slog is biholomorphic on one initial region A but not on B, while another slog is biholomorphic on the initial region B, but not on A. I think if both initial regions belong to the same fixed point pair, then both slogs are analytic continuations of each other, i.e. basically the same holomorphic function. But this is not yet proven. There should also be an example of a quartic, that has two pairs of conjugated fixed points, and that has two different Abel functions, each biholomorphic on an initial region belonging to one fixed point pair. Quote: Does the applicabilty of theorem 1 only require that the function F (in the case of tetration, exp) is holomorphic, and F (exp_b, b>e^1/e) has no real fixed points? Well you just need a fixed point pair and an initial region belonging to it. If both fixed points are on the real axis, then there is no initial region between them. Better chances have (complex) conjugated fixed points. Quote:Then what are you guys griping about in threads like Bummer!? About different regular Abel/super functions developed at different fixed points on the real axis. bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/20/2009, 07:44 AM (06/20/2009, 04:33 AM)Tetratophile Wrote: Haven't you already proved that for superlogarithms? ("for "each" simple intial region G (if both "boundaries", $\partial_1 G$ and $\partial_2 G$, are bounded by the fixed points of F, wouldn't that satisfy the criteria for being a simple region?) ... there exists at most one holomorphic Abel function for F...") No, the uniqueness depends on the initial region G. If we have two Abel functions biholomorphic on two different initial regions (even if those different initial regions belong to the same fixed point pair) the proposition is not applicable. Base-Acid Tetration Fellow Posts: 94 Threads: 15 Joined: Apr 2009 06/20/2009, 02:01 PM (This post was last modified: 06/20/2009, 02:05 PM by Base-Acid Tetration.) (06/19/2009, 07:59 PM)bo198214 Wrote: I think if both initial regions belong to the same fixed point pair, then both slogs are analytic continuations of each other, i.e. basically the same holomorphic function. But this is not yet proven. I'll try to prove that this summer. just give me all the relevant facts. bo198214 Wrote:two Abel functions biholomorphic on two different initial regionstwo Abel functions: A1(f1(x)) = A1(x) + 1 , A2(f2(x)) = A2(x) + 1 you mean two different abel functions, (1) where f1, f2 are different functions? or do A1, A2 map the same point to different values? (for sake of argument, a "superlogarithm" that does slog(0) = 0) bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/20/2009, 02:10 PM (06/20/2009, 02:01 PM)Tetratophile Wrote: (06/19/2009, 07:59 PM)bo198214 Wrote: I think if both initial regions belong to the same fixed point pair, then both slogs are analytic continuations of each other, i.e. basically the same holomorphic function. But this is not yet proven. I'll try to prove that this summer. just give me all the relevant facts.ok, so we compete Quote:two Abel functions: A1(f1(x)) = A1(x) + 1 , A2(f2(x)) = A2(x) + 1 you mean two different abel functions, (1) where f1, f2 are different functions? or do A1, A2 map the same point to different values? (for sake of argument, a "superlogarithm" that does slog(0) = 0) two Abel functions A1, A2 of the same function f A1(f(x))=A(x)+1, A2(f(x))=A2(x)+1, A1(d)=A2(d)=c. but A1 is defined on the initial region G1 and A2 is defined on the initial region G2. Of course $d\in G_1\cap G_2\neq \emptyset$. « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Semi-exp and the geometric derivative. A criterion. tommy1729 0 1,630 09/19/2017, 09:45 PM Last Post: tommy1729 A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 13,595 02/17/2017, 05:21 AM Last Post: JmsNxn Uniqueness of half-iterate of exp(x) ? tommy1729 14 17,889 01/09/2017, 02:41 AM Last Post: Gottfried Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,837 03/19/2016, 10:44 AM Last Post: fivexthethird [2014] Uniqueness of periodic superfunction tommy1729 0 2,242 11/09/2014, 10:20 PM Last Post: tommy1729 Real-analytic tetration uniqueness criterion? mike3 25 25,074 06/15/2014, 10:17 PM Last Post: tommy1729 exp^[1/2](x) uniqueness from 2sinh ? tommy1729 1 2,615 06/03/2014, 09:58 PM Last Post: tommy1729 Uniqueness Criterion for Tetration jaydfox 9 12,537 05/01/2014, 10:21 PM Last Post: tommy1729 Uniqueness of Ansus' extended sum superfunction bo198214 4 7,528 10/25/2013, 11:27 PM Last Post: tommy1729 A question concerning uniqueness JmsNxn 3 6,281 10/06/2011, 04:32 AM Last Post: sheldonison

Users browsing this thread: 1 Guest(s)