Convolució de distribucions de probabilitat

La convolució (o producte de convolució) de dues distribucions de probabilitat és una operació entre distribucions de probabilitat que dóna com a resultat una altra distribució de probabilitat. Si ambdues distribucions tenen funció de densitat, aleshores la convolució queda determinada per la convolució ordinària de les funcions de densitat. Quan les distribucions estan concentrades en els nombres enters, llavors és redueix a una convolució discreta de les funcions de probabilitat. Des del punt de vista de les probabilitats, la propietat essencial de la convolució és que la distribució de la suma de dues variables aleatòries independents és la convolució de les distribucions de les variables. La convolució és important en Estadística matemàtica, per exemple, en l'estimació de densitats; i en Teoria de la probabilitat té un paper essencial en l'estudi de les distribucions infinitament divisibles.

Aquest article està dividit en dues parts. A la primera s'estudien la convolució de densitats i la convolució discreta, i a la segona el cas general.

Convolució de funcions de densitat i convolució discreta

Convolució de funcions de densitat

Començarem tractant el cas més senzill i important on les dues distribucions de probabilitat tenen funció de densitat. Siguin $f_{1}$ i $f_{2}$ dues funcions de densitat. Es defineix la convolució de $f_{1}$ i $f_{2}$ , que es designa per $f_{1}*f_{2}$ , a la funció

$$f_{1}*f_{2}(x)=\int _{-\infty }^{\infty }f_{1}(x-u)f_{2}(u)\,du=\int _{-\infty }^{\infty }f_{2}(x-v)f_{1}(v)\,dv,\quad \quad (1)$$que és una funció de densitat. La igualtat entre ambdues integrals s'obté fent el canvi $v=x-u$ a la primera integral (la variable $x$ està fixada en aquestes integrals). De fet, en (1) s'hauria d'escriure $(f_{1}*f_{2})(x)$, però per simplificar l'escriptura s'omet el primer parèntesis. De l'expressió (1) es veu que la convolució és commutativa: $$f_{1}*f_{2}=f_{2}*f_{1}.$$Exemple 1. Siguin $f_{1}$ i $f_{2}$ dues densitats uniformes en l'interval [0,1]: $$f_{1}(x)=f_{2}(x)={\begin{cases}1,&{\text{si}}\ x\in [0,1],\\\\0,&{\text{altrament}}.\end{cases}}$$Vegeu la figura 1. Aleshores, $$f_{1}*f_{2}(x)={\begin{cases}x,&{\text{si}}\ x\in [0,1),\\\\2-x,&{\text{si}}\ x\in [1,2],\\\\0,&{\text{altrament}}.\end{cases}}$$Vegeu la figura 2. Aquesta densitat s'anomena densitat triangular.

Figura 1. Funcions de densitat $f_{1}$ i $f_{2}$

Figura 2. Funció de densitat $f_{1}*f_{2}$

Càlculs de l'Exemple 1

D'acord amb (1),

$$f_{1}*f_{2}(x)=\int _{-\infty }^{\infty }f_{1}(x-u)f_{2}(u)\,du=\int _{0}^{1}f_{1}(x-u)du.$$ Fem el canvi de variable $y=x-u$ i obtenim$$f_{1}*f_{2}(x)=\int _{x-1}^{x}f_{1}(y)\,dy.$$ Ara hem de distingir 3 casos:

• Cas 1. Si $x\in [0,1)$, vegeu la Figura 3, aleshores, atès que $f_{1}(y)$ és zero a menys que $y\in [0,1]$, tindrem $$f_{2}(x)=\int _{0}^{x}f_{1}(y)\,dy=x.$$

Figura 3. Càlcul de la funció de densitat $f_{2}$, cas 1

• Cas 2. Si $x\in (1,2]$, vegeu la Figura 4, aleshores,

$$f_{2}(x)=\int _{x-1}^{1}f_{1}(y)\,dy=x-2.$$

Figura 4. Càlcul de la funció de densitat $f_{2}$, cas 2

• Cas 3. Finalment, si $x\not \in [0,2]$, és clar que $f_{2}(x)=0$.

Convolució i independència

Siguin $X$ i $Y$ dues variables aleatòries independents, amb funcions de densitat $f_{X}$ i $f_{Y}$ respectivament. Aleshores la variable aleatòria $X+Y$ té funció de densitat $f_{1}*f_{2}$.

Demostració que si $X$ i $Y$ són independents, llavors la densitat de $X+Y$ és $f_{1}*f_{2}$

Figura 5. En verd el conjunt $D_{t}$ dels punts $(x,y)$ del pla tals que $x+y\leq t$ (amb $t$ positiu) .

La funció de distribució de $X+Y$ es pot calcular de la següent manera: Fixat $t\in \mathbb {R}$, sigui $D_{t}=\{(x,y):\ x+y\leq t\}$ Vegeu la Figura 1. Pel teorema de Fubini, $${\begin{aligned}F_{X+Y}(t)&=P(X+Y\leq t)=P{\big (}(X,Y)\in D_{t}{\big )}=\iint _{D_{t}}f_{(X,Y)}(x,y)\,dx\,dy{\underset {(*)}{=}}\iint _{D_{t}}f_{X}(x)\,f_{Y}(y)\,dx\,dy=\int _{x=-\infty }^{\infty }\int _{y=-\infty }^{t-x}f_{X}(x)f_{Y}(y)\,dx\,dy\\&=\int _{u=-\infty }^{\infty }\int _{y=-\infty }^{t}f_{X}(t-u)f_{Y}(y)\,du\,dy=\int _{y=-\infty }^{t}{\Big (}\int _{u=-\infty }^{\infty }f_{X}(t-u)f_{Y}(y)\,du{\Big )}dy.\end{aligned}}$$on la darrera igualtat de la dreta és deguda a que en ser $X$ i $Y$ independents, la funció de densitat conjunta del vector $(X,Y)$ és igual al producte de les marginals: $$f_{(X,Y)}(x,y)=f_{X}(x)\,f_{Y}(y).$$ Per tant,$$F_{X+Y}(t)=\int _{y=-\infty }^{t}{\Big (}\int _{u=-\infty }^{\infty }f_{X}(t-u)f_{Y}(y)\,du{\Big )}dy.$$

Això implica que la variable aleatòria $X+Y$ té funció de densitat donada per $$f_{X+Y}(x)=\int _{-\infty }^{\infty }f_{X}(x-u)f_{Y}(u)\,du=f_{X}*f_{Y}(x).$$

Continuació de l'Exemple 1. Siguin $X$ i $Y$ dues variables aleatòries independents amb distribució uniforme en l'interval [0,1]. Aleshores $X+Y$ té la distribució triangular que hem vist a l'exemple 1.
Propietat associativa i potència enèsima de convolució

Siguin $X,\ Y$ i $Z$ tres variables aleatòries independents, amb densitat. Del fet que $(X+Y)+Z=X+(Y+Z)$ es dedueix que la convolució és associativa: $$(f_{1}*f_{2})*f_{3}=f_{1}*(f_{2}*f_{3}).$$Aquesta propietat permet definir sense ambigüitat la potència enèsima de convolució d'una densitat $f$: $$f^{*n}=f*\cdots *f.$$També s'escriu $f^{n*}$ .

Exemple 2. Siguin $X_{1},\dots ,X_{n}$ variables aleatòries independents totes amb distribució uniforme en l'interval [0,1], com a l'exemple 1, amb funció de densitat $$f(x)={\begin{cases}1,&{\text{si}}\ x\in [0,1],\\\\0,&{\text{altrament}}.\end{cases}}$$La distribució de $S_{n}=X_{1}+\dots +X_{n}$ s'anomena distribució d'Irwin-Hall que té densitat donada per $f^{*n}$ , que val $$f^{*n}(x)={\begin{cases}{\displaystyle {\frac {1}{(n-1)!}}\sum _{j=0}^{n}(-1)^{j}{n \choose j}(x-j)_{+}^{n-1}},&{\text{si}}\ x\in [0,n],\\\\0,&{\text{altrament,}}\end{cases}}$$ on, per a un nombre real $r$ i un nombre natural $m$ ,$$(r)_{+}^{m}={\begin{cases}r^{m},&{\text{si}}\ r>0,\\0,&{\text{si}}\ r\leq 0.\end{cases}}$$

Convolució discreta

Considerem dues distribucions de probabilitat sobre els nombres naturals (zero inclòs) donades per les funcions de probabilitat (o de repartiment de massa) $p_{1}$ i $p_{2}$, això es, $p_{1},p_{2}:\mathbb {N} \to [0,1]$ , tals que $\sum _{n=0}^{\infty }p_{1}(n)=\sum _{n=0}^{\infty }p_{2}(n)=1$. Aleshores es defineix la seva convolució per $$p_{1}*p_{2}(n)=p_{1}(0)\,p_{2}(n)+p_{1}(1)\,p_{2}(n-1)+\cdots +p_{1}(n)\,p_{2}(0)=\sum _{k=0}^{\infty }p_{1}(k)p_{2}(n-k)=\sum _{k=0}^{\infty }p_{2}(k)p_{1}(n-k).\qquad (2)$$

Exemple 3. Siguin $p_{1}$ i $p_{2}$ dues funcions de probabilitat iguals corresponents a una distribució uniforme en el conjunt $\{1,2,\dots ,6\}$: $$p_{1}(1)=\cdots =p_{2}(6)={\frac {1}{6}}.$$Aleshores $p_{1}*p_{2}$ està concentrada en el conjunt $\{2,3,\dots ,12\}$ amb probabilitats:$$p_{1}*p_{2}(2)=\sum _{k=1}^{6}p_{1}(k)\,p_{2}(2-k)=p_{1}(1)\,p_{2}(1)={\frac {1}{36}}.$$$$p_{1}*p_{2}(3)=\sum _{k=1}^{6}p_{1}(k)\,p_{2}(3-k)=p_{1}(2)\,p_{2}(1)+p_{1}(1)\,p_{2}(2)={\frac {2}{36}}={\frac {1}{18}}.$$De manera similar es completa la taula:

$n$	2	3	4	5	6	7	8	9	10	11	12
$p_{1}*p_{2}(n)$	${\frac {1}{36}}$	${\frac {1}{18}}$	${\frac {1}{12}}$	${\frac {1}{9}}$	${\frac {5}{36}}$	${\frac {1}{6}}$	${\frac {5}{36}}$	${\frac {1}{9}}$	${\frac {1}{12}}$	${\frac {1}{18}}$	${\frac {1}{36}}$

Observacions.

1. La definició de convolució discreta es pot estendre a distribucions de probabilitat sobre els nombres enters: en aquest cas, les distribucions de probabilitat estaran donades per les funcions de probabilitat $p_{1},p_{2}:\mathbb {Z} \to [0,1]$ , tals que $\sum _{n=-\infty }^{\infty }p_{1}(n)=\sum _{n=-\infty }^{\infty }p_{2}(n)=1$. Llavors$$p_{1}*p_{2}(n)=\sum _{k=-\infty }^{\infty }p_{1}(n-k)p_{2}(k)=\sum _{k=-\infty }^{\infty }p_{2}(n-k)p_{1}(k),\ n\in \mathbb {Z} .$$
2. En general, si considerem dues successions de nombres ${\boldsymbol {a}}=(a_{0},a_{1},\dots )$ i ${\boldsymbol {b}}=(b_{0},b_{1},\dots )$, sigui $$c_{n}=a_{0}b_{n}+a_{1}b_{n-1}+\cdots a_{n}b_{0}=\sum _{j=0}^{n}a_{j}b_{n-j},\quad n=0,1,\dots$$ Aleshores es diu que la successió ${\boldsymbol {c}}=(c_{0},c_{1},\dots )$ és la convolució de les successions ${\boldsymbol {a}}$ i ${\boldsymbol {b}}$ i s'escriu$${\boldsymbol {c}}={\boldsymbol {a}}*{\boldsymbol {b}}.$$

Com en els cas de variables aleatòries amb densitat tenim

Propietat. Siguin $X$ i $Y$ dues variables aleatòries independents que només prenen valors enters, amb funcions de probabilitat $p_{X}$ i $p_{Y}$ respectivament. Aleshores la variable aleatòria $X+Y$ té funció de probabilitat $p_{X}*p_{Y}$.

Continuació de l'Exemple 3. Tirem dos daus i siguin $X$ i $Y$ el resultat que surt. Evidentment, $X$ i $Y$ són independents. Llavors, la funció de probabilitat de $X+Y$ serà la que hem vist a l'Exemple 3.

Definició general

En aquest apartat donarem la definició general de convolució de distribucions de probabilitat; més endavant recuperarem els dos casos particulars anteriors, i veurem també la definició en termes de funcions de distribució. Cal remarcar que es pot definir la convolució de dues mesures a $(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} )$ que no cal que siguin probabilitats; vegeu, per exemple, Schilling , però en aquest article ens limitarem al cas de probabilitats.

Recordem que una distribució de probabilitat $P$ a $\mathbb {R}$ és una mesura de probabilitat a l'espai mesurable $(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$, on ${\mathcal {B}}(\mathbb {R} )$ és la $\sigma$ -àlgebra de Borel sobre $\mathbb {R}$, és a dir, $P:{\mathcal {B}}(\mathbb {R} )\to [0,1]$ , tal que $P(\mathbb {R} )=1$ i és $\sigma$-additiva: Si $A_{1},A_{2}\dots \in {\mathcal {B}}(\mathbb {R} )$ són disjunts dos a dos, $A_{i}\cap A_{j}=\emptyset$ , si $i\neq j$ , aleshores$$P{\Big (}\bigcup _{n=1}^{\infty }A_{n}{\Big )}=\sum _{n=1}^{\infty }P(A_{n}).$$

Definició. Donades dues distribucions de probabilitat a $\mathbb {R}$, $P_{1}$ i $P_{2}$, la seva convolució o producte de convolució és la distribució de probabilitat a $\mathbb {R}$ definida per $$P_{1}*P_{2}(A)=\int _{\mathbb {R} }P_{1}(A-x)\,dP_{2}(x)=\int _{\mathbb {R} }P_{2}(A-x)\,dP_{1}(x),\quad A\in {\mathcal {B}}(\mathbb {R} ),\qquad \qquad (3)$$on$$A-x=\{a-x,\,a\in A\}.$$

De manera, equivalent , $$P_{1}*P_{2}(A)=\iint _{\mathbb {R} ^{2}}{\boldsymbol {1}}_{A}(x+y)\,dP_{1}(x)\,dP_{2}(y),\qquad \qquad (4)$$ on$${\boldsymbol {1}}_{C}(z)={\begin{cases}1,&{\text{si }}z\in C,\\0,&{\text{en cas contrari}},\end{cases}}$$ és la funció indicador d'un conjunt $C$.

Demostració de la igualtat de (3) i (4)

La demostració és una conseqüència del Teorema de Fubini (vegeu les notacions i definicions dels espais de mesura producte en aquella pàgina). En primer lloc, notem que la integral doble que apareix a (4) és pot escriure $$\iint _{\mathbb {R} ^{2}}{\boldsymbol {1}}_{A}(x+y)\,dP_{1}(x)\,dP_{2}(y)=\int _{R^{2}}{\boldsymbol {1}}_{A}(x+y)\,d(P_{1}\times P_{2})(x,y),$$on $P_{1}\times P_{2}$ és la mesura producte definida en l'espai producte $(\mathbb {R} \times \mathbb {R} ,{\mathcal {B}}(\mathbb {R} )\otimes {\mathcal {B}}(\mathbb {R} ),P_{1}\times P_{2})$ i tingueu en compte que ${\mathcal {B}}(\mathbb {R} )\otimes {\mathcal {B}}(\mathbb {R} )=\mathbb {B} (\mathbb {R} ^{2})$ . Per tant, volem demostrar $$\int _{\mathbb {R} ^{2}}{\boldsymbol {1}}_{A}(x+y)\,d(P_{1}\times P_{2})(x,y)=\int _{\mathbb {R} }P_{1}(A-x)\,dP_{2}(x)=\int _{\mathbb {R} }P_{2}(A-x)\,dP_{1}(x).$$Com veurem, això és exactament el Teorema de Fubini aplicat a la funció$${\begin{aligned}&\quad \mathbb {R} ^{2}\to \mathbb {R} \\&(x,y)\mapsto {\boldsymbol {1}}_{A}(x+y)\end{aligned}}\qquad (*)$$En efecte, aquesta funció és ${\mathcal {B}}(\mathbb {R} ^{2})$-mesurable ja que és la composició les funcions ${\boldsymbol {1}}_{A}$ i la funció suma $S(x,y)=x+y$ . Fixada $x$, la secció de la funció (*) és $${\begin{aligned}&\mathbb {R} \to \mathbb {R} \\&y\mapsto {\boldsymbol {1}}_{A-x}(y)\end{aligned}}$$Llavors, pel Teorema de Fubini,$$\int _{\mathbb {R} ^{2}}{\boldsymbol {1}}_{A}(x+y)\,d(P_{1}\times P_{2})(x,y)=\int _{\mathbb {R} }{\Big (}\int _{\mathbb {R} }{\boldsymbol {1}}_{A-x}(y)\,dP_{2}(y){\Big )}dP_{1}(x)=\int _{\mathbb {R} }P_{2}(A-x))dP_{1}(x).$$

La convolució com a mesura imatge de la funció suma. D'altra banda, de (4) es dedueix que $P_{1}*P_{2}$ és la mesura imatge de la mesura producte $P_{1}\times P_{2}$ per la funció suma $S(x,y)=x+y$. Vegeu les definicions i notacions de la mesura producte a la pàgina Teorema de Fubini.

Integració respecte d'una convolució. Sigui $h:\mathbb {R} \to \mathbb {R}$ una funció mesurable, positiva o integrable respecte $P_{1}*P_{2}$. Aleshores, de la propietat anterior i del teorema de la mesura imatge, $$\int _{\mathbb {R} }h\,d(P_{1}*P_{2})=\int _{\mathbb {R} ^{2}}h(x+y)\,d(P_{1}\times P_{2})(x,y)=\iint _{\mathbb {R} ^{2}}h(x+y)\,dP_{1}(x)\,dP_{2}(y).\qquad \qquad (5)$$

Propietat fonamental: Convolució i suma de variables aleatòries independents.

Sigui $(\Omega ,{\mathcal {A}},\mathbb {P} )$ un espai de probabilitat. Donada una variable aleatòria $Z$, la seva distribució $P_{Z}$ és la distribució de probabilitat a $\mathbb {R}$ definida per $$P_{Z}(A)=\mathbb {P} {\big (}\{Z\in A\}{\big )},\quad A\in {\mathcal {B}}(\mathbb {R} ).$$

Propietat. Siguin $X$ i $Y$ dues variables aleatòries independents. Aleshores $$P_{X+Y}=P_{X}*P_{Y}.$$

Demostració que si $X$ i $Y$ són independents, llavors $P_{X+Y}=P_{X}*P_{Y}.$

En primer lloc, $P_{X+Y}$ és la imatge de la distribució del vector aleatori $(X,Y)$, $P_{(X,Y)}$ , per la funció suma $S(x,y)=x+y$; en les notacions de , $$P_{X+Y}=P_{(X,Y)}\circ S^{-1},$$ja que per a $A\in {\mathcal {B}}(\mathbb {R} )$, $$P_{X+Y}(A)=\mathbb {P} (X+Y\in A)=\mathbb {P} {\big (}(X,Y)\in S^{-1}(A){\big )}=P_{(X,Y)}{\big (}S^{-1}(A){\big )}={\big (}P_{(X,Y)}\circ S^{-1}{\big )}(A).$$En segon lloc, com que $X$ i $Y$ són independents, $$P_{(X,Y)}=P_{X}\times P_{Y}.$$ Llavors, $$P_{X+Y}=P_{(X,Y)}\circ S^{-1}=(P_{X}\times P_{Y})\circ S^{-1}=P_{X}*P_{Y},$$d'acord amb una propietat que hem vist anteriorment.

Observació. Donada una distribució de probabilitat $P$, sempre es pot construir un espai de probabilitat i una variable aleatòria $X$ tal que $P=P_{X}$ . Això permet definir la convolució a partir de la suma de variables independents .

La convolució és commutativa i associativa $$P_{1}*P_{2}=P_{2}*P_{1}\quad {\text{i}}\quad (P_{1}*P_{2})*P_{3}=P_{1}*(P_{2}*P_{3}).$$Com en el cas de les funcions de densitat, es defineix la potència enèsima de convolució de $P$ per $$P^{*n}=P*\cdots *P.$$Convolució i funcions característiques. Recordem que la funció característica d'una distribució de probabilitat $P$ és la funció $\varphi _{P}:\mathbb {R} \to \mathbb {C}$ definida per $$\varphi _{P}(t)=\int _{\mathbb {R} }e^{itx}\,dP(x),\quad t\in \mathbb {R} .$$Una propietat molt important de la convolució és que la funció característica d'una convolució és el producte de les funcions característiques:$$\varphi _{P_{1}*P_{2}}(t)=\varphi _{P_{1}}(t)\,\varphi _{P_{2}}(t),\quad {\text{per a qualsevol }}t\in \mathbb {R} .$$Aquesta propietat es deriva directament de (5).

Relacions amb les altres nocions de convolució

Convolució de funcions de densitat.

Si les distribucions de probabilitat $P_{1}$ i $P_{2}$ tenen funcions de densitat $f_{1}$ i $f_{2}$ respectivament, aleshores $P_{1}*P_{2}$ té funció de densitat $f_{1}*f_{2}$ , és a dir, $$P_{1}*P_{2}(A)=\int _{A}f_{1}*f_{2}(v)\,dv,\ {\text{per a qualsevol}}\ A\in {\mathcal {B}}(\mathbb {R} ).$$

Cas amb densitats. Demostració que la densitat de $P_{1}*P_{2}$ és$f_{1}*f_{2}$

N'hi ha prou amb considerar un conjunt de la forma $A=(-\infty ,a]$ . Llavors,$${\begin{aligned}P_{1}*P_{2}{\big (}(-\infty ,a]{\big )}&=\int _{-\infty }^{\infty }P_{1}{\big (}(-\infty ,a-x]{\big )}\,dP_{2}(x)=\int _{x=-\infty }^{\infty }{\Big (}\int _{u=-\infty }^{a-x}f_{1}(u)\,du{\Big )}f_{2}(x)dx{\underset {(*)}{=}}\\&\int _{x=-\infty }^{\infty }{\Big (}\int _{v=-\infty }^{a}f_{1}(v-x)\,dv{\Big )}f_{2}(x)dx=\int _{v=-\infty }^{a}{\Big (}\int _{x=-\infty }^{\infty }f_{1}(v-x)\,f_{2}(x)dx{\Big )}dv=\int _{-\infty }^{a}f_{1}*f_{2}(v)\,dv,\end{aligned}}$$on al pas (*) hem fet el canvi de variables $v=u+x$ i després hem aplicat el Teorema de Fubini per intercanviar l'ordre de les integrals.

Convolució discreta

Suposem que les distribucions de probabilitat $P_{1}$ i $P_{2}$ estiguin concentrades en els nombres naturals, amb funcions de probabilitat respectives $p_{1}$ i $p_{1}$, això és, $$P_{1}(\{n\})=P_{1}(n)\quad {\text{i}}\quad P_{2}(\{n\})=p_{2}(n),\quad n\in \mathbb {N} .$$Aleshores la funció de probabilitat de $P_{1}*P_{2}$ és $p_{1}*p_{2}$ donada a (2).

Convolució d'una funció de densitat i una distribució

Definició. Donada una funció de densitat $f_{1}$ i una distribució de probabilitat $P_{2}$ es defineix la convolució $f_{1}*P_{2}$ per $$f_{1}*P_{2}(x)=\int _{\mathbb {R} }f_{1}(x-y)\,dP_{2}(y).$$

Propietat. Suposem que la distribució de probabilitat $P_{1}$ té funció de densitat $f_{1}$ i sigui $P_{2}$ una altra distribució de probabilitat. Aleshores $P_{1}*P_{2}$ té funció de densitat $f_{1}*P_{2}$. És a dir, $$P_{1}*P_{2}(A)=\int _{A}(f_{1}*P_{2})(x)\,dx,\quad A\in \mathbb {B} (\mathbb {R} ).$$Exemple 4. Sigui $P_{1}$ una distribució uniforme (contínua) en l'interval [0,1] (vegeu l'Exemple 1 més amunt), i $P_{2}$ una distribució uniforme (discreta) en el conjunt $\{0,1\}$ . Aleshores $P_{1}*P_{2}$ té una densitat donada per $$f_{1}*P_{2}(x)=\int _{-\infty }^{\infty }f_{1}(x-y)\,dP_{2}(y)={\frac {1}{2}}f_{1}(x)+{\frac {1}{2}}f_{1}(x-1)={\begin{cases}{\frac {1}{2}},&{\text{si}}\ x\in [0,2]\\0,&{\text{altrament}}.\end{cases}}$$Per tant, es tracta d'una distribució uniforme (contínua) en [0,2]. Des del punt de vista probabilístic, si $X$ té una distribució uniforme en [0,1] i $Y$ una distribució uniforme discreta en $\{0,1\}$, i són independents, aleshores la funció de distribució de $X+Y$ és$F_{X+Y}(t)=\mathbb {P} (X+Y\leq t)={\frac {1}{2}}\,\mathbb {P} (X+Y\leq t\,\vert \,Y=0)+{\frac {1}{2}}\,\mathbb {P} (X+Y\leq t\,\vert \,Y=1)={\frac {1}{2}}\,\mathbb {P} (X\leq t)+{\frac {1}{2}}\,\mathbb {P} (X+1\leq t).$

Llavors,

• Si $t<0$, $F_{X+Y}(t)=0$.
• Si $t\in [0,1]$, $F_{X+Y}(t)={\frac {1}{2}}\,t$.
• Si $t\in [1,2]$, llavors $$F_{X+Y}(t)={\frac {1}{2}}(t-1)+{\frac {1}{2}}={\frac {1}{2}}\,t.$$
• Si $x>2$, $F_{X+Y}(t)=1$.

Que és la funció de distribució d'una distribució uniforme en l'interval [0,2].

Més generalment, tenim la següent propietat

Propietats de suavització . Sigui $P_{1}$ una distribució de probabilitat amb funció de densitat $f_{1}$ i $P_{2}$ una altra distribució de probabilitat. Suposem que $f_{1}$ és $n$ vegades diferenciable i $$\vert f_{1}^{(j)}(x)\vert <C_{j},\ \forall x\in \mathbb {R} ,\ j=1,\dots ,n.$$Aleshores la densitat de $P_{1}*P_{2}$, que d'acord amb la propietat anterior és $f_{1}*P_{2}$, és $n-1$ vegades diferenciable i compleix $$\vert (f_{1}*P_{2})^{(j)}(x)\vert <C_{j},\,\forall x\in \mathbb {R} ,\ j=1,\dots ,n-1,$$i si la derivada d'ordre $n$ també existeix, llavors$$\vert (f_{1}*P_{2})^{(n)}(x)\vert <C_{n},\,\forall x\in \mathbb {R} .$$

Convolució de funcions de distribució

Hi ha una correspondència bijectiva entre les distribucions de probabilitat i les funcions de distribució. No és estrany que hi hagi autors que prefereixin definir la convolució mitjançant funcions de distribució. La correspondència a la que ens referíem és la següent: Si $F$ és una funció de distribució, defineix una distribució de probabilitat per la fórmula $$P{\big (}(a,b]{\big )}=F(b)-F(a),\quad {\text{per a qualsevols }}a\leq b.$$Recíprocament, donada una distribució de probabilitat $P$ a $\mathbb {R}$, es defineix una funció de distribució$F$ mitjançant $$F(x)=P{\big (}(-\infty ,x]{\big )},\quad x\in \mathbb {R} .$$Sigui $F$ una funció de distribució corresponent a una distribució de probabilitat $P$ i $h:\mathbb {R} \to \mathbb {R}$ una funció mesurable positiva o $P$-integrable. Aleshores es denota la integral de Lebesgue-Stieltjes de $h$ respecte de $F$ per$\int _{-\infty }^{\infty }h(x)\,dF(x),$ i tenim que$$\int _{-\infty }^{\infty }h(x)\,dF(x)=\int _{\mathbb {R} }h(x)\,dP(x).$$Definició. Donades dues funcions de distribució $F_{1}$ i $F_{2}$ es defineix la seva convolució per$$F_{1}*F_{2}(x)=\int _{-\infty }^{\infty }F_{1}(x-y)\,dF_{2}(y)=\int _{-\infty }^{\infty }F_{2}(x-y)\,dF_{1}(y).$$Òbviament, tenim que si $F_{1}$ i $F_{2}$ són les funcions de distribució de $P_{1}$ i $P_{2}$ respectivament, aleshores $F_{1}*F_{2}$ és la funció de distribució de $P_{1}*P_{2}$. És a dir, per a qualsevol $t\in \mathbb {R}$, $$F_{1}*F_{2}(t)=P_{1}*P_{2}{\big (}(-\infty ,t]{\big )}.$$

Convolució d'una funció de densitat i una funció de distribució

Definició. Sigui $f_{1}$ una funció de densitat i $F_{2}$ una funció de distribució. Es defineix la convolució $f_{1}*F_{2}$ per $$f_{1}*F_{2}(x)=\int _{-\infty }^{\infty }f_{1}(x-y)\,dF_{2}(y).$$

Naturalment, com en la situació anterior, si $F_{1}$ i $F_{1}$ són dues funcions de distribució i $F_{1}$ té densitat $f_{1}$, aleshores $F_{1}*F_{2}$ té densitat $f_{1}*F_{2}$.
Comentari. Tal com diu Hoffmann-Jorgensen , és inconsistent utilitzar el mateix símbol $*$ per diferents convolucions, però aquesta és la tradició.

Convolució en el cas multidimensional

La convolució de dues distribucions de probabilitat a $\mathbb {R} ^{n}$ es defineix exactament igual com en el cas unidimensional, vegeu per a les propietats i les seves demostracions.

Vegeu també

• Convolució

Bibliografia

• Billingsley, Patrick. Probability and measure. 2nd ed. New York: Wiley, 1986. ISBN 978-0-471-80478-9. 
• Cuppens, Roger. Decomposition of multivariate probabilities. New York: Academic Press, 1975. ISBN 978-0-12-199450-1. 
• Feller, William. Introducción a la teoría de probabilidades y sus aplicaciones, Vol. 1. México: Editorial Limusa-Wiley, S. A., 1973. 
• Hoffmann-Jørgensen, Jørgen. Probability with a view toward statistics. 1. Boca Raton: CRC Press, 2003. ISBN 978-0-412-05221-7. 
• Moran, Patrick A. P.. An introduction to probability theory. Oxford: Clarendon Press, 1986. ISBN 978-0-19-853242-2. 
• Schilling, René L. Measures, integrals and martingales. Cambridge: Cambridge University Press, 2005. ISBN 978-0-521-61525-9.