Boundedness and asymptotics of a matrix iteration (Q1316325)

In `The Theodorus spiral' (unpublished manuscript), \textit{Philip J. Davis} studied a sequence of points \(z_ i \in \mathbb{C}\) defined by \(z_{n+1}=z_ n+iz_ n/ | z_ n |\) with \(z_ 0=1\). These points form a spiral, called the Spiral of Theodorus. Davis then suggested the generalization \(z_{n+1}=\alpha \cdot z_ n+\beta \cdot z_ n/ | z_ n |\) for complex \(\alpha,\beta\), and \(z_ 0\). This iteration, called the Complex Generalized Theodorus Iteration, displays a number of strange attractors and has been studied by Davis [loc. cit.] and the author [`The generalized Theodorus iteration' Ph. D. thesis, Brown Univ. (1990)]. Davis then proposed the further generalization \(V_{n+1} =A*V_ n+B* V_ n/ \| V_ n \|\) where \(A\) and \(B\) are real \(m \times m\) matrices, \(V_ 0\) is a given nonzero \(m\)-vector, and \(\| \cdot \|\) is the Euclidean vector norm. This iteration, called the Generalized Theodorus Iteration (GTI), displays a great variety of strange attractors for appropriate choices of \(A\) and \(B\) and has been studied by \textit{Ph. J. Davis} [`Spirals: From Theodorus of Cyrene to meta-chaos' Hedrick Lect. Notes (1990)] and the author [loc. cit. and Appl. Math. Lett. 4, No. 4, 49-52 (1991; Zbl 0725.58023)]. We wish to present some further results on the iteration in this paper. We will make the assumption that \(V_ 0\) is such that \(V_ n\) is nonzero for all \(n \geq 0\), so that the corresponding infinite sequence \(\{V_ n\}^ \infty_{n=0}\) will always be well-defined. The case where \(V_ n=0\) for some \(n\) is not of interest here, as we are concerned primarily with questions of boundedness and asymptotics.