Stationary measures for multitype branching processes

The multitype Galton-Watson process is considered both with and without immigration. Proofs are given for the existence of invariant measures and their uniqueness is examined by functional equation methods. Theorem 2.1 proves the uniqueness, under certain conditions, of solutions of a multidimensional Schröder equation. Regular variation is shown to play a role in the multitype theory.