On solving some functional equations

Using the notion of composita and the Lagrange inversion theorem, we present techniques for solving the following functional equation \(B(x)=H(xB(x)^{m})\), where \(H(x)\), \(B(x)\) are generating functions and \(m\in \mathbb{N}\). Also we give some examples.

In this paper we study the coefficients of the powers of an ordinary generating function and their properties. Using the notion of composita, we get the solution of the functional equation \(B(x)=H(xB(x)^{m})\), which is based on the Lagrange inversion equation, where \(H(x)\), \(B(x)\) are generating functions and \(m\in\mathbb{N}\).

In the papers [1–3], the author introduced the notion of composita of a given ordinary generating function \(F(x)=\sum_{n>0}f(n)x^{n}\).

Suppose \(F(x) = \sum_{n>0} f(n) x^{n}\) is the generating function, in which there is no free term \(f(0)=0\). From this generating function we can write the following equation:

The expression \(F(n,k)\) is the composita, and it is denoted by \(F^{\Delta}(n,k)\).

Definition 1

The composita is the function of two variables defined by

where \(C_{n}\) is a set of all compositions of an integer n, \(\pi_{k}\) is the composition \(\sum_{i=1}^{k}\lambda_{i}=n\) into k parts exactly.

The expression \(F^{\Delta}(n,k)\) takes a triangular form

First we consider a solution of the functional equation

where \(A(x)\) and \(H(x)\) are generating functions such that \(H(x)=\sum_{n\geq0}h(n)x^{n}\) and \(A(x)=\sum_{n> 0}a(n)x^{n}\).

In the following lemma, we give the Lagrange inversion formula, which was proved by Stanley [4].

Lemma 2

(The Lagrange inversion formula)

Suppose \(H(x)=\sum_{n\geq0}h(n)x^{n}\) with \(h(0)\neq0\), and let \(A(x)\) be defined by

Then

where \([x^{n}]A(x)^{k}\) is the coefficient of \(x^{n}\) in \(A(x)^{k}\) and \([x^{n-k}]H(x)^{n}\) is the coefficient of \(x^{n-k}\) in \(H(x)^{n}\).

By using the above Lemma 2, we now give the following theorem.

Theorem 3

Suppose \(H(x)=\sum_{n\geq0}h(n)x^{n}\) is a generating function, where \(h(0)\neq0\), \(H_{x}^{\Delta}(n,k)\) is the composita of the generating function \(xH(x)\), and \(A(x)=\sum_{n>0}a(n)x^{n}\) is the generating function, which is obtained from the functional equation \(A(x)=xH(A(x))\). Then the following condition holds true:

Proof

According to Lemma 2, for the solution of the functional equation \(A(x)=xH(A(x))\), we can write

On the left-hand side, there is the composita of the generating function \(A(x)\) multiplied by n:

We know that

Then

If we replace \(n-k\) by m, we obtain the following expression:

Substituting n for k and \(n-k\) for m, we get

Therefore, we get

 □

According to the above theorem, for solutions of the functional equation \(A(x)=xH(A(x))\), we can use the following expression:

where \(H_{x}^{\Delta}(n,k)\) is the composita of the generating function \(xH(x)\). Therefore,

Since the composita is uniquely determined by the generating function, formula (6) provides a solution of the inverse equation \(A(x)=xH(A(x))\), when \(A(x)\) is known and \(H(x)\) is unknown. Hence,

It should be noted that for \(n=k\),

Next we give some examples of functional equations.

Example 4

Let us find an expression for coefficients of the generating function \(A(x)=\sum_{n>0}a(n)x^{n}\), which is defined by the functional equation

The generating function \(xH(x)\) has the form

The composita of \(xH(x)\) is

According to formula (7), the coefficients of \(A(x)\) are

Therefore, we get

Example 5

Let us find an expression for coefficients of the generating function \(B(x)=\sum_{n\geq0}a(n)x^{n}\), which is defined by the functional equation (see A064641 [5])

Next we introduce the following generating function \(A(x)=xB(x)\). Considering the functional equation, we can notice that

Then we get the following functional equation:

where \(H(x) = \frac{1+x+x^{2}}{1-x}\).

Now we obtain the composita of \(xH(x)\). The composita of \(F(x)= x+x^{2}+x^{3}\) is

The expression of coefficients of the generating function \([R(x)]^{k}= (\frac{1}{1-x} )^{k}\) is equal to

Then we obtain the composita of \(xH(x)\),

Hence, using Theorem 3, we get the composita of \(A(x)\),

The coefficients of \(B(x)\) are

Therefore, we obtain

Next we generalize the case \(A(x)=xH(A(x))\).

Replacing \(A(x)\) by \(xB(x)\) in the functional equation (4), we get

Let us introduce the following definitions.

Definition 6

The left composita of the generating function \(B(x)\) in the functional equation (8) is the composita

where \(H_{x}^{\Delta}(n,k)\) is the composita of the generating function \(xB(x)\).

Definition 7

The right composita of the generating function \(H(x)\) in the functional equation (8) is the composita

where \(H_{x}^{\Delta}(n,k)\) is the composita of the generating function \(xH(x)\).

There exists the left composita for every left composita and there exists the right composita for every right composita.

Formula (6) can be generalized for the case when a generating function is the solution of a certain functional equation. Let us prove the following theorem.

Theorem 8

Suppose \(H(x)=\sum_{n\geq0}h(n)x^{n}\) and \(B(x)=\sum_{n\geq0}b(n)x^{n}\) are generating functions such that \(B(x)=H(xB(x)^{m})\), where \(m\in\mathbb{N}\); \(H_{x}^{\Delta}(n,k)\) and \(B_{x}^{\Delta}(n,k)\) are the compositae of the generating functions \(xH(x)\) and \(xB(x)\), respectively. Then

where \(i_{m}=(m+1)n-mk\).

Proof

For \(m=0\), we have

Then we obtain the identity

For \(m=1\), we have

Then we obtain

that satisfy Theorem 6.

By induction, we put that for m the solution of the equation

is

Then we find the solution for \(m+1\),

For this purpose, we consider the following functional equation:

Instead of \(B_{m}(x)\), we substitute the right hand-side of (10)

from whence it follows that

We note that \(B_{x, m+1}^{\Delta}(n,k)\) is the right composita of \(B_{m}(x)\),

where \(B_{x, m}^{\Delta}(n,k)\) is the composita of the generating function \(xB_{m}(x)\).

Then

Therefore, for the functional equation

we obtain the required condition

where \(i_{m}=(m+1)n-mk\). □

In Table 1 we present a sequence of functional equations for the generating function \(H(x)=1+x\), where OEIS means the On-Line Encyclopedia of Integer Sequences [5].

The author wishes to thank the referees for their useful comments. This work was partially supported by the Ministry of Education and Science of Russia, government order No. 1220 ‘Theoretical bases of designing informational-safe systems’.

Affiliations

1. Tomsk State University of Control Systems and Radioelectronics (TUSUR), Tomsk, Russia

   • Dmitry V Kruchinin

2. National Research Tomsk Polytechnic University (TPU), Tomsk, Russia

   • Dmitry V Kruchinin

Corresponding author

Correspondence to Dmitry V Kruchinin.

Competing interests

The author declares that they have no competing interests.

Reprints and Permissions