On the law of multiplication of unitary random matrices

Normalized eigenvalue counting measure of the product of two unitary matrices rotated independently with respect to each other by the random unitary (or orthogonal) Haar distributed matrix is studied in the limit of infinite matrix order. Convergence with probability 1 to a limiting nonrandom measure is established. The functional equation for the Herglotz transform of the limiting measure is obtained.