Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Uniqueness Criterion for Tetration
In Andrew Robbins paper [1], he mentions three properties, two of which are applicable to tetration:

Property 1. Iterated exponential property
for all real y.

Property 3. Infinite differentiability property
exists for all integer k.

At the bottom of page three, Andrew goes on to say:
Quote:It is the goal of this paper, however, to show that these properties are sufficient to find such an extension, and that the extension found will be unique.

So, I set out to work on a hunch I had (see my posts on sci.math.research for the line of study I was on when I had this hunch), and came up with the following formula:

Here, is a constant that shifts the function left or right so that it's in the "correct" place. means iterating the logarithm m times.

Of course, due to the nature of the formula, even if you can find a suitable for a particular value (e.g., x^^0=1), the formula won't precisely satisfy property 1 unless you take the limits all the way to infinity. But it can get close enough with a relatively small m so that it exceeds the precision of any possible physical computer.

But the point is, the function is infinitely differentiable, satisying property 3. And, as m and n are increased sufficiently to the point where machine precision is exceeded, property 1 is satisfied as well.

However, a quick check shows that the values calculated by my formula aren't remotely close to Andrews.

I started to panic at this point. Andrew's method aims to satisfy both properties 1 and 3, and I was fairly certain (without writing a very long and esoteric proof) that my formula does as well, and yet we get very different answers. How could this be?

And then it hit me. Think of the iterated multiplication formula (you know, "exponentiation"). It satisfies the following three criteria (the first to give us a known reference point):

Okay, so that's sufficient to define the Exponentiation function uniquely, right?

Well, what about this formula:

Is Property 1b (iterated multiplication property) still valid?

The sine function has a period of 1, so this function still has property 1. And this trivial change obviously hasn't altered the infinite differentiability property either. So as you can see, properties 1 and 3, unfortunately, are not sufficient to define a unique solution.

Note: I made a similar claim about the Gamma function in a personal correspondence with Andrew Robbins, but after thinking it through, I realize I was mistaken in that particular case. Because the Gamma function is fixed relative to its input values, its inputs cannot be shifted around.

Iterated multiplication (i.e., exponentiation) does not suffer this drawback. Of course, this makes defining the "correct" formula for iterated multiplication a little tricky. Pretend you know nothing about exponentiation, and try to figure out the "correct" formula. One can interpolate with square roots, cube roots, etc., which only gives you values for rational inputs. Using Cauchy sequences, one could prove that this extends to real answers, but until one comes up with a series expansion or defines a limit for repeated multiplication by , for example, how can one be sure their solution is correct?

So, never fear. My formula can satisfy both of these properties and still be "wrong". I'm not upset about it, because now I have a new pursuit: trying to define a third uniqueness criterion (fourth if you count a reference point as a criterion).

I'd be interested if anyone knows of any resources that give a good such criterion, including a decent explanation of why that criterion is a good one.

[1] Robbins, Andrew (2005)
Solving for the Analytic Piecewise Extension of Tetration and the Super-logarithm

PS: I've never used TeX before, so apologies if I went overboard.

Edit: Moved postscript and updated LaTeX formats (I'm still learning how to use this).

Messages In This Thread
Uniqueness Criterion for Tetration - by jaydfox - 08/09/2007, 07:01 AM
RE: Uniqueness Criterion for Tetration - by UVIR - 08/12/2007, 10:52 PM
RE: Uniqueness Criterion for Tetration - by UVIR - 08/13/2007, 01:33 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 6 4,565 03/19/2021, 01:25 PM
Last Post: tommy1729
  Semi-exp and the geometric derivative. A criterion. tommy1729 0 2,497 09/19/2017, 09:45 PM
Last Post: tommy1729
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 19,748 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 25,355 01/09/2017, 02:41 AM
Last Post: Gottfried
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 2,667 03/19/2016, 10:44 AM
Last Post: fivexthethird
  [2014] Uniqueness of periodic superfunction tommy1729 0 3,090 11/09/2014, 10:20 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 35,164 06/15/2014, 10:17 PM
Last Post: tommy1729
  exp^[1/2](x) uniqueness from 2sinh ? tommy1729 1 3,734 06/03/2014, 09:58 PM
Last Post: tommy1729
  Uniqueness of Ansus' extended sum superfunction bo198214 4 10,001 10/25/2013, 11:27 PM
Last Post: tommy1729
  A question concerning uniqueness JmsNxn 3 8,172 10/06/2011, 04:32 AM
Last Post: sheldonison

Users browsing this thread: 1 Guest(s)