Karakteristik Fonksiyonlar
Bir rastgele değişkenin karakteristik fonksiyonu, karmaşık bir üstel ifadenin beklenen değeri, yani dağılımının Fourier dönüşümüdür; her zaman mevcuttur, dağılımı benzersiz bir şekilde belirlemektedir ve bağımsızlığı çarpmaya dönüştürmektedir.
Tanım
Bir rastgele değişkenin karakteristik fonksiyonu, değişkenin karmaşık üstelinin gerçek bir argümanla çarpımının beklenen değeri olup, eşdeğer olarak dağılımının Fourier dönüşümüdür; bu fonksiyon her dağılım için mevcuttur ve onu benzersiz bir şekilde belirlemektedir.
Kapsam
Bu konu, karakteristik fonksiyonun tanımını ve temel özelliklerini, benzersizlik ve ters çevirme (inversion) teoremlerini, bağımsız değişkenlerin toplamının karakteristik fonksiyonunun çarpanlara ayrılmasını, fonksiyonun düzgünlüğü ile dağılımın momentleri arasındaki ilişkiyi, hangi fonksiyonların karakteristik fonksiyon olduğunu Bochner'ın karakterizasyonunu ve noktasal yakınsamayı dağılımda yakınsamaya bağlayan Levy'nin süreklilik teoremini kapsamaktadır.
Temel sorular
- Momentler mevcut olmayabilirken neden her dağılım bir karakteristik fonksiyona sahiptir?
- Karakteristik fonksiyon, dağılımı nasıl belirler ve geri kazanılmasına nasıl olanak tanır?
- Bağımsız değişkenlerin toplamının karakteristik fonksiyonu neden çarpanlara ayrılır?
- Karakteristik fonksiyonların yakınsaması, dağılımların yakınsamasıyla nasıl ilişkilidir?
Anahtar kavramlar
- Bir ölçünün Fourier dönüşümü
- Benzersizlik ve ters çevirme (inversion)
- Levy süreklilik teoremi
- Bochner teoremi
- Türevlerden momentler
Temel kuramlar
- Benzersizlik ve ters çevirme (inversion)
- Farklı dağılımların farklı karakteristik fonksiyonları vardır ve bir ters çevirme formülü, dağılımı karakteristik fonksiyonundan geri kazanmaktadır; bu nedenle dönüşüm, bir rastgele değişkenin yasasının sadık ve tersine çevrilebilir bir kodlamasıdır.
- Levy süreklilik teoremi
- Bir dağılım dizisi, ancak ve ancak karakteristik fonksiyonları orijinde sürekli bir fonksiyona noktasal olarak yakınsarsa dağılımda yakınsar; bu fonksiyon daha sonra limitin karakteristik fonksiyonu olmaktadır. Bu, limit teoremlerine giden standart yoldur.
- Bağımsız değişkenlerin toplamları için çarpanlara ayırma
- Beklenen değer bağımsız değişkenler üzerinde çarpanlara ayrıldığı için, bağımsız değişkenlerin toplamının karakteristik fonksiyonu, onların karakteristik fonksiyonlarının çarpımıdır; bu durum, dağılımların evrişimini (convolution) sıradan çarpma ile değiştirmektedir.
Klinik önem
Karakteristik fonksiyonlar, merkezi limit teoremini ve diğer limit yasalarını kanıtlamak için temel bir araçtır; sinyal işlemeden aktüerya bilimine kadar çeşitli alanlarda bağımsız rastgele değişkenlerin toplamlarını analitik olarak ele alınabilir kılmaktadır ve ters çevrilmeleri (inversion), karakteristik fonksiyonun kapalı formda bilindiği opsiyon fiyatlandırması için sayısal yöntemlerin temelini oluşturmaktadır.
Tarihçe
Karakteristik fonksiyonlar Laplace ve Cauchy tarafından kullanılmış ve Paul Levy tarafından olasılığın sistematik bir aracı haline getirilmiştir. Levy'nin süreklilik teoremi, limit teoremlerinin kanıtını bu dönüşümlerin noktasal yakınsama çalışmasına dönüştürmüştür; Bochner ise bu şekilde ortaya çıkan fonksiyonları tam olarak karakterize etmiştir.
Öne çıkan isimler
- Paul Levy
- Aleksandr Lyapunov
- Salomon Bochner
- Eugene Lukacs
İlgili konular
Temel eserler
- feller1971
Sıkça sorulan sorular
- Karakteristik fonksiyon, moment üreten fonksiyondan nasıl farklıdır?
- Karakteristik fonksiyon sanal bir üs kullanır ve bu nedenle her dağılım için mevcuttur; oysa moment üreten fonksiyon gerçek bir üs kullanır ve ağır kuyruklu dağılımlar için mevcut olmayabilir. Karakteristik fonksiyon daha sağlam bir araçtır.
- Süreklilik teoreminde yakınsama neden sadece orijinde kontrol edilir?
- Limitin orijindeki sürekliliği, olasılık kütlesinin sonsuza kaçmasını engellemekte ve böylece limit fonksiyonunun kusurlu bir dağılımın değil, gerçek bir karakteristik fonksiyon olmasını sağlamaktadır.