聶 輝，張樹義

（渤海大學(xué) 數(shù)理學(xué)院，遼寧 錦州121013）

1 引言和預(yù)備知識

隨機(jī)不動點問題廣泛應(yīng)用于生物、物理和經(jīng)濟(jì)等領(lǐng)域.文獻(xiàn)[1-8]對隨機(jī)不動點理論進(jìn)行了廣泛研究，其中，文獻(xiàn)[1-2]在可分的Hilbert空間中研究了隨機(jī)算子方程解和隨機(jī)算子不動點隨機(jī)Mann迭代序列的收斂性，文獻(xiàn)[3]在值域有界的一致光滑可分的Banach空間中研究了一類隨機(jī)強偽壓縮算子隨機(jī)不動點的Ishikawa迭代序列的逼近問題.另外，文獻(xiàn)[9-17]研究了包括廣義Lipschitz算子在內(nèi)的幾類非線性算子不動點迭代的逼近問題，文獻(xiàn)[18-24]研究了幾類非線性映象不動點多步迭代算法的收斂性.受上述工作啟發(fā)，本文用廣義Lipschitz取代值域有界條件，在可分Banach空間中研究一類隨機(jī)強偽壓縮算子隨機(jī)不動點的多步隨機(jī)迭代序列的逼近問題，建立了隨機(jī)強偽壓縮算子隨機(jī)不動點的多步隨機(jī)迭代序列的強收斂性定理.由于值域有界一定是廣義Lipschitz的，而反之未必成立[13]，因此本文推廣和改進(jìn)了相關(guān)文獻(xiàn)中的結(jié)果.

假設(shè)（Ω，∑）為一可測空間，∑是Ω的σ-代數(shù).E為一致光滑的可分Banach空間，E*為E的對偶空間，C為E的非空閉凸子集，正規(guī)對偶映象J：E→2E*為

定義1[3]（1）稱函數(shù)f：Ω→C為可測的，如果對任意Borel子集B，有f-1（B∩C）∈∑.

（2）稱T：Ω×C→C為隨機(jī)算子，如果對任一x∈C，T（·，x）：Ω→C是可測的.

（3）稱可測函數(shù)f：Ω→C為隨機(jī)算子T：Ω×C→C的隨機(jī)不動點，如果對任意ω∈Ω，有T（ω，fω）=f（ω）.

（4）稱隨機(jī)算子T：Ω×C→C為連續(xù)的，如果對任意給定的ω∈Ω，T（ω，·）：C→C是連續(xù)的.

引理1[8]設(shè)E為可分的距離空間，Y為距離空間.T：Ω×E→Y在ω∈Ω是可測的，并且在x∈E是連續(xù)的.如果g：Ω→E是可測函數(shù)，則f（·，g（·））：Ω→Y是可測的.

定義2設(shè)Ti（i=1，2，…，s）：Ω×C→C為s個連續(xù)的隨機(jī)算子，x0：Ω→C是任意給定的可測函數(shù)，定義序列{xn（ω）}為

稱序列{xn（ω）}為隨機(jī)多步迭代序列，其中[0，1]，i=1，2，…，s-1.

在定義2中取s=2，對每一ω∈Ω，令T1（ω，·）=T2（ω，·）=T（ω，·），便得到文獻(xiàn)[10]中的隨機(jī)Ishikawa迭代序列

注1Ti（i=1，2，…，s）：Ω×C→C是連續(xù)的隨機(jī)算子，C是E的非空閉凸子集，x0：Ω→C是可測函數(shù).由引理1易知{xn}和{yni}（i=1，2，…，s-1）是Ω到C的可測函數(shù).

定義3[3]（1）稱隨機(jī)算子T：Ω×C→C為強偽壓縮的，如果存在函數(shù)k：Ω→（0，1），對任意x、y∈C，存在j（x-y）∈J（x-y），使得對每一ω∈Ω，有

（2）稱隨機(jī)算子T：Ω×C→C為強增生的，如果存在函數(shù)h：Ω→（0，1），對任意x、y∈C，存在j（x-y）∈J（x-y），使得對每一ω∈Ω，有

注2T：Ω×C→C是具有函數(shù)k：Ω→（0，1）的強偽壓縮算子，當(dāng)且僅當(dāng)I-T是具有函數(shù)h：Ω→（0，1）的強增生算子，其中h（ω）=1-k（ω）.

下面將廣義Lipschitz算子擴(kuò)展到隨機(jī)算子的情形.

定義4稱隨機(jī)算子T：Ω×C→C為廣 義Lipschitz的，如果存在常數(shù)L≥1，使得對任意x、y∈C，對每一ω∈Ω，有

注3文獻(xiàn)[13]指出：值域有界的隨機(jī)算子一定是廣義Lipschitz的，而反之未必成立.

引理2[9]設(shè)E為實Banach空間.

（1）如果T：E→E是連續(xù)的強偽壓縮算子，則T有唯一不動點.

（2）如果T：E→E是連續(xù)的強增生算子，則對f∈E，方程Tx=f有唯一解.

引理3[3]設(shè)E為實Banach空間，J是正規(guī)對偶映射，則對任意x、y∈E，有

引理4[10]設(shè){an}和{bn}為2個非負(fù)實數(shù)列，滿足an+1≤（1-tn）an+bn，n≥n0，其中n0是非負(fù)整數(shù)，tn∈則有

2 主要結(jié)果

定理1設(shè)E為實一致光滑可分的Banach空間，C是E的非空閉凸子集，Ti（i=1，2，…，s）：Ω×C→C是具有函數(shù)k：Ω→（0，1）的s個連續(xù)廣義Lipschitz隨機(jī)強偽壓縮算子，Ti（ω，·）的不動點集記為F（Ti（ω，·）），是由式（1）定義的多步隨機(jī)迭代序列滿足條件則序列{xn}強收斂到Ti的隨機(jī)公共不動點.

證明因為Ti（i=1，2，…，s）：Ω×C→C是具有函數(shù)k（ω）：Ω→（0，1）的連續(xù)隨機(jī)強偽壓縮算子，任意給定ω∈Ω，Ti（ω，·）：C→C是具有k（ω）∈（0，1）的強偽壓縮算子，由引理2知Ti（ω，·）：C→C有唯一不動點，即存在唯一的xi*（ω）∈C，使得xi*（ω）=Ti（ω，xi*（ω））.又因此，對任意給定的ω∈Ω，存在唯一的由式（1），對每一ω∈Ω，有

將式（4）代入式（3）可得

由式（1）連續(xù)做s-2步迭代，有

又由式（1）有

將式（6）代入式（5），可得對每一ω∈Ω，有

類似式（7）的證明過程可得

因為Ti：Ω×C→C是廣義Lipschitz的，故存在常數(shù)L≥1，使得對任意x、y∈C及每一ω∈Ω，結(jié)合式（7）有

由式（1）和引理3，對每一ω∈Ω，有

其中

下證An（ω）→0（n→+∞）.由式（1）和式（8），對每一ω∈Ω，有

于是對每一ω∈Ω，有

因為E是一致光滑的Banach空間，故正規(guī)對偶映象J在E的任何有界子集上一致連續(xù)，于是由J的一致連續(xù)性可知：對每一ω∈Ω，有An（ω）→0（n→+∞）.

由式（1）和引理3以及式（8），對每一ω∈Ω，有

其中

下證Bn（ω）→0（n→+∞）.由式（1），對每一ω∈Ω，有

由式（1）和式（8），對每一ω∈Ω，有

將式（8）和式（13）代入式（12），有

由J的一致連續(xù)性知Bn（ω）→0（n→+∞）.

將式（11）代入式（10），對每一ω∈Ω，有

據(jù)此可得

其中

因為αn→0，gn→0（n→+∞），因此fn→0（n→+∞），于是存在正整數(shù)n0，對n>n0，有從而對任意n>n0，對每一ω∈Ω，有

推論設(shè)E為實一致光滑可分的Banach空間，C是E的非空閉凸子集，T：Ω×C→C是具有函數(shù)k：Ω→（0，1）的連續(xù)廣義Lipschitz的隨機(jī)強偽壓縮算子.{xn（ω）}是由式（2）定義的隨機(jī)Ishikawa迭代序列.{αn}、{βn1}?[0，1]滿足條件則序列{xn}強收斂到T的隨機(jī)不動點.

作為上述結(jié)果的應(yīng)用，下面討論強增生隨機(jī)算子方程隨機(jī)解的迭代收斂性.

定理2設(shè)H為可分的Hilbert空間，T：Ω×H→H是具有函數(shù)h：Ω→（0，1）的連續(xù)隨機(jī)強增生算子.設(shè)f：Ω→H為一可測函數(shù)，令S：Ω×H→H為S=IT+f.x0：Ω→C為任意給定的可測函數(shù)，{xn（ω）}是由下式定義的隨機(jī)Ishikawa迭代序列，

{αn}、{βn1}?[0，1]滿足條件（1）αn→0，βn1→0（n→+∞）；如果S是廣義Lipschitz的，則對任意給定的可測函數(shù)f：Ω→H，隨機(jī)算子方程

有唯一隨機(jī)解x*：Ω→H，且對每一ω∈Ω，隨機(jī)迭代序列{xn（ω）}強收斂到x*（ω）.

證明由條件可知S：Ω×H→H是具有函數(shù)k：Ω→H，k（ω）=1-h（ω）的連續(xù)廣義Lipschitz隨機(jī)強偽壓縮算子.由推論，對每一ω∈Ω，由式（15）定義的序列{xn（ω）}強收斂到S的隨機(jī)不動點x*：Ω→H，因此S（ω，x*（ω））=x*（ω），即T（ω，x*（ω））=f（ω），ω∈Ω，這蘊含x*（ω）是隨機(jī)方程（16）的隨機(jī)解.證畢.

注4本文從兩方面推廣和改進(jìn)了文獻(xiàn)[3]中的結(jié)果：（1）將隨機(jī)Ishikawa迭代序列推廣到多步隨機(jī)迭代序列；（2）用廣義Lipschitz算子取代值域有界條件.

例設(shè)Ω=[0，1]，取C=（-∞，+∞）具有通常意義的范數(shù).∑是Ω的σ-代數(shù)在[0，1]上的Lebesgue可測子集，定義隨機(jī)算子T：Ω×C→C為T（ω，x）=2ω-x，則對每一ω∈Ω，可測映象x*：Ω→C，x*（ω）=ω是T的唯一隨機(jī)不動點.對任意x、y∈C，存在j（x-y）∈J（x-y），使得對每一ω∈Ω，取有

由此T：Ω×C→C是一個具有的強偽壓縮算子，且是具有L=1的廣義Lipschitz算子.取則推論中的所有條件均滿足.因此由式（2）定義的序列{xn}強收斂到T的隨機(jī)不動點x*（ω）=ω.事實上

但因為T的值域無界，因此文獻(xiàn)[3]中的定理2.1不能用于此算例.