Kolmogorov Denklemleri ve Üreteçleri
Sonsuz küçük üreteç, sürekli zamanlı bir Markov zincirinin anlık geçiş hızlarını kodlamaktadır; Kolmogorov ileri ve geri denklemleri ise bu zincirin geçiş olasılıklarının zaman içinde nasıl evrildiğini tanımlamaktadır.
Tanım
Sürekli zamanlı bir Markov zincirinin sonsuz küçük üreteci, geçiş olasılıklarının anlık değişim hızını veren geçiş hızları matrisidir; Kolmogorov ileri ve geri denklemleri ise geçiş olasılık matrisinin zamanın bir fonksiyonu olarak sağladığı diferansiyel denklemlerdir.
Kapsam
Bu konu, üretecin geçiş yarıgrubunun sıfırdaki zaman türevi olarak tanımını, ileri (Fokker-Planck tipi) ve geri Kolmogorov denklemlerini, geçiş matrisinin üretecin matrisel üsteli olarak ifadesini, yarıgrup özelliklerini ve tekliğin, korunumluluğun ve patlama olmamasının koşullarını kapsamaktadır.
Temel sorular
- Üreteç, geçiş yarıgrubunun türevi olarak nasıl elde edilir?
- İleri ve geri Kolmogorov denklemleri arasındaki fark nedir?
- Geçiş matrisi, üretecin matrisel üsteli ne zaman olur?
- Tek, patlamayan bir çözümü hangi koşullar garanti eder?
Temel kuramlar
- Geri ve ileri Kolmogorov denklemleri
- Geçiş olasılık matrisi, üreteç tarafından yönlendirilen iki bağlı doğrusal diferansiyel denklem sistemini sağlamaktadır; geri denklem başlangıç durumunda türev alırken, ileri denklem son durumda türev almaktadır ve sonlu durum uzayları için her ikisi de matrisel üsteli ortak çözüm olarak kabul etmektedir.
- Üreteç ve yarıgrup yazışması
- Geçiş operatörleri ailesi, sonsuz küçük üreteci süreci belirleyen kuvvetli sürekli bir yarıgrup oluşturmaktadır; bu yazışma, Markov zincirlerini operatör yarıgruplarının analitik kuramına bağlamakta ve yakınsama ile yaklaşım sonuçlarının temelini oluşturmaktadır.
Klinik önem
İleri denklem, kimyasal kinetiğin ve istatistiksel fiziğin ana denklemi olup, moleküler sayımların zaman içindeki olasılık dağılımını yönetmektedir; üreteç formalizmi ise güvenilirlik, kuyruk ve epidemik modellerin geçici analizi için hesaplama temeli sağlamaktadır.
Tarihçe
Kolmogorov'un 1931 tarihli makalesi, geçiş olasılıkları için diferansiyel denklemleri tanıtmıştır; Feller, 1930'lu ve 1940'lı yıllarda varlık, teklik ve patlama sorularını çözüme kavuşturmuştur; yarıgrup ve üreteç bakış açısı ise Hille, Yosida ve Dynkin'in Markov süreçleri üzerine yaptıkları sonraki çalışmalarla sistemleştirilmiştir.
Öne çıkan isimler
- Andrey Kolmogorov
- William Feller
- Thomas Kurtz
İlgili konular
Temel eserler
- norris1997
Sıkça sorulan sorular
- Üreteç, bir Markov zinciri hakkında ne bilgi vermektedir?
- Durumlar arasındaki anlık geçiş hızlarını vermektedir; bundan, geçiş olasılıklarının tüm zaman evrimi, sonlu durum uzaylarında üretecin matrisel üsteli olarak türetilmektedir.
- İleri ve geri denklemler nasıl farklılık göstermektedir?
- Geri denklem başlangıç durumuna göre türev almakta ve ulaşma ile beklenti problemlerinde faydalı olmaktadır; ileri denklem ise mevcut duruma göre türev almakta ve evrilen olasılık dağılımını tanımlamaktadır.