Posts: 368
Threads: 44
Joined: Sep 2009
05/05/2014, 02:11 AM
(This post was last modified: 05/05/2014, 03:41 AM by mike3.)
Posts: 683
Threads: 24
Joined: Oct 2008
05/05/2014, 03:49 PM
(This post was last modified: 05/05/2014, 07:15 PM by sheldonison.)
Posts: 571
Threads: 95
Joined: Dec 2010
05/05/2014, 04:27 PM
(This post was last modified: 05/05/2014, 05:31 PM by JmsNxn.)
(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 nearnatural 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.
Posts: 571
Threads: 95
Joined: Dec 2010
OMG. FOund a very nice theorem in complex analysis. I found it referenced in this paper.
http://algo.inria.fr/seminars/sem0102/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.
Posts: 1,493
Threads: 356
Joined: Feb 2009
Posts: 368
Threads: 44
Joined: Sep 2009
(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 nearnatural 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 nonperiodic 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?
Posts: 571
Threads: 95
Joined: Dec 2010
05/06/2014, 12:11 AM
(This post was last modified: 05/06/2014, 12:19 AM by JmsNxn.)
(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 nearnatural 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 nonperiodic 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
Posts: 368
Threads: 44
Joined: Sep 2009
05/06/2014, 06:50 AM
(This post was last modified: 05/06/2014, 06:50 AM by mike3.)
(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 integraltransform definition, and so if something similar could be done for the forward difference operator.
Posts: 571
Threads: 95
Joined: Dec 2010
(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 integraltransform 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.
Posts: 368
Threads: 44
Joined: Sep 2009
05/07/2014, 03:25 AM
(This post was last modified: 05/07/2014, 03:29 AM by mike3.)
(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 integraltransform 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?
