Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
sexp by continuum product ?
We all know

So now the idea occurs : let denote continuum product with respect to k ,

And the continuum product is defined as e^(continuum sum ( log (a_k ))

We use the q-method for the continuum sum.

This method is explained by mike 3:

(04/20/2010, 02:48 AM)mike3 Wrote: We have

or, even better



with the term at interpreted as , so,


However, when viewed in the complex plane, we see that exp-series are just Fourier series


which represent a periodic function with period .

Thus it would seem that only periodic functions can be continuum-summed this way. Tetration is not periodic, so how could this help?

Well, we could consider the possibility of continuum-summing an aperiodic function by taking a limit of a sequence of periodic functions that converge to it. The hypothesis I have is that if is a sequence of periodic analytic functions converging to a given , then their continuum sums, if they converge to anything, converge to the same thing, regardless of the sequence of functions.

An example. Let , the identity function. We can't continuum-sum it with the exp-series directly. But now let , so that , a sequence of periodic (with imaginary period ) entire functions converging to . The continuum sum is, by using the exponential expansion of sinh giving ,


Though I didn't bother to try to work it out by hand, instead using a computer math package, the limit is as , agreeing with the result from Faulhaber's formula.

Another example is the function , or better, . We can construct periodic approximations like , and take the limit at infinity. The terms in the Fourier series are even worse. If we use a numerical approximation of the series with period , I get the continuum sum from 0 to -1/2 as ~0.6137 (rounded, act. more like something over 0.61369) suggesting the process is recovering the digamma function, as can be seen by setting 1/2 in the canonical formula yielding 0.61370563888011...

Trying it with , so as to attempt to evaluate yields values that agree with the gamma function, providing more evidence that gamma is the natural extension of the factorial function to the complex plane.

Thus it seems this continuum sum is recovering all the expected sums and extensions.

So we ( try to ... ) use this idea to compute a (probably unique and analytic ) sexp for bases > sqrt(e).



Moderator's note: If you quote things, please mark it accordingly best with link to its origin. Otherwise I would consider it as wilful deceit. I modified your post accordingly.
That's interesting, especially about the values converging to the gamma function. That pretty much sets me in that the method works. The obvious open question though is how to exactly apply it to tetration.

I see your argument that:

or generally:

Hmm, just doing some algebra:

which means:

which means:

this contradicts

so i guess we have restrictions on r,

unless, we have the equivalency:

which does not hold for r = -1; and probably not for all r < 0

I wonder for what values it does hold, if any, if it does for r > 0, it already produces some interesting, though probably false identities:

r = 1

r = 0
(0 since only zero times negative one is equal itself.)

I'm a little iffy on the restrictions to applying this continuum sum methods. I may just be doing something horribly wrong Tongue. Still though, this method looks very interesting.
hi james Smile

i think you did something horribly wrong :p

already your 3rd formula seems wrong.

actually quite trivially wrong , it already fails for both positive and negative integer values of r.

note that the continuum product is suppose to be taken before substitution.

(06/12/2011, 11:50 PM)tommy1729 Wrote: So we ( try to ... ) use this idea to compute a (probably unique and analytic ) sexp for bases > sqrt(e).

So whats the progress to Mike's method?
i think i can show uniqueness for bases > sqrt(e).


1) this might have already been done (here)

2) no idea if its analytic

3) uniqueness , not existance ...

to test this it seems the (q-)continuum sum defined by mike ( rediscovered ) is not practical in a numerical sense.

however there are other continuum sum methods that give the same result as long as the values are real and twice differentiable.

those others give the same numerical value ( proof ref desired ) as for instance " Riemann's continuum sum " :

sum a,b f(x) = integral a,b f(x) dx + integral f ' (x) ( x - floor(x) -1/2) dx + (f(a) + f(b))/2

if 'a' is an integer and f ' (x) is continu.

together with log^[3/2] = around log log log log 2sinh^(1/2) ( exp exp x ) , it seems the OP conjecture can be numericly tested !

sorry for no tex use , im in a hurry.


or the euler-maclaurin formula for the continuum sum , which is equivalent to " Riemann's continuum sum " ( and the q-continuum sum )but computed differently.

btw many formula's come from the amazing darboux theorem such as this continuum sum and taylor series expansion.

Possibly Related Threads...
Thread Author Replies Views Last Post
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 2,705 09/06/2016, 04:23 PM
Last Post: tommy1729
  Between addition and product ( pic ) tommy1729 4 6,196 07/10/2016, 07:32 AM
Last Post: Gottfried
  2015 Continuum sum conjecture tommy1729 3 5,640 05/26/2015, 12:24 PM
Last Post: tommy1729
  Can sexp(z) be periodic ?? tommy1729 2 5,887 01/14/2015, 01:19 PM
Last Post: tommy1729
  pseudo2periodic sexp. tommy1729 0 2,688 06/27/2014, 10:45 PM
Last Post: tommy1729
  [2014] tommy's theorem sexp ' (z) =/= 0 ? tommy1729 1 4,267 06/17/2014, 01:25 PM
Last Post: sheldonison
  Another way to continuum sum! JmsNxn 6 9,906 06/06/2014, 05:09 PM
Last Post: MphLee
  Multiple exp^[1/2](z) by same sexp ? tommy1729 12 21,096 05/06/2014, 10:55 PM
Last Post: tommy1729
  Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 7,903 05/06/2014, 09:47 PM
Last Post: tommy1729
  entire function close to sexp ?? tommy1729 8 14,651 04/30/2014, 03:49 PM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)