Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Carlson's theorem and tetration

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

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.


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 .

Messages In This Thread
Carlson's theorem and tetration - by mike3 - 08/19/2010, 08:43 AM
RE: Carlson's theorem and tetration - by bo198214 - 08/20/2010, 12:21 PM
RE: Carlson's theorem and tetration - by mike3 - 08/20/2010, 08:35 PM
RE: Carlson's theorem and tetration - by mike3 - 08/21/2010, 08:08 PM
RE: Carlson's theorem and tetration - by bo198214 - 08/22/2010, 05:12 AM
RE: Carlson's theorem and tetration - by mike3 - 08/20/2010, 08:26 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Some "Theorem" on the generalized superfunction Leo.W 44 9,045 09/24/2021, 04:37 PM
Last Post: Leo.W
  tommy's singularity theorem and connection to kneser and gaussian method tommy1729 2 432 09/20/2021, 04:29 AM
Last Post: JmsNxn
  Theorem in fractional calculus needed for hyperoperators JmsNxn 5 11,711 07/07/2014, 06:47 PM
Last Post: MphLee
  [2014] tommy's theorem sexp ' (z) =/= 0 ? tommy1729 1 5,054 06/17/2014, 01:25 PM
Last Post: sheldonison
  Theorem on tetration. JmsNxn 0 2,873 06/09/2014, 02:47 PM
Last Post: JmsNxn
  Vincent's theorem and sin(sexp) ? tommy1729 0 2,997 03/22/2014, 11:46 PM
Last Post: tommy1729
  number theory EPNT : extended prime number theorem tommy1729 0 3,234 08/23/2012, 02:44 PM
Last Post: tommy1729
  Weak theorem about an almost identical function: PROOF Kouznetsov 3 8,734 11/14/2008, 01:11 PM
Last Post: Kouznetsov

Users browsing this thread: 1 Guest(s)