+- Tetration Forum (https://tetrationforum.org)
+-- Forum: Tetration and Related Topics (https://tetrationforum.org/forumdisplay.php?fid=1)
+--- Forum: Mathematical and General Discussion (https://tetrationforum.org/forumdisplay.php?fid=3)
+--- Thread: 2015 Continuum sum conjecture (/showthread.php?tid=1005)
2015 Continuum sum conjecture - tommy1729 - 05/25/2015
I noticed a possible pattern.
\( \sum_{k=0}^{z-1} e^{nk} = \frac{e^{nz} - 1}{e^{n} - 1} \)
next
\( \sum_{k=0}^{z-1} e^{e^k} = \sum_{k=0}^{z-1} f(k) = \sum_{n=0}^{\infty} \frac{1}{n!} \left(\sum_{k=0}^{z-1} e^{nk}\right) = \sum_{n=0}^{\infty} \frac{1}{n!} \sum_{k=0}^{z-1} e^{nk} = \sum_{n=0}^{\infty} \frac{e^{nz} - 1}{n! \left(e^{n} - 1\right)} \)
next
define : \( e^{e^{e^x}} = \sum_{n=0}^{\infty} a_n e^{nx} \)
then
\( \begin{align}\sum_{n=0}^{x-1} e^{e^{e^n}} &= a_0 x + \sum_{n=1}^{\infty} \frac{a_n}{e^{n} - 1} \left(e^{nx} - 1\right) \\ &= \left(a_0 - \sum_{n=1}^{\infty} \frac{a_n}{e^{n} - 1}\right) x + \sum_{n=1}^{\infty} \frac{a_n}{e^{n} - 1} e^{nx}\end{align} \)
Now it appears
The continuum sum up to z-1 of exp^[n](x) is given by
CS [ exp^[n](x) , z-1] = P_n(x) + F_n(x)
where F_n is 2pi i periodic and P_n is a polynomial of degree (at most) n.
I guess there is a simple reason for it.
Right ??
What if n is not an integer ? say n = 3/2 ?
Does that imply P_{3/2}(x) =< O( x^{3/2} ) ??
regards
tommy1729
RE: 2015 Continuum sum conjecture - tommy1729 - 05/26/2015
The answer appears to be simple.
That is considering we work with the same continuum sum.
Within an analytic region :
Let r > 0.
exp^[1+r](x) = exp^[r](0) + F(exp(x))
where F(0) = 0 and is analytic.
Therefore the continuum sum CS is given by
T_r(x) = CS exp^[1+r](x) = exp^[r](0) x + G(exp(x)).
Therefore T(x) - T(x - 2pi i) = exp^[r](0) * 2 pi i.
regards
tommy1729
RE: 2015 Continuum sum conjecture - tommy1729 - 05/26/2015
One wonders what happens with r < 0.
I will post a related thread.
I have some ideas but little time.
regards
tommy1729
RE: 2015 Continuum sum conjecture - tommy1729 - 05/26/2015
Notice the counterintuitive nature
sum [ f(x) - f(x - period f) ] =/= sum [ f(x) ] - sum[ f(x - period f) =/= 0.
even if f(x) - f(x - period f) = 0 and sum [ 0 ] = 0.
I have to think more about this.
Any ideas ?
I considered using tommysum[f(x)] := continuum sum [f(x) - f(0)].
regards
tommy1729