In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the transfer operator encodes information about an
iterated map and is frequently used to study the behavior of
dynamical systems
In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space, such as in a parametric curve. Examples include the mathematical models ...
,
statistical mechanics
In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. Sometimes called statistical physics or statistical thermodynamics, its applicati ...
,
quantum chaos and
fractals
In mathematics, a fractal is a Shape, geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scale ...
. 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
David Pierre Ruelle (; born 20 August 1935) is a Belgian and naturalized French mathematical physicist. He has worked on statistical physics and dynamical systems. With Floris Takens, Ruelle coined the term ''strange attractor'', and devel ...
, 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
eigenvalue
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s of the operator.
Definition
The iterated function to be studied is a map
for an arbitrary set
.
The transfer operator is defined as an operator
acting on the space of functions
as
:
where
is an auxiliary valuation function. When
has a
Jacobian determinant
, then
is usually taken to be
.
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
In mathematics, an orthogonal polynomial sequence is a family of polynomials such that any two different polynomials in the sequence are orthogonal
In mathematics, orthogonality (mathematics), orthogonality is the generalization of the geom ...
via a right-shift.
Applications
Whereas the iteration of a function
naturally leads to a study of the orbits of points of X under iteration (the study of
point dynamics), the transfer operator defines how (smooth) maps evolve under iteration. Thus, transfer operators typically appear in
physics
Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
problems, such as
quantum chaos and
statistical mechanics
In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. Sometimes called statistical physics or statistical thermodynamics, its applicati ...
, where attention is focused on the time evolution of smooth functions. In turn, this has medical applications to
rational drug design
Drug design, often referred to as rational drug design or simply rational design, is the invention, inventive process of finding new medications based on the knowledge of a biological target. The drug is most commonly an organic compound, organi ...
, through the field of
molecular dynamics
Molecular dynamics (MD) is a computer simulation method for analyzing the Motion (physics), physical movements of atoms and molecules. The atoms and molecules are allowed to interact for a fixed period of time, giving a view of the dynamics ( ...
.
It is often the case that the transfer operator is positive, has discrete positive real-valued
eigenvalue
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s, 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
Hamiltonian may refer to:
* Hamiltonian mechanics, a function that represents the total energy of a system
* Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system
** Dyall Hamiltonian, a modified 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
Entropy is a scientific concept, most commonly associated with states of disorder, randomness, or uncertainty. The term and the concept are used in diverse fields, from classical thermodynamics, where it was first recognized, to the micros ...
.
The transfer operator of the
Bernoulli map is exactly solvable and is a classic example of
deterministic chaos; the discrete eigenvalues correspond to the
Bernoulli polynomials. This operator also has a continuous spectrum consisting of the
Hurwitz zeta function.
The transfer operator of the Gauss map
is called the
Gauss–Kuzmin–Wirsing (GKW) operator. The theory of the GKW dates back to a hypothesis by Gauss on
continued fractions and is closely related to the
Riemann zeta function.
See also
*
Bernoulli scheme
*
Shift of finite type
*
Krein–Rutman theorem
*
Transfer-matrix method
References
*
*
*
*
*
* ''(Provides an introductory survey).''
{{Functional analysis
Chaos theory
Dynamical systems
Operator theory
Spectral theory