• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Understanding Abel/Schroeder with matrix-expression Gottfried Ultimate Fellow Posts: 758 Threads: 117 Joined: Aug 2007 05/26/2008, 07:02 PM (This post was last modified: 05/26/2008, 07:06 PM by Gottfried.) Here I'm considering fractional heights h for the function Ut°h(x) of complex base t, which implemets x -> t^x -1 and hope to get to the source of the persisting problem. Note, that with the previously described method everything is fine with integral heights, so the problem should be somehow systematic. Remember the Schröder-function, whose powerseries-coefficients I find in the 2'nd column of the eigenvectormatrix of the operator Ut, such that $\hspace{24} U_t = W * ^dV(u) * WI$ where u=log(t) and WI is the inverse of W. Then the Schröder-function sigma for parameter t is $\hspace{24} \sigma_t(x) = \sum_{k=0}^{\infty} W_{k,1}*x^k$ and the inverse takes the coefficients of WI instead: $\hspace{24} \sigma_t^{-1}(x) = \sum_{k=0}^{\infty} WI_{k,1}*x^k$ To compute Ut°1(x) we simply do $\hspace{24} U_t^{{^o}1}(x) = \sigma_t^{-1}(u*\sigma_t(x))$ or, for integer h $\hspace{24} U_t^{{^o}h}(x) = \sigma_t^{-1}(u^h*\sigma_t(x))$ As I said, this works fine even for complex t, checked with some t where abs(t)<1, if heights are integral. But we'll see, that for fractional h this does not work. With this simple process, for instance t=1/2 + 1/2 I there is also no severe problem with convergence or even divergence - things sum up in a completely easy manner - but anyway, the fractional h in u^h produce obviously complete crap. Currently I suspect, that there must be some conjugacy be involved - but don't have a working idea, where. Gottfried Helms, Kassel bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 05/26/2008, 07:36 PM Gottfried Wrote:With this simple process, for instance t=1/2 + 1/2 I there is also no severe problem with convergence or even divergence - things sum up in a completely easy manner - but anyway, the fractional h in u^h produce obviously complete crap. Currently I suspect, that there must be some conjugacy be involved - but don't have a working idea, where. Apart from the Schroeder function, does the fractional Matrix power return the proper fractional iteration? And what means crap? I am not able to guess your computations and where there occured a problem. Gottfried Ultimate Fellow Posts: 758 Threads: 117 Joined: Aug 2007 05/26/2008, 08:45 PM (This post was last modified: 05/26/2008, 10:07 PM by Gottfried.) bo198214 Wrote:Apart from the Schroeder function, does the fractional Matrix power return the proper fractional iteration?Well, the fractional matrix-power will be computed by that same formula; empirically, the eigensystemsolver of Pari/Gp gives exactly the same results (resp.rescaling and reordering) as the analytically constructed Ut-Eigenmatrices. bo198214 Wrote:And what means crap? I am not able to guess your computations and where there occured a problem.Really crap... But you made me recheck the problem and I found the error getting now correct results at least for this base. I was multiplying dV(sigma)*dV(u^h) , but for fractional powers of complex u this is obviously different from dV(sigma*u^h), so , for instance for the fourth entry I had sigma^3 * (u^0.5^3) where I should have had (sigma*u^0.5)^3 which obviously are different from each other if u is complex and the power of u is fractional. I had to use the second version. [update] To make it more precise: the difference occurs, since for complex exponentiation a) (u^3)^0.5 can be different from b) (u^0.5)^3, so commutativity with multiplication in the exponent is not generally given. What is surprising - considering the principles of diagonalization and computing powers of matrices - that one would expect the correct way to compute the h'th power of a matrix using its eigenvalues would be a) dV(u)^h , but the example indicates that we have to compute b) dV(u^h) where b) gives then (u^h)^0, (u^h)^1, (u^h)^2,... which gives the correct result in my example computation. This is really surprising. [/update] Stupid error - all the half year where I dealt with that problem I didn't catch that bug. Well - I'll recompute my old examples; hope I get consistent results now. New energy! Gottfried Helms, Kassel « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Moving between Abel's and Schroeder's Functional Equations Daniel 1 121 01/16/2020, 10:08 PM Last Post: sheldonison The Tao of Abel and Schroeder Daniel 0 94 12/24/2019, 11:25 AM Last Post: Daniel Tommy's matrix method for superlogarithm. tommy1729 0 1,685 05/07/2016, 12:28 PM Last Post: tommy1729 [split] Understanding Kneser Riemann method andydude 7 8,034 01/13/2016, 10:58 PM Last Post: sheldonison [2015] New zeration and matrix log ? tommy1729 1 3,199 03/24/2015, 07:07 AM Last Post: marraco Regular iteration using matrix-Jordan-form Gottfried 7 8,676 09/29/2014, 11:39 PM Last Post: Gottfried Is this entire expression for tetration legal JmsNxn 4 4,713 01/20/2013, 07:32 PM Last Post: cosurgi Q: Exponentiation of a carleman-matrix Gottfried 0 2,882 11/19/2012, 10:18 AM Last Post: Gottfried Is the following expression for tetration useful? JmsNxn 9 9,080 11/14/2012, 11:29 PM Last Post: tommy1729 A support for Andy's (P.Walker's) slog-matrix-method Gottfried 0 2,440 11/14/2011, 04:01 AM Last Post: Gottfried

Users browsing this thread: 1 Guest(s)