Alternate continuum sum formula?
#1
Hi.

I wonder. Is there some formula for the continuum sum of \( \frac{1}{\mathrm{tet}(x)} \) (or some other tetration-based function that decays to 0 for tetration with base e or some other non-convergent base), or as involving a continuum product whose productand(?!) decays to 1? As these could be summed using Mueller's formula and the Mueller-like product formula.
#2
Hmm. How could you derive an iterating formula from this similar to the iterating formula for the original continuum sum formula? That is, one like \( \mathrm{tet}_b(x) = <\mathrm{something\ involving\ tet_b(x)}> \), but that doesn't also require you to explicitly take the derivative w.r.t the base? Also, with base e we get a zero denominator since \( \ln(\ln(e)) = 0 \). So what happens there? Or do you mean \( \ln(z)^2 \) (i.e. multiplicative power, not compositional power, of logarithm) by "\( \ln^2(z) \)", in which case there is no problem?

But this is really a cool result, since by Mueller's formula we can sum the continuum sums, and the reciprocal of tetration's derivative for real bases greater than \( \eta = e^{1/e} \) converges to zero very very quickly, so quickly (tetrationally quickly Smile ) that for any conceivable approximation level we need only a single-digit number of terms in the Mueller formula. Thus if an iterating formula can be found, it may be the fastest and most efficient method yet for the computation of the tetrational function, way better than all the other methods proposed so far (natural iteration, Carleman matrix iteration, Cauchy integral, etc.), perhaps good enough to enable the computation of tetration to extremely huge precision.
#3
(12/16/2009, 02:52 PM)Ansus Wrote:
Quote:Also, with base e we get a zero denominator since
This is not twice-iterated logarithm, this is square of logarithm.

Thanks for clearing that up. What about my other question, then, about whether there is an iterating formula for the function similar to the one from the original continuum sum formula?
#4
(12/16/2009, 08:50 PM)mike3 Wrote:
(12/16/2009, 02:52 PM)Ansus Wrote:
Quote:Also, with base e we get a zero denominator since
This is not twice-iterated logarithm, this is square of logarithm.

Thanks for clearing that up. What about my other question, then, about whether there is an iterating formula for the function similar to the one from the original continuum sum formula?

By iterating formula, I mean this:

Original continuum sum formula:
\( \log_z\left(\frac{\mathrm{sexp}'_z(x)}{\mathrm{sexp}'_z(0) (\log z)^x}\right) = \sum_{k=0}^{x-1} \mathrm{sexp}_z(k) \)

Iterating formula:
\( \mathrm{sexp}_z(x) = \int_{-1}^{z} \mathrm{sexp}'_z(0) (\log z)^x \exp_z\left(\sum_{k=0}^{x-1} \mathrm{sexp}_z(k)\right) \).

So is there an analogue of the second formula with these alternate formulas, that doesn't require knowing in advance (or allows one to determine) what the function of x \( D_z \mathrm{sexp}_z(x) \) is? If so, what is it?
#5
(12/20/2009, 06:31 AM)Ansus Wrote: It is possible to use this formula and substitute sexp as inverse function operator of slog.

\( \operatorname{slog}_z C=-\int \left( \frac{1}{z (\ln z)^2}\sum_{q=0}^{\operatorname{slog}_z C -1}\frac{1}{D_q \operatorname{sexp}_z(q-1)}\right) dz \)

Then it will be an iterating formula for slog.

But this approach is complicated.

Why would it be so complicated? If we represent our slog as a powerseries, we can apply the Lagrange inversion theorem. Also, what should be the bounds on the integral? And if this is too complicated, is there anything simpler?
#6
(12/20/2009, 08:35 AM)Ansus Wrote:
Quote:Lagrange inversion theorem
Not only. There are multiple methods.

So then why's it so hard?
#7
(12/20/2009, 08:55 AM)Ansus Wrote: See for example, this:

http://math.eretrandre.org/tetrationforu...hp?tid=407

And how does this relate to the integral+contiuum-sum formula you gave earlier? And it would not seem convergent for, e.g. \( b > e^{1/e} \) or \( 0 < b < 1 \).
#8
(12/20/2009, 09:13 AM)Ansus Wrote:
(12/20/2009, 09:03 AM)mike3 Wrote: And how does this relate to the integral+contiuum-sum formula you gave earlier? And it would not seem convergent for, e.g. \( b > e^{1/e} \) or \( 0 < b < 1 \).

Yes. But I do not know what inverse function expansion converges for \( b > e^{1/e} \).

Wouldn't the integral+continuum-sum thing you gave before converge for those? Because \( \frac{1}{D_x \mathrm{tet}_b(x)} \) rapidly goes to zero as \( x \rightarrow \infty \) for such bases.
#9
(12/20/2009, 10:30 AM)Ansus Wrote: I do not understand what are you saying. Integral+cont. sum is not an inversion formula. Direct Taylor inversion, Lagrange inversion, polynomial inversion, rational inversion all diverge at those bases I suppose.

What I'm saying is this other formula doesn't seem to work where the integral/continuum-sum would, so I wasn't sure why you mentioned it.

And Andrew Robbins put together a wholly different approach, that converged to the inverse function (slog) for bases \( b > e^{1/e} \). The resulting powerseries did invert under the Lagrange theorem to yield the tetrational. So inversion does work, once you have a method that can yield the right powerseries to invert.
#10
(12/20/2009, 06:31 AM)Ansus Wrote: It is possible to use this formula and substitute sexp as inverse function operator of slog.

\( \operatorname{slog}_z C=-\int \left( \frac{1}{z (\ln z)^2}\sum_{q=0}^{\operatorname{slog}_z C -1}\frac{1}{D_q \operatorname{sexp}_z(q-1)}\right) dz \)

Then it will be an iterating formula for slog.

But this approach is complicated.

Hmm. I noticed this when preparing for the Mueller sum:

\(
\sum_{q=0}^{\mathrm{slog}(x)-1} \frac{1}{\mathrm{tet}'(q-1)} = \sum_{q=-1}^{\mathrm{slog}(x)-2} \frac{1}{\mathrm{tet}'(q)} = \frac{1}{\mathrm{tet}'(-1)} + \frac{1}{\mathrm{tet}'(0)} + \left(\sum_{q=1}^{\mathrm{slog}(x)} \frac{1}{\mathrm{tet}'(q)}\right) - \frac{1}{\mathrm{tet}'(\mathrm{slog}(x))} - \frac{1}{\mathrm{tet}'(\mathrm{slog}(x)-1)}.
\)

But the last term has a singularity at 0! (note that \( \mathrm{slog}(0) - 1 = -2 \)) Does this help "complicate" things?


Possibly Related Threads…
Thread Author Replies Views Last Post
  double functional equation , continuum sum and analytic continuation tommy1729 6 1,770 03/05/2023, 12:36 AM
Last Post: tommy1729
  Another way to continuum sum! JmsNxn 8 15,967 02/08/2023, 03:49 AM
Last Post: JmsNxn
  f(x+y) g(f(x)f(y)) = f(x) + f(y) addition formula ? tommy1729 1 691 01/13/2023, 08:45 PM
Last Post: tommy1729
Question Formula for the Taylor Series for Tetration Catullus 8 4,463 06/12/2022, 07:32 AM
Last Post: JmsNxn
  There is a non recursive formula for T(x,k)? marraco 5 5,948 12/26/2020, 11:05 AM
Last Post: Gottfried
  Extrapolated FaĆ” Di Bruno's Formula Xorter 1 5,841 11/19/2016, 02:37 PM
Last Post: Xorter
  2015 Continuum sum conjecture tommy1729 3 8,839 05/26/2015, 12:24 PM
Last Post: tommy1729
  Explicit formula for the tetration to base [tex]e^{1/e}[/tex]? mike3 1 6,951 02/13/2015, 02:26 PM
Last Post: Gottfried
  Continuum sum = Continuum product tommy1729 1 5,937 08/22/2013, 04:01 PM
Last Post: JmsNxn
  applying continuum sum to interpolate any sequence. JmsNxn 1 6,197 08/18/2013, 08:55 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)