25  Gamma Dağılımı ve Poisson Süreci

Üstel’in genellemesi, n. olaya kadar süre

NotBölüm bilgisi

25.1 Bu Derste Ne Var?

  1. Gamma fonksiyonu: \(\Gamma(n) = (n-1)!\), \(\Gamma(a+1) = a\Gamma(a)\), \(\Gamma(1/2) = \sqrt{\pi}\).
  2. Gamma(\(a, \lambda\)): Üstel’in genellemesi.
  3. Poisson süreci: iid Üstel toplamı = Gamma.
  4. Momentler: \(E = a/\lambda\), Var \(= a/\lambda^2\).

“continuous time analog of negative binomial.” — Blitzstein, 31:31

İpucuBuilder Notu — ML Köprüleri
  • iid Üstel toplamı = GammaErlang (kuyruk teorisi M/Er/1, n-aşamalı servis).
  • Gamma = conjugate prior Poisson \(\lambda\) ve Normal precision (1/σ²) için.
  • Poisson süreci → olay varışları, nokta süreçleri.
  • \(\chi^2\) = Gamma’nın özel hâli (Ders 30).
  • Stirling + log-Gamma → log-faktoriyel, softmax/Dirichlet sabitleri (lgamma).

25.2 Gamma Fonksiyonu

\[ \Gamma(a) = \int_0^\infty x^{a-1} e^{-x} dx, \quad a > 0 \]

Özellikler:

\[ \Gamma(n) = (n-1)!, \quad \Gamma(a+1) = a\Gamma(a), \quad \Gamma(1/2) = \sqrt{\pi} \]

Stirling formülü:

\[ n! \approx \sqrt{2\pi n}\left(\frac{n}{e}\right)^n \]

25.3 Gamma Dağılımı

\[ X \sim \text{Gamma}(a, \lambda): \quad f(x) = \frac{\lambda^a}{\Gamma(a)} x^{a-1} e^{-\lambda x}, \; x > 0 \]

Özel: Gamma(1, \(\lambda\)) = Üstel(\(\lambda\)).

25.4 Poisson Süreci → Gamma

\(N_t \sim\) Pois(\(\lambda t\)). Inter-arrival iid Üstel(\(\lambda\)). \(n\). olaya kadar süre:

\[ T_n = \sum_{j=1}^n X_j, \quad X_j \sim \text{Exp}(\lambda) \;\Rightarrow\; T_n \sim \text{Gamma}(n, \lambda) \]

MGF ispatı: \(M_{X_j}(t) = 1/(1-t)\)\(M_{T_n}(t) = (1-t)^{-n}\) = Gamma(\(n, 1\)) MGF.

import numpy as np
import matplotlib.pyplot as plt
from scipy.stats import gamma

x = np.linspace(0, 15, 400)

fig, ax = plt.subplots(figsize=(10, 5))
for a, c in [(1, '#A51C30'), (2, '#DD6B20'), (4, '#1f2937'), (8, '#2C5282'), (16, '#6B46C1')]:
    ax.plot(x, gamma.pdf(x, a, scale=1), linewidth=2.2, color=c,
            label=f'Gamma({a}, 1): E={a}, Var={a}')
ax.set_xlabel('x', fontsize=12)
ax.set_ylabel('f(x)', fontsize=12)
ax.set_title('Gamma(a, 1) — Üstel\'in genellemesi; a büyüdükçe Normal\'e yaklaşır',
             fontsize=12)
ax.legend(fontsize=10)
ax.grid(True, alpha=0.3)
plt.tight_layout()
plt.show()
Şekil 25.1
ÖnemliBuilder Notu — Erlang ve Kuyruk Teorisi

Erlang dağılımı (tam sayı \(a\) için Gamma): n-aşamalı servisin toplam süresi. M/Er/1 kuyrukları, telefon trafiği, güvenilirlik analizi. Aşamalara bölmek varyansı \(\frac{1}{n}\) kadar küçültür → daha öngörülebilir servis.

25.5 Momentler

\[ E(X^c) = \frac{\Gamma(a + c)}{\Gamma(a)} \]

\(c = 1\): \(E(X) = a\) (Gamma(a,1)). \(c = 2\): \(E(X^2) = a(a+1)\), Var \(= a\).

Genel Gamma(\(a, \lambda\)):

\[ E(X) = \frac{a}{\lambda}, \qquad \text{Var}(X) = \frac{a}{\lambda^2} \]

25.6 Bu Dersin Özeti

  1. \(\Gamma(a)\): \((n-1)!\), \(\Gamma(1/2) = \sqrt{\pi}\), Stirling.
  2. Gamma(\(a, \lambda\)): Üstel genelleme.
  3. Poisson süreci: \(T_n \sim\) Gamma(\(n, \lambda\)).
  4. MGF: \((1-t/\lambda)^{-a}\).
  5. Momentler: \(a/\lambda\), \(a/\lambda^2\).
ÖnemliTek bir cümle

Gamma(\(a, \lambda\)) Üstel’in genellemesi ve Poisson sürecinde n. olaya kadar süre. \(\Gamma(a)\) faktöriyeli reel sayılara taşır, momentleri kapalı form (\(\Gamma(a+c)/\Gamma(a)\)). Erlang, \(\chi^2\), Bayesçi conjugate prior’ların temeli.

25.7 Kontrol Soruları

Cevap: \(4! = 24\); \(\Gamma(7/2) = (5/2)(3/2)(1/2)\sqrt{\pi} = (15/8)\sqrt{\pi} \approx 3{,}32\).

Cevap: Gamma(3, 2). \(E = 1{,}5\) saat, Var \(= 0{,}75\).

Cevap: \(\Gamma(a-1)/\Gamma(a) = 1/(a-1)\). \(a > 1\) gerekli.

Cevap: Gamma(3, 1) = Erlang(3). \(E = 3\) sn, Var \(= 3\). Variance/mean² = \(1/3\) < 1 (Üstel). Aşamalara bölmek daha öngörülebilir servis.

25.8 Egzersizler

Egzersiz 1. \(\Gamma(6), \Gamma(9/2)\). \(\Gamma(a+1) = a\Gamma(a)\) parçalı integrasyonla.

Egzersiz 2. Web \(\lambda = 10/\)dk. (a) 5. isteğe süre. (b) İlk 2 dakikadaki sayı. (c) Inter-arrival.

Egzersiz 3. \(E(X^c)\) genel Gamma(\(a, \lambda\)).

Egzersiz 4. (Python — Gamma)

import numpy as np
rng = np.random.default_rng(0)
N = 500_000

# 4 bağımsız Exp(2) toplamı ~ Gamma(4, 2)?
lam, n = 2.0, 4
T = rng.exponential(scale=1/lam, size=(n, N)).sum(axis=0)
print(f"T mean ≈ {T.mean():.3f}  teorik n/λ = {n/lam}")
print(f"T var ≈ {T.var():.3f}   teorik n/λ² = {n/lam**2}")

# Gamma(a, 1) ortalama=a, varyans=a
a = 3.5
G = rng.gamma(a, 1.0, N)
print(f"Gamma({a},1): mean={G.mean():.3f}, var={G.var():.3f} (teori {a})")

Egzersiz 5. (Sonraki ders) \(\max(U_1, \ldots, U_n)\) CDF = \(x^n\), PDF \(= nx^{n-1}\) → Beta(\(n, 1\)). \(\min \sim\) Beta(\(1, n\)).

25.9 Sonraki Ders İçin Hazırlık

Ders 25: Sıra İstatistikleri ve Koşullu Beklenti — min, max, medyan; Beta bağlantısı.

UyarıDers 25 öncesi yapılacak
  • Egzersiz 5 (min/max Beta) çöz.
  • Beta’yı + CDF→PDF hatırla.

25.10 Anahtar Kavramlar (Cheat Sheet)

Kavram Tanım Blitzstein’de
Γ(a) \(\int x^{a-1} e^{-x} dx\); \(\Gamma(n) = (n-1)!\) 8m44
Γ(1/2) \(\sqrt{\pi}\) 14m41
Stirling \(n! \approx \sqrt{2\pi n}(n/e)^n\) 5m27
Gamma(\(a, \lambda\)) Üstel genelleme 20m08
Poisson süreci \(T_n \sim\) Gamma(\(n, \lambda\)) 30m50
Gamma MGF \((1-t/\lambda)^{-a}\) 35m35
Momentler \(\Gamma(a+c)/\Gamma(a)\); \(E = a/\lambda\), Var \(= a/\lambda^2\) 45m32

25.11 ML Bağlantıları Özeti

İpucu7 köprü
  1. Üstel toplamı = GammaErlang, kuyruk teorisi.
  2. Gamma conjugate prior → Poisson \(\lambda\), Normal precision.
  3. Poisson süreci → olay varışları.
  4. Stirling / lgamma → softmax/Dirichlet, entropi.
  5. Gamma toplanabilirliği → pseudocount toplama.
  6. \(\chi^2\) = yarım-tam parametre Gamma (Ders 30).
  7. 2-parametre esnekliği → overdispersion modelleme.
ÖnemliTek bir şey alıp gideceksen

Gamma = Üstel genellemesi = Poisson sürecinde n. olaya süre. Erlang, \(\chi^2\), Bayesçi conjugate prior’ların temeli.