数理解析研究所講究録
第 1685 巻 2010 年 50-5850

縮小射影法と堅非拡大写像
Shrinking projection methods and firmly nonexpansivemappings
千葉大学・法経学部 青山耕治 (Koji AOYAMA)

Faculty of Law and Economics

Chiba University

2000 Mathematics Subject Classification. 47H09, 47H10, 41A65.
Keywords and phrases. shrinking projection method, 堅非拡大写像, 不動点.

1

序論
本稿では, 文献 [3] の紹介を行い, そこには述べなかった関連する結果を取り扱う。
文献 [3] では, 最近 [21] で導入された縮小射影法 (shrinking projection method) を使い, 堅非拡大 (firmly nonexpansive) 写像の不動点定理および堅非拡大写像の族に関する収束定理を証明した。 我々が非拡大写像ではなく堅非拡大写像に注目した主な理由は次の二つである。

1. 非拡大写像の代表例は堅非拡大である。 例えば, Hilbert 空間上の閉凸集合の上への距離射影および単調作用素のリゾルベントは堅非拡大である。

2. 非拡大写像の不動点問題は, 堅非拡大写像の不動点問題に書き換えられる。実際,と $T$ の不動点集合がを非拡大写像とすると, $T=(I+S)/2$ は堅非拡大であり,$S$$S$一致する。 ここで, $I$ は恒等写像である。

2

準備
本稿を通して, $H$ は実 Hilbert 空間,の空でない部分集合,$\mathbb{N}$$\langle\cdot,$$\cdot\rangle$

は $H$ の内積,は正の整数の集合とする。 $H$ の点列$\Vert\cdot\Vert$

は $H$ のノルム, $C$ は $H$$\{x_{n}\}$が $x$ へ強収束すること

を $x_{n}arrow x$ と表し, 弱収束することを $x_{n}arrow x$ と表す。
$C$を $H$ の空でない部分集合とし,$T$を $C$ から$H$への写像とする。写像 $T$ の不動点の集合を $F(T)$ で表す。写像 $T$ が非拡大 (nonexpansive) であるとは, すべての$x,$ $y\in

C$ に対して$\Vert Tx-Ty\Vert\leq\Vert x-y\Vert$が成り立つときをいう。 $C$ が閉凸で $T$ が非51拡大であるとき, $F(T)$ は閉凸であることが知られている。 非拡大写像 $T$ が強非拡大$($strongly nonexpansive) であるとは,$\{x$

訂と$\{y$訂が $C$ の点列で, $\{x_{n}-y_{n}\}$ が有界か

つ $\Vert x_{n}-y_{n}\Vert-\Vert Tx_{n}-Ty_{n}\Vertarrow 0$ を満たすならば$\Vert x_{n}-y_{n}-(Tx_{n}-Ty_{n})\Vertarrow 0$が成り立つときをいう [5]。二つの強非拡大写像の合成は, 強非拡大であることが知られている。 強非拡大写像について詳しくは [5] を参照するとよい。 写像 $T$ が堅非拡大 (firmlynonexpansive) であるとは, すべての $x,$ $y\in C$ に対して$\Vert Tx-Ty\Vert^{2}\leq\Vert x-y\Vert^{2}-\Vert x-y-(Tx-Ty)\Vert^{2}$が成り立つときをいう。 堅非拡大写像は強非拡大であることが, 定義より容易にわかる。
$T$が非拡大のとき, $(I+T)/2$ は堅非拡大であることが知られている。 ここで,$I$は恒等写像である。 堅非拡大写像について詳しくは, [6] を参照するとよい。
$C$を $H$ の空でない閉凸部分集合とする。各 $x\in H$ に対して$\Vert x-z\Vert=\min\{\Vert x-y\Vert:y\in C\}$を満たす点 $z\in C$ が唯一存在する。 この離射影と呼ばれる。
$H$$P_{C}$$z$

を $P_{C}x$ で表し, $P_{C}$ は $H$ から $C$ の上への距は堅非拡大であることが知られている。

から $H$ への多価写像 $A$ を, そのグラフと同一視し $A\subset H\cross H$ で表す。 $A\subset H\cross H$を極大単調作用素 (定義については [20] を参照),$I$を恒等写像, $r>0$ とする。 このとき, $(I+rA)^{-1}$ は $H$ から dom $(A)=\{x\in H:Ax\neq\emptyset\}$ の上への 1 価写像であり,$A$のリゾルベントと呼ばれ,$J_{r}$と表される。 $A$ のリゾルベントみは堅非拡大であり,$F(J_{r})=A^{-1}0=\{x\in H :Ax\ni O\}$ であることが知られている。

非拡大写像および極大単調作用素の周辺の基本事項について詳しくは, 例えば [20] を参照するとよい。
$\{T_{n}\}$を共通不動点を持つ $C$ から $H$ への写像の列とする。 このとき,を満たすとは, $T_{n}x_{n}-x_{n}arrow 0$ を満たす $C$ の有界点列$\{x_{n}\}$$\{T_{n}\}$が条件 (Z)の弱収積点がすべて $\{T_{n}\}$ の共通不動点になるときをいう。
例 2.1.

$C$を $H$ の閉凸集合, $T:Carrow H$ を不動点を持つ非拡大写像とするとき, 写像列$\{T, T, T, \ldots\}$

証明.

$\{x_{n}\}$$\{Tx_{n_{i}}\}$は条件 (Z) を満たす。

を $x_{n}-Tx_{n}arrow 0$ を満たす $C$ の有界点列とし, $x_{n_{i}}arrow u$ とする。 このとき,は有界で $x_{n_{i}}-Tx_{n_{i}}arrow 0$ であることから, $u\in F(T)$ である。 実際, もし $u\neq Tu$52とすると$\lim infiarrow\infty\Vert x_{n_{i}}-u\Vert^{2}<\lim infiarrow\infty\Vert x_{n_{i}}-u\Vert^{2}+\Vert u-Tu\Vert^{2}$$= \lim infiarrow\infty(\Vert x_{n_{i}}-u\Vert^{2}+\Vert u-Tu\Vert^{2}+2\langle x_{n_{i}}-u,$$u-Tu\rangle)$$= \lim infiarrow\infty\Vert x_{n_{i}}-u+u-Tu\Vert^{2}$$= \lim infiarrow\infty\Vert x_{n}$.

$-Tu\Vert^{2}$$= \lim infiarrow\infty\Vert x_{n_{i}}-Tx_{n_{i}}+Tx_{n_{i}}-Tu\Vert^{2}$$=i \limarrow\infty\inf(\Vert x_{n_{\iota}}-Tx_{n_{i}}\Vert^{2}+\Vert Tx_{n_{i}}-Tu\Vert^{2}$$+2\langle x_{n_{1}}-Tx_{n_{i}},$$= \lim infiarrow\infty\Vert Tx_{n_{i}}$-Tu$Tx_{n_{i}}$–Tu$\})$$\Vert^{2}$$\leq\lim infiarrow\infty\Vert x_{n_{i}}-u\Vert^{2}$となり, 矛盾が生じる。 ゆえに, $u=Tu$ であり, $\{T, T, T, \ldots\}$ が条件 (Z) を満たすことがわかった。

口

文献 [3] より, いくつか補助定理を引用する。
補助定理 2.2 ([3, Lemma2.1]).

極大単調作用素,$\{r_{n}\}$$H$ を

Hilbert 空間, $A\subset H\cross H$ を$A^{-1}0\neq\emptyset$を $\inf_{n}r_{n}>0$ を満たす正の実数列とする。 このとき,を満たす$\{J_{r_{n}}\}$は条件 (Z) を満たす。
補助定理 2.3 ([3, Lemma 2.2]).
$\{S_{n}\}$$H$を Hilbert 空間,$C$を共通不動点を持つ $C$ から $H$ への写像の列とし,を $H$ の空でない部分集合,$\{\alpha_{n}\}$を $\sup_{n\in \mathbb{N}}\alpha_{n}<1$ を満たす $[0,1)$ の数列とする。 さらに, $C$ から $H$ への写像列 $\{T_{n}\}$ を,$T_{n}=\alpha_{n}I+(1-\alpha_{n})S_{n}$$\{S_{n}\}$で定義する。 ここで,に対しては $C$ 上の恒等写像である。 このとき,が条件 (Z) を満たすならば, $\{T_{n}\}$ も条件 (Z) を満たす。

補助定理 2.4 ([3, Lemma 2.3]).

合,

$I$

$n\in \mathbb{N}$$\{S_{n}\}$を Hilbert 空間,$C$を $H$ の空でない閉凸部分集を共通不動点を持つ $C$ から $C$ への強非拡大写像の列とする。 さらに写像$T_{n}:Carrow C$ を,満たす。

$H$$n\in \mathbb{N}$に対して $T_{n}=S_{1}S_{2}\cdots S_{n}$ で定義する。 このとき, $\{T_{n}\}$ は (Z) を533

堅非拡大写像および非拡大写像の不動点定理
この節では, 松下-高橋 [13] を参考にして得られた堅非拡大写像の不動点定理および非拡大写像の不動点定理を紹介する。
次の補題によって, 縮小射影法による点列が, 写像の不動点の存在を仮定することなく定義できることがわかる。
補助定理 3.1 ([3, Lemma 4.2]).

$H$を Hilbert 空間, $C$ を $H$ の空でない閉凸部分集合,$T:Carrow C$ を堅非拡大写像とし, $x$ を $H$ の点とする。 $C$ の点列 $\{x_{n}\}$ および $H$ の閉凸集

合列 $\{C_{n}\}$ を, $C_{1}=C$ および$n\in \mathbb{N}$に対して$\{\begin{array}{l}x_{n}=P_{C_{n}}(x);C_{n+1}=\{z\in C_{n}:\langle Tx_{n}-z, x_{n}-Tx_{n}\}\geq 0\}\end{array}$で定義する。 このとき, すべての$n\in \mathbb{N}$に対して$C_{n}\neq\emptyset$(3.1)

である。 つまり, 点列 $\{x_{n}\}$ が定義できる。

補題 3.1 を踏まえて, 次の堅非拡大写像の不動点定理を得る。
定理 3.2 ([3, Theorem 4.3]).

$H$を Hilbert 空間,$C$を $H$ の空でない閉凸部分集合,$T:Carrow C$ を堅非拡大写像とし, $x$ を $H$ の点とする。 $C$ の点列 $\{x_{n}\}$ および $H$ の閉凸集合列 $\{C_{n}\}$ を, $C_{1}=C$ および$n\in \mathbb{N}$に対して (3.1) で定義する。 このとき, 以下の三つは同値である。

1. $T$ は不動点を持つ;

2.
3.

$\bigcap_{n=1}^{\infty}C_{n}\neq\emptyset$$\{x_{n}\}$;

は有界である。

定理 32 から次の非拡大写像の不動点定理を示すことができる。
定理 3.3. $H$ を Hilbert 空間, $C$ を $H$ の空でない閉凸部分集合, $S:Carrow C$ を非拡大写像とし,
び$x$

を $H$ の点とする。 $C$ の点列 $\{x_{n}\}$ および $H$ の閉凸集合列 $\{C_{n}\}$ を, $C_{1}=C$ およ$n\in \mathbb{N}$に対して$\{\begin{array}{l}x_{n}=P_{C_{n}}(x);C_{n+1}=\{z\in C_{n}:\Vert z-Sx_{n}\Vert\leq\Vert z-x_{n}\Vert\}\end{array}$で定義する。 このとき, 点列$\{x_{n}\}$は定義できて, 以下の三つは同値である。

54

1.

$S$

2.

$\bigcap_{n=1}^{\infty}C_{n}\neq\emptyset$

3.

$\{x_{n}\}$は不動点を持つ ;;は有界である。

証明. 写像 $T:Carrow C$ を $T=2^{I+}2^{S}$ で定義する。 ここで,$I$は恒等写像である。 このとき, $T$ は堅非拡大であり, $F(S)=F(T)$ である。 さらに, 等式

4 $\langle Tx_{n}-z,$ $x_{n}-Tx_{n} \}=4\langle\frac{x_{n}+Sx_{n}}{2}-z,$$x_{n}- \frac{x_{n}+Sx_{n}}{2}\rangle$$=\langle x_{n}+Sx_{n}-2z,$ $x_{n}-Sx_{n}\}$$=\langle(x_{n}-z)+(Sx_{n}-z),$ $(x_{n}-z)-(Sx_{n}-z)\rangle$$=\Vert x_{n}-z\Vert^{2}-\Vert Sx_{n}-z\Vert^{2}$より$C_{n+1}=\{z\in C_{n}:\langle Tx_{n}-z, x_{n}-Tx_{n}\}\geq 0\}$が成り立つ。 したがって, 補助定理 3.1 より $\{x_{n}\}$ は定義できて, 定理 32 より結論を得る。

口

最近, 松下-高橋 14] によって, 定理 33 と似た次の結果が示された。
$[$定理 3.4 ([14, Corollary 2.1]).

$H$を Hilbert 空間, $C$ を $H$ の空でない閉凸部分集合,$S:Carrow C$ を非拡大写像とし, $x$ を $C$ の点とする。 $C$ の点列 $\{x_{n}\}$ を $x_{1}=x$ および$n\in \mathbb{N}$に対して$\{\begin{array}{l}C_{n}=\{z\in C:\Vert z-Sx_{n}\Vert\leq\Vert z-x_{n}\Vert\};Q_{n}=\{z\in C:\langle x_{n}-z, x-x_{n}\}\geq 0\};x_{n+1}=P_{C_{n}\cap Q_{n}}(x)\end{array}$で定義する。 このとき, 点列$\{x_{n}\}$は定義できて,$\{x_{n}\}$は有界であることと $S$ が不動点を持つことは同値である。

4

堅非拡大写像族に関する収束定理
この節では, 堅非拡大写像の族に関する次の強収束定理を紹介し, さらにその応用を議論する。

定理 4.1 ([3, Theorem 3.2]). $H$ を Hilbert 空間, $C$ を $H$ の空でない閉凸部分集合,$H$の点とし,$\{T_{n}\}$$x$

をを $C$ から $H$ への堅非拡大写像の列とする。 さらに, $\{T_{n}\}$ は共通不動

55点を持ち, 条件 (Z) を満たすと仮定する。 $C$ の点列を, $C_{1}=C$ および$n\in \mathbb{N}$$\{x$

訂および $H$ の閉凸集合列$\{C_{n}\}$に対して$\{\begin{array}{l}x_{n}=P_{C_{n}}(x);C_{n+1}=\{z\in C_{n}:\langle T_{n}x_{n}-z, x_{n}-T_{n}x_{n}\rangle\geq 0\}\end{array}$で定義する。 このとき, $\{x_{n}\}$ は $P_{F}(x)$ に強収束する。 ただし, $F= \bigcap_{n=1}^{\infty}F(T_{n})$ である。

補助定理 22 および定理 4.1 の直接的な結果として, 極大単調作用素のリゾルベントに関する次の収束定理を得る。 同種の結果が [17], [16], [7] および [21] にある。
系 4.2 ([3, Corollary 3.3]).

単調作用素,$\{x_{n}\}$$H$

を Hilbert 空間, $A\subset H\cross H$ を $A^{-1}0\neq\emptyset$ を満たす極大を $\inf_{n}r_{n}>0$ を満たす正の実数列とし, $x$ を $H$ の点とする。 $H$ の点列$\{r_{n}\}$および $H$ の閉凸部分集合の列 $\{C_{n}\}$ を $C_{1}=H$ および$n\in \mathbb{N}$に対して$\{\begin{array}{l}x_{n}=P_{C_{n}}(x);C_{n+1}=\{z\in C_{n}:\langle J_{r_{n}}x_{n}-z, x_{n}-J_{r_{n}}x_{n}\rangle\geq 0\}\end{array}$で定義する。 ここで, $J_{r_{n}}=(I+r_{n}A)^{-1}$ である。 このとき, $\{x$ 訂は $P_{A0}-1(x)$ に強収束する。

次に, 定理 4.1 を使って, 非拡大写像の族に関する収束定理を示す。
定理 4.3 ([3, Theorem 3.4]).
$H$の点,$[0,1)$$C$$\{S_{n}\}$$H$

を Hilbert 空間, $C$ を $H$ の空でない閉凸部分集合, $x$ をを $C$ から $H$ への非拡大写像の列,$\{\alpha_{n}\}$を $\sup_{n\in \mathbb{N}}\alpha_{n}<1$ を満たす区間の数列とする。 さらに, $\{S_{n}\}$ は共通不動点を持ち, 条件 (Z) を満たすと仮定する。の点列 $\{x_{n}\}$ および $H$ の閉凸集合列 $\{C_{n}\}$ を $C_{1}=C$ および$n\in \mathbb{N}$に対して$\{\begin{array}{l}x_{n}=P_{C_{n}}(x);y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})S_{n}x_{n};C_{n+1}=\{z\in C_{n}:\Vert z-y_{n}\Vert\leq\Vert z-x_{n}\Vert\}\end{array}$で定義する。 このとき,$\{x_{n}\}$証明. 写像列 $\{T_{n}\}$ を,$n\in \mathbb{N}$$($4.1$)$

は $P_{F}(x)$ に強収束する。 ただし, $F= \bigcap_{n=1}^{\infty}F(S_{n})$ である。

に対して

$T_{n}= \frac{1}{2}I+\frac{1}{2}(\alpha_{n}I+(1-\alpha_{n})S_{n})=\frac{1+\alpha_{n}}{2}I+\frac{1-\alpha_{n}}{2}S_{n}$で定義する。 ただし,$\bigcap_{n=1}^{\infty}F(T_{n})=F$$I$は恒等写像である。 このとき $F(T_{n})=F(S_{n})$ であるから,が成り立つ。 $\alpha_{n}I+(1-\alpha_{n})S_{n}$ は非拡大であるから, 各$n\in \mathbb{N}$につい56て$T_{n}$は堅非拡大である。 また, 等式$\Vert z-x_{n}\Vert^{2}-\Vert z-y_{n}\Vert^{2}=\Vert x_{n}\Vert^{2}-2\langle z,$$x_{n}\rangle-\Vert y_{n}\Vert^{2}+2\langle z,$ $y_{n}\rangle$$=\langle x_{n}+y_{n}-2z,$ $x_{n}-y_{n}\}$$=4\langle T_{n}x_{n}-z,$ $x_{n}-T_{n}x_{n}\rangle$より, $C_{n+1}=\{z\in C_{n}$ : $\langle T_{n}x_{n}-z,$ $x_{n}-T_{n}x_{n}\}\geq 0\}$ であることがわかる。 補助定理
23 より $\{T_{n}\}$ は条件 (Z) を満たすから, 定理 4.1 により結論を得る。

ロ定理 43 は文献 21 の次の定理と似ているが, 両者にどのような関係があるか, 今のと$[$$]$

ころ著者にはわからない。
定理 4.4 ([21, Theorem 3.3]).

$H$を Hilbert 空間, $C$ を $H$ の空でない閉凸部分集合, $x$を $H$ の点, $\{S_{n}\}$ を共通不動点を持つ $C$ から $C$ への非拡大写像の列,持つ $C$ から $C$ への非拡大写像の族,$\{\alpha_{n}\}$$\mathcal{T}$を共通不動点をを $\sup_{n\in \mathbb{N}}\alpha_{n}<1$ を満たす区間 $[0,1)$ の数列とする。 $C$ の点列 $\{x_{n}\}$ および $H$ の閉凸集合列 $\{C_{n}\}$ を $C_{1}=C$ および$n\in \mathbb{N}$に対して$T\in \mathcal{T}$に対して(4.1) で定義する。 さらに, 次の二つの条件を仮定する。

1.

$\{z_{n}\}$が $z_{n}-S_{n}z_{n}arrow 0$ を満たす $C$ の有界点列ならば, すべての$z_{n}-Tz_{n}arrow 0$

2.

;$F= \bigcap_{n=1}^{\infty}F(S_{n})=\bigcap_{T\in \mathcal{T}}F(T)$このとき,$\{x_{n}\}$。

は $P_{F}(x)$ に強収束する。

定理 4.3 から次の結果も得られる。
系 4.5 ([3,$x$Corollary 3.6]). $H$ を Hilbert 空間, $C$ を $H$ の空でない閉凸部分集合,

を $H$ の点,$\{S_{n}\}$$\sup_{n\in \mathbb{N}}\alpha_{n}<1$を共通不動点を持つ $C$ から $H$ への強非拡大写像の列,を満たす区間 $[0,1)$ の数列とする。 $C$ の点列

列 $\{C_{n}\}$ を $C_{1}=C$ および$n\in \mathbb{N}$$\{x_{n}\}$$\{\alpha_{n}\}$を

および $H$ の閉凸集合に対して$\{\begin{array}{l}x_{n}=P_{C_{n}}(x);y_{n}=\alpha_{n}x_{n}+(1-\alpha_{n})S_{1}S_{2}\cdots S_{n}x_{n};C_{n+1}=\{z\in C_{n}:\Vert z-y_{n}\Vert\leq\Vert z-x_{n}\Vert\}\end{array}$で定義する。 このとき, $\{x_{n}\}$ は $P_{F}(x)$ に強収束する。 ただし, $F= \bigcap_{n=1}^{\infty}F(S_{n})$ である。
証明. 各

$n\in \mathbb{N}$に対して, $T_{n}=S_{1}S_{2}\cdots S_{n}$ とおくと, 写像$T_{n}$は非拡大であり, 強非拡大写像の性質 [5, Lemma 2.1] を使うと, $F(T_{n})= \bigcap_{i=1}^{n}F(S_{i})$ であることがわかる。 ゆえ57に, $\bigcap_{n=1}^{\infty}F(T_{n})=F\neq\emptyset$ となる。 補助定理 2.4 により,わる。 したがって, 定理 43 より結論を得る。

$\{T_{n}\}$は条件 (Z) を満たすことが口

参考文献
[1]

K. Aoyama and W. Takahashi, Strong convergence theorems for a family of relatively nonexpansive mappings in Banach spaces, Fixed Point Theory 8 (2007),

143-160.
[2] K. Aoyama, F. Kohsaka, and W. Takahashi, Strong convergence theorems byshrinking and hybrid projection methods for relatively nonexpansive mappings in
Banach spaces, Nonlinear analysis and convex analysis, Yokohama Publ., Yokohama, 2009, pp. 7-26.
[3] –, Shrinking projection methods for firmly nonexpansive mappings, Nonlinear Analysis 71 (2009), $el626-el632$ .
[4] H. H. Bauschke and P. L. Combettes, A weak-to-strong convergence principle for$Fej\acute{e}rarrow monotone$ methods in Hilbert spaces, Math. Oper. Res. 26 (2001), 248-264.
[5] R. E. Bruck and S. Reich, Nonexpansive projections and resolvents of accretive
opemtors in Banach spaces, Houston J. Math. 3 (1977), 459-470.
[6] K. Goebel and W. A. Kirk, Topics in metric fixed point theory, Cambridge Studies
in Advanced Mathematics, vol. 28, Cambridge University Press, Cambridge, 1990.
[7] S. Kamimura and W. Takahashi, Strong convergence of a proximal-type algoWtthm
in a Banach space, SIAM J. Optim. 13 (2002), 938-945 (electronic) (2003).
[8] Y. Kimura and W. Takahashi, A generalized proximal point algorithm and implicit
iterative schemes for a sequence of opemtors on Banach spaces, Set-Valued Anal.
16 (2008), 597-619.
[9] F. Kohsaka and W. Takahashi, Strong convergence of an iterative sequence for
maximal monotone operators in a Banach space, Abstr. Appl. Anal. (2004), 239249.
[10] –, Approximating common fixed points of countable families of strongly
nonexpansive mappings, Nonlinear Stud. 14 (2007), 219-234.
[11] C. Martinez-Yanes and H.-K. Xu, Strong convergence of the $CQ$ method for fixed
point iteration processes, Nonlinear Anal. 64 (2006), 2400-2411.

58[12] S. Matsushita and W. Takahashi, A strong convergence theorem for relatively
nonexpansive mappings in a Banach space, J. Approx. Theory 134 (2005), 257-266.
[13] –, A proximal-type algo rithm by the hybrid method for maximal monotone
operators in a Banach space, Nonlinear analysis and convex analysis, Yokohama
Publ., Yokohama, 2007, pp. 355-365.

[14] –, The sequence by the hybrid method and the existence of fixed points ofnonexpansive mappings in a Hilbert space, Fixed Point theory and its Applications, Yokohama Publishers, Yokohama, 2008, pp. 109-113.

[15] K. Nakajo and W. Takahashi, Strong convergence theorems for nonexpansive
mappings and nonexpansive semigroups, J. Math. Anal. Appl. 279 (2003), 372-379.
[16] S. Ohsawa and W. Takahashi, Strong convergence theorems for resolvents of $\max-$
imal monotone opemtors in Banach spaces, Arch. Math. (Basel) 81 (2003), 439-445.
[17] M. V. Solodov and B. F. Svaiter, Forcing strong convergence of proximal point
itemtions in a Hilbert space, Math. Program. 87 (2000), 189-202.
[18] W. Takahashi, Nonlinear functional analysis, Yokohama Publishers, Yokohama,

2000.
[19] 高橋渉, 『凸解析と不動点近似』, 横浜図書, 2000.
20 –, 『非線形・凸解析学入門』, 横浜図書, 2005.
[21] W. Takahashi, Y. Takeuchi, and R. Kubota, Strong convergence theorems by$[$$]$

hybntd methods for families of nonexpansive mappings in Hilbert spaces, J. Math.

Anal. Appl. 341 (2008), 276-286.