 Carlson's theorem and tetration - 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: Carlson's theorem and tetration (/showthread.php?tid=496) Carlson's theorem and tetration - mike3 - 08/19/2010 Hi. I found the following easy uniqueness theorem that characterizes the regular tetrational of the base , and perhaps also the whole regular tetrational (with attracting fixed point) (though base- is particularly interesting since it seems that both the regular and non-regular (i.e. Kneser's, etc.) method approach the same tetrational at this base.), with some modification (of condition 4). The conditions are very simple and easy. Theorem: There is a unique complex function satisfying 1. 2. 3. is holomorphic in the entire cut plane with real removed, 4. for all (could be weakened simply to saying the limit exists) Proof: We use what is called Carlson's theorem. Assume and are two different solutions of the above conditions. Then consider . Carlson's theorem says if this function, in the right half-plane, vanishes at every nonnegative integer, and is bounded asymptotically by for some , then it vanishes everywhere. Conditions 1 and 2 imply that and are equal at every nonnegative integer, thus is zero there, and condition 4 implies the asymptotic bounding (if two functions and have a limit at a given point, then the difference does as well) because every function decaying to a fixed value will be bounded in the asymptotic by any exponential (can give proof here if needed to fill this out.). Thus , so and we are done. QED. See: http://mathworld.wolfram.com/CarlsonsTheorem.html Indeed, this says that condition 3 can be weakened to just holomorphism in the right half-plane () and condition 4 to the function being of exponential type of at most in that same right half-plane. The modifications also provide the theorem characterizing the regular tetrationals for . RE: Carlson's theorem and tetration - tommy1729 - 08/19/2010 and how does one construct this superfunction ? one could equally say that the radius = 0 for this parabolic iteration and all taylor series with radius 0 are identical hence ' uniqueness '. but that is of course not intresting. regards tommy1729 RE: Carlson's theorem and tetration - bo198214 - 08/20/2010 (08/19/2010, 08:43 AM)mike3 Wrote: I found the following easy uniqueness theorem that characterizes the regular tetrational of the base , and perhaps also the whole regular tetrational (with attracting fixed point) (though base- is particularly interesting since it seems that both the regular and non-regular (i.e. Kneser's, etc.) method approach the same tetrational at this base.), Hm, you mean that the super-exponential is bounded on the positive real axis by e and is imaginary periodic and hence is (exponentially) bounded on the right halfplane ... This is realy a nice finding, Mike! I guess it can be generalized to arbitrary regular superfunctions as they are always of the form for some function analytic at 0. RE: Carlson's theorem and tetration - sheldonison - 08/20/2010 (08/19/2010, 08:43 AM)mike3 Wrote: Hi. I found the following easy uniqueness theorem that characterizes the regular tetrational of the base , and perhaps also the whole regular tetrational (with attracting fixed point) (though base- is particularly interesting since it seems that both the regular and non-regular (i.e. Kneser's, etc.) method approach the same tetrational at this base.)Mike, When I was working with eta, I noticed the simmilarity between and . As I remember, in the complex plane, sexpLower(z) looked a lot like sexpUpper(z+i), especially as imag(i) increased. I'll try to dig up an old contour graph.... Anyway, there are two solutions at base eta, one, the regular superfunction developed from the fixed point of "e", that goes to infinity as real(z) increases. This is the sexpUpper(z) function which has no singularities, and real(z)>e for all z at the real axis. The sexpLower(z) function of eta has a singularity at sexp(z,z=-2), and approaches "e" as real(z) increases to infinity. What you are pointing out is that the sexpLower(z) is a conformal/Kneser map of the sexpUpper(z) which is pretty cool, since it can also be developed from the attracting fixed point at +real infinity=e. Neat! This conformal mapping of one solution into thte other would only work for eta, since baseseta? - Sheldon RE: Carlson's theorem and tetration - mike3 - 08/20/2010 (08/20/2010, 05:08 PM)sheldonison Wrote: When I was working with eta, I noticed the simmilarity between and . As I remember, in the complex plane, sexpLower(z) looked a lot like sexpUpper(z+i), especially as imag(i) increased. I'll try to dig up an old contour graph.... Anyway, there are two solutions at base eta, one, the regular superfunction developed from the fixed point of "e", that goes to infinity as real(z) increases. This is the sexpUpper(z) function which has no singularities, and real(z)>e for all z at the real axis. The sexpLower(z) function of eta has a singularity at sexp(z,z=-2), and approaches "e" as real(z) increases to infinity. What you are pointing out is that the sexpLower(z) is a conformal/Kneser map of the sexpUpper(z) which is pretty cool, since it can also be developed from the attracting fixed point at +real infinity=e. Neat! The two functions (what you call "SexpUpper") and have similar asymptotic behavior, but along the real line, grows toward infinity, and is chaotically-behaved (shows the "fractal structure") in a half-strip containing that line. It's quite a weird function, and because of the tetrational growth I don't see how Carlson's theorem implies anything about it. How does this show the is a Kneser map of ? Quote:I wonder if Carlson's theorem can be used to say anything about bases >eta? - Sheldon Probably not. Those bases diverge, so the tetrational is not exponentially bounded in the right half-plane. RE: Carlson's theorem and tetration - mike3 - 08/20/2010 (08/20/2010, 12:21 PM)bo198214 Wrote: (08/19/2010, 08:43 AM)mike3 Wrote: I found the following easy uniqueness theorem that characterizes the regular tetrational of the base , and perhaps also the whole regular tetrational (with attracting fixed point) (though base- is particularly interesting since it seems that both the regular and non-regular (i.e. Kneser's, etc.) method approach the same tetrational at this base.), Hm, you mean that the super-exponential is bounded on the positive real axis by e and is imaginary periodic and hence is (exponentially) bounded on the right halfplane ... This is realy a nice finding, Mike! Yeah, though for base there is no imaginary periodicity, but still, bounded on the right half plane (actually, the conditions you give that it should be bounded on the positive real axis and on the imaginary do not imply ("hence") it is bounded on the right half plane alone -- see, e.g. translations of the entire "upper regular iteration" along the imaginary axis). Quote:I guess it can be generalized to arbitrary regular superfunctions as they are always of the form for some function analytic at 0. Yes, provided the fixed point is attracting and positive real. RE: Carlson's theorem and tetration - tommy1729 - 08/21/2010 (08/20/2010, 08:35 PM)mike3 Wrote: Quote:I guess it can be generalized to arbitrary regular superfunctions as they are always of the form for some function analytic at 0. Yes, provided the fixed point is attracting and positive real. i believe we need oo to be repelling and f^^n(z) converging for lim n-> oo and any z too. RE: Carlson's theorem and tetration - mike3 - 08/21/2010 (08/21/2010, 08:36 AM)tommy1729 Wrote: (08/20/2010, 08:35 PM)mike3 Wrote: Quote:I guess it can be generalized to arbitrary regular superfunctions as they are always of the form for some function analytic at 0. Yes, provided the fixed point is attracting and positive real. i believe we need oo to be repelling and f^^n(z) converging for lim n-> oo and any z too. You mean , right? For "any" z seems too restrictive: , for example, does have many -values for which its iteration diverges, but these do not show up in the range of the tetrational . RE: Carlson's theorem and tetration - bo198214 - 08/22/2010 (08/20/2010, 08:35 PM)mike3 Wrote: Yeah, though for base there is no imaginary periodicity, but still, bounded on the right half plane (actually, the conditions you give that it should be bounded on the positive real axis and on the imaginary do not imply ("hence") it is bounded on the right half plane alone -- see, e.g. translations of the entire "upper regular iteration" along the imaginary axis). Ya, right of course it needs not only be bounded on the real axis but on the strip around the real axis of period width. But then how you prove the boundedness of the superexponential?