Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Coefficients of Tetrational Function
#1
Hi.

I'm curious: Is there any ideas about how a closed form or even a series formula, recurrence, etc. could be found for the Taylor coefficients of the tetrational function at 0 developed from, e.g. the Abel iteration, or the Cauchy integral (which seem to give the same thing though it's not proven), to base e?

I.e.



and what is ? We have and then , etc. but is there any way that coefficient for example could be expressed in terms of elementary or "well-known" (used by the general maths. community, that is -- e.g. gamma, polylog, zeta, erf, etc.) non-elementary special functions and known mathematical constants (like e, pi, eulergamma, etc.)? Even if it can only be done with an infinite expansion like an infinite sum or something involving those? Or is this function simply so darned exotic that it will utterly refuse and defy any and all attempts to try to relate it to known mathematical functions? Smile
Reply
#2
Just to be clear, you're looking for the Taylor expansion of the infinite-order tetration?
Reply
#3
(04/02/2010, 02:49 PM)Ztolk Wrote: Just to be clear, you're looking for the Taylor expansion of the infinite-order tetration?

no, not
, but he means
.
Reply
#4
[update]
BTW, I'm not talking about tetration, I'm talking about the superlogarithm here. The equivalent coefficient of tetration at a similar point would be , so keep that in mind while reading this.
[/update]

(03/28/2010, 03:25 AM)mike3 Wrote: is there any way that coefficient for example could be expressed in terms of elementary or "well-known" ... special functions?
No one knows. I would certainly like to find out. Proving that would amount to showing that is both irrational and transcendental.

(03/28/2010, 03:25 AM)mike3 Wrote: Even if it can only be done with an infinite expansion like an infinite sum or something involving those? Or is this function simply so darned exotic that it will utterly refuse and defy any and all attempts to try to relate it to known mathematical functions? Smile

Yes, certainly. I can tell you exactly what is in complicated form (according to natural/intuitive tetration):


where and is the kth Cramer's rule matrix associated with the n*n truncated Abel matrix of the function .

Now think about this. Determinants (det) are just a bunch of additions and multiplcations. So this would involve infinite sums and infinite products in the limit as n goes to infinity. But each and every step is a well known function, so this is kind of what you are describing. However, this form is not a form that lends itself to standard analysis, and in that sense it is "so darned exotic" as you put it. One of the many things I have been trying to do is put this into a form that does lend itself to standard analysis, but so far I have been less than successful.

One thing that I have been successful at is turning the numerator and denominator of into a single infinite summation (whose coefficients I have found expressions for (n < 6)), but since they don't work for (n=7) I gave up. If you are interested in these coefficients, I uploaded them awhile ago here (they are under Robbins_draft.zip in the file Robbins_detcoeff.pdf). I also found a much better way to compute the 4,21,160 sequence, which I submitted to OEIS (and yes I'm credited).

So my hope for this research was to find coefficients such that (for all n):


and I continue to hope until I find it is impossible. I still think that this approach is the most likely to succeed in finding a closed form.

Andrew Robbins
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Taylor polynomial. System of equations for the coefficients. marraco 17 7,168 08/23/2016, 11:25 AM
Last Post: Gottfried
  Should tetration be a multivalued function? marraco 17 6,280 01/14/2016, 04:24 AM
Last Post: marraco
  Introducing new special function : Lambert_t(z,r) tommy1729 2 1,551 01/10/2016, 06:14 PM
Last Post: tommy1729
Sad Tommy-Mandelbrot function tommy1729 0 994 04/21/2015, 01:02 PM
Last Post: tommy1729
  The inverse gamma function. tommy1729 3 4,351 05/13/2014, 02:18 PM
Last Post: JmsNxn
  entire function close to sexp ?? tommy1729 8 4,714 04/30/2014, 03:49 PM
Last Post: JmsNxn
  Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried 5 3,865 07/17/2013, 09:46 AM
Last Post: Gottfried
  Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 1,795 06/15/2013, 08:02 PM
Last Post: MphLee
  Hyperzeta function Balarka Sen 7 4,169 05/08/2013, 01:36 PM
Last Post: Balarka Sen
  Can we prove these coefficients must be constant? JmsNxn 0 1,141 06/03/2012, 09:17 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)