De Moivre and Bell polynomials (Q2105644)

The author investigates the De Moivre and Bell polynomials and lays out many applications to formal power series, generating functions and asymptotic expansions. Recall that the De Moivre polynomials \(\mathcal{A}_{n,k}(a_{1},a_{2},a_{3},\dots)\) are defined in the following way: for \(n,k\in \mathbb{Z}\) with \(k\geq 0\), let \( a_{1}x+a_{2}x^{2}+a_{3}x^{3}+\dots\) be a formal power series with coefficients in \(\mathbb{C}\) then \((a_{1}x+a_{2}x^{2}+a_{3}x^{3}+\dots)^{k}=\sum\limits_{n \in \mathbb{Z}}\mathcal{A}_{n,k}(a_{1},a_{2},a_{3},\dots)x^{k}\). So if \(n<k\), it is \(0\) and if \(n\geq k\), \[ \mathcal{A}_{n,k}(a_{1},a_{2},a_{3},\dots)=\sum_{ \begin{smallmatrix} j_{1}+2j_{2}+\dots+mj_{m}=n \\ j_{1}+j_{2}+\dots+j_{m}=k \end{smallmatrix} }\binom{k}{j_{1},j_{2},\dots,j_{m}} a_{1}^{j_{1}}a_{2}^{j_{2}}\dots a_{m}^{j_{m}}. \] The Bell polynomials are then defined by \[ \mathcal{B}_{n,k}(a_{1},a_{2},a_{3},\dots)=\frac{n!}{k!}\mathcal{A}_{n,k}\left( \frac{a_{1}}{1!},\frac{a_{2}}{2!},\frac{a_{3}}{3!},\dots\right). \] The complete Bell polynomials are defined as \[ \mathcal{Y}_{n,k}(a_{1},a_{2},a_{3},\dots)=\sum_{k=0}^{n}\mathcal{B} _{n,k}(a_{1},a_{2},a_{3},\dots). \] In the first part of this paper under review, the author presents different recursion relations for the \(\mathcal{A}_{n,k}\). Then applications to composition formal power series and to the nth derivative of rth powers of a composition of \(n\) times differentiable functions are given. As a consequence, he gives a necessary and sufficient condition for a power series without a constant term to have a compositional inverse. Applications to some determinant formulas are also stated. The author provides also many applications of the De Moivre polynomials to generating functions with a particular focus on partitions, orthogonal polynomials, Bernouilli numbers and polynomials and cyclotomic polynomials. In the final section of the paper, the author gives many examples to show that the De Moivre polynomials are very useful in asymptotic expansions.