Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Complex fixed points of base-e tetration/tetralogarithm -> base-e pentation
BAT Wrote:Base-e pentation may be an entire function. [unlike tetration]
Shit, I was wrong!

[textbook speak]We will now prove that pentation is not entire:

Theorem. There exists no entire Pentation Pen_b(z), for b>1, such that Pen(0) = 1.

Proof. Let Tet_b(z) be the principal branch of tetration. Pentation (big P) satisfies Pen(z+1)=Tet(Pen(z)) We know that for z <= -2, Tet_b(z) has a branch cut, and therefore is not defined/holomorphic. Suppose, contrary to our claim, that there exists an entire function Pen_b(z), such that pen_b(z+1)= Tet_b(Pen_b(z)). By Picard's Little, pen(z), being non-constant (Pen(1) = Tet(Pen(0)) = b), surjects to the (punctured at most once) complex plane. There exist values z for which Tet(z) <= -2, e.g. a portion of the interval (-2,1] where -infinity < Tet(z) < 0; so Pen(z) must not take on these values, for if Pen(z) were to have these values Pen(z+1) would not be defined. Since there exists more than one values, in fact an interval (infinitely many) of such values in that interval, (by continuity of tetration at (-2,1] and the intermediate value theorem), which the Pentation has values in, there must be places in the complex plane on which pentation is not holomorphic. (Let z0 be such a value for which Pen(z0) <= -2. It follows that Pen(z0 + 1) = Tet(Pen(z0)) is undefined, and Pentation is not holomorphic at z0 + 1.); contradiction found. Therefore any entire Pentation must be a constant, trivial Pentation (for which Pen_b(z) is equal to a fixed point of Tet_b(z)). Halmos.
("AM I RIGHT, BO???")

It can be further proven that (1)there exists no entire non-trivial real-to-real n-exponential for n > 3; the proof is left to the reader as an exercise. [/textbook speak]

Now WHERE are teh singularities/branch points of pentation? Or alternatively we can incorporate parts of non-prinicipal branches of tetration (analytically continued around z = -2) in our construction of a holomorphic pentation? Too complex for me! [no pun intended]

Messages In This Thread
RE: Complex fixed points of base-e tetration/tetralogarithm -> base-e pentation - by Base-Acid Tetration - 10/13/2009, 09:47 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  tetration from alternative fixed point sheldonison 22 32,981 12/24/2019, 06:26 AM
Last Post: Daniel
  [MSE] Shape of orbit of iterations with base b on Shell-Thron-region Gottfried 14 5,206 12/13/2019, 02:33 PM
Last Post: Ember Edison
  pentation and hexation sheldonison 9 10,189 09/18/2019, 02:34 PM
Last Post: sheldonison
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 965 09/09/2019, 10:50 PM
Last Post: tommy1729
  Complex Tetration, to base exp(1/e) Ember Edison 7 3,244 08/14/2019, 09:15 AM
Last Post: sheldonison
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 2,733 11/07/2017, 11:06 AM
Last Post: sheldonison
Question Analytic matrices and the base units Xorter 2 2,867 07/19/2017, 10:34 AM
Last Post: Xorter
  Base units Xorter 0 1,510 01/22/2017, 10:29 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 13,954 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,610 01/02/2017, 06:38 AM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)