Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Generalized recursive operators
#17
Well, it's a long way... ! Sad

Let's start considering that, at rank s=4, tetration, we have that :
y = b^y = b[3]y <---> b = yth-rt(b) = selfrt(y) <---> y = b[4](+oo) = h <---> b = (+oo)th-srt(h).

We may then suppose that, very probably, we should also have that:
y = b§y = b[4]y <---> b = yth-srt(b) = selfsrt(y) <---> y = b[5](+oo) = g <---> b = (+oo)th-ssrt(g).

In other words, by calling "g" the infinite pentation (infinite super-tower .. !) to the base "b", we may discover that "g", at rank s=5 (like "h" for rank s=4) can also converge in some domains of "b". But this needs a strict mathematical demonstration, itself requiring the continuity (analyticity?) of both slog and sexp, at rank s=4. First, we must solve and consolidate this. Then, we shall see. The consequence of that would be that the infinite pentation "g(b)" would be depending on "b" and that g(b) should be the inverse of b(g), like h(b) is the inverse of b(h).

Nevertheless (...), even before any accurate demonstration, it can be easily seen that y = b[5]x = b§x = b-penta-x, at lest for bases near the value b = e, has an asymptotic behaviour, for x -> -oo (minus infinity). By synthetically examining the situation (please, ... try to remain cool, bo!), we must admit that, for x < 0, we indeed have that:
x = b#x <---> [ b]slog(x) = x <---> b#x = [ b]slog(x).

Now, both with the (GFR/KAR) "linear approximation" and with the Robbins (at present, more precise) "smoothings", we can easily obtain the value of "x", for which the before-mentioned relation is satisfied. We (KAR/GFR) checked it for base b = e and it worked nicely.

We also have the surprise to discover, for the "supertowers" the possibility of having "negative heights". How about the "push-down", Gottfried ? Wink

As a (provisional) conclusion, I must say that the infinite supertowers (pentations) correspond to fixpoints of sexp(x) and slog(x), like the infinite towers (tetrations) were determined by the fixpoints of exp(x) and log(x). This "pattern" is probably repeated for all the hyperops hierarchy.

For base b = e, the sexp(x) and slog(x) admit one very clear fixpoint for x < 0, (we may call "sigma" the value of x satisfying that). Well, this "sigma" (if ... correctly calculated) is the ordinate of the horizontal asymptote of y = e[5]x.

In the other cases of b, the fixpoint are, maybe, two, three, ... oder ... ?

Here we are, for the moment.

GFR
Reply


Messages In This Thread
Generalized recursive operators - by Whiteknox - 11/23/2007, 06:42 AM
RE: Generalized recursive operators - by bo198214 - 11/23/2007, 08:41 AM
RE: Generalized recursive operators - by andydude - 11/25/2007, 01:02 AM
RE: Generalized recursive operators - by andydude - 11/29/2007, 04:45 AM
RE: Generalized recursive operators - by andydude - 11/29/2007, 05:55 AM
RE: Generalized recursive operators - by andydude - 11/29/2007, 06:20 AM
RE: Generalized recursive operators - by andydude - 11/30/2007, 06:12 PM
RE: Generalized recursive operators - by andydude - 11/30/2007, 09:18 PM
RE: Generalized recursive operators - by bo198214 - 03/07/2008, 06:58 PM
RE: Generalized recursive operators - by Ivars - 02/02/2008, 10:11 PM
RE: Generalized recursive operators - by Ivars - 02/03/2008, 10:41 AM
RE: Generalized recursive operators - by andydude - 02/11/2008, 09:47 PM
RE: Generalized recursive operators - by Ivars - 02/14/2008, 06:05 PM
RE: Generalized recursive operators - by GFR - 02/03/2008, 04:12 PM
RE: Generalized recursive operators - by Ivars - 02/03/2008, 08:48 PM
RE: Generalized recursive operators - by GFR - 02/06/2008, 02:44 PM
RE: Generalized recursive operators - by Ivars - 02/06/2008, 02:56 PM
RE: Generalized recursive operators - by Ivars - 02/06/2008, 03:43 PM
RE: Generalized recursive operators - by GFR - 03/10/2008, 09:53 PM
RE: Generalized recursive operators - by GFR - 03/11/2008, 10:24 AM
RE: Generalized recursive operators - by bo198214 - 03/11/2008, 10:53 AM
RE: Generalized recursive operators - by GFR - 03/12/2008, 12:13 AM
RE: Generalized recursive operators - by GFR - 03/13/2008, 06:41 PM
RE: Generalized recursive operators - by Stan - 04/04/2011, 11:52 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 1,372 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Hyper operators in computability theory JmsNxn 5 4,734 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,720 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 42,976 09/02/2016, 02:11 AM
Last Post: tommy1729
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 17,898 08/22/2016, 12:19 AM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 3,972 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Bounded Analytic Hyper operators JmsNxn 25 22,464 04/01/2015, 06:09 PM
Last Post: MphLee
  Generalized arithmetic operator hixidom 16 14,706 06/11/2014, 05:10 PM
Last Post: hixidom
  Incredible reduction for Hyper operators JmsNxn 0 2,459 02/13/2014, 06:20 PM
Last Post: JmsNxn
  Generalized Bieberbach conjectures ? tommy1729 0 1,881 08/12/2013, 08:11 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)