05/04/2014, 01:25 PM
05/04/2014, 03:28 PM
(05/04/2014, 11:50 AM)mike3 Wrote: [ -> ]WOW, this is easier than I thought...What are the values for F (0,1,2,3)?
All we do is take thatand
(there seems to be a mistake as the post as written seems to suggest we should take
and that doesn't seem to work), and
(the indexes at which we are to interpolate), which gives
as an entire interpolant for the tetrational sequence.
05/04/2014, 07:27 PM
(05/04/2014, 02:18 AM)mike3 Wrote: [ -> ]So you mean "the inverse Mellin transform of the tetrational", right? Or do you mean of the reciprocal? Also, what do you mean by "Weyl differintegrable"? According to here:
http://en.wikipedia.org/wiki/Weyl_differintegral
that is something that only functions with a Fourier series, i.e. periodic, can have. Tetration is not periodic (although it does have a pair of "pseudo periods").
Sorry I should've mentioned that Weyl differintegrability is a different condition in the context I'm referring to. Weyl originally applied the operator on periodic functions but the general form of it applies on more functions than this.
for
(05/04/2014, 02:18 AM)mike3 Wrote: [ -> ](05/03/2014, 06:12 PM)JmsNxn Wrote: [ -> ]However after seeing what you just posted I have to draw the same conclusion as you.has no hope of converging in a mellin transform. Which is what I pretty much figured. BUT! we're not out of the woods yet.
IF we can find some entire functionsuch that for
:
we are back in the game
OR IF we can find some entire functionsuch that for
for
and
we are back in the game.
By back in the game I mean I think I can provide an analytic expression for tetration. I'm just finishing the paper I'm working on at the moment and it contains a fair amount of what I'm talking about a lot more rigorously. I'll attach it once I know it's in it's final form. It shows what I am talking about more c learly when I am using fractional calculus on recursion.
Hmm. Given the nasty, chaotic behavior of tetration I've mentioned, it would seem the second kind of function would be more difficult than the first.
Actually, I think it might be possible to get a function of the first type (for the series). If we could find an entire functionsuch that
when
, then we should be in luck, for then your sum will just be
and your integral
. Such a function need not be a tetration extension, for it need not satisfy the functional equation for tetration, merely interpolate the values at the natural numbers.
However, it seems you can get a differentfor every
, indeed, I believe, with judicious choice of the
, you can make
anything you want, indeed, any function which decays to 0 and is analytic. So it would seem that any tetration extension constructed with this method would be highly non-unique, unless I'm missing something. Does the final tetration result not depend on the choice of
?
According to this:
http://mathoverflow.net/questions/2944/w...anns-funct
there is a method to construct an entire interpolant of any increasing sequence, which would include. So this should provide (many!) suitable candidates
that will reduce your integral to the
function.
I see what you're trying to do by making
So that all we are doing is recovering
This ensures recursion. It also expresses that we need a more complicated choice for
Quote:Does the final tetration result not depend on the choice of?
YES it does not depend in every situation I've come across. By this I mean:
if
for
Then
So there are some strong results on uniqueness and it preserves a fair amount of data.
05/04/2014, 07:36 PM
I figure it's probably a good idea to post my paper now. I feel it's 90% there and it certainly is legible and will clarify what I am talking about much more. I can apply more powerful techniques than what's in the paper but nonetheless it still portrays what I am trying to do.
James Nixon's paper on fractional calculus. [attachment=1053]
James Nixon's paper on fractional calculus. [attachment=1053]
05/04/2014, 07:44 PM
(05/04/2014, 07:36 PM)JmsNxn Wrote: [ -> ]I figure it's probably a good idea to post my paper now. I feel it's 90% there and it certainly is legible and will clarify what I am talking about much more. I can apply more powerful techniques than what's in the paper but nonetheless it still portrays what I am trying to do.
James Nixon's paper on fractional calculus.
I'll read it now


05/04/2014, 09:06 PM
As a note on a similar technique you are applying Mike but trying to keep the vibe much more fractional calculus'y (since it's what I am familiar with) We will try the following function:
We want
fairly small
 = \sum_{n=0}^\infty \frac{w^n}{n!(^n e)})
We know that
for
because } < C_\kappa \kappa^n)
So that
.
 = \frac{1}{\Gamma(z)}\int_0^\infty e^{-\lambda x}\beta(-x)x^{z-1} \,dx)
This function should be smaller then tetration at natural values.
 = \sum_{j=0}^n \frac{n!(-\lambda)^{n-j}}{j!(n-j)!(^j e)})
We would get the entire expression for
by Lemma 3 of my paper:
 = \frac{1}{\Gamma(-z)}(\sum_{n=0}^\infty F(n)\frac{(-1)^n}{n!(n-z)} + \int_1^\infty e^{-\lambda x} \beta(-x)x^{z-1}\,dx))
Now F(z) will be susceptible to alot of the techniques I have in my belt involving fractional calculus. This Idea just popped into my head but I'm thinking working with a function like this will pull down the imaginary behaviour and pull down the real behaviour.
We also note that
. Which again will be more obvious if you look at the paper, but it basically follows because:
 \approx (^n e))
We know that
So that
This function should be smaller then tetration at natural values.
We would get the entire expression for
Now F(z) will be susceptible to alot of the techniques I have in my belt involving fractional calculus. This Idea just popped into my head but I'm thinking working with a function like this will pull down the imaginary behaviour and pull down the real behaviour.
We also note that
05/04/2014, 10:42 PM
(05/04/2014, 07:36 PM)JmsNxn Wrote: [ -> ]I figure it's probably a good idea to post my paper now. I feel it's 90% there and it certainly is legible and will clarify what I am talking about much more. I can apply more powerful techniques than what's in the paper but nonetheless it still portrays what I am trying to do.
James Nixon's paper on fractional calculus.
Amazing. I only saw the first bit of the paper, I'm really excited right now because it seems there's a simple integral-transform representation for the "Weyl differintegral". This is really really really really really interesting to me, because of ... dum dum dum ... the continuum sum!
In particular, I am really interested in your Definition 3. How does that expression come from the original Weyl differintegral which was defined for Fourier series? I.e. how do you generalize the Fourier series definition to that definition?
05/04/2014, 11:32 PM
(05/04/2014, 10:42 PM)mike3 Wrote: [ -> ]Amazing. I only saw the first bit of the paper, I'm really excited right now because it seems there's a simple integral-transform representation for the "Weyl differintegral". This is really really really really really interesting to me, because of ... dum dum dum ... the continuum sum!
In particular, I am really interested in your Definition 3. How does that expression come from the original Weyl differintegral which was defined for Fourier series? I.e. how do you generalize the Fourier series definition to that definition?
Well Weyl defined the operator on periodic functions slightly differently but it's equivalent. I did not come up with definition 3. It's been long standing. It's also called the exponential differintegral, The Riemann liouville operator with lower limit negative infinity. Etc etc..
I am lacking proofs on convergence for the mellin transform of lots of interesting forms of functions. However, I have made progress on continuum sums. That is actually my next paper. Essentially I've shown that if
i can generate an indefinite sum of
I can't explain now but its all involving the weyl differintegral.
05/05/2014, 12:55 AM
(05/04/2014, 07:27 PM)JmsNxn Wrote: [ -> ]I see what you're trying to do by makingbut that won't work. If we try it this way we will get the following formula:
So that all we are doing is recoveringwhich doesn't satisfy the recursion. I'm not sure how we can create an
that satisfies the right conditions but it is necessary that it does not interpolate tetration. I realize I forgot to say we need the extra condition:
for
This ensures recursion. It also expresses that we need a more complicated choice for. I really do believe our best hope is the second condition on the exponential boundedness of
However,
Also, if it's not supposed to interpolate tetration, then what about just interpolating a sequence which grows as fast or faster than tetration but is not tetration? E.g. use the interpolation method I mentioned but with a different sequence, e.g. perhaps not tetration itself but something close to it, so that the function in the absolute value still behaves like an exponential or otherwise decays to 0. What about
Also, with regards to the "bounded" approach, the given
(05/04/2014, 07:27 PM)JmsNxn Wrote: [ -> ]Quote:Does the final tetration result not depend on the choice of?
YES it does not depend in every situation I've come across. By this I mean:
ifand
and
![]()
forand
Then
So there are some strong results on uniqueness and it preserves a fair amount of data.
Hmm.
05/05/2014, 01:00 AM
(05/04/2014, 03:28 PM)sheldonison Wrote: [ -> ](05/04/2014, 11:50 AM)mike3 Wrote: [ -> ]WOW, this is easier than I thought...What are the values for F (0,1,2,3)?
All we do is take thatand
(there seems to be a mistake as the post as written seems to suggest we should take
and that doesn't seem to work), and
(the indexes at which we are to interpolate), which gives
as an entire interpolant for the tetrational sequence.