• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Should tetration be a multivalued function? marraco Fellow Posts: 93 Threads: 11 Joined: Apr 2011 01/03/2016, 11:24 PM (This post was last modified: 01/04/2016, 12:08 AM by marraco.) When we have a tetration $\vspace{15}{y_{x}=\,^xa}$ with his base "a" between $\vspace{25}{1< a \leq e^{\frac{1}{e}}}$, it tends to an asymptote value $\vspace{15}{y_{\infty}}$ such that $\vspace{25}{a^{y_{\infty}}={y_{\infty}}}$. But that depends on the definition $\vspace{15}{^0a=1}$. If it were defined $\vspace{15}{^0a=y_{\infty}}$, we would get an horizontal line (drawn with red dashes in the graphic down). The interesting part is when we define $\vspace{15}{^0a}$ a bit larger than $\vspace{15}{y_{\infty}}$, the tetration also converges to the same asymptote to the right, and another asymptote to the left, at the limit $\vspace{15}{y_{-\infty}}$, defined by $\vspace{25}{a^{y_{-\infty}}={y_{-\infty}}}$. We get a Z-shaped tetration function (drawn in green), contained between $\vspace{15}{y_{-\infty}}$ and $\vspace{15}{y_{\infty}}$, which I call the Z curve. The problem is that the Z curve is not uniquely defined. It depends on the value choosen for $\vspace{15}{^0a}$. Any value between $\vspace{20}{{y_{\infty}} < ^0a < {y_{-\infty}}}$ is valid, and the only difference this choice make, is the horizontal displacement on the curve. I drew the Z curve matching the origin with his inflection point (roughly). The upper asymptote is also a non trivial function, and there is also another non trivial possible upper branch, obtained by choosing °a>-oo (drawn in blue line). The question is, what would be convenient values for the definition of $\vspace{15}{^0a}$ for the green and blue branches? If we take $\vspace{15}{a=\sqrt{2}}$, $\vspace{15}{^0a}$ may be multivalued at x=0: $\vspace{15}{^0(\sqrt{2})=(1,2,\; 2. The inflection point in the Z curve is near to 3. Maybe that base has all integer values for °a? (°1,41421356 = (1,2,3,4,5) ) Note how the blue branch resembles the function $\vspace{15}{e^x}$. I have the result, but I do not yet know how to get it. marraco Fellow Posts: 93 Threads: 11 Joined: Apr 2011 01/03/2016, 11:32 PM So, I think that an expression for the derivative should also give (at least) 5 different results. I have the result, but I do not yet know how to get it. andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 01/03/2016, 11:55 PM It's always been known that super-exponentials have an intricate and complicated Riemann surface, but aside from the bits we've seen in plots and graphics, I don't think there is a comprehensive enumeration of branch indexes or a system of labeling each branch. I can think of a few threads in this forum where such a branch index system has been theorized, but I don't remember if we came to any conclusions. It's easy to index some of the branches by adding an imaginary logarithm, but I'm not convinced that doing this enumerates all branches of super-exponentials. andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 01/04/2016, 12:01 AM (01/03/2016, 11:24 PM)marraco Wrote: The problem is that the Z curve is not uniquely defined. It depends on the value choosen for $\vspace{15}{^0a}$. Any value between $\vspace{20}{{y_{\infty}} < ^0a < {y_{-\infty}}}$ is valid, and the only difference this choice make, is the horizontal displacement on the curve. I drew the Z curve matching the origin with his inflection point (roughly). It appears that these 3 branches are not connected in the real line, but I would suspect that they are connected in the complex plane (to make a Riemann surface), and that fixing ${}^0a = 1$ on the main branch might fix the value of the other branches, at least that's what I would think. marraco Fellow Posts: 93 Threads: 11 Joined: Apr 2011 01/04/2016, 12:08 AM (This post was last modified: 01/04/2016, 12:17 AM by marraco.) (01/04/2016, 12:01 AM)andydude Wrote: It appears that these 3 branches are not connected in the real line, but I would suspect that they are connected in the complex plane (to make a Riemann surface), and that fixing ${}^0a = 1$ on the main branch might fix the value of the other branches, at least that's what I would think.[Note: the asymptotes make 5 branches] If the transition is not singular, then the blue branch should be coincident with the black (main) branch for $\vspace{15}{a>e^{e^{-1}}}$. That may give a clue about his better value for °a. [Edit: the transition for the blue branch must be singular, because it cannot smoothly change from an horizontal asymptote to a parallel line to the main branch, which has a vertical asymptote. That unless tetration introduces a new kind of numbers which are continuous in the transition.] They should be coincident, because for the blue branch, any value chosen for °a, is also somewhere in the main branch, so taking iterated logarithms/exponentiations should give the same result. I have the result, but I do not yet know how to get it. andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 01/04/2016, 12:35 AM (01/03/2016, 11:24 PM)marraco Wrote: The question is, what would be convenient values for the definition of $\vspace{15}{^0a}$ for the green and blue branches? It looks like this paper written by fellow forum members, also uses 1, 3, 5 as the points which fix the branches. marraco Fellow Posts: 93 Threads: 11 Joined: Apr 2011 01/04/2016, 03:57 AM (01/04/2016, 12:35 AM)andydude Wrote: (01/03/2016, 11:24 PM)marraco Wrote: The question is, what would be convenient values for the definition of $\vspace{15}{^0a}$ for the green and blue branches? It looks like this paper written by fellow forum members, also uses 1, 3, 5 as the points which fix the branches. Great answer! Still, it looks like 3 and 5 had been chosen arbitrarily. I have the result, but I do not yet know how to get it. marraco Fellow Posts: 93 Threads: 11 Joined: Apr 2011 01/08/2016, 06:25 PM Let's call c₁ to the superior asymptotic limit, and c₂ to the inferior. There are interesting relationships between those numbers. They can be deduced from the known relation that defines those numbers: The base of the function Y(x)=ˣa is $\vspace{27}{a=c_1\,^{\frac{1}{c_1}}}$, and also $\vspace{27}{a=c_2\,^{\frac{1}{c_2}}}$ then: $\vspace{25}{\frac{c_2}{c_1}=\frac{ln(c_2)}{ln(c_1)}}=a^{c_2-c_1}$ $\vspace{25}{{\color{Red}c_1\,^{c_2}=c_2\,^{c_1}=a^{c_1.c_2}}}$ The last one is analogous to the relationship between the asymptotes for bases between $\vspace{15}{ 0 (04/13/2015, 08:01 PM)marraco Wrote: for bases between $\vspace{15}{0 it remains bounded between 0 and 1 (for x>0), and converges to c, were c is the solution of $\vspace{15}{a^{a^c}}\,=\,c$, which seems to have 2 roots, c₁ and c₂, with $\vspace{15}{a^{c_1}\,=\,c_2}$ $\vspace{15}{a^{c_2}\,=\,c_1}$ $\vspace{15}{{ \color{Red} {c_1}^{c_1}\,=\,c_2^{c_2}\,=\,{a^{c_1.c_2}} }}$ $\vspace{15}{a\,=\,{c_1}^{\frac{1}{c_2}}\,={c_2}^{\frac{1}{c_1}}}$ I suspect that this relation is the key to solve tetration equations: $\vspace{15}{a^{c_1}\,=\,a^{a^{c_2}}\,=\,a^{a^{a^{c_1}}}\,=\,...$ Here is tetration base a=0.01: c₁ = 0,941488369 c₂ = 0,013092521 c₁ is the limit to the left, and c₂ to the right. I have the result, but I do not yet know how to get it. marraco Fellow Posts: 93 Threads: 11 Joined: Apr 2011 01/08/2016, 06:26 PM (This post was last modified: 01/08/2016, 09:13 PM by marraco.) Let r be a real number 0

 Possibly Related Threads... Thread Author Replies Views Last Post New mathematical object - hyperanalytic function arybnikov 4 670 01/02/2020, 01:38 AM Last Post: arybnikov Is there a function space for tetration? Chenjesu 0 572 06/23/2019, 08:24 PM Last Post: Chenjesu Degamma function Xorter 0 1,031 10/22/2018, 11:29 AM Last Post: Xorter Introducing new special function : Lambert_t(z,r) tommy1729 2 3,853 01/10/2016, 06:14 PM Last Post: tommy1729 Tommy-Mandelbrot function tommy1729 0 2,080 04/21/2015, 01:02 PM Last Post: tommy1729 The inverse gamma function. tommy1729 3 7,971 05/13/2014, 02:18 PM Last Post: JmsNxn entire function close to sexp ?? tommy1729 8 10,028 04/30/2014, 03:49 PM Last Post: JmsNxn Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried 5 7,273 07/17/2013, 09:46 AM Last Post: Gottfried Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 3,184 06/15/2013, 08:02 PM Last Post: MphLee Hyperzeta function Balarka Sen 7 8,455 05/08/2013, 01:36 PM Last Post: Balarka Sen

Users browsing this thread: 1 Guest(s)