Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ЕГОРОВ В.А.- Обработка траекторий случайных процессов

.pdf
Скачиваний:
93
Добавлен:
08.07.2017
Размер:
1.25 Mб
Скачать

 

 

 

 

 

 

 

 

t

 

 

 

 

t

 

 

 

 

 

 

D[Y (t)] 2 (t τ)K X (τ) dτ 2σ2X (t τ)e αt (1 ατ) dτ

 

 

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

2X

 

(t 3) e αt (αt

3) 1366.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача

4.3.

 

Известно, что

X (t) – стационарный

случайный процесс,

 

dX (t)

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

V (t)

,

 

 

Y (t) V (t1)dt1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Будет ли стационарным случайный процесс Y (t) ?

 

 

Решение.

KV

(τ)

d 2K X (τ)

, поэтому

 

 

 

 

 

 

dτ2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

t

 

d

2

 

 

 

 

 

 

D[Y (t)] 2 (t τ)K X (τ) dτ 2

(t τ)

 

K X (τ)dτ.

 

 

 

 

dτ2

 

 

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

С учетом того, что

 

dK X (0)

0

получим

 

 

 

 

dτ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D[Y (t)] 2 K X (τ)dτ 2K X (t) 2K X (0).

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

Поскольку дисперсия зависит от времени, то процесс Y (t) не является

стационарным процессом. ▼

 

 

 

 

 

 

 

 

Упражнения. Доказать соотношения

 

 

 

 

 

β

 

 

 

 

β

 

 

 

 

t

s

 

 

t s

1) X (t)dt, Y

 

X (t), Y dt ; 2)

X (u)du, X (v)dv

K (u,v)du dv.

α

 

 

 

 

α

 

 

 

 

α

α

 

 

α α

4.4. Интегралы по процессу с ортогональными приращениями

Определение 4.3. Процесс второго порядка X (t) называется процессом

 

E X

 

X

 

X

 

 

 

 

 

0

 

с ортогональными приращениями, если

t2

t1

t3

X

t4

для

 

 

 

 

 

 

 

 

 

любых непересекающихся интервалов (t1, t2], (t3, t4]. ▼

Построение стохастического интеграла по этому процессу разобьем на этапы.

1. Построение спектральной функции F . Построим такую неубы-

вающую действительную функцию F , что

21

F(t) F(s) E |X (t) X (s)|2, t s. (4.3)

Функцию F (t) назовем спектральной функцией.

Для построения F (t) выберем фиксированный момент времени t0 T и положим

F(t) E |X (t) X (t )|2

,

t t ,

F(t) E |X (t ) X (t)|2

,

t t

.

0

 

0

0

 

0

 

Проверим для этой функции соотношение (4.3). Поскольку для всех случаев проверка делается аналогично, ограничимся случаем t s t0 . Имеем

F (t) F (s) E | X (t) X (t0 )|2 E | X (s) X (t0)|2

E | X (t) X (s) X (s) X (t0 )|2 E | X (s) X (t0)|2 E |X (t) X (s)|2 .

2.Определение интеграла по процессу с ортогональными прираще-

ниями для ступенчатых функций. Определим поэтапно интеграл Стилтьеса по случайному процессу с ортогональными приращениями X (t) от неслу-

чайной функции f (t) .

 

 

Пусть

ступенчатая

функция f (t) определена формулой

f (t)

n1

 

 

 

 

 

 

ciI(t , t

](t),

где ti

точки непрерывности спектральной функции

F (t).

i0

i

i 1

 

 

 

 

 

 

 

 

 

 

Для функции

f (t)

интеграл определяется формулой

 

 

 

 

 

 

n 1

 

 

 

 

 

f (t)dX (t) ci(X (ti 1) X (ti)).

(4.4)

 

 

 

 

T

i 0

 

Напомним, что H – это гильбертово пространство случайных величин. Скалярное произведение в H определено равенством X , Y E(XY ). Пусть

L2 (dF ) – гильбертово пространство функций на множестве T со скалярным

произведением ( f , g) ( f (t), g (t))dF (t), где F – спектральная функция.

T

Соотношение (4.4) задает взаимно однозначное соответствие между ступен-

чатыми функциями f (t) из L2(T , dF ) и линейными комбинациями значений случайного процесса X (t). Покажем, что это соответствие сохраняет скалярные произведения, т. е.

22

f (t) dX (t),

g(t) dX (t)

( f , g).

(4.5)

T

T

 

 

Пусть даны две произвольные ступенчатые функции f и g . Если f и g имеют различные точки скачков, то, не умаляя общности, множества этих точек можно объединить, поэтому будем предполагать, что функции f и g имеют скачки в одинаковых точках.

Вычислим скалярное произведение интегралов от этих функций:

 

 

 

 

n1

 

 

n1

 

 

 

 

f (t) dX (t), g(t) dX (t)

 

ciI(t , t

](t),

d j I(t

j

, t

j 1

](t)

 

 

 

 

i0

i i 1

 

j0

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

cidi F (ti 1) F (ti )

f (t) g (t) dF (t) ( f , g).

 

i1

 

 

T

 

 

 

 

 

 

Равенство (4.5) доказано.

3. Построение стохастического интеграла в общем случае. Теперь распространим это соотношение с подмножества ступенчатых функций на

все гильбертово пространство L2 (dF ) .

Пусть f – произвольная функция из L2 (dF ) . Поскольку ступенчатые функции всюду плотны в L2 (dF ) , можно выбрать последовательность сту-

пенчатых функций fn таких, что fn f в метрике L2 (dF ). Значит, последо-

вательность fn является последовательностью Коши в L2 (dF ) .

Поскольку для ступенчатых функций построенное соответствие сохраняет скалярное произведение, последовательность интеграловfn dX (t) также является последовательностью Коши в пространстве H.

T

В силу полноты пространства H последовательность Коши fn dX (t) име-

T

ет в H предел. Этот предел сопоставим функции f и обозначим f dX (t).

T

При распространении соответствия равенство скалярных произведений сохраняется, поэтому для любых f и g выполняется равенство ( f , g)

E f dX (t) g dX (t) f g dF (t) .▼

23

E | A(ω) |2

Задача 4.4. Используя ковариационную функцию,

найти ковариацион-

 

 

t

 

ную функцию KY (s, t) случайного процесса Y (t) f (u) dX (u) .

 

 

0

 

Решение. Используя приближение интеграла интегральными суммами,

получим

 

 

 

s

t

 

 

KY (s, t) E

f (u) dX (u)

f (v) dX (v)

 

 

0

 

 

0

 

 

lim E

ti s

lim

ti s t j t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)( X (t ) X (t

))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

))

 

f

 

f

j

)( X (t

j

) X

(t

j 1

i

 

 

 

 

i

i 1

t j t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)E ( X (t ) X (t

 

 

 

 

 

 

 

 

 

)

 

 

f

) f (x

j

)) ( X (t

j

) X

(t

j 1

 

i

 

 

 

 

 

i

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

| f

) |2E | X (t ) X (t

) |2

 

 

 

 

i

i

i 1

 

 

 

 

ti min(s, t)

 

 

 

 

 

lim

 

| f i ) |2 (F (ti ) F (ti 1))

 

| f (u) |2 dF (u).

 

ti min(s, t)

 

 

 

umin(s, t)

 

В этих равенствах предполагается, что ξi [ti 1, ti ], i 1, ..., n , и что

пределы берутся при max(ti ti 1) 0 . Таким образом, доказано равенство

i n

 

 

KY (s, t)

 

| f (u)|2 dF (u).

umin(s, t)

5.ПРИМЕРЫ СТАЦИОНАРНЫХ СЛУЧАЙНЫХ ПРОЦЕСОВ

ВШИРОКОМ СМЫСЛЕ

Пример 5.1 (комплекснозначный случайный процесс, определяемый од-

ной случайной величиной). Пусть стационарный случайный процесс X (t) имеет вид X (t) f (t) A(ω) , где f (t) неслучайная комплекснозначная дифференцируемая функция, а A(ω) случайная величина, удовлетворяющая

условию 0 E | A |2 . Из стационарности случайного процесса X (t)

сле-

дует, что для любых моментов времени t и s

произведение f (t s)

 

(t)

f

 

 

 

 

 

 

 

 

EX (t s) X

(t)

не зависит от t. В частности,

положив s 0, получим,

что

 

 

24

функция | f (t) |2 не зависит от t. Следовательно, для некоторой веществен-

ной дифференцируемой функции

λ(t)

справедливо

представление

f (t) |f (0)| eiλ(t) f (0) eiλ(t) . Отсюда следует, что

 

 

d

 

 

d

 

 

 

 

 

 

0

 

f (t s) f (t) | f (0)|2

 

exp{i(λ(t s) λ(t))}

dt

dt

| f (0) |2 i exp{i(λ(t s) λ(t))}

d

(λ(t s) λ(t)).

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Такое равенство может выполняться, только если λ (t s) λ (t) для лю-

бых t и s , т. е. при условии, что λ (t) λ , где λ − постоянная. Таким образом, λ(t) λt c для некоторой константы c, а процесс X (t) может быть представлен в виде X (t) A(ω) f (0) ei c ei λ t X (0) ei λ t . Процесс X (t) называется гармоническим процессом (гармоническим сигналом). Его ковариационная матрица равна K(t) E | X (0) |2 ei λ t .

В технической литературе этот процесс часто записывают в форме

X (t) X exp {i( 2 π f0 t θ)}, где X − амплитуда; f0 − частота,

1

− пери-

 

 

f0

од, θ − фаза процесса. ▼

 

 

Пример 5.2 (комплекснозначный случайный процесс, определяемый несколькими случайными величинами). В качестве обобщения примера 5.1 мож-

 

n

но рассмотреть случайный процесс X (t) Aj ei λ j t , зависящий от n не-

 

j 1

коррелированных случайных величин A , ..., A с ковариационной функцией

1

n

K (s) n E | A |2 eiλ j s .

j

j 1

Пример 5.3 (комплекснозначный случайный процесс, определяемый бесконечным числом случайных величин). Последняя модель может быть распро-

 

 

 

странена на

бесконечное число слагаемых: X (t) Aj ei λ j t ,

 

 

j 1

 

 

 

K (s) E |Aj|2 eiλ j s при условии

E |Aj|2 .

j1

 

j 1

25

Пример 5.4 (почти периодические процессы). Почти периодические процессы это процессы, представимые в виде конечной или бесконечной суммы гармонических процессов с несоизмеримыми частотами, например

Y (t) X1cos (2t θ1) X2cos (3t θ2) X3cos (50t θ3).

Исследование таких процессов наиболее сложно.

Пример 5.5 (полигармонические процессы). Полигармонические процес-

сы – это периодические процессы, представимые своими рядами Фурье со случайными коэффициентами:

 

 

 

 

 

 

 

 

a0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X (t)

(an cos(2πnf1t) bn sin (2πnf1t)))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C e2πinf1 ,

 

 

 

 

 

 

 

 

X

0

 

 

X

n

cos (2πnf t) θ)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

n

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

a0

 

 

 

 

 

 

 

 

 

 

 

 

arctg

bn

 

где f

частота;

 

T

 

период; X

0

 

,

 

X

n

 

 

a2

b2

, θ

n

,

1

 

 

 

 

 

 

 

 

 

f1

 

 

 

 

2

 

 

 

 

 

 

n

n

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

1

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

T

 

 

 

 

 

 

 

 

X0

0

,

an

 

 

 

 

x(t) cos (2πnf1t) dt,

bn

 

 

 

x(t) sin (nf1t)) dt.

 

2

T

 

T

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

Полигармонические процессы в общем случае не являются стационарными, но стационарны при ортогональности коэффициентов.

Замечание. Траектории рассмотренных процессов являются периодическими или почти периодическими функциями, но они стационарны в широком смысле.

Пример 5.6 (дискретный белый шум). Последовательность случайных величин{ξn} с нулевым математическим ожиданием называется дискретным

белым шумом, если она стационарна в широком смысле и K (0) σ2, K(n) 0, n 0. Значения шума в различные моменты времени ортогональ-

ны. При σ2 1 белый шум {ξn} является ортонормированной последовательностью. В этом случае с помощью {ξn} удобно определять другие случайные процессы. ▼

Пример 5.7 (процесс скользящего среднего). Процесс скользящего сред-

 

 

 

него определяется равенством X n

 

ck ξn k . Предполагается, что

 

k

26

 

 

 

 

DX n

| ck |2 . Это условие

обеспечивает сходимость

в среднем

 

k

 

 

квадратичном ряда, определяющего X n .

 

 

 

 

 

 

Из соотношений E( X n m X

n )

ck ck m K (m) следует,

что X n

 

 

k

 

стационарный процесс. ▼ Теорема 5.1. Для процесса скользящего среднего справедливо соотно-

шение

K(m) 0, m .

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

K m

 

 

 

|K (m)|

ck ck m

 

 

|ck|2 |ck|2

|ck|2

|ck|2 .

 

k

 

k K m

k

|k| K

k

Второе слагаемое можно сделать меньшим произвольного положительного ε за счет выбора достаточно большого значения K . Затем при фиксированном K первое слагаемое можно сделать меньшим произвольного поло-

 

K m

жительного ε , поскольку

|ck|2 не превосходит остаточной суммы.

 

k K m

Поэтому K(m) 0,

|m| .

 

Свойство ковариационной функции, сформулированное в теореме 5.1, выполняется для многих известных случайных процессов, но не для всех. Например, оно не выполняется для случайных процессов, описанных в при-

мерах 5.1, 5.2, 5.4, 5.5.

Пример 5.8 (рекуррентные случайные процессы). Рекуррентный слу-

чайный процесс определяется соотношением Xn α Xn 1 β ξn . Здесь α, β 0 , ξn – ортонормированная последовательность случайных величин, каждая из которых представляет собой «новую информацию» в момент n . Итерируя это равенство, получим

Xn βξn αβξn 1 α2βξn 2 ... αkβξn k αk 1Xn k 1.

Всилу стационарности случайного процесса X n его норма ограничена.

Следовательно, α 1, откуда вытекает, что ряд αk ξn k сходится по k 1

27

норме и αk 1Xn k 1 0

(k ). Таким образом,

 

процесс представим в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

виде X n β αk ξn k , т.

е. является процессом скользящего среднего. Его

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ковариационная функция имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K (m) EX n m X

n

β|2 E

 

αk ξn m k α p

ξ

n p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|β|2

 

αk α p E

n m k

ξ

n p

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p 0 k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|β|2

 

αk α p E

n m k

ξ

n p

)

| β|2

 

αk

α k m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 0 p k m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

= |β|2

 

αk m α k

 

| β|2 αm

 

 

 

 

 

 

= |β|2 e mln α

 

 

 

 

 

 

.

 

 

 

1 |α|2

1 |α|2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание. Из вида ковариационной функции X n следует, что этот про-

цесс является марковским (см. упражнение в конце разд. 2).▼

 

 

 

 

 

 

Пример 5.9 (построение стационарного процесса с помощью теории

гильбертовых пространств). Обозначим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H – гильбертово пространство случайных величин со скалярным произведе-

нием

X ,Y EXY

 

;

U – унитарный оператор в гильбертовом пространстве

 

пространстве H , т. е. оператор, сохраняющий

скалярное

произведение:

X , Y

UX , UY

U *UX , Y .

Для

 

такого

 

 

оператора

верно

 

соотношение

U *U I ;

М – замкнутое подпространство гильбертова пространства H ,

X M .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 5.2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а) Случайный процесс X

n

U n X является стационарным процессом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) Любой стационарный процесс

может быть

представлен

в виде

X

n

U n X

с помощью некоторого унитарного оператора.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. а)

Пусть X

n

U n X .

 

Тогда

ковариационная

функция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

равна

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K(n, m) EX

 

 

 

 

E(U n XU m X

) E(U n m XX

) EX

 

 

 

K (n m).

 

 

n

X

m

n m

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

28

Поскольку ковариационная функция K (n, m) зависит только от разности n m , процесс X n стационарен.

б) Пусть X n – произвольная стационарная последовательность; М – наименьшее замкнутое подпространство H , содержащее все случайные ве-

личины X n ;

M1 множество всевозможных линейных комбинаций величин

 

 

 

1 M .

Для Y M1

определим оператор U равенством UY

X n ,

так, что M

 

N

 

N

 

 

 

 

U

c X

 

c X

i 1

. Это унитарный оператор, порождающий слу-

 

i

i

i

 

 

 

i N

 

i N

 

 

 

 

чайный процесс

X n ,

поскольку

для любого n выполняется равенство

UXn Xn 1.▼

 

 

 

 

 

6.СПЕКТРАЛЬНОЕ ПРЕДСТАВЛЕНИЕ

6.1.Спектральное представление для ковариационных функций

Определение 6.1. Функция K(t, s), t, s T , называется неотрицательно определенной, если

n n

K (t j , tk )z j zk 0

j 1k 1

для любого конечного набора моментов времени (t1, ..., tn ) и для любого на-

бора комплексных чисел (z1, ..., zn ).

Если при тех же условиях

n n

 

K (t j , tk ) z j zk 0 , то функция называется положительно определенной.

j 1k 1

 

Теорема 6.1. Функция K(t, s), t, s T ,

является ковариационной функ-

цией некоторого процесса X (t) тогда и только тогда, когда она неотрицательно определена. Она является положительно определенной тогда и только тогда, когда случайные величины X (t), t T , линейно независимы (с детерминированными коэффициентами).

Доказательство. Приведем доказательство только того, что ковариационная функция неотрицательно (положительно) определена. Доказательство обратного утверждения теоремы 6.1 сложно, и оно не приводится.

29

Пусть K(t, s), t,

s T – ковариационная функция процесса X (t) . Тогда

 

n

 

2

n

n

 

 

 

 

 

0 E

zi

Xt

 

K (ti , t j )zi z j . Отрицательным это выражение быть не

 

i1

i

 

i1 j1

 

 

 

может. Это выражение равно нулю при некотором наборе чисел (z1, ..., zn ) , тогда и только тогда, когда с вероятностью единица случайные величины

Xt , Xt

2

, ..., Xt

n

линейно

зависимы.

Следовательно,

если

1

 

 

 

 

 

 

 

n

n

 

 

 

 

 

 

 

 

K (ti , t j ) zi

z j 0 при всяком наборе чисел (z1, ..., zn ) , то случайные ве-

i 1 j 1

 

 

 

 

 

 

 

 

личины Xt

, Xt

, ..., Xt линейно независимы. ▼

 

 

 

 

1

 

2

n

 

 

 

 

Для стационарного процесса условие неотрицательной определенности

 

 

 

 

 

 

n n

 

 

 

сводится к неравенству K (t j tk )z j zk 0 .

 

 

 

 

 

 

 

j 1k 1

 

 

 

Теорема 6.2 (Герглотца, см. [1]). Пусть последовательность чисел K (n)

неотрицательно определена. Тогда

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

K (n) einλdF (λ),

(6.1)

 

 

 

 

 

 

 

π

 

 

где F – некоторая ограниченная неубывающая функция.

 

 

Теорема 6.3 (Бохнера–Хинчина, см. [1]).

Пусть функция K (t) – непре-

рывна и неотрицательно определена на R1. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K (t) eitλdF (λ),

(6.2)

 

 

 

 

 

 

 

 

 

 

где F – некоторая ограниченная неубывающая функция на R1.

 

 

Теоремы 6.2, 6.3 возникли вне теории вероятностей, но оказались очень

полезными для нее.

 

 

 

 

Определение 6.2. Мера Стильтьеса dF в соотношениях (6.1),

(6.2) на-

зывается спектральной мерой, а соответствующая ей плотность – спектральной плотностью.

Поскольку ковариационные функции неотрицательно определены, то для них справедливы приведенные спектральные представления (6.1) и (6.2), причем в соотношениях (6.1), (6.2) можно использовать спектральную функцию, определенную соотношением (4.3).

30