Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Rational operators (a {t} b); a,b > e solved
(06/06/2011, 02:45 AM)JmsNxn Wrote: Well alas, logarithmic semi operators have paid off and have given a beautiful smooth curve over domain . This solution for rational operators is given by :

Which extends the ackerman function to domain real (given the restrictions provided).
the upper superfunction of is used (i.e: the cheta function).

Logarithmic semi-operators contain infinite rings and infinite abelian groups. In so far as {t} and {t-1} always form a ring and {t-1} is always an abelian group (therefore any operator greater than {1} is not commutative and is not abelian). There is an identity function S(t), however its values occur below e and are therefore still unknown for operators less than {1} (except at negative integers where it is a variant of infinity (therefore difficult to play with) and at 0 where it is 0). Greater than {1} operators have identity 1.

The difficulty is, if we use the lower superfunction of to define values less than e we get a hump in the middle of our transformation from . Therefore we have difficulty in defining an inverse for rational exponentiation. however, we still have a piecewise formula:

therefore rational roots, the inverse of rational exponentiation is defined so long as and .
rational division and rational subtraction is possible if and .

Here are some graphs, I'm sorry about their poor quality but I'm rather new to pari-gp so I don't know how to draw graphs using it. I'm stuck using python right now. Nonetheless here are the graphs.

the window for these ones is xmin = -1, xmax = 2, ymin = 0, ymax = 100

[Image: 3x4.png][Image: 4x3.png]
[Image: 5x3.png]

If there's any transformation someone would like to see specifically, please just ask me. I wanted to do the transformation of as we slowly raise t, but the graph doesn't look too good since x > e.

Some numerical values:

(I know I'm not supposed to be able to calculate the second one, but that's the power of recursion)

I'm very excited by this, I wonder if anyone has any questions comments?

for more on rational operators in general, see the identities they follow on this thread

thanks, James

PS: thanks go to Sheldon for the taylor series approximations of cheta and its inverse which allowed for the calculations.

Hello, James! Hello, Everyone!
I am really interested in that how you could make that beautiful graph. Could you tell me, please?
Thank you very much.
Xorter Unizo

Messages In This Thread
RE: Rational operators (a {t} b); a,b > e solved - by Xorter - 08/21/2016, 06:56 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Has anyone solved iterations of z+Γ(z)? Leo.W 5 700 01/07/2022, 08:15 AM
Last Post: JmsNxn
  [MSE-SOLVED] Subfunction is functorial!!!! MphLee 14 3,835 06/06/2021, 11:16 PM
Last Post: JmsNxn
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 3,875 09/09/2019, 10:38 PM
Last Post: tommy1729
  Hyper operators in computability theory JmsNxn 5 9,794 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 3,325 01/17/2017, 05:10 AM
Last Post: JmsNxn
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 28,846 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 6,961 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Bounded Analytic Hyper operators JmsNxn 25 39,834 04/01/2015, 06:09 PM
Last Post: MphLee
  Incredible reduction for Hyper operators JmsNxn 0 3,975 02/13/2014, 06:20 PM
Last Post: JmsNxn
  interpolating the hyper operators JmsNxn 3 8,958 06/07/2013, 09:03 PM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)