Abstract:In this work, the authors provide closed forms and recurrence expressions for computing the $k$th power of the formal power series, some of them in terms of a determinant of some matrices. As a consequence, we obtain the reciprocal of the unit of any formal power series. We apply these results to the generalized Bernoulli numbers and Bernoulli numbers, we derive new closed-form expressions and some recursive relations of these famous numbers. In addition, we present several identities in determinant form. Using these results, an elegant generalization of a well known identity of Euler is presented. We also note some connections between the Stirling numbers of the second kind and the generalized Bernoulli numbers.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide closed - form and recursive expressions for computing the $k$-th power of a formal power series. Specifically, the authors focus on the following aspects: 1. **Provide closed - form and recursive formulas for computing the $k$-th power of a formal power series**: The authors develop new methods to compute the $k$-th power of a formal power series and represent it as a closed - form of a matrix determinant or a recursive relation. 2. **Solve for the reciprocal of the identity element of any formal power series**: Through the above results, the authors are able to derive expressions for the reciprocal of the identity element of any formal power series. 3. **Apply to generalized Bernoulli numbers and classical Bernoulli numbers**: The authors apply these results to generalized Bernoulli numbers (generalized Bernoulli numbers) and classical Bernoulli numbers (Bernoulli numbers), and derive new closed - form expressions and recursive relations for these numbers. 4. **Propose several determinant identities**: Based on the above research, the authors propose multiple new identities expressed in the form of determinants. 5. **Generalize a famous Euler identity**: Using these results, the authors elegantly generalize a famous Euler identity. 6. **Reveal the connection between Stirling numbers and generalized Bernoulli numbers**: The authors also explore the relationship between Stirling numbers of the second kind and generalized Bernoulli numbers. ### Specific problem description In more specific mathematical formulations, the authors solve the following problems: - **Compute the $k$-th power of a formal power series**: For a given formal power series $S=a_0 + a_1X + a_2X^2+\cdots$, how to compute the coefficients of its $k$-th power $S^k$. Where the $k$-th power of the formal power series $S$ can be represented as: \[ S^k=a_0^{(k)}+a_1^{(k)}X + a_2^{(k)}X^2+\cdots \] And the coefficient $a_m^{(k)}$ can be computed by a recursive formula or a determinant expression. - **Apply to generalized Bernoulli numbers**: Through the above methods, the authors derive new closed - form and recursive relations for generalized Bernoulli numbers $B_n^{(m)}$, for example: \[ B_n^{(m)}=n!\sum_{k_1 + 2k_2+\cdots+nk_n=n}\frac{(- 1)^l(m + l-1)!}{k_1!k_2!\cdots k_n!}\prod_{i = 1}^n\left(\frac{1}{(i + 1)!}\right)^{k_i} \] - **Generalize Euler identity**: The authors generalize the classical Euler identity and give a new relation between generalized Bernoulli numbers and classical Bernoulli numbers: \[ \sum_{i = 0}^n\binom{n}{i}B_iB_n^{(k)}=\left(1-\frac{n}{k}\right)B_n^{(k)}-nB_{n - 1}^{(k)} \] In summary, this paper aims to solve the problem of computing the $k$-th power of a formal power series by introducing new mathematical tools and techniques, and apply it to the study of generalized Bernoulli numbers, thereby deriving a series of new mathematical results and identities.

Explicit, recurrent, determinantal expressions of the $k$th power of formal power series and applications to the generalized Bernoulli numbers

Sums of powers of integers via differentiation

General Convolution Identities for Bernoulli and Euler Polynomials

An invitation to formal power series

On the regularized products of some Dirichlet series

On an exponential power sum

Infinite product of power series

Powers of sequences and recurrence

Explicit Expressions for Iterates of Power Series

The computation of $ζ(2k)$, $β(2k+1)$ and beyond by using telescoping series

Some new identities and inequalities for Bernoulli polynomials and numbers of higher order related to the Stirling and Catalan numbers

On Frobenius Formulas of Power Sequences

Sums of powers of integers and the sequence A304330

Generalization of Arithmetico-Geometric Series and the Expectation Value of a $k$-Run of a Bernoulli Trial

Reciprocity formulas for certain generalized Hardy-Berndt sums

Definitions, notations and proofs for Bernoulli numbers

A closed-form expression for the kth power of semicirculant and r-circulant matrices

On an upper bound of the degree of polynomial identities regarding linear recurrence sequences

A new generalization of the Stirling numbers of the first kind

Closed form for $\sum_{k=1}^n k^p$ through the Hermite integral representation of the Hurwitz zeta function

Novel integral representations of the Riemann zeta-function and Dirichlet eta-function, close expressions for Laurent series expansions of powers of trigonometric functions and digamma function, and summation rules