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 , F ) {\displaystyle (E,{\mathcal {F}})} be a measurable space and V {\displaystyle V} a set of real, measurable functions f : ( E , F ) → ( R , B ( R ) ) {\displaystyle f:(E,{\mathcal {F}})\to (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))} . A linear operator P {\displaystyle P} on V {\displaystyle V} is a Markov operator if the following is true
P {\displaystyle P} maps bounded, measurable function on bounded, measurable functions. Let 1 {\displaystyle \mathbf {1} } be the constant function x ↦ 1 {\displaystyle x\mapsto 1} , then P ( 1 ) = 1 {\displaystyle P(\mathbf {1} )=\mathbf {1} } holds. (conservation of mass / Markov property) If f ≥ 0 {\displaystyle f\geq 0} then P f ≥ 0 {\displaystyle Pf\geq 0} . (conservation of positivity)
Alternative definitions Some authors define the operators on the Lp spaces as P : L p ( X ) → L p ( Y ) {\displaystyle P:L^{p}(X)\to L^{p}(Y)} and replace the first condition (bounded, measurable functions on such) with the property
‖ P f ‖ Y = ‖ f ‖ X , ∀ f ∈ L p ( X ) {\displaystyle \|Pf\|_{Y}=\|f\|_{X},\quad \forall f\in L^{p}(X)}
Markov semigroup Let P = { P t } t ≥ 0 {\displaystyle {\mathcal {P}}=\{P_{t}\}_{t\geq 0}} be a family of Markov operators defined on the set of bounded, measurables function on ( E , F ) {\displaystyle (E,{\mathcal {F}})} . Then P {\displaystyle {\mathcal {P}}} is a Markov semigroup when the following is true
P 0 = Id {\displaystyle P_{0}=\operatorname {Id} } .
P t + s = P t ∘ P s {\displaystyle P_{t+s}=P_{t}\circ P_{s}} for all t , s ≥ 0 {\displaystyle t,s\geq 0} . There exist a σ-finite measure μ {\displaystyle \mu } on ( E , F ) {\displaystyle (E,{\mathcal {F}})} that is invariant under P {\displaystyle {\mathcal {P}}} , that means for all bounded, positive and measurable functions f : E → R {\displaystyle f:E\to \mathbb {R} } and every t ≥ 0 {\displaystyle t\geq 0} the following holds
∫ E P t f d μ = ∫ E f d μ {\displaystyle \int _{E}P_{t}f\mathrm {d} \mu =\int _{E}f\mathrm {d} \mu } .
Dual semigroup Each Markov semigroup P = { P t } t ≥ 0 {\displaystyle {\mathcal {P}}=\{P_{t}\}_{t\geq 0}} induces a dual semigroup ( P t ∗ ) t ≥ 0 {\displaystyle (P_{t}^{*})_{t\geq 0}} through
… excerpt ends here. Continue reading the full article.
