Charakteristická funkce náhodné veličiny
Charakteristická funkce náhodné veličiny je jedním ze způsobů, jak určit rozdělení . Charakteristické funkce mohou být výhodnější v případech, kdy má například hustotní nebo distribuční funkce velmi složitý tvar. Charakteristické funkce jsou také vhodným nástrojem pro studium problémů slabé konvergence (konvergence v distribuci) . Yu.V. _ Linnik , I.V. Ostrovský, K.R. Rao , B. Ramachandran.
Definice
Nechť existuje náhodná veličina s rozdělením . Pak je charakteristická funkce dána vzorcem:
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\mathbb {P} ^{X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/922660ee64f0adb6c88de3d176147f4fe850bbde)
![\phi _{X}(t)=\mathbb {E} \left[e^{itX}\right]](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d02c7ddd5cfbabf5fc5ffff383f763d5286907d)
.
Pomocí vzorců pro výpočet matematického očekávání lze definici charakteristické funkce přepsat jako:
![\phi _{X}(t)=\int \limits _{-\infty }^{\infty }e^{itx}\,\mathbb {P} ^{X} (dx)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec5e44dfc913d3c615289d71f88f3a5bf5d68283)
,
to znamená, že charakteristická funkce je inverzní Fourierova transformace rozdělení náhodné veličiny.
Pokud náhodná proměnná nabývá hodnot v libovolném Hilbertově prostoru , pak má její charakteristická funkce tvar:
![{\mathcal {H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19ef4c7b923a5125ac91aa491838a95ee15b804f)
![\phi _{X}(t)=\mathbb {E} \left[e^{i\langle t,X\rangle }\right],\;\forall t\in {\mathcal {H))](https://wikimedia.org/api/rest_v1/media/math/render/svg/5951d1f32479c2f39b814cb882a9ec50da0ff70a)
,
kde označuje tečkový součin v .
![\langle \cdot ,\cdot \rangle](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a50080b735975d8001c9552ac2134b49ad534c0)
![{\mathcal {H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19ef4c7b923a5125ac91aa491838a95ee15b804f)
Diskrétní a absolutně spojité náhodné veličiny
Pokud je náhodná proměnná diskrétní , tedy
![\mathbb {P} (X=x_{k})=p_{k},\;k=1,2,\ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/d228a6f09f9b792e47fcf3e9ec2a20b8e8a123df)
![\phi _{X}(t)=\sum _{k=1}^{\infty }e^{itx_{k}}\,p_{k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2745df7e43cf20fa1567bd44ce3c1ab58baa7cc0)
.
Příklad. Let má Bernoulliho rozdělení . Pak
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\phi _{X}(t)=e^{it\cdot 1}\cdot p+e^{it\cdot 0}\cdot q=pe^{it}+q](https://wikimedia.org/api/rest_v1/media/math/render/svg/e666b59652ce62f9c31605d20f45c3df9086dd3e)
.
Pokud je náhodná veličina absolutně spojitá , to znamená, že má hustotu , pak
![f_{X} (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/29310a010e7f7dfa33ba69bcf1ef9ec166d461dd)
![\phi _{X}(t)=\int \limits _{-\infty }^{\infty }e^{itx}\,f_{X}(x)\,dx](https://wikimedia.org/api/rest_v1/media/math/render/svg/cac43e60d055bca24c32066559efd80f69a10782)
.
Příklad. Nechť má standardní spojité rovnoměrné rozdělení . Pak
![X\simU[0,1]](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3610abb42eb437d4b299a01c755ba35989970ea)
![\phi _{X}(t)=\int \limits _{0}^{1}e^{itx}\cdot 1\,dx=\left.{\frac {e^{itx}}{it} }\right\vert _{0}^{1}={\frac {e^{it}-1}{it}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f8f1d654b52c4837b0aefb50e0640eaf1430a59)
.
Vlastnosti charakteristických funkcí
- Charakteristická funkce jednoznačně určuje rozdělení. Nechť existují dvě náhodné proměnné a . Pak . Zejména, pokud jsou obě veličiny absolutně spojité, pak shoda charakteristických funkcí implikuje shodu hustot. Pokud jsou obě náhodné veličiny diskrétní, pak koincidence charakteristických funkcí znamená koincidenci pravděpodobnostních funkcí.
![X,Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8705438171d938b7f59cd1bfa5b7d99b6afa5cd)
![\phi _{X}(t)=\phi _{Y}(t),\;\forall t](https://wikimedia.org/api/rest_v1/media/math/render/svg/732bb287260663d4066511458863290780cc5d3f)
![\mathbb {P} ^{X}=\mathbb {P} ^{Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09dd99d6779740f389d257fe93de956bada3dc60)
- Charakteristická funkce je vždy omezená:
![|\phi _{X}(t)|\leq 1,\ \forall t\in \mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8f7fc9e77471f6682e50eb72d8d7be1d2c8630c)
.
- Charakteristická funkce v nule je rovna jedné:
![\phi _{X}(0)\ =1](https://wikimedia.org/api/rest_v1/media/math/render/svg/4464ad05a91c8ea28c24c5c67e1eaa704bc45afa)
.
- Charakteristická funkce je vždy rovnoměrně spojitá : .
![\phi _{X}\in C(\mathbb {R} )](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0895cc6766bbd8cf8db73a35255156744fd42f)
- Charakteristická funkce jako funkce náhodné veličiny je homogenní:
![\phi _{aX}(t)=\phi _{X}(zavináč),\;\forall a\in \mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b17251086ae55ba68d537f71ecae3195ac0ade31)
.
- Charakteristická funkce součtu nezávislých náhodných veličin je rovna součinu jejich charakteristických funkcí. Dovolit být nezávislé náhodné proměnné. Označme . Pak
![X_{1},\ldots ,X_{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac794f5521dcce89913085a6d566e7cdb615dbb0)
![S_{n}=\součet \limits _{i=1}^{n}X_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/670b897d82708f5a01995133416b6d7c419926b2)
![\phi _{S_{n}}(t)=\prod \limits _{i=1}^{n}\phi _{X_{i}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/04568d2d6fd1f9931c897fc73c17e4da74c5b7d5)
.
- Charakteristická funkce je hermitovská: pro všechny reálné hodnoty platí rovnost , kde znamená komplexní konjugovanou funkci [1] .
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
![\phi _{X}(-t)={\overline {\phi }}_{X}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a61836df0b17323ab540382ed982625995ec0587)
![{\overline {\phi ))_{X}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/19ea0ed95364afbb951ef0c4a5952ccf19f0e284)
![\phi _{X} (t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/fab66a6260ba13971ebfdda5889b7b349d7755eb)
- Inverzní věta (Levi). Nechť je distribuční funkce a její charakteristická funkce. Pokud a jsou body spojitosti , pak
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
![\phi](https://wikimedia.org/api/rest_v1/media/math/render/svg/72b1f30316670aee6270a28334bdf4f5072cdde4)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
- Charakteristická funkce je jednoznačně definována: pro každé celé číslo , pro jakákoli reálná čísla a všechna komplexní čísla platí nerovnost [2] . Zde se rozumí komplexní konjugát čísla.
![{\displaystyle z_{1},z_{2},...,z_{m))](https://wikimedia.org/api/rest_v1/media/math/render/svg/26bb4440bad2509dd7f82cd9cc610d05bf8d4546)
![{\displaystyle \sum _{i,j=1}^{m}\varphi (u_{i}-u_{j})z_{i}{\bar {z_{j))}\geqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3404f88640916e617e10a551a9bb090b1414b80)
![{\displaystyle {\bar {z_{j))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0a879c601f43127d8ccccd525c490a9a7431b77)
![{\displaystyle z_{j))](https://wikimedia.org/api/rest_v1/media/math/render/svg/412a06424b2eeb1f51d963bc33fb3bd5c3df5f49)
Výpočet momentů
Pokud má náhodná veličina počáteční tý moment , pak charakteristická funkce má spojitou tou derivaci , tedy , a navíc:
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\phi _{X}\in C^{n} (\mathbb {R} )](https://wikimedia.org/api/rest_v1/media/math/render/svg/4328ea8333c8999d25512f91084e9ca7fc934a87)
![i^{n}\left.\mathbb {E} \left[X^{n}\right]={\frac {d^{n}}{dt^{n}}}\phi _{X}( t)\vpravo\vert _{t=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8100ad053645fa755c5653cf571fbcef5fb61d2d)
.
Inverzní Fourierova transformace
Nechť je dána náhodná veličina, jejíž charakteristická funkce je rovna . Pak
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\phi _{X} (t)\](https://wikimedia.org/api/rest_v1/media/math/render/svg/20421d00a3a4a9251d3a09d0b54ff1943c8c3494)
- pokud je diskrétní a nabývá celočíselných hodnot, pak
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\mathbb {P} (X=k)={\frac {1}{2\pi }}\int \limits _{-\pi }^{\pi }e^{-itk}\,\phi _{ X}(t)\,dt,\;k\in \mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9cd6062384a1b0ea8c1d2f5b54ae321b46b4ff0)
;
- jestliže je absolutně spojitý a je jeho hustota, pak
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![f_{X} (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/29310a010e7f7dfa33ba69bcf1ef9ec166d461dd)
![f_{X}(x)={\frac {1}{2\pi }}\int \limits _{-\infty }^{\infty }e^{-itx}\,\phi _{X}( t)\,dt,\;x\in \mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b01a445940980aec7c04bc94c62effaf784b3003)
.
Dostatečné podmínky
Aby funkce byla charakteristickou funkcí nějaké náhodné veličiny, stačí , aby to byla nezáporná, sudá, spojitá, klesající konvexní funkce a pro ( Titchmarsh-Polyiho teorém ).
![\varphi (t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd7776ed1f48fe8d39d9852e6ed6aa8a61a93d28)
![\varphi (t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd7776ed1f48fe8d39d9852e6ed6aa8a61a93d28)
![{\displaystyle \varphi (0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d30cbf14b09de7224c796a19162320dd34fa086)
![{\displaystyle \varphi (t)\rightarrow 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1a6c5e172348487ce86d4a586925fda2bc3ce77)
![t\rightarrow\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/b543f76f961ec3f52d78fa3d72c3d87a521dd3a7)
Nezbytné a postačující podmínky
Dovolit být spojitá funkce a . Aby byla funkce charakteristická, je nutné a postačující, aby byla kladně definitní funkcí, tedy pro každé celé číslo , pro jakákoli reálná čísla a všechna komplexní čísla je splněna nerovnost ( Bochner-Khinchinova věta ). Zde znamená komplexní konjugát [ 2 ] .
![{\displaystyle \varphi (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18b0d71fe6377e825dbc7897cbfacdc3a48aa6c7)
![{\displaystyle u\in R^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e52e22155620678b1bb334e216e6e45dcb34d57)
![{\displaystyle \varphi (0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d30cbf14b09de7224c796a19162320dd34fa086)
![{\displaystyle \varphi (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18b0d71fe6377e825dbc7897cbfacdc3a48aa6c7)
![{\displaystyle z_{1},z_{2},...,z_{m))](https://wikimedia.org/api/rest_v1/media/math/render/svg/26bb4440bad2509dd7f82cd9cc610d05bf8d4546)
![{\displaystyle \sum _{i,j=1}^{m}\varphi (u_{i}-u_{j})z_{i}{\bar {z_{j))}\geqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3404f88640916e617e10a551a9bb090b1414b80)
![{\displaystyle {\bar {z_{j))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0a879c601f43127d8ccccd525c490a9a7431b77)
![{\displaystyle z_{j))](https://wikimedia.org/api/rest_v1/media/math/render/svg/412a06424b2eeb1f51d963bc33fb3bd5c3df5f49)
Viz také
Poznámky
- ↑ B. Ramachandran Teorie charakteristických funkcí, M., Nauka, 1975
- ↑ 1 2 Koroljuk V. S. , Portenko N. I., Skorokhod A. V. , Turbin A. F. Příručka teorie pravděpodobnosti a matematické statistiky. - M., Nauka, 1985. - str. 65
Literatura
- Linnik Yu.V. , Ostrovský I.V. Dekompozice náhodných veličin a vektorů, Nauka, M., 1972.
- Lukacs E. Charakteristické funkce. - M., Nauka, 1979. - 424 s.