
...
1
()О
СТОХАСТИЧЕСКИЕ
КВАЗИГРАДИЕНТНЫЕ
МЕТОДЫ
[гл.
11I
Ps,
a
s
,
b
s
такие,
что
Ps~O,
as~O,
~
M(PsllbsII+p;)<oo.
(3.11)
5=0
Тогда
nоследователыюсть
точек
x
S
,
s =
О,
1.
.
..
,
м
11,
х
О
112
<
00,
определенная
согласно
(3.4) - (3.5),
является
случайной
квазифейе
ровской
относительно
множества
Х
*.
Если
же,
кроме
того,
с
вероятностью
1
(3.12)
то
почти
для
каждого
w
последовательность
X
S
(w)
схо
дится
к
некоторому
элементу
х*
(w)
Е
Х*.
Условия
этой
теоремы,
как
будег
показано
далее,
легко
проверяется
при
решении
конкретных
задач.
Здесь
только
заметим,
что
М
(11
~s
112/~s)
=
n
=
~
D(~i/~,)+a~IIFx(xS)112+2as(Fx(XS),
bS)+llbsI12,
(3.13)
;=1
откуда,
например,
следует,
что
если
сумма
дисперсий
n
~
D
(~i/~J
компонент
вектора
~s
=
(~~,
...
,
~~)
ограни
;=1
чена
в
Х,
а
также
ограничены
G
s
•
11
F
х
(X
S
)
11,
11
b
s
11,
то
'Ils
=
const,
т.
е.
(3.9)
выполняется.
Справедливость
этого
условия
в
реальных
задачах
обычно
является
следствием
ограниченности
области
Х.
Д
о к
а
з
а т е
л
ь с
т
в
о.
а)
докажем
вначале
первую
часть
теоремы.
Пусть
х*
Е
Х*.
С
учетом
свойства
(3.3)
операции
проектирова
ния
имеем
,~*
-
xs+
I
I]2
~
11
х*
- X
S
+
Ps'r's~S
112
=
=
I1
х*
- X
S
[12
+
2ps'r's
(~S,
х*
- X
S
)
+
p;y~
I1
~S
1!2.
(3.14)
Возьмем
условное
математическое
ожидание
от
обеих
частей
этого
неравенства:
М
(11
х'
-
х
Н!
112/~"JJ'\)
<:;;.11
х*
- X
S
//2
+
+
'2ps'r'sa
s
(F
x
(x
S
),
x*-х
s
)+2рs'r's(Ь
S
,
x*-X
S
)+
+p~y~M
(11~sI12/~s)'
(3.15)