(05/07/2014, 03:25 AM)mike3 Wrote: [ -> ] = \frac{1}{2 \pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} \G(z)F(z)x^{-z}\,dx)
Yes that should read
My mistake ^_^
 = \frac{1}{2 \pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} \G(z)F(z)x^{-z}\,dz)
As for your question on the tetration integral not working I hsould mention with
its no longer going to approximate tetration. I was just hoping we would still have some nice decay properties, but I guess not.
I'm really stumped on applying this to tetration at the moment. But I feel like theres got to be a way using fractional calculus, I'm just missing it.
(05/03/2014, 01:19 AM)mike3 Wrote: [ -> ]JmsNxn,
I am a little suspicious of this method. In particular, I'm not sure the integral
 x^{z-1} dx)
, 
converges.
I totally agree. Although I added a minus sign to it, which I assume was a typo.
So lets think about
)
.
Since the Taylor coefficients of
decay EXTREMELY FAST , I consider this as a function that is well approximated by a polynomial for a long time.
( many remainder theorems for Taylor series imply this )
This means the main behaviour of this
is like
^n a_n x^n)
where n increases slowly with x.
This implies that
is not bounded by a polynomial and also that
= 0 infinitely often.
Therefore the integral diverges.
Even if we consider taking the limit of x going to +oo as the limit of the sequence x_i with
)
= 0.
regards
tommy1729
If
is holomorphic for
 < b)
and
| < C e^{\alpha |\im(z)| + \rho|\Re(z)|})
then:
 = \sum_{n=0}^\infty \frac{(-x)^n}{n!}F(-n))
When F has singularities we see we pull on a second balancing function
such that:
 = \psi(x) + \sum_{n=0}^\infty \frac{(-x)^n}{n!}F(-n))
For simple functions like
 = 1/(z^2 - 1))
then
is very easy to calculate. For more complicated functions like tetration, which no doubt has essential singularities instead of poles, it becomes much more complicated. But the general result on essential singularities is just applying cauchy's residue formula around all the poles of
on the function
x^{-z})
As in, if
 = G(z) + \sum_{n=0}^\infty \frac{a_n}{(z-\alpha)^{n+1})
where
)
is analytic in a neighbourhood of
then:
 = g(x) + \sum_{n=0}^\infty a_n [\frac{d^n}{dz^n} \G(z)x^{-z} ]_{z=\alpha})
where
)
carries information about the other poles of
I haven't looked into much of how these balancing functions behave. I'm more familiar with just working with entire
and entire
. I wish I could help you more on this but I feel discouraged looking at tetration. I think my iteration method might be restricted to simpler functions that don't behave quite as eraddictly.
And on a different note. I've successfully shown that, if
is holomorphic in the strip
 < b)
and satisfies the bounds
| < Ce^{\alpha |\Im(z)|})
for
. Then for
 < b)
and
 > 0)
I can calculate:
)
where it satisfies the composition rule and interpolates the iterated continuum sum at natural values. Pcha!! Holomorphic in z and s. Pcha!
(05/11/2014, 04:30 PM)JmsNxn Wrote: [ -> ] (05/11/2014, 04:26 PM)tommy1729 Wrote: [ -> ]I totally agree. Although I added a minus sign to it, which I assume was a typo.
So lets think about .
Since the Taylor coefficients of decay EXTREMELY FAST , I consider this as a function that is well approximated by a polynomial for a long time.
( many remainder theorems for Taylor series imply this )
This means the main behaviour of this is like where n increases slowly with x.
This implies that is not bounded by a polynomial and also that = 0 infinitely often.
Therefore the integral diverges.
Even if we consider taking the limit of x going to +oo as the limit of the sequence x_i with = 0.
regards
tommy1729
yes yes, I'm quite aware it diverges. That's only another trick we need to come up with to handle that. I have a few but I need to look deeper into the laplace transform.
I assumed you were aware of it. But some readers might not have been convinced.
With that in the back of my mind, I felt the neccessity to reply.
Its pretty hard to combine the properties of convergeance and the functional equation with fractional calculus and integral transforms ... or so it seems.
Maybe a bit of topic but finding an approximation to
)
in terms of an integral transform seems to be closer to a solution due to the recent work and talk of myself and sheldon.
 = \theta(x) \int_{\0}^{\infty} \((z (\2sinh^{[-1]}(z) - 1) )!)^{-1} x^{z}\,dz)
where
)
is bounded by a constant above and a constant below , and x > 27.
(And the factorial is computed with the gamma function ofcourse )
with approximation I mean that they have the same " growth rate ".
regards
tommy1729
(05/11/2014, 04:29 PM)JmsNxn Wrote: [ -> ]If is holomorphic for and then:
When F has singularities we see we pull on a second balancing function such that:
For simple functions like then is very easy to calculate. For more complicated functions like tetration, which no doubt has essential singularities instead of poles, it becomes much more complicated. But the general result on essential singularities is just applying cauchy's residue formula around all the poles of on the function
Well, I guess then these formulas aren't of much use for continuum-summing tetration, since it is most definitely
not bounded with the bound
| < C e^{\alpha |\Im(z)| + \rho |\Re(z)|})
. In fact it is unbounded on the right half-plane (where it behaves chaotically) and has
branch point singularities (which are neither poles nor essential singularities) on the left half-plane (these are logarithmic, double-logarithmic, triple-logarithmic, etc. in that order at
,
,
, ...).
I'm curious: how did you get that first formula? Is it possible to get a similar formula for
 = \frac{1}{2\pi i} \int_{\sigma}^{\sigma + i\infty} \Gamma(z) F(z) x^{-z} dz)
and
 = \frac{1}{2\pi i} \int_{\sigma - i\infty}^{\sigma} \Gamma(z) F(z) x^{-z} dz)
and
satisfying the given bound? As then I might have something, perhaps. I'll have to see, though.
(05/11/2014, 11:26 PM)mike3 Wrote: [ -> ]I'm curious: how did you get that first formula? Is it possible to get a similar formula for
I'm indisposed at the moment but the formula is derived in the paper I posted. Its a very brief proof and follows from cauchy's residue theorem and a meromorphic representation of the Gamma function. I could write some of it out, but it wouldn't be completely formal and might not leave you convinced
.
(05/12/2014, 01:44 AM)JmsNxn Wrote: [ -> ] (05/11/2014, 11:26 PM)mike3 Wrote: [ -> ]I'm curious: how did you get that first formula? Is it possible to get a similar formula for
I'm indisposed at the moment but the formula is derived in the paper I posted. Its a very brief proof and follows from cauchy's residue theorem and a meromorphic representation of the Gamma function. I could write some of it out, but it wouldn't be completely formal and might not leave you convinced .
Contour integration, right?
(05/12/2014, 02:15 AM)mike3 Wrote: [ -> ] (05/12/2014, 01:44 AM)JmsNxn Wrote: [ -> ] (05/11/2014, 11:26 PM)mike3 Wrote: [ -> ]I'm curious: how did you get that first formula? Is it possible to get a similar formula for
I'm indisposed at the moment but the formula is derived in the paper I posted. Its a very brief proof and follows from cauchy's residue theorem and a meromorphic representation of the Gamma function. I could write some of it out, but it wouldn't be completely formal and might not leave you convinced .
Contour integration, right?
Yeah. It's a very nifty contour integral. The gamma function is just so beautiful, I wish I could just kiss it.