Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
The series 0{b}h/0! - 1{b}h/1! + 2{b}h/2! - ... + ...

In my earlier posts I considered three types of tetrational series

Tetra-geom-series : Example for h=2:

Tetra-eta-series : Example for h=2:

Tetra-series : Example:

These series have all certain ranges of convergence or at least of conventionally manageable divergence like for instance 1-2+3-4... .

It is interesting, how these series could be reformulated in the matrix-operator concept. Since the matrix-approach gives some matrix expression for each term, the alternating sums can formally be expressed by linear combinations of the involved matrices or vectors, and using assiciativity allows then sometimes to replace the infinite sums of matrices or vectors by one matrix or vector alone, whose entries are analytically known.

It was then interesting, that the involvement of infinite series of matrices/vectors is only correct for "one direction" - either a "closed form"(like it is known for the scalar geometric series) of infinite series for k=0 to inf could be verified by crosscheck with serial summation of the scalar expressions but not the series of k=0 to -inf or the converse. We need a correction-term for the incorrect closed-form-expressions, which seems to include a sinusoidal function.
A similar effect is known for scalar lambert-series, which usually are restricted to a "finite to infinity"-range of index.
I've not yet fully understood the effect - but maybe there will be some progress here.

Note, that in all mentioned series no fractional iterate is requested, so we deal only with integer iterates. This seems to prevent some problems with the fixpoint-shifts. Also the diagonalization of the matrix-operators to get their powers is not really needed.

Here I want to introduce some first results for the
Tetra-exp-series : Example for h=2:

The series of height h=1 is simply the exponential-series
AE(b,1) = b^0/0! - b^1/1! + b^2/2! - ... + ...
which converges for all b.

In the matrix-notation it is, with the operator Bb for base b
Y~ = V(0)~*Bb - V(1)~/1!*Bb + V(2)~/2! *Bb - ... + ...
AE(b,1)= Y[1] // the second scalar entry in Y

This can then be expressed as

Y~ = (V(0)/0! - V(1)/1! + V(2)/2! - ... + ...)~ *Bb
Y~ = exp(-1)* X~ * Bb
AE(b,1) = Y[1]

where X~ is a rowvector.

The entries of X can be determined analytically and due to the dominance of the factorial in the denominator we get convergent expressions for all entries.

The sequence of entries in X are an interesting sequence; it is known as "Rao Uppuluri Carpenter-numbers" in the OEIS with id A000587
and are

X~ = [1, -1, 0, 1, 1, -2, -9, -9, 50, 267, 413, -2180, ... ]

Some example-computations with different bases show, that indeed the matrix-formula gives the correct results for height h=1.

Next we use h=2

Here we have to restrict ourselves to some range for the bases such that the sum converges or is conventionally summable by serial summation of the scalar representation of individual terms, for instance |b|<=1. The matrix-representation uses simply an integer power of Bb:

AE(b,2) = exp(-1)*X~ * Bb^2

and for the given range some examples confirm this method of summation.
For b=0.9 I got

AE(b,1) = b^0/0! – b^1/1! + b^2/2! +... - ... = 0.406569659741
AE(b,2) = b^b^0/0! – b^b^1/1! + b^b^2/2! +... - ...= 0.327420772888
AE(b,3) = b^b^b^0/0! – b^b^b^1/1! + .. - ... = 0.334950080400

with both methods.

However, the extension for b excessing the range of convergence (or conventional summability) using the matrix-method seems smooth and again seems to provide sort of "analytical continuation" (I'm not really used to the confirmation of such analytical continuation) but things look very promising.

It is also very intriguing, that we need only one constant vector X~ for all heights h; the height h is only expressed by powers of Bb. This indicates a strong relationship between all these series over their different heights.

So far just this short note.

Gottfried Helms, Kassel

Possibly Related Threads...
Thread Author Replies Views Last Post
  Perhaps a new series for log^0.5(x) Gottfried 3 4,111 03/21/2020, 08:28 AM
Last Post: Daniel
Question Taylor series of i[x] Xorter 12 22,254 02/20/2018, 09:55 PM
Last Post: Xorter
  An explicit series for the tetration of a complex height Vladimir Reshetnikov 13 23,287 01/14/2017, 09:09 PM
Last Post: Vladimir Reshetnikov
  Complaining about MSE ; attitude against tetration and iteration series ! tommy1729 0 3,161 12/26/2016, 03:01 AM
Last Post: tommy1729
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 3,215 12/21/2016, 01:27 PM
Last Post: tommy1729
  Taylor series of cheta Xorter 13 24,269 08/28/2016, 08:52 PM
Last Post: sheldonison
  Tetration series for integer exponent. Can you find the pattern? marraco 20 28,892 02/21/2016, 03:27 PM
Last Post: marraco
  Derivative of E tetra x Forehead 7 14,638 12/25/2015, 03:59 AM
Last Post: andydude
  [AIS] (alternating) Iteration series: Half-iterate using the AIS? Gottfried 33 63,838 03/27/2015, 11:28 PM
Last Post: tommy1729
  [integral] How to integrate a fourier series ? tommy1729 1 4,609 05/04/2014, 03:19 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)