Thread Rating:
• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 base holomorphic tetration bo198214 Administrator Posts: 1,386 Threads: 90 Joined: Aug 2007 11/06/2009, 11:29 PM (This post was last modified: 11/06/2009, 11:42 PM by bo198214.) (11/06/2009, 09:16 PM)mike3 Wrote: That's correct. Though as I've mentioned, there is as of yet no rigorous proof that the series converges even though the first 25 terms given do, hence why I mentioned it suggests, not proves, the hypothesis. That it takes on a real value here suggests this continuation cannot be interpreted as regular iteration at these bases, which would take on complex values. No, Mike, thats no hint at all. You can take any function real analytic at some point, close to some real singularity. The truncated powerseries always yields real values outside the convergence radius. Better would be a graph of the root test, or at least a graph that shows some convergence of the series. Quote:Not analytic at $e^{1/e}$? That's strange. Not analytic at $e$ would make more sense. yes, of course you are right. I correct it in my original post. Quote:Can you tell me what this series formula is, by the way? Have a look at the tetration method draft formula 2.5. This is regular iteration at fixed point 0. You get the formula by coefficient comparison of $f^{\circ t} \circ f = f\circ f^{\circ t}$ and ${f^{\circ t}}_1={f_1}^t$, where the index indicates the corresponding coefficient of the powerseries at 0. For fixed points $a$ different from 0 you consider the function $h(x)=f(x+a)-a$ which has the fixed point at 0. Then $f^{\circ t}(x)=h^{\circ t}(x-a)+a$. I.e. in our case we have $h_b(x)=b^{x+a}-a=a(b^x-1)=a(e^{\ln(b)x}-1)=\frac{\ln(a)}{\ln(b)}(e^{\ln(b)x}-1)$. To work with a simpler formula we consider another conjugation $h(x)=\frac{1}{\ln(b)}(g(\ln(b) x))$. $g(x)=\ln(a) (e^x -1 )$, $\tau(x)=\frac{x}{\ln(b)}+a$, $\tau^{-1}(x)=\ln(b)(x - a)$, $g = \tau^{-1}\circ f\circ \tau$. $g(x)=\ln(a)x + \frac{\ln(a)}{2} x^2 + \frac{\ln(a)}{6} x^3 + \dots$ This gives the following unsimplified coefficients of $g^{\circ t}$: $ {g^{\circ t}}_1 = \mbox{lna}^{t}\\ {g^{\circ t}}_2 = \left(\frac{1}{2} \, \frac{{({(\mbox{lna})}^{t}^{2} - \mbox{lna}^{t})}}{{(\mbox{lna}^{2} - \mbox{lna})}}\right) \mbox{lna}\\ {g^{\circ t}}_3 = \left(\frac{1}{2} \, \frac{{(\frac{{({(\mbox{lna})}^{t}^{2} - \mbox{lna}^{t})} \mbox{lna}^{t}}{{(\mbox{lna}^{2} - \mbox{lna})}} - \frac{{({(\mbox{lna})}^{t}^{2} - \mbox{lna}^{t})} \mbox{lna}}{{(\mbox{lna}^{2} - \mbox{lna})}})}}{{(\mbox{lna}^{3} - \mbox{lna})}}\right) \mbox{lna}^{2} + \left(\frac{1}{6} \, \frac{{({(\mbox{lna})}^{t}^{3} - \mbox{lna}^{t})}}{{(\mbox{lna}^{3} - \mbox{lna})}}\right) \mbox{lna}$ One can see that the coefficients are polynomials in $\ln(a)^t$ with rational coefficients in $\ln(a)$. One needs to investigate whether $f^{\circ t}(1)=\tau\circ g^{\circ t}\circ\tau^{-1}(1)=a+\frac{1}{\ln(b)}\sum_{n=1}^\infty {g^{\circ t}}_n (\ln(b)(1 - a))^n$ is analytic in $b=e^{1/e}$ with $a=\exp(-W(-\ln(b)))$. « Next Oldest | Next Newest »

 Messages In This Thread base holomorphic tetration - by bo198214 - 11/05/2009, 02:12 PM RE: base holomorphic tetration - by Base-Acid Tetration - 11/05/2009, 10:50 PM RE: base holomorphic tetration - by mike3 - 11/06/2009, 04:15 AM RE: base holomorphic tetration - by mike3 - 11/06/2009, 11:58 AM RE: base holomorphic tetration - by bo198214 - 11/06/2009, 12:12 PM RE: base holomorphic tetration - by mike3 - 11/06/2009, 09:16 PM RE: base holomorphic tetration - by bo198214 - 11/06/2009, 11:29 PM RE: base holomorphic tetration - by mike3 - 11/07/2009, 12:23 AM RE: base holomorphic tetration - by bo198214 - 11/07/2009, 08:17 AM RE: base holomorphic tetration - by mike3 - 11/07/2009, 08:21 AM RE: base holomorphic tetration - by bo198214 - 11/07/2009, 09:55 AM RE: base holomorphic tetration - by bo198214 - 11/07/2009, 04:47 PM RE: base holomorphic tetration - by bo198214 - 11/08/2009, 05:39 PM RE: base holomorphic tetration - by mike3 - 11/08/2009, 08:27 PM RE: base holomorphic tetration - by mike3 - 11/08/2009, 08:25 PM RE: base holomorphic tetration - by bo198214 - 11/08/2009, 08:44 PM RE: base holomorphic tetration - by mike3 - 11/08/2009, 09:51 PM

 Possibly Related Threads... Thread Author Replies Views Last Post Complex Tetration, to base exp(1/e) Ember Edison 7 887 08/14/2019, 09:15 AM Last Post: sheldonison Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 1,354 06/10/2019, 04:29 AM Last Post: Ember Edison Is bounded tetration is analytic in the base argument? JmsNxn 0 1,136 01/02/2017, 06:38 AM Last Post: JmsNxn holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 15,133 08/22/2016, 12:19 AM Last Post: JmsNxn tetration base sqrt(e) tommy1729 2 3,020 02/14/2015, 12:36 AM Last Post: tommy1729 Explicit formula for the tetration to base $$e^{1/e}$$? mike3 1 2,661 02/13/2015, 02:26 PM Last Post: Gottfried tetration base > exp(2/5) tommy1729 2 2,799 02/11/2015, 12:29 AM Last Post: tommy1729 regular tetration base sqrt(2) : an interesting(?) constant 2.76432104 Gottfried 7 8,249 06/25/2013, 01:37 PM Last Post: sheldonison tetration base conversion, and sexp/slog limit equations sheldonison 44 50,357 02/27/2013, 07:05 PM Last Post: sheldonison simple base conversion formula for tetration JmsNxn 0 3,109 09/22/2011, 07:41 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)