Extrait d' une introduction à la modélisation stochastique de Pinsky et Karlin (2011):
Une distribution limite, lorsqu'elle existe, est toujours une distribution stationnaire, mais l'inverse n'est pas vrai. Il peut exister une distribution stationnaire mais pas de distribution limitative. Par exemple, il n'y a pas de distribution limite pour la chaîne de Markov périodique dont la matrice de probabilité de transition est
mais est une distribution stationnaire, car
(p. 205).
P=∥∥∥0110∥∥∥
(1π=(12,12)(12,12)∥∥∥0110∥∥∥=(12,12)
Dans une section précédente, ils avaient déjà défini une " distribution de probabilité limite " enπ
limn → ∞P( n )je j= πj Fo r j=0,1,…,N
et de manière équivalente
limn → ∞Pr{ Xn= j | X0= i } = πj> 0 f o r j=0,1,…,N
(p. 165).
L'exemple ci-dessus oscille de façon déterministe et ne parvient donc pas à avoir une limite de la même manière que la séquence ne parvient pas à avoir une limite.{ 1 , 0 , 1 , 0 , 1 , … }
Ils déclarent qu'une chaîne de Markov régulière (dans laquelle toutes les probabilités de transition en n étapes sont positives) a toujours une distribution limite, et prouvent qu'elle doit être la solution non négative unique pour
πj= ∑k = 0NπkPk j, j = 0 , 1 , … , N ,∑k = 0Nπk= 1
(p. 168 )
Puis sur la même page que l'exemple, ils écrivent
Tout ensemble satisfaisant (4.27) est appelé une distribution de probabilité stationnaire de la chaîne de Markov. Le terme "stationnaire" dérive de la propriété qu'une chaîne de Markov a démarré selon une distribution stationnaire suivra cette distribution à tout moment. Formellement, si , alors pour tous les . Pr { X 0 = i } = π i Pr { X n = i } = π i n = 1 , 2 , …( πje)∞i = 0Pr{ X0= i } = πjePr{ Xn= i } = πjen = 1 , 2 , …
où (4.27) est l'ensemble des équations
πje≥ 0 , ∑i = 0∞πje= 1 , a n d π j= ∑i = 0∞πjePje j.
qui est précisément la même condition de stationnarité que ci-dessus, sauf maintenant avec un nombre infini d'états.
Avec cette définition de la stationnarité, l'énoncé de la page 168 peut être retraité rétroactivement comme suit:
- La distribution limitative d'une chaîne régulière de Markov est une distribution stationnaire.
- Si la distribution limite d'une chaîne de Markov est une distribution stationnaire, alors la distribution stationnaire est unique.