Projective convergence of columns for inhomogeneous products of matrices with nonnegative entries
Let Pn be the n-step right product A1⋯An, where A1,A2,… is a given infinite sequence of d×d matrices with nonnegative entries. In a wide range of situations, the normalized matrix product Pn/∥Pn∥ does not converge and we shall be rather interested in the asymptotic behavior of the normalized columns PnUi/∥PnUi∥, where U1,…,Ud are the canonical d×1 vectors. Our main result in Theorem~A gives a sufficient condition (C) over the sequence A1,A2,… ensuring the existence of {\it dominant columns} of Pn, having the same projective limit V: more precisely, for any rank n, there exists a partition of {1,…,d} made of two subsets Jn=∅ and Jnc such that each one of the sequences of normalized columns, say PnUjn/∥PnUjn∥ with jn∈Jn tends to V as n tends to +∞ and are {\it dominant} in the sense that the ratio ∥PnUjn′/∥PnUjn∥ tends to 0, as soon as jn′∈Jnc. The existence of sequences of such {\it dominant columns} implies that for any probability vector X with positive entries, the probability vector PnX/∥PnX∥, converges as n tends to +∞. Our main application of Theorem~A (and our initial motivation) is related to an {\it Erd\H os problem} concerned with a family of probability measures μβ (for 1<β<2 a real parameter) fully supported by a subinterval of the real line, known as {\it Bernoulli convolutions}.