(1) ¡Olvidaste una! En el índice del libro de Gregory Lawler Introducción a los procesos estocásticos (2ª edición) encontramos
- distribución de equilibrio, véase distribución invariante
- distribución estacionaria, véase distribución invariante
- distribución en estado estacionario, véase distribución invariante
Toda esta terminología es para un concepto una distribución de probabilidad que satisface π=πPπ=πP . En otras palabras, si se elige el estado inicial de la cadena de Markov con la distribución ππ Entonces el proceso es estacionario. Es decir, si X0X0 es una distribución dada ππ entonces XnXn tiene distribución ππ para todos n≥0n≥0 . Tal ππ existe si y sólo si la cadena tiene un estado recurrente positivo. Una distribución invariante no tiene por qué ser única. Por ejemplo, si la cadena de Markov tiene n<∞n<∞ estados, la colección {π:π=πP }{π:π=πP } es un simplex no vacío en RnRn cuyos puntos extremos (esquinas) corresponden a clases recurrentes.
(2) El concepto de distribución límite está relacionado, pero no es exactamente lo mismo. Supongamos que πj:=limnPnijπj:=limnPnij existe y no depende de ii . Se denominan probabilidades límite y el vector π:=(π1,…,πn)π:=(π1,…,πn) satisfará π=πPπ=πP . Por tanto, una distribución límite (si existe) es siempre invariable. Las probabilidades límite existen cuando la cadena es irreducible, recurrente positiva y aperiódica.
Un caso típico en el que la distribución límite no existe es cuando la cadena es periódico . Por ejemplo, para la cadena de dos estados con matriz de transición P=(0110) la única distribución invariante es π=(1/2,1/2) pero Pnij alterna entre 0 y 1 por lo que no converge.
No estoy seguro de que todos los autores utilicen estos términos de la misma manera, así que hay que tener cuidado al leer otros libros.
0 votos
Hasta donde yo sé, una distribución estacionaria es invariante bajo la evolución de la cadena de Markov, es decir, ˉπ=Pˉπ¯π=P¯π pero no toda distribución estacionaria es necesariamente la distribución a la que converge la cadena en el límite (distribución limitante). Hay condiciones en las que ambas son iguales.
0 votos
@RandomGuy: ¡Gracias! (1) si ambos existen, ¿en qué condiciones serán los dos iguales, y en qué casos no? (2) ¿La existencia de uno implica la existencia del otro, o bajo qué condiciones esto será cierto?