(05/05/2014, 02:11 AM)mike3 Wrote: [ -> ] (05/04/2014, 09:06 PM)JmsNxn Wrote: [ -> ]

So is this supposed to approximate tetration if is small? As if so, then it doesn't seem to be working for me. If I take and the integral upper bound at 2000, I get as ~443444.33873479713260158296678612894384. Clearly, that can't be right -- it should be between and (if this is supposed to reproduce the Kneser tetrational then it should be ~5.1880309584291901006085359610758671512). It gets worse the smaller you make -- i.e. it doesn't seem to converge. Also, picking values to put in that are near-natural numbers doesn't seem to work, either.

I'll note firstly that

I accidentally added an extra negative. But that doesn't really affect convergence. I understand whats happening.

Hmm. That makes sense now that I think about it. I was hoping you could take lambda small but not too small and it wouldn't diverge too fast but because obviously

diverges this doesn't happen. Maybe if you try

I've done more research into this form of the operator so perhaps we can work with this one.

I do have a nice result that will work for these operators that is slightly off topic but is related to continuum sums. If

is as before and

:

Quite fantabulously if

we get the really interesting result:

And of course:

I'm a little fuzzy on the following but if we use a fractional iteration of

we can find a very nice interpolant of

. Since it's all using fractional calculus I have an impressionistic vision of how a similar proof of recursion would go (picking a certain fractional iteration of

I have in my mind and then using a similar contour integral technique).

I'm really intrigued by this idea but I think I have a more general result we need. I wonder if there exists a theorem in complex analysis on the following.

If

is holomorphic on

does there exist some holomorphic function

holomorphic on

such that:

for

and

such that

satisfies some conditions I'm not sure of yet. It cannot interpolate

, it cannot interpolate the inverse and it cannot be a fair amount of obvious easy functions.

OMG. FOund a very nice theorem in complex analysis. I found it referenced in this paper.

http://algo.inria.fr/seminars/sem01-02/delabaere2.pdf
[4] Boas, Jr. (Ralph Philip). – Entire functions. – Academic Press, New York, 1954, x+276p.

It says that:

"In fact, if a and b are two [holomorphic] functions that are of exponential type α < π, if a(n) = b(n) for all

n ≥ 1, then a = b, due to a theorem by Carlson [4]."

THEREfore if:

for

and

We know

implies

!!!!!

This is a nice uniqueness result.

(05/05/2014, 04:27 PM)JmsNxn Wrote: [ -> ] (05/05/2014, 02:11 AM)mike3 Wrote: [ -> ] (05/04/2014, 09:06 PM)JmsNxn Wrote: [ -> ]

So is this supposed to approximate tetration if is small? As if so, then it doesn't seem to be working for me. If I take and the integral upper bound at 2000, I get as ~443444.33873479713260158296678612894384. Clearly, that can't be right -- it should be between and (if this is supposed to reproduce the Kneser tetrational then it should be ~5.1880309584291901006085359610758671512). It gets worse the smaller you make -- i.e. it doesn't seem to converge. Also, picking values to put in that are near-natural numbers doesn't seem to work, either.

I'll note firstly that

I accidentally added an extra negative. But that doesn't really affect convergence. I understand whats happening.

Hmm. That makes sense now that I think about it. I was hoping you could take lambda small but not too small and it wouldn't diverge too fast but because obviously diverges this doesn't happen. Maybe if you try I've done more research into this form of the operator so perhaps we can work with this one.

Well I tried this

and the integral also didn't seem to converge. Trying

yields a finite value but the recurrence

does not appear to hold, nor are the values close to those of the Kneser tetrational.

I noticed your discussion after this point about the continuum sum thing and you mentioned about fractional iteration of the difference operator. This is why I was curious as to how the integral definition for the Weyl differintegral related to its definition for periodic functions. In particular, if

is periodic with period

, we have a Fourier series

.

We assume

. Then,

.

This is the Weyl differintegral. Note that taking

yields the integral (though we have to drop the term at

).

Similarly, for the finite difference operator,

.

Note that taking

yields the continuum sum (though, again, we have to drop the term at

).

Now, if the first expression for the differintegral can be generalized to certain non-periodic holomorphic functions via an integral transform,

can that also be done for the second? Is there a method to derive the integral transform from the given definition in the first case? If so, can it be generalized to the second?

(05/05/2014, 11:45 PM)mike3 Wrote: [ -> ] (05/05/2014, 04:27 PM)JmsNxn Wrote: [ -> ] (05/05/2014, 02:11 AM)mike3 Wrote: [ -> ] (05/04/2014, 09:06 PM)JmsNxn Wrote: [ -> ]

So is this supposed to approximate tetration if is small? As if so, then it doesn't seem to be working for me. If I take and the integral upper bound at 2000, I get as ~443444.33873479713260158296678612894384. Clearly, that can't be right -- it should be between and (if this is supposed to reproduce the Kneser tetrational then it should be ~5.1880309584291901006085359610758671512). It gets worse the smaller you make -- i.e. it doesn't seem to converge. Also, picking values to put in that are near-natural numbers doesn't seem to work, either.

I'll note firstly that

I accidentally added an extra negative. But that doesn't really affect convergence. I understand whats happening.

Hmm. That makes sense now that I think about it. I was hoping you could take lambda small but not too small and it wouldn't diverge too fast but because obviously diverges this doesn't happen. Maybe if you try I've done more research into this form of the operator so perhaps we can work with this one.

Well I tried this and the integral also didn't seem to converge. Trying yields a finite value but the recurrence does not appear to hold, nor are the values close to those of the Kneser tetrational.

I noticed your discussion after this point about the continuum sum thing and you mentioned about fractional iteration of the difference operator. This is why I was curious as to how the integral definition for the Weyl differintegral related to its definition for periodic functions. In particular, if is periodic with period , we have a Fourier series

.

We assume . Then,

.

This is the Weyl differintegral. Note that taking yields the integral (though we have to drop the term at ).

Similarly, for the finite difference operator,

.

Note that taking yields the continuum sum (though, again, we have to drop the term at ).

Now, if the first expression for the differintegral can be generalized to certain non-periodic holomorphic functions via an integral transform, can that also be done for the second? Is there a method to derive the integral transform from the given definition in the first case? If so, can it be generalized to the second?

If I understand your question correctly the answer is yes to both questions. I'll write it out. Using the operators from my paper we can completely represent the iterated difference:

then:

I'm working on writing this all up. So far all I have is a bunch of notes and papers compiled together unorganized.

Now for the first question, to work on these periodic functions define:

And then we can generate the differintegral using taylor series. now if

then

(05/06/2014, 12:11 AM)JmsNxn Wrote: [ -> ]If I understand your question correctly the answer is yes to both questions. I'll write it out. Using the operators from my paper we can completely represent the iterated difference:

then:

I'm working on writing this all up. So far all I have is a bunch of notes and papers compiled together unorganized.

And the fractional derivatives can be written using the formula for the Weyl differintegral, thus an integral transform. So how do you get

from

?

(05/06/2014, 12:11 AM)JmsNxn Wrote: [ -> ]Now for the first question, to work on these periodic functions define:

And then we can generate the differintegral using taylor series. now if

then

But I was wondering if it was possible to work in the other direction,

starting with the definition for periodic functions and then

expanding it to the integral-transform definition, and so if something similar could be done for the forward difference operator.

(05/06/2014, 06:50 AM)mike3 Wrote: [ -> ]And the fractional derivatives can be written using the formula for the Weyl differintegral, thus an integral transform. So how do you get from ?

If these integrals are absolutely convergent in the strip

(05/06/2014, 06:50 AM)mike3 Wrote: [ -> ]But I was wondering if it was possible to work in the other direction, starting with the definition for periodic functions and then expanding it to the integral-transform definition, and so if something similar could be done for the forward difference operator.

Ohhhh I see. Sorry I've never actually read many papers on the periodic definition of the weyl differintegral. I've only read papers by Erdelyi and some others and they always talk about the weyl differintegral

starting from the transform that I use.

I'm certain something similar can be done to the forward difference operator. It won't look as elegant I think though.

(05/06/2014, 03:54 PM)JmsNxn Wrote: [ -> ] (05/06/2014, 06:50 AM)mike3 Wrote: [ -> ]And the fractional derivatives can be written using the formula for the Weyl differintegral, thus an integral transform. So how do you get from ?

If these integrals are absolutely convergent in the strip

(05/06/2014, 06:50 AM)mike3 Wrote: [ -> ]But I was wondering if it was possible to work in the other direction, starting with the definition for periodic functions and then expanding it to the integral-transform definition, and so if something similar could be done for the forward difference operator.

Ohhhh I see. Sorry I've never actually read many papers on the periodic definition of the weyl differintegral. I've only read papers by Erdelyi and some others and they always talk about the weyl differintegral starting from the transform that I use.

I'm certain something similar can be done to the forward difference operator. It won't look as elegant I think though.

Is there a mistake in the above integrals? In the integral for

,

appears as both function argument and as dummy variable inside the integral. Do you mean

? But if that's so, then what's the need for the integral -- the

and

do not depend on the integration variable and so come out, leaving you with only the integral of the power function, which can be solved explicitly?

Or do you mean

?

Also, what about what I mentioned earlier with regard to the tetration integral not working?