Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
the inverse ackerman functions
#1
Every one here has heard of the ackermann function; we'll define it as:




I'm interested in itss inverses though.
There would be three inverses therefore, the first one with relation to x:



which means R for roots, and }u{ is taken to mean: }0{ is subtraction, }1{ division, }2{ roots, }3{ super roots, etc etc

and then are next inverse is taken with relation to y



where 0;log_x(y) = y-x, 1;log_x(y) = y/x, and 2;log_x(y) =

and now, the final inverse, and definitely the most interesting inverse is the inverse taken with relation to u

if



this question is the equivalent of asking



what is u?

it's the act of rearranging an equation to solve for u. It might even seem intuitively impossible.

I've only found one solution to this problem... and that's by using logarithmic semi operators, though I is only defined over domain [0, 2]

Does anyone know if anybody else has ever looked into this inverse function?
Reply
#2
When there is a (local) unique inverse , you might use the so-called " series reversion " for its taylor series at a fixpoint.

Or you might try to express ackermann in terms of sexp slog etc but im not sure its possible.

maybe this has occured in older threads.
Reply
#3
(04/14/2011, 10:57 PM)tommy1729 Wrote: When there is a (local) unique inverse , you might use the so-called " series reversion " for its taylor series at a fixpoint.

Or you might try to express ackermann in terms of sexp slog etc but im not sure its possible.

maybe this has occured in older threads.

you can express the domain [0, 2] using sexp slog algos, it's piece wise though.

but I'll show you what happens; 0 <= q <= 1



solve for q, it's practically impossible; same deal for [1, 2]

Reply
#4
(04/14/2011, 08:48 PM)JmsNxn Wrote:

what is u?

Well, James, according to PARI/gp u is about 1.5737, because
3[1.5737]4 = ~9

But I do not know why.
I need a taylor-series formula or a recursive formula to get know why.
Xorter Unizo
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Using a family of asymptotic tetration functions... JmsNxn 13 1,758 05/10/2021, 02:26 AM
Last Post: JmsNxn
  Inverse Iteration Xorter 3 5,990 02/05/2019, 09:58 AM
Last Post: MrFrety
  Inverse super-composition Xorter 11 22,652 05/26/2018, 12:00 AM
Last Post: Xorter
  The AB functions ! tommy1729 0 2,841 04/04/2017, 11:00 PM
Last Post: tommy1729
  Look-alike functions. tommy1729 1 3,731 03/08/2016, 07:10 PM
Last Post: hixidom
  Inverse power tower functions tommy1729 0 3,075 01/04/2016, 12:03 PM
Last Post: tommy1729
  [2014] composition of 3 functions. tommy1729 0 2,902 08/25/2014, 12:08 AM
Last Post: tommy1729
  The inverse gamma function. tommy1729 3 11,233 05/13/2014, 02:18 PM
Last Post: JmsNxn
  Intresting functions not ? tommy1729 4 8,348 03/05/2014, 06:49 PM
Last Post: razrushil
  generalizing the problem of fractional analytic Ackermann functions JmsNxn 17 33,575 11/24/2011, 01:18 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)