Nella teoria della probabilità e nella teoria ergodica, un operatore di Markov è un operatore in uno specifico spazio delle funzioni che conserva la massa (la cosiddetta proprietà di Markov).
Definizioni
Operatore di Markov
Sia uno spazio di misura. Ogni operatore lineare che soddisfa
- , per , ,
- , per
è detto operatore di Markov.
In particolare dal secondo punto si deduce subito che l'operatore di Markov è una contrazione.
Semigruppo di Markov
Una famiglia di operatori di Markov che soddisfa le condizioni
- ,
- per ,
- è continua
è detta semigruppo di Markov.
Generatore infinitesimale del semigruppo
Sia una famiglia di operatori di Markov lineari limitati sullo spazio di Hilbert , dove è una misura invariante. Il generatore infinitesimale del semigruppo di Markov è definito come
ed il dominio è lo spazio di tutte le funzioni ove esiste tale limite, coincidente esso stesso con .
Bibliografia
- Bakry, Dominique; Gentil, Ivan; Ledoux, Michel. Analysis and Geometry of Markov Diffusion Operators. Springer Cham. doi:10.1007/978-3-319-00227-9.
- Eisner, Tanja; Farkas, Bálint; Haase, Markus; Nagel, Rainer (2015). "Markov Operators". Operator Theoretic Aspects of Ergodic Theory. Graduate Texts in Mathematics. Vol. 2727. Cham: Springer. doi:10.1007/978-3-319-16898-2.
- Wang, Fengyu (2006). Functional Inequalities Markov Semigroups and Spectral Theory. Ukraine: Elsevier Science.
- Lasota, Andrzej; Mackey M.C. Chaos, fractals, and noise: stochastic aspects of dynamics. Springer, second edition, 1994.
Voci correlate