книги из ГПНТБ / Розанов Ю.А. Теория обновляющих процессов
.pdf§ 2] СТРУКТУРНЫЕ ТИПЫ И ПОДЧИНЕННЫЕ ПРОЦЕССЫ |
19 |
странством Я (£). Если ввести |
Ys {t) = Pty}, |
t0 < t < Т |
||||||||||||
/ = |
1, |
|
ш, то элементы у[, . . . , |
? / 'e L |
можно |
|||||||||
представить в |
виде |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
т |
m |
|
|
|
|
|
|
|
|
|
|
|
У к = J |
|
|
dY^t), |
|
|
|
||||
|
|
|
|
|
|
<0 |
/ = 1 |
|
|
|
|
|
|
|
где функции ckj{t) удовлетворяют условию |
|
|
||||||||||||
|
Т |
m |
|
|
|
|
|
|
k = |
1.........m. |
|
|||
|
I |
|
Ck,(t) fdG(t) < |
оо, |
|
|||||||||
|
h /=i |
|
|
|
|
|
|
|
|
|
|
|
|
|
Поскольку |
все |
элементы |
у\, . . . , |
у'п |
имеют |
одну и |
||||||||
ту |
же структурную |
функцию |
|
|
|
|
|
|
||||||
|
|
|
t m |
|
|
|
|
|
|
|
|
|
||
|
G '(0 = |
f |
^ |
| c ft/(s)|2rfG(S), |
k = |
l, . . . , |
n, |
|||||||
|
|
|
U /=i |
|
|
|
|
|
|
|
|
|
||
а |
при |
условии |
ортогональности |
|
подпространств |
|||||||||
Я ((/'), . . . . |
Я (у') должно быть |
|
|
|
|
|
||||||||
|
|
|
t m |
|
|
|
|
|
|
|
|
|
||
|
(•Р(У'{Ук) = |
f |
S |
сч ^ |
сы ^ |
dG ^ |
= |
°* |
если |
г’ ^ |
||||
|
|
|
/. |
/=i |
|
|
|
|
|
|
|
|
|
|
ТО |
m |
|
|
|
|
m |
|
____ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
S ] c * / ( 0 P = 1 . |
2 |
О/ 00 Cki (t) = |
0 |
при |
г =£6 |
||||||||
|
/=i |
|
|
|
|
/=i |
|
|
|
|
|
|
|
|
для почти |
всех t |
относительно |
меры dG (t). |
Видно, |
||||||||||
что векторы ck(t) = |
{ckj(t)}"\ |
k = |
l, |
|
п, с компо |
|||||||||
нентами |
ckj{t), |
|
у = |
1, |
|
т , в т-мерном |
векторном |
|||||||
пространстве (с обычным |
скалярным |
произведением) |
образуют ортонормированную систему. Как известно, число элементов такой системы не превосходит раз мерности пространства, т. е. п ^ т .
Общий случай сводится к только что рассмотрен ному с помощью следующего приема. Введем про странство Я всех элементов, структурные типы ко торых подчинены dG ((), а в нем подпространство
20 |
|
|
ОБНОВЛЯЮЩИЕ ПРОЦЕССЫ |
[ГЛ. I |
|
|
т |
|
н его ортогональное дополнение |
Ь0 = |
|
L = Q H ( i j j ) |
|||||
|
/'= I |
По |
определению |
максимальной системы |
|
— H Q L . |
|||||
уи |
ут |
в |
подпространстве |
Ц нет ни одного |
эле |
мента со структурным типом dG(t). Поэтому, если dG0{t) — максимальный структурный тип в инвариант
ном |
подпространстве |
L 0, |
то |
dG (t) = |
dG0(t.)Q)dG (t), |
где |
dG{t) — некоторая |
н е н у л е в а я |
мера, ортого |
||
нальная dG0(t). Рассмотрим |
новое |
пространство |
|||
Я — подпространство в Я |
из всех элементов со струк |
турными типами, подчиненными dG{t). Легко видеть, что поскольку меры dG0(t) п dG(t) ортогональны, подпространства Ь0 и Я с максимальными структур
ными |
типами |
dG0(t) |
и |
dG (/) будут также |
ортого- |
|||||||||||
|
|
|
|
|
|
_ |
|
где, напомним, |
|
т |
|
|||||
нальны, и потому Я е Д, |
L = © Н(у,). |
|||||||||||||||
|
Если |
Д0 |
и |
|
|
|
|
|
|
|
|
|
/=i |
|
||
|
Д — непересекающиеся носители орто |
|||||||||||||||
гональных |
мер |
dG0(t) |
|
и dG(t), |
то |
|
всякая |
величина |
||||||||
г\ ^ Н ( у к) может |
быть |
представлена |
в виде |
|
|
|||||||||||
|
|
г |
|
|
|
|
J ф(t) |
|
|
|
|
|
|
|
|
|
|
■ П= J |
Ф (0 dWj (t) = |
|
(t) ® J |
ф (/) dV, (t) |
|
||||||||||
|
|
tв |
|
(4^ (t) = |
Ao |
|
|
|
|
д |
|
|
|
|
||
где |
|
|
|
Pty,, |
t0< |
t < |
T), |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
J ip (t) dx¥ , e= H. |
|
||||||
|
% = |
{ |
'Ф {t) dWj (/) <= L0, |
rj = |
|
|||||||||||
|
|
|
“in |
|
|
|
|
|
|
Д |
|
|
|
|
|
|
Ясно, |
что |
элементы |
|
z/ = |
J d lF/ (/), |
/ = |
1, |
. . . , |
m, |
|||||||
|
|
|
|
|
|
|
|
|
д |
|
|
|
|
|
|
|
с одним |
и |
тем |
|
структурным |
типом |
dG (t) |
образуют |
|||||||||
в Я максимальную систему, |
причем подпространство |
|||||||||||||||
_ |
1П |
|
|
|
|
|
|
с пространством |
^ |
Таким |
||||||
L = |
® Я (z,) совпадает |
Я. |
||||||||||||||
|
/= I |
|
вместо |
исходных |
систем |
|
г/,......... |
у,п |
и |
|||||||
образом, |
|
|||||||||||||||
у[, |
. .., у'п со структурным типом |
dG (t) мы можем |
||||||||||||||
рассматривать |
системы |
элементов |
zs, |
j = |
l, |
. . . , |
/п, |
§ 2] СТРУКТУРНЫЕ ТИПЫ II ПОДЧИНЕННЫЕ ПРОЦЕССЫ |
21 |
и 4 = |
J |
dW'k(t), k = \ .......Л |
|
|
= |
|
t0< t < T ) |
||||
|
д |
|
|
|
|
|
|
|
- |
Как |
|
в пространстве Я со структурным типом dG(f). |
|||||||||||
было установлено выше (в |
случае |
L = |
H), |
имеет |
|||||||
место |
неравенство а ^ т . |
|
|
|
|
|
|
|
|||
Вернемся к обновляющему процессу X(/) = {X/ (^)}f, |
|||||||||||
/0 < / < |
Т, |
с |
упорядоченными |
структурными |
функ |
||||||
циями Fj{t) = |
Е| Xj (/) h |
t0 < t < T |
(см. (2.4)). |
|
|||||||
Пусть Y (0 = {Yк (0)Г> |
t0< t |
< |
Т , — некоторый про |
||||||||
цесс |
с |
некоррелированными |
компонентами |
вида |
|||||||
Yk{t) = |
|
P/tjk, |
t0< t < T , |
структурные |
функции кото |
||||||
рого Gk{t) = |
Е] Yk{t) f, t0< t |
< Т , |
также упорядочены: |
||||||||
|
|
|
d G ,[t)>d G 2> . . . |
> d G N{t). |
|
|
|||||
Л е м м а |
2. |
Имеют место следующие соотношения: |
|||||||||
|
|
|
|
N < |
М, |
|
|
|
|
|
|
|
|
dGk(t)< d F k(t), |
k = |
\, . . . , N. |
|
{2J) |
|||||
Д о к а з а т е л ь с т в о . |
Предположим, |
что |
неко |
торая мера dGn(t) не является подчиненной соответ
ствующей мере dFn(t). Тогда существует |
не ну |
л е в а я мера do(t), подчиненная dGn(t) и |
ортого |
нальная dFn(t). Поскольку меры dFj(t) при j^ - n подчинены dFn(t), все они будут ортогональны do(t). С другой стороны, da{t) подчинена максимальному
структурному |
типу dF\{i) |
и, вообще, каким-то dFj(t), |
|||||
1 |
^ т , |
где число т |
всех таких структурных типов |
||||
из |
последовательности |
dF{ [t) )> dF2(/) )> . . . |
строго |
||||
меньше п. Если хи х2, |
. . . , |
хм — элементы, |
поро |
||||
ждающие |
обновляющий |
процесс X (/) = [Xj (^)}^' |
|||||
[Xj{t) — PtXj, |
t0 < t < T ) , |
то, |
учитывая структуру |
ортогональных подпространств Я (хк) (см. (2.1), (2.2)),
легко понять, что элементы 2 / = J dXj(t), j = 1,..., in,
д
где А— носитель меры do(t), образуют максимальную систему в Я (£) со спектральным типом da[t). Соот
22 ОБНОВЛЯЮЩИЕ ПРОЦЕССЫ [ГЛ. I
ветствующие элементы z' = [ d.Yk(t), k = l, |
п, |
к |
|
также образуют систему со спектральным типом da{t), причем п > т , что противоречит неравенству (2.6) леммы 1. Следовательно, на самом деле мера dG,,,(t) подчинена dFn(t) при любом п. Фактически доказано также, что N ^ М.
Добавим здесь, что если рассматриваемый про
цесс |
Y (0 = {1Д |
, |
t0 < t < Т, сам является о б н о |
||||
в л я ю щ и м : |
Hl (Y) = |
Ht{|), |
t0< t < T , |
то |
процессы |
||
Y (t) |
и X (t), фигурирующие в лемме 2, можно поме |
||||||
нять |
местами, |
и в |
этом случае вместо «неравенств» |
||||
(2.7) |
будем иметь N = |
М, d G j(t)~ d F { (t), |
j = |
1,..., N |
|||
(см. указанные ранее соотношения (2.5)). |
|
|
|||||
П р и м е р . |
Пусть I (/) = |
{£, (/)}'", t0< t < T , — про |
извольный процесс с некоррелированными прираще ниями. Предположим, что заданы
Fii(t) = E li(t)lj{t), i , j = 1 , . . . , m.
Найдем соответствующие структурные типы dF, (t) > .
, . . ' ^ d F M(t). Очевидно, максимальным типом будет
ГП
где строго -положительные стр . . . . ujn выбраны так,
чтобы функция yjo\Fkk(t) была ограниченной. Вместо
к
самих структурных типов dF} (t) можно указать плот ности fi(t) = dFj(t)/dF*(t) или множества
Д/ = {*; f / W > 0}
— носители мер dFj(t), ваемом случае носители А/
тившись к матричной функции с компонентами
dFu {t) |
а/> |
fij (t) = СГ; d f |
молено |
В рассматри |
||
описать, обра |
|||
f (/) = |
{/// (0Ь |
t0< t < T , |
|
i, j = |
1, |
• • •, |
m. |
§ 21 |
СТРУКТУРНЫЕ |
ТИПЫ И ПОДЧИНЕННЫЕ ПРОЦЕССЫ |
23 |
|||||||
Именно, если |
Я, (t) > |
Я2 (t) > . . . |
> |
Я,н (t) — упорядо |
||||||
ченная система |
всех |
н е н у л е в ы х |
собственных |
зна |
||||||
чений матричной функции f(t), то |
|
|
|
|
||||||
|
д у = {/; |
Kj (/) > 0}, |
j = |
l .........М. |
|
|
||||
Соответствующий |
обновляющий |
|
процесс |
X (t) = |
||||||
= {Xj (0)м to < t < T , |
с упорядоченными структурными |
|||||||||
типами может быть |
получен как |
|
|
|
|
|
||||
|
t |
т |
|
|
|
|
|
|
|
|
|
х ! W = \ S a lu ij (s ) d h (s )> |
|
/ = 1 > ■ • • > М > |
|
||||||
|
ta |
i=l |
|
|
|
|
|
|
|
|
где |
ii{t) = {uij O'))— унитарное |
преобразование, |
при |
|||||||
водящее положительную матрицу f (t) = |
[f^ (i)} |
к диа |
||||||||
гональному виду |
(с |
элементами |
Я, (/) ^ |
^ |
Яж (t), |
|||||
%k(t) = 0 при М < k ^ n , на главной диагонали). |
|
|||||||||
|
2. Подчиненные процессы. Рассмотрим пару про |
|||||||||
цессов: l ( t ) = { h ( t ) } ? |
и ti(0 = |
(Лй(О)Г- |
Говорят, |
что |
процесс г|(/) может быть получен из процесса £(/)
неупреждающим |
(линейным) преобразованием, если |
||
Я, (Л) s |
t0 < ( < Т . |
(2.8) |
|
Обозначим Я, (г|)х ортогональное дополнение в п р о- |
|||
с т р а н с т в е Я (л) к подпространству Я, (л); |
Я, (л)1 — |
||
= Я (л)© Я, (л). |
Аналогично, |
Я,(£)х = Я ( QQH, (|). |
|
Будем говорить, |
что процесс л (0 подчинен |
процессу |
|
1(1), если |
|
|
|
Я,(л)<= Я ,(|) |
и Я,(л)Х ^ Я , Ш \ t0< t |
< Т. (2.9) |
Второе из соотношений (2.9) означает, что всякая
величина г /еЯ (л ), |
ортогональная подпространству |
Я,(л), должна быть |
также ортогональна и б о л е е |
ш и р о к о м у подпространству Я, (|).
Рассмотрим два важных примера подчиненных процессов.
24 ОБНОВЛЯЮЩИЕ ПРОЦЕССЫ [ГЛ. I
П р и м е р |
(каноническое представление). Пусть |
|||||||
| (/) = {£,• |
t0< t < T , |
— процесс |
с |
некоррелиро |
||||
ванными приращениями и |
|
|
|
|
|
|||
1ft (0 = |
t |
m |
s) dh |
|
|
|
|
|
J |
У] Ckj {t, |
(s), |
t0< |
t < |
T; |
|||
|
t. |
/=i |
|
|
|
|
|
|
|
|
li = |
1, |
.. ., |
n. |
|
|
|
Обозначим Qf операторы |
ортогонального проектиро |
|||||||
вания на подпространства |
|
t0 < t < T . |
Выраже |
ние (2.10) называется каноническим представлением,
если проекции |
значений |
r|fe(i) |
на |
подпространства |
|
Ни(т)), u ^ t , получаются |
по формулам |
|
|||
|
и m |
s) |
(s)> |
f0< * < |
|
Quiift (0 = J У)Cfc/ |
|
||||
|
<0 /=l |
|
|
|
|
|
li = 1, . . . , |
n. |
|
|
|
(Например, так будет в случае, |
когда £(/), t0 < t < Т , |
||||
является обновляющим процессом для г\{t), t0< |
t > Т.) |
||||
Очевидно, |
представление процесса Ц (0 = |
(т)й(0)" |
|||
в виде стохастического |
интеграла |
(2.10) возможно |
тогда и только тогда, когда выполнено соотношение
(2.8) . При условии же |
(2.11) имеем |
|
|
|
1 |
m |
|
Л* (0 — Q„i1ft (t) = |
J |
ckl (t, s) |
(s); |
|
к |
/=i |
|
видно, что величины гц (t) — Q„r|4 {t), t ^ u ; |
k = 1, ..., n, |
порождающие подпространство # H(ri)1, ортогональны
Ни(1), и, таким образом, |
имеет место соотношение |
||
(2.9) |
, т. е. процесс т|(0 = |
{tja(0}Г» tQ< t < T , по дчи |
|
нен |
процессу с некоррелированными приращениями |
||
1(0 = |
H i(01г. t0< t < T . |
|
|
Пр име р . Пусть I (t), t0< t < Т, — случайный про |
|||
цесс со стохастическим |
дифференциалом |
||
|
d%(0 = |
а (0 dt + dW (0, |
§2] СТРУКТУРНЫЕ ТИПЫ II ПОДЧИНЕННЫЕ ПРОЦЕССЫ |
25 |
точнее,
|
|
t |
|
|
|
|
|
|
|
I (t) = |
J О(S) ds + |
W (t), |
t0< t < |
T, |
(2.12) |
||||
|
|
U |
|
|
|
|
|
|
|
где a (t), t0< t < T , — некоторая |
случайная |
функция |
|||||||
со средним Еа (t) = 0 и конечным вторым |
моментом |
||||||||
Е |а (/) Р, |
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
| |
Е | a (s) р 'ds < |
оо, |
t0 < |
t < Т, |
|
|
|||
to |
|
|
|
|
|
|
|
|
|
и W {1), tQ< t |
< Т , — процесс |
с |
некоррелированными |
||||||
приращениями, |
такими, что при h > |
О |
|
|
|||||
W{t + |
h ) - W { t ) L H t{Q, |
t0< t < T |
|
||||||
(величины W (t + h) ■— W(t), |
|
h > 0, |
некоррелированы |
||||||
со значениями |
|(s), |
|
|
|
|
|
|
|
|
Рассмотрим процесс rj(£), |
t0< t |
< |
T, получающийся |
||||||
из процесса |
I (/), t0< t < Т , |
линейным |
н е у п р е ж |
||||||
д а ю щ и м преобразованием |
|
вида |
|
|
|
|
t
=\ d ( s ) d s =
to
|
t |
= |
[ [a (s) — a (s)] ds + W (t), t0< t < T , |
|
to |
где a (s) — Psa(s) |
обозначает проекцию величины a(s) |
на подпространство tfs (£). Поскольку a (s) — a (s)_L Ht (£)
при s^ st, |
приращения |
|
|
||
11(/ + /?.)— л (/)= |
t+h |
[a(s)—d(s)]rfs+ [VP(/ + ^)—W{t)\ |
|||
J |
|||||
|
|
t |
|
|
|
обладают |
тем |
же |
свойством, |
что |
и приращения |
W (t + h) — W(/), |
а |
именно, при h > 0 |
|
||
|
т)(t + К) — I] (t) JL Н((|), |
t0< t |
< Т . |
||
При этом |
|
|
|
|
|
|
Hi (л) — Ht(W> t0 |
t <с. т , |
26 |
ОБНОВЛЯЮЩИЕ ПРОЦЕССЫ |
[ГЛ. I |
|
так |
что г)(t), t0 < t < T , — п р о ц е с с |
с н е к о р р е л и |
|
р о в а н н ы м и п р и р а щ е и и я м и. |
Для |
такого типа |
процесса подпространства Н, (л)1 порождаются при
ращениями т](/ + |
/г) — г| (/), h > О, а |
мы видели, что |
|||||
они ортогональны |
соответствующим |
пространствам |
|||||
|
и, таким образом, |
|
|
|
|
||
|
Я,(11)х < = Я ,(£ )\ |
t0< t < T , |
|
|
|||
т. е. процесс г)(/) |
под ч и и е и |
процессу £ (t), t0 < |
t < |
Т. |
|||
|
Обратимся к произвольной паре процессов |
l(t) |
= |
||||
= |
{ё< (0)Г 11 Л W = |
InkW)i\ t0 < t < T . |
Пусть rfF, (/) > |
||||
> |
.. . > dFM(t) |
и |
rfG, ( / ) > . . . > dGN(t) — упорядо |
ченные структурные типы их обновляющих процессов,
Т е о р е м а |
1. Если |
процесс л 00. |
t0 < t < T , под |
||
чинен процессу |
%{t), t0 < |
t < Т, |
то |
|
|
|
N ^ M , |
|
|
|
|
dGk( t)< d F k{t), /е = |
1, . . . . |
N. |
(2ЛЗ) |
||
Д о к а з а т е л ь с т в о . |
Обозначим |
Р, |
н Q, опера |
торы ортогонального проектирования на подпростран
ства |
Я,(£) н |
ЯДл)> |
t0< t < T . |
В силу |
соотношений |
||
(2.9) |
имеем |
|
|
|
|
|
|
и |
ДЯ,(л) = |
Я,(л). P'Ht(11)Х = |
0 |
||||
|
|
|
|
|
|
|
|
PtH (л) = р, [И, (л) 0 я , (л)Ч = |
Р,Н, (л) = |
|
|||||
|
|
|
|
= |
Я /(л) = 0/^(л). (2.14) |
||
Для |
проекторов Pt и Qt отсюда |
вытекает, что опера |
|||||
тор |
Р, в инвариантном подпространстве |
Я ( л ) ^ Я ( |) |
|||||
совпадает с оператором Qt, |
10 < 1 |
< Т. Следовательно, |
|||||
обновляющий |
процесс Y (t) = |
|
(t)}f для процесса |
||||
Л(/), |
t0< t < T , |
получается |
по формуле |
|
|||
|
Yk{t) = |
PiUk, |
6 = |
1, |
• • •. Я, |
|
где уи . . . , yN— некоторая система величин в под пространстве Я (л) Е Н (I), и теорема 1 является, таким образом, простым следствием доказанной ранее леммы 2.
§ 2) СТРУКТУРНЫЕ ТИПЫ И ПОДЧИНЕННЫЕ ПРОЦЕССЫ |
27 |
Попутно отметим здесь, что обновляющий про
цесс |
X(i)^= (^ /(0 )f. h < t < T , для |
процесса |
%{t), |
||||
t0< t |
< Т, обладает следующим |
свойством. |
Инте |
||||
гральное представление |
|
|
|
|
|
|
|
|
t м |
|
|
|
|
|
|
|
1 1 * 0 0 = { 2 1 с*/(*« s) dX№ > |
t0< t < T , |
|
|
|||
|
/=i |
1, . . . , |
|
|
|
|
|
|
6 = |
п, |
|
|
|
|
|
подчиненного процесса |
r\ (t) = |
{r]ft (t)}", |
t0 < t < |
T, |
яв |
ляется каноническим:
--и м
QU11* (t) = Pur\k (t) = f |
21 |
V’ |
s) d x i (s )> |
u < |
t- |
it |
/=1 |
|
|
|
|
При рассмотрении процесса |
r|(/), t0 < t < T , |
полу |
|||
чающегося из процесса l(i), |
t0< t < T , некоторым не |
||||
упреждающим линейным преобразованием |
(Н, (ц)s |
^ Н, (£), t0< t < T ) может возникнуть вопрос о том, является ли это преобразование «обратимым», точ нее, вопрос о том, выполняется ли условие
Ht(£) — Ht (it)), t0< t < T . |
(2.15) |
Если рассматриваемое преобразование таково, что процесс т](t) п о д ч и и е и процессу | {t), tQ< t < Т, то условие (2.15) равносильно (вообще говоря, более слабому) условию
|
|
Я (|) = |
Я (Л), |
(2.16) |
поскольку в этом |
случае |
|
|
|
Ht(l) = |
PlH(l) = |
QlH W = |
Ht№ |
|
при всех t, t0 < |
t < Т (см. (2.14)). |
|
||
Т е о р е м а |
2. |
Если процесс ri(() |
подчинен про |
|
цессу £ (t), t0< t < |
Т, и они имеют обновляющие про |
|||
цессы одного и того же типа кратности |
||||
|
|
М < |
оо |
|
(dGk(t) ~ |
dFk(t), |
6 = 1.........Af), |
||
то имеет место соотношение (2.15). |
|
28 |
ОБНОВЛЯЮЩИЕ ПРОЦЕССЫ |
[ГЛ. I |
Прежде чем доказывать эту теорему, |
отметим, |
|
что она неверна в случае б е с к о н е ч н о й |
кратности |
|
М = |
оо. Например, если £(0 — (01Г> k < t < T , — |
процесс с ортогональными компонентами, каждая из
которых является |
процессом |
с ортогональными при |
|||||||||
ращениями, |
причем |
структурная |
функция |
F{t) — |
|||||||
= E| g f (0P, |
t0< t < T , |
|
одна |
и |
та |
же |
для |
всех |
|||
i = l , 2 , . . . , |
то |
процесс |
ii(t) = |
{t|ft(0}Г. |
t0< t < T , |
||||||
с компонентами |
ru (t) — K+i 00. |
& = |
|
1,2, . . . , |
будет |
||||||
того же типа, что и |
процесс КО = |
{!<№}” > будет |
|||||||||
подчинен |(0 , t0 < t < T , |
но, |
очевидно, Я (ц) |
не со |
||||||||
держит значений g, (0, |
t0< t |
< |
Т, так что Я (г\)фН (g). |
||||||||
Д о к а з а т е л ь с т в о |
т е о р е м ы |
2. Предположим, |
|||||||||
что Я (т)) ф Я (g) |
и |
возьмем |
ненулевой |
элемент |
|||||||
* е Я ® @ Я (ц). |
Пусть |
F{t) = |
E\ Р,х р, |
t0< t < T . |
Среди упорядоченных структурных типов dF, (0 )> . . .
. .. )> dFM(t) процесса КО, t0 < |
t < Т, |
|
выделим ’ те, |
||||||
которым |
подчинен |
тип |
dF (t); |
пусть |
это |
будут |
|||
dF} ( / ) ) > ... ) > dFp(0, |
где dFр \t) — самый «младший» |
||||||||
из них |
{ р ^ М < то). |
Если Х[, . . . . |
* ,и — система эле |
||||||
ментов |
в |
пространстве |
Я (g), порождающая |
обно |
|||||
вляющий |
процесс X (0 = |
{Xj (Olf, |
tQ< t |
< Т\ X/ (0 = |
|||||
= Р/Х,, и |
Е/ (0== Е | |
Р,х, |
р, t0 < |
t < |
Т: |
/ = 1 , . . . , М , |
|||
то система элементов |
|
|
|
|
|
|
|||
|
|
х , = J dX,{t), |
/ = |
1, .. ., |
р, |
|
|||
|
|
к |
|
|
|
|
|
|
|
где Д — носитель меры dF{t), очевидно, |
|
будет макси |
мальной ортогональной системой со структурным типом dF (t) (см. определение на стр. 18).
Не ограничивая общности, молено считать dG/(t) = = dFj{t), взяв соответствующие элементы уи . . . , ум е е Я (г |), порождающие обновляющий процесс Y(t) =
= {Y,(t))?, tQ< t < T {Yj (t) = PiUj, |
Gy(/) = E| P,y, P, |
|
t0< t < T). Ортогональная |
система |
элементов |
U i = J dYj{t), |
/ = 1 , |
. . . . p, |
Д