Karakteristik fonksiyon

Olasılık kuramı içinde herhangi bir rassal değişken için karakteristik fonksiyon, bu değişkenin olasılık dağılımını tüm olarak tanımlar. Herhangi bir rassal değişken X için, gerçel doğru üzerinde, bu fonksiyonu tanımlayan formül şöyle yazılır: :\varphi_X(t) = \operatorname{E}\left(e^{itX}\right)\, Burada t bir gerçel sayı, i sanal birim değer ve E beklenen değer olurlar. Eğer FX yığmalı dağılım fonksiyonu ise, karakteristik fonksiyon Riemann-Stieltjes integrali kullanılarak şöyle ifade edilebilir: :\operatorname{E}\left(e^{itX}\right) = \int_{-\infty}^{\infty} e^{itx}\,dF_X(x).\, Rassal değişken için bir olasılık yoğunluk fonksiyonu, yani fX, var ise karakteristik fonksiyonu şöyle ifade edilir: :\operatorname{E}\left(e^{itX}\right) = \int_{-\infty}^{\infty} e^{itx} f_X(x)\,dx. Eğer X bir vektör-değerli rassal değişken ise, t değeri bir vektör olarak ve t.X bir nokta çarpan olarak kabul edilip tanım değiştirilmez. R üzerinde veya Rn üzerindeki her olasılık dağılımının bir karakteristik fonksiyonu bulunur, çünkü sınırlı bir fonksiyonunun ölçümü sonsuz olan bir uzayda integrali alınmaktadır. Her bir karakteristik fonksiyonu için tek bir olasılık dağılımı vardır. (İçinde p(x)=p(-x) olan) bir simetrik olasılık yoğunluk fonksiyonu için karakteristik fonksiyon gerçeldir; çünkü x>0 ifadesinden elde edilen ile x<0 ifadesinden elde edilen sanal parçalar birbirini eksiltmektedir. == Lévy süreklilik teoremi == == Ters alma teoremi == Bu özellikten daha kapsamlı bir özellik daha vardır. İki gayet iyi belirlenmiş yığmalı olasılık dağılımı, hiçbir karakteristik fonksiyonuna ortak sahip değildirler. Bir karakteristik fonksiyon, φ, verilmiş ise, karşıtlı bağlı olup çıkartıldığı yığmalı dağılım fonksiyonu F yeniden şöyle meydana getirilir: :F_X(y) - F_X(x) = \lim_{\tau \to +\infty} \frac{1} {2\pi} \int_{-\tau}^{+\tau} \frac{e^{-itx} - e^{-ity}} {it}\, \varphi_X(t)\, dt. Genel olarak bu bir uygunsuz integralidir; çünkü Lebesgue integrali olacağına koşullu olarak integrali çıkartılmış olan bir fonksiyonu olabilir. Yani mutlak değerinin integrali sonsuz olabilir. == Bochner-Khinchin teoremi == Herhangi bir fonksiyon \scriptstyle \varphi belli bir olasılık yasası olan \scriptstyle \mu karşılığı olan bir karakteristik fonksiyon olması için yalnızca ve yalnızca şu üç koşulun sağlanması gerekir: # \scriptstyle \varphi \, sürekli olmalıdır. # \scriptstyle \varphi(0) = 1 \, olmalıdır. # \scriptstyle \varphi \, bir kesin pozitif fonksiyon olmalıdır. (Dikkat edilirse bu koşul biraz karmaşık olup \scriptstyle \varphi >0 ile eş anlamda değildir.) == Karakteristik fonksiyonların yararları == Levy'nin süreklilik teoremi dolayısıyla karakteristik fonksiyonlar, merkezsel limit teoremini ispat etmek için çok defa kullanılmaktadır. Bir karakteristik fonksiyonunun kullanılmasıyla yapılan hesaplarda atılacak en becerikli adım, eldeki fonksiyonun belli bir dağılımın karakteristik fonksiyonu olduğunun farkına varmak suretiyle ortaya çıkar. === Temel özellikler === Bağımsız olan rassal değişkenlerin fonksiyonları ile uğraşmak için özellikle karakteristik fonksiyonlar kullanılır. Örneğin, X1, X2, ..., Xn bir seri bağımsız (ama mutlaka aynı şekilde dağılım göstermeyen) rassal değişken iseler ve ailer sabit olup :S_n = \sum_{i=1}^n a_i X_i,\,\\! ise Sn için karakteristik fonksiyon şöyle verilir: : \varphi_{S_n}(t)=\varphi_{X_1}(a_1t)\varphi_{X_2}(a_2t)\cdots \varphi_{X_n}(a_nt). \,\\! Özellikle :\varphi_{X+Y}(t) = \varphi_X(t)\varphi_Y(t) olur. Bunu görmek için bir karakteristik fonksiyonun tanımı yazılısın: :\varphi_{X+Y}(t)=E\left(e^{it(X+Y)}\right)=E\left(e^{itX}e^{itY}\right)=E\left(e^{itX}\right)E\left(e^{itY}\right)=\varphi_X(t) \varphi_Y(t). Burada gözlenebilir ki üçüncü ve dördüncü ifadelerin eşitliğini sağlamak için gereken koşul X ve Y'nin birbirinden bağımsız olmasıdır. İlgi çekebilen bir diğer hal de, a_i=1/n olduğu halde S_n'nin örneklem ortalaması olmasıdır. Bu halde ortalama yerine \overline{X} konulursa :\varphi_{\overline{X}}(t)=\left(\varphi_X(t/n)\right)^n. olur === Momentler === Karakteristik fonksiyonlar, bir rassal değişkenin momentlerini bulmak için de kullanılabilir. Eğer ninci moment mevcut ise, karakteristik fonksiyonun n dereceye kadar arka arkaya türevi alınabilir ve :\operatorname{E}\left(X^n\right) = i^{-n}\, \varphi_X^{(n)}(0) = i^{-n}\, \left[\frac{d^n}{dt^n} \varphi_X(t)\right]_{t=0}. \,\\! olur. Örneğin, X bir standart Cauchy dağılımı göstersin. O halde bunun t=0 noktasında türevinin bulunmadığını göstermek, Cauchy dağılımı için hiçbir beklenen değer olmadığını gösterir. Aynı örneğinde n tane bağımsız gözlem için örneklem ortalaması olan \overline{X}in karakteristik fonksiyonu :\varphi_{\overline{X}}(t)=(e^{-|t|/n})^n=e^{-|t|} olur ve bunu standart bir Cauchy dağılımı için karakteristik fonksiyon olduğu gözümlenebilir. Böylece Cauchy dağılımı için örneklem ortalaması için dağılım anakütle dağılımı ile aynı dağılım olduğu anlaşılmaktadır. Bir karakteristik fonksiyonun logaritması bir kumulant üreten fonksiyon olur ve bu fonksiyon kumulantları bulmak için yararlıdır. === Bir örneğin === == Çoklu-değişirli karakteristik fonksiyonlar == === Örneğin === == Matris değerli rassal değişkenler == == İlişkili kavramlar == == Bibliyografya == * Lukacs E. (1970) Characteristic Functions. Griffin, London. pp. 350 * Bisgaard, T. M., Sasvári, Z. (2000) Characteristic Functions and Moment Sequences, Nova Science == Kaynakça == Kategori:Momentler Kategori:Olasılık dağılımlar teorisi