No label defined (Q4388754)

Let \(\{x_n\}\) be linear recurrent sequences satisfying \(x_n= c_1 x_{n-1}+ c_2 x_{n-2}+ \cdots+ c_k x_{n-k}\), where \(c_1, c_2,\dots, c_k\) are complex numbers. The set \(V\) consisting of all such sequences is a \(k\)-dimensional vector space over the complex field. In this paper the authors show that if the characteristic polynomial \(x^k-c_1 x^{k-1}- c_2x^{k-2}-\cdots- c_k\) has \(m\) distinct roots \(\alpha_1, \alpha_2,\dots, \alpha_m\) that repeat \(t_1, t_2,\dots, t_m\) times respectively, where \(t_1+t_2+\cdots+ t_m=k\), then the \(k\) sequences \[ \begin{multlined} \{\alpha_1^{n-1}\}, \{n\alpha_1^{n-1}\}, \dots, \{n^{t_1-1} \alpha_1^{n-1}\}, \{\alpha_2^{n-1}\}, \{n\alpha_2^{n-1}\},\dots,\\ \{n^{t_2-1} \alpha_2^{n-1}\}, \{\alpha_m^{n-1}\}, \{n\alpha_m^{n-1}\},\dots, \{n^{t_m-1} \alpha_m^{n-1}\} \end{multlined} \] form a basis for \(V\).