Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Complex fixed points of base-e tetration/tetralogarithm -> base-e pentation
#1
Now that we have the complex plot of tetration, let's look for the complex fixed points.
I know we have the real fixed point at approx. -1.850354529027181418483437788.
I don't have the proper precise tools to investigate the complex fixed points' existence and location with much detale. I am sorry to overburden you, but if someone posted calculation/complex plot of tet(z)-z it would be very nice, as we could see the fixed points as zeros of the function.

If there are complex fixed points, I think the first pair will be somewhere near -W(-1) (+-conjugate).

There probably are more fixed points at impractically large values of z with some specific ratio of real and imaginary parts. (the repeating tetration-pattern fractal roughly repeats at 3.something +- .something*i; the ratio of the real part vs. imaginary part will be relevant, as well as what the fractal (the large-modulus parts of tet(z)) is that repeats. to look for those large fixed points we may use
tlog(tet(z)) - tlog(z) or, to the extent that tlog and tet cancel out, z - tlog(z) (tlog is tetra-logarithm). then we may tetrate the large zeros of z - tlog(z) to get the true value of the fixed points.

Pentation is depending at us!
Reply
#2
(10/13/2009, 03:53 AM)Base-Acid Tetration Wrote: Now that we have the complex plot of tetration, let's look for the complex fixed points.

You mean tetration base e?

Though I think the complex fixed points are not so interesting for pentation.
We have a real fixed point between -2 and -1 for all bases > 1.
And also another real fixed point > 0 in the case b < e^{1/e}.
These fixed points may be used to define pentation.
Otherwise we may ask ourselfes why we define tetration for b< e^{1/e} at the real fixed point and not at complex fixed points.
But maybe I will ponder about the topic some more.
Reply
#3
(10/13/2009, 07:45 AM)bo198214 Wrote: You mean tetration base e?

Though I think the complex fixed points are not so interesting for pentation.
We have a real fixed point between -2 and -1 for all bases > 1.
And also another real fixed point > 0 in the case b < e^{1/e}.

But are we sure that there are no non-real fixed points?

Also to investigate:
will pentation for base e have any non-trivial singularities?
Base-e pentation may be an entire function.
Reply
#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
#5
(10/13/2009, 09:47 PM)Base-Acid Tetration Wrote:
BAT Wrote:Base-e pentation may be an entire function. [unlike tetration]
Shit, I was wrong!
[/quote]

Tetration isn't entire, it's holomorphic over the complex plane cut along the negative reals < -2.
Reply
#6
(10/13/2009, 09:47 PM)Base-Acid Tetration Wrote: Theorem. There exists no entire pentation pen_b(z), for b>1, such that pen(0) = 1.

Either you have to specify that pen must use the principal branch of tetration (the cut is nothing god given, its just a choice to our human preference; the real function lives on Riemann manifolds), or you have to modify your proof and use the singularities of tetration at integers <=-2 (and show before that indeed every tetration has singularities there).
Reply
#7
(10/15/2009, 08:17 AM)andydude Wrote: Tetration isn't entire, it's holomorphic over the complex plane cut along the negative reals < -2.
I said PENTation.

(10/15/2009, 05:01 PM)bo198214 Wrote:
(10/13/2009, 09:47 PM)Base-Acid Tetration Wrote: Theorem. There exists no entire pentation pen_b(z), for b>1, such that pen(0) = 1.

Either you have to specify that pen must use the principal branch of tetration (the cut is nothing god given, its just a choice to our human preference; the real function lives on Riemann manifolds), or you have to modify your proof and use the singularities of tetration at integers <=-2 (and show before that indeed every tetration has singularities there).

I DID say:
BAT Wrote:Let Tet_b(z) be the principal branch of tetration.
I fixed the proof to make this clearer.

I also did say that if we didn't restrict ourselves to the principal branch an entire pentation may be possible:
BAT Wrote:Or alternatively we can incorporate parts of non-prinicipal branches of tetration (analytically continued around z = -2) in our construction of a holomorphic pentation?
I meant if it can just avoid -2, pentation can still be entire.

Now the question is, is it morally good to restrict ourselves to the principal branch?

(BTW, what kind of singularities does Tet have at integers<=-2? Are they all logarithmic-type branch points around which the function winds infinitely many times?)

Let's get back to the point. WHERE THE HECK ARE THE COMPLEX FIXED POINTS?
Reply
#8
(10/15/2009, 09:39 PM)Base-Acid Tetration Wrote: I DID say:
BAT Wrote:Let Tet_b(z) be the principal branch of tetration.
I fixed the proof to make this clearer.

I know that you said it *in the proof*. But its of no use there.
If you have restricting conditions you have to mention them in the theorem, otherwise the theorem is false.

Though I still think the theorem doesnt need this restriction. As I mentioned I think it is still true if you allow the continuation from above onto the ray (-2,-oo) (Like the logarithm is also defined on (0,-oo)) because there are still enough singularities on this ray that you can employ for your proof.
Reply
#9
Are the singularities of tetration branch points, poles or essential singularities?
Reply
#10
(10/16/2009, 08:52 PM)Base-Acid Tetration Wrote: Are the singularities of tetration branch points, poles or essential singularities?

It is well known that there is a logarithmic singularity at -2, which is a specific kind of essential singularity. It is also known that there are essential singularities at -3, -4, etc, but exactly what kind of singularities these are is not well known. What we do know, is that if you exponentiate these singularities a certain number of times, then you get a logarithmic singularity, and if you exponentiate again, then you get zero.
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  pentation and hexation sheldonison 9 6,109 Yesterday, 02:34 PM
Last Post: sheldonison
  Approximation to half-iterate by high indexed natural iterates (base on ShlThrb) Gottfried 1 127 09/09/2019, 10:50 PM
Last Post: tommy1729
  [MSE] Shape of orbit of iterations with base b on Shell-Thron-region Gottfried 3 247 08/18/2019, 02:22 PM
Last Post: sheldonison
  Complex Tetration, to base exp(1/e) Ember Edison 7 888 08/14/2019, 09:15 AM
Last Post: sheldonison
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 1,958 11/07/2017, 11:06 AM
Last Post: sheldonison
Question Analytic matrices and the base units Xorter 2 2,040 07/19/2017, 10:34 AM
Last Post: Xorter
  Base units Xorter 0 1,111 01/22/2017, 10:29 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 10,346 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,136 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Are tetrations fixed points analytic? JmsNxn 2 2,510 12/14/2016, 08:50 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)