Karakteriza funkcio (probabloteorio)

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En teorio de probabloj, la karakteriza funkcio de (ĉiu, iu) hazarda variablo plene difinas ĝian probablodistribuon. Sur la reala linio ĝi estas donita per jena formulo, kie X estas la hazarda variablo:

\varphi_X(t) = \operatorname{E}\left(e^{itX}\right)\,

kie t estas reela nombro kaj E estas la atendata valoro.

Se FX estas la tuteca distribua funkcio do la karakteriza funkcio estas donita per la integralo de Rimano-Stieltjes

\operatorname{E}\left(e^{itX}\right) = \int_\Omega e^{itx}\,dF_X(x).\,

En okazo de ekzisto de probablodensa funkcio, fX, ĉi tio estas

\operatorname{E}\left(e^{itX}\right) = \int_{-\infty}^{\infty} e^{itx} f_X(x)\,dx.

Se X estas vektoro-valora hazarda variablo, oni prenas la argumenton t kiel vektoro kaj tx al kiel skalara produto.

Ĉiu probablodistribuo sur R aŭ sur Rn havas karakterizan funkcion, ĉar ĝi estas integrala barita funkcio super spaco kies mezuro estas finia.

La inversiga teoremo[redakti | redakti fonton]

Plue, estas reciproke unuvalora surĵeto inter tutecaj distribuaj funkcioj kaj karakterizaj funkcioj. En aliaj vortoj, du diversaj probablodistribuoj neniam havas la saman karakterizan funkcion kaj male.

Estu donita karakteriza funkcio φ, eblas rekonstrui la respektivan tutecan distribuan funkcion F:

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.

Ĝenerale ĉi tio estas nepropra integralo; la funkcio kiu estas integralita povas esti nur kondiĉe integralebla ol lebege integralebla, do integralo de ĝia absoluta valoro povas esti malfinio.

La kontunueca teoremo[redakti | redakti fonton]

Se la vico de karakterizaj funkcioj de distribuoj Fn konverĝas al la karakteriza funkcio de distribuo F, tiam Fn(x) konverĝas al F(x) je ĉiu valoro de x je kiu F estas kontinua.

Uzo de karakterizaj funkcioj[redakti | redakti fonton]

Karakterizaj funkcioj estas aparte utilaj por laboro kun funkcioj de sendependaj hazarda variablo. Ekzemple, se X1, X2, ..., Xn estas vico de sendependaj (kaj ne nepre idente distribuitaj) hazardaj variabloj, kaj

S_n = \sum_{i=1}^n a_i X_i,

kie ami estas konstantoj, do la karakteriza funkcio por Sn estas donita per


\varphi_{S_n}(t)=\varphi_{X_1}(a_1t)\varphi_{X_2}(a_2t)\cdots \varphi_{X_n}(a_nt).

Pro la kontunueca teoremo, karakterizaj funkcioj estas uzata en la plej ofta pruvo de la centrala limiga teoremo.

Karakterizaj funkcioj povas ankaŭ esti uzataj por trovi momantojn de hazarda variablo. Se n-a momanto ekzistas, karakteriza funkcio povas esti diferencialita n fojoj kaj

\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}.

Rilatantaj konceptoj[redakti | redakti fonton]

La rilatantaj konceptoj estas la momanto-generanta funkcio kaj la probablo-generanta funkcio.

La karakteriza funkcio estas proksime rilatanta al la konverto de Fourier: la karakteriza funkcio de distribuo kun denseca funkcio f estas proporcia kun la inversa konverto de Fourier de f. Fakte, la distribua funkcio estas egala al la konverto de Fourier de la karakteriza funkcio (kun precizo de la konstanto de proporcieco kaj se la integralo estas difinita)

f_X(x) = \frac{1} {2\pi} \int_{-\infty}^{\infty} \varphi_X(t)\,e^{-itx}\, dt.