Posts: 768
Threads: 120
Joined: Aug 2007
bo198214 Wrote:Gottfried Wrote:Quote:However perhaps it could be that is real or generally that is real, which I dont believe. Can someone just compute it?
Hmm, I don't know, whether I understand you correctly. If h=1 then all eigenvalues except the first are zero ( = [1,0,0,....]) and the result is always the same, independent of any power of log(h) since the "height" y of the tower occurs only as exponent of the eigenvalues....
Did I misread something obvious?
As said is not 1 but .
, is the power derivation matrix of (I think this is the transpose of your matrix ), and is (though we can also apply the powerseries directly to ). Hence the power series has as coefficients the first row of (think transposed in your notation).
And now tetration is defined as . We set not .
ok, I misread that as x^^t instead of {h,x}^^t, as in Andrew's notational references. I got it now. If there are only two parameters given as in I automatically assume, that it is {x,1}^^t instead of {<context>,x}^^t. I think I'll have to get used to it now...
Thanks 
Gottfried
Gottfried Helms, Kassel
Posts: 768
Threads: 120
Joined: Aug 2007
09/04/2007, 08:03 AM
(This post was last modified: 09/05/2007, 07:14 AM by Gottfried.)
bo198214 Wrote:If then we have the negative Eigenvalues in the power derivation matrix A of . Now we compute . It has the Eigenvalues . Take for example then we see that has also nonreal Eigenvalues and hence has also nonreal entries. Supposed had only real coefficients then would have only real coefficients. So it is clear that must have some nonreal coefficients and is a nonreal function.
However perhaps it could be that is real or generally that is real, which I dont believe. Can someone just compute it?
I computed for hl = log(h) = 1/2 , h = 0.60653066, b= 0.43851527
such that h^(1/h) = b
So b is our usual baseparameter, and it is made sure by the above computation, that it is in the admissible range.
Using my analytic solution:
Since hl is negative, we have for the halfiterate complex values for the eigenvalues of the constructed matrixoperator.
The halfiterate is (using 16 terms for the result)
= b^^(1/2) = 0.58983992+0.24626917*I
Using that result as input, the next halfiterate is
= b^^(2/2) = 0.438515272.1267671E11*I
using 16 terms again.
Indeed, the result approximates b^^1 = b very good.
Gottfried
edit: I adapted the s^^ (1/2) expression to b^^(1/2) for consistency
Gottfried Helms, Kassel
Posts: 768
Threads: 120
Joined: Aug 2007
09/04/2007, 10:18 AM
(This post was last modified: 09/05/2007, 07:11 AM by Gottfried.)
Here I show some results for 19/20 <= log(h) <= 1/20
which means, that bases b are in the bounds 0.086<b<0.95
As in the previous post, h = h(b) or h^(1/h)=b, and 1<log(h)<0,
so we have complex eigenvalues for the halfiterate.
I used 32 terms; for log(h)<4/5 the convergence was bad, so I used
Eulersummation of handselected orders to sum up the terms
(see third table)
Here are results for the halfiterates:
Code: Table1:
b h log(h) f°0.5(b,1)
0.085740998 0.38674102 19/20 0.36418555+0.18927488*I // only about 4 or 5 digits correct
0.10930176 0.40656966 9/10 0.36934282+0.25207493*I
0.13687327 0.42741493 17/20 0.38255541+0.28789034*I
0.16856519 0.44932896 4/5 0.40234273+0.30722539*I // down from here the digits seem to be all correct
0.20438496 0.47236655 3/4 0.42722347+0.31456470*I
0.24423439 0.49658530 7/10 0.45586756+0.31265441*I
0.28791167 0.52204578 13/20 0.48716903+0.30346945*I
0.33511843 0.54881164 3/5 0.52028454+0.28854799*I
0.38547106 0.57694981 11/20 0.55462781+0.26913667*I
0.43851527 0.60653066 1/2 0.58983992+0.24626917*I
0.49374283 0.63762815 9/20 0.62574943+0.22081962*I
0.55060925 0.67032005 2/5 0.66233139+0.19354617*I
0.60855156 0.70468809 7/20 0.69967007+0.16513107*I
0.66700506 0.74081822 3/10 0.73792748+0.13622047*I
0.72541864 0.77880078 1/4 0.77731772+0.10746647*I
0.78326786 0.81873075 1/5 0.81808620+0.079576360*I
0.84006573 0.86070798 3/20 0.86049207+0.053380211*I
0.89537103 0.90483742 1/10 0.90479236+0.029949503*I
0.94879402 0.95122942 1/20 0.95122645+0.010892129*I
Here are the results in terms of polarcoordinates:
Code: Table 2:
log(h) abs(f°0.5) arg(f°0.5)

19/20 0.41043403 0.47929966
9/10 0.44716428 0.59888134
17/20 0.47877917 0.64512822
4/5 0.50622832 0.65214291
3/4 0.53053825 0.63467538
7/10 0.55278207 0.60116254
13/20 0.57395764 0.55710531
3/5 0.59494197 0.50636535
11/20 0.61647916 0.45178327
1/2 0.63918670 0.39551685
9/20 0.66356888 0.33924555
2/5 0.69003115 0.28430356
7/20 0.71889254 0.23177151
3/10 0.75039522 0.18254374
1/4 0.78471133 0.13738207
1/5 0.82194734 0.096966309
3/20 0.86214618 0.061955126
1/10 0.90528790 0.033088886
1/20 0.95128881 0.011450115
In the next table are the first 6 terms [update:reduced from7] for the evaluation at each log(h).
Let the coefficients in the first row be a_k, the coefficients in the second row be b_k (only the first six are documented),
then the result (the value for the halfiterate) is sum (a_k*b_k)
We see, that convergence is good for some log(h)>4/5, but the first examples
(smaller log(h)) are "unnice", and the convergence must be accelerated to get
usable results with 32 terms only.
Code: Table 3:
log(h)=19/20
1.0000000 1.5857097 2.5144751 3.9872275 6.3225851
0.38674102 0.37694852*I 0.0894958390.091820794*I 0.0436005370.56587507*I 0.26178981+0.42070266*I
log(h)=18/20
1.0000000 1.4596031 2.1304412 3.1095987 4.5387799
0.40656966 0.38570585*I 0.0866635330.091351385*I 0.0410511470.25818786*I 0.10983200+0.19013148*I
log(h)=17/20
1.0000000 1.3396469 1.7946537 2.4042022 3.2207819
0.42741493 0.39405710*I 0.0834614290.090526630*I 0.0383471430.15505064*I 0.060177000+0.11303772*I
log(h)=16/20 = 4/5
1.0000000 1.2255409 1.5019506 1.8407019 2.2558555
0.44932896 0.40189204*I 0.0798807050.089309343*I 0.0355025350.10320191*I 0.036178774+0.074471706*I
log(h)=15/20
1.0000000 1.1170000 1.2476890 1.3936687 1.5567279
0.47236655 0.40908143*I 0.0759160530.087660307*I 0.0325354510.072006681*I 0.022502197+0.051450545*I
log(h)=14/20
1.0000000 1.0137527 1.0276946 1.0418281 1.0561561
0.49658530 0.41547307*I 0.0715667060.085538574*I 0.0294686430.051267237*I 0.014028081+0.036315835*I
log(h)=13/20
1.0000000 0.91554083 0.83821501 0.76742006 0.70260440
0.52204578 0.42088676*I 0.0668376790.082901938*I 0.0263299950.036623995*I 0.0085533520+0.025784195*I
...
log(h)=1/20
1.0000000 0.051271096 0.0026287253 0.00013477763 0.0000069101968
0.95122942 0.21270137*I 0.00113241600.0050643182*I 0.000053924571+0.000067905019*I 0.00000138531140.00000016343552*I
Hmm, it may be worth noting, that these terms are exact (in the sense as we assume logarithms,
powers of logarithms and exp(x) are exact and their finite linear combinations) due to my
analytic solution.
They don't change when the dimension of matrices is increased, only their number increases
with the higher dimensions.
Gottfried
[update: I reduced the number of terms because the wide format also affected the readability of the other postings on my screen]
Gottfried Helms, Kassel
Posts: 1,389
Threads: 90
Joined: Aug 2007
Gottfried Wrote:The halfiterate is (using 16 terms for the result)
= s^^(1/2) = 0.58983992+0.24626917*I
Thank you Gottfried! So the hypothesis of complex values for (and ) is strongly supported by the matrix operator method (where this method quite precisely reflects the inutition behind fractional iteration, as it yields the expected results in all major application cases, as I will show in a subsequent post somewhen.)
@Jay
I nearly completely agree with you with the one exception that I dont think there is a direct relation between the development at the fixed points and the different branches of the . Because if this would be true there had to exist a fixed point such that regular iteration of at this fixed point is real, which, I would guess, dont exist. And even the matrix operator method yields real values for .
For variety of views: The multiple branches of (which are spirals in the dependency of a real as Jay already mentioned: ) can also be explained as in the following. If we take as the solutions of we have two solutions: +1 and 1. And generally if we take we have n distinct solutions on the unit circle with the arguments , . If we now consider we have n solutions if the fraction is cancelled. So we have defined for all rational as some sort of complex cloud. Now the different branches of are all the possible continuous functions through this cloud!
In the same way there are n complex solutions for the nth iterative root of a powerseries of the form , . And we get infinitely many branches of a continuous (i.e. where the coefficients continuously depend on the iteration exponent) iteration.
Posts: 440
Threads: 31
Joined: Aug 2007
09/05/2007, 11:24 PM
(This post was last modified: 09/05/2007, 11:33 PM by jaydfox.)
As it turns out, the idea of exponentiation of a negative base is not just a good analogy, it is in fact directly relevant.
Find a fixed (preferably real) point of iteration. If you subtract the fixed point from successive iterates, you'll find that an iterate is a multiple of the distance from the fixed point. Iterative multiplication is, of course, exponentiation. The slope of the function at that point is then the base of exponentiation for determining the iterates. Only when the slope is 1 can we fall back on parabolic iteration methods.
Therefore, if the slope is negative, then you're going to be dealing with exponentiation of a negative base. This explains why every other value is high or low, because the iterates of multiplication of a negative number alternate positive and negative.
Fractional iteration of a negative number will necessarily be complex. Therefore, we should expect a complex spiral around the fixed point of the tetrational bases between e^e and 1. We start at the fixed point at positive infinity, create a complex spiral of period 2 and infinitesimal radius, and then take iterative logarithms to get back to the origin. Voila!
For bases less than e^e, the fixed point is actually repelling, much as the upper asymptote for bases between 1 and eta is repelling. This complicates the matter but does not make it intractable. We can likely start at the fixed point and exponentiate our way to some complex ring asymptote, then use logarithms just outside this ring to recover the tetration. However, this last idea is at best a guess until I can investigate it.
Finally, complex slopes should be similarly solvable, allowing us to solve iterative exponentiation of complex bases, so long as we can find a suitable (preferably real) fixed point.
The main remaining question, of course, is what to do with bases greater than eta. We still lack real fixed points. For bases of the form , with k nonzero, we might actually be able to find complex fixed points. But for the "primary branch", no real fixed points exist. Other methods exist which seem to work, but their inner workings are far more esoteric than the simplicity of hyperbolic iteration from a fixed point.
~ Jay Daniel Fox
Posts: 174
Threads: 4
Joined: Aug 2007
09/06/2007, 12:01 AM
(This post was last modified: 09/06/2007, 12:04 AM by GFR.)
Hey Jay! I'm pleased to meet you.
I like your model of "repelling fixed points", particularly for the upper branch in the interval 1<b<eta and in the case of 0<b<e^(e). In this second situation, the fixed points seem to mee real, attracting, but ... "transinfinite (!?!)". Tomorrow I shall post two simulation plots, for clarifying what I really mean (... dream?).
Gianfranco
Posts: 440
Threads: 31
Joined: Aug 2007
09/06/2007, 03:28 AM
(This post was last modified: 09/06/2007, 03:30 AM by jaydfox.)
I think the idea of iterating from the fixed point at 0.318... + 1.337... i is valid!
Start with a selection of numbers between 0 and 1, and begin taking the natural logarithm over and over. The values will settle on that particular fixed point (depending on which branch of the logarithm your program uses).
Therefore, we should be able to come up with a fixed point hyperbolic solution that yields REAL numbers after enough exponentiations to get us back to the range (0,1).
The question is, will it match the inverse of Andrew's slog?
By the way, this was a quick, off the cuff test with the xnumbers library in Excel, so until someone can confirm it in a more reliable library, I reserve the right to be wrong.
~ Jay Daniel Fox
Posts: 440
Threads: 31
Joined: Aug 2007
Hmm, my initial excitement has been dulled. It seems that, while the iterated natural logarithms of the real interval (0,1) do seem to converge on a fixed point, they do so in a very fascinating fractal manner. Unfortunately, this fractal convergence to the fixed point makes it difficult to identify the "correct" way to fractionally iterate. A straight line or complex spiral would be very straightforward, but this fractal isn't. This isn't to say that I've given up hope of getting some useful information here, but it's not nearly as simple as I'd hoped.
~ Jay Daniel Fox
Posts: 1,389
Threads: 90
Joined: Aug 2007
03/26/2008, 04:51 PM
(This post was last modified: 03/26/2008, 04:58 PM by bo198214.)
I plotted a curve of regular tetration at base (which is in the range ) at the lower (attracting & real) fixed point here. One can see very well that real values are only achieved at integer iterations.
