数理解析研究所講究録
第 1683 巻 2010 年 9-169非拡大型非線形写像に関する不動点定理とその応用(FIXED POINT THEOREMS FOR NONLINEAR MAPPINGS OFNONEXPANSIVE TYPE AND THEIR APPLICATIONS)

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

1.

はじめに

$C$ を実ヒルベルト空間 $H$の空でない閉凸集合とする. このとき, $C$ から $C$ への写像 $T$ が非拡大写像 (nonexpansive mapping) であるとは, 任意の $C$ の元 $x,$ に対して
$y$$\Vert Tx-Ty\Vert\leq\Vert x-y\Vert$が成り立つことと定義する. 同様に, $T$ が堅非拡大写像 (firmly nonexpansive mapping) であるとは, 任意の $C$ の元 $x,$
こ対して$\sim$$\Vert Tx-Ty\Vert^{2}\leq\langle x-y$

, Tx–Ty$\}$が成り立っことと定義する. 堅非拡大写像ならば非拡大写像であることは容易にわかる. このとき, $T$ の不動点 (fixed point) 全体の集合を $F(T)$ で表すこととする. ヒルベルト空間の非拡大写像に関する次の不動点定理は良く知られた結果である.

定理 1.1 ([25]). $C$ をヒルベルト空間 $H$ の空でない有界閉凸集合とし, $T$ を $C$ から $C$ への非拡大写像とする. このとき, $T$ は $C$ の中に不動点をもっ.

ヒルベルト空間の非拡大写像の不動点問題 (fixed point problem) は極大単調作用素 (maximal

monotone operator) の零元問題 (zero point problem) にも関係している. 零元問題とは極大単調作用素 $A\subset H\cross H$ に対して,(1.1)$0\in Au$を満たす元を求める問題である. この問題を解く代表的な手法に近接点法 (proximal point
algorithm) がある: 初期点を $x_{1}\in H$ とし
$u$

(1.2)

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

で点列を構成する. ただし, $\{r_{n}\}\subset(0, \infty)$ であり, 任意の $r>0$ に対して $J_{r}=(I+rA)^{-1}$ である. このような
1 は $T$ のリゾルベント (resolvent) と呼ばれる ([22, 27] を参照). このが一価の堅非拡大写像かっ $A^{-1}0=F(J_{r})$ を満たすことは良く知られた事実である. このように$J_{r}$$J_{r}$

極大単調作用素の零元問題は堅非拡大写像の不動点問題に帰着することができる.
ヒルベルト空間のリゾルベントの概念をバナッハ空間で論じる場合, 4 っのリゾルベントが知られている. ヒルベルト空間での極大単調作用素をバナッハ空間で論じる場合, 極大単調作

用素と $m$ -増大作用素 (m-accretive operator) に分かれる. $E$ を回帰的で滑らかな狭義凸バナッ
ハ空間とし, その共役空間をとする. $A\subset E\cross E$ を $m$ 増大作用素とし, $T\subset E\cross E^{*}$ と$E^{*}$

2000 Mathematics Subject Classification. Primary $47H10$ , Secondary $47H09,47H07$ .
Key words and phrases. 準非拡型大写像, 堅準非拡型大写像, 不動点, 準漸近的不動点, 非線形射影, バナッハ

空間.

10
を極大単調作用素とする. このとき, $x\in E$ と $r>0$ に対して, 4 つのリゾルベン
トは以下で定義される ([5, 10, 16, 26, 28, 29] を参照).

$B\subset E^{*}\cross E$

距離リゾルベント (metric resolvent)
擬リゾルベント (accretive resolvent)

増大リゾルベント (relative resolvent)
準リゾルベント (generalized resolvent)$P_{r}x$$=$$\Pi_{r^{X}}$$=$$Q_{r}x$$=$$R_{r}x$$=$$\{z\in E:0\in J(z-x)+rTz\}$ ,$\{z\in E:0\in(Jz-Jx)+rTz\}$ ,$\{z\in E:0\in(z-x)+rAz\}$ ,$\{z\in E:0\in(z-x)+rBJz\}$ .

ただし, $J$ は $E$ の双対写像 (duality mapping) である. また, ヒルベルト空間の堅非拡大写像の概念をバナッハ空間で論じる場合も 4 つの写像が存在し, バナッハ空間での 4 っのリゾル
ベントと関連している. ([2, 4, 13, 19-21, 31, 32] を参照).
距離リゾルベント
擬リゾルベント
増大リゾルベント
準リゾルベント堅距離写像 (firmly metric operator)
堅非拡大型写像 (firmly nonexpansive type mapping)
堅非拡大写像 (firmly nonexpansive mapping)
堅準非拡大型写像 (firmly generalized nonexpansive type mapping)$\Rightarrow$$\Rightarrow$$\Rightarrow$$\Rightarrow$

一方, バナッハ空間の非拡大写像に関する不動点定理として以下の定理はよく知られた結果である ([6, 28] も参照).

定理 L2 ([3, 7, 17]). $C$ を一様凸なバナッハ空間 $E$ の空でない有界閉凸集合とし, $T$ を $C$ から $C$ への非拡大写像とする. このとき, $T$ は $C$ の中に不動点をもっ.

バナッハ空間においても, 堅非拡大写像ならば非拡大写像になるのでこの定理は堅非拡大写像に関しても成立する. 2008 年には高阪-高橋 [21] が堅非拡大型写像に対する以下の不動点定理を得た.
定理 1.3 ([21]). $C$ を回帰的で滑らかな狭義凸バナッハ空間 $E$ の空でない閉凸集合とし, $T$ をから $C$ への堅非拡大型写像とする. このとき次の条件は同値になる.
(1) $T$ の不動点の集合 $F(T)$ は空でない;(2) $C$ のある元に対して, $\{T^{n}x\}$ は有界である.

$C$

$x$

本論文では, 2008 年の高阪-高橋 [20, 21] の研究を動機として, バナッハ空間の堅準非拡大型
写像に関する不動点定理の研究を行う. まず, 始めにバナッハ空間での新しい非線形写像である堅準非拡大型写像及び準非拡大型写像を定義し, その性質を議論する. 次に, これら新しい非線形写像に関する不動点定理と弱収束定理を議論する. 最後に, これらの結果を利用して, 準リ

ゾルベントに関する極大単調作用素の零元問題も議論する.

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

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

(2.1)

$\lim_{tarrow 0}\frac{\Vert x+ty\Vert-\Vert x\Vert}{t}$11
バナッハ空間 $E$ のノルムが G\^ateaux 微分可能 (G\^ateaux differentiable) であるとは, $S(E)$ の
元 $x,$
に対して, つねに (2.1) が存在するときをいう. このとき, 空間 $E$ は滑らか (smooth) であるともいう. 任意の $S(E)$ の元に対して, (2.1) が $S(E)$ の元に関して一様に収束する$E$のノルムが一様とき,
teaux 微分可能 (uniformly G\^ateaux differentiable) であるという.
任意の $S(E)$ の元に対して, (2.1) が $S(E)$ の元に関して一様に収束するとき, $E$ のノル
ムが Fr\’echet 微分可能 (Fr\’echet differentiable) であるという. (2.1) が $S(E)$ の元 $x,$に関して一様に収束するとき, $E$ のノルムが一様 Frechet 微分可能 (uniformly Fr\’echet differentiable)
であるという. このとき, 空間 $E$ は一様に滑らか (uniformly smooth) であるともいう.
$y$

$x$

$y$

$G\hat{a}$

$x$

$y$

$y$

多価写像 $T\subset E\cross E^{*}$ に対して, $T$ の定義域 (domain) と $T$ の値域 (range) は$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, x^{*}),$ $(y, y^{*})\in T(x\neq y)$ に対して$\langle x-y,$ $x^{*}-y^{*}\}>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^{*}$ となることである ([5, 29]を参照).
バナッハ空間 $E$ での双対写像とノルムの微分可能性に関しては次の性質が知られている([5, 28, 29] を参照).
(1) $E$ の元 に対して, $Jx$ は空でない有界な閉凸集合である;
$J$

$x$

(2)
は単調作用素である,(3) $E$ が狭義凸であるための必要十分条件は, が 1 対 1 となることである.
すなわち, $x\neq y\Rightarrow Jx\cap Jy=\emptyset$ ;(4) $E$ が狭義凸であるための必要十分条件は が狭義単調作用素となることである.,(5) $E$ が回帰的で滑らかな狭義凸バナッハ空間なら,の双対写像」 はの逆像となる.
$J_{*}=J^{-1}$
すなわち,
である;
(6) $E$ が回帰的であるための必要十分条件は, が全射となることである;(7) $E$ が滑らかであるための必要十分条件は, が一価になることである.
$E$ を滑らかなバナッハ空間とする.
が弱点列連続 (weakly sequentially
このとき, 双対写像
が $E$ の元
continuous) であるとは, $E$ の点列の点列 $\{Jx_{n}\}$に弱収束するならば,がの元」 に弱 位相の意味で収束することと定義する.
$J$

$J$

$J$

$J$

$E^{*}$

$*$

$J$
$J$

$J$

$\{x_{n}\}$$E^{*}$$x$$E^{*}$$*$$x$

3. 堅準非拡大型写像に関する不動点定理
本節では, 堅準非拡大型写像の不動点定理を議論する. まず始めに, それに必要な堅準非拡大型写像と準非拡大型写像を定義し, その性質に関して議論する.
$E$
を滑らかなバナッハ空間とし, を $E$ の双対写像とする. このとき, $E$ の元 $x,$ に対して,
$J$

$y$

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

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

(1) $E$ の元 $x,$$y$に対して, $(\Vert x\Vert-\Vert y\Vert)^{2}\leq V(x, y)\leq(\Vert x\Vert+\Vert y\Vert)^{2}$ である;

12(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$ であるための必要十分条件は
$z$

$y$

$x=y$ である.
を $E$ の空でない閉凸集合とする.

このとき, $C$ から $C$ への写像 $T$ が堅準非拡大型写像(firmly generalized nonexpansive type mapping) であるとは, 任意の $C$ の元 $x,$ に対して,

$C$

$y$

$V(x, Tx)+V(y, Ty)+V(Tx, Ty)+V(Ty, Tx)\leq V(y, Tx)+V(x, Ty)$
がつねに成り立っことと定義する ([13] を参照). また, $T$ が準非拡大型写像 (generalized
nonexpansive type mapping) であるとは, 任意の $C$ の元 $x,$ に対して,$y$$V(Tx, Ty)+V(Ty, Tx)\leq V(y, Tx)+V(x, Ty)$131

がっねに成り立つことと定義する (を参照). 同様に, $T$ が準非拡大写像 (generalizedと $F(T)$ のnonexpansive mapping) であるとは, $F(T)$ が空集合でなく, かつ任意の $C$ の元
元 $y\}$ こ対して,
$[$

$x$

$V(Tx, y)\leq V(x, y)$

がっねに成り立っことと定義する ([8, 10] を参照). ただし, $F(T)$ は写像 $T$ の不動点の集合,
すなわち $F(T)=\{z\in C:Tz=z\}$ である. これらの写像に関しては次のような結果が得られている.

補助定理 3.1 ([13]). $C$ を滑らかなバナッハ空間 $E$ の空でない閉凸集合とし, $T$ を $C$ から $C$
への堅準非拡大型写像とする. このとき, $T$ は準非拡大型写像である.

補助定理 32([13]). $C$ を滑らかなバナッハ空間 $E$ の空でない閉凸集合とし, $T$ を $C$ から $C$への準非拡大型写像とする. このとき,の不動点集合 $F(T)$ が空でなければ, $T$ は準非拡大$T$写像になる.

補助定理 33([13]). $C$ を滑らかなバナッハ空間 $E$ の空でない閉凸集合とし, $T$ を $C$ から $C$
へ写像とする. このとき, $T$ が堅準非拡大型写像であることの必要十分条件は, 任意の $C$ の元
$x,$
に対して,
$y$

(3.1)

$\langle(x-Tx)-(y-Ty),$ $JTx-JTy\rangle\geq 0$が成り立つことである.
の元 $p$ が $T$ の準漸近的不動点 (generalized asymptotic fixed point) であるとは, $\{Jx_{n}\}$が $Jp$ に弱 位相の意味で収束し $\lim_{narrow\infty}(Jx_{n}-JTx_{n})=0$ を満たす点列 $\{x_{n}\}\subset C$ が存在す
$C$

$*$

ることと定義する. このとき, $T$ の準漸近的不動点の集合を合に関しては次の補助定理が知られている.

$\check{F}(T)$で表す. 準漸近的不動点の集補助定理 34([14,23]). $C$ をヒルベルト空間 $H$ の空でない閉凸集合とし, $C$ から $C$ への写像 $T$
を非拡大写像で $F(T)$ が空集合でないとする. このとき, $T$ は準非拡大写像かっ $F(T)=\check{F}(T)$となる.

近年, 茨木-高橋 13 は準非拡大型写像に関する以下の不動点を得た.
$[$

$]$

定理 35 $([$ 13 . $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $T$ を $E$ から $E$ への準非拡大型写像とする. このとき次の条件は同値になる.
$])$(1) $T$ の不動点の集合 $F(T)$ は空でない;(2) $E$ のある元に対して, $\{T^{n}x\}$ は有界である.
$x$定理 35 と補助定理 3.1 の直接的な結果として, 茨木- 高橋 [13] は堅準非拡大型写像に関する
以下の不動点も得た.

13
定理 3.6 ([13]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $T$ を $E$ から $E$ への堅準非拡大型写像とする. このとき次の条件は同値になる.
(1) $T$ の不動点の集合 $F(T)$ は空でない;(2) $E$ のある元 に対して, $\{T^{n}x\}$ は有界である.
$x$さらに, 茨木-高橋 [13] は準非拡大型写像の不動点集合に関して次の結果を得た.
定理 3.7 ([13]). $E$ を回帰的で滑らかなバナッハ空間とし, 共役空間

が一様 G\^ateaux 微分可能なノルムを持っものとする. $T$ を $E$ から $E$ への準非拡大型写像とする. このとき $T$ の不動点集合 $F(T)$ が空でなければ, $\check{F}(T)=F(T)$ が成立する.
$E^{*}$

4. サニー準非拡大射影と弱収束定理
本節では, 堅準非拡大型写像の弱収束定理を議論する. まず, 始めにヒルベルト空間の距離射影のバナッハ空間への拡張概念であるサニー準非拡大射影を定義し, その性質に関して議論する.

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

$x$

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

$D$$x$

補助定理 41([8, 10]). $E$ を滑らかな狭義凸バナッハ空間とし, $D$ を $E$ の空でない集合とする. また $R$ を $E$ から $D$ の上への射影とする. このとき, $R$ がサニーかつ準非拡大写像になると $D$ の元
必要十分条件は, 任意の $E$ の元
こ対して,$\sim$$x${x--Rx, $JRx-Jy\rangle\geq 0$となることである. ただし, $J$ は $E$ の双対写像である.
$E$が滑らかな狭義凸バナッハ空間とし, $D$ を空でない集合とする. このとき, $E$ から $D$ の上へのサニー準非拡大射影 (sunny generalized nonexpansive retraction) は一意に決まる. そこで, 滑らかな狭義凸バナッハ空間の場合に, $E$ から $D$ の上へのサニー準非拡大射影をで表すことにする. $D$ を $E$ の空でない集合とする. このとき, $D$ が $E$ のサニー準非拡大レトラク
ト (sunny generalized nonexpansive retract) であるとは, $E$ から $D$ の上へのサニー準非拡大射
影が存在するときと定義する. サニー準非拡大射影の不動点集合はもちろん $D$ である ([8, 10]を参照). サニー準非拡大射影とサニー準非拡大レトラクトに関しては次の 3 っの結果が知られ$R_{D}$ている.

定理 42([18]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $D$ を $E$ の空でない集合とする. このとき次の条件は同値になる.
(1) $D$ はサニー準非拡大レトラクトである;(2) $JD$ は閉凸集合である.
このとき, $D$ は閉集合となる.
補助定理 43([14]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $D$ を $E$ の空でないサ
ニー準非拡大レトラクトとする. またを $E$ から $D$ の上へのサニー準非拡大射影とする.
$\check{F}(R_{D})=F(R_{D})=D$
このとき,が成り立っ.
$R_{D}$

補助定理 44([14]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし Z $T$ を $E$ から $E$ への準非拡大写像する. このとき, $F(T)$ は $E$ のサニー準非拡大レトラクトである.

14
堅準非拡大型写像に関する弱収束定理を得るために, サニー準非拡大射影に関する次の補助定理が必要となる.

補助定理 45([13]). $E$ が滑らかで一様凸なバナッハ空間とし,$T$ を $E$ から $E$ への準非拡大写像とする. $R$ を $E$ から $F(T)$ の上へのサニー準非拡大射影とする. このとき, 任意の $E$ の元に対して, 点列 $\{RT^{n}x\}$ は $F(T)$ の元へ強収束する.
$x$

茨木-高橋 [13] は堅準非拡大写像に関する次の弱収束定理を得た.
定理 4.6 ([13]). $E$ を一様 G\^ateaux 微分可能なノルムをもつ一様凸なバナッハ空間とし, $T$ をから $E$ への堅準非拡大型写像とする. このとき $fE$ の双対写像 $J$ が弱点列連続であれば,次の条件は同値になる.
$E$(1) $T$ の不動点の集合 $F(T)$ は空でない;(2) $E$ の任意の元に対して, $\{T^{n}x\}$ は弱収束する.
このとき, 点列 $\{T^{n}x\}$ は $F(T)$ の元へ弱収束する.
$x$

さらに, 茨木-高橋 [13] は補助定理 45 と定理 46 より, 次の堅準非拡大写像に関する弱収束定理を得た.

定理 47([13]). $E$ を一様凸で一様に滑らかなバナッハ空間とし, $T$ を $E$ から $E$ への堅準非拡大型写像とする. このとき, $E$ の双対写像
が弱点列連続であれば, 次の条件は同値になる.
(1) $T$ の不動点の集合 $F(T)$ は空でな
(2) $E$ の任意の元 に対して, $\{T^{n}x\}$ は弱収束する.
このとき, 点列 $\{T^{n}x\}$ は $F(T)$ の元 $p= \lim_{narrow\infty}RT^{n}x$ へ弱収束する. ただし, $R$ は $E$ から$J$$Aa,\cdot$$x$$F(T)$の上へのサニー準非拡大射影である.

5. 極大単調作用素の零元問題
本節では, バナッハ空間における極大単調作用素の零元問題を議論する. まず始めに, バナッ
ハ空間のリゾルベントの一つである準リゾルベントに関して議論を行う. $E$ を回帰的で滑らかとする. このとき, 単調作用素 $B\subset E^{*}\cross E$ がな狭義凸バナッハ空間とし, その共役空間を極大ならば, 任意の $r>0$ に対して, $E=R(I+rBJ)$ である ([10] の命題 4.1 を参照). ここで,任意の $r>0$ と $x\in E$ に対して$E^{*}$$R_{\eta}x=\{z\in E:x\in z+rBJz\}$とすると,$R_{\eta}$は一価写像となる. このとき,$R_{\eta}$

は$(I+rBJ)^{-1}$で記述される. このような $R$る

を $B$ の準リゾルベント (generalized resolvent) を呼ぶこととす([10, 12] を参照). 準リゾルベントに関しては以下の結果が知られている.

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

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

15
補助定理 53([13]). $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $B\subset E^{*}\cross E$ を極大単調作用素とする. $r>0$ に対して, $R_{r}=(I+rBJ)^{-1}$ とする. このとき,
堅準非拡大型写像になる.

$R_{r}$

は $E$ から$E$への補助定理 53 と定理 36 の直接的な結果から次の極大単調作用素の零元の存在性に関する次の結果を得ることができる.

系 54. $E$ を回帰的で滑らかな狭義凸バナッハ空間とし, $B\subset E^{*}\cross E$ を極大単調作用素とする. $r>0$ に対して, $R_{\gamma}=(I+rBJ)^{-1}$ とする. このとき次の条件は同値になる.
(1) $B$ の零元の集合 $B^{-1}0$ は空でない;(2) $E$ のある元に対して, $\{R_{r}^{n}x\}$ は有界である.
$x$

また, 補助定理 53 と定理 37 の直接的な結果から次の極大単調作用素の零元集合に関する
次の結果を得ることができる.
系 55. $E$ を回帰的で滑らかなバナッハ空間とし, 共役空間
が $=$ 様 G\^ateaux 微分可能なノルムを持つものとする. $B\subset E^{*}\cross E$ を極大単調作用素とする. $r>0$ に対して, 私 $=(I+rBJ)^{-1}$とする. このとき $B$ の零元の集合 $B^{-1}0$ が空でなければ,(私) $=F(R_{r})=(BJ)^{-1}0$ が成立する.
$E^{*}$$\check{F}$

最後に, 助定理 53 と定理 4.7 の直接的な結果から次の極大単調作用素の零元への収束性に関する次の結果を得ることができる.
系 56. $E$ を一様凸で一様に滑らかなバナッハ空間とし, $B\subset E^{*}\cross E$ を極大単調作用素とする. $r>0$ に対して, $R_{\eta}=(I+rBJ)^{-1}$ とする. このとき, $E$ の双対写像 $J$ が弱点列連続であれば, 次の条件は同値になる.

(1) $B$ の零元の集合 $B^{-1}0$ は空でない;(2) $E$ の任意の元に対して,は弱収束する.
点列$(BJ)^{-1}0$
は
このとき,
の元
から $(BJ)^{-1}0$ の上へのサニー準非拡大射影である.
$\{R_{r}^{n}x\}$$x$$\{R_{r}^{n}x\}$$p= \lim_{narrow\infty}RR_{\eta}^{n_{X}}$へ弱収束する. ただし, $R$ は $E$

REFERENCES[1] Ya. I. Alber, Metmc and generalized projection operators in Banach spaces: properties and applications,
Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Dekker, New York,
1996, 15-50.
[2] K. Aoyama, F. Kohsaka and W. Takahashi, Three generalizations of firmly nonexpansive mappings: Theirrelations and continuity proPerties, J. Nonlinear Convex Anal. 10 (2009), 131-147.
[3] F. E. Browder, Nonexpansive nonlinear operators in a Banach space, Proc. Nat. Acad. Sci. U.S.A. 54(1965), 1041-1044.
4] R. E. Bruck, Nonexpansive projections on subsets of Banach spaces, Pacific J. Math. 47 (1973), 341-355.
[5] I. Cioranescu, Geometry of Banach spaces, Duality Mappings and Nonlinear Problems Kluwer Academic
Publishers, Dordecht, 1990.
[6] K. Goebel and W. A. Kirk, Topics in Metric Fixed Point Theory, Cambridge University Press, Cambridge,
1990.
[7] D. Gohde, Zum Prinzip der kontraktiven Abbildung, Math. Nachr. 30 (1965), 251-258.
[8] 茨木貴徳高橋渉, 「バナッハ空間における新しい射影に関する収束定理」 京都大学数理解析研究所講究録
1484 2006 , 150-160.
[9] T. Ibaraki and W. Takahashi, Weak and strong convergence theorems for new resolvents of maximal
monotone operators in Banach spaces, Adv. Math. Econ. 10 (2007), 51-64.
[10] T. Ibaraki and W. Takahashi,
new Projection and convergence theorems for the projections in Banach
spaces, J. Approx. Theory 149 (2007), 1-14.
[11] T. Ibaraki and W. Takahashi, Strong convergence theorem by a hybnd method for generalized resolventsof maximal monotone operators in Banach spaces, J. Nonlinear Convex Anal. 9 (2008), 71-81.
$[$

$($

$)$

$A$

16
[12] 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.
[13] T. Ibaraki and W. Takahashi, Strong convergence theorem by a hybrid method for generalized resolventsof maximal monotone operators in Banach spaces, J. Nonlinear Convex Anal. 10 (2009), 21-32.
[14] 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.
[15] S. Kamimura and W. Takahashi, Strong convergence of a proximal-type algonthm in a Banach space,
SIAM J. Optim. 13 (2002), 938-945.
[16] K. Kido, Strong convergence of resolvents of monotone operators in Banach spaces, Proc. Amer. Math.
Soc. 103 (1988), 755-758.
[17] W. A. Kirk,
fixed point theorem for mappings which do not increase distances, Amer. Math. Monthly
72 (1965), 1004-1006.
[18] F. Kohsaka and W. Takahashi, Generalized nonexpansive retmctions and a proximal-type algo rithm in
Banach spaces, J. Nonlinear Convex Anal. 8 2007), 197-209.
[19] F. Kohsaka and W. Takahashi, Strongly convergent net given by a fixed point theorem for firmly nonexpansive type mappings, Appl. Math. Comput. 202, (2008), 760-765.
[20] F. Kohsaka and W. Takahashi, Fixed point theorems for a class of nonlinear mappings related to maximal
monotone operators in Banach spaces, Arch. Math. (Basel) 91 (2008), 166-177.
[21] F. Kohsaka and W. Takahashi, Existence and approximation of fixed points of firmly nonexpansive-type
mappings in Banach spaces, SIAM J. Optim. 19 (2008), 824-835.
[22] B. Martinet, Regularsation d’inequations variationnells par approximations successives (in French), Rev.
Francaise Informat. Recherche Op\’erationnelles 4 (1970), 154-158.
[23] S. Matsushita and W. Takahashi, Weak and strong convergence theorems for relatively nonexpansive mappings in a Banach space, Fixed Point Theory Appl. 2004 (2004), 37-47.
[24] S. Matsushita and W. Takahashi,strong convergence theorem for relatively nonexpansive mappings in
Banach space, J. Approx. Theory 134 (2005), 257-266.
[25] A. Pazy, Asymptotic behavior of contractions in Hilbert space, Israel J. Math. 9 (1971) 235-240.
[26] S. Reich, Strong convergence theorems for resolvents of accretive operators in Banach spaces, J. Math.
Anal. Appl. 75 (1980), 287-292.
[27] R. T. Rockafellar, Monotone operators and pronimal point algonthm, SIAM J. Control. Optim. 14 (1976),
877-898. 4 (1953), 506-510.
[28] W. Takahashi, Nonlinear Functional Analysis-Fixed Point Theory and Its Applications, Yokohama Publishers, 2000.
[29] 高橋渉, 凸解析と不動点近似, 横浜図書, 2000.
[30] 高橋渉, 非線形凸解析学入門, 横浜図書, 2005.
[31] W. Takahashi, Proximal point algo rithms and four nonlinear mappings in Banach spaces, The 6th International Conference on Nonlinear Analysis and Convex Analysis, Tokyo Institute of Technology, Tokyo,
Japan, March 27-31, 2009.
[32] W. Takahashi, Equilib nium problems, nonlinear operators and fixed point theorems, The 9th Intemational
Conference on Fixed Point Theory and its Applications, National Changhua University of Education,
Changhua, Taiwan, July 16-22, 2009.
$A$

$($

$A$