# Oneindige deelbaarheid

In de kansrekening is oneindige deelbaarheid de eigenschap van veel stochastische variabelen dat zij zich als de som van een willekeurig aantal stochastisch onafhankelijke gelijkverdeelde stochastische variabelen laten beschrijven. Ook de kansverdeling van een dergelijke stochastische variabele wordt oneindig deelbaar genoemd. De term werd geïntroduceerd in 1929 door de Italiaans-Oostenrijkse wiskundige Bruno de Finetti. Oneindige deelbaarheid speelt een belangrijke rol bin de theorie van lévyprocessen.

## Definitie

Zij $(\Omega ,\Sigma ,P)$ een kansruimte en $X:\Omega \to \mathbb {R} ^{d}$ een d-dimensionale stochastische variabele daarop, dan heet $X$ oneindig deelbaar op deze kansruimte, als er voor iedere $n\in \mathbb {N}$ onderling onafhankelijke en gelijkverdeelde stochastische variabelen $X_{1},X_{2},\ldots X_{n}:\Omega \to \mathbb {R} ^{d}$ bestaan, waarvoor geldt:
    $\sum _{i=1}^{n}X_{i}\sim X$.

## Voorbeelden

* Elke normaal verdeelde stochatische variabele $X\sim N(\mu ,\sigma ^{2})$ is oneindig deelbaar, want voor $n\in \mathbb {N}$ kiest men onafhankelijke $X_{1},X_{2},\dots ,X_{n}\sim N\left({\tfrac {1}{n}}\mu ,{\tfrac {1}{n}}{\sigma ^{2}}\right)$.
* De exponentiële verdeling met verwachtingswaarde $\mu$ is oneindig deelbaar, want het is de verdeling van de som van $n$ onafhankelijke, gamma-verdeelde variabelen met verwachtingswaarde ${\tfrac {1}{n}}\mu$ en variantie ${\tfrac {1}{n}}\mu ^{2}$.
* De poissonverdeling is een discrete oneindig deelbare verdeling. De poissonverdeling met parameter (verwachtingswaarde) $\lambda$ is de verdeling van de som van $n$ onafhankelijke, poissonverdeelde variabelen met parameter ${\tfrac {1}{n}}\lambda$.
* Andere voorbeelden van oneindig deelbaar verdelingen zijn: de Gamma-verdeling (dus ook de chi-kwadraatverdeling en de exponentiële verdeling), de lognormale verdeling, de logistische verdeling, de paretoverdeling, de negatief-binomiale verdeling, de Gumbelverdeling, de F-verdeling en de t-verdeling.
* Gemakkelijk is in te zien dat de Bernoulli-verdeling, dus met $P(X=1)=1-P(X=0)=p$, niet oneindig deelbaar is. Stel voor $n=2$ zijn $X_{1}$ en $X_{2}$ onafhankelijke gelijkverdeeld variabelen met $X_{1}+X_{2}\sim X$. Zij kunnen niet triviaal zijn, d.w.z. slechts één waarde aannemen, want dan zou $X$ ook triviaal zijn. Dus moeten $X_{1}$ en $X_{2}$ ten minste twee verschillende waarden aannemen met positieve kans, zeg $a,b\in \mathbb {R} ,a\neq b$. De som $X_{1}+X_{2}$ neemt dan met positieve kans drie verschillende waarden $2a,2b$ en $a+b$ aan en is dus niet Bernoulli-verdeeld. Analoog kan worden aangetoond dat een niet-triviale verdeling die slechts een eindig aantal waarden aanneemt, niet oneindig deelbaar is.
* Met iets meer moeite kan worden aangetoond dat de uniforme verdeling ook niet oneindig deelbaar is.

## Relatie met het lévyproces

Voor de stochastische variabelen $U$ en $V$ bestaat precies dan een lévyproces $(X_{t}),\;t\in \mathbb {Q}$ met toestanden $X_{0}\sim U,X_{1}\sim V$, als de variabele $V-U$oneindig deelbaar is. Dit resultaat van Paul Lévy vereenvoudigd aanmerkelijk het bewijs van het bestaan van de brownse beweging, dat als eerste bewezen werd door Norbert Wiener in 1923, aangezien gemakkelijk aangetoond kan worden dat de normale verdeling oneindig deelbaar is.

## Karakteriseringen

De bovenstaande definitie is in termen van stochastische variabelen. Het is ook mogelijk oneindige deelbaarheid te karakterisen in termen van verdelingsfuncties. De verdelingsfunctie van de som van onafhankelijke gelijkverdeelde variabelen is de convolutie van de verdelingsfuncties van de termen.
Een verdelingsfunctie $F$ is dan en slechts dan oneindig deelbaar, als er voor iedere $n\in \mathbb {N} ,n>0$ een verdelingsfunctie $F_{n}$ bestaat, zo, dat:
    $F={F_{n}}^{n*},$
waarin $n*$ de $n$-voudige convolutie is.
Omdat de karakteristieke functie van een convolutie het product is van de afzonderlijke karakteristieke functies, kan oneindige deelbaarheid ook gekarakteriseerd worden in termen van karakteristieke functies.
Een karakteristieke functie $\varphi$ is dan en slechts dan oneindig deelbaar, als er voor iedere $n\in \mathbb {N} ,n>0$ een karakteristieke functie $\varphi _{n}$ bestaat, zo, dat:
    $\varphi (t)=(\varphi _{n}(t))^{n},$
Vanwege deze laatste eenvoudige karakterisering kan in sommige gevallen de vraag naar oneindige deelbaarheid gemakkelijk beantwoord worden. Zo geldt voor de karakteristieke functie van de chi-kwadraatverdeling met parameter $m$:
    $\varphi (t)={\frac {1}{(1-2it)^{\frac {m}{2}}}}=(\varphi _{n}(t))^{n}$,
waarin
    $\varphi _{n}(t)={\frac {1}{(1-2it)^{\frac {m}{2n}}}}$
weer de karakteristieke functie is van de chi-kwadraatverdeling met parameter $m/n$.

## Kanonieke voorstelling

Uit de karakterisering met behulp van karakteristieke functies, kunnen kanonieke voorstellingen voor oneindig deelbare verdelingen afgeleid worden.
Een verdelingsfunctie $F$ is dan en slechts dan oneindig deelbaar, als de bijbehorende karakteristieke functie $\varphi$ een van de volgende vormen heeft:
    $\log \varphi (t)=iat+\int \limits _{-\infty }^{\infty }\left(e^{itu}-1-{\frac {itu}{1+u^{2}}}\right){\frac {1+u^{2}}{u^{2}}}\,{\rm {d}}H(u)$
(formule van Lévy-Khinchin volgens Paul Lévy en Alexandr Khinchin), of
    $\log f(t)=iat-{\frac {\sigma ^{2}}{2}}\;t^{2}+\int \limits _{\infty }^{-0}\left(e^{itu}-1-{\frac {itu}{1+u^{2}}}\right)\,{\rm {d}}M(u)+\int \limits _{+0}^{\infty }\left(e^{itu}-1-{\frac {itu}{1+u^{2}}}\right)\,{\rm {d}}N(u)$
(kanonieke voorstelling volgens Lévy).
Daarin zijn $a$ en $\sigma$ reële getallen, is $H$ een monotoon niet-dalende, begrensde functie met $H(-\infty )=0$, en zijn $M$ en $N$ op $(-\infty ,0)$ respectievelijk $(0,\infty )$ monotoon niet-dalend met $M(-\infty )=N(\infty )=0$, en bestaan de integralen $\int \limits _{-\varepsilon }^{-0}u^{2}\,{\rm {d}}M(u)$ und $\int \limits _{+0}^{\varepsilon }u^{2}\,{\rm {d}}N(u)$ voor iedere $\varepsilon >0$.
Beide voorstellingen zijn eenduidig.
De parameter $a$ geeft slechts een horizontale verschuiving van de verdelingsfunctie $F$ op $\mathbb {R}$ aan. De constante $\sigma$ wordt Gauss-component genoemd. De functie $H$ heet Lévy-Khinchin-spectraalfunctie van $F$ respectievelijk $\varphi$, die op een niet-negatieve factor na de eigenschappen van een verdelingsfunctie heeft, de functies $M$ en $N$ heten Lévy-spectraalfuncties van respectievelijk $F$ en $\varphi$.
De beide kanonieke voorstellingen zijn generalisaties van een reeds eerder door Andrej Kolmogorov gevonden voorstelling, die echter alleen geldig is voor een verdeling met eindige variantie.