• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Change of base formula using logarithmic semi operators JmsNxn Long Time Fellow Posts: 303 Threads: 69 Joined: Dec 2010 07/05/2011, 11:44 PM (This post was last modified: 07/05/2011, 11:47 PM by JmsNxn.) 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: $x\,\,\sum_{n=0}^{R} \bigtriangleup_{n}\,\,f(n) = ((x + f(0))\,\,\bigtriangleup_{1} f(1)) \,\,\bigtriangleup_{2} f(2))...\bigtriangleup_{R}\,\,f( R )$ 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: $x \in C;t \in R,\,\,t \ge 1$ $\exp_b^{\circ t}(x) = \exp_e^{\circ t}(x \sum_{n=0}^{t-1} \bigtriangleup_{-n+1}^e\,\,\ln^{\circ n+1}(b))$ which I'll evaluate for 2 and 3, and hopefully you'll see the pattern. It's very simple. Remembering that for $p \le 0$ $e^{x\,\,\bigtriangleup_{p}^e\,\,y} = e^x \,\, \bigtriangleup_{p+1}^e\,\,e^y$ $e^{e^{ln(b)\cdot x + \ln^{\circ 2}(b)} = e^{ln(b)\cdot e^{\ln(b) \cdot x} = b^{b^x}$ $e^{e^{e^{(x\cdot \ln(b) + \ln^{\circ 2}(b))\,\,\bigtriangleup_{-1}^e\,\,\ln^{\circ 3}(b)}}} = e^{e^{e^{(x\cdot \ln(b) + \ln^{\circ 2}(b))} + e^{\ln^{\circ 3}(b)}}} = b^{b^{b^x}}$ so on and so forth. And for iterated logarithms, the base conversion formula is given as: $\log_b^{\circ t}(x) = \ln^{\circ t}(x) \sum_{n=0}^{t-1} \bigtriangledown_{n-t+2}^e \ln^{\circ t-n}(b)$ 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: $\text{sexp}_b(z) = \,\,^zb = \exp^{\circ z}(1 \sum_{n=0}^{z-1} \bigtriangleup_{-n+1}\,\,\ln^{\circ n+1}(b))$ which for natural arguments becomes: $\text{sexp}_b(k) = \,\,^kb = \exp^{\circ k}(1 \sum_{n=0}^{k-1} \bigtriangleup_{-n+1}\,\,\ln^{\circ n+1}(b)) = \exp^{\circ k}(\ln(b) + \ln^{\circ 2}(b)\,\, \bigtriangleup_{-1}^{e}\,\, \ln^{\circ 3}(b) \,\,\bigtriangleup_{-2}^e\,\,...\ln^{\circ k}(b))$ 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 $a_n$ $a_1 = \ln(b)\\a_2 = \ln(\ln(b^b))\\a_3 = \ln(\ln(\ln(b^{b^b})))$ converges to a set value, and is reexpressable as: $a_2 = \ln(b) + \ln^{\circ 2}(b)$ $a_3 = (\ln(b) + \ln^{\circ 2}(b))\bigtriangleup_{-1}^e \ln^{\circ 3}(b)$ which of course, looks a lot like our change of base formula when x is 1... So putting them together we get: $\text{sexp}_b(z) = \exp^{\circ z}(\ln^{\circ z}(\exp_b^{\circ z}(1))$ which is like coming around full circle so we can be sure this method works. sheldonison Long Time Fellow Posts: 644 Threads: 22 Joined: Oct 2008 07/06/2011, 02:18 PM (This post was last modified: 07/06/2011, 03:16 PM by sheldonison.) (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 $a_n$ $a_1 = \ln(b)\\a_2 = \ln(\ln(b^b))\\a_3 = \ln(\ln(\ln(b^{b^b})))$ converges to a set value, and is reexpressable as: $a_2 = \ln(b) + \ln^{\circ 2}(b)$ $a_3 = (\ln(b) + \ln^{\circ 2}(b))\bigtriangleup_{-1}^e \ln^{\circ 3}(b)$ which of course, looks a lot like our change of base formula when x is 1... So putting them together we get: $\text{sexp}_b(z) = \exp^{\circ z}(\ln^{\circ z}(\exp_b^{\circ z}(1))$ 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 $\text{sexp}_\eta$ and $\text{slog}_\eta$ refer to the upper super exponential for base $\eta$, cheta(z) and its inverse. $\text{sexpBaseChange}_e(z) = \lim_{n \to\infty}\log^{[n]}\text{sexp}_\eta(z+k+n)$ $k=\lim_{n \to \infty} {\text{slog}_\eta(\exp^{[n]}(1))-n$ 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 $C_\infty$ 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 JmsNxn Long Time Fellow Posts: 303 Threads: 69 Joined: Dec 2010 07/07/2011, 03:56 AM Oh no, this isn't that at all 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: $f(z) = x \cdot \ln(b) + \ln^{\circ 2}(b)\,\,\bigtriangleup_{-1}^e\,\,\ln^{\circ 3}(b)\,\,\bigtriangleup_{-2}^e\,\,\ln^{\circ 4}(b)...\,\,\bigtriangleup_{2-z}^e\,\,\ln^{\circ z}(b)$ where f(z) is given by: $f(z) = \exp_e^{\circ -z}(\exp_b^{\circ z}(x))$ 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. sheldonison Long Time Fellow Posts: 644 Threads: 22 Joined: Oct 2008 07/07/2011, 05:02 AM (This post was last modified: 07/07/2011, 05:05 AM by sheldonison.) (07/07/2011, 03:56 AM)JmsNxn Wrote: Oh no, this isn't that at all 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: $f(z) = x \cdot \ln(b) + \ln^{\circ 2}(b)\,\,\bigtriangleup_{-1}^e\,\,\ln^{\circ 3}(b)\,\,\bigtriangleup_{-2}^e\,\,\ln^{\circ 4}(b)...\,\,\bigtriangleup_{2-z}^e\,\,\ln^{\circ z}(b)$ where f(z) is given by: $f(z) = \exp_e^{\circ -z}(\exp_b^{\circ z}(x))$ 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 $\ln(\ln(b^b))$, but I don't know any short-cuts for taller towers, like $\ln(\ln(\ln(b^{b^b}))$. 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 $a_3$? As you noted, in the limit, this sequence from your earlier post converges. Quote:$a_1 = \ln(b)\\a_2 = \ln(\ln(b^b))\\a_3 = \ln(\ln(\ln(b^{b^b})))$ Let us call the value the sequence conveges to $a_n$. If you take the equation, $k=\text{slog}_e(a_n)$, then it is the same as this limit, for the constant "k" for the base change equation, $k=\lim_{n \to \infty} {\text{slog}_e(\exp_b^{[n]}(1))-n=\lim_{n \to \infty} {\text{slog}_e(\log_e^{[n]} (\exp_b^{[n]}(1)))$. This is the "k" constant for: $\text{sexpBaseChange}_b(z) = \lim_{n \to\infty}\log_b^{[n]}\text{sexp}_e(z+k+n)$ 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 $k(z)=\lim_{n \to \infty} {\text{slog}_\eta(\text{sexp}_e(z+n))-n$ - Sheldon JmsNxn Long Time Fellow Posts: 303 Threads: 69 Joined: Dec 2010 07/08/2011, 08:28 PM (This post was last modified: 07/08/2011, 08:31 PM by JmsNxn.) (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 $\ln(\ln(b^b))$, but I don't know any short-cuts for taller towers, like $\ln(\ln(\ln(b^{b^b}))$. 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 $a_3$? As you noted, in the limit, this sequence from your earlier post converges. $a_3 = (\ln(b) + \ln^{\circ 2}(b)) \,\,\bigtriangleup_{-1}^e\,\,\ln^{\circ 3}(b)$ $a_4 = ((\ln(b) + \ln^{\circ 2}(b)) \,\,\bigtriangleup_{-1}^e\,\,\ln^{\circ 3}(b))\,\,\bigtriangleup_{-2}^e \,\,\ln^{\circ 4}(b)$ where $p \le 0$ $a\,\,\bigtriangleup_p^e\,\,b = \exp_e^{\circ p}(\exp_e^{\circ -p}(a) + \exp_e^{\circ -p}(b))$ Quote:Let us call the value the sequence conveges to $a_n$. If you take the equation, $k=\text{slog}_e(a_n)$, then it is the same as this limit, for the constant "k" for the base change equation, $k=\lim_{n \to \infty} {\text{slog}_e(\exp_b^{[n]}(1))-n=\lim_{n \to \infty} {\text{slog}_e(\log_e^{[n]} (\exp_b^{[n]}(1)))$. This is the "k" constant for: $\text{sexpBaseChange}_b(z) = \lim_{n \to\infty}\log_b^{[n]}\text{sexp}_e(z+k+n)$ 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 $k(z)=\lim_{n \to \infty} {\text{slog}_\eta(\text{sexp}_e(z+n))-n$ - Sheldon that's really quite interesting « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post There is a non recursive formula for T(x,k)? marraco 5 566 12/26/2020, 11:05 AM Last Post: Gottfried Semi-exp and the geometric derivative. A criterion. tommy1729 0 2,105 09/19/2017, 09:45 PM Last Post: tommy1729 Hyper operators in computability theory JmsNxn 5 6,926 02/15/2017, 10:07 PM Last Post: MphLee Recursive formula generating bounded hyper-operators JmsNxn 0 2,426 01/17/2017, 05:10 AM Last Post: JmsNxn Extrapolated Faá Di Bruno's Formula Xorter 1 3,311 11/19/2016, 02:37 PM Last Post: Xorter Rational operators (a {t} b); a,b > e solved JmsNxn 30 54,420 09/02/2016, 02:11 AM Last Post: tommy1729 holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 22,723 08/22/2016, 12:19 AM Last Post: JmsNxn The bounded analytic semiHyper-operators JmsNxn 2 5,215 05/27/2016, 04:03 AM Last Post: JmsNxn Bounded Analytic Hyper operators JmsNxn 25 30,160 04/01/2015, 06:09 PM Last Post: MphLee [2015] 4th Zeration from base change pentation tommy1729 5 8,596 03/29/2015, 05:47 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)