$α$, $β$-expansions of the Riordan matrices of the associated subgroup

E. Burlachenko

DOI: https://doi.org/10.48550/arXiv.2005.09590

2020-05-20

Abstract:We consider the group of the matrices $\left( 1,g\left( x \right) \right)$ isomorphic to the group of formal power series $g\left( x \right)=x+{{g}_{2}}{{x}^{2}}+...$ under composition: $\left( 1,{{g}_{2}}\left( x \right) \right)\left( 1,{{g}_{1}}\left( x \right) \right)=\left( 1,{{g}_{1}}\left( {{g}_{2}}\left( x \right) \right) \right)$. Denote $P_{k}^{\alpha }=\left( 1,x{{\left( 1-k\alpha {{x}^{k}} \right)}^{{-1}/{k}\;}} \right)$. Matrix $\left( 1,g\left( x \right) \right)$is decomposed into an infinite product of the matrices $P_{k}^{\alpha }$ with suitable exponents in two ways: to left-handed and right-handed products with respect to the matrix $P_{1}^{{{\alpha }_{1}}={{\beta }_{1}}}$: $\left( 1,g\left( x \right) \right)=...P_{k}^{{{\alpha }_{k}}}...P_{2}^{{{\alpha }_{2}}}P_{1}^{{{\alpha }_{1}}}=P_{1}^{{{\beta }_{1}}}P_{2}^{{{\beta }_{2}}}...P_{k}^{{{\beta }_{k}}}...$. We obtain two formulas expressing the coefficients of the series ${{\left( {g\left( x \right)}/{x}\; \right)}^{z}}$ in terms of the expansion coefficients ${{\alpha }_{i}}$, ${{\beta }_{i}}$ and introduce two one-parameter families of series $g_{\alpha }^{\left( t \right)}\left( x \right)$ and $g_{\beta }^{\left( t \right)}\left( x \right)$ associated with these expansions.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the α,β - expansion problem of specific subgroups in Riordan matrices. Specifically, the author explores how to decompose matrices of the form \((1, g(x))\) into an infinite product form and represent these matrices in two different ways (left - multiplication and right - multiplication). In addition, the author introduces two one - parameter series families \(g(t)_\alpha(x)\) and \(g(t)_\beta(x)\) related to these expansions and gives formulas for expressing the coefficients of these series.

### Main problems and methods

1. **Matrix decomposition**:
- The author considers matrices of the form \((1, g(x))\), where \(g(x)=x + g_2x^2+\cdots\).
- These matrices can be decomposed into an infinite product form, that is:
\[
(1, g(x))=\cdots P_{\alpha_k}^k\cdots P_{\alpha_2}^2P_{\alpha_1}^1 = P_{\beta_1}^1P_{\beta_2}^2\cdots P_{\beta_k}^k\cdots
\]
where \(P_{\alpha_k}^k\) and \(P_{\beta_k}^k\) are specific matrices.

2. **Coefficient expressions**:
- The author derives two formulas for expressing the coefficients \(s_n(z)\) of the series \(\left(\frac{g(x)}{x}\right)^z\), and these formulas involve the expansion coefficients \(\alpha_i\) and \(\beta_i\).
- The specific formulas are as follows:
\[
s_n(\alpha_i,z)=\sum_{m = 0}^n z(z + i_1)(z + i_1+ i_2)\cdots(z + i_1+ i_2+\cdots+ i_{m - 1})\frac{\alpha_1^{m_1}\alpha_2^{m_2}\cdots\alpha_n^{m_n}}{m_1!m_2!\cdots m_n!}
\]
\[
s_n(\beta_i,z)=\sum_{m = 0}^n z(z + i_1)(z + i_1+ i_2)\cdots(z + i_1+ i_2+\cdots+ i_{m - 1})\frac{\beta_1^{m_1}\beta_2^{m_2}\cdots\beta_n^{m_n}}{m_1!m_2!\cdots m_n!}
\]

3. **One - parameter series families**:
- Two one - parameter series families \(g(t)_\alpha(x)\) and \(g(t)_\beta(x)\) are introduced, and their specific forms are given:
\[
\left(\frac{g(t)_\alpha(x)}{x}\right)^z=\sum_{n = 0}^\infty s_n(t\alpha_i,z)x^n
\]
\[
\left(\frac{g(t)_\beta(x)}{x}\right)^z=\sum_{n = 0}^\infty s_n(t\beta_i,z)x^n
\]

4. **Inverse matrix relations**:
- The relations and properties of inverse matrices are discussed, for example:
\[
(1, g(x))^{-1}=\cdots P_{-\beta_k}^k\cdots P_{-\beta_2}^2P_{-\beta_1}^1 = P_{-\alpha_1}^1P_{-\alpha_2}^2\cdots P_{-\alpha_k}^k\cdots
\]