Markov Operator

In probability theory and ergodic theory, a Markov operator is an operator on a certain function space that conserves the mass (the so-called Markov property). If the underlying measurable space is topologically sufficiently rich enough, then the Markov operator admits a kernel representation. Markov operators can be linear or non-linear. Closely related to Markov operators is the Markov semigroup.

The definition of Markov operators is not entirely consistent in the literature. Markov operators are named after the Russian mathematician Andrey Markov.

Definitions

Markov operator

Let $(E,\mathcal)$ be a measurable space and $V$ a set of real, measurable functions $f:(E,\mathcal)\to (\mathbb,\mathcal(\mathbb))$.

A linear operator $P$ on $V$ is a Markov operator if the following is true
# $P$ maps bounded, measurable function on bounded, measurable functions.
# Let $\mathbf$ be the constant function $x\mapsto 1$, then $P(\mathbf)=\mathbf$ holds. (''conservation of mass'' / ''Markov property'')
# If $f\geq 0$ then $Pf\geq 0$. (''conservation of positivity'')

Alternative definitions

Some authors define the operators on the L^p spaces as $P:L^p(X)\to L^p(Y)$ and replace the first condition (bounded, measurable functions on such) with the property
:$\, Pf\, _Y = \, f\, _X,\quad \forall f\in L^p(X)$

Markov semigroup

Let $\mathcal=\_$ be a family of Markov operators defined on the set of bounded, measurables function on $(E,\mathcal)$. Then $\mathcal$ is a Markov semigroup when the following is true
# $P_0=\operatorname$.
# $P_=P_t\circ P_s$ for all $t,s\geq 0$.
# There exist a σ-finite measure $\mu$ on $(E,\mathcal)$ that is invariant under $\mathcal$, that means for all bounded, positive and measurable functions $f:E\to \mathbb$ and every $t\geq 0$ the following holds
:::$\int_E P_tf\mathrm\mu =\int_E f\mathrm\mu$.

Dual semigroup

Each Markov semigroup $\mathcal=\_$ induces a ''dual semigroup'' $(P^*_t)_$ through
:$\int_EP_tf\mathrm =\int_E f\mathrm\left(P^*_t\mu\right).$
If $\mu$ is invariant under $\mathcal$ then $P^*_t\mu=\mu$.

Infinitesimal generator of the semigroup

Let $\_$ be a family of bounded, linear Markov operators on the Hilbert space $L^2(\mu)$, where $\mu$ is an invariant measure. The infinitesimal generator $L$ of the Markov semigroup $\mathcal=\_$ is defined as
:$Lf=\lim\limits_\frac,$
and the domain $D(L)$ is the $L^2(\mu)$-space of all such functions where this limit exists and is in $L^2(\mu)$ again.
:$D(L)=\left\.$

The carré du champ operator $\Gamma$ measures how far $L$ is from being a derivation.

Kernel representation of a Markov operator

A Markov operator $P_t$ has a kernel representation
:$(P_tf)(x)=\int_E f(y)p_t(x,\mathrmy),\quad x\in E,$
with respect to some probability kernel $p_t(x,A)$, if the underlying measurable space $(E,\mathcal)$ has the following sufficient topological properties:
# Each probability measure \mu:\mathcal\times \mathcal\to ,1/math> can be decomposed as $\mu(\mathrmx,\mathrmy)=k(x,\mathrmy)\mu_1(\mathrmx)$, where $\mu_1$ is the projection onto the first component and $k(x,\mathrmy)$ is a probability kernel.
# There exist a countable family that generates the σ-algebra $\mathcal$.
If one defines now a σ-finite measure on $(E,\mathcal)$ then it is possible to prove that ever Markov operator $P$ admits such a kernel representation with respect to $k(x,\mathrmy)$.

Literature

*
*
*{{cite book, first=Fengyu, last=Wang, title=Functional Inequalities Markov Semigroups and Spectral Theory, place=Ukraine, publisher=Elsevier Science, date=2006

References

Probability theory
Ergodic theory
Linear operators