✨Hàm sinh mô men

Trong lý thuyết xác suất và thống kê, hàm sinh mô men (moment-generating function hay MGF) của một biến ngẫu nhiên là một mô tả thay thế cho hàm phân phối xác suất của nó. Do đó, nó cung cấp một cách tiếp cận khác đến các kết quả phân tích dữ liệu so với làm việc trực tiếp với hàm mật độ xác suất hay hàm phân phối tích lũy. Một số kết quả đặc biệt đơn giản tồn tại cho hàm sinh mô men của các phân phối được định nghĩa bởi tổng có trọng số của các biến ngẫu nhiên. Tuy nhiên, không phải biến ngẫu nhiên nào cũng có hàm sinh mô men.

Hàm sinh mô men, như tên gọi, có thể được sử dụng để tính toán các mô men của một phân phối xác suất: mô men thứ n tại điểm 0 là đạo hàm cấp n của hàm sinh mô men tại 0.

Ngoài các phân bố giá trị thực một biến, hàm sinh mô men cũng có thể được định nghĩa cho các biến ngẫu nhiên giá trị vectơ hoặc ma trận, và còn có thể được mở rộng cho các trường hợp tổng quát hơn.

Hàm sinh mô men của một phân bố giá trị thực không nhất thiết phải tồn tại, không giống hàm đặc trưng. Có một số quan hệ giữa hành vi của hàm sinh mô men của một phân phối và các tính chất của phân phối đó, chẳng hạn sự tồn tại của các mô men.

Định nghĩa

Cho $X$ là một biến ngẫu nhiên với hàm phân phối (cdf) $F\_X$. Hàm sinh mô men (mgf) của $X$ (hay của $F\_X$), ký hiệu $M\_X(t)$, được định nghĩa là

: $M\_X(t)\; =\; \backslash operatorname\; E\; \backslash left[e^\{tX\}\backslash right]$

với điều kiện là kỳ vọng này tồn tại cho mỗi điểm $t$ trong một lân cận của 0. Tức là, tồn tại số $h>0$ sao cho với mọi $t$ trên khoảng , $\backslash operatorname\; E\; \backslash left[e^\{tX\}\backslash right]$ tồn tại. Nếu kỳ vọng không tồn tại trong một lân cận của điểm 0, ta nói rằng hàm sinh mô men không tồn tại.

Nói cách khác, hàm sinh mô men của X chính là kỳ vọng của biến ngẫu nhiên $e^\{tX\}$. Tổng quát hơn, nếu $\backslash mathbf\; X\; =\; (X\_1,\; \backslash ldots,\; X\_n)^\{\backslash mathrm\{T$, hay với một vectơ ngẫu nhiên $n$-chiều, và $\backslash mathbf\; t$ là một vectơ cố định, ta sử dụng tích vô hướng $\backslash mathbf\; t\; \backslash cdot\; \backslash mathbf\; X\; =\; \backslash mathbf\; t^\backslash mathrm\; T\backslash mathbf\; X$ thay vì $tX$:

: $M\_\{\backslash mathbf\; X\}(\backslash mathbf\; t)\; :=\; \backslash operatorname\; E\; \backslash left(e^\{\backslash mathbf\; t^\backslash mathrm\; T\backslash mathbf\; X\}\backslash right).$

$M\_X(0)$ luôn tồn tại và bằng 1. Tuy nhiên một vấn đề quan trọng với hàm sinh mô men đó là các mô men và hàm sinh mô men có thể không tồn tại, vì các tích phân không nhất thiết phải hội tụ tuyệt đối. Trong khi đó, hàm đặc trưng hay biến đổi Fourier của hàm mật độ luôn tồn tại (do nó là tích phân của một hàm bị chặn trên một không gian với độ đo hữu hạn), và có thể thay vào đó được sử dụng cho một số mục đích.

Hàm sinh mô men có tên như vậy bởi vì nó có thể được sử dụng để tìm các mô men của phân phối. Khai triển chuỗi của $e^\{tX\}$ là

: $e^\{t\backslash ,X\}\; =\; 1\; +\; t\backslash ,X\; +\; \backslash frac\{t^2\backslash ,X^2\}\{2!\}\; +\; \backslash frac\{t^3\backslash ,X^3\}\{3!\}\; +\; \backslash cdots\; +\backslash frac\{t^n\backslash ,X^n\}\{n!\}\; +\; \backslash cdots.$

Từ đó ta có

:

trong đó $m\_n$ là mô men cấp $n$. Lấy đạo hàm $M\_X(t)$ $i$ lần theo biến $t$ và đặt $t\; =\; 0$, ta nhận được mô men cấp thứ $i$ quanh điểm gốc, $m\_i$.

Nếu $X$ là một biến ngẫu nhiên liên tục, quan hệ sau đây giữa hàm sinh mô men của nó $M\_X(t)$ và biến đổi Laplace hai phía của hàm mật độ xác suất của nó $f\_X(x)$ được thỏa mãn:

: $M\_X(t)\; =\; \backslash mathcal\{L\}\{f\_X\}(-t),$

bởi biến đổi Laplace hai phía của hàm mật độ được cho bằng

: $\backslash mathcal\{L\}\{f$X}(s) = \int{-\infty}^\infty e^{-sx} f_X(x)\, dx,

và hàm sinh mô men được định nghĩa mở rộng (bởi luật hàm biến ngẫu nhiên) là

: $M$X(t) = \operatorname E \left[e^{tX}\right] = \int{-\infty}^\infty e^{tx} f_X(x)\, dx.

Hàm đặc trưng $\backslash varphi\_X(t)$ có liên hệ sau với hàm sinh mô men: $\backslash varphi$X(t) = M{iX}(t) = M_X(it): hàm đặc trưng chính là hàm sinh mô men của iX hay hàm sinh mô men của X khi được tính trên trục ảo.

Ví dụ

Dưới đây là một số ví dụ về hàm sinh mô men và hàm đặc trưng của một số phân phối xác suất để so sánh. Có thể thấy rằng hàm đặc trưng là một phép quay Wick của hàm sinh mô men $M\_X(t)$ khi nó tồn tại.

:
Cauchy nhiều chiều
$\backslash operatorname\{MultiCauchy\}(\backslash mu,\; \backslash Sigma)$
không tồn tại
$!\backslash ,\; e^\{i\backslash mathbf\{t\}^\{\backslash mathrm\{T\backslash boldsymbol\backslash mu\; -\; \backslash sqrt\{\backslash mathbf\{t\}^\{\backslash mathrm\{T\backslash boldsymbol\{\backslash Sigma\}\; \backslash mathbf\{t\}$
-
}

Tính toán

Hàm sinh mô men là kỳ vọng của một hàm của biến ngẫu nhiên, nó có thể được viết dưới dạng:

• Đối với một hàm khối xác suất rời rạc, $M$X(t)=\sum{i=0}^\infty e^{tx_i}\, p_i
• Đối với một hàm mật độ xác suất liên tục, $M$X(t) = \int{-\infty}^\infty e^{tx} f(x)\,dx
• Trong trường hợp tổng quát: $M$X(t) = \int{-\infty}^\infty e^{tx}\,dF(x), sử dụng tích phân Riemann–Stieltjes, và trong đó $F$ là hàm phân phối tích lũy. Đây chỉ đơn giản là biến đổi Laplace-Stieltjes của $F$, nhưng với dấu của đối số ngược lại.

Chú ý rằng đối với trường hợp mà $X$ có hàm mật độ xác suất liên tục $f(x)$, thì $M\_X(-t)$ là biến đổi Laplace hai phía của $f(x)$.

: $\backslash begin\{align\}\; M$X(t) & = \int{-\infty}^\infty e^{tx} f(x)\,dx \ & = \int_{-\infty}^\infty \left(1+ tx + \frac{t^2x^2}{2!} + \cdots + \frac{t^nx^n}{n!} + \cdots\right) f(x)\,dx \ & = 1 + tm_1 + \frac{t^2m_2}{2!} +\cdots + \frac{t^nm_n}{n!} +\cdots, \end{align}

trong đó $m\_n$ là mô men cấp thứ $n$.

Biến đổi tuyến tính của các biến ngẫu nhiên

Nếu biến ngẫu nhiên $X$ có hàm sinh mô men $M$X(t), thì $\backslash alpha\; X\; +\; \backslash beta$ có hàm sinh mô men $M${\alpha X + \beta}(t) = e^{\beta t}M_X(\alpha t)

: $M\_\{\backslash alpha\; X\; +\; \backslash beta\}(t)\; =\; E[e^\{(\backslash alpha\; X\; +\; \backslash beta)t\}]\; =\; e^\{\backslash beta\; t\}E[e^\{\backslash alpha\; Xt\}]\; =\; e^\{\backslash beta\; t\}M\_X(\backslash alpha\; t)$

Tổ hợp tuyến tính của các biến ngẫu nhiên độc lập

Nếu $S$n = \sum{i=1}^{n} a_i X_i, trong đó các X_i là các biến ngẫu nhiên độc lập và các a_i là hằng số, thì hàm mật độ xác suất của S_n là tích chập của các hàm mật độ tương ứng của mỗi X_i, và hàm sinh mô men của S_n được cho bởi:

: $M\_\{S$n}(t)=M{X_1}(a1t)M{X_2}(a2t)\cdots M{X_n}(a_nt) \, .

Biến ngẫu nhiên giá trị vectơ

Đối với biến ngẫu nhiên giá trị vectơ $\backslash mathbf\; X$ với các thành phần thực, hàm sinh mô men được cho bởi:

: $M\_X(\backslash mathbf\; t)\; =\; E\backslash left(e^\{\backslash langle\; \backslash mathbf\; t,\; \backslash mathbf\; X\; \backslash rangle\}\backslash right)$

trong đó $\backslash mathbf\; t$ là một vectơ và $\backslash langle\; \backslash cdot,\; \backslash cdot\; \backslash rangle$ là tích vô hướng.

Tính chất quan trọng

Hàm sinh mô men là dương và lồi logarit, với M(0) = 1.

Một tính chất quan trọng của hàm sinh mô men đó là nó xác định duy nhất phân phối xác suất. Nói cách khác, nếu $X$ và $Y$ là hai biến ngẫu nhiên và với mọi giá trị của t, ta có

: $M\_X(t)\; =\; M\_Y(t),\backslash ,$

thì

: $F\_X(x)\; =\; F\_Y(x)\; \backslash ,$

đối với mọi giá trị của x (hay một cách tương đương là X và Y có cùng phân phối xác suất). Tuy nhiên, phát biểu này không tương đuơng với phát biểu "nếu hai phân phối có các mô men giống nhau thì chúng bằng nhau tại mọi điểm." Điều này là do trong một số trường hợp, các mô men tồn tại nhưng hàm sinh mô men thì không, bởi vì giới hạn

: $\backslash lim${n \rightarrow \infty} \sum{i=0}^n \frac{t^im_i}{i!}

có thể không tồn tại. Phân phối log-chuẩn là một ví dụ về khi điều này xảy ra.

Tính toán các mô men

Hàm sinh mô men có tên gọi như vậy bởi vì nếu nó tồn tại trên một khoảng mở quanh t = 0, thì nó là hàm sinh lũy thừa của các mô men của phân phối xác suất:

: $m\_n\; =\; E\; \backslash left(X^n\; \backslash right)\; =\; M\_X^\{(n)\}(0)\; =\; \backslash left.\; \backslash frac\{d^n\; M$X}{dt^n}\right|{t=0}.

Điều này tức là, với n là một số nguyên không âm, mô men gốc cấp thứ n (tại điểm 0) chính là đạo hàm cấp n của hàm sinh mô men, tính ở điểm t = 0.

: