Naturally solving the sexp
#1
The Abel equation for the slog was .
Our original recurring for the super exponential (which I will call similarly) sexp is .

So if we develop it at 0, say satisfying the inverted Abel equation:

we get

where is the complete Bell polynomial.
The left side develops to and so we have the infinite equation system



And I wonder if we solve it the natural way whether we get exactly the inverse of the slog (which I assume). Unfortunately there is no complete Bell polynomial in Maple (at least I didnt find it) and I am too lazy in the moment to program it myself Wink

And yes, it is not a linear equation system. Perhaps it is despite solvable, who knows ...
Reply
#2
I've tried doing something similar. I used Faa di Bruno's formula, which, if I understand correctly, is similar to using a Bell polynomial (I can even see the reference in the article you linked to).

However, the system is of non-linear equations (as you point out, and Andrew points this out in his paper). The sytem can be solved iteratively by plugging approximations back into the system, and it converges exponentially for the first 11 terms. When I tried to solve the 12th term (with 11 unknowns, the first term being known), the system was unstable. I was able to manually pick the 11th unknown and solve the 10 unknown system, but this required two sets of iterations.

Solving beyond this would appear to require manually tweaking all the terms beyond the 10th and then iterating, and this becomes infeasible beyond about three or four additional terms, due to the non-linearity. If someone has a spiffier method that come overcome the non-linearity, it might be doable, but I don't see it being possible to solve for, say, a 100x100 system. To be honest, I was blown away that the slog function was a simple linear system, given how chaotic the sexp function is. Hats off to Andrew for his approach.
~ Jay Daniel Fox
Reply
#3
bo198214 Wrote:The Abel equation for the slog was .
Our original recurring for the super exponential (which I will call similarly) sexp is .

So if we develop it at 0, say satisfying the inverted Abel equation:

we get

where is the complete Bell polynomial.
The left side develops to and so we have the infinite equation system



And I wonder if we solve it the natural way whether we get exactly the inverse of the slog (which I assume). Unfortunately there is no complete Bell polynomial in Maple (at least I didnt find it) and I am too lazy in the moment to program it myself Wink

And yes, it is not a linear equation system. Perhaps it is despite solvable, who knows ...

:-) Now I have a name for my matrix-computations. Expliciting the matrix-formulae into sum-notation for the multiplications I arrived exactly at these "complete Bell-polynomials". Thanks! I'll have to read and adapt my naming conventions.
Gottfried
Gottfried Helms, Kassel
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
Question When Does \(\displaystyle\int_{-1}^0\text{sexp}(x)\,\mathrm{d}x\) Equal \(\frac12\)? Catullus 0 278 10/31/2022, 11:47 PM
Last Post: Catullus
  solving f(g(x)) = f(x) converging to f(exp(x)) = f(x) tommy1729 2 821 05/26/2022, 11:07 PM
Last Post: JmsNxn
  Revitalizing an old idea : estimated fake sexp'(x) = F3(x) tommy1729 0 663 02/27/2022, 10:17 PM
Last Post: tommy1729
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 3,919 09/06/2016, 04:23 PM
Last Post: tommy1729
  Solving tetration using differintegrals and super-roots JmsNxn 0 4,145 08/22/2016, 10:07 PM
Last Post: JmsNxn
  Can sexp(z) be periodic ?? tommy1729 2 8,359 01/14/2015, 01:19 PM
Last Post: tommy1729
  pseudo2periodic sexp. tommy1729 0 3,678 06/27/2014, 10:45 PM
Last Post: tommy1729
  [2014] tommy's theorem sexp ' (z) =/= 0 ? tommy1729 1 5,999 06/17/2014, 01:25 PM
Last Post: sheldonison
  Multiple exp^[1/2](z) by same sexp ? tommy1729 12 29,175 05/06/2014, 10:55 PM
Last Post: tommy1729
  entire function close to sexp ?? tommy1729 8 19,655 04/30/2014, 03:49 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)