
§
5)
РЕШЕНИЕ
СИСТЕМ
НЕРАВЕНСТВ
119
Здесь
Ps
-
величина
шага,
Ys
-
некоторый
нормирующий
множитель,
G
S
-
случайный
вектор,
условное
математиче
ское
ожидание
которого
м
(Gs/xo,
...
,
xS)=asg(xs)-j-Ь
S
,
5=0'1'
...•
(3.49)
где
G
s
-
случайная
величина,
b
s
=
(Ь:,
...
,
b~)
-
случайный
вектор,
измеримые
относительно а-подалгебры
cf!З
s
,
инду
цированной
семейством
случайных
величин
(хо
•...
, X
S
);
величины
Ps,
Ys
также
измеримы
относительно
cf!З
s
;
g
(X
S
) -
вектор,
для
которого
полупространство,
отвечаю
щее
неравенству
(g
(х),
z -
х)
+f
(х)
<
О.
(з.sо)
при
х
= X
S
содержит
множество
А,
если
X
S
Е
А.
Предлагаемый
процесс
(3.48)-(3.50)
обобщает
релак
сационный
метод
Моцкина
[75]
для
решения
систем
ли
нейных
неравенств,
а
также
методы
работы
[15]
на
тот
случай,
когда
значение
вектора
g
(X
S
),
удовлетворяющего
неравенству
(3.50),
невозможно
вычислить
без
ошибок.
В
процессах
вида
(3.48)-(3.50)
на
каждой
итерации
происходит
движение,
направленное
некоторым
случай
ным
образом
к
сокращению
(ослаблению)
погрешности
решения
x
s
,
поэтому
эти
процессы
можно
называть
сто
хастическими
релаксационными
методами.
Впервые
они
рассматривались
в
работе
[301.
Отметим,
что
если
f
(х)
=
шах
fi
(х)
= fi(x)
(х).
где
функ
i
ции
fi
(х)
выпуклые
вниз
и
непрерывно
дифференцируемые,
i
(х)
-
индекс,
на
котором
достигается
шах
fi
(х)
при
за
i
данном
х,
то
вектор
g
(х)
=
fi
(х)
1.
'()'
как легко
убе-
х
IL=l
Х
диться,
удовлетворяет
неравенству
(3.50).
т
е
о р
е
м
а
8.
Пусть
f]s -
случайная
величина,
измери
мая
относительно
а-nодалгебры
cf!З
s
,
индуцированной
сово
купностью
величин
(хО,
...
, x
s
),
такая,
что
для
любого
числа
L
найдется
число
C
L
,
для
которого
М
'II!:S
'12/
О
')
.,
С
(3
51)
(1
'"
I
Х,
...
,
х'
~
f]s
~
L,
.'
как
только
11
x
k
11
~
L,
k =
о,
1,
...
,
5;
нормирующий
мно
житель
У.
удовлетворяет
условию
(3.52)