Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Extending tetration to base e
See my exact solution for base e^(1/e) for background. Assuming the solution I provided is accepted as unique (i.e., correct), it should provide strength to the claim that the following solution is correct as well.

Let's start with the basics. Here, for brevity, assume that eta is e^(1/e). (Eta looks like an "n", but it's effectively a greek letter "e", and given its relationship to the constant e, I thought it would make a good symbol.)

Okay, so far, so good. Now, try this one on for size:

Interesting... But is this useful? Well, let's go one more:

Hopefully it's apparent where I'm going with this. Let y be the mth tetration of e, with m=5 sufficient to exceed machine precision in all practical circumstances (when evaluating delta at m-1=4).

Fascinating. But still, is this useful? Well, for this, we need a new function, based on tetration of base eta, but which equals e at negative infinity, and which equals something greater than e at y = 0. Think of it as taking eta^^y just below its asymptote, all the way to infinity and beyond, wrapping around at negative infinity, but just above the asymptote instead of below. I call this new function eta_b-check, where b is a particular base we're interesting in. Here's how it looks, omitting the b for the assumed base e.

(The proof that there is a unique solution for eta-check is very similar to the one I gave for the tetration of eta. I can provide it in a separate post if required.)

As it turns out, we can even find the exact value of eta_b-check(0) with arbitrary precision, relative to any particular base. And I know that I'm not the first to find this function. At the very least, Peter Walker described its inverse, or something very similar, if I'm reading his paper correctly. So this function is not new. However, I haven't seen the following proof (Peter had something very close, so again, I can't take all the credit, if I can even take any at all.)

It turns out, there exists an exponent mu for eta-check such that:

I say sufficiently large, but really we're talking about a limit as we go to infinity. But beyond a certain point, mu increases pretty much linearly with y, with extreme precision (this has a very significant interpretation, which I'll get to if someone doesn't beat me to the punch). For y=4 or 5 or so, computer precision is not sufficient to tell the limited value of mu from the "approximate" value.

Anyway, here comes the fun part:


For sufficiently large y, this function is effectively exact (it is exact when you take the limit to infinity). Furthermore, notice that I swapped out the integer m for the real exponent y. Finally, notice that if eta-check is unique as I claim it is, then the tetration of base e that I just defined has a very strong claim on uniqueness. In other words, if some other method does not agree, I claim that this function is "correct", and the other function is displacing its exponents by some cyclic function.

Messages In This Thread
Extending tetration to base e - by jaydfox - 08/10/2007, 06:54 AM
RE: Extending tetration to base e - by jaydfox - 08/10/2007, 07:45 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Complex Tetration, to base exp(1/e) Ember Edison 7 2,264 08/14/2019, 09:15 AM
Last Post: sheldonison
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,408 01/02/2017, 06:38 AM
Last Post: JmsNxn
  tetration base sqrt(e) tommy1729 2 3,425 02/14/2015, 12:36 AM
Last Post: tommy1729
  Explicit formula for the tetration to base [tex]e^{1/e}[/tex]? mike3 1 3,071 02/13/2015, 02:26 PM
Last Post: Gottfried
  tetration base > exp(2/5) tommy1729 2 3,217 02/11/2015, 12:29 AM
Last Post: tommy1729
  regular tetration base sqrt(2) : an interesting(?) constant 2.76432104 Gottfried 7 9,439 06/25/2013, 01:37 PM
Last Post: sheldonison
  tetration base conversion, and sexp/slog limit equations sheldonison 44 56,586 02/27/2013, 07:05 PM
Last Post: sheldonison
  simple base conversion formula for tetration JmsNxn 0 3,362 09/22/2011, 07:41 PM
Last Post: JmsNxn
  Does anyone have taylor series approximations for tetration and slog base e^(1/e)? JmsNxn 18 21,822 06/05/2011, 08:47 PM
Last Post: sheldonison
  Funny method of extending tetration? mike3 1 3,297 11/02/2010, 12:20 PM
Last Post: Gottfried

Users browsing this thread: 1 Guest(s)