数理解析研究所講究録
第 1667 巻 2009 年 149-159

149

準非拡大写像に関する強収束定理とその応用(STRONG CONVERGENCE THEOREMS FOR GENERALIZEDNONEXPANSIVE MAPPINGS AND THEIR APPLICATIONS)

茨木貴徳 (TAKANORI IBARAKI)
名古屋大学情報連携統括本部(INFORMATION AND COMMUNICATIONS HEADQUARTERS, NAGOYA UNIVERSITY)

1. はじめにを実ヒルベルト空間 $H$ の空でない閉凸集合とし, $T$ を $C$ から $C$ への非拡大写像 (nonexpansive mapping), すなわち, 任意の $C$ の元 $x,$ に対して
$C$

$y$

$\Vert Tx-Ty\Vert\leq\Vert x-y\Vert$が成り立つとする. このとき, $T$ の不動点 (fixed point) 全体の集合を $F(T)$ で表すこととする.
中條-高橋 [16] は Solodov-Svaiter [19] にヒントを得て, 非拡大写像の不動点を求める次の点列近似法を提案した.

$\{\begin{array}{l}x_{1}=x\in C?_{n}/=\alpha_{n}x_{7l}.

ただし,+(1-\alpha_{n})7^{\urcorner}x_{n},H_{n}=\{z\in C:\Vert y_{n}-z\Vert\leq\Vert x_{n}-z\Vert\},W_{n}=\{z\in C: \{x-x_{n}, x_{n}-z\rangle\geq 0\},x_{n+1}=P_{H_{n}\cap W_{n}^{X}}.’\uparrow?=1,2, \ldots.\end{array}$

は $C$ から $H_{n}\cap I/V_{n}$ の上への距離射影 (metric projection)とし,とする. そして彼らは, この点列
が $P_{F(T)}x$ に強収束することを示した. ただし, $P_{F(T)}$ は$C$ から $F(T)$ の上への距離射影である.
この手法はハイブリッド法 (hybrid method) と呼ばれている. 2008 年には高橋-竹内-窪田 [24] が中條-高橋 [16] にヒントを得て次の非拡大写像の不動点を求める次の点列近似法を提案した.
$\{\alpha_{n}\}\subset[0,1]$$P_{H_{n}\cap W_{r\iota}}$$\{x_{n}\}$$\{\begin{array}{l}x_{0}=x\in H, Q_{1}=C\ x_{1}=P_{Q_{1}}x_{0}y_{n}=\alpha_{\eta}x_{n}+(1-\alpha_{n})Tx_{n},Q_{n+1}=\{z\in Q_{n}:\Vert y_{n}-z\Vert\leq\Vert x_{n}-z\Vert\},x_{n+1}=P_{Q_{n+1}}x, n=1,2, \ldots.\end{array}$

ただし,は $H$ からの上への距離射影とする. そして彼らは, このとし,が $P_{F(T)}x$ に強収束することを示した. ただし, $P_{F(T)}$ は $C$ から $F(T)$ の上への距離点列射影である. この手法は縮小射影法 (shrinking projection method) と呼ばれている.
これら 2 つの手法には, 距離射影の概念が電要となってくる. ここで, $H$ から $C$ の上への距
離射影 (metric projection)とは, 任意の $H$ の元 に対して次で定義される.
$\{\alpha_{n}\}\subset[0,1]$$P_{Q_{n}}$$Q_{n}$$\{x_{n}\}$$P_{C}$$x$$Pc_{?/\in C}x= \arg\min\Vert x-y\Vert$.

2000 Mathematics Subject Classification. Primary $47H09$ , Secondary $47H10,47J25$ .
Key words and phrases. 準非拡大写像, サニー準非拡大射影, サニー準非拡大レトラクト, 不動点, ハイブリッ
ド法, 縮小射影法.

150
この距離射影は次の重要な性質を持っている. すなわち $H$ の元
に対して$x_{0}=P_{C}x$ であることの必要十分条件は, 任意の $C$ の元

$x$

と

$C$

の元

$x_{0}$

に対して)

$y$

$($

1. 1

$\langle x-x_{0},$$)$$x_{0}-y\}\geq 0$が非拡大写像になることがわかる.
が成り立つことである. この性質を用いると一方, 距離射影の概念はバナッハ空間の場合にも拡張される. バナッハ空間での距離射影(metric projection) とサニー非拡大射影 (sunny nonexpansive retraction) の 2 つの射影は古くから知られていた. 1996 年に Alber [1] は第 3 の射影である準距離射影 (generalized projection)の概念を導入した. さらに近年, 茨木-高橋 [3, 5] は第 4 の射影であるサニー準非拡大射影 (sunny
generalized nonexpansive retraction) の概念を導入した. これらの射影はヒルベルト空間上の距離射影の自然な拡張になっている. それはこれらの射影の性質を比較してみるとよくわかる.
比較しやすいよう $E$ を回帰的で滑らかな狭義凸バナッハ空間とする. $C$ を $E$ の閉凸集合とし,をそれぞれ $E$ から $C$ の上への距離射影, 準距離射影, サニー非拡大射影, サと $C$ の元
ニー準非拡大射影とする. このとき, $E$ の元に対して,$P_{C}$$P_{C^{\gamma})}\Pi_{C},$$Q_{C},$ $R_{C}$$x$$x_{0}$$x_{0}=P_{C}$ じ$\Leftrightarrow$$\{J(x-x_{0}))x_{0}-y\rangle\geq 0$$x_{0}=\Pi_{C^{X}}$$\Leftrightarrow$$\langle Jx-J$ の $0,$ $x_{0}-y\}\geq 0$$x_{0}=Q_{C}x$$\Leftrightarrow$$x_{0}=R_{C}x$$\Leftrightarrow$,$\forall y\in C$,$\forall y\in C$$\{x-x_{0}, J(x_{0}-y)\}\geq 0$ ,$\forall y\in C$,$\forall y\in C$$\{x-x_{0},$ $Jx_{0}-Jy\rangle\geq 0$,,,

は $E$ の双対写像 (duality mapping) である. ヒルベルト空間上での距離射である. ただし,
影の重要な性質 (1.1) を考慮すると, これら 4 つの非線形射影はバナッハ空間への拡張と考えたとき自然な拡張であると言えよう. 実際, この 4 つの射影をヒルベルト空間で考えると全て$J$同じ射影となることは容易にわかる. なぜなら, ヒルベルト空間では双対写像
は恒等写像となり, この 4 つの性質は (1.1) と一致するからである ([3, 5] を参照). さらに, これらの非線形
$J$

$I$

射影はヒルベルト空間と同様に非拡大の性質を持っている.
距離写像 (metric operator)
距離射影
準距離射影
擬非拡大写像 (relatively nonexpansive inapping)
非拡大写像 (nonexpaiisive mapping)
サニー非拡大射影
準非拡大写像 (generalized nonexpansive mapping)
サニー準非拡大射影
本論文では, 筆者がここ数年着目して研究を進めているバナッハ空間上の準非拡大写像に関しての不動点近似法をサニー準非拡大射影を用いて議論する. まず始めに, ハイブリッド法及び縮小射影法を用いて準非拡大写像の不動点を求める 2 つの強収束定理を得る. 次に, この結果を利用して, 凸最少化問題と制約可能性問題をバナッハ空間で議論する.
$\Rightarrow$$\Rightarrow$$\Rightarrow$$\Rightarrow$

2. 準備をその共役空間とする. $E$ が狭義凸 (strictly convex) であるとの元 $x,$ $y(x\neq y)$ に対して, つねに $\Vert x+y\Vert<2$ が成り立つことでは, $\Vert x\Vert=\Vert y\Vert=1$ となるある. 同様に, 一様凸 (uniformly convex) であるとは, $\Vert x_{n}\Vert=\Vert y_{n}\Vert=1,1iin_{narrow\infty}\Vert x_{n}+y_{n}\Vert=2$となる $E$ の点列に対して, つねに $\lim_{narrow\infty}\Vert x_{n}-y_{n}\Vert=0$ となることである.
の部分集合
バナッハ空間 $E$ の元
に対して,
$E$

を実バナッハ空間とし,$E^{*}$$E$$\{x_{n}\},$ $\{y_{n}\}$$E^{*}$$x$$Jx:=\{x^{*}\in E^{*} :\langle x, x^{*}\rangle=\Vert x\Vert^{2}=\Vert x^{*}\Vert^{2}\}$を対応させる写像 $J$ のことを, $E$ の双対写像 (duality mapping) と呼ぶ.
は $E$ のノルムの微分可能性とも大いに関わりをもつ. いま $S(E):=\{x\in$
この双対写像$E$ : $\Vert x\Vert=1\}$ とするとき, $S(E)$ の元 $x,$に対して, 次の極限を考える.
$J$

$y$

(2.1)

$\lim_{tarrow 0}\frac{\Vert \text{の}+t_{l/}\Vert-\Vert x\Vert}{t}$151
バナッハ空間 $E$ のノルムが G\^ateaux 微分可能 (G\^ateaux differcntiable) であるとは, $S(E)$ の
元 $x,$ に対して, つねに (2.1) が存在するときをいう. このとき, 空間 $E$ は滑らか (smooth) でに関して一様に収束するあるともいう. 任意の $S(E)$ の元に対して, (2.1) が $S(E)$ の元$E$のノルムが一様 G\^ateaux 微分可能 (uniformly Gateaux differentiable) であるという.
とき,任意の $S(E)$ の元に関して一様に収束するとき, $E$ のノルに対して, (2.1) が $S(E)$ の元ムが Fr\’echet 微分可能 (Fr\’echet difFerentiable) であるという. (2.1) が $S(E)$ の元 $x,$に関して一様に収束するとき, $E$ のノルムが一様 Frechet 微分可能 (uniformly Fr\’echet differentiable)
であるという. このとき, 空間 $E$ は一様に滑らか (uniformly smooth) であるともいう.
多価写像 $T\subset E\cross E^{*}$ に対して, $T$ の定義域と $T$ の値域は
$y$

$x$

$y$

$x$

$y$

$y$

$D(T)=\{x\in E:Tx\neq\emptyset\},$$R(T)=\cup\{Tx:x\in D(T)\}$で定義される. 多価写像 $T\subset E\cross E^{*}$ が単調作用素 (monotone operator) であるとは, 任意の$(x, x^{*}))(y, y^{*})\in T$ に対して$\langle x-y,$$x^{*}-y^{*}\}\geq 0$

がつねに成り立つことと定義する. 多価写像 $T$ が狭義単調作用素 (strictly monotone operator)
であるとは, 任意の X, の , $(y,$ $y^{*})\in T(x\neq y)$ に対して
$*$

$($

$)$

$\langle x-y,$ $x^{*}-y^{*}\rangle>0$がつねに成り立つことと定義する. また, 単調作用素 $T$ が極大 (maximal) であるとは, $T$ を真に含む単調作用素 $S\subset E\cross E^{*}$ が存在しないときいう. すなわち, $S\subset E\cross E^{*}$ が単調作
用素で, かつ $T\subset S$ であるならば, $T=S$ となるときをいう. $T$ が極大単調作用素ならば,$T^{-1}0=\{u\in E:0\in Tu\}$ は閉凸集合となる. $E$ が回帰的で狭義凸ならば, 単調作用素 $T$ が極大になる必要十分条件は 任意の $\lambda>0$ に対して, $R(J+\lambda T)=E^{*}$ となることである ([2, 22]を参照).
とノルムの微分可能性に関しては次の性質が知られているでの双対写像
バナッハ空間([2, 21, 22] を参照).
$\grave$$J$$F_{\lrcorner}$(1) $E$ の元 に対して, $Jx$ は空でない有界な閉凸集合である;
は単調作用素である;(2)が 1 対 1 となることである.
(3) $E$ が狭義凸であるための必要十分条件は,$x\neqy\RightarrowJx\cap
Jy=\emptyset$;
すなわち,(4) $E$ が狭義凸であるための必要十分条件は が狭義単調作用素となることである;
は
の逆像とな
の双対写像
(5) $E$ が回帰的で滑らかで狭義凸なバナッハ空間なら,$J_{*}=J^{-1}$
る. すなわち,である;(6) $E$ が回帰的であるための必要十分条件は) が全射となることである;(7) $E$ が滑らかであるための必要十分条件は, が一価になることである.
$x$

$J$

$J$

$J$

$E^{*}$$J_{*}$

$J$

$J$
$J$

3. 準非拡大写像とサニー準非拡大射影$E$を滑らかなバナッハ空間とし,$J$を $E$ の双対写像とする. このとき, $E$ の元 $x,$

$y$

に対して,

$V(x, y)=\Vert x\Vert^{2}-2\langle x,$ $Jy\rangle+\Vert y\Vert^{2}$

で $E\cross E$ から$\mathbb{R}$への関数 $V$ を定義する. この関数 $V$ に関しては次のような性質が知られている ([1, 11, 15] を参照).

(1) $E$ の元 $x,$ に対して, $(\Vert x\Vert-\Vert y\Vert)^{2}\leq V(x, y)\leq(\Vert x\Vert+\Vert y\Vert)^{2}$ である;
(2) $E$ の元 $x,$ $y,$ に対して, $V(x, y)=V(x, z)+V(z, y)+2\langle x-z,$ $Jz-Jy\rangle$ である;
(3) $E$ が狭義凸ならば, $E$ の元 $x,$ に対して $V(x, y)=0$ であるための必要十分条件は
$y$

$z$

$y$

$x=y$ である.

152
を $E$ の空でない閉凸集合とする. このとき, $C$ から $C$ への写像 $T$ が準非拡大写像 (generalizedと $F(T)$ のnonexpansive mapping) であるとは, $F(T)$ が空集合でなく, かつ任意の $C$ の元
元
に対して,
$C$

$x$

$y$

$V(Tx, y)\leq V(x, y)$がつねに成り立つことと定義する ([3, 5] を参照). ただし, $F(T)$ は写像 $T$ の不動点の集合,
が $T$ の準漸近的不動点 (generalizedすなわち $F(T)=\{z\in C :Tz=z\}$ である. $C$ の元$Jx_{n}$$Jp$がに弱 位相の意味で収束し $\lim_{narrow\infty}(Jx_{n}-$asymptotic fixed point) であるとは,$JTx_{n})=0$ を満たす点列 $\{x_{n}\}\subset C$ が存在することと定義する. このとき, $T$ の準漸近的不動で表す. 準非拡大写像の準漸近的不動点に関しては次の補助定理が知られて
点の集合を
$p$

*

$\check{F}(T)$いる.

補助定理 3.1 ([8, 14]). $C$ をヒルベルト空間 $H$ の空でない閉凸集合とし, $C$ から $C$ への { $T$
を非拡大写像で $F(T)$ が空集合でないとする. このとき, $T$ は準非拡大写像かつ $F(T)=\check{F}(T)$$\Xi$$\ovalbox{\tt\small REJECT}$となる.

をバナッハ空間とし, $D$ を $E$ の空でない集合とする. このとき, $E$ から $D$ への写像 $R$ がと $t\geq 0$ に対してサニー (sunny) であるとは, 任意の $E$ の元
$E$

$x$

$R(Rx+t(x-Rx))=Rx$が成り立つことである. 同様に, $E$ から $D$ への写像 $R$ が射影 (retraction) であるとは, 任意の$D$ の元に対して, $Rx=x$ が成り立つことである. これらの写像に関して次の補助定理が知られている.
$x$

補助定理 3.2 ([3, 5]). $E$ を滑らかで狭義凸なバナッハ空間とし, $D$ を $E$ の空でない集合とすがサニーかつ準非拡大写像にを $E$ から $D$ の上への射影とする. このとき,
る. また
$D$
$E$
と
の元
の元
に対して,
なる必要 [分条件は, 任意の$R_{D}$$R_{D}$$y$$\prime x$$\langle x-R_{D}x,$$JR_{D}x-Jy\}\geq 0$となることである. ただし, $J$ は $E$ の双対写像である.

が滑らかで狭義凸なバナッハ空間とし, $D$ を空でない集合とする. このとき, $E$ から $D$ の上へのサニー準非拡大射影 (sunny generalized nonexpansive retraction) は一意に決まる. そこでで, 滑らかで狭義凸なバナッハ空間の場合に, $E$ から $D$ の上へのサニー準非拡大射影を
$D$
$E$
$E$
$D$
が
のサニー準非拡大レトラ
をの空でない集合とする. このとき,表すことにする.
クト (sunny generalized nonexpansive retract) であるとは, $E$ から $D$ の上へのサニー準非拡大射影が存在するときと定義する. サニー準非拡大射影の不動点集合はもちろん $D$ である ([3, 5]を参照). サニー準非拡大射影とサニー準非拡大レトラクトに関しては次の 2 つの結果が知られ$E$$R_{D}$ている.

定理 33([12]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $D$ を $E$ の空でない集合とする. このとき次の条件は同仙になる.

(1) $D$ はサニー準非拡大レトラクトである;(2) $JD$ は閉凸集合である.
このとき, $D$ は閉集合となる.

補助定理 34([8]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $D$ を $E$ の空でないサを $E$ から $D$ の上へのサニー準非拡大射影とする.
ニー準非拡大レトラクトとする. また
このとき, $\check{F}(R)=F(R)=D$ が成り立つ.
$R_{D}$

153
4. 強収束定理
本節では, ハイブリッド法と縮小射影法を用いた準非拡大写像の不動点への強収束定理を議論する. それには, 準非拡大写像の不動点集合に関して次の補助定理が必要である.
補助定理 4.1 ([8]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $T$ を $E$ から $E$ への準非拡大写像とする. このとき, $F(T)$ は $E$ のサニー準非拡大レトラクトになる.

茨木-高橋 [8] はハイブリッド法を利用した準非拡大写像の不動点への強収束定理を得た.

定理 42([8]). $E$ を一様に滑らかで一様凸バナッハ空間とし, $T$ を $E$ から $E$ への準非拡大写像で, $\check{F}(T)=F(T)$ を満たすものとする. このとき) $xi=x\in E$ とし$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})Tx_{n},H_{n}=\{z\in E:V(y_{n}, z)\leq V(x_{n}, z)\},W_{n}=\{z\in E: \{x_{1}-x_{n}, Jx_{n}-Jz\rangle\geq 0\},x_{n+1}=R_{H_{n}\cap W_{n}^{X}}, n=1,2, \ldots\end{array}$とする. ただし, $\{\alpha_{n}\}\subset[0,1)$ は $\lim\sup_{narrow\infty}\alpha_{n}<1$ を満たすとする. このとき点列 $\{x$ 訂は$R_{F(T)^{X}}$ に強収束する.
ここで, $R_{F(T)}$ は $E$ から $F(T)$ の上へのサニー準非拡大射影である.

次に, 茨木-高橋 [10] は縮小射影法を利用した準非拡大写像の不動点への強収束定理も得た.

定理 43([10]). $E$ を一様に滑らかで一様凸バナッハ空間とし, $T$ を $E$ から $E$ への準非拡大写像で, $\check{F}(T)=F(T)$ を満たすものとする. このとき $x_{1}=x\in E,$ $Q_{1}=E$ とし$\rangle$$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})Tx_{n)}Q_{n+1}=\{z\in Q_{n}:V(y_{n}, z)\leq V(x_{n}, z)\},x_{n+1}=R_{Q_{n+1}}x, n=1,2, \ldots\end{array}$とする. ただし) $\{\alpha_{n}\}\subset[0,1)$ は $\lim\sup_{narrow\infty}\alpha_{n}(1-\alpha_{n})>0$ を満たすとする. このとき点列は $R_{F(T)^{X}}$ に強収束する. ここで f $R_{F(T)}$ は $E$ から $F(T)$ の上へのサニー準非拡大射影
である.
$\{x_{n}\}$

これら定現 42 及び 43 と補助定理 3.1 の直接的な結果として, 次のようなヒルベルト空問の非拡大写像の不動点への強収束定理を得ることができる.
定理 44. $H$ をヒルベルト空間とし, $T$ を $H$ から $H$ への非拡大写像でする. このとき, $x_{1}=x\in E$ とし$\rangle$$F(T)$が空でないと$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})Tx_{n},H_{n}=\{z\in E:\Vert y_{n}-z\Vert\leq\Vert x_{n}-z\Vert\},W_{n}=\{z\in E: \{x_{1}-x_{n)}Jx_{n}-Jz\rangle\geq 0\},x_{n+1}=P_{H_{n}\cap W_{n}}x, n=1,2, \ldots\end{array}$とする. ただし, $\{\alpha_{n}\}\subset[0,1)$ は $\lim\sup_{n-arrow\infty}\alpha_{n}<1$ を満たすとする. このとき点列$P_{F(T)^{X}}$ に強収束する.
ここで 7 $P_{F(T)}$ は $E$ から $F(T)$ の上への距離射影である.

$\{$

X 訂は

定理 45. $H$ をヒルベルト空間とし, $T$ を $H$ から $H$ への非拡大写像で, $F(T)$ が空でないとする. このとき, $x_{1}=x\in E,$ $Q_{1}=E$ とし$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})Tx_{n},Q_{n+1}=\{z\in Q_{n}:\Vert_{t/n}-z\Vert\leq\Vert x_{n}-z\Vert\},x_{n+1}=R_{Q_{n+1}}x, n=1,2, \ldots\end{array}$$\{\alpha_{n}\}\subset[0,1)$
は $\lim\sup_{narrow\infty}\alpha_{n}(1-\alpha_{n})>0$ を満たすとする. このとき点列は $P_{F(T)}x$ に強収束する. ここで, $P_{F(T)}$ は $E$ から $F(T)$ の上への距離射影である.

とする. ただし$\{x_{n}\}$$\rangle$

154
5. 凸最小化問題$H$を実ヒルベルト空聞とし, $f$ : $Harrow(-\infty, \infty]$ を下半連続な真凸関数とする. このとき
$f(u)= \min_{x\overline{\in}H}f(x)$を満たす元を求める問題を, 凸最小化問題 (convex mini 而 zation problem) という. ここで,
の元
に対して,
$u$

$H$

$x$

$\partial f(x)=\{z\in H:f(y)\geq\langle y-x, z\rangle+f(x), \forall y\in H\}$を $f$ の劣微分 (subdifferential) という. このとき,を対応させる $H$ から $H$ の多価写像
は極大単調作用素 (maximal monotone operator) になることが知られている. また, $f(u)=$$\min_{x\in H}f(x)$ であることと, $0\in\partial f(u)$ であることは同値であることも知られている. このことから凸最小化問題は, 極大単調作用素 $T\subset H\cross H$ に対して,$\partial f$$\partial f$(5.1)$0\in Tu$を満たす元 ?4 を求める問題に帰着することができる. このような元 を $T$ の零元 (zero point)という. また, この問題は凸最小化問題だけでなく, 変分不等式問題, ミニマックス問題等の多くの非線形問題を–般化した問題でもある. この極大単調作用素の零元を求める問題 (5.1) を解く代表的な手法に近接点法 (proximal point algorithm) がある: 初期点を $x_{1}\in H$ とし,
$u$

(5.2)

$x_{n+1}=J_{r_{1}},x_{n}$ ,$r\iota=1,2,$ $\ldots$

で点列を構成する. ただし, $\{r_{n}\}\subset(0, \infty)$ であり, 任意の $r>0$ に対して $J_{r}=$ (I $+$ rT)-】である. このようなみは $T$ のリゾルベント (resolvent) と呼ばれる. この近接点法は 1970 年に Martinet [13] により導入され, 1976 年に Rockafellar [18] により) $\lim\inf_{narrow\infty}r_{n}>0$ かっ
は $T^{-1}0$ の元へ弱収束することが示された. こならば (5.2) で定義された点列の研究以降, ヒルベルト空間の近接点法はさまざまな形で行われてきており, さらにその結果をバナッハ空間で議論することも活発に行われている.
ヒルベルト空問のリゾルベントの概念をバナッハ空間で論じる場合, 3 つのリゾルベントが知られている. ヒルベルト空間での極大単調作用素をバナッハ空間で論じる場合, 極大単調作
用素 (maximal monotone operator) と $m$ 増大作用素 (m-accretive operator) に分かれる. $E$ をとする. $T\subset E\cross E^{*}$ を極大単回帰的で滑らかな狭義凸バナッハ空間とし, その共役空間を$E$$A\subset
E\cross
E$
を $m$ -増大作用素とする. このとき,と $r>0$ に対して, 3 つの
の元
調作用素,

$T^{-1}0\neq\emptyset$$\{x_{n}\}$$F_{\lrcorner}^{*}$$x$

リゾルベントは以下で定義される.
君 $x$

$=$

$Q_{r}x$$=$$\Pi_{?}.x$$=$$\{z\in E:0\in J(z-x)+rTz\}$ ,$\{z\in E:0\in(z-x)+rAz\}$ ,$\{z\in E:0\in(Jz-Jx)+rTz\}$ .

は $E$ の双対写像である. この 3 つのリゾルベントに関しては, これまで多くの研究
ただし,者によって近接点法の研究がなされてきた. 近年の研究において, 茨木-高橋 [5] はこれらとは異なるバナッハ空間での第 4 のリゾルベントとなる準リゾルベント (generalized resolvent) の概念を導入した. $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, その共役空間をとする.
$B\subset
E^{*}\crossE$が極大ならば, 任意の $r>0$ に対して, $E=R(I+rB.J)$ でこのとき, 単調作用素と $r>0$ に対して,ある ([5] 参照). ここで, 任意の $E$ の元$J$$E^{*}$$x$$R_{\eta}x=\{z\in E:x\in z+rBJz\}$

は $(I+rBJ)^{-1}$ で記述される. このようなは一価となる. このとき,をとすると,$B$ の準リゾルベントを呼ぶこととする ([5, 7] を参照). 準リゾルベントに関しては次の性質が知られている.
$R_{r}x$$R_{\gamma}$$R_{r}$

155
補助定理 5.1 ([5,6]). $E$ が回帰的で滑らかな狭義凸バナッハ空間とし, $B\subset E^{*}\cross E$ をを満たす極大単調作川素とする. $r>0$ に対して 2 $R_{r}=(I+rBJ)^{-1}$ とする. このとき, 次の性質が成立する.
$B^{-1}0\neq\emptyset$(1) 任意の $r>0$ に対して 2 $D(R_{r})=E$ ,(2) 任意の $r>0$ に対して, $(BJ)^{-1}0=F(R_{r})$ ,(3) $(BJ)^{-1}0$ は閉集合,: $Earrow E$ は準非拡大写像になる.
(4) 任意の $r>0$ に対して,$R_{r}$

補助定理 52 ([5, 12]). $E$ を回帰的で滑らかな狭義凸バナッハ空閻とし, $B\subset E^{*}\cross E$ をを満たす極大単調作用素とする. このとき, $(BJ)^{-1}0$ はサニー準非拡大レトラクト$B^{-1}0\neq\emptyset$になる.

補助定理 5.1 及び 52 と定理 42 及び 43 の直接的な結果として, 問題 (5.1) に関する次の2 つの強収束定理を得ることができる.

定理 53([8]). $E$ を一様に滑らかで一様凸バナッハ空間とし, $B\subset E^{*}\cross E$ を極大単調作川素とする.
に対して, $R_{r}=(I+rBJ)^{-1}$ とする. このとき, $x_{1}=x\in E$ とし$7^{\cdot}>0$$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})R_{r}x_{n},H_{n}=\{z\in E:V(y_{n}, z)\leq V(x_{n}, z)\},W_{n}=\{z\in E:\langle x_{1}-x_{n}, Jx_{n}-Jz\rangle\geq 0\},x_{n+1}=R_{H_{n}\cap W_{n}}x, n=1,2, \ldots\end{array}$とする. ただし,は $\lim\sup_{n-arrow\infty}\alpha_{r\iota}<1$ を満たすとする. このとき $B^{-1}0\neq\emptyset$ では $R_{(BJ)^{-1}0^{X}}$ に強収束する. ここで, $R_{(B’)^{-1}0}$ は $E$ から $(BJ)^{-1}()$ の-[– への$\{\alpha_{n}\}\subset[0,1)$あれば, 点列
サニー準非拡大射影である.
$\{x_{n}\}$$\hat$

定理 54. $E$ を一様に滑らかな一様凸バナッハ空間とし, $B\subset E^{*}\cross E$ を極大単調作用素とする. $r>0$ に対して) $R_{r}=(I+r\cdot BJ)^{-1}$ とする. このとき, $x_{1}=x\in E,$ $Q_{1}=E$ とし$\{\begin{array}{l}y_{?1}=\alpha_{n}x_{n}+(1-\alpha_{71})R_{r}x_{n},Q_{n+1}=\{z\in Q_{n}:V(y_{n}, z)\leq V(x_{n}, z)\},x_{n+1}=R_{Q_{n+1}}x, n=1,2, \ldots\end{array}$

ただし, $\{\alpha_{n}\}\subset[0,1)$ は $\lim\sup_{narrow\infty}\alpha_{n}(1-\alpha_{n})>0$ を満たすとする. このときはに強収束する. ここで, $R_{(B.J)^{-1}0}$ は $E$ からであれば, 点列$(BJ)^{-1}0$ の上へのサニー準非拡大射影である.
とする.

$B^{-1}0\neq\emptyset$$\{x_{n}\}$$R_{(BJ)^{-1}0^{X}}$をその次に, 凸最小化問題を議論する. $E$ を回帰的で滑らかな狭義凸バナッハ空間とし,の劣微分は$f^{*}:E^{*}arrow(-\infty,\infty]$を下半連続な真凸関数としたとき,共役空間とする.
$E^{*}$$f^{*}$$\partial f^{*}(x^{*})=\{z\in E:f^{*}(y^{*})\geq\langle y^{*}-x^{*}, z\}+f^{*}(x^{*}),$$\forall y^{*}\in E^{*}\}$

は極大単調作用素であり, $f^{*}(u^{*})= \min_{x^{*}\in E^{*}}$
で定義される. このとき, 劣微分のであることは同値であることも分かる. また, 劣微分であることと,と $r>0$ に対して
準リゾルベント
は, $E$ の元$\partial f^{*}\subset E^{*}\cross E$$R_{r}$(5.3)$\partial f^{*}$$0\in\partial f^{*}(u^{*})$$f^{*}(x^{*})$$x$$R_{r}x=(I+r \partial f^{*}J)^{-1}x=J_{*}(\arg\min_{\in y^{*}E^{*}}\{f^{*}(y^{*})+\frac{1}{2r}\Vert y^{*}\Vert^{2}-\frac{1}{r}\{x, y^{*}\rangle\})$となる. ただし,$J_{*}$

は$E^{*}$の双対写像である. この式 5.3
$($

$)$

と定理 53 及び 54 の直接的な結果

から, 凸最小化問題に関する次の 2 つの強収束定理を得ることができる.

156
定理 5.5 ([8]). $E$ を一様に滑らかな一様凸バナッハ空間とし, $f^{*}:E^{*}arrow(-\infty, \infty]$ を下半連
続な真凸関数とする. このとき $fx_{1}=x\in E$ とし)$\{\begin{array}{l}y_{n}^{*}=\arg\min_{\in yE^{r}}\{f^{*}(y^{*})+\frac{1}{2r}\Vert y^{*}\Vert^{2}-\frac{1}{r}\langle x_{n}, y^{*}\rangle\},y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})J_{*}y_{n}^{*},H_{n}=\{z\in E:V(y_{n}, z)\leq V(x_{n}, z)\},W_{n}=\{z\in E:\langle x_{1}-x_{n}, Jx_{n}-Jz\}\geq 0\},x_{n+1}=R_{H_{n}\cap W_{n}^{X}}, n=1,2, \ldots\end{array}$の双対写像で,
C.t $\lim\sup_{narrow\infty}\alpha_{n}<1$ を満たすとする.
に強収束する. ここで,であれば, 点列
訂はの上へのサニー準非拡大射影である.

とする. ただし, J、は
このとき
は $E$ から$\{\alpha_{n}\}\subset[0,1)$$E^{*}$$\{x$$(\partial f^{*})^{-1}0\neq\emptyset$$(\partial f^{*}J)^{-1}0$$R_{(\partial j^{*}J)^{-1}0}$$R_{(\partial f^{*}J)^{-1}0^{X}}$定理 56. $E$ を一様に滑らかな一様凸バナッハ空間とし, $f^{*}:E^{*}arrow(-\infty, \infty]$ を下半連続な真凸関数とする. このとき, $\text{の_{}1}=x\in E,$ $Q_{1}=E$ とし,$\{\begin{array}{l}y_{n}^{*}=\arg\min_{y^{*}\in E^{*}}\{f^{*}(y^{*})+\frac{1}{2r}\Vert y^{*}\Vert^{2}-\frac{1}{r}\langle x_{n}, y^{*}\rangle\},y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})J_{*}y_{n}^{*},Q_{n+1}=\{z\in Q_{n}:V(y_{n}, z)\leq V(x_{n}, z)\},x_{n+1}=R_{Q_{n+1}}x, r\iota=1,2, \ldots\end{array}$はとする. ただし,すとする. このときは $E$ から
$J_{*}$$E^{*}$の双対写像で, $\{\alpha_{n}\}\subset[0,1)$ は lim sn $I)_{7larrow\infty}\alpha_{n}(1-\alpha_{n})>0$ を満たはに強収束する. ここでであれば, 点列のへのサニー準非拡大射影である.

$(\partial f^{*})^{-1}0\neq\emptyset$$R_{(\partial f^{*}.J)^{-1}0}$$\{x_{n}\}$$R_{(\partial f^{*}J)^{-1}0^{X}}$$\rangle$$(\partial f^{*}J)^{-1}0$$\llcorner$

6. 制約可能性問題
を $H$ の空でない閉凸集合の族でが空集を実ヒルベルト空問とし,
$H$
から
の上への距
合でないとする. このとき, 制約可能性問題 (feasibility problem) とは$P_{C_{l}}(i=1,2,\ldots,r)$の元を求める問題である. 本節でのみを用いた点列近似法で
離射影
は, ヒルベルト空間の距離射影のバナッハ空間への拡張であるサニー準非拡大射影を用いた制約可能性問題を議論する. ここでは, 有限個の写像の凸結合から生成される $W$ 写像と呼ばれる
写像と積写像を用いた 2 つの点列近似法を扱う.
高橋 [20] は有限個の非拡大写像の共通不動点を求めるために有限個の写像の凸結合からな
る $W$ -写像 (W-mapping) という写像を導入した; $C$ をバナッハ空間 $E$ の空でない凸集合とし,をを $C$ から $C$ への個の実数で $0\leq\beta_{i}\leq 1$個の写像とし,$(i=1,2, \ldots, r)$ を満たすものとする. このとき, $C$ から $C$ への写像 $W$ を$H$$C_{0}= \bigcap_{i=1}^{r}C_{i}$$\{C_{i}\}_{\dot{z}=1}^{r}$$C_{i}$$C_{0}$$T_{1},$$T_{2},$$T_{r}$$\beta_{1},$$r$$\ldots,$$z$$\beta_{2},$$r$$\beta_{r}$$\ldots,$,$U_{1}$$=$$[i_{1}T_{1}+(1-\beta_{1})I$$U_{2}$$=$$\beta_{2}T_{2}U_{1}+(1-\beta_{2})I$$U_{r-1}$$=$$\beta_{r-1}T_{r-1}U_{r-2}+(1-\beta_{r-1})I$$W=U_{r}$$=$$\beta_{r}T_{r}U_{r-1}+(1-\beta_{\tau})I$,,とによって生成で定義する ([23] を参照). このような写像 $W$ は,$W$-写像に関しては次の補助定理
される $W$ -写像といわれる. 有限個のサニー準非拡大写像のが得られている.
$T_{1},$$T_{2},$$\beta_{1},$$T_{\tau}$- $arrow$$R_{1},$$\beta_{r}$$\ldots,$

補助定理 6.1 ([9]). $E$ を 様に滑らかな一様凸バナッハ空間とし,が空でない $E$ の 個のサニー準非拡大レトラクトとする.
$r$$\beta_{2},$$\ldots,$$R_{2},$

を口 $ri=1D_{i}$の上を $E$ から

$D_{1},$ $D_{2},$$\ldots,$$R_{r}$$\ldots,$$D_{r}$$D_{i}$

157
へのサニー準非拡大射影とし)とする. また, $W$ をとき f $W$ は準非拡大写像かつ,$R_{1},$$R_{2},$$\beta_{1},$$\beta_{2},$$\ldots,$と$\beta_{1},$を $0<\beta_{i}<1(i=1,2, \ldots, r)$ となる個の実数によって生成される $W$ -写像とする. この$r$$\beta_{r}$$\ldots,$$R_{r}$$\beta_{2},$$\beta_{r}$$\ldots,$$\check{F}(W)=F(W)=\bigcap_{i=1}^{r}D_{i}$である.

この補助定理 6.1 と定理 42 及び 43 の直接的な結果として, 制約可能性問題に関連する次の 2 つの強収束定理を得ることができる.
定理 62 ([9]). $E$ を一様に滑らかな一様凸バナッハ空間とし,を口 ir$=1D_{i}$ が空でない $E$ のを $E$ からの上へのサ
個のサニー準非拡大レトラクトとする.
$0<\beta_{i}<1(i=1,2,\ldots,r)$をとなる個の実数とする.
ニー準非拡大射影とし,とによって生成される $W$ -写像とする.
また, $W$ を
は $\lim\sup_{narrow\infty}\alpha_{n}<1$ を満たすものとする. このとき, $x_{1}=x\in E$ とし,$D_{1},$ $D_{2},$$R_{1},$ $R_{2},$$r$$\beta_{1},$$\beta_{2},$$\ldots,$$D_{r}$$\ldots,$$D_{i}$$R_{r}$$r$$\beta_{r}$$\ldots,$$R_{1},$ $R_{2},$$\ldots,$$R_{r}$$\beta_{1},$$\beta_{2},$$\{\alpha_{n}\}\subset[0,1)$$\beta_{r}$$\ldots,$$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})Wx_{n},H_{n}=\{z\in E: V(y_{n}, z)\leq V(x_{n}, z)\},W_{n}=\{z\in E:\langle x-x_{n}, Jx_{n}-Jz\rangle\geq 0\},x_{n+1}=R_{H_{n}\cap W_{?1}}x, n=1,2, \ldots,\end{array}$はで定義される点列のサニー準非拡大射影とする.
$\{x_{n}\}$$R_{1\urcorner^{r}D_{z}^{X}}$に強収束する . ただし’

は $E$ から

$R_{\cap D,:}r$$\bigcap_{i=1}^{r}D_{i}$の$\}_{--}^{arrow}$

へ

を
が空でない
定理 63. $E$ を一様に滑らかな一様凸バナッハ空間とし,$E$ のを $E$ からの上へのサニー
個のサニー準非拡大レトラクトとする.
$\beta_{2,}\beta_{7}$を $0<.(j_{i}<1(i=1,2, \ldots, r)$ となる個の実数とする. ま
準非拡大射影とし,とによって生成される $W$ -写像とする. $\{\alpha_{n}\}\subset[0,1)$ はた, $W$ を $R_{1)}R_{2},$$\lim\sup_{narrow\infty}\alpha_{n}(1-\alpha_{n})>0$ を満たすものとする.
このとき, $x_{1}=x\in E,$ $Q_{1}=E$ とし,$D_{1},$ $D_{2},$$R_{1},$$r$$R_{2},$$\ldots,$$\ldots,$$D_{r}$$D_{i}$$R_{r}$$r$$\beta_{1},$$\ldots,$$R_{r}$$\bigcap_{i=1}^{r}D_{i}$$\beta_{1)}\beta_{2},$$\beta_{r}$$\ldots,$$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})Wx_{n},Q_{n+1}=\{z\in Q_{n}:V(y_{n}, z)\leq V(x_{n}, z)\},x_{n+1}=R_{Q_{n+1}}x, n=1,2, \ldots\end{array}$はで定義される点列のサニー準非拡大射影とする.
$\{x_{n}\}$$R_{n_{i=1}^{r}D_{1}^{X}}$に強収束する. ただし,

$R_{n_{i=1}^{r}D_{i}}$は $E$ から口 ir$=1D_{i}$ の上へ

最後に, 有限個のサニー準非拡大射影の積写像を用いた不動点近似法を議論する. その為には, 次の補助定理が必要となる.
を,補助定理 64([9]). $E$ を一様に滑らかな一様凸バナッハ空間とし,
$E$
$E$
を
から
の
が空でない
個のサニー準非拡大レトラクトとする.
は準非拡大写像かつ,へのサニー準非拡大射影とする. このとき,$D_{1},$ $D_{2},$$R_{1},$ $R_{2},$$r$$\ldots,$$R_{r}$$\ldots$$D_{r}$$\bigcap_{i=1}^{r}D_{i}$$D_{i}$の上$R_{r}R_{\tau-1}\cdots R_{1}$$\check{F}(R_{r}R_{r-1}\cdots R_{1})=F(R_{r}R_{\text{。}-1}\cdots R_{1})=\bigcap_{i=1}^{r}D_{i}$である.

この補助定理 64 と定理 42 及び 43 の直接的な結果として, 制約可能性問題に関連する次の 2 つの強収束定理を得ることができる.

158
定理 6.5 ([9]). $E$ を一様に滑らかな –様凸バナッハ空間とし;をが空,でない $E$ の$E$
個のサニー準非拡大レトラクトとする.
を
から
の上への
サニー準非拡大射影とする. $\{\alpha_{n}\}\subset[0,1)$ は llm $\sup_{narrow\infty^{Cy_{n}}}<1$ を満たすものとする. このとき, $x_{1}=x\in E$ とし$D_{1},$$r$$R_{1},$$R_{2},$$\ldots,$$D_{2},$$\ldots$$D_{r}$$\bigcap_{i=1}^{r}D_{i}$$l?_{r}$$D_{i}$$)$$\{\begin{array}{l}y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})R_{T}R_{r-1}\cdots R_{1} \text{の} n’H_{n}=\{z\in E:V(y_{n}, z)\leq V(x_{n)}z)\},W_{n}=\{z\in E:\{x-x_{n}, Jx_{n}-Jz\rangle\geq 0\},\text{の}n+l =R_{H_{n}\cap W_{n}^{X}}, n=1,2, \ldots,\end{array}$はで定義される点列のサニー準非拡大射影とする.
$\{x_{n}\}$$R_{\cap r,i=1}D^{X}$に強収束する. ただし,

$R_{\bigcap_{\iota=1}^{\gamma}D_{i}}$は $E$ から口 ri$=1D_{i}$ の上へ

定理 66. $E$ を一様に滑らかな一様凸バナッハ空間とし,,を口 ir$=1D_{i}$ が空でな
い $E$ の個のサニー準非拡大レトラクトとする.
を $E$ からの上へのサ
ニー準非拡大射影とする. $\{\alpha_{n}\}\subset[0,1)$ は $\lim\sup_{narrow\infty}\alpha_{n}(1-\alpha_{n})>0$ を満たすものとする.
このとき, $x_{1}=x\in E,$ $Q_{1}=E$ とし,$\rangle D_{1},$$r$$R_{1},$$R_{2},$$D_{2},$$\ldots,$$D_{r}$$\ldots$$R_{r}$$D_{i}$$\{\begin{array}{l}\text{雪}n=\alpha_{n^{X}n}+(1-\alpha_{n})R_{r}R_{r-1}\cdots R_{1}x_{n},Q_{n+1}=\{Z\in Q_{n}:V(y_{n}, z)\leq V(x_{n}, z)\},\text{の}n+l =R_{Q_{n+1}}x, n=1,2, \ldots\end{array}$はで定義される点列のサニー準非拡大射影とする.
$\{\text{の_{}n}\}$$R_{n_{t=1}^{r}D_{t}^{X}}$に強収束する. ただし,

$R_{n_{\tau=1}^{r}D_{1}}$は $E$ から$\bigcap_{i=1}^{r}D_{i}$の上へ

REFERENCES[1] Ya. I. Alber, Metnc and generalized projection operators in Banach spaces: properties and applications,
Theory and Applications of Nonlinear Operators of Accretive and Monot,one Type, Dekker, New York,
1996, 15-50.
[2] I. Cioranescu, Geometry of Banach spaces, Duality Mappings and Nonlinear Problems Kluwer Academic
Publishers. Dordecht, 1990.
[3] 茨木貴徳高橋渉, [バナッハ空間における新しい射影に関する収束定理」 京都大学数理解析研究所講究録
1484 (2006), 150-160.
[4] T. Ibaraki and W. Takahashi, Weak convergence theorem for new nonexpansive mappings in Banach spaces
and its applications, Taiwanese J. Math. 11 (2007), 929-944.
[5] T. Ibaraki and W. Takahashi,
new projection and convergence theorems for the projections in Banach
spaces, J. Approx. Theory 149 (2007), 1-14.
[6] T. Ibaraki and W. Takahashi, Strong convergence theorem by a hybrid method for generalized resolventsof maxrmal monotone operators in Banach spaces, J. Nonlinear Convex Anal. 9 (2008), 71-81.
[7] T. Ibaraki and W. Takahashi, Generalized nonexpansive retracts and convergence theorem for generalized
resolvents in a Banach space, in Fixed Point theory and its Applications (S. Dhompongsa, K. Goebel,
W. A. Kirk, S. Plubtieng, B. Sims and S. Suantai, eds.), Yokohama Publishers, 2008, 83-93.
[8] T. Ibaraki and W. Takahashi, Generalized nonexpansive mappings and a proximal-type algonthm in Banach
spaces, Nonlinear Analysis and optimization, Contemp. Math. , AMS, to appear.
[9] T. Ibaraki and W. Takahashi, Strong convergence theorems for a finite family of nonlinear operatorsof firmly nonexpansive type in Banach spaces, in Nonlinear Analysis and Convex Analysis (S. B. Hsu,
H. C. Lai, L. J. Lin, W. Takahashi, T. Tanaka and J. C. Yao, eds.), Yokohama Publishers, 2009, 49-62.
[10] T. Ibaraki and W. Takahashi, Strong convergence theorems for finite generalized nonexpansive mappingsin Banach spaces, to appear.
[11] S. Kamimura and W. Takahashi, Strong convergence of a proximal-type algonthm in a Banach space,
SIAM J. Optim. 13 (2002), 938-945.
[12] F. Kohsaka and W. Takahashi, Generalized nonexpansive retractions and a proximal-type algonthm in
Banach spaces, J. Nonlinear Convex Anal. 8 (2007), 197-209.
[13] B. Martinet, Regularsation d’inequations vartationnells par approximations successives (in French), Rev.
Francaise Informat. Recherche Op\’erationnelles 4 (1970), 154-158.
$\cdot$$A$159[14] S. Matsushita and W. Takahashi, 既 $akan(fs$ 加 Ong conve 解 ence オん corems for rela オ $iv$ 吻 nonexpansive mappings in a Banach space, Fixed Point Theory Appl. 2004 (2004), 37-47.
$[15]$. Matsushita and $W$ . Takahashi, A $st_{70}ng$ convergence ん eorem for rela 伽 $ely$ none 叩 ans $ive$ mappin $gs$ in
Banach space, J. Approx. Theory 134 (2005), 257-266.
[16] K. Nakajo and W. Takahashi, 加 ong conve 徊 ence theorems 伽 nonexpans $ive$ mappings and nonexpansi $ve$
semigroups, J. Math. Anal. Appl. 279 (2003), 372-379.
17 S. Reich,weak COnVergenCe ん eorem for the alternat $ing$ me 抗 $od$ wit ん Bregman 協 オ ances Theory andapplications of nonlinear operators of accretive and monotone type, Lecture Notes in Pure and Appl.
Math., 178, Dekker, New York, 1996, 313-318.
$[18]$ R. T. Rockafellar, Mfonotone opem tOrS and pro ximal $po$ 襯 algO 剛ん $m$ ,SIAM . Control. Optim. 14 1976 ,
877-898. 4 (1953), 506-510.
19 M. V. Solodov and B. F. Svaiter, Forc $ings$ 加$ong$ conVergence of pro ximal $po$ 翻 iterationS in 疏 lber オ Space,
Math. Programming Ser. A. 87 (2000), 189-202.
[20] W. Takahashi, Weak and strong conve 胆 ence オん eorems 知 ル milies (ガ nonexpans $ive$ mappings and オん $eir$
applications, Ann. Univ. Mariae Curie-Sklodowska Sect. A 51 (1997), 277-292.
[21] W. Takahashi, Non 伽 ear 施 nctional み $na$ 姻 s-Fixed $Po$ 翻 Theo 瑠 and Its AP 卿 cations, Yokohama Publishers, 2000.
[22] 高橋渉, 凸解析と不動点近似, 横浜図書, 2000.
23 W. Takahashi and K. Shimoji, Conve 四 ence theorems for nonexpans $ive$ mappings 屈 feasibili オ problems,
Math. Comput. Modeling 32 (2000), 1463-1471.
[24] W. Takahashi, Y Takeuchi and R. Kubota, Strong convergence theorems by hybrid methods for families ofnonexpansive mappings in Hilbert spaces, J. Math. Anal. Appl. 341 (2008), 276-286.
$S$

$t$

$S$

$[$

$]$

$A$

$t$

$S$

$J$

$[$

$($

$]$

$a$

$r$

$[$

$]$

$a$

$y$

$)$