Opérateur de Markov
# Opérateur de Markov

En mathématiques, et plus précisément en théorie des probabilités et théorie ergodique, un opérateur de Markov est un opérateur sur un espace fonctionnel approprié qui projette des fonctions bornées et mesurables sur de telles fonctions tout en conservant la masse.

Les opérateurs de Markov sont définis comme linéaires mais la définition peut être généralisée aux opérateurs non linéaires. Les opérateurs de Markov portent le nom d'Andrei Markov.

## Opérateur de Markov

Soit $(E,{\mathcal {F}})$ un espace mesurable et $V$ un ensemble de fonctions réelles et mesurables $f:(E,{\mathcal {F}})\to (\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$.

Un opérateur linéaire $P$ sur $V$ est un opérateur de Markov s'il vérifie :

* l'image par $P$ d'une fonction mesurable bornée est une fonction mesurable bornée ;
* Soit $\mathbf {1}$ la fonction constante $x\mapsto 1$ alors $P(\mathbf {1} )=\mathbf {1}$. (conservation la masse / propriété de Markov)
* Si $f\geq 0$ alors $Pf\geq 0$. (positivité)

### Semi-groupe de Markov

Soit ${\mathcal {P}}=\{P_{t}\}_{t\geq 0}$ une famille d'opérateurs de Markov définis sur l'ensemble des fonctions bornées et mesurables sur $(E,{\mathcal {F}})$. Alors ${\mathcal {P}}$ est appelé un semi-groupe de Markov, si :

* $P_{0}=\operatorname {Id}$.
* $P_{t+s}=P_{t}\circ P_{s}$ pour tous $t,s\geq 0$.
* il existe une mesure sigma-finie $\mu$ sur $(E,{\mathcal {F}})$, qui est invariant sous ${\mathcal {P}}$.

### Représentation noyau d'un opérateur de Markov

Pour que l'opérateur de Markov ait une forme intégrale :

    $(P_{t}f)(x)=\int _{E}f(y)p_{t}(x,\mathrm {d} y),\quad x\in E,$

l'espace mesurable sous-jacent $(E,{\mathcal {F}})$ doit remplir les propriétés suivantes :

* chaque mesure de probabilité $\mu :{\mathcal {F}}\times {\mathcal {F}}\to [0,1]$ peut être décomposée en $\mu (\mathrm {d} x,\mathrm {d} y)=k(x,\mathrm {d} y)\mu _{1}(\mathrm {d} x)$, où $\mu _{1}$ est la projection sur la première composante et $k(x,\mathrm {d} y)$ est une densité de probabilité.
* il existe une famille dénombrable qui génère la tribu ${\mathcal {F}}$.

Si l'on définit maintenant une mesure sigma-finie sur $(E,{\mathcal {F}})$, on peut montrer que tout opérateur de Markov $P$ a une forme intégrale par rapport à $k(x,\mathrm {d} y)$.

