5.1.3. НОРМИРОВАННАЯ КОВАРИАЦИОННАЯ ФУНКЦИЯ
Для взаимной ковариационной функции справедливо неравенство
называемое неравенством для взаимных ковариационных функций. Доказать его можно следующим образом. Для любых действительных чисел а и математическое ожидание
поскольку в нем участвуют только неотрицательные величины. Это неравенство эквивалентно следующему:
Поэтому в предположении
Левая часть этого неравенства представляет собой квадратный трехчлен относительно не имеющий в силу последнего неравенства различных действительных корней. Поэтому дискриминант этого трехчлена не превосходит нуля, т. е.
Следовательно,
что завершает доказательство.
Рассматривая вместо тем же способом получаем неравенство для взаимных корреляционных функций:
Заметим, что
поэтому максимальные значения достигаются в и равны соответственно среднему квадрату и дисперсии процессов, т. е.
Следовательно, неравенство (5.12) можно записать как