Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
[UFO] - a contradiction in assuming continuous tetration?
(08/23/2010, 10:03 PM)Gottfried Wrote:
(08/23/2010, 09:08 PM)mike3 Wrote: The problem is that on the complex plane, the continuum iteration is multivalued. (...)

Indeed, this paradox shows that no matter how we may try to extend to the -plane, we cannot make it injective, at least if our is continuous (up to a cut, anyway).

Hi Mike -
yes, I think the multivaluedness of the log propagates to the slog, and that this gives problems for the tetrate in the complex plane.
However I can't follow completely. The multivaluedness of the log does not imply, that at each point z the log(exp(z)) is arbitrary; it is multivalued, but the different values are distinct. If we look at a small delta-region around z, the images of log(exp(z+delta)) are continuous around each of the multiple values of log(exp(z)), isn't it? (I mean except of the cut-line). I think, the multivaluedness gives continuous orbits but on distinct pathes, and not, say, continuous "smeared regions" of arbitrary change of direction for some continuous real delta-height.

Hmm - I've near null experience in discussion of such matter, so please bear with me if I'm wrong here or expressed myself unclear.


Not arbitrary, ambiguous, in that there isn't a single answer. What's arbitrary is the choice of a certain specific "principal value" for tetration/slog (or any other multivalued functions for that matter.).

This explains what is going on. The iteration of exp, for non-integer real , that we apply upon reaching the real number , is "ambiguous" (as was itself): the path walking it along the real line is not the only valid one -- the path on the remaining part of the "spiral" is another, and this is what resolves your paradox. To get it, you just use a different branch of , namely the one for which (with being the principal branch of .).

And no, it doesn't give a continuous smear, but a countably infinite discrete set of "valid" paths (there's a proof that any Riemann-multifunction can only have countably many values). These may or may not be dense in the plane, I don't know.

EDIT: Here's a graph which shows the principal path, using the Cauchy-integral tetrational (presumably also equivalent to the Kneser and "intuitive" Abel matrix tetrationals). It is obvious that a branch change is required at some point(s) along the way to keep following it. Numerical testing suggests that the failure occurs at , and this is where we must leave the principal branch of . Note it happens shortly before the path hits the real axis. This means further real-height iteration will not move us along the real axis for that point that is on it. There are additional points where we must change branch again and again all along the path, but I currently don't have a good way to access arbitrary branches of (it has a very complex, nested structure. Tetration is much more complicated than exponentiation, as you may have noticed here!).


Messages In This Thread
RE: [UFO] - a contradiction in assuming continuous tetration? - by mike3 - 08/24/2010, 01:39 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Possible continuous extension of tetration to the reals Dasedes 0 1,383 10/10/2016, 04:57 AM
Last Post: Dasedes
  [Update] Comparision of 5 methods of interpolation to continuous tetration Gottfried 30 29,803 02/04/2014, 12:31 AM
Last Post: Gottfried
  Continuous iteration from fixed points of base e jaydfox 22 24,979 11/22/2007, 09:08 PM
Last Post: jaydfox
  Continuous iteration Daniel 11 13,529 09/09/2007, 08:37 AM
Last Post: bo198214
  Continuous iteration of fractals Daniel 0 2,869 08/30/2007, 09:55 PM
Last Post: Daniel

Users browsing this thread: 1 Guest(s)