Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Iteration series
Hi -

as I mentioned in the earlier thread

the idea of series of powertowers, which define fractional heights, excited me much. After the translation of the Binomial-formula into my matrix-concept there was no progress in this; but after some fiddling last days, it seems, that I found the key to translate and thus to apply at least the core concepts in the "matrix-method" also to such powertower-series.
I'll call them from now more generally "iteration-series" because they also occured in some iteration-exercises with iterable functions other than tetration.
I defined in my matrix-concept the vandermonde-vector V(x) as infinite vector of powers of x and got this way a very handy way to formulate functions of powerseries, compositions and iterations, as the forum-fellows know already (at least my opinion in this regard :coolSmile.

and have called this "Vandermonde-vector" I define now

as "iteration-vector" where the related function f(x) shall be defined in the near context.

If it is needed to start at a different h_0 then I extend the definition to

so a change of h_0 to, say 1/2 changes the stepwidth to 1/2 (and the second element of the vector has the value of f°(1/2)(x))


I cannot yet post the full procedere of my computations of last days; but the first main result is that, similarly to the nice binomial-formula (Newton/Woon/Henryk...:-) ) I can show that the computation of fractional heigths can be done based on IT-vectors/-series the same way as fractional powers using logarithms, let me call it here: the function-logarithm- or stirling-formula.

Instead of fractional binomials, as in the binomial-formula, I can use the Stirling-numbers (which define the logarithmic- and exponential-series) on IT-series/-vectors, as one would do this with powerseries/Vandermonde-vectors.

I do not yet recognize, whether this gives an improvement of convergence compared to the binomial-formula for fractional iterates, I'll see tomorrow.

But unfortunately, it lacks the same problem as the binomial-formula, that if we want to use an IT-(iteration)-series, then the divergence-problem, if it exists, gets us very early, and with little hope to have a faster approximation-/summation-method.

It's late, I'll continue this tomorrow.

Gottfried Helms, Kassel
I'll explain the use of iteration-series in more detail.

The formula for the binomial-method, (which Henryk announced to the forum last year, was shown by Woon, and earlier by Comtet who credits again earlier use by Jabotinsky) is

The most straigthforward translation of my application of the matrix-method into the similar serial notation is perhaps the following. I'm writing for the pochhammer-symbol x(x-1)(x-2)...(x-m)

derived from the logarithmic-formula exp(h*log(...)) using the matrices of Stirling-numbers I got

[update] Upps... second read: seems I just reduced the combined exp( h* log() ) formulae to arrive at the same as above Rolleyes But well, I'll leave it as it is, the main focus is the following) [/update]

Well, it's not my intention at the moment to compare approximation-rates and convergence issues. It is just to introduce the translation from the concept in my matrix-formula (which is taylored for algebra with formal powerseries) to the equivalent formulation for iteration-series, where only integer-iteration-heights are required to arrive at (and possibly further use) fractional heights.

The whole concept is then much more easier to read (and write) if we introduce an "umbral"-like notation, adapted to iteration-series.

So my proposal tonight is,to write meaning the binomial-formula, in which after expansion the powers are understood as heights. (I is here the identity-operator.)

So expands formally to

and the analogue interpretation may be understood by the notation , for log(), exp() and other functions, which are expressed by powerseries.

Let us also omit the "(x)" at the function, to make things shorter.
Then with this newly introduced Iteration-Umbral we express the above binomial-formula

and the logarithmic formula

May be, the short-notation can further be polished, for instance first I thought to use an additional placeholder at the formal tiny iteration-circle - maybe such expliciteness is sometimes required in more complicated places.

Gottfried Helms, Kassel
Gottfried Wrote:The formula for the binomial-method, (which Henryk announced to the forum last year, was shown by Woon, and earlier by Comtet who credits again earlier use by Jabotinsky) is

Woon used linear operators he doesnt talk about functions.
Jabotinsky (and also Comtet I guess) derived a similar (finite) formula for power series with , .

Quote:The whole concept is then much more easier to read (and write) if we introduce an "umbral"-like notation, adapted to iteration-series.

Yes, its kinda umbral because generally .

I'm looking at iteration-series again, and with the intention to apply the concept of "fractional summation bounds" (as Markus Müller has described this here) meaningfully to that series - perhaps to get another notion of fractional iterates.
But also in general I'm much interested, what properties such series may have.
Here is a step into it. I have it in winword so far (this can at least convert it to html), so you can see it in the browser:
Iteration series 0908
There is a certain aspect in that series which seems to be connected with the slog - but currently I'm a bit stuck and my creativity has a rest today. Perhaps someone here can give a further leading impulse...

Gottfried Helms, Kassel

Possibly Related Threads…
Thread Author Replies Views Last Post
Question Tetration Asymptotic Series Catullus 18 1,223 07/05/2022, 01:29 AM
Last Post: JmsNxn
Question Formula for the Taylor Series for Tetration Catullus 8 1,582 06/12/2022, 07:32 AM
Last Post: JmsNxn
  Fractional iteration of x^2+1 at infinity and fractional iteration of exp bo198214 17 29,759 06/11/2022, 12:24 PM
Last Post: tommy1729
  Calculating the residues of \(\beta\); Laurent series; and Mittag-Leffler JmsNxn 0 713 10/29/2021, 11:44 PM
Last Post: JmsNxn
  Trying to find a fast converging series of normalization constants; plus a recap JmsNxn 0 651 10/26/2021, 02:12 AM
Last Post: JmsNxn
  Reducing beta tetration to an asymptotic series, and a pull back JmsNxn 2 1,537 07/22/2021, 03:37 AM
Last Post: JmsNxn
  Perhaps a new series for log^0.5(x) Gottfried 3 5,523 03/21/2020, 08:28 AM
Last Post: Daniel
Question Taylor series of i[x] Xorter 12 25,802 02/20/2018, 09:55 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 27,525 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 3,789 12/26/2016, 03:01 AM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)