Thread Rating:
• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Tetration below 1 Gottfried Ultimate Fellow Posts: 767 Threads: 119 Joined: Aug 2007 09/03/2007, 08:41 PM bo198214 Wrote:Gottfried Wrote:Quote:However perhaps it could be that ${}^{\frac{1}{2}}b=f^{\circ \frac{1}{2}}(1)$ is real or generally that ${}^tb=f^{\circ t}(1)$ 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 $h$ is not 1 but $e^{-1}. $f(x)=b^x$, $A$ is the power derivation matrix of $f$ (I think this is the transpose of your matrix $B_b$), and $A^t$ is $\exp(t\cdot \log A)$ (though we can also apply the powerseries $(1+x)^t$ directly to $A$). Hence the power series $f^{\circ t}(x)$ has as coefficients the first row of $A^t$ (think transposed in your notation). And now tetration is defined as ${}^tb=f^{\circ t}(1)$. We set $x=1$ not $h$. ok, I misread that $f^{\circ t}(x)$ 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 $f^{\circ t}(x)$ I automatically assume, that it is {x,1}^^t instead of {,x}^^t. I think I'll have to get used to it now... Thanks - Gottfried Gottfried Helms, Kassel Gottfried Ultimate Fellow Posts: 767 Threads: 119 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 $-1<\log(h)<0$ then we have the negative Eigenvalues $\log(h)^{2n+1}$ in the power derivation matrix A of $f(x)=b^x$. Now we compute $A^t$. It has the Eigenvalues $(\log(h)^n)^t$. Take for example $t=\frac{1}{2}$ then we see that $A^t$ has also non-real Eigenvalues and hence has also non-real entries. Supposed $f^{\circ \frac{1}{2}}$ had only real coefficients then $A^{\frac{1}{2}$ would have only real coefficients. So it is clear that $f^{\circ \frac{1}{2}$ must have some non-real coefficients and is a non-real function. However perhaps it could be that ${}^{\frac{1}{2}}b=f^{\circ \frac{1}{2}}(1)$ is real or generally that ${}^tb=f^{\circ t}(1)$ 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 base-parameter, 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 half-iterate complex values for the eigenvalues of the constructed matrix-operator. The half-iterate is (using 16 terms for the result) $\hspace{24} f^{\circ \frac{1}{2}}(b,1)$ = b^^(1/2) = 0.58983992+0.24626917*I Using that result as input, the next half-iterate is $\hspace{24} f^{\circ \frac{2}{2}}(b,1)$ = b^^(2/2) = 0.43851527-2.1267671E-11*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 Gottfried Ultimate Fellow Posts: 767 Threads: 119 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-4/5, but the first examples (smaller log(h)) are "un-nice", 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.089495839-0.091820794*I         0.043600537-0.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.086663533-0.091351385*I         0.041051147-0.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.083461429-0.090526630*I         0.038347143-0.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.079880705-0.089309343*I         0.035502535-0.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.075916053-0.087660307*I        0.032535451-0.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.071566706-0.085538574*I        0.029468643-0.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.066837679-0.082901938*I        0.026329995-0.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.0011324160-0.0050643182*I  0.000053924571+0.000067905019*I  -0.0000013853114-0.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 bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 09/04/2007, 10:54 AM Gottfried Wrote:The half-iterate is (using 16 terms for the result) $\hspace{24} f^{\circ \frac{1}{2}}(b,1)$ = s^^(1/2) = 0.58983992+0.24626917*I Thank you Gottfried! So the hypothesis of complex values for $b<1$ (and $b>e^{-e}$) 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 $\text{sexp}$. Because if this would be true there had to exist a fixed point such that regular iteration of $\exp$ at this fixed point is real, which, I would guess, dont exist. And even the matrix operator method yields real values for $b>\eta$. For variety of views: The multiple branches of $e^x$ (which are spirals in the dependency of a real $x$ as Jay already mentioned: $e^x=(e^{1+2\pi i k})^x = e^x e^{2\pi i k x}$) can also be explained as in the following. If we take $1^{1/2}$ as the solutions of $x^2=1$ we have two solutions: +1 and -1. And generally if we take $1^{1/n}$ we have n distinct solutions on the unit circle with the arguments $\alpha=k\frac{2\pi}{n}$, $k=0..n-1$. If we now consider $1^{\frac{m}{n}}$ we have n solutions if the fraction is cancelled. So we have defined $e^x$ for all rational $x$ as some sort of complex cloud. Now the different branches of $e^x$ 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 $ax+bx^2+\dots$, $|a|\neq 1$. And we get infinitely many branches of a continuous (i.e. where the coefficients continuously depend on the iteration exponent) iteration. jaydfox Long Time Fellow 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 $e^{\ln(b)+2\pi k i}$, with k non-zero, 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 GFR Member 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

Users browsing this thread: 1 Guest(s)