Определение 13. Скалярный случайный процесс второго порядка называется дифференцируемым в точке , если существует такая случайная величина , для которой
. (3.7)
При этом случайная величина называется его производной в этой точке.
Определение 14. Если скалярный случайный процесс второго порядка является дифференцируемым в каждой точке открытого множества , то его называют дифференцируемым на множестве .
Теорема 4 (необходимое и достаточное условие дифференцируемости случайного процесса). Для того, чтобы скалярный случайный процесс второго порядка был дифференцируемым в точке , а для случайной величины существовало математическое ожидание и дисперсия, необходимо и достаточно, чтобы функция была дифференцируема в этой точке и существовала вторая обобщенная смешанная производная от корреляционной функции при .
Следствие 1. Для дифференцируемого на множестве T скалярного случайного процесса второго порядка с математическим ожиданием и корреляционной функцией определен скалярный случайный процесс , и при этом, если скалярный случайный процесс есть процесс второго порядка, то
1) ; 2) .
Если к тому же еще и стационарный процесс, то
1) ; 2) .
Пример 2. Покажем, что пуассоновский процесс стохастически непрерывен, но не дифференцируем.
Действительно, пусть = - пуассоновский случайный процесс с параметром . Согласно определению, пуассоновского процесса имеет место независимость случайных величин и , которые распределены по Пуассону с параметрами и соответственно.
Если существует предел (3.7), а пространство полное, то по критерию Коши последовательность фундаментальна, если и только если она сходится.
Проверим, является ли последовательность фундаментальной, т.е. выполняется ли условие
. (3.8)
Возводя разность дробей в квадрат (3.8), можно переписать в виде суммы трех пределов. Учитывая, что , а пуассоновский процесс – процесс с независимыми приращениями, математическое ожидание от произведения дробей (случайных величин, пропорциональных приращениям случайного процесса на непересекающихся временных интервалах) в (3.8) «разваливается» на произведение соответствующих средних величин, которое, как нетрудно видеть, равно . Два оставшихся члена однотипны, и могут быть вычислены достаточно просто
Учитывая, что находим
Суммируя все сказанное, приходим к следующему выражению для математического ожидания в левой части (3.8)
Следовательно, можно выбрать последовательность с и не являющуюся фундаментальной. Тогда, согласно критерию Коши, предела (3.8) не существует, и следовательно, процесс не дифференцируем.