Complex fixed points of base-e tetration/tetralogarithm -> base-e pentation
#4
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]
Reply


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 with complex bases TetrationSheep 0 768 11/13/2025, 10:33 AM
Last Post: TetrationSheep
  Real tetration as a limit of complex tetration Daniel 5 9,569 06/20/2023, 07:52 PM
Last Post: tommy1729
  [2sinh] exp(x) - exp( - (e-1) x), Low Base Constant (LBC) 1.5056377.. tommy1729 3 5,911 04/30/2023, 01:22 AM
Last Post: tommy1729
  Down with fixed points! Daniel 1 2,793 04/29/2023, 11:02 PM
Last Post: tommy1729
  Real and complex tetration Daniel 13 17,347 04/04/2023, 10:25 AM
Last Post: JmsNxn
  Evaluating Arithmetic Functions In The Complex Plane Caleb 6 8,736 02/20/2023, 12:16 AM
Last Post: tommy1729
  Iteration with two analytic fixed points bo198214 62 73,008 11/27/2022, 06:53 AM
Last Post: JmsNxn
  Range of complex tetration as real Daniel 2 4,984 10/22/2022, 08:08 PM
Last Post: Shanghai46
  From complex to real tetration Daniel 3 6,349 10/21/2022, 07:55 PM
Last Post: Daniel
  What are the types of complex iteration and tetration? Daniel 5 8,235 08/17/2022, 02:40 AM
Last Post: JmsNxn



Users browsing this thread: 2 Guest(s)