Should tetration be a multivalued function?
#1
When we have a tetration \( \\[15pt]

{y_{x}=\,^xa} \) with his base "a" between \( \\[25pt]

{1< a \leq e^{\frac{1}{e}}} \), it tends to an asymptote value \( \\[15pt]

{y_{\infty}} \) such that \( \\[25pt]

{a^{y_{\infty}}={y_{\infty}}} \).

But that depends on the definition \( \\[15pt]

{^0a=1} \). If it were defined \( \\[15pt]

{^0a=y_{\infty}} \), we would get an horizontal line (drawn with red dashes in the graphic down).

The interesting part is when we define \( \\[15pt]

{^0a} \) a bit larger than \( \\[15pt]

{y_{\infty}} \), the tetration also converges to the same asymptote to the right, and another asymptote to the left, at the limit \( \\[15pt]

{y_{-\infty}} \), defined by \( \\[25pt]

{a^{y_{-\infty}}={y_{-\infty}}} \).

We get a Z-shaped tetration function (drawn in green), contained between \( \\[15pt]

{y_{-\infty}} \) and \( \\[15pt]

{y_{\infty}} \), which I call the Z curve.

[Image: a8V4PJV.gif?1]

The problem is that the Z curve is not uniquely defined. It depends on the value choosen for \( \\[15pt]

{^0a} \). Any value between \( \\[20pt]

{{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 \( \\[15pt]

{^0a} \) for the green and blue branches?


If we take \( \\[15pt]

{a=\sqrt{2}} \), \( \\[15pt]

{^0a} \) may be multivalued at x=0: \( \\[15pt]

{^0(\sqrt{2})=(1,2,\; 2<y_3<4 \; , 4 , \; 4<y_5)} \).
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) )

[Image: lynxfBI.jpg?1]

Note how the blue branch resembles the function \( \\[15pt]

{e^x} \).
I have the result, but I do not yet know how to get it.
Reply


Messages In This Thread
Should tetration be a multivalued function? - by marraco - 01/03/2016, 11:24 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Is there any ways to compute iterations of a oscillating function ? Shanghai46 3 7,904 10/15/2023, 11:21 PM
Last Post: tommy1729
  Anyone have any ideas on how to generate this function? JmsNxn 3 5,093 05/21/2023, 03:30 PM
Last Post: Ember Edison
  [MSE] Mick's function Caleb 1 3,884 03/08/2023, 02:33 AM
Last Post: Caleb
  [special] binary partition zeta function tommy1729 1 3,829 02/27/2023, 01:23 PM
Last Post: tommy1729
  [NT] Extending a Jacobi function using Riemann Surfaces JmsNxn 2 4,865 02/26/2023, 08:22 PM
Last Post: tommy1729
  toy zeta function tommy1729 0 2,799 01/20/2023, 11:02 PM
Last Post: tommy1729
  geometric function theory ideas tommy1729 0 2,906 12/31/2022, 12:19 AM
Last Post: tommy1729
  Iterated function convergence Daniel 1 4,122 12/18/2022, 01:40 AM
Last Post: JmsNxn
  Fibonacci as iteration of fractional linear function bo198214 48 56,451 09/14/2022, 08:05 AM
Last Post: Gottfried
  Real Multivalued/Parametrized Iteration Groups bo198214 11 14,793 09/10/2022, 11:56 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)