Frobenius theorem
The transfer operator is sometimes called the Ruelle operator, after David Ruelle, or the Ruelle–Perron–Frobenius operator, in reference to the applicability of the Perron–Frobenius theorem to the determination of the eigenvalues of the operator.