Числовые характеристики распределений
Дисперсия и моменты старших порядков
Определение 37.
Пусть . Число
называется моментом порядка
или
-м моментом
случайной величины
,
число
называется абсолютным
-м
моментом,
называется центральным
-м моментом,
и
-
абсолютным центральным
-м моментом} случайной величины
.
Число
(центральный момент второго порядка) называется
дисперсией
случайной величины
.
Пример 52.
Пусть, скажем, случайная величина принимает значение
с вероятностью
и значение
с вероятностью
. Посмотрим, как моменты
разных
порядков реагируют на большие, но маловероятные значения
случайной величины:
![{\mathsf E\,}\,\xi\;&=&0\,\cdot \,0{,}99999\, + \,100\,\cdot\, 0{,}00001=
\,0{,}001, \\
{\mathsf E\,}\xi^2&=&0^2\cdot 0{,}99999+
{100}^2\cdot 0{,}00001=0{,}1, \\
{\mathsf E\,}\xi^4&=&0^4\cdot 0{,}99999+{100}^4\cdot 0{,}00001=1\,000,\\
{\mathsf E\,}\xi^6&=&0^6\cdot 0{,}99999+{100}^6\cdot 0{,}00001=10\,000\,000.](/sites/default/files/tex_cache/ec9562f9ae4129685d18fe4196cb6c57.png)
Пример 53.
Дисперсия есть
"среднее значение квадрата отклонения случайной величины
от своего
среднего". Посмотрим, за что эта величина отвечает.
Пусть случайная величина принимает значения
с равными вероятностями, а случайная величина
-
значения
с равными вероятностями.
Тогда
, поэтому
,
.
Говорят, что дисперсия характеризует степень разброса
значений случайной величины вокруг ее математического ожидания.
Определение 38.
Число называют
среднеквадратическим отклонением случайной величины
.
Чтобы прояснить связь моментов разных порядков, докажем несколько неравенств. Во-первых, получим очевидное утверждение, обеспечивающее существование моментов меньших порядков, если существуют моменты более высокого порядка.
Теорема 31.
Если существует момент порядка случайной величины
, то
существуют и ее моменты порядка
при
.
Доказательство. Для любого числа верно неравенство
![|x|^s\le \max\{\,|x|^t,\;1\}\,\le \,|x|^t+1.](/sites/default/files/tex_cache/1036a35d65463e0b8d79da3950a63fe2.png)
![|x|^s\le |x|^t](/sites/default/files/tex_cache/af3f9920c186935c4f4f57b83148e070.png)
![|x|>1](/sites/default/files/tex_cache/43ca828e4d8909190ae602a6659d7114.png)
![|x|^s\le 1](/sites/default/files/tex_cache/8a1a4b09c525478ebf078e7363f21638.png)
![|x|\le 1](/sites/default/files/tex_cache/fd774b88ebf0544ff4722adb295606a8.png)
Из этого неравенства следует, что
для всех
. Но следствие 11 позволяет
из неравенства для случайных величин получить такое же
неравенство для их математических ожиданий:
![{\mathsf E\,}|\xi|^s\le{\mathsf E\,}|\xi|^t+1.](/sites/default/files/tex_cache/05474db70d8d6aa113bc216fc6babc2c.png)
![t](/sites/default/files/tex_cache/e358efa489f58062f10dd7316b65649e.png)
![{\mathsf E\,}|\xi|^t<\infty](/sites/default/files/tex_cache/566c8769d37a3f9c4c7cafcba47c522a.png)
![{\mathsf E\,}|\xi|^s<\infty](/sites/default/files/tex_cache/0ef2c7347e9e5b9ef39f685f5be93175.png)
Докажем еще одно чрезвычайно полезное неравенство.
Теорема 32 (неравенство Йенсена).
Пусть вещественнозначная функция
"выпукла вниз",
т.е. ее надграфик есть выпуклое множество. Тогда для
любой случайной величины
с конечным первым моментом верно
неравенство:
.
Для вогнутых функций знак неравенства
меняется на противоположный.
Доказательство. Нам понадобится следующее свойство.
Лемма 6.
Пусть функция выпукла. Тогда для всякого
найдется число
такое, что при всех
![g(x)\ge g(x_0) + c(x_0)(x-x_0).](/sites/default/files/tex_cache/7d2bc6843f8ce4b0ed04a0e439b40581.png)
Это свойство очевидно и означает, что график выпуклой функции лежит полностью выше любой из касательных к этому графику.
Возьмем в условиях леммы ,
.
Тогда
![g(\xi)\ge
g({\mathsf E\,}\xi)+c({\mathsf E\,}\xi)(\xi-{\mathsf E\,}\xi).](/sites/default/files/tex_cache/29319596942233241ab8591efb755436.png)
![{\mathsf E\,}(\xi-{\mathsf E\,}\xi)=0](/sites/default/files/tex_cache/3a66fb5bb20736ab94b370d8c8f663d3.png)
![{\mathsf E\,} g(\xi)\ge g({\mathsf E\,}\xi)](/sites/default/files/tex_cache/97c976e25ef3165ecc07928b1a5d81ed.png)
Следующее неравенство связывает моменты разных порядков.
Следствие 13.
Если , то для любого
![\sqrt[\mbox{\small $s$ }]{{\mathsf E\,}{|\xi|}^s} \le
\sqrt[\mbox{\small $t$ }]{{\mathsf E\,}{|\xi|}^t}](/sites/default/files/tex_cache/957bedd7a78784e259ce70a317aa89f1.png)
Доказательство.
Поскольку , то
- выпуклая
функция.
По неравенству Йенсена для
,
![({\mathsf E\,}{|\xi|^s})^{t/s}=({\mathsf E\,}\eta)^{t/s}=g({\mathsf E\,}\eta)
\le {\mathsf E\,} g(\eta)=
{\mathsf E\,}{|\eta|^{t/s}}={\mathsf E\,}{|\xi|^{s\cdot t/s}}=
{\mathsf E\,}{|\xi|^t}.](/sites/default/files/tex_cache/068dbaa32dae601caed037f45efcde3f.png)
![t](/sites/default/files/tex_cache/e358efa489f58062f10dd7316b65649e.png)
Из неравенства Йенсена вытекают, например, неравенства:
![\begin{align*}
\qquad\qquad{\mathsf E\,} e^{\xi} &\geq e^{{\mathsf E\,}\xi},
&{\mathsf E\,}\xi^2 &\geq ({\mathsf E\,}\xi)^2,
&{\mathsf E\,}|\xi| &\geq |{\mathsf E\,}\xi|,
\cr
{\mathsf E\,} \ln\xi &\leq \ln({\mathsf E\,}\xi),
&{\mathsf E\,} \frac{1}{\xi} &\geq \frac{1}{{\mathsf E\,}\xi},
&{\mathsf E\,} \sqrt{\mathstrut\xi} &\leq \sqrt{\mathstrut{\mathsf E\,}\xi}. \qquad\qquad
\end{align*}](/sites/default/files/tex_cache/9e25fed06245ff51400025be57623f51.png)
![\xi](/sites/default/files/tex_cache/195246810f9bfc228bca491859062b14.png)