Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Rational operators (a {t} b); a,b > e solved
(06/06/2011, 04:39 AM)sheldonison Wrote: mylatest code, which includes support. This would also make it easier for other to try it.
fatb(a,t,b) = {
  if (t>=1, return (cheta(invcheta(b*cheta(invcheta(a)+1-t))+t-1)));
  if (t<1,  return (cheta(invcheta( cheta(invcheta(a)-t)+cheta(invcheta(b)-t) )+t)));

Oh that's great! I'd love to see what happens for complex operator values, I'll just modify your code slightly to say real(t) under the if conditions.

(06/06/2011, 04:39 AM)sheldonison Wrote: I've gotten as far as quickly verifying that for t=0, we have addition, t=1, we have multiplication, and t=2 is exponentiation.

for example,
fatb(3,0,4)=7, which is 3+4
fatb(3,1,4)=12, which is 3x4
fatb(3,2,4)=81, which is 3^4
what does it mean that fatb(3,-1,4)=5.429897..?
Is there a smooth continuation to a function for t=3, which would be tetration? if a<e=2.718, then it appears that the non integer nodes have complex values, though perhaps the sexpeta/invsexpeta functions could be used in place of cheta/invcheta (it might even be a smooth transition).
- Sheldon

fatb(3, -1, 4) = 5.429897, is the value of 3 delta 4; where deltation is the operator which satisfies the following conditions:
, it's commutative and addition is spread across it:
, and finally, it's defined by the following recursion formula:

Basically, the whole domain of operators from are designed to: continue the ring structure of {t-1} and {t} found across addition and multiplication, and multiplication and exponentiation; and are designed to provide a smooth extension of operators to the negative domain. It differs from zeration insofar as zeration is defined by proper recursion and it's discontinuous. It's better than zeration insofar as the series of operators can be continued infinitely.

As of now, it's possible to compute for a>e, and , which would be rational tetration. So actually yes, I can evaluate over domain
The formula is given by:

And lastly, I tried using sexp/slog base for a,b < e and the graph of is not smooth and there are two humps at about {0.5} and {1.5} which is very unflattering. I was surprised when the cheta function worked, but it did. I have to give myself time to think about it first, but right now I'm sure the extension for a,b <= e is right infront of our eyes.

I edited your code and tested if
fatb(3, i, 3) = fatb(3, i+1, 2), and it does. Ackerman function is entering the complex plane me thinks.

Edit again:
Quote: if a<e=2.718, then it appears that the non integer nodes have complex values
I was wondering if you could explain what you mean by this? Is there a way to calculate a,b < e using the cheta function?

Messages In This Thread
RE: Rational operators (a {t} b); a,b > e solved - by JmsNxn - 06/06/2011, 05:34 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  The modified Bennet Operators, and their Abel functions JmsNxn 6 243 07/22/2022, 12:55 AM
Last Post: JmsNxn
  The \(\varphi\) method of semi operators, the first half of my research JmsNxn 13 681 07/17/2022, 05:42 AM
Last Post: JmsNxn
  Thoughts on hyper-operations of rational but non-integer orders? VSO 4 4,734 06/30/2022, 11:41 PM
Last Post: MphLee
  The bounded analytic semiHyper-operators JmsNxn 4 7,733 06/29/2022, 11:46 PM
Last Post: JmsNxn
  Holomorphic semi operators, using the beta method JmsNxn 71 5,323 06/13/2022, 08:33 PM
Last Post: JmsNxn
  [MSE-SOLVED] Subfunction is functorial!!!! MphLee 14 5,918 06/06/2021, 11:16 PM
Last Post: JmsNxn
  Hyper operators in computability theory JmsNxn 5 10,832 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 3,707 01/17/2017, 05:10 AM
Last Post: JmsNxn
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 31,170 08/22/2016, 12:19 AM
Last Post: JmsNxn
  Bounded Analytic Hyper operators JmsNxn 25 43,421 04/01/2015, 06:09 PM
Last Post: MphLee

Users browsing this thread: 2 Guest(s)