tetration base conversion, and sexp/slog limit equations
#41
Mike, thanks for your reply. At this point, I'm actually interested in the behavior of analytic tetration, and I'm using the base conversion equations and cheta to probe the behavior of the analytic super exponentials, (more below).
(12/31/2009, 11:45 PM)mike3 Wrote: The graph I gave for \( \mathrm{tet}(z) \) was done via the Cauchy integral. It should be possible also to use the Cauchy integral at other bases greater than \( \eta \). I'll see if I could try one for \( \mathrm{tet}_2(z) \) to get a graph and Taylor series approximation.
Did you generate the Cauchy integral, or use Kouznetsov's published Taylor series, (which were generated from the cauchy integral)? That would be neat to publish values for the Taylor series for other bases. I wasn't totally clear on what his method was, even after reading the published pdf file. It sounds like he needed a "seed" approximation which was then improved by using the Cauchy integral.
Quote:I do wonder though, even if \( \check{\eta}(z) \) cannot be used to approximate \( \mathrm{tet}(z) \), whether it is still possible that maybe \( \mathrm{tet}_{b_1}(z) \) and \( \mathrm{tet}_{b_2}(z) \) can be used to approximate each other, for real \( b_1 \) and \( b_2 \) greater than \( \eta \). However, the fine detail in that fractal thingy in the graph makes it seem questionable.
You switch one problem for another. Instead of generating the Taylor series, you need to generate the Fourier series terms. But the Fourier series is real valued, and doesn't give you the complex plane. There are some patterns for the fourier series coeffients of \( \theta \) for different bases. For example, the 2nd overtone, k2*sin(4*pi*x+b2) coefficient seems to always be approximately 100 times smaller than the primary primary coefficient, k1*sin(2*pi*x+b1). Also, the phase terms, b1 and b2, appear to be relatively constant.

Inherent ringing in analytic tetration
The pattern I like the most is simply that the analytic super-exponentials for different bases can criss cross each other an infinite number of times, as they grow super-exponentially towards infinity. If you line up cheta with another super-exponential function, at cheta(4.884+n), then they will cross an infinite number of times. For integer values of n>=0, and any base b>\( \eta \), if k and x are chosen such that x=4.884+n, and such that
\( \text{sexp}_b(x+k_b)=\text{cheta}(x) \)
than it turns out that for every base b>\( \eta \), there is a pattern in the first derivative, that causes the two super-exponential functions to wind around each other as they both grow super-exponentially towards infinity.
\( \text{sexp^{'}}_b(x+k_b)<\text{cheta}^{'}(x) \)
The sexp_b(x) function is growing slower than cheta for all bases>\( \eta \), in the region of cheta(4.884+n). Approximately 1/2 of an iterate greater, there will be another crossing where cheta(x+0.5) will equal sexp_b(x+k+0.5). In that region,
\( \text{sexp^{'}}_b(x+k_b+0.5)>\text{cheta}^{'}(x+0.5) \).

Here is a graph, that hopefully shows the pattern. For several bases, I am graphing the analytic slog_b of cheta(x), where the two super-exponentials have been lined up as described above. The amplitude gets smaller as the base approaches \( \eta \), but the windings are always there. This is also a little disturbing, in that this is the analytic extension of tetration to real numbers, and has nothing to do with base conversions from cheta to other bases. Different bases have this bizarre winding pattern when the different bases are lined up and compared against each other. Also, the phase of the winding pattern is somewhat constant. It would be interesting to try to prove this pattern, but I haven't made any progress on that yet.

I chose to line up the different super exponentials at cheta(5.884), since that is close to the 50% duty cycle for bases with b approaching \( \eta \), with crossings near cheta(5.884+n) and cheat(5.384+n). At base e, the actual "50%" line is around cheta(5.878+n), cheta(5.378+n). There is a small shift as the base increases, but I don't have access to an accurate enough sexp function for bases>1.6, except for base e. For x<=4.11, the other super-exponentials are all larger than cheta(x), \( \text{sexp}_b(x+k_b)>\text{cheta}(x) \), with cheta(x) first growing larger than the other super-exponentials between cheta(4.12) and cheta(4.14). Cheta(4.12) is approximately \( 4.35*10^{105} \), or near a googol. For cheta(x), with x>5, the pattern converges rapidly to a 1-cyclic function.
[Image: slogcheta.gif]
#42
Even thought it seems the the tet and cheta functions do this "ringing", how do you know two tet functions (to different bases) also do it? Remember how different they are on the complex plane.

Yeah, I used the published coefficients. I do have a program for generating them for other bases, but it's real slow and doesn't give as much accuracy as those coefficients in the paper.
#43
(01/04/2010, 03:51 AM)mike3 Wrote: Even thought it seems the the tet and cheta functions do this "ringing", how do you know two tet functions (to different bases) also do it? Remember how different they are on the complex plane.
All of the bases show the same behavior, though more graphs might help to demonstrate it.

The graph shows cheta lined up with five different bases, all exactly lined up at x=5.884, so that cheta(x) = sexp_b(x+k_b) = sexp_c(x+k_c) for all five bases. Since for increasing x, slog_a(sexp_b(x+1)) converges to slog_a(sexp_b(x))+1, the five super exponentials also agree again, at around x=6.884, 7884, 8.884, 9.884, etc. But, they disagree in between, and they disagree by different amounts with each base having a different magnitude of ringing in the slog (inverse sexp) domain, so they can't agree with each other either. In the slog domain, the magnitude of the ringing for cheta against base e is +/- 0.04%, but the magnitude for cheta against base 1.464 is only +/- 0.0015%, so sexp_e can't agree with sexp_1.464 in between either. Note, that as would be expeced, the magnitude of the ringing for slog_e(cheta) is the same as for inv_cheta(sexp_e).

Also, all the bases are different in the complex plane too, with an infinity of singularities, as you repeatedly iterate logarithms of one base against the sexp of another base, though the only case that was shown was cheta and sexp_e. Also, ringing was shown for the four super functions of exp(sqrt(2)), see the bummer thread., so perhaps this shouldn't be as disturbing as it initially seems.
- Shel
#44
Im considering this thread again.

tommy1729
#45
(02/26/2013, 10:47 PM)tommy1729 Wrote: Im considering this thread again.

tommy1729
Hey Tommy,
I made these graphs before I wrote kneser.gp, so I was using some approximations, along with Dimitrii's sexp(z) Taylor series. But I still believe these graphs are accurate. I've also seen the ringing phenomena with other fast growing functions, see http://math.stackexchange.com/questions/...ate-of-x2c
- Sheldon


Possibly Related Threads…
Thread Author Replies Views Last Post
  Two types of tetration : sexp ' > or < 1. tommy1729 6 727 10/17/2023, 02:05 PM
Last Post: leon
  Limit when x approaches 0 saudinho 4 600 10/12/2023, 10:36 PM
Last Post: leon
  Real tetration as a limit of complex tetration Daniel 6 1,557 10/10/2023, 03:23 PM
Last Post: leon
  Simple limit approximation to exp(x) tommy1729 0 417 05/16/2023, 11:13 PM
Last Post: tommy1729
  [2sinh] exp(x) - exp( - (e-1) x), Low Base Constant (LBC) 1.5056377.. tommy1729 3 993 04/30/2023, 01:22 AM
Last Post: tommy1729
  Semi-group iso , tommy's limit fix method and alternative limit for 2sinh method tommy1729 1 881 12/30/2022, 11:27 PM
Last Post: tommy1729
Question When Does \(\displaystyle\int_{-1}^0\text{sexp}(x)\,\mathrm{d}x\) Equal \(\frac12\)? Catullus 0 711 10/31/2022, 11:47 PM
Last Post: Catullus
Question E^^.5 and Slog(e,.5) Catullus 7 2,729 07/22/2022, 02:20 AM
Last Post: MphLee
Question A Limit Involving 2sinh Catullus 0 748 07/17/2022, 06:15 AM
Last Post: Catullus
Question Slog(Exponential Factorial(x)) Catullus 19 7,021 07/13/2022, 02:38 AM
Last Post: Catullus



Users browsing this thread: 1 Guest(s)