Posts: 1,179
Threads: 123
Joined: Dec 2010
(05/07/2014, 03:25 AM)mike3 Wrote:
Yes that should read My mistake ^_^
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.
Posts: 368
Threads: 44
Joined: Sep 2009
Posts: 1,859
Threads: 402
Joined: Feb 2009
05/11/2014, 04:26 PM
(This post was last modified: 05/11/2014, 04:29 PM by tommy1729.)
(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
,
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 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
Posts: 1,179
Threads: 123
Joined: Dec 2010
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
As in, if where is analytic in a neighbourhood of then:
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 and satisfies the bounds for . Then for and 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!
Posts: 1,179
Threads: 123
Joined: Dec 2010
Posts: 1,859
Threads: 402
Joined: Feb 2009
05/11/2014, 04:52 PM
(This post was last modified: 05/11/2014, 05:08 PM by tommy1729.)
(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.
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
Posts: 368
Threads: 44
Joined: Sep 2009
05/11/2014, 11:26 PM
(This post was last modified: 05/11/2014, 11:29 PM by mike3.)
(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 continuumsumming tetration, since it is most definitely not bounded with the bound
. In fact it is unbounded on the right halfplane (where it behaves chaotically) and has branch point singularities (which are neither poles nor essential singularities) on the left halfplane (these are logarithmic, doublelogarithmic, triplelogarithmic, etc. in that order at , , , ...).
I'm curious: how did you get that first formula? Is it possible to get a similar formula for
and
and satisfying the given bound? As then I might have something, perhaps. I'll have to see, though.
Posts: 1,179
Threads: 123
Joined: Dec 2010
(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 .
Posts: 368
Threads: 44
Joined: Sep 2009
(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?
Posts: 1,179
Threads: 123
Joined: Dec 2010
05/12/2014, 03:32 PM
(This post was last modified: 05/12/2014, 03:32 PM by JmsNxn.)
(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.
