Soru

Zorluk: ZorStokastik Süreçlerin Temel Kavramları

Bir {X(t),tT}\{X(t), t \in T\} stokastik süreci; Ω\Omega örnek uzayındaki sonuçları (ω\omega) zamanın bir fonksiyonu olarak modelleyen rastgele değişkenler ailesidir. Sürecin yapısı, zaman parametresi kümesi (TT) ve alabileceği değerleri gösteren durum uzayının (SS) özelliklerine göre sınıflandırılmaktadır.

Buna göre, stokastik süreçlerin temel kavramları ve özellikleri ile ilgili aşağıdaki ifadelerden hangisi doğrudur?

  1. Stokastik süreçlerde zaman parametresi kümesi (TT) ve durum uzayı (SS) birbirinden bağımsız olarak kesikli veya sürekli olarak sınıflandırılabilir; örneğin sürekli zamanlı-kesikli durumlu veya kesikli zamanlı-sürekli durumlu modeller tanımlanabilir. Ayrıca, belirli bir ωΩ\omega \in \Omega için sürecin zaman içinde çizdiği X(t,ω)X(t, \omega) fonksiyonuna sürecin 'örneklem yolu' (sample path) veya 'örneklem fonksiyonu' adı verilir.Cevap
  2. B
    Sürecin 'bağımsız artışlı' (independent increments) bir yapıya sahip olabilmesi için, kesişmeyen zaman aralıklarındaki durum değişimlerinin (örneğin X(t2)X(t1)X(t_2) - X(t_1) ve X(t4)X(t3)X(t_4) - X(t_3)) olasılık uzayında zorunlu olarak ayrık (kesişimi boş küme olan) olaylar tanımlaması şarttır.
  3. C
    Standart bir Wiener süreci (Brownian hareket) incelendiğinde, kesişmeyen zaman aralıklarındaki X(t)X(s)X(t) - X(s) artışları birbirine tam bağımlı olup, bu artışların varyansı geçen süreden (tst-s) bağımsız olarak her durumda sabit ve 11'e eşittir.
  4. D
    Süreç bir Poisson süreci olarak modellendiğinde, belirli bir zaman dilimine kadar gerçekleşen toplam olay sayısı Poisson dağılımı gösterirken; ardışık iki olay arasında geçen bekleme süresi (interarrival time) de aynı parametreye sahip kesikli bir Poisson dağılımına uymak zorundadır.
  5. E
    Sürecin bir 'Martingale' dizisi özelliği taşıyabilmesi için, geçmiş tüm durumlar bilindiğinde sürecin gelecekteki bir anı için hesaplanan koşullu beklenen değerinin daima mutlak sıfıra eşit olması, yani E[X(tn+1)X(t1),,X(tn)]=0E[X(t_{n+1}) \mid X(t_1), \dots, X(t_n)] = 0 eşitliğinin sağlanması gerekir.

Cevap

Zaman parametresi kümesi (TT) ile durum uzayının (SS) birbirinden bağımsız olarak sınıflandırılabileceğini (örneğin sürekli zamanlı-kesikli durumlu modeller) ve belirli bir ω\omega sonucu için tanımlanan zaman fonksiyonuna 'örneklem yolu' veya 'örneklem fonksiyonu' dendiğini belirten ifade doğrudur.
Verilen doğru ifade, stokastik bir sürecin temel mimarisini eksiksiz özetler. Zaman parametresi (TT) sürecin ilerlediği endeksi, durum uzayı (SS) ise alabileceği değerleri gösterir ve bu ikisi rastgele kombinasyonlarla modellenebilir (Örn: Sürekli zamanlı kesikli durumlu modeller mümkündür). Ayrıca X(t,ω)X(t, \omega) ifadesinde ω\omega sabitlenirse, zamanın deterministik bir fonksiyonu elde edilir ve buna stokastik teoride 'örneklem yolu' (sample path) veya 'örneklem fonksiyonu' adı verilir.

Adım Adım Çözüm

1
Stokastik süreçlerin temel bileşenleri olan zaman parametresi kümesi (T) ve durum uzayı (S) kavramlarının yapılarını inceleyin.
T ve S kümelerinin sürekli veya kesikli olma durumları birbirinden bağımsızdır. Sürekli zamanlı-kesikli durumlu (Poisson süreci) veya kesikli zamanlı-sürekli durumlu (Rassal yürüyüşün bazı türevleri) kombinasyonlar mevcuttur.
Sürecin sınıflandırılması doğrudan T ve S kümelerinin topolojik doğasına dayanır.
2
Örneklem fonksiyonu ve bağımsız artış kavramlarının tanımlarını değerlendirin.
Örneklem fonksiyonu, rastgele bir deneyin sonucu (ω\omega) sabit tutulduğunda sürecin zaman içindeki deterministik yoludur. Bağımsız artışlar ise aralıkların ayrık (mutually exclusive) olmasını değil, olasılıksal olarak bağımsız olmasını ifade eder.
Teorik çerçevede olayların bağımsızlığı ile kümelerin ayrıklığı sıkça karıştırılan tamamen farklı iki olasılık aksiyomudur.
3
Özel stokastik süreç türlerinin (Wiener, Poisson, Martingale) varsayımlarını test edin.
Wiener sürecinde artışlar bağımsızdır ve varyans tst-s'ye eşittir. Poisson sürecinde gelişler arası bekleme süresi Üstel dağılır. Martingale sürecinde beklenen değer X(tn)X(t_n)'dir.
Seçeneklerdeki özel süreçler için verilen çeldirici ifadelerin süreçlerin aksiyomatik tanımlarına aykırı olduğu kanıtlanmıştır.

Anahtar Kavram

Stokastik Süreç Bileşenleri, Durum Uzayı ve Örneklem Yolu
Tahmini Süre:2m 0s
Bu soruyu puanla