Explicit Tauberian estimates for functions with positive coefficients
Journal of Computational and Applied Mathematics - Special issue on asymptotic methods in analysis and combinatorics
Analytic Combinatorics
Hi-index | 0.00 |
Let Ωn be the nn-element set consisting of all functions that have {1, 2, 3,. . ., n} as both domain and codomain. Let T(f) be the order of f, i.e., the period of the sequence f, f(2), f(3), f(4). . . of compositional iterates. A closely related number, B(f) = the product of the lengths of the cycles of f, has previously been used as an approximation for T. This paper proves that the average values of these two quantities are quite different. The expected value of T is \[ \frac{1}{n^{n}}\sum\glimits_{f\in \Omega_{n}}{\bf T}(f)=\exp\biggl(k_{0}\sqrt[3]{\frac{n}{\log^{2}n}}\bigl(1+o(1)\bigr)\biggr), \] where k0 is a complicated but explicitly defined constant that is approximately 3.36. The expected value of B is much larger: \[ \frac{1}{n^{n}}\sum\glimits_{f\in \Omega_{n}}{\bf B}(f)=\exp\biggl(\frac{3}{2}\sqrt[3]{n}\bigl(1+o(1)\bigr)\biggr). \]