• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Dmitrii Kouznetsov's Tetration Extension andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 04/16/2008, 10:16 PM (This post was last modified: 11/20/2008, 08:48 AM by bo198214.) It appears that there is a new extension related to complex heights. See Analytic solution of F(z+1)=exp(F(z)) in complex z-plane for more information. Andrew Robbins bo198214 Administrator Posts: 1,386 Threads: 90 Joined: Aug 2007 04/21/2008, 10:41 PM (This post was last modified: 04/25/2008, 04:09 PM by bo198214.) andydude Wrote:See Analytic solution of F(z+1)=exp(F(z)) in complex z-plane for more information. About the uniqueness: It is well known that if we have a solution $\alpha$ of the Abel equation $\alpha(z+1)=f(\alpha(z))$ then for any 1-periodic function $\phi$ also $\beta(z)=\alpha(z+\phi(z))$ is a solution to the Abel equation. (Because $\beta(z+1)=\alpha(z+1+\phi(z+1))=\alpha(z+\phi(z)+1)=f(\alpha(z+\phi(z))=f( \beta( z))$). So let $F$ be one solution of (*) $F(z+1)=\exp(F(z))$ with (**) $\lim_{y\to\infty} F(x+iy) = L$ and $\lim_{y\to -\infty} F(x+iy)=L^\ast$ then $G(z)=G(z+\sin(2\pi z))$ is another solution of (*). Let us now consider (**). We know that $\sin(z)=-i\frac{e^{iz}-e^{-iz}}{2}$ and $\sin(x+iy)=i\frac{-e^{ix}e^{-y}+e^{-ix}e^y}{2}$ $G(x+iy)=F\left(x+iy+i\frac{-e^{2\pi ix}e^{-2\pi y}+e^{-2\pi ix}e^{2\pi y}}{2}\right)$. As $e^{-2\pi y}\to 0$ at least for x=0 also $\lim_{y\to\infty} G(iy)=\lim_{y\to\infty} F(i(y+e^{2\pi y}))=L$  fixed some negligences. [/edit] Kouznetsov Fellow Posts: 151 Threads: 9 Joined: Apr 2008 04/22/2008, 12:59 AM Hello, bo198214; you have cathced the important point! I see, in my paper, I have to write Theorem 0. There exist function $F(z)$, analytic in the whole complex $z$ plane except $z<-2$, satisfying (100) $~~~~ \exp(F(z))=F(z+1)$, (101) $~~~~ F(0)=1$ and (102) $~~~~ F(z)=L + {\mathcal O}\Big( \exp( L z ) \Big)~$ at any fixed $\Re(z)$ and $\Im(z) \rightarrow +\infty$ Theorem 1. There exist only one such function. I hope, the reviewer catches this point, and I already have the corresponding correction above. By the way, your deduction gives the hint, how to prove the Theorem 1. (However, we have to scale the argument of sin function.) How about the collaboration? bo198214 Administrator Posts: 1,386 Threads: 90 Joined: Aug 2007 04/22/2008, 08:18 AM (This post was last modified: 04/25/2008, 04:14 PM by bo198214.) Kouznetsov Wrote:By the way, your deduction gives the hint, how to prove the Theorem 1. Perhaps. I am not convinced yet that it is true, but if it was, this would be great. We even know vice versa if we have two solutions $F$ and $G$ of the Abel equation then $G^{-1}(F(x+1))-(x+1)=G^{-1}(\exp(F(x)))-(x+1)=G^{-1}(\exp(G(G^{-1}(F(x)))))-(x+1)=G^{-1}(F(x))+1-(x+1)=G^{-1}(F(x))-x$, meaning that $\phi=G^{-1}\circ F-\text{id}$ is a 1-periodic function, so we know already that each other solution $G$ of the Abel equation must be of the form $F(z+\phi(z))$ for some 1-periodic $\phi$. To prove theorem 1 everything depends on the behaviour of those 1-periodic functions for $\Im(z)\to\infty$. For uniqueness roughly the real value must be go to infinity for the imaginary argument going to infinity. Quote:(However, we have to scale the argument of sin function.) Corrected in the original post. Quote: How about the collaboration? That would be great. Quote:(P.S. Does the number of replies I should answer grow as the Ackermann function of time, or just exponentially?) I would guess its rather logarithmically (much questions at the start but then slowly ebbing away)! At least here is another question: Can you please compute values on the real axis for bases $b for example for $b=\sqrt{2}$? I would like to compare your solution with the regular tetration developed at the lower real fixed point (which would be 2 in the case of $b=\sqrt{2}$) of $b^x$. @Andrew Can you post a comparison graph with your slog/sexp? The values are in Dmitrii's paper. How does the periodicity of your slog (or was it sexp?) at the imaginary axis compare with Dmitrii's limit $\lim_{y\to\infty} F(x+iy)=L$ (where $L$ is a fixed point of $\exp$)? Kouznetsov Fellow Posts: 151 Threads: 9 Joined: Apr 2008 04/24/2008, 01:02 AM (This post was last modified: 04/24/2008, 01:04 AM by Kouznetsov.) bo198214 Wrote:andydude Wrote:See Analytic solution of F(z+1)=exp(F(z)) in complex z-plane for more information.About the uniqueness: It is well known that if we have a solution $\alpha$ of the Abel equation $\alpha(z+1)=f(\alpha(z))$ then for any 1-periodic function $\phi$ also $\beta(z)=\alpha(z+\phi(z))$ is a solution to the Abel equation. (Because $\beta(z+1)=\alpha(z+1+\phi(z+1))=\alpha(z+\phi(z)+1)=f(\alpha(z+\phi(z))=f( \beta( z))$). So let $F$ be one solution of (*) $F(z+1)=\exp(F(z))$ with (**) $\lim_{y\to\infty} F(x+iy) = L$ and $\lim_{y\to -\infty} F(x+iy)=L^\ast$ then $G(z)=G(z+\sin(z))$ is another solution of (*). Let us now consider (**). We know that $\sin(z)=-i\frac{e^{iz}-e^{-iz}}{2}$ and $\sin(x+iy)=i\frac{-e^{ix}e^{-y}+e^{-ix}e^y}{2}$ $G(x+iy)=F\left(x+iy+i\frac{-e^{ix}e^{-y}+e^{-ix}e^y}{2}\right)$. As $e^{-y}\to 0$ at least for x=0 also $\lim_{y\to\infty} G(iy)=\lim_{y\to\infty} F(i(y+e^y))=L$ bo198214 Wrote:Kouznetsov Wrote:By the way, your deduction gives the hint, how to prove the Theorem 1. Perhaps. I am not convinced yet that it is true, but if it was, this would be great. We even know vice versa if we have two solutions $F$ and $G$ of the Abel equation then $G^{-1}(F(x+1))-(x+1)=G^{-1}(\exp(F(x)))-(x+1)=G^{-1}(\exp(G(G^{-1}(F(x)))-(x+1)=G^{-1}(F(x))+1-(x+1)=G^{-1}(F(x))-x$, meaning that $\phi=G^{-1}\circ F-\text{id}$ is a 1-periodic function, so we know already that each other solution $G$ of the Abel equation must be of the form $F(z+\phi(z))$ for some 1-periodic $\phi$. To prove theorem 1 everything depends on the behaviour of those 1-periodic functions for $\Im(z)\to\infty$. For uniqueness roughly the real value must be go to infinity for the imaginary argument going to infinity. Quote:(However, we have to scale the argument of sin function.) Yes, my negligence. The $z$ in $\sin(z)$ has to be replaced by $\frac{z}{2\pi}$ in the previous post. Quote: How about the collaboration? That would be great. Can you please compute values on the real axis for bases $b for example for $b=\sqrt{2}$? I would like to compare your solution with the regular tetration developed at the lower real fixed point (which would be 2 in the case of $b=\sqrt{2}$) of $b^x$. Bo, I got your message about base b=e^(1/e) and b=sqrt(2). In these cases, the real part of quasiperiod is zero, and I cannot run my algorithm as is. I need to adopt it. It will take time. I do not think that b=sqrt(2) is of specific interest (just integer L(b)=4); we need to consider the general case. You may advance faster than I do. You may begin with the plot of the asymptotic period T(b) and analysis of its limiting behavior in vicinity of b=1 and b=e^(1/e). Please, provide the good approximation for (at least) the leading terms. P.S. you may also correct misprints in your post: invert the scaling factor for the argument of sin, and delete the expression with unmatched parenthesis. bo198214 Administrator Posts: 1,386 Threads: 90 Joined: Aug 2007 04/25/2008, 04:06 PM Kouznetsov Wrote:Bo, I got your message about base b=e^(1/e) and b=sqrt(2). In these cases, the real part of quasiperiod is zero, and I cannot run my algorithm as is. I need to adopt it. It will take time. I do not think that b=sqrt(2) is of specific interest (just integer L(b)=4); we need to consider the general case.$b=\sqrt{2}$ is indeed only of interest because it has a simple (integer) fixed point 2. So that is our standard reference (on this forum) base to compare two different methods of computing a tetration. As for example real regular iteration/tetration is no more possible for $b>e^{1/e}$ because there is no real fixed point. Quote:You may advance faster than I do. You may begin with the plot of the asymptotic period T(b) and analysis of its limiting behavior in vicinity of b=1 and b=e^(1/e). Please, provide the good approximation for (at least) the leading terms. yeah, I am also not that richly blessed with time. I will see, what I can do. Quote:P.S. you may also correct misprints in your post: invert the scaling factor for the argument of sin, and delete the expression with unmatched parenthesis. blush (again!). Kouznetsov Fellow Posts: 151 Threads: 9 Joined: Apr 2008 04/26/2008, 02:12 AM Bo, when you make the first step, please, plot the asymptotics in the complex plane, and we compare our results. It will be the second step. bo198214 Wrote:$b=\sqrt{2}$ is indeed only of interest because it has a simple (integer) fixed point 2. So that is our standard reference (on this forum) base to compare two different methods of computing a tetration.At 1 e^(1/e) should be included into the conditions of the Theorem. bo198214 Wrote:As for example real regular iteration/tetration is no more possible for $b>e^{1/e}$ because there is no real fixed point.I am not sure if I understand you well. At b=2 and b=e, tetration F(z) looks pretty regular (except $z\le-2$), and it is real at z>-2. Complex fixed points are easy to work with. bo198214 Administrator Posts: 1,386 Threads: 90 Joined: Aug 2007 04/26/2008, 06:26 PM (This post was last modified: 04/26/2008, 06:28 PM by bo198214.) Kouznetsov Wrote:bo198214 Wrote:As for example real regular iteration/tetration is no more possible for $b>e^{1/e}$ because there is no real fixed point.I am not sure if I understand you well. At b=2 and b=e, tetration F(z) looks pretty regular (except $z\le-2$), and it is real at z>-2. Complex fixed points are easy to work with. Oh I use "regular" in the sense of "regular iteration" this is a well studied (mostly by Szekeres and Ecalle) way to compute arbitrary real or complex iterates of a function at a fixed point. There is only one solution for the iterates such that the fixed point still remains analytic or at least asymptotically analytic, this is called regular iteration. You will find the iterational formulas as well the formulas for the coefficients of the powerseries of regular iteration throughout the forum (keywords: hyperbolic and parabolic iteration). For tetration we have $b[4]t=\exp_b^{\circ t}(1)$. So if we have a fixed point of $\exp_b$ then we can just consider $\exp_b^{\circ t}$ to be the regular iteration, which gives us the regular tetration. In almost all cases the regular iteration at different fixed points give different solutions. As I now see those regular tetration (at the lower real fixed point, which is btw the only attracting fixed point of $b^x$) is cyclic along the imaginary axis: For regular iteration we have the iterational formula: $\exp_b^{\circ t}(1)=\lim_{n\to\infty} \log_b^{\circ n}(a(1-c^t) + c^t \exp_b^{\circ n}(1)),\quad c=\exp_b'(a)=\ln(a)$ where $a$ is the fixed point. We see that the regular tetration $b[4](it)=\exp_b^{\circ it}(1)$ is periodic with $2\pi/\ln(\ln(a))$ so it can not have a limit for $t->\infty$. bo198214 Administrator Posts: 1,386 Threads: 90 Joined: Aug 2007 05/17/2008, 03:22 PM (This post was last modified: 05/17/2008, 03:58 PM by bo198214.) Dmitrii, I am currently programming your tetration extension. I just want to mention some misprints, that shouldnt go into your published paper. In formulas (3.2), (3.3), (3.4), (3.6), (4.4) you always omit the minus sign in front of the 1 below the log. Only in the computation formula 4.2 the minus sign is at the right place. There may be also some simplifications (avoidance of doublification with $L$ and $\overline{L}$) if you would put $F(\overline{z})=\overline{F(z)}$ into your assumption, which is quite reasonable and which you are also using in (4.7). In formula (3.4),(4.4) either the $A$ in ${\mathcal K}_A$ should be omitted, or it should be appended whenever you use ${\mathcal K}$ Kouznetsov Fellow Posts: 151 Threads: 9 Joined: Apr 2008 05/18/2008, 05:31 AM bo198214 Wrote:Dmitrii, I am currently programming your tetration extension. I just want to mention some misprints, that shouldnt go into your published paper. In formulas (3.2), (3.3), (3.4), (3.6), (4.4) you always omit the minus sign in front of the 1 below the log. Only in the computation formula 4.2 the minus sign is at the right place.Bo, I am glad to read from you! Do you mean paper at http://www.ils.uec.ac.jp/~dima/PAPERS/2008analuxp.pdf ? There is no log in formula (3.2), is there? Now I have doubts about (3.3); I remember I had to play with phases manually combinig the logarithms; both Mathematica and Maple failed to do it as I wanted. Can you reproduce Figure 2? Could you show it? bo198214 Wrote:There may be also some simplifications (avoidance of doublification with $L$ and $\overline{L}$) if you would put $F(\overline{z})=\overline{F(z)}$ into your assumption, which is quite reasonable and which you are also using in (4.7).Yes, I assume $F(z^*)=F(z)^*$, but it follows from the analyticity and the assumption that $F(z)$ is real at z>-2. bo198214 Wrote:In formula (3.4),(4.4) either the $A$ in ${\mathcal K}_A$ should be omitted, or it should be appended whenever you use ${\mathcal K}$Yes, your are right. K is always A-dependent. Better to trash this subscript. Thank you for your comment. I had corrected few misprints in the update http://www.ils.uec.ac.jp/~dima/PAPERS/2008analuxp64.pdf but not yet those you indicate; perhaps, I sould trace it again. « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Possible continuous extension of tetration to the reals Dasedes 0 1,091 10/10/2016, 04:57 AM Last Post: Dasedes Andrew Robbins' Tetration Extension bo198214 32 38,633 08/22/2016, 04:19 PM Last Post: Gottfried Kouznetsov-Tommy-Cauchy method tommy1729 0 1,810 02/18/2015, 07:05 PM Last Post: tommy1729 Non-trivial extension of max(n,1)-1 to the reals and its iteration. MphLee 3 3,389 05/17/2014, 07:10 PM Last Post: MphLee extension of the Ackermann function to operators less than addition JmsNxn 2 3,617 11/06/2011, 08:06 PM Last Post: JmsNxn about kouznetsov again tommy1729 1 2,875 08/13/2010, 05:41 AM Last Post: BenStandeven plz explain kouznetsov slowly tommy1729 7 6,762 07/27/2010, 04:57 AM Last Post: bo198214 Tetration Extension to Real Heights chobe 3 5,573 05/15/2010, 01:39 AM Last Post: bo198214 Tetration extension for bases between 1 and eta dantheman163 16 16,647 12/19/2009, 10:55 AM Last Post: bo198214 Extension of tetration to other branches mike3 15 18,511 10/28/2009, 07:42 AM Last Post: bo198214

Users browsing this thread: 1 Guest(s)