 |
|
Определение СП. Сечения и реализации СП.
Лекция по случайным процессам (СП) № 1
1. Определение СП. Сечения и реализации СП. Моментные функции и их свойства.
2. СП с независимыми значениями.
3. СП с независимыми приращениями. Пуассоновский и Винеровский СП.
Определение СП. Сечения и реализации СП.
Не все встречающиеся на практике ситуации можно описать в терминах с.в. или случайных векторов.
Реальный эксперимент часто заключается в том, что прибор непрерывно регистрирует какую-либо характеристику и выдает ее либо в виде последовательности отсчетов через некоторые промежутки времени, либо в виде непрерывной кривой, которую рисует, например, самописец.
Если строить теоретико-вероятностную модель таких опытов, то мы придем к необходимости рассматривать одновременно бесконечное множество с.в. Это бесконечное множество может быть счетным (как последовательность отсчетов) или несчетным (как точки на непрерывной кривой).
Такого рода модели изучает теория случайных процессов. С простейшим представителем случайных процессов мы уже встречались, когда рассматривали последовательности независимых с.в. Но это самый простой случай, так как он ни имеет никакой вероятностной связи между отдельными с.в. Рассмотрим общий случай.
Определение. Пусть имеется некоторое множество Т вещественных чисел. Пусть по некоторому правилу каждому tÎT ставится в соответствие с.в. Xt=Xt(w), определенная на некотором вероятностном пространстве (W,F,P). Семейство таких с.в. Xt(w) называется случайной функцией Xt или случайным процессом.
Множество Т может быть счетным или несчетным. Если Т счетно, то Xt, tÎT называется СП с дискретным временем. Если Т несчетно, то Xt, tÎT называется СП с непрерывным временем.
Определенный выше СП можно рассматривать как функцию двух аргументов – числа tÎT и элементарного исхода wÎW.
Если зафиксировать t=t0, то мы получим с.в. Xt0 (w), которая называется сечением СП. Если зафиксировать элементарное событие w=w0, то получим неслучайную функцию Xt=Xt(w0), которая называется реализацией СП.
Если рассмотреть несколько сечений СП как с.вектор 
, то для него существует совместная функция распределения
.
Если взять другие моменты t1,…,tm и другое их число, то получим другую функцию распределения.
Определение. Совокупность функций распределения сечений СП для всех n³1 и любых t1,…,tnÎT называется семейством конечномерных распределений СП. Оно полностью определяет СП подобно тому как функция распределения полностью определяет с.величину или с.вектор.
Семейство конечномерных распределений обладает следующими свойствами, которые называются условиями согласования:
1. Для любой перестановки индексов (1,…,n) ®(k1,…,kn)
2. Для любых m, n, m<n
.
Кроме такой исчерпывающей характеристики как семейство конечномерных распределений используются характеристики СП, аналогичные моментам с.в. и с.векторов.
Определение. Функция
называется начальной моментной функцией k-го порядка для СП Xt (при условии, что МО в правой части существует).
Определение. Функция
a1(t)=MXt
называется МО СП и обозначается mt.
Определение. Функция
a11(t,s)=M XtXs
называется ковариационной функцией СП обозначается В(t,s).
Определение. Если для СП существует МО mt, то функция
называется центральной моментной функцией k-го порядка для СП Xt (при условии, что МО в правой части существует).
Определение. Функция
называется корреляционной функцией СП Xt и обозначается R(t,s).
Легко видеть, что
R(t,s)= В(t,s)- mtms.
Свойства корреляционной функции.
1. R(t,t)³0 "tÎT.
2. R(t,s)=R(s,t).
3. |R(t,s)|2£R(t,t)R(s,s)=DXtDXs, где DXt= R(t,t) – дисперсия СП.
(Мы доказали ранее, что коэффициент корреляции по модулю меньше 1, откуда и следует свойство 3).
4. R(t,s) – положительно определенная функция, то есть для любых t1,…,tnÎT и для любых z1,…,zn справедливо 
.
Свойство 4 легко доказывается если вспомнить, что корреляционная матрица с.вектора есть положительно определенная функция.
Определение. Функция
называется нормированной корреляционной функцией СП Xt.
Определение. Функция
называется взаимной корреляционной функцией СП Xt и Yt.
Если RXY(t,s)º0, то СП Xt и Yt называются некоррелированными.
Для комплекснозначных СП: 