Skip to content

Advertisement

Advances in Difference Equations

Advances in Difference Equations Cover Image
  • Research
  • Open Access

On solving some functional equations

Advances in Difference Equations20152015:17

https://doi.org/10.1186/s13662-014-0347-9

©  Kruchinin; licensee Springer 2015

Received: 30 October 2014

Accepted: 25 December 2014

Published: 30 January 2015

Abstract

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.

Keywords

  • composita
  • generating function
  • Lagrange inversion theorem
  • functional equation

MSC

  • 05A15
  • 65Q20
  • 39B12

1 Introduction

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:
$$ \bigl[F(x)\bigr]^{k}=\sum_{n>0} F(n,k)x^{n}. $$
(1)
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
$$ F^{\Delta}(n,k)=\sum_{\pi_{k} \in C_{n}}{f( \lambda_{1})f(\lambda _{2})\cdots f(\lambda_{k})}, $$
(2)
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
$$\begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} &&&&& F_{1,1}^{\Delta}\\ &&&& F_{2,1}^{\Delta} && F_{2,2}^{\Delta}\\ &&& F_{3,1}^{\Delta} && F_{3,2}^{\Delta} && F_{3,3}^{\Delta}\\ && F_{4,1}^{\Delta} && F_{4,2}^{\Delta} && F_{4,3}^{\Delta} && F_{4,4}^{\Delta}\\ & \vdots&& \vdots&& \vdots&& \vdots&& \vdots\\ F_{n,1}^{\Delta} && F_{n,2}^{\Delta} && \ldots&& \ldots&& F_{n,n-1}^{\Delta} && F_{n,n}^{\Delta} \end{array} $$

2 Lagrange inversion equation

First we consider a solution of the functional equation
$$ A(x)=xH\bigl(A(x)\bigr), $$
(3)
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
$$ A(x)=xH\bigl(A(x)\bigr). $$
(4)
Then
$$ n\bigl[x^{n}\bigr]A(x)^{k}=k\bigl[x^{n-k} \bigr]H(x)^{n}, $$
(5)
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:
$$ A^{\Delta}(n,k)=\frac{k}{n}H_{x}^{\Delta}(2n-k,n). $$
(6)

Proof

According to Lemma 2, for the solution of the functional equation \(A(x)=xH(A(x))\), we can write
$$n\bigl[x^{n}\bigr]A(x)^{k}=k\bigl[x^{n-k} \bigr]H(x)^{n}. $$
On the left-hand side, there is the composita of the generating function \(A(x)\) multiplied by n:
$$n\bigl[x^{n}\bigr]A(x)^{k}=n A^{\Delta}(n,k). $$
We know that
$$\bigl( xH(x) \bigr)^{k}=\sum_{n\geq k}H_{x}^{\Delta}(n,k)x^{n}. $$
Then
$$\bigl( H(x) \bigr)^{k}=\sum_{n\geq k}H_{x}^{\Delta}(n,k)x^{n-k}. $$
If we replace \(n-k\) by m, we obtain the following expression:
$$\bigl( H(x) \bigr)^{k}=\sum_{m\geq0}H_{x}^{\Delta}(m+k,k)x^{m}. $$
Substituting n for k and \(n-k\) for m, we get
$$\bigl[x^{n-k}\bigr]H(x)^{n}=H_{x}^{\Delta}(2n-k,n). $$
Therefore, we get
$$A^{\Delta}(n,k)=\frac{k}{n}H_{x}^{\Delta}(2n-k,n). $$
 □
According to the above theorem, for solutions of the functional equation \(A(x)=xH(A(x))\), we can use the following expression:
$$\bigl[A(x)\bigr]^{k}=\sum_{n\geq k}A^{\Delta}(n,k)x^{n}= \sum_{n\geq k} \frac {k}{n}H_{x}^{\Delta}(2n-k,n)x^{n}, $$
where \(H_{x}^{\Delta}(n,k)\) is the composita of the generating function \(xH(x)\). Therefore,
$$ A(x)=\sum_{n\geq1} \frac{1}{n}H_{x}^{\Delta}(2n-1,n)x^{n}. $$
(7)
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,
$$H_{x}^{\Delta}(n,k)=\frac{k}{2k-n}A^{\Delta}(k,2k-n). $$
It should be noted that for \(n=k\),
$$H_{x}^{\Delta}(n,n)=A^{\Delta}(n,n). $$

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
$$A(x)=x+xA(x)+xA(x)^{2}+2xA(x)^{3}. $$
The generating function \(xH(x)\) has the form
$$xH(x)=x+x^{2}+x^{3}+2x^{4}. $$
The composita of \(xH(x)\) is
$$H_{x}^{\Delta}(n,k)=\sum_{j=0}^{k}{{{k} \choose {j}} \sum_{i=j}^{n-k+j}{2^{n-3(k-j)-i} {{j }\choose {i-j}} {{k-j}\choose {n-3(k-j)-i}}}}. $$
According to formula (7), the coefficients of \(A(x)\) are
$$a(n)=\frac{1}{n}H_{x}^{\Delta}(2n-1,n). $$
Therefore, we get
$$a(n)=\frac{1}{n}{{\sum_{j=0}^{n}{{{n} \choose {j}} \sum_{i=j}^{n+j-1}{{{j}\choose {i- j}} 2^{-n+3 j-i-1} {{n-j}\choose {-n+3 j-i-1}}}}}}. $$

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])
$$B(x)=\frac{1-x-\sqrt{1-6x-3x^{2}}}{ 2x(1+x)}. $$
Next we introduce the following generating function \(A(x)=xB(x)\). Considering the functional equation, we can notice that
$$A(x) =x\frac{1+A(x) +A(x) ^{2}}{1-A(x)}. $$
Then we get the following functional equation:
$$A(x) = xH\bigl(A(x)\bigr), $$
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
$$F^{\Delta}(n,k)=\sum_{j=0}^{k} {j \choose n-k-j} {k \choose j}. $$
The expression of coefficients of the generating function \([R(x)]^{k}= (\frac{1}{1-x} )^{k}\) is equal to
$${n+k-1 \choose k-1}. $$
Then we obtain the composita of \(xH(x)\),
$$H_{x}^{\Delta}(n,k)=\sum_{i=0}^{n-k}{k+i-1 \choose k-1}\sum_{j=0}^{k}{j \choose n-k-j-i} {k \choose j}. $$
Hence, using Theorem 3, we get the composita of \(A(x)\),
$$A^{\Delta}(n,k)=\frac{k}{n}H_{x}^{\Delta}(2n-k,n)= \frac{k}{n}\sum_{i=0}^{n-k}{n+i-1 \choose n-1}\sum_{j=0}^{n}{j \choose n-k-j-i} {n \choose j}. $$
The coefficients of \(B(x)\) are
$$b(n)=A^{\Delta}(n+1,1). $$
Therefore, we obtain
$$b(n)=\frac{1}{n+1}\sum_{i=0}^{n}{n+i \choose n}\sum_{j=0}^{n+1}{j \choose n-j-i} {n+1 \choose j}. $$

3 The generalized Lagrange inversion equation

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

Replacing \(A(x)\) by \(xB(x)\) in the functional equation (4), we get
$$ B(x)=H\bigl(xB(x)\bigr). $$
(8)

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
$$H_{x}^{\Delta}(n,k)=\frac{k}{2k-n}B_{x}^{\Delta}(k,2k-n), $$
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
$$B_{x}^{\Delta}(n,k)=\frac{k}{n}H_{x}^{\Delta}(2n-k,n), $$
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
$$ B_{x}^{\Delta}(n,k)=\frac{k}{i_{m-1}}H_{x}^{\Delta}(i_{m},i_{m-1}), $$
(9)
where \(i_{m}=(m+1)n-mk\).

Proof

For \(m=0\), we have
$$B(x)=H\bigl(xB(x)^{0}\bigr)=G(x),\quad i_{m-1}=k, i_{m}=n. $$
Then we obtain the identity
$$B_{x}^{\Delta}(n,k)=\frac{k}{k}H_{x}^{\Delta}(n,k). $$
For \(m=1\), we have
$$B_{1}(x)=G\bigl(xB_{1}(x)\bigr),\quad i_{m-1}=n, i_{m}=2n-k. $$
Then we obtain
$$B_{x, 1}^{\Delta}(n,k)=\frac{k}{n}H_{x}^{\Delta}(2n-k,n) $$
that satisfy Theorem 6.
By induction, we put that for m the solution of the equation
$$ B_{m}(x)=H\bigl(xB_{m}(x)^{m}\bigr) $$
(10)
is
$$B_{x, m}^{\Delta}(n,k)=\frac{k}{i_{m-1}}H_{x}^{\Delta}(i_{m},i_{m-1}). $$
Then we find the solution for \(m+1\),
$$B_{m+1}(x)=H\bigl(xB_{m+1}(x)^{m+1}\bigr). $$
For this purpose, we consider the following functional equation:
$$B_{m+1}(x)=B_{m}\bigl(xB_{m+1}(x)\bigr). $$
Instead of \(B_{m}(x)\), we substitute the right hand-side of (10)
$$B_{m+1}(x)=H\bigl(xB_{m+1}(x)\bigl[B_{m} \bigl(xB_{m+1}(x)\bigr)\bigr]^{m}\bigr); $$
from whence it follows that
$$B_{m+1}(x)=H\bigl(xB_{m+1}(x)^{m+1}\bigr). $$
We note that \(B_{x, m+1}^{\Delta}(n,k)\) is the right composita of \(B_{m}(x)\),
$$B_{x, m+1}^{\Delta}(n,k)=\frac{k}{n}B_{x, m}^{\Delta}(2n-k,n), $$
where \(B_{x, m}^{\Delta}(n,k)\) is the composita of the generating function \(xB_{m}(x)\).
Then
$$B_{x, m+1}^{\Delta}(n,k)=\frac{k}{(m+1)n-mk}H_{x}^{\Delta} \bigl((m+2)n-(m+1)k, (m+1)n-mk\bigr). $$
Therefore, for the functional equation
$$B_{m+1}(x)=B_{m}\bigl(xB_{m+1}(x)\bigr), $$
we obtain the required condition
$$B_{x, m+1}^{\Delta}(n,k)=\frac{k}{i_{m}}H_{x}^{\Delta}(i_{m+1},i_{m}), $$
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].
Table 1

Table of functional equations

Equation

Function B ( x )

Composita \(\boldsymbol{B_{x}^{\Delta}(n,k)}\)

OEIS

\(B(x)=1+xB^{0}(x)\)

1 + x

\({k \choose n-k}\)

 

\(B(x)=1+xB^{1}(x)\)

\(\frac{1}{1-x}\)

\({n-1 \choose k-1}\)

A000012

\(B(x)=1+xB^{2}(x)\)

\(\frac{1-\sqrt{1-4x}}{2x} \)

\(\frac{k}{n}{2n-k-1 \choose n-1}\)

A000108

\(B(x)=1+xB^{3}(x)\)

 

\(\frac{k}{n}{3n-2k \choose n-k}\)

A001764

Declarations

Acknowledgements

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’.

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)
Tomsk State University of Control Systems and Radioelectronics (TUSUR), Tomsk, Russia
(2)
National Research Tomsk Polytechnic University (TPU), Tomsk, Russia

References

  1. Kruchinin, VV, Kruchinin, DV: Composita and its properties. J. Anal. Number Theory 2(2), 1-8 (2014) Google Scholar
  2. Kruchinin, DV, Kruchinin, VV: A method for obtaining generating function for central coefficients of triangles. J. Integer Seq. 15, 1-10 (2012) MathSciNetGoogle Scholar
  3. Kruchinin, DV, Kruchinin, VV: Application of a composition of generating functions for obtaining explicit formulas of polynomials. J. Math. Anal. Appl. 404, 161-171 (2013) View ArticleMathSciNetGoogle Scholar
  4. Stanley, RP: Enumerative Combinatorics, vol. 2. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1999) View ArticleGoogle Scholar
  5. Sloane, JA: The On-Line Encyclopedia of Integer Sequences. www.oeis.org

Copyright

© Kruchinin; licensee Springer 2015

Advertisement