Transfer operator should not be confused with transfer homomorphism.
In mathematics, the transfer operator encodes information about an iterated map and is frequently used to study the behavior of dynamical systems, statistical mechanics, quantum chaos and fractals. In all usual cases, the largest eigenvalue is 1, and the corresponding eigenvector is the invariant measure of the system.
The transfer operator is sometimes called the Ruelle operator, after David Ruelle, or the Perron–Frobenius operator or Ruelle - Perron - Frobenius operator, in reference to the applicability of the Perron–Frobenius theorem to the determination of the eigenvalues of the operator.
The iterated function to be studied is a map
f\colonX → X
X
The transfer operator is defined as an operator
l{L}
\{\Phi\colonX → C\}
(l{L}\Phi)(x)=
\sum | |
y\inf-1(x) |
g(y)\Phi(y)
where
g\colonX → C
f
|J|
g
g=1/|J|
The above definition of the transfer operator can be shown to be the point-set limit of the measure-theoretic pushforward of g: in essence, the transfer operator is the direct image functor in the category of measurable spaces. The left-adjoint of the Perron - Frobenius operator is the Koopman operator or composition operator. The general setting is provided by the Borel functional calculus.
As a general rule, the transfer operator can usually be interpreted as a (left-)shift operator acting on a shift space. The most commonly studied shifts are the subshifts of finite type. The adjoint to the transfer operator can likewise usually be interpreted as a right-shift. Particularly well studied right-shifts include the Jacobi operator and the Hessenberg matrix, both of which generate systems of orthogonal polynomials via a right-shift.
Whereas the iteration of a function
f
It is often the case that the transfer operator is positive, has discrete positive real-valued eigenvalues, with the largest eigenvalue being equal to one. For this reason, the transfer operator is sometimes called the Frobenius - Perron operator.
The eigenfunctions of the transfer operator are usually fractals. When the logarithm of the transfer operator corresponds to a quantum Hamiltonian, the eigenvalues will typically be very closely spaced, and thus even a very narrow and carefully selected ensemble of quantum states will encompass a large number of very different fractal eigenstates with non-zero support over the entire volume. This can be used to explain many results from classical statistical mechanics, including the irreversibility of time and the increase of entropy.
b(x)=2x-\lfloor2x\rfloor
The transfer operator of the Gauss map
h(x)=1/x-\lfloor1/x\rfloor