• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Solving tetration for base 0 < b < e^-e Gottfried Ultimate Fellow Posts: 765 Threads: 119 Joined: Aug 2007 09/13/2009, 07:34 PM (This post was last modified: 09/13/2009, 09:37 PM by Gottfried.) (09/13/2009, 01:34 PM)Gottfried Wrote: then I got much better precision: denote the function f(h) the so constructed sexp-function f(h) = exp_b°h(1), u0 the log of the complex fixpoint, second branch (=log(t0) + 2*Pi*I) Code:```bl = log(b) // = -2.718... x' = log(x/t0) y'=eschr°-1 (u0^h*eschr(x')) y = exp(y')*t0 then f(1)     - b    = -2.244868624099733 E-60 + 3.153343574801035 E-60*I  // order for Eulersum: 1.4 - 0.1*I f(2)     - b°2  =  1.922763821393618 E-13 + 1.897277601645949 E-13*I  // order for Eulersum: 2.5-1.2*I f(-1)*bl - 0    =  4.089597929065041 E-56 + 6.283185307179586*I       // order for Eulersum: 1 (direct sum, no acceleration needed)```However, as we see at the f(-1)-entry we needed a correction factor to get the correct real value - but with this we have the imaginary part differing with 2*Pi*I. I don't know yet how to include this smoothly into the formula, so it does not yet make sense to try to improve the fractional iterates with this... However, I just tried the (positive h=+0.5) half-iterate (hoping that it may not be required for positive heights to include this additional correction-factor). I got an half-iterate, which -when iterated- reproduced the integer-iterate well, I got about b°0.5(b°0.5(1)) - b ~ 5.0e-18 Code:```\\ half-iterate, u=log(t0)+2*Pi*I U_05=W*dV(u^0.5)*WI;  \\ Bell-matrix for halfiterate; stirling-transformation is already included in W and WI (=W^-1) x=1 ESum(1.7-0.7*I)  *dV(log(x/t0))  *  U_05   \\ Use complex Euler-order for summation of 1.7-0.7*I, manually optimized   \\ y' = -3.903870288432298   + 1.032427916941400  *I   \\ untransformed value as result of matrix-sum y = exp(y')*t0   \\ y  =  0.02725344094115782 - 0.02087339685842267*I  \\ transformed, final value x = y    \\ use found value and iterate again ESum(2.4-0.6*I)  *dV(log(x/t0))  * U_05  \\ another Euler-order required    \\ y' = -3.250373950445425 - 4.597158013302573*I  \\ untransformed matrix-sum y = exp(y') *t0    \\ y  =  0.06598803584531253 + 5.687696437325240 E-18*I  \\ transformed, final value y - b =  -4.706607418746630 E-18 + 5.687696437325240 E-18*I    \\error <1e-17```So the half-iterate from 1 by regular iteration using fixpoint t0 is y ~= 0.02725344094115782 - 0.02087339685842267*I . Seems, one can find at least any solution using regular tetration for this base, however difficult. What makes me still headscratch is the required correction-term for the one negative height example [update] I could improve this to err~1e-25 when simply computed the schröder-values separately as described in the mail before. Then I even did not need complex-euler-orders; just for one summation (of four) I needed a small Euler-acceleration of order 1.3 (which is nearly untransformed partial sums) The above value for the half-iterate is confirmed and has even more stable digits in the partial sums using around 120 to 128 terms. [/update] [update 2] The graph below is only a proposal. Only h=0.5 was used to reproduce the integer iteration so far. Other rational fractions should be verified, too.     [/update 2]     Gottfried Gottfried Helms, Kassel « Next Oldest | Next Newest »

 Messages In This Thread Solving tetration for base 0 < b < e^-e - by mike3 - 09/12/2009, 02:00 AM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/12/2009, 06:56 AM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/12/2009, 07:20 AM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/12/2009, 07:40 AM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/12/2009, 07:47 AM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/12/2009, 08:07 AM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/12/2009, 08:35 AM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/12/2009, 08:50 AM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/12/2009, 03:48 PM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/12/2009, 09:04 PM RE: Solving tetration for base 0 < b < e^-e - by Gottfried - 09/13/2009, 06:14 AM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/13/2009, 07:24 AM RE: Solving tetration for base 0 < b < e^-e - by Gottfried - 09/13/2009, 09:57 AM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/13/2009, 11:23 AM RE: Solving tetration for base 0 < b < e^-e - by Gottfried - 09/13/2009, 11:44 AM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/14/2009, 09:43 PM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/17/2009, 08:01 AM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/17/2009, 11:03 AM RE: Solving tetration for base 0 < b < e^-e - by Gottfried - 09/13/2009, 01:34 PM RE: Solving tetration for base 0 < b < e^-e - by Gottfried - 09/13/2009, 07:34 PM RE: Solving tetration for base 0 < b < e^-e - by Gottfried - 09/14/2009, 02:02 PM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/13/2009, 08:08 AM RE: Solving tetration for base 0 < b < e^-e - by mike3 - 09/13/2009, 09:49 AM RE: Solving tetration for base 0 < b < e^-e - by tommy1729 - 09/18/2009, 12:16 PM RE: Solving tetration for base 0 < b < e^-e - by bo198214 - 09/18/2009, 01:00 PM

 Possibly Related Threads... Thread Author Replies Views Last Post Complex Tetration, to base exp(1/e) Ember Edison 7 2,986 08/14/2019, 09:15 AM Last Post: sheldonison Is bounded tetration is analytic in the base argument? JmsNxn 0 1,558 01/02/2017, 06:38 AM Last Post: JmsNxn Solving tetration using differintegrals and super-roots JmsNxn 0 2,123 08/22/2016, 10:07 PM Last Post: JmsNxn tetration base sqrt(e) tommy1729 2 3,668 02/14/2015, 12:36 AM Last Post: tommy1729 Explicit formula for the tetration to base [tex]e^{1/e}[/tex]? mike3 1 3,270 02/13/2015, 02:26 PM Last Post: Gottfried tetration base > exp(2/5) tommy1729 2 3,439 02/11/2015, 12:29 AM Last Post: tommy1729 regular tetration base sqrt(2) : an interesting(?) constant 2.76432104 Gottfried 7 10,103 06/25/2013, 01:37 PM Last Post: sheldonison tetration base conversion, and sexp/slog limit equations sheldonison 44 60,175 02/27/2013, 07:05 PM Last Post: sheldonison simple base conversion formula for tetration JmsNxn 0 3,485 09/22/2011, 07:41 PM Last Post: JmsNxn Does anyone have taylor series approximations for tetration and slog base e^(1/e)? JmsNxn 18 22,868 06/05/2011, 08:47 PM Last Post: sheldonison

Users browsing this thread: 1 Guest(s)