• No results found

Methods for solving constrained convex minimization problems and finding zeros of the sum of two operators in Hilbert spaces

N/A
N/A
Protected

Academic year: 2020

Share "Methods for solving constrained convex minimization problems and finding zeros of the sum of two operators in Hilbert spaces"

Copied!
27
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Methods for solving constrained convex

minimization problems and finding zeros of

the sum of two operators in Hilbert spaces

Ming Tian

1,2

, Si-Wen Jiao

1

and Yeong-Cheng Liou

3,4*

*Correspondence: [email protected] 3Department of Information Management, Cheng Shiu University, Kaohsiung, 833, Taiwan, ROC

4Center for Fundamental Science, Kaohsiung Medical University, Kaohsiung, 807, Taiwan, ROC Full list of author information is available at the end of the article

Abstract

In this paper, letHbe a real Hilbert space and letCbe a nonempty, closed, and convex subset ofH. We assume that (A+B)–10U= , whereA:CHis an

α

-inverse-strongly monotone mapping,B:HHis a maximal monotone operator, the domain ofBis included inC. LetUdenote the solution set of the constrained convex minimization problem. Based on the viscosity approximation method, we use a gradient-projection algorithm to propose composite iterative algorithms and find a common solution of the problems which we studied. Then we regularize it to find a unique solution by gradient-projection algorithm. The pointq∈(A+B)–10Uwhich we find solves the variational inequality(I–f)q,pq ≥0,∀p∈(A+B)–10U. Under suitable conditions, the constrained convex minimization problem can be

transformed into the split feasibility problem. Zeros of the sum of two operators can be transformed into the variational inequality problem and the fixed point problem. Furthermore, new strong convergence theorems and applications are obtained in Hilbert spaces, which are useful in nonlinear analysis and optimization.

MSC: 58E35; 47H09; 65J15

Keywords: iterative method; fixed point; constrained convex minimization; maximal monotone operator; resolvent; inverse-strongly monotone mapping; strict

pseudo-contraction; variational inequality

1 Introduction

Throughout this paper, letHbe a real Hilbert space with the inner product·,·and norm

· . LetCbe a nonempty, closed, and convex subset ofH. LetNandRbe the sets of posi-tive integers and real numbers, respecposi-tively. In the following, we introduce some operators which will be used in this paper.

f :CCis a contraction if there existsk∈(, )such thatf(x) –f(y) ≤kxy

for allx,yC.

T:CCis nonexpansive ifTxTyxyfor allx,yC.

V:CCis Lipschitz continuous if there exists a constantL> such that VxVyLxyfor allx,yC.

W:CHis a strict pseudo-contraction [] if there existst∈Rwith≤t< such thatWxWyxy+t(IW)x– (IW)yfor allx,yC.

(2)

PC:HCis metric projection ifxPCxxyfor allxHandyC.PCis firmly nonexpansive ifPCxPCy≤ PCxPCy,xyfor allx,yH.

A:HHis monotone ifxy,AxAy ≥for allx,yH. • Given a numberη> ,A:HHisη-strongly monotone if

xy,AxAyηxyfor allx,yH.

• Given a numberα> ,A:CHisα-inverse strongly monotone (α-ism) if xy,AxAyαAxAyfor allx,yH.

We first consider the problem of zero points of the maximal monotone operator:

B– ={xH: ∈Bx},

where Bis a mapping ofH into H, the effective domain ofBis denoted bydomB or

D(B), that is,domB={xH:Bx=∅}. A multi-valued mappingBis said to be a monotone operator onHifxy,uv ≥ for allx,y∈domB,uBx,vBy. A monotone operator

BonHis said to be maximal if its graph is not properly contained in the graph of any other monotone operator onH. For a maximal monotone operatorBonHandr> , we may define a single-valued operatorJr= (I+rB)–:H→domB, which is called the resolvent

ofBforr. It is well known thatB– =Fix(J

r) for allr>  and the resolventJr is firmly

nonexpansive,i.e.,

JrxJry≤ xy,JrxJry, ∀x,yH. (.)

Some authors introduced various algorithms to solve zeros of the operators (see []) and monotone operators (see []).

We consider the following constrained convex minimization problem:

min

xCg(x), (.)

whereg:C→Ris a real-valued convex function. Assume that the constrained convex minimization problem (.) is solvable, and letUdenote the solution set of (.). For solv-ing constrained convex minimization problems, some methods were proposed by some authors (see [] and []). The gradient-projection algorithm generates a sequence{xn}∞n=

according to the recursive formula:

xn+=PC(Iβg)xn, ∀n≥, (.)

or more generally,

xn+=PC(Iβng)xn, ∀n≥, (.)

where the parametersβnare real positive numbers, andPCis the metric projection fromH

ontoC. It is well known that the convergence of the algorithms (.) depends on the behav-ior of the gradient∇g. If the gradient∇gis only assumed to be inverse-strongly monotone, then the sequence{xn}defined by the algorithm (.) and (.) can only converge weakly

(3)

then the sequence generated by (.) and (.) can converge strongly to a minimizer of (.).

However, we all know that the minimization problem (.) has more than one solution under suitable conditions, so regularization is essential in finding the unique solution of the minimization problem (.). Some authors used methods with regularization to solve the minimization problems (see []), and the other methods for hierarchical minimization problems (see []). Now, we consider the following regularized minimization problem:

min

xCgλ(x) :=g(x) +

λ

x

,

whereλ>  is the regularization parameter,gis a convex function with a /L-ism continu-ous gradient∇g. Then the regularized gradient-projection algorithm generates a sequence

{xn}∞n=by the following recursive formula:

xn+=PC(Iβgλn)xn=PC

xnβ(∇g+λnI)(xn)

, (.)

where the parameterλn> ,β is a constant with  <β< /L, andPCis the metric

pro-jection fromH ontoC. We all know that the sequence{xn}∞n= generated by algorithm

(.) converges weakly to a minimizer of (.) in the setting of infinite-dimensional spaces (see []).

The subdifferential of the lower semicontinuous convex function and indicator function will also be used in this paper. See the introduction from Section  for more details as regards∂hand∂iC.

In , Moudafi [] introduced the viscosity approximation method for nonexpansive mappings, extended in []. Letf be a contraction onH, starting with an arbitrary initial

x∈H, define a sequence{xn}recursively by

xn+=αnf(xn) + ( –αn)Txn, n≥, (.)

we useFix(T) to denote the set of fixed points of the mappingT,i.e.,Fix(T) ={xH:x=

Tx}.

In , for finding a common element of equilibrium problemEP(F) and a fixed point problem, Takahashi and Takahashi [] introduced the following iterative scheme by the viscosity approximation method in a Hilbert space:x∈Hand

F(un,y) +rnyun,unxn ≥, ∀yC,

xn+=αnf(xn) + ( –αn)T(un), ∀n∈N,

(.)

where{αn} ⊂(, ) and{γn} ⊂(,∞) satisfy some appropriate conditions. Further, they

proved{xn}and{un}converge strongly toz∈Fix(T)∩EP(F), wherez=PFix(T)∩EP(F)f(z).

In , Tian and Liu [] introduced the following iterative method in a Hilbert space:

x∈Cand

F(un,y) +rnyun,unxn ≥, ∀yC,

xn+=αnγf(un) + (IαnA)Tn(un), ∀n∈N,

(4)

where F :C×C→R, un=Qβn(xn), PC(Iλng) =θnI+ ( –θn)Tn, θn=

–λnL

 , and {λn} ⊂(, /L), and{αn},{rn},{θn}satisfy appropriate conditions. Further, they proved the

sequence{xn}converges strongly to a pointqUEP(F), which solves the variational

inequality

(Aγf)q,qz≤, zUEP(F).

It is the first time that the equilibrium and constrained convex minimization problems have been solved.

Also in , Lin and Takahashi [] proposed the following iterative sequence in a Hilbert space:x=xHand{xn} ⊂Ha sequence generated by

xn+=αnγg(xn) + (IαnV)Jλn(IλnA)Trnxn, ∀n∈N. (.)

Under appropriate conditions, it is proved that the sequence {xn} generated by (.)

converges strongly to a point z∈(A+B)–∩F– which is a unique fixed point of

P(A+B)–F–(IV+γg) in (A+B)–∩F–. This pointzis also a unique solution of

the hierarchical variational inequality

(Vγg)z,qz

≥, ∀q∈(A+B)–∩F–.

In , Konget al.[] proposed a multistep hybrid extragradient method for triple hierarchical variational inequalities.

In this paper, motivated and inspired by the above results, we introduce two new iterative algorithms, the one is:x∈Cand

un=Jrn(IrnA)(xn),

xn+=αnf(xn) + ( –αn)Tn(un), ∀n∈N,

(.)

to find a common element of (A+B)–∩U, whereTn=PC(Iβng),  <bβn≤/L.

The other is:x∈Cand

un=Jrn(IrnA)(xn),

xn+=αnf(xn) + ( –αn)Tλn(un), ∀n∈N,

(.)

to find a unique solution of (A+B)–U, whereTλn=P

C(Iβgλn),∇gλn=∇g+λnI,

β∈(, /L).

Under suitable conditions, it is proved that both of the sequences{xn}generated by (.)

and (.) converge strongly to a pointq∈(A+B)–U, which solves the variational

inequality

(If)q,qp≤, ∀p∈(A+B)–∩U. (.) Equivalently,q=P(A+B)–Uf(q).

The main purpose of this paper is to find a solution of (A+B)–U by using the

gradient-projection algorithm. Then we use the regularized gradient-projection compos-ite compos-iterative method to find a unique solution of (A+B)–U. In the case that the maximal

(5)

equivalent to the problem of finding a unique solution inVI(C,A)∩U. In the caseB=∂iC

andA=IW, (A+B)– is equivalent toFix(W).

The paper is organized as follows: in Section , we introduce some useful properties and lemmas. In Section , we prove our main results and apply our results to the variational inequality, fixed point problem and the split feasibility problem. In the final section, we give our conclusion due to the main results.

We will use the following notations:

. ‘ ’ for weak convergence and ‘→’ for strong convergence; . Fix(T)denotes the set of fixed points of the mappingT; . Udenotes the solution set of (.).

. ‘GPA’ for the gradient-projection algorithm and ‘RGPA’ for the regularized gradient-projection algorithm.

2 Preliminaries

In this section, we give our preliminaries which will be useful for the main results in the next section.

Throughout this paper, we always assume thatCis a nonempty, closed, and convex sub-set of a real Hilbert spaceH.

The following inequality holds in an inner product spaceX:

x+y≤ x+ y,x+y, ∀x,yX. (.)

We need some facts and tools in a real Hilbert spaceHwhich are listed as lemmas below. Firstly, we recall the metric (nearest point) projection fromH ontoCis the mapping

PC:HCwhich is defined as follows: givenxH,PCxis the unique point inCwith the

property

xPCx=inf

yCxy=:d(x,C).

PCis characterized as follows.

Lemma . Given xH and yC.Then y=PCx if and only if the following inequality

holds:

xy,yz ≥, ∀zC.

Then we introduce the following lemma which is about the resolvent of the maximal monotone operator.

Lemma .(see [–]) Let H be a real Hilbert space and let B be a maximal monotone operator on H.For r> and xH,define the resolvent Jrx.Then the following holds:

st

s JsxJtx,JsxxJsxJtx

for all s,t> and xH.In particular,

JsxJtx

|st|/sxJsx

(6)

Besides, the following two lemmas are extremely important in the proof of theorems.

Lemma .[] Assume that{an}∞n=is a sequence of nonnegative real numbers such that

an+≤( –γn)an+γnδn+βn, n≥,

where{γn}∞n=and{βn}n∞=are sequences in(, )and{δn}∞n=is a sequence inRsuch that (i) ∞n=γn=∞;

(ii) eitherlim supn→∞δn≤orn=γn|δn|<∞; (iii) ∞n=βn<∞.

Thenlimn→∞an= .

The so-called demiclosed principle for nonexpansive mappings will often be used.

Lemma .(Demiclosed principle []) Let T:CC be a nonexpansive mapping with F(T)=∅.If{xn}∞n=is a sequence in C weakly converging to x and if{(IT)xn}∞n=converges

strongly to y,then(IT)x=y.In particular,if y= ,then xF(T).

The lemma below shows the uniqueness of solution of the variational inequality (.).

Lemma .[] Let H be a Hilbert space,C a closed convex subset of H,and f :CC a contraction with coefficientα< .Then

xy, (If)x– (If)y≥( –α)xy, x,yC.

That is,If is strongly monotone with coefficient –α.

3 Main results

We always assume thatHis a real Hilbert space andCis a nonempty, closed, and convex subset ofH. LetPC :HCbe the metric projection. Letf :CCbe a contraction

with the constantk∈(, ). LetA:CHbe anα-inverse-strongly monotone mapping withα> , and letB:HHbe a maximal monotone operator and the domain ofBis included inC. LetJr= (I+rB)–be the resolvent ofBforr> . Suppose that∇gis /L-ism

continuous. Consider the two mappingsGnandSn,

Gn(x) =αnf(x) + ( –αn)TnJrn(IrnA)(x), ∀xC,n∈N, (.) Sn(x) =αnf(x) + ( –αn)TλnJrn(IrnA)(x), ∀xC,n∈N, (.)

whereTn=PC(Iβng), Tλn=PC(Iβgλn),  <bβn≤/L,∇gλn=∇g+λnI,λn

(, /βL),β∈(, /L),{αn} ⊂(, ). It is easy to prove that∇gλnis

L+λn-ism,Tλnis

non-expansive. It is easy to see that if  <r≤α, thenIrAis nonexpansive ofCintoH. Indeed, we have, for allx,yC,

(IrA)x– (IrA)y =xyr(AxAy)

=xy– rxy,AxAy+rAxAy

(7)

=xy+r(r– α)AxAy

xy. (.)

Thus,IrAis nonexpansive ofCintoH.

Then we can claim that both ofGnandSnare contractions. Indeed, by (.) and

(.)-(.), we have, for eachx,yC,

Gn(x) –Gn(y)=αnf(x) –αnf(y)

+ ( –αn)

TnJrn(IrnA)(x) –TnJrn(IrnA)(y) ≤αnkxy+ ( –αn)Jrn(IrnA)(x) –Jrn(IrnA)(y) ≤αnkxy+ ( –αn)(IrnA)(x) – (IrnA)(y) ≤αnkxy+ ( –αn)xy

= –αn( –k)

xy.

Similarly,

Sn(x) –Sn(y)≤

 –αn( –k)

xy.

Since  <  –αn( –k) < , it follows that both ofGnandSnare contractions. Thus, by the

Banach contraction principle,Gnhas a unique fixed pointxfnCsuch that

xfn=αnf

xfn+ ( –αn)TnJrn(IrnA)

xfn.

Similarly,Snhas a unique fixed pointxnCsuch that

xn=αnf

xn+ ( –αn)TλnJrn(IrnA)

xn.

For simplicity, we will writexnforxfnandxnprovided no confusion occurs. Furthermore,

we prove the convergence of{xn}, while we claim the existence of theq∈(A+B)–∩U,

which solves the variational inequality

(If)q,pq≥, ∀p∈(A+B)–∩U. (.) Equivalently,q=P(A+B)–Uf(q).

The following is our main result.

Theorem . Let H be a real Hilbert space and let C be a nonempty,closed,and convex subset of H.Let PC:HC be the metric projection.Let f :CC be a contraction with

the constant k∈(, ).Let A:CH be anα-inverse-strongly monotone mapping with α> .Let B:HH be a maximal monotone operator and the domain of B is included in C.Let Jr= (I+rB)–be the resolvent of B for r> .Suppose thatg is/L-ism continuous

with L> .Assume that(A+B)–U=.Use GPA and let the sequences{u

n}and{xn}

be generated by

un=Jrn(IrnA)(xn),

xn=αnf(xn) + ( –αn)Tn(un), ∀n∈N,

(8)

when regularize it by using RGPA,the sequences generated by(.)changed into the fol-lowing sequence:

un=Jrn(IrnA)(xn),

xn=αnf(xn) + ( –αn)Tλn(un), ∀n∈N,

(.)

where Tn=PC(Iβng),Tλn=PC(Iβgλn),∇gλn=∇g+λnI,β∈(, /L),  <bβn

/L.Let{αn},{rn},and{λn}satisfy the following conditions: (i) {αn} ⊂(, ),limn→∞αn= ;

(ii) {rn} ⊂(,∞), <lrn≤α; (iii) {λn} ⊂(, /βL),λn=o(αn).

Then the sequence{xn}converges strongly to a point q∈(A+B)–∩U,which solves the

variational inequality(.).

Proof It is well known thatx˜∈Csolves the minimization problem (.) if and only if for each fixed  <β< /L,x˜solves the fixed point equation

˜

x=PC(Iβg)x˜=Tx˜.

It is clear thatx˜=Tx˜,i.e.,x˜∈U=Fix(T). SinceTis nonexpansive,Uis closed and convex. As in [], we have, for anyr> ,

q∈(A+B)– ⇐⇒ ∈Aq+Bq

⇐⇒ ∈rAq+rBq

⇐⇒ qrAqq+rBq

⇐⇒ q=Jr(IrA)q ⇐⇒ q∈FixJr(IrA)

. (.)

If  <r≤α, we see from (.) and (.) thatJr(IrA) is nonexpansive. ThusFix(Jr(I

rA)) is closed and convex.

In the first step, we show that{xn}is bounded. Indeed, pick anyp∈(A+B)–∩U, put

Mn=Jrn(IrnA), sinceun=Jrn(IrnA)(xn), andp=Jrn(IrnA)(p), we know that for any n∈N,

unp=Mn(xn) –Mn(p)≤ xnp. (.)

ForxC, we note that

PC(Iβgλn)x=Tλnx

and

(9)

Then we get

TλnxTx=PC(Iβgλn)xPC(Iβg)xλnβx. (.)

Thus, by (.) and (.), we derive that

xnp=αnf(xn) + ( –αn)Tn(un) –p

αnf(xn) –αnf(p)+αnf(p) –αnp+ ( –αn)Tn(un) –Tn(p) ≤αnkxnp+αn(If)p+ ( –αn)unp

≤ –αn( –k)

xnp+αn(If)p.

Then we have

xnp

 –k(If)p,

and hence{xn}is bounded. From (.), we also derive that{un}is bounded.

Similarly, by (.) and (.), we obtain

xnp=αnf(xn) + ( –αn)Tλn(un) –p

αnf(xn) –αnf(p)+αnf(p) –αnp+ ( –αn)Tλn(un) –Tλn(p)

+ ( –αn)Tλn(p) –T(p)

αnkxnp+αn(If)p+ ( –αn)unp+ ( –αn)Tλn(p) –T(p) ≤ –αn( –k)

xnp+αn(If)p+ ( –αn)Tλn(p) –T(p).

It follows from (.) that

xnp

 –k(If)p+

 –αn

αn( –k)

Tλn(p) –T(p)

≤ 

 –k(If)p+

( –αn)β

 –k · λn

αn

p.

Sinceλn=o(αn), there exists a real numberR>  such thatλnαnR, and

xnp

 –k(If)p+

( –αn)β

 –k Rp=

(If)p+ ( –αn)βRp

 –k .

Hence{xn}is bounded. From (.), we also see that{un}is bounded.

In the second step, we prove thatxnun →. Indeed, for anyp∈(A+B)–∩U, by

(.), we derive that

unp=Jrn(IrnA)(xn) –Jrn(IrnA)(p)

≤(IrnA)(xn) – (IrnA)(p),unp

(10)

=  

xnp+unp–unxn

rnAxnAp,unp

≤ 

xnp+unp–unxn

. This implies that

unp≤ xnp–unxn. (.)

From (.), (.) and (.), we derive that

xnp=αnf(xn) + ( –αn)Tn(un) –p

=αnf(xn) –αnp+ ( –αn)Tn(un) – ( –αn)Tn(p) ≤( –αn)unp+ αn

f(xn) –p,xnp

xnp–unxn+ αn

kxnp+(If)p· xnp.

Sinceαn→, it follows thatlimn→∞xnun= .

Similarly, from (.), (.), (.), and (.), we derive that

xnp≤( –αn)

xnp–unxn+ unp ·λnβp+λp

+ αn

kxnp+(If)p· xnp.

Hence, we obtain

( –αn)unxn≤(αnkαn)xnp+ ( –αn)λnβunp · p

+ ( –αn)λp+ αn(If)p· xnp.

Since both{xn}and{un}are bounded andαn→,λn→, it follows thatunxn →.

In the third step, from (.), we show thatxnTn(xn) →. Indeed,

xnTn(xn)=xnTn(un) +Tn(un) –Tn(xn) ≤xnTn(un)+Tn(un) –Tn(xn) ≤αnf(xn) –Tn(un)+unxn.

Sinceαn→ andxnun →, we obtainxnTn(xn) →.

Thus,

unTn(un)=unxn+xnTn(xn) +Tn(xn) –Tn(un) ≤ unxn+xnTn(xn)+Tn(xn) –Tn(un) ≤ unxn+xnTn(xn)+xnun

and

xnTn(un)≤ xnun+unTn(un),

(11)

Similarly, from (.), we show thatxnTλn(xn) →. Indeed, xnTλn(xn)≤αnf(xn) –Tλn(un)+unxn.

Sinceαn→ andunxn →, we obtainxnTλn(xn) →.

Therefore,

unTλn(un)≤ unxn+xnTλn(xn)+xnun

and

xnTλn(un)≤ unxn+Tλn(un) –un,

we haveunTλn(un) → andxnTλn(un) →.

In the fourth step, we show thatq∈(A+B)–U.

Consider a subsequence{uni}of{un}. Since{un}is bounded, without loss of generality,

we can assume thatuni q.

We first see the gradient-projection algorithm generated by (.), from the boundedness of{uni},βniβ, anduniTni(uni) →, we distinguish two cases to showqU.

Case .limi→∞βni=β=

L.

Observe that

PC I

Lg

uniuni

PC I

Lg

uniPC(Iβnig)uni

+PC(Iβnig)uniuni

I–

Lg

uni– (Iβnig)uni

+PC(Iβnig)uniuni

≤ 

Lβni

g(uni)+Tni(uni) –uni.

Then we conclude that

lim

i→∞

uniPC I

Lg

uni = .

Since∇gisL-ism,PC(I–Lg) is nonexpansive self-mapping onC. Indeed, we have for

eachx,yC PC I

Lg

xPC I

Lg

y

I–

Lg

xI–

Lg

y

=xy–

L

g(x) –∇g(y)

=xy–

L

xy,∇g(x) –∇g(y) + 

(12)

xy– 

L∇g(x) –∇g(y) 

+ 

L∇g(x) –∇g(y) 

=xy. Case .  <b≤limi→∞βni=β<

L.

Observe that

PC(Iβg)uniuniPC(Iβg)uniPC(Iβnig)uni

+PC(Iβnig)uniuni

≤(Iβg)uni– (Iβnig)uni

+PC(Iβnig)uniuni

≤ |ββni| ·∇g(uni)+Tni(uni) –uni.

Then we conclude that

lim

i→∞

un

iPC(Iβg)uni= .

SincePC(I–Lg) andPC(Iβg) are both nonexpansive. Then, by the above two cases

and Lemma ., we derive that

q=PC(Iβg)q=Tq.

This shows thatq∈Fix(T) =U.

When we regularize it, we see the sequences generated by (.), which use RGPA. By (.), we have

unT(un)≤unTλn(un)+Tλn(un) –T(un)

unTλn(un)+λnβun.

Since unTλn(un) → andλn→, we have unT(un) →. Thus, we get by

Lemma . thatq∈Fix(T) =U.

In the fifth step, we show thatq∈(A+B)–.

Taker∈[l, α]. Puttingzn= (IrnA)xn, we have from Lemma . that

Jr(IrA)xnunJr(IrA)xnJr(IrnA)xn

+Jr(IrnA)xnun

≤(IrA)xn– (IrnA)xn

+Jr(zn) –Jrn(zn)

≤ |rnr| ·A(xn)

+|rnr|

r

Jr

(13)

we also have

Jr(IrA)xnxnJr(IrA)xnun+unxn. (.)

Take any subsequence{xni}of{xn}. Since{xn} is bounded,{xni}is bounded and{rni} ⊂

[l, α]. Without loss of generality, there exist a subsequence {xnij} of {xni} and a

sub-sequence {rnij} of {rni} such that xnij q andrnijr for some{r} ⊂[l, α]. Since

{xnij} ⊂CandCis closed and convex, we haveqC. Usingrnijrand (.), we have

Jr(IrA)xnijunij→.

Furthermore, we have fromxnijunij → and (.)

Jr(IrA)xnijxnij→.

SinceJr(IrA) is nonexpansive, we have from Lemma .q=Jr(IrA)q. By (.), we

obtainq∈(A+B)–.

Thus, we haveq∈(A+B)–U.

On the other hand, from the sequence{xn}generated by (.), we note that

xnq=αnf(xn) + ( –αn)Tn(un) –q

=αnf(xn) –αnf(q) +αnf(q) –αnq+ ( –αn)

Tn(un) –q

.

Hence, we obtain from (.) that

xnq =αn

(fI)q,xnq

+αn

f(xn) –f(q)

+ ( –αn)

Tn(un) –Tn(q)

,xnq

αn

(fI)q,xnq

+αnkxnq+ ( –αn)unq · xnqαn

(fI)q,xnq

+ –αn( –k)

xnq.

It follows that

xnq≤

  –k

(fI)q,xnq

.

In particular,

xniq

 –k

(fI)q,xniq

. (.)

Sincexni q, it follows from (.) thatxniqasi→ ∞.

Similarly, from using RGPA, and by the sequence{xn}generated by (.), we note that

xnq=αnf(xn) –αnf(q) +αnf(q) –αnq+ ( –αn)

Tλn(un) –q

(14)

Hence, we obtain from (.) and (.)

xnq≤αn

(fI)q,xnq

+ ( –αn+αnk)xnq

+ ( –αn)λnβq · xnq.

It follows that

xnq≤

(fI)q,xnq

 –k +

( –αn)λnβq · xnq

( –k)αn

.

In particular,

xniq

( –αn)β

 –k · λni αni

q · xniq+

  –k

(fI)q,xniq

. (.)

Sincexni qandλn=o(αn), it follows from (.) thatxniqasi→ ∞.

Finally, we show thatqsolves the variational inequality (.). From the sequence{xn}generated by (.), we observe that

xn=αnf(xn) + ( –αn)Tn(un)

=αnf(xn) + ( –αn)TnJrn(IrnA)(xn).

Hence, we conclude that (If)(xn) = –

αn

ITnJrn(IrnA)

(xn) –TnJrn(IrnA)(xn) +xn.

SinceTnJrn(IrnA) is nonexpansive, we find thatITnJrn(IrnA) is monotone. Note that,

for any givenz∈(A+B)–U,

(If)xn,xnz

= – 

αn

ITnJrn(IrnA)

xn

ITnJrn(IrnA)

z,xnz

Tn(un) –xn,xnz

Tn(un) –xn· xnz.

Now, replacingnwithniin the above inequality, and lettingi→ ∞, since{xn}is bounded, Tn(un) –xn →, we have

(If)q,qz=lim

i→∞

(If)xni,xniz

≤.

From a similar step, we observe the sequence{xn}generated by (.) has similar results,

namely as follows:

(If)(xn) = –

αn

ITλnJrn(IrnA)

(xn) –TλnJrn(IrnA)(xn) +xn.

SinceTλnJrn(IrnA) is nonexpansive, we haveITλnJrn(IrnA) is monotone. Note that

for any givenz∈(A+B)–U, by (.), we get

(If)(xn),xnz

λn

αn

(15)

Then replacing nwithni in the above inequality, and lettingi→ ∞, since λn=o(αn), Tλn(un) –xn →, we also have

(If)q,qz=lim

i→∞

(If)xni,xniz

≤.

Therefore from the above two sequences generated by GPA (.) and RGPA (.), we ob-tain the same results:

Because of the arbitrariness ofz∈(A+B)–∩U, we see thatq∈(A+B)–∩Uis a solution of the variational inequality (.). Further, by the uniqueness of the solution of the variational inequality (.), we conclude thatxnqasn→ ∞.

The variational inequality (.) can be rewritten as

f(q) –q,qz≥, ∀z∈(A+B)–∩U.

By Lemma ., it is equivalent to the following fixed point equation:

P(A+B)–Uf(q) =q.

This completes the proof.

Theorem . Let H be a real Hilbert space and let C be a nonempty,closed,and convex subset of H.Let PC:HC be the metric projection.Let f :CC be a contraction with

the constant k∈(, ).Let A:CH be anα-inverse-strongly monotone mapping with α> and let B:HH be a maximal monotone operator and the domain of B is included in C.Let Jr= (I+rB)–be the resolvent of B for r> .Suppose thatg is/L-ism continuous

with L> .Assume that(A+B)–U=.Let the sequences{u

n}and{xn}be generated

by x∈C and

un=Jrn(IrnA)(xn),

xn+=αnf(xn) + ( –αn)Tn(un), ∀n∈N,

(.)

when regularize it by using RGPA,the sequences generated by(.)changed into the fol-lowing sequences:

un=Jrn(IrnA)(xn),

xn+=αnf(xn) + ( –αn)Tλn(un), ∀n∈N,

(.)

where Tn=PC(Iβng),Tλn=PC(Iβgλn),∇gλn=∇g+λnI,  <bβn≤L,

n=|βn

βn+|<∞,β∈(, /L).Let{αn},{rn},and{λn}satisfy the following conditions: (C) {αn} ⊂(, ),limn→∞αn= ,

n=αn=∞,

n=|αn+–αn|<∞; (C) {rn} ⊂(,∞), <lrn≤α,

n=|rn+–rn|<∞; (C) {λn} ⊂(, /βL),λn=o(αn),

n=|λn+–λn|<∞.

Then the sequences{xn}from(.)and(.)are both converge strongly to a point q

(16)

Proof It is clear thatxˆ∈Csolves the minimization problem (.) if and only if for each fixed  <bβ≤/L,xˆsolves the fixed point equation

ˆ

x=PC(Iβg)xˆ=Txˆ,

andxˆ=Txˆ,i.e.,xˆ∈U=Fix(T).

Now, we first show that{xn}is bounded. Indeed, pick anyp∈(A+B)–∩U, and by

(.) and (.) we derive that

xn+–p=αnf(xn) + ( –αn)Tn(un) –p

αnf(xn) –f(p)+ ( –αn)Tn(un) –Tn(p)+αnf(p) –pαnkxnp+ ( –αn)unp+αnf(p) –p

≤ –αn( –k)

xnp+αnf(p) –p.

By induction, we have

xnp ≤max

x–p,

 –kf(p) –p

, n≥.

Hence,{xn}is bounded. From (.), we also see that{un}is bounded.

Similarly, we derive from (.) and (.) that

xn+–p

 –αn( –k)

xnp

+αn( –k)

λnβ( –αn)

αn( –k)

p+ αn

αn( –k

f(p) –p

.

Sinceλn=o(αn), there exists a real numbera>  such thatλnαna.

Thus,

xn+–p

 –αn( –k)

xnp+αn( –k)

aβp+f(p) –p

 –k .

By induction, we have

xnp ≤max

x–p,

  –k

aβp+f(p) –p

, n≥.

Hence,{xn}is bounded. From (.), we also see that{un}is bounded.

Next, we show thatxn+–xn →.

Indeed, since∇gis /L-ism,PC(Iβng) is nonexpansive, we derive from (.) that

Tn(un–) –Tn–(un–)=PC(Iβng)(un–) –PC(Iβn–∇g)(un–) ≤(Iβng)(un–) – (Iβn–∇g)(un–)

(17)

Thus, we get

xn+–xn=αnf(xn) + ( –αn)Tn(un) –

αn–f(xn–)

+ ( –αn–)Tn–(un–)

αnf(xn) –f(xn–)+αnf(xn–) –αn–f(xn–)

+ ( –αn)Tn(un) –Tn(un–)

+ ( –αn)Tn(un–) –Tn–(un–)

+( –αn)Tn–(un–) – ( –αn–)Tn–(un–) ≤αnkxnxn–+ ( –αn)unun–

+ ( –αn)|βnβn–| ·∇g(un–)

+|αnαn–|f(xn–)+Tn–(un–) ≤αnkxnxn–+ ( –αn)unun–

+M

|βnβn–|+|αnαn–|

(.) for some appropriate constantM>  such that

M≥max∇g(un–),f(xn–)+Tn–(un–), ∀n≥.

Similarly, since∇gis /L-ism,PC(Iβgλn) =Tλnis nonexpansive, we derive from (.)

that

Tλn(un–) –Tλn–(un–)≤β|λnλn–|un–.

Thus, we get

xn+–xnαnkxnxn–+ ( –αn)unun–

+ ( –αn)β|λnλn–| · un–

+|αnαn–|f(xn–)+Tλn–(un–)

αnkxnxn–+ ( –αn)unun–

+M|λnλn–|+|αnαn–|

(.) for some appropriate constantM>  such that

M≥maxβun–,f(xn–)+Tλn–(un–), ∀n≥.

Sinceun+=Jrn+(Irn+A)(xn+) andun=Jrn(IrnA)(xn), we get from Lemma . and (.)

that

(18)

+Jrn+(Irn+A)(xn) –Jrn+(IrnA)(xn)

+Jrn+(IrnA)(xn) –Jrn(IrnA)(xn)

xn+–xn+|rn+–rn| ·A(xn)

+|rn+–rn|

rn+

Jrn+(IrnA)(xn) – (IrnA)(xn).

Since  <lrn≤α, we have

un+–unxn+–xn+|rn+–rn| ·A(xn)

+|rn+–rn|

l Jrn+(IrnA)(xn) – (IrnA)(xn)

xn+–xn+|rn+–rn|M, (.)

whereM=sup{A(xn),lJrn+(IrnA)(xn) – (IrnA)(xn):n∈N}.

From (.) and (.), we obtain

xn+–xnαnkxnxn–+ ( –αn)unun–

+M

|λnλn–|+|αnαn–|

αnkxnxn–+ ( –αn)

xnxn–+|rnrn–|M

+M

|λnλn–|+|αnαn–|

≤ –αn( –k)

xnxn–+M|rnrn–|

+M

|λnλn–|+|αnαn–|

≤ –αn( –k)

xnxn–

+M

|rnrn–|+|λnλn–|+|αnαn–|

, whereM=max{M,M}. Hence by Lemma ., we have

lim

n→∞xn+–xn= . (.)

Then, from (.), (.), and|rn+–rn| →, we have

lim

n→∞un+–un= . (.)

For anyp∈(A+B)–∩U, by the same argument as in the proof of Theorem ., we have

unp≤ xnp–unxn. (.)

Then, for the GPA, generated by (.) and from (.), by the same argument as in the proof of Theorem ., we derive that

xn+–p =αnf(xn) + ( –αn)Tn(un) –p

=αn

f(xn) –p

+ ( –αn)Tn(un) – ( –αn)Tn(p)

(19)

αnf(xn) –p

+ αn( –αn)f(xn) –p· unp+ ( –αn)unp ≤αnf(xn) –p+ f(xn) –p· unp

+unp ≤αnf(xn) –p

+ f(xn) –p· unp

+xnp–unxn,

and hence

xnun≤ xnp–xn+–p

+αnf(xn) –p

+ f(xn) –p· unp

=xnxn++ xnxn+,xn+–p

+αnf(xn) –p+ f(xn) –p· unp

xnxn++ xnxn+ · xn+–p

+αnf(xn) –p

+ f(xn) –p· unp

.

Since{xn}is bounded,αn→ andxnxn+ →, we have

lim

n→∞xnun= . (.)

Next, we derive that

xnTn(xn)=xnxn++xn+–Tn(xn)

xnxn++αnf(xn) + ( –αn)Tn(un) –Tn(xn) ≤ xnxn++αnf(xn) –Tn(xn)+ ( –αn)unxn.

From (.), (.), andαn→, we have

xnTn(xn)→,

it follows thatunTn(un) →.

Similarly, for the RGPA, generated by (.) and from (.) and (.), by the same ar-gument as in the proof of Theorem ., we derive that

xn+–p≤ xnp–unxn+ unp ·λnβp+λp

+αn

unp+λnβp

·f(xn) –p+f(xn) –p

and hence

xnun≤ xn+–xn

xnp+xn+–p

+ βλnunp · p+λp

+αn

unp+βλnp

·f(xn) –p+f(xn) –p

(20)

Since both{xn},{f(xn)}and{un}are bounded,αn→,λn→, andxn+–xn →, we

also derive the result (.). Next, we derive that

xnTλn(xn)≤ xnxn++αnf(xn) –Tλn(un)+unxn.

From (.), (.), andαn→, we also have

xnTλn(xn)→.

It follows thatunTλn(un) →.

Now we show that

lim sup

n→∞

xnq, –(If)q

≤,

whereq∈(A+B)–Uis a unique solution of the variational inequality (.).

Indeed, take a subsequence{xnk}of{xn}such that

lim sup

n→∞

xnq, –(If)q

= lim

k→∞

xnkq, –(If)q

.

Since{xn}is bounded, without loss of generality, we may assume thatxnk xˆ.

By the same argument as in the proof of Theorem ., we havexˆ∈(A+B)–∩U. Sinceq=P(A+B)–Uf(q), it follows that

lim sup

n→∞

(If)q,qxn

=(If)q,qxˆ≤. (.)

Finally, we show thatxnq.

In fact, for the GPA, generated by (.),

xn+–q=αnf(xn) + ( –αn)Tn(un) –q

=αn

f(xn) –f(q)

+αn

f(q) –q+ ( –αn)

Tn(un) –Tn(q)

.

So, from (.) and (.), we obtain

xn+–q=αn

f(xn) –f(q)

+αn

f(q) –q+ ( –αn)

Tn(un) –Tn(q) ≤( –αn)Tn(un) –Tn(q)

+ αn

f(xn) –f(q) – (If)q,xn+–q

≤( –αn)unq+ αnkxnq · xn+–q

+ αn

–(If)q,xn+–q

≤( –αn)xnq+αnk

xnq+xn+–q

+ αn

–(If)q,xn+–q

(21)

It follows that

xn+–q≤

 – αn+αnk

 –αnk

xnq+

α

n

 –αnk

xnq

+ αn  –αnk

–(If)q,xn+–q

≤ – ( –k)αn

xnq+

α

n

 –αnk

xnq

+ αn  –αnk

–(If)q,xn+–q

≤ – ( –k)αn

xnq+ ( –k)αn

αn

( –k)( –αnk)

M

+  ( –k)( –αnk)

–(If)q,xn+–q

= – ( –k)αn

xnq+ ( –k)αnδn,

whereδn=(–kα)(–n αnk)M+ 

(–k)(–αnk)–(If)q,xn+–q, andM=sup{xnq

:nN}.

It is easy to see thatlimn→∞( –k)αn= ,∞n=( –k)αn=∞, andlim supn→∞δn≤

by (.). Hence, by Lemma ., the sequence{xn}converges strongly toq.

Similarly, for the RGPA, generated by (.),

xn+–q=αn

f(xn) –f(q)

+αn

f(q) –q+ ( –αn)

Tλn(un) –Tλn(q)

+ ( –αn)

Tλn(q) –T(q). So, from (.) and (.), we derive

xn+–q≤

 –αn( –k)

xnq · xn+–q+λnβq · xn+–q

+αn

–(If)q,xn+–q

≤ –αn( –k)

 

xnq+xn+–q

+αn –(If)q,xn+–q

+λn

αn

βq · xn+–q

.

It follows that

xn+–q≤

 –αn( –k)

xnq

+ αn  +αn( –k)

–(If)q,xn+–q

+λn

αn

βq · xn+–q

since{xn}is bounded, we can take a constantM>  such that

Mxn+–q, n≥.

Then we obtain

xn+–q≤

 –αn( –k)

xnq+αnδn, (.)

whereδn=+αn(–k)[–(If)q,xn+–q+ λn αnβqM

(22)

By (.) andλn=o(αn), we getlim supn→∞δn≤. Now applying Lemma . to (.)

concludes thatxnqasn→ ∞. The variational inequality (.) can be rewritten as

f(q) –q,qz≥, ∀z∈(A+B)–∩U.

By Lemma ., it is equivalent to the following fixed point equation:

P(A+B)–Uf(q) =q.

This completes the proof. In this following, based on Theorem . and taking the RGPA for example, from the sequences generated by (.), we will give new strong convergence theorems in Hilbert space, which are useful in nonlinear analysis and optimization.

In , Censor and Elfving [] introduced the split feasibility problem (SFP). Then various algorithms were introduced by some authors to solve it (see [, , ], and [, , ]). Recently, many authors have paid attention to the split feasibility problem (SFP) due to its wide application in signal processing and image reconstructions (see [, ] and []).

LetCandQbe nonempty, closed, and convex subset of real Hilbert spaceHandH,

respectively. Then the SFP under consideration in this paper can mathematically be for-mulated as finding a pointxsatisfying the following property:

xC and FxQ, (.) whereF:H→His a bounded linear operator. It is clear thatx∗is a solution to the split

feasibility problem (.) if and only ifx∗∈CandFx∗–PQFx∗= . We define the proximity

functiongby

g(x) = 

FxPQFx

.

Consider the constrained convex minimization problem

min

xCg(x) =minxC

FxPQFx

. (.)

Thenx∗solves the SFP (.) if and only ifx∗solves the minimization problem (.) with the minimize equal to .

In particular, Byrne [] introduced the so-calledCQalgorithm. Take an initial guess

x∈Harbitrarily, and define{xn}recursively as follows:

xn+=PC

IβF∗(IPQ)F

xn, n≥, (.)

where  <β< /AandP

Cdenotes the projector ontoC. Then the sequence{xn}

gen-erated by (.) converges weakly to a solution of the SFP.

(23)

inC. LetJr= (I+rB)–be the resolvent ofBforr> . In order to obtain a strong

conver-gence iterative sequence to solve the SFP, we propose a new algorithm as follows:x∈C,

un=Jrn(IrnA)(xn),

xn+=αnf(xn) + ( –αn)Tλn(un), ∀n∈N,

(.)

wheref:CCis a contraction with the constantk∈(, ), and{Tλn}satisfyTλn=PC(Iβ(F∗(IPQ)F+λnI)) for alln, andβ∈(, /F). We can show that the sequence{xn}

generated by (.) converges strongly to a solution of the SFP (.) if the sequence{αn} ⊂

(, ). Applying Theorem ., we obtain the following result.

Theorem . Assume that the split feasibility problem(.)is consistent.Let the sequence

{xn}be generated by(.).Here the sequence{αn}and{λn}satisfy the conditions(C)and

(C). Then the sequence{xn} converges strongly to a point q∈(A+B)–∩V,which V

denote the solution set of SFP(.).

Proof By the definition of the proximity functiong, we have

g(x) =F∗(IPQ)Fx,

sincePQis /-averaged mapping, thenIPQis -ism, for∀x,yC, we obtain

g(x) –∇g(y),xy– /F·∇g(x) –∇g(y) =F∗(IPQ)FxF∗(IPQ)Fy,xy

– /F·F∗(IPQ)FxF∗(IPQ)Fy

=F∗(IPQ)Fx– (IPQ)Fy

,xy

– /F·F∗(IPQ)Fx– (IPQ)Fy

=(IPQ)Fx– (IPQ)Fy,FxFy

– /F·F∗(IPQ)Fx– (IPQ)Fy

≥(IPQ)Fx– (IPQ)Fy–(IPQ)Fx– (IPQ)Fy

= .

So,∇gis /F-ism.

Setgλn(x) =g(x) +λnx, consequently,

gλn(x) =∇g(x) +λnI(x) =F

(IP

Q)Fx+λnx.

Then the iterative scheme (.) is equivalent to

un=Jλn(IλnA)(xn),

xn+=αnf(xn) + ( –αn)Tλn(un), ∀n∈N,

References

Related documents

The objective of this study was to evaluate the feasibility and acceptability of decision coaching guided by the Ottawa Family Decision Guide with children and parents

As result we obtain a lower bound on the min-entropy key uncertainty given the outcome of any quantum measurement applied to all ciphers and given all plaintexts.. Notice that

It was possible to improve the production process by applying the simulation technique, which shows that the general objective was achieved. Also, it was possible to

legislative staff might furnish this aid. OLIS staff will perform searches for pay. a 5 However, it is possible to train legislators and others fairly quickly to do a

Prostatic intra-epithelial neoplasia is believed to be a pre-malignant lesion and is divided into two main grades: low grade (PIN I) and high grade (PIN II&amp;III).6

While higher education as a public good clearly provides a more fertile ground for the gift than its form as a commodity, I will argue that it is the political economy of the

4 A1-astrocyte markers are significantly altered in TKO mice upon prion infection a qPCR expression analysis of microglia and astrocyte disease markers in thalamus tissue

difficile -range disinfection, radiometry results were similar for both systems (70%), while test cards show a small advantage with the Enlight system (70% vs. 60%)..