Littles lag

Littles lag, Littles sats, eller Littles formel är en formel inom köteorin som beskriver sambandet mellan det genomsnittliga antalet kunder i ett kösystem ($N$), det genomsnittliga antalet icke blockerade ankomster till systemet per tidsenhet ($\lambda _{eff}$), samt den genomsnittliga tiden en kund tillbringar i systemet ($T$).

$N=\lambda _{eff}\cdot T$

Littles lag har många tillämpningar inom till exempel telekommunikation och datorteknik. Den till synes triviala formeln bevisades för första gången så sent som 1961^{[källa behövs]} av John Little, som också givit formeln dess namn, men sedan dess har ett par enklare bevis presenterats. Ett enkelt bevis som publicerades av EILON 1970, redogörs för nedan.

Bevis

Kunder anländer inom tidsintervallet $[0,t]$ där

$\alpha (t)$ - antal kunder som kommit till systemet (och ej avvisats) i intervallet $[0,t]$.

$\delta (t)$ - antalet kunder som lämnat systemet och blivit färdigbetjänade i $[0,t]$

$N(t)=\alpha (t)-\delta (t)$ antalet kunder i systemet vid tidpunkten t.

$\gamma (t)=$ total tid som alla kunder tillsammans tillbringat i systemet under intervallet $[0,t]$

Eftersom $\alpha (t)$ är definierad som antal ankomster till systemet i intervallet $[0,t]$ kan vi skriva medelantal ankomster per tidsenhet under intervallet som

$\lambda _{t}=\alpha (t)/t$

Medeltid i systemet per kund i intervallet $[0,t]$ ges av

$T_{t}=\gamma (t)/\alpha (t)$

eller uttryckt i ord

$T_{t}=$ Summan av alla tider kunder har tillbringat i systemet under tidsintervallet $[0,t]$, genom antalet ankomster till systemet under $[0,t]$

Låt nu ${\bar {N_{t}}}$ vara medelantal kunder i systemet i intervallet $[0,t]$. Vi inser att ${\bar {N_{t}}}=\gamma (t)/t$, genom att förlänga med ${\alpha (t) \over \alpha (t)}$ (= 1), kan skrivas

${\bar {N_{t}}}={\gamma (t) \over \alpha (t)}\cdot {\alpha (t) \over t}={\bar {T_{t}}}\cdot \lambda _{t}$

Låter vi nu $t$ gå mot oändligheten och förutsätter att gränsvärdena existerar

$\lim _{t\to \infty }{\bar {N_{t}}}=\lim _{t\to \infty }{\bar {T_{t}}}\cdot \lim _{t\to \infty }\lambda _{t}$

Antag enligt ovan att

$\lim _{t\to \infty }\lambda _{t}=\lambda _{eff}<\infty$

$\lim _{t\to \infty }T_{t}=T<\infty$

och inför beteckningen

${\bar {N}}=\lim _{t\to \infty }{\bar {N_{t}}}$

Vi kan då skriva:

${\bar {N}}=\lambda _{eff}\cdot T$

vilket är Little's sats.