In mathematics, the Jabotinsky matrix (sometimes called iteration matrix or power matrix) is an infinite matrix used to convert function composition into matrix multiplication. It is often used in iteration theory to find the continuous iteration of functions. The matrix is named after mathematician Eri Jabotinsky.
Definition Let f {\displaystyle f} be a formal power series. There exists coefficients ( B n , k ) n , k ≥ 0 {\displaystyle (B_{n,k})_{n,k\geq 0}} such that f ( x ) k = ∑ n = 0 ∞ B n , k x n . {\displaystyle f(x)^{k}=\sum _{n=0}^{\infty }B_{n,k}x^{n}.} The Jabotinsky matrix of f ( x ) {\displaystyle f(x)} is defined as the infinite matrix
B ( f ) = ( B 0 , 0 B 0 , 1 B 0 , 2 ⋯ B 1 , 0 B 1 , 1 B 1 , 2 ⋯ B 2 , 0 B 2 , 1 B 2 , 2 ⋯ ⋮ ⋮ ⋮ ⋱ ) . {\displaystyle \mathbf {B} (f)=\left({\begin{array}{cccc}B_{0,0}&B_{0,1}&B_{0,2}&\cdots \\B_{1,0}&B_{1,1}&B_{1,2}&\cdots \\B_{2,0}&B_{2,1}&B_{2,2}&\cdots \\\vdots &\vdots &\vdots &\ddots \end{array}}\right).}
When f ( 0 ) = 0 {\displaystyle f(0)=0} , B ( f ) {\displaystyle \mathbf {B} (f)} becomes an infinite lower triangular matrix whose entries are given by ordinary Bell polynomials evaluated at the coefficients of f {\displaystyle f} . This is why B ( f ) {\displaystyle \mathbf {B} (f)} is sometimes referred to as a Bell matrix.
History Jabotinsky matrices have a long history, and were perhaps used for the first time in the context of iteration theory by Albert A. Bennett in 1915. Jabotinsky later pursued Bennett's research and applied them to Faber polynomials. Jabotinsky matrices were popularized during the 70s by Louis Comtet's book Advanced Combinatorics, where he referred to them as iteration matrices (which is a denomination also sometimes used nowadays). This article's denomination appeared later. Donald Knuth uses the name convolution matrix.
Properties Jabotinsky matrices satisfy the fundamental relationship B ( f ∘ g ) = B ( g ) B ( f ) {\displaystyle {\textbf {B}}(f\circ g)={\textbf {B}}(g){\textbf {B}}(f)} which makes the Jabotinsky matrix B ( f ) {\displaystyle \mathbf {B} (f)} a (direct) representation of f ( x ) {\displaystyle f(x)} . Here the term f ∘ g {\displaystyle f\circ g} denotes the composition of functions f ( g ( x ) ) {\displaystyle f(g(x))} . The fundamental property implies
… excerpt ends here. Continue reading the full article.
