PII. S0161171202108283 http://ijmms.hindawi.com
© Hindawi Publishing Corp.
COMPLETELY GENERALIZED MULTIVALUED NONLINEAR QUASI-VARIATIONAL INCLUSIONS
ZEQING LIU, LOKENATH DEBNATH, SHIN MIN KANG, and JEONG SHEOK UME
Received 10 August 2001
We introduce and study a new class of completely generalized multivalued nonlinear quasi- variational inclusions. Using the resolvent operator technique for maximal monotone map- pings, we suggest two kinds of iterative algorithms for solving the completely generalized multivalued nonlinear quasi-variational inclusions. We establish both four existence theo- rems of solutions for the class of completely generalized multivalued nonlinear quasi- variational inclusions involving strongly monotone, relaxed Lipschitz, and generalized pseudocontractive mappings, and obtain a few convergence results of iterative sequences generated by the algorithms. The results presented in this paper extend, improve, and unify a lot of results due to Adly, Huang, Jou-Yao, Kazmi, Noor, Noor-Al-Said, Noor-Noor, Noor-Noor-Rassias, Shim-Kang-Huang-Cho, Siddiqi-Ansari, Verma, Yao, and Zhang.
2000 Mathematics Subject Classification: 47J20, 49J40.
1. Introduction. In 1996, Adly [1] used the resolvent operator technique for maxi- mal monotone mapping to study a general class of variational inclusions with single- valued mappings. Afterwards, Huang [4] and M. A. Noor [10] extended this technique for a completely general class of variational inclusions with set-valued mappings and a class of general set-valued variational inclusions with compact-valued mappings, re- spectively. Recently, Shim et al. [14] extended the results in [1,4,10] to the generalized set-valued strongly nonlinear quasi-variational inclusions without compactness.
In this paper, we first introduce a new class of completely generalized multivalued nonlinear quasi-variational inclusions for multivalued mappings. Motivated and in- spired by the methods of Aldy [1], Huang [4], M. A. Noor [10], and Shim et al. [14], we construct two new iterative algorithms for solving the completely generalized multi- valued nonlinear quasi-variational inclusions with bounded closed valued mappings.
We also establish four existence theorems of solutions for the class of completely gen- eralized multivalued nonlinear quasi-variational inclusions involving strongly mono- tone, relaxed Lipschitz and generalized pseudocontractive multivalued mappings, and give some convergence results of iterative sequences generated by the algorithms. Our results extend, improve and unify a lot of results due to Adly [1], Huang [2,3,4], Jou and Yao [5], Kazmi [6], M. A. Noor [8,9,10], M. A. Noor and Al-Said [11], M. A. Noor and K. I. Noor [12], M. A. Noor et al. [13], Shim et al. [14], Siddiqi and Ansari [15,16], Verma [18,19], Yao [20], and Zhang [21].
2. Preliminaries. LetH be a real Hilbert space endowed with a norm · and an inner product·,·, 2H, andCB(H)denote the families of all nonempty subsets and
all nonempty bounded closed subsets ofH, respectively. LetIstand for the identity mapping onH, andH(·,·)be the Hausdorff metric onCB(H).
Given single-valued mappings g, h: H→ H, multivalued mappings A, B, C, D, E : H→ 2H and nonlinear mappingsN, M:H×H→H. Suppose thatW :H→2H is a maximal monotone mapping andf∈H. We consider the following problem.
Find u∈H, x ∈Au, y∈Bu, z∈Cu, v ∈Du, w ∈Eu such thatgu−hw ∈ dom(W )and
f∈N(x, y)−M(z, v)+W (gu−hw), (2.1) which is calledcompletely generalized multivalued nonlinear quasi-variational inclu- sion.
It is known that the subdifferential of a proper convex lower semicontinuous func- tion is a maximal monotone mapping. But the converse is not true.
Special cases. (i) Iff=0,C=D=I, andM(x, x)=0 for allx∈H, then problem (2.1) is equivalent to findingu∈H, x∈Au, y∈Bu,w∈Eusuch thatgu−hw∈ dom(W )and
0∈N(x, y)+W (gu−hw), (2.2) which is called thegeneralized set-valued strongly nonlinear quasi-variational inclu- sion, studied by Shim et al. [14].
(ii) Iff =h=0, C=D=E=I, M(x, x)=0 for allx ∈H, then problem (2.1) collapses to findingu∈H,x∈Au,y∈Busuch thatgu∈dom(W )and
0∈N(x, y)+W (gu), (2.3)
which is known as thegeneral set-valued variational inclusion, introduced and studied by Noor [10].
(iii) Iff =g=0,C =D=I, M(x, x)=0, N(x, y)=ax−by, cx= −hxfor all x, y∈H, wherea, b:H→Hare mappings, then problem (2.1) is equivalent to finding u∈H,x∈Au,y∈Bu, andw∈Eusuch thatcw∈dom(W )and
0∈ax−by+W (cw). (2.4)
Variational inclusion like (2.4) have been studied in [4].
(iv) Iff=0,A=B=C=D=E=I,M(x, x)=0,N(x, x)=ax−bxfor allx, y∈H, wherea, b:H→Hare mappings, then problem (2.1) collapses to findingu∈Hsuch thatgu−hu∈dom(W )and
0∈au−bu+W (gu−hu). (2.5) This kind of problems have been studied in [17].
(v) Iff=0,C=D=I,M(x, x)=0 for allx∈H, andW=∂ϕ, where∂ϕdenotes the subdifferential of a proper convex lower semicontinuous functionϕ:H→R∪ {+∞}, then problem (2.1) collapses to findingu∈H,x∈Au,y∈Bu,w∈Eusuch thatgu−hw∈dom(∂ϕ)and
N(x, y), v−gu+hw
≥ϕ(gu−hw)−ϕ(v), ∀v∈H, (2.6) which is called thegeneralized set-valued nonlinear quasi-variational inclusion, and studied in [14].
(vi) Iff=0,A=B=E=I,N(x, x)=gx,hx=0 for allx∈HandW=∂ϕ, where
∂ϕis as above, then problem (2.1) is equivalent to findingu∈H,x∈Cu,y∈Du such thatgu∈dom(∂ϕ)and
gu−M(x, y), v−gu
≥ϕ(gu)−ϕ(v), ∀v∈H, (2.7) which is known as themultivalued mixed variational inequality, introduced and stud- ied by M. A. Noor and K. I. Noor [12].
(vii) Iff=0,C=D=E=I,M(x, x)=hx=0 for allx∈H, andW=∂ϕwhere∂ϕ is as in (v), then problem (2.1) collapses to findingu∈H,x∈Au,y∈Busuch that gu∈dom(∂ϕ)and
N(x, y), v−gu
≥ϕ(gu)−ϕ(v), ∀v∈H, (2.8) which is called thegeneralized multivalued mixed variational inequality, introduced and studied by M. A. Noor et al. [13].
(viii) If f =0, C =D=E =I, M(x, x)=hx=0 for all x ∈H, W =∂ϕ, where ϕ=IK(u), the indicator function of closed convex setK(u)inHdefined by
IK(u)(x)=
0, x∈K(u),
+∞, x∈K(u), (2.9)
then problem (2.1) is equivalent to findingu∈H,x∈Au,y∈Busuch thatgu∈ K(u)and
N(x, y), v−gu
≥0, ∀v∈K(u), (2.10) which is known as thegeneralized multivalued quasi-variational inequality, introduced and studied by M. A. Noor [9].
For appropriate and suitable choices of the mappingsg,h,A,B,C,D,E,N,M,W, the elementf∈H, a number of known classes of variational inequalities, quasi-variational inequalities, and quasi-variational inclusions, studied by several researchers including Aldly [1], Huang [2,3], Jou and Yao [5], Kazmi [6], M. A. Noor [7,8], M. A. Noor and Al-Said [11], Siddiqi and Ansari [15,16], Uko [17], Verma [18,19], Yao [20], and Zhang [21], can be obtained as special cases of problem (2.1). This reveals that the completely generalized multivalued nonlinear quasi-variational inclusion (2.1) is the more general and unifying one.
Let W : H→2H be a maximal monotone mapping. Then for a given ρ >0, the resolvent operator associated withWis defined by
JρW(u)=(I+ρW )−1(u), ∀u∈H. (2.11) It is known that the resolvent operatorJρW is single-valued and nonexpansive.
Definition2.1. A mappingg:H→H is said to bes-strongly monotoneand t- Lipschitz continuousif there exist constantss >0,t >0 such that
gx−gy, x−y ≥sx−y2, gx−gy ≤tx−y, ∀x, y∈H, (2.12) respectively.
Definition2.2. A mappingN:H×H→His said to bet-Lipschitz continuous with respect to the first argumentif there exists a constantt >0 such that
N(x, u)−N(y, u)≤tx−y, ∀x, y, u∈H. (2.13) In a similar way, we can define Lipschitz continuity of the mappingNwith respect to the second argument.
Definition2.3. A multivalued mappingA:H→CB(H)is said to be t-strongly monotone with respect to the first argument of N:H×H→H, if there exists a constant t >0 such that
N(x, q)−N(y, q), u−v
≥tu−v2, ∀u, v, q∈H, x∈Au, y∈Av. (2.14) Definition 2.4. A multivalued mapping A:H →CB(H) is said to be t-relaxed Lipschitz with respect to the first argument of N:H×H→H, if there exists a constant t >0 such that
N(x, q)−N(y, q), u−v
≤ −tu−v2, ∀u, v, q∈H, x∈Au, y∈Av. (2.15) Definition2.5. A multivalued mappingA:H→CB(H)is said to bet-generalized pseudocontractive with respect to the second argument ofN:H×H→H, if there exists a constantt >0 such that
N(q, x)−N(q, y), u−v
≤tu−v2, ∀u, v, q∈H, x∈Au, y∈Av. (2.16) Definition2.6. A multivalued mappingA:H→CB(H)is said to be t-Lipschitz continuous, if there exists a constantt >0 such that
H(Ax, Ay)≤tx−y, ∀x, y∈H. (2.17)
3. Main results. Now we invoke the resolvent operator technique to prove that the completely generalized multivalued nonlinear quasi-variational inclusion (2.1) is equivalent to a fixed point problem.
Lemma3.1. Letρandtbe positive parameters. Then the following statements are equivalent:
(a) the completely generalized multivalued nonlinear quasi-variational inclusion (2.1) has a solutionu∈H, x∈Au, y ∈Bu, z∈Cu,v ∈Du,w ∈Eu with gu−hw∈dom(W );
(b) there existu∈H,x∈Au,y∈Bu,z∈Cu,v∈Du,w∈Eusatisfying
gu=hw+JρW
gu−hw−ρN(x, y)+ρM(z, v)+ρf
; (3.1)
(c) the multivalued mappingG:H→2Hdefined by
Gq=
z∈Aq, y∈Bq, z∈Cq, v∈Dq, w∈Eq
(1−t)q+t
q−gq+hw +JρW
gq−hw−ρN(x, y) +ρM(z, v)+ρf
, ∀q∈H,
(3.2)
has a fixed pointu∈H.
Proof. It is evident that
f∈N(x, y)−M(z, v)+W (gu−hw)
⇐⇒gu−hw−ρN(x, y)+ρM(z, v)+ρf∈(I+ρW )(gu−hw)
⇐⇒gu−hw=JρW
gu−hw−ρN(x, y)+ρM(z, v)+ρf ,
(3.3)
which means that (a) and (b) are equivalent. Clearly,u∈His a fixed point ofGif and only if there existx∈Au,y∈Bu,z∈Cu,v∈Du, andw∈Eusatisfying
u=(1−t)u+t
u−gu+hw+JρW
gu−hw−ρN(x, y)+ρM(z, v)+ρf
. (3.4)
That is, (b) and (c) are equivalent. This completes the proof.
Remark3.2. Lemma 3.1is a generalization of Lemma 3.1 in [1,4,6,8,9,10,11,12, 13,14,15,16,21], [2, Lemma 2.1], [3, Lemma 3.4], [5, Theorems 3.1–3.3], and [18,19, Lemma 3.2].
Lemma 3.1is very important from the numerical and approximation point of views.
Based onLemma 3.1and Nadler’s result, we suggest the following general and unified algorithms for the completely generalized multivalued nonlinear quasi-variational in- clusion (2.1).
Algorithm3.3. Letg, h:H→H,A, B, C, D, E:H→CB(H),N, M:H×H→H. For given u0∈H, x0∈Au0, Y0∈Bu0, z0∈Cu0, v0∈Du0, andw0∈Eu0, compute
{un}n≥0,{xn}n≥0,{yn}n≥0,{zn}n≥0,{vn}n≥0,{wn}n≥0from the iterative scheme un+1=(1−t)un+t
un−gun+hwn
+JρW
gun−hwn−ρN xn, yn
+ρM zn, vn
+ρf
, (3.5) xn∈Aun, xn−xn+1≤
1+(n+1)−1 H
Aun, Aun+1 , yn∈Bun, yn−yn+1≤
1+(n+1)−1 H
Bun, Bun+1 , zn∈Cun, zn−zn+1≤
1+(n+1)−1 H
Cun, Cun+1 , vn∈Dun, vn−vn+1≤
1+(n+1)−1 H
Dun, Dun+1 , wn∈Eun, wn−wn+1≤
1+(n+1)−1 H
Eun, Eun+1
,
(3.6)
for alln≥0 wheretandρare positive parameters witht≤1.
Algorithm3.4. Letg, h:H→H,A, B, C, D, E:H→CB(H),N, M:H×H→H. For given u0∈H, x0∈Au0, y0∈Bu0, z0∈Cu0, v0∈Du0, and w0∈Eu0, compute {un}n≥0,{xn}n≥0,{yn}n≥0,{zn}n≥0,{vn}n≥0,{wn}n≥0from the iterative scheme
gun+l=hwn+JρW
gun−hwn−ρN xn, yn
+ρM zn, vn
+ρf
, ∀n≥0, (3.7) where{xn}n≥0,{yn}n≥0,{zn}n≥0,{vn}n≥0, and{wn}n≥0satisfy (3.6) andρis a posi- tive parameter.
Remark3.5. Algorithms3.3and3.4include [2, Algorithm 2.1], Algorithms3.3and 3.4in [3,4,10,11,14,15,16,21], Algorithms 4.3 and 4.4 in [8,9], Algorithms 4.1–4.3 in [12,13], and Algorithm 3.1 in [18,19] as particular cases.
Next we discuss those conditions under which the approximate solution, obtained fromAlgorithm 3.3orAlgorithm 3.4, converges to the exact solution of the completely generalized multivalued nonlinear quasi-variational inclusion (2.1).
Theorem 3.6. Let g, h: H → H be a-Lipschitz continuous and b-Lipschitz con- tinuous, respectively, and g be c-strongly monotone. Let N, M : H×H → H be α- Lipschitz continuous and γ-Lipschitz continuous in the first arguments, respectively, andβ-Lipschitz continuous andδ-Lipschitz continuous in the second arguments, respec- tively. Suppose thatA, B, C, D, E:H→CB(H)arem-Lipschitz continuous,p-Lipschitz continuous,q-Lipschitz continuous,r-Lipschitz continuous, ands-Lipschitz continuous, respectively,Aisξ-strongly monotone with respect to the first argument ofNandCisη- relaxed Lipschitz with respect to the first argument ofM. Letf∈H,k=2√
1−2c+a2+ 2bs, j=βp+δr,L=(αm+γq)2−j2,T =ξ+η−(1−k)j, andS=2k−k2. If there exists a constantρ >0satisfying
k+ρj <1, (3.8)
and one of the following conditions:
L >0, |T|>
SL, ρ−T L−1< L−1 T2−SL;
L=0, T >0, ρ > (2T )−1S;
L <0, ρ−T L−1> (−L)−1 T2−SL,
(3.9)
then the completely generalized multivalued nonlinear quasi-variational inclusion (2.1) has a solutionu∈H, x∈Au, y∈Bu, z∈Cu, v∈Du, w∈Euwithgu−hw∈ dom(W )and the sequences{un}n≥0,{xn}n≥0,{yn}n≥0,{zn}n≥0,{vn}n≥0, and{wn}n≥0
generalized byAlgorithm 3.3converge strongly tou,x,y,z,v, andw, respectively.
Proof. Sincegisa-Lipschitz continuous andc-strongly monotone, it follows that un−un+1−
gun−gun−12
=un−un−12−2
gun−gun−1, un−un−1
+gun−gun−12
≤
1−2c+a2un−un−12.
(3.10)
Note thatAism-Lipschitz continuous andξ-strongly monotone with respect to the first argument ofN,Cisq-Lipschitz continuous andη-relaxed Lipschitz with respect to the first argument ofM, andNandMareα-Lipschitz continuous andγ-Lipschitz continuous with respect to the first arguments, respectively. It is easy to verify that
un−un−1−ρ N
xn, yn
−N
xn−1, yn
−M zn, vn
+M
zn−1, vn2
=un−un−12−2ρ N
xn, yn
−N
xn−1, yn
, un−un−1 +2ρ
M zn, vn
−M zn−1, vn
, un−un−1 +ρ2N
xn, yn
−N
xn−1, yn
−M zn, vn
+M
zn−1, vn2
≤
1−2ρ(ξ+η)+ρ2(αm+γq)2
1+n−12un−un−12.
(3.11)
Using (3.5), (3.6), (3.10), and (3.11), the nonexpansivity ofJρW, the Lipschitz continu- ity ofB, D, E, and the Lipschitz continuity ofN and M with respect to the second arguments, we know that
un+1−un≤(1−t)un−un−1+tun−un−1−
gun−gun−1+thwn−hwn−1 +tJρW
gun−hwn−ρN xn, yn
+ρM zn, vn
+ρf
−JρW
gun−1−hwn−1−ρN
xn−1, yn−1
+ρM
zn−1, vn−1
+ρf
≤(1−t)un−un−1+2tun−un−1−
gun−gun−1+2thwn−hwn−1 +tun−un−1−ρ
N xn, yn
−N
xn−1, yn
−M zn, vn
+M
zn−1, vn +tρN
xn−1, yn
−N
xn−1, yn−1+tρM zn−1, vn
−M
zn−1, vn−1
≤ 1−
1−θn
tun−un−1,
(3.12) where
θn=2
1−2c+a2+2bs 1+n−1 +
1−2ρ(ξ+η)+ρ2(αm+γq)2
1+n−12
+ρ(βp+δr )
1+n−1
→θ=k+
1−2ρ(ξ+η)+ρ2(αm+γq)2+ρj,
(3.13)
asn→ ∞. Equation (3.8) ensures that θ <1⇐⇒
1−2ρ(ξ+η)+ρ2(αm+γq)2<1−k−ρj
⇐⇒Lρ2−2ρT <−S. (3.14)
It follows from (3.14) and one of (3.9) thatθ <1. LetP=2−1(1+θ). From (3.13) we conclude that there exists a positive integerN0such thatθn< P <1 for alln≥N0. Thus (3.12) ensures that
un+1−un≤
1−(1−P )tun−un−1, ∀n≥N0. (3.15) Sincet∈(0,1], (3.15) yields that{un}n≥0is a Cauchy sequence inH. In view of (3.6) and the Lipschitz continuity ofA,B,C, D, andE, we obtain that{xn}n≥0,{yn}n≥0, {zn}n≥0,{vn}n≥0,{wn}n≥0are Cauchy sequences inH. Letun→u∈H,xn→x∈H, yn→y∈H,zn→z∈H,vn→v∈H, andwn→w∈Hasn→ ∞. Observe that
d(x, Au)=inf
x−l:l∈Au
≤x−xn+H
Aun, Au
→0 asn → ∞, (3.16)
which implies thatx∈Au. Similarly, we can prove thaty∈Bu,z∈Cu,v∈Du, and w∈Eu. It follows from (3.5) that
u=(1−t)u+t
u−gu+hw+JρW
gu−hw−ρN(x, y)+ρM(z, v)+ρf
. (3.17) By virtue ofLemma 3.1, we see that the completely generalized multivalued nonlinear quasi-variational inclusion (2.1) has a solutionu∈H,x∈Au,y∈Bu,z∈Cu,v∈ Du, andw∈Eu. This completes the proof.
Theorem 3.7. Let g, h, N, M, A, B, C, D, E, k, S be as in Theorem 3.6. Sup- pose thatB is ζ-generalized pseudocontractive with respect to the second argument ofN, j=
1+2ζ+β2p2+
1−2η+γ2q2+δr,L=α2m2−j2, andT=ξ−(1−k)j. If there exists a constantρ >0satisfying (3.8) and one of (3.9), then the completely gen- eralized multivalued nonlinear quasi-variational inclusion (2.1) has a solutionu∈H, x ∈Au, y ∈Bu, z∈Cu, v∈Du, w∈Eu withgu−hw ∈dom(W )and the se- quences{un}n≥0, {xn}n≥0,{yn}n≥0, {zn}n≥0, {vn}n≥0, and {wn}n≥0generalized by Algorithm 3.3converge strongly tou,x,y,z,v, andw, respectively.
Proof. Notice thatBisp-Lipschitz continuous andζ-generalized pseudocontrac- tive with respect to the second argument ofN, andNisβ-Lipschitz continuous in the second argument. It follows that
un−un−1+N
xn−1, yn
−N
xn−1, yn−12
=un−un−12+2 N
xn−1, yn
−N
xn−1, yn−1
, un−un−1 +N
xn−1, yn
−N
xn−1, yn−12
≤
1+2ζ+β2p2
1+n−12un−un−12.
(3.18)
Similarly, we have
un−un−1−ρ N
xn, yn
−N
xn−1, yn
≤
1−2ρξ+ρ2α2m2
1+n−12un−un−1, un−un−1+M
zn, vn
−M
zn−1, vn
≤
1−2η+γ2q2
1+n−12un−un−1.
(3.19)
From (3.5), (3.6), (3.10), (3.18), and (3.19), we get that un+1−un≤(1−t)un−un−1+tun−un−1−
gun−gun−1+thwn−hwn−1 +tJρW
gun−hwn−ρN xn, yn
+ρM zn, vn
+ρf
−JρW
gun−1−hwn−1−ρN
xn−1, yn−1 +ρM
zn−1, vn−1 +ρf
≤(1−t)un−un−1+2tun−un−1−
gun−gun−1 +2thwn−hwn−1+tun−un−1−ρ
N xn, yn
−N
xn−1, yn +tρun−un−1+N
xn−1, yn
−N
xn−1, yn−1 +tρun−un−1+M
zn, vn
−M
zn−1, vn +tρM
zn−1, vn
−M
zn−1, vn−1
≤ 1−
1−θn
tun−un−1,
(3.20) where
θn=2
1−2c+a2+2bs 1+n−1
+
1−2ρξ+ρ2α2m2
1+n−12
+ρ
1+2ζ+β2p2
1+n−12
+
1−2η+γ2q2
1+n−12
+δr
1+n−1
→θ=k+
1−2ρξ+ρ2α2m2+ρj,
(3.21)
asn→ ∞. By a similar argument used in the proof ofTheorem 3.6, the result follows.
This completes the proof.
Remark3.8. Theorems3.6and3.7extend Theorem 3.1 in [2,15,16,21], Theorems 4.1 and 4.2 in [3,4,5,14], and Theorem 4.1 in [12,13] in the following ways:
(i) the set-valued nonlinear generalized variational inclusion in [2], the completely generalized strongly nonlinear implicit quasi-variational inequality and the general- ized strongly nonlinear implicit quasi-variational inequality in [3], the variational in- clusions in [4], the generalized multivalued variational inequality in [5], the multival- ued mixed variational inequality in [12], the generalized multivalued mixed variational inequality in [13], the generalized set-valued strongly nonlinear quasi-variational in- clusion and the generalized set-valued nonlinear quasi-variational inclusion in [14], the strongly nonlinear variational inequality in [15], the general strongly nonlinear variational inequality in [16], and the general set-valued strongly nonlinear quasi- variational inequality in [21] involving strongly monotone mappings are replaced by
the more general completely generalized multivalued nonlinear quasi-variational in- clusion involving strongly monotone mappings, relaxed Lipschitz mappings, and gen- eralized pseudocontractive mappings.
(ii) [2, Algorithm 2.1], Algorithms 3.1 and 3.2 in [3,4,14,15,16,21], Algorithms 4.1–4.3 in [12,13] are replaced by the more generalAlgorithm 3.3.
(iii) Conditions (3.9) are weaker than the conditions used in [2,3,4,5,12,13,14, 15,16,21].
Theorem3.9. Letg,h,N,M,A,B,C,D,E,f,j,Lbe as inTheorem 3.6. Letc≤1, k=√
1−2c+a2+2bs,T=ξ+η−(c−k)j, andS=1−(c−k)2. If there exists a constant ρ >0satisfying
k+ρj < c, (3.22)
and one of (3.9), then the completely generalized multivalued nonlinear quasi-varia- tional inclusion (2.1) has a solutionu∈H, x∈Au, y∈Bu, z∈Cu, v∈Du,w∈ Euwithgu−hw∈dom(W )and the sequences{un}n≥0,{xn}n≥0,{yn}n≥0,{zn}n≥0, {vn}n≥0, and{wn}n≥0generalized byAlgorithm 3.4converge strongly tou,x,y,z, v, andw, respectively.
Proof. Using the strong monotonicity ofg, (3.7), (3.10), and (3.11), we infer that un+1−un
≤c−1gun+1−gun≤c−1hwn−hwn−1 +c−1JρW
gun−hwn−ρN xn, yn
+ρM zn, vn
+ρf
−JρW
gun−1−hwn−1−ρN
xn−1, yn−1 +ρM
zn−1, vn−1 +ρf
≤2c−1hwn−hwn−1+c−1un−un−1−
gun−gun−1 +c−1un−un−1−ρ
N xn, yn
−N
xn−1, yn
−M zn, vn
+M
zn−1, vn +c−1ρN
xn−1, yn
−N
xn−1, yn−1+M
zn−1, vn
−M
zn−1, vn−1
≤θnun−un−1,
(3.23) where
θn=c−1 2bs
1+n−1 +
1−2c+a2 +
1−2ρ(ξ+η)+ρ2(αm+γq)2
1+n−12
+ρ(βp+δr )
1+n−1
→θ=c−1 k+
1−2ρ(ξ+η)+ρ2(αm+γq)2+ρj ,
(3.24)
asn→ ∞. The rest of the argument is the same as in the proof ofTheorem 3.6and is therefore omitted. This completes the proof.
Theorem3.10. Letg,h,M,A,B,C,D,E,f,c,k,Sbe as inTheorem 3.9,B,L,jbe as inTheorem 3.7. LetT=ξ−(c−k)j. If there exists a constantρ >0satisfying (3.22) and
one of (3.9), then the completely generalized multivalued nonlinear quasi-variational inclusion (2.1) has a solutionu∈H,x∈Au,y∈Bu,z∈Cu,v∈Du,w∈Euwith gu−hw∈dom(W )and the sequences{un}n≥0,{xn}n≥0,{yn}n≥0,{zn}n≥0,{vn}n≥0, and{wn}n≥0generalized byAlgorithm 3.4converge strongly tou,x,y,z,v, andw, respectively.
Proof. As in the proofs of Theorems3.7and3.9, we know that un+1−un
≤c−1hwn−hwn−1 +c−1JρW
gun−hwn−ρN xn, yn
+ρM zn, vn
+ρf
−JρW
gun−1−hwn−1−ρN
xn−1, yn−1 +ρM
zn−1, vn−1 +ρf
≤2c−1hwn−hwn−1+c−1un−un−1−
gun−gun−1 +c−1un−un−1−ρ
N xn, yn
−N
xn−1, yn +c−1ρun−un−1+N
xn−1, yn
−N
xn−1, yn−1 +c−1ρun−un−1+M
zn, vn
−M
zn−1, vn +c−1ρM
zn−1, vn
−M
zn−1, vn−1
≤θnun−un−1,
(3.25)
where θn=c−1
2bs
1+n−1 +
1−2c+a2+
1−2ρξ+ρ2α2m2
1+n−12
+ρ
1+2ζ+β2p2
1+n−12
+
1−2η+γ2q2
1+n−12
+δr
1+n−1
→θ=c−1 k+
1−2ρξ+ρ2α2m2+ρj ,
(3.26) asn→ ∞. The rest of the proof follows precisely as in the proof ofTheorem 3.6. This completes the proof.
Remark3.11. Theorems3.9and3.10extend, improve, and unify Theorem 3.1 in [18,19] and [20, Theorem 3.6].
Acknowledgment. This work was supported by Korea Research Foundation Grant (KRF-2000-DP0013).
References
[1] S. Adly,Perturbed algorithms and sensitivity analysis for a general class of variational inclusions, J. Math. Anal. Appl.201(1996), no. 2, 609–630.
[2] N. J. Huang,Generalized nonlinear variational inclusions with noncompact valued map- pings, Appl. Math. Lett.9(1996), no. 3, 25–29.
[3] ,On the generalized implicit quasivariational inequalities, J. Math. Anal. Appl.216 (1997), no. 1, 197–210.
[4] ,A new completely general class of variational inclusions with noncompact valued mappings, Comput. Math. Appl.35(1998), no. 10, 9–14.
[5] C. R. Jou and J. C. Yao,Algorithm for generalized multivalued variational inequalities in Hilbert spaces, Comput. Math. Appl.25(1993), no. 9, 7–16.
[6] K. R. Kazmi,Mann and Ishikawa type perturbed iterative algorithms for generalized qua- sivariational inclusions, J. Math. Anal. Appl.209(1997), no. 2, 572–584.
[7] M. A. Noor,Generalized multivalued variational inequalities. II, Comput. Math. Appl.30 (1995), no. 11, 83–89.
[8] ,Generalized multivalued quasi-variational inequalities, Comput. Math. Appl.31 (1996), no. 12, 1–13.
[9] ,Generalized multivalued quasi-variational inequalities. II, Comput. Math. Appl.35 (1998), no. 5, 63–78.
[10] ,Generalized set-valued variational inclusions and resolvent equations, J. Math.
Anal. Appl.228(1998), no. 1, 206–220.
[11] M. A. Noor and E. A. Al-Said,Iterative methods for generalized nonlinear variational in- equalities, Comput. Math. Appl.33(1997), no. 8, 1–11.
[12] M. A. Noor and K. I. Noor,Multivalued variational inequalities and resolvent equations, Math. Comput. Modelling26(1997), no. 7, 109–121.
[13] M. A. Noor, K. I. Noor, and T. M. Rassias,Set-valued resolvent equations and mixed vari- ational inequalities, J. Math. Anal. Appl.220(1998), no. 2, 741–759.
[14] S. H. Shim, S. M. Kang, N. J. Hung, and Y. J. Cho,Generalized set-valued strongly nonlinear quasivariational inclusions, Indian J. Pure Appl. Math.31(2000), no. 9, 1113–1122.
[15] A. H. Siddiqi and Q. H. Ansari,Strongly nonlinear quasivariational inequalities, J. Math.
Anal. Appl.149(1990), no. 2, 444–450.
[16] , General strongly nonlinear variational inequalities, J. Math. Anal. Appl. 166 (1992), no. 2, 386–392.
[17] L. U. Uko,Strongly nonlinear generalized equations, J. Math. Anal. Appl.220(1998), no. 1, 65–76.
[18] R. U. Verma,Iterative algorithms for variational inequalities and associated nonlinear equations involving relaxed Lipschitz operators, Appl. Math. Lett.9(1996), no. 4, 61–63.
[19] , Generalized variational inequalities and associated nonlinear equations, Czechoslovak Math. J.48(123)(1998), no. 3, 413–418.
[20] J. C. Yao,Applications of variational inequalities to nonlinear analysis, Appl. Math. Lett.
4(1991), no. 4, 89–92.
[21] J. H. Zhang,General strongly nonlinear variational inequalities for multifunctions, Appl.
Math. Lett.8(1995), no. 3, 75–80.
Zeqing Liu: Department of Mathematics, Liaoning Normal University, Dalian, Liaoning,116029, China
E-mail address:[email protected]
Lokenath Debnath: Department of Mathematics, University of Texas, Pan American, Edinburg, Texas78539, USA
E-mail address:[email protected]
Shin Min Kang: Department of Mathematics, Gyeongsang National University, Chinju660-701, Korea
E-mail address:[email protected]
Jeong Sheok Ume: Department of Applied Mathematics, Changwon National Univer- sity, Changwon641-773, Korea
E-mail address:[email protected]
Mathematical Problems in Engineering
Special Issue on
Time-Dependent Billiards
Call for Papers
This subject has been extensively studied in the past years for one-, two-, and three-dimensional space. Additionally, such dynamical systems can exhibit a very important and still unexplained phenomenon, called as the Fermi acceleration phenomenon. Basically, the phenomenon of Fermi accelera- tion (FA) is a process in which a classical particle can acquire unbounded energy from collisions with a heavy moving wall.
This phenomenon was originally proposed by Enrico Fermi in 1949 as a possible explanation of the origin of the large energies of the cosmic particles. His original model was then modified and considered under different approaches and using many versions. Moreover, applications of FA have been of a large broad interest in many different fields of science including plasma physics, astrophysics, atomic physics, optics, and time-dependent billiard problems and they are useful for controlling chaos in Engineering and dynamical systems exhibiting chaos (both conservative and dissipative chaos).
We intend to publish in this special issue papers reporting research on time-dependent billiards. The topic includes both conservative and dissipative dynamics. Papers dis- cussing dynamical properties, statistical and mathematical results, stability investigation of the phase space structure, the phenomenon of Fermi acceleration, conditions for having suppression of Fermi acceleration, and computational and numerical methods for exploring these structures and applications are welcome.
To be acceptable for publication in the special issue of Mathematical Problems in Engineering, papers must make significant, original, and correct contributions to one or more of the topics above mentioned. Mathematical papers regarding the topics above are also welcome.
Authors should follow the Mathematical Problems in Engineering manuscript format described at
http://www .hindawi.com/journals/mpe/. Prospective authors shouldsubmit an electronic copy of their complete manuscript through the journal Manuscript Tracking System at
http://mts.hindawi.com/
according to the following timetable:
Manuscript Due December 1, 2008 First Round of Reviews March 1, 2009 Publication Date June 1, 2009
Guest Editors
Edson Denis Leonel,
Departamento de Estatística, Matemática Aplicada e Computação, Instituto de Geociências e Ciências Exatas, Universidade Estadual Paulista, Avenida 24A, 1515 Bela Vista, 13506-700 Rio Claro, SP, Brazil ; [email protected]
Alexander Loskutov,
Physics Faculty, Moscow State University, Vorob’evy Gory, Moscow 119992, Russia;
[email protected]
Hindawi Publishing Corporation http://www.hindawi.com
