Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
sexp by continuum product ?
#1
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

.

Then,



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).

regards

tommy1729

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.
Reply
#2
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


and
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.
Reply
#3
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.

tommy1729
Reply
#4
(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?
Reply
#5
i think i can show uniqueness for bases > sqrt(e).

however

1) this might have already been done (here)

2) no idea if its analytic

3) uniqueness , not existance ...

tommy1729
Reply
#6
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.

regards

tommy1729
Reply
#7
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.
Reply


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



Users browsing this thread: 1 Guest(s)