Tetra-exp-series
#1
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 : \(
\sum_{k=0}^{\inf} (-1)^k *( k \lbrace b \rbrace h) \text{ }
\) Example for h=2: \(
b^{b^0} - b^{b^1} + b^{b^2} - b^{b^3} +... - ...
\)

Tetra-eta-series : \(
\sum_{b=1}^{\inf} (-1)^b * (1 \lbrace b \rbrace h) \text{ }
\) Example for h=2: \(
1^{1^x} - 2^{2^x} + 3^{3^x} - 4^{4^x} +... - ...
\)


Tetra-series : \(
\sum_{h=0}^{\inf} (-1)^h *( x \lbrace b \rbrace h) \text{ }
\) Example: \(
x - b^x + b^{b^x} - b^{b^{b^x}} + ... - ...
\)

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 : \(
AE(b,h)= \sum_{k=0}^{\inf} (-1)^k *\frac {( k \lbrace b \rbrace h) }{k!} \text{ }
\) Example for h=2: \( AE(b,2) =
\frac {b^{b^0}}{0!}
- \frac {b^{b^1}}{1!}
+ \frac {b^{b^2}}{2!}
- \frac {b^{b^3}}{3!} +... - ...
\)

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
http://www.research.att.com/~njas/sequences/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
Gottfried Helms, Kassel


Possibly Related Threads…
Thread Author Replies Views Last Post
  Divergent Series and Analytical Continuation (LONG post) Caleb 54 13,284 03/18/2023, 04:05 AM
Last Post: JmsNxn
  Discussion on "tetra-eta-series" (2007) in MO Gottfried 40 9,826 02/22/2023, 08:58 PM
Last Post: tommy1729
Question Is the Tetra-Euler Number Rational? Catullus 1 930 07/17/2022, 06:37 AM
Last Post: JmsNxn
Question Tetration Asymptotic Series Catullus 18 6,441 07/05/2022, 01:29 AM
Last Post: JmsNxn
Question Natural Properties of the Tetra-Euler Number Catullus 6 2,524 07/01/2022, 08:16 AM
Last Post: Catullus
Question Formula for the Taylor Series for Tetration Catullus 8 4,463 06/12/2022, 07:32 AM
Last Post: JmsNxn
  Calculating the residues of \(\beta\); Laurent series; and Mittag-Leffler JmsNxn 0 1,295 10/29/2021, 11:44 PM
Last Post: JmsNxn
  Trying to find a fast converging series of normalization constants; plus a recap JmsNxn 0 1,235 10/26/2021, 02:12 AM
Last Post: JmsNxn
  Reducing beta tetration to an asymptotic series, and a pull back JmsNxn 2 2,611 07/22/2021, 03:37 AM
Last Post: JmsNxn
  Perhaps a new series for log^0.5(x) Gottfried 3 6,854 03/21/2020, 08:28 AM
Last Post: Daniel



Users browsing this thread: 1 Guest(s)