• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Superlog with exact coefficients Gottfried Ultimate Fellow Posts: 765 Threads: 119 Joined: Aug 2007 03/10/2009, 09:59 PM (This post was last modified: 03/12/2009, 08:19 PM by Gottfried.) andydude Wrote:This means that $\beta(x) = \text{slog}_{(b^{1/b})}(x)$ which relates back to the super-logarithm as follows: $\text{slog}_{(e^{a(e^{-a})})}(x) = C + \frac{1}{\ln(a)}( (x(e^{-a})-1) + \frac{a(x(e^{-a})-1)^2}{4(1-a)} + \frac{a^2(1+5a)(x(e^{-a})-1)^3}{36(a-1)^2(a+1)} - \frac{a^4(2+a+3a^2)(x(e^{-a})-1)^4}{32(a-1)^3(a+1)(1+a+a^2)} + \dots ) $ Andrew Robbins One year late... and only partial progress. I express this with my toolbox of matrices. First we agree, that we can use for exp_b(x) the dxp_t(x/t-1) (while, however the full equivalence is then (dxp_t(x/t-1) + 1)*t ) For exp_b(x) I use the transposed Carleman-matrix Bb V(x) ~ * Bb = V(b^x)~ For dxp_t(x) I use t^(1/t) = b ,u = log(t) V(x/t-1) ~ *Ut = V( b^x/t- 1) ~ where Ut is the matrix-operator for dxp_t having the coefficients in its second column Create it as "Utsym" symbolically with the parameter a (from your notation = log(t) = u) to dimension, say 5: Utsym = dV(a,5) * VE(fS2F,5); Now the iterative logarithm can be found by finding the matrix-log of Utsym. Since the diagonal is not the Id-matrix, I take the eigen-decomposition (efficiently configured for triangular matrices) UtsymKenn = triEigSys(Utsym) ; and this has in the three components UtsymKenn[2] =W, UtsymKenn[3]=D ,UtsymKenn[4] = W^-1 where D is diagonal and contains the eigenvalues [1,a,a^2,a^3,a^4], sucht that Utsym = W * D * W^-1 The log of Utsym is then the re-composition with the log of the diagonal, (Log(D)) and this is the diagonalmatrix Log(D) = diag([0,1,2,3,4])*lna where I use the symbol lna for the ln(a) (since we want to keep it symbolically) UtsymLog = W * lna* diag(0,1,2,3,4) * W^-1 ... = lna* W * diag(0,1,2,3,4) * W^-1 The result is not a matrix-operator because the eigenvalues are not vandermonde; so we have to construct the matrixopertator from its second column: UtJulia = matfromser(UtsymLog[,2]) $ \begin{matrix} {rrrr} & lna* (x & -\frac{a}{2(1-a)}*x^2 & + \frac{a^2(1-a)}{3!(1-a)(1-a^2)}*x^3 & - \frac{((a^3(2a+1)(1-a)}{4!(1-a^2)(1-a^3)}*x^4 & \dots ) \end{matrix}$ This agrees with your representation except of a bit straightening of denominators, so far. Now to proceed I needed the integral-representation, but unfortunately I don't have the appropriate "toolbox-matrix" for this at the moment... So I'll try the remaining part another day Gottfried Gottfried Helms, Kassel « Next Oldest | Next Newest »

 Messages In This Thread Superlog with exact coefficients - by andydude - 06/11/2008, 05:46 AM RE: Superlog with exact coefficients - by andydude - 06/11/2008, 06:02 AM RE: Superlog with exact coefficients - by Gottfried - 06/11/2008, 07:18 AM RE: Superlog with exact coefficients - by Gottfried - 06/13/2008, 06:38 AM RE: Superlog with exact coefficients - by bo198214 - 06/20/2008, 01:26 PM RE: Superlog with exact coefficients - by Gottfried - 03/10/2009, 09:59 PM

 Possibly Related Threads... Thread Author Replies Views Last Post Taylor polynomial. System of equations for the coefficients. marraco 17 18,058 08/23/2016, 11:25 AM Last Post: Gottfried Can we prove these coefficients must be constant? JmsNxn 0 1,997 06/03/2012, 09:17 PM Last Post: JmsNxn Coefficients of Tetrational Function mike3 3 7,009 04/28/2010, 09:11 PM Last Post: andydude Branch points of superlog mike3 0 2,438 02/03/2010, 11:00 PM Last Post: mike3 Superlog determinant factored! andydude 3 4,968 11/10/2009, 12:44 AM Last Post: andydude Exact and Unique solution for base e^(1/e) jaydfox 22 25,542 08/03/2009, 03:24 PM Last Post: bo198214

Users browsing this thread: 1 Guest(s)