Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Change of base formula using logarithmic semi operators
#1
Well, to start off, I'll give the formula for base conversion and then I'll give the motivation for the definition. Knowledge of Logarithmic semi-operators is required:
http://math.eretrandre.org/tetrationforu...hp?tid=653

First we require definition of a new operator:



which is basically the summation operator but with alternating operators each time. The bracketing is important. We evaluate the lower operators first.

With this, the change of base formula is given as:




which I'll evaluate for 2 and 3, and hopefully you'll see the pattern. It's very simple. Remembering that for







so on and so forth.

And for iterated logarithms, the base conversion formula is given as:



I'll leave it to you to figure out how I got that. It's essentially the exact same concept.

The interesting thing is that we get an odd continuum sum-like object for defining tetration:



which for natural arguments becomes:


Now to just solidify it a bit. Given by gottfried's result here:
http://math.eretrandre.org/tetrationforu...653&page=3

which he also got from mike3

the sequence



converges to a set value, and is reexpressable as:




which of course, looks a lot like our change of base formula when x is 1... So putting them together we get:



which is like coming around full circle so we can be sure this method works.
Reply
#2
(07/05/2011, 11:44 PM)JmsNxn Wrote: .....
Now to just solidify it a bit. Given by gottfried's result here:
http://math.eretrandre.org/tetrationforu...653&page=3

which he also got from mike3

the sequence



converges to a set value, and is reexpressable as:




which of course, looks a lot like our change of base formula when x is 1... So putting them together we get:



which is like coming around full circle so we can be sure this method works.

I'm not sure if this is the same thing or not, but earlier we looked at defining sexp_e(z) (or any other base) from cheta(z), where "k" is a constant chosen so the limit for sexp_e(0)=1. Here and refer to the upper super exponential for base , cheta(z) and its inverse.




I'm not sure if this is the same as what you're getting at or not. We call this definition of sexp, the base change function, which is at the real axis and, see this post, it is conjectured to be nowhere analytic. The base change function has many very interesting properties, in that at the real axis, there is a small 1-periodic wobble connecting it to the "correct" sexp function.
- Sheldon
Reply
#3
Oh no, this isn't that at all Tongue

This is just a simple formula to change the base of a power tower for natural integers.


however, this does provide an interesting continuum like sum for:



where f(z) is given by:



mike noted that as z goes to infinity, f(z) converges if x=1 and b=3.

I've seen these alternating operators before. They seem very intimidating, but I feel like there's something powerful about 'em.
Reply
#4
(07/07/2011, 03:56 AM)JmsNxn Wrote: Oh no, this isn't that at all Tongue

This is just a simple formula to change the base of a power tower for natural integers.


however, this does provide an interesting continuum like sum for:



where f(z) is given by:



mike noted that as z goes to infinity, f(z) converges if x=1 and b=3.

I've seen these alternating operators before. They seem very intimidating, but I feel like there's something powerful about 'em.
So, what you have is a way to evaluate the tower of exponents and logarithms. I have to study it more. I know the short-cut for , but I don't know any short-cuts for taller towers, like . That tower sequence is very similar to the base change constant. If you have an alternative equation to evaluate higher towers, that would be very interesting. Could you write out the equation for ? As you noted, in the limit, this sequence from your earlier post converges.
Quote:

Let us call the value the sequence conveges to . If you take the equation, , then it is the same as this limit, for the constant "k" for the base change equation,
.
This is the "k" constant for:


For large enough numbers, k is an approximation for how the delta for how the two different sexp bases would represent large numbers. You might expect that the "k" constant represented how to convert from one sexp base to another, but the value is only approximate, and in fact has a 1-cyclic period. For base e, and base eta, the 1-cyclic function k(z) function is approximately 0.5835+/-0.0004

- Sheldon
Reply
#5
(07/07/2011, 05:02 AM)sheldonison Wrote: So, what you have is a way to evaluate the tower of exponents and logarithms. I have to study it more. I know the short-cut for , but I don't know any short-cuts for taller towers, like . That tower sequence is very similar to the base change constant. If you have an alternative equation to evaluate higher towers, that would be very interesting. Could you write out the equation for ? As you noted, in the limit, this sequence from your earlier post converges.





where





Quote:Let us call the value the sequence conveges to . If you take the equation, , then it is the same as this limit, for the constant "k" for the base change equation,
.
This is the "k" constant for:


For large enough numbers, k is an approximation for how the delta for how the two different sexp bases would represent large numbers. You might expect that the "k" constant represented how to convert from one sexp base to another, but the value is only approximate, and in fact has a 1-cyclic period. For base e, and base eta, the 1-cyclic function k(z) function is approximately 0.5835+/-0.0004

- Sheldon

that's really quite interesting
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Semi-exp and the geometric derivative. A criterion. tommy1729 0 1,123 09/19/2017, 09:45 PM
Last Post: tommy1729
  Hyper operators in computability theory JmsNxn 5 3,442 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,330 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Extrapolated Faá Di Bruno's Formula Xorter 1 1,861 11/19/2016, 02:37 PM
Last Post: Xorter
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 35,345 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 15,287 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 3,266 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Bounded Analytic Hyper operators JmsNxn 25 17,998 04/01/2015, 06:09 PM
Last Post: MphLee
  [2015] 4th Zeration from base change pentation tommy1729 5 5,248 03/29/2015, 05:47 PM
Last Post: tommy1729
  Conjecture on semi-exp base change [2015] tommy1729 0 1,550 03/24/2015, 03:14 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)