En la teoría de colas , una disciplina dentro de la teoría matemática de la probabilidad , el teorema de Burke (a veces el teorema de salida de Burke [1] ) es un teorema (enunciado y demostrado por Paul J. Burke mientras trabajaba en Bell Telephone Laboratories ) que afirma que, para la cola M/M/1 , la cola M/M/c o la cola M/M/∞ en estado estable con llegadas es un proceso de Poisson con parámetro de velocidad λ:
Burke publicó por primera vez este teorema junto con una prueba en 1956. [2] El teorema fue anticipado pero no demostrado por O'Brien (1954) y Morse (1955). [3] [4] [5] Una segunda prueba del teorema se desprende de un resultado más general publicado por Reich. [6] La prueba ofrecida por Burke muestra que los intervalos de tiempo entre salidas sucesivas se distribuyen de forma independiente y exponencial con un parámetro igual al parámetro de tasa de llegada, del que se desprende el resultado.
Una prueba alternativa es posible considerando el proceso inverso y notando que la cola M/M/1 es un proceso estocástico reversible. [7] Considere la figura. Por el criterio de Kolmogorov para reversibilidad, cualquier proceso de nacimiento-muerte es una cadena de Markov reversible . Nótese que los instantes de llegada en la cadena de Markov hacia adelante son los instantes de salida de la cadena de Markov hacia atrás. Por lo tanto, el proceso de salida es un proceso de Poisson de tasa λ. Además, en el proceso hacia adelante, la llegada en el tiempo t es independiente del número de clientes después de t. Por lo tanto, en el proceso inverso, el número de clientes en la cola es independiente del proceso de salida antes del tiempo t .
Esta prueba podría ser contra-intuitiva, en el sentido de que el proceso de salida de un proceso de nacimiento-muerte es independiente del servicio ofrecido.
El teorema se puede generalizar para "sólo unos pocos casos", pero sigue siendo válido para colas M/M/c y colas Geom/Geom/1. [7]
Se cree que el teorema de Burke no se extiende a las colas alimentadas por un proceso de llegada markoviano (MAP) y se conjetura que el proceso de salida de una cola MAP/M/1 es un MAP solo si la cola es una cola M/M/1. [8]
J. Michael Harrison demostró un teorema análogo para la cola browniana . [3] [9]