• 検索結果がありません。

FIXED POINT INDEX APPROACH FOR SOLUTIONS OF VARIATIONAL INEQUALITIES

N/A
N/A
Protected

Academic year: 2022

シェア "FIXED POINT INDEX APPROACH FOR SOLUTIONS OF VARIATIONAL INEQUALITIES"

Copied!
9
0
0

読み込み中.... (全文を見る)

全文

(1)

FIXED POINT INDEX APPROACH FOR SOLUTIONS OF VARIATIONAL INEQUALITIES

YISHENG LAI, YUANGUO ZHU, AND YINBING DENG Received 8 October 2004 and in revised form 18 May 2005

By using fixed point index approach for multivalued mappings, the existence of nonzero solutions for a class of generalized variational inequalities is studied in reflexive Banach space. One of the mappings concerned here is coercive or monotone and the other is set-contractive or upper semicontinuous.

1. Introduction

Since the fundamental theory of variational inequality was founded in the 1960s, the vari- ational inequality theory with applications has made powerful progress and has become an important part of nonlinear analysis. It has been applied intensively to mechanics, dif- ferential equation, cybernetics, quantitative economics, optimization theory, nonlinear programming, and so forth (see [2]).

In virtue of minimax theorem of Ky Fan and KKM technique, variational inequal- ities, generalized variational inequalities, and generalized quasivariational inequalities were studied intensively in the last 20 years with topological method, variational method, semiordering method, and fixed point method [2]. However, the existence of nonzero solutions for variational inequalities, as another important topic of variational inequality theory, has been rarely discussed.

It is of theoretical and practical significance to study the existence of nonzero solutions for variational inequalities. In this paper, we will discuss the existence of nonzero solu- tions for a class of generalized variational inequalities for multivalued mappings by fixed point index approach in reflexive Banach space.

LetY,Zbe two topological spaces. A multivalued mappingF:Y2Zis called upper semicontinuous aty0Yif for each neighbourhoodVZofF(y0), there exists a neigh- bourhoodU ofy0such that the setF(U)V. Suppose thatE1,E2are two real Banach spaces,DE1. A multivalued mappingA:D2E2 is said to bek-set-contractive onD if there exists a constantk such thatα(A(S))kα(S) wheneverα(S)=0,SD, where αis the Kuratowski measure of noncompactness. A mappingAis called condensing on Difα(A(S))< α(S) wheneverα(S)=0,SD. It is easily seen that a mappingAis con- densing whenk <1. LetXbe a Banach space,Xits dual, and (·,·) the pair betweenX

Copyright©2005 Hindawi Publishing Corporation

International Journal of Mathematics and Mathematical Sciences 2005:12 (2005) 1879–1887 DOI:10.1155/IJMMS.2005.1879

(2)

andX. Suppose thatKis a closed convex subset ofXandUis an open subset ofXwith UK=UK= ∅. The closure and boundary ofUK relative toKare denoted byUK and

∂(UK), respectively. Assume thatT:UK2K is an upper semicontinuous mapping with nonempty compact convex values andTis also condensing. IfxT(x) forx∂(UK), then the fixed point index,iK(T,U), is well defined (see [3]).

Proposition1.1 [3]. LetK be a nonempty closed convex subset of a real Banach space Xand letUbe an open subset ofX. Suppose thatT:UK2Kis an upper semicontinuous mapping with nonempty compact convex values andxT(x)forx∂(UK), then the index, iK(T,U), has the following properties:

(i)ifiK(T,U)=0, thenThas a fixed point;

(ii)for mappingX0with constant value{x0}, ifx0UK, theniK(X0,U)=1;

(iii)let U1, U2 be two open subsets of X withU1U2= ∅. If xT(x)when x

∂((U1)K)∂((U2)K), theniK(T,U1U2)=iK(T,U1) +iK(T,U2);

(iv)letH: [0, 1]×UK2K be an upper semicontinuous mapping with nonempty com- pact convex values andα(H([0, 1]×Q))< α(Q)wheneverα(Q)=0,QUK. If xH(t,x)for everyt[0, 1],x∂(UK), theniK(H(1,·),U)=iK(H(0,·),U).

In this paper, for mappingsA:XXandg:K2X, we will deal with the following problem by fixed point index approach: finduK,u=0, andwg(u) such that

(Au,vu)(w,vu), vK. (1.1)

2. Nonzero solutions when the mappingAis coercive

Suppose thatK is a subspace ofX andA:XXis a coercive and linear continuous mapping, that is, there exist constantsM,γ >0 such that

(Av,v)γv2, AvXMv, vX. (2.1)

It is well known that for any givenwX, the variational inequality

(Au,vu)(w,vu), vK, (2.2)

has an only solutionuinK(see [1]). Define a mapping as follows:

KA:X−→K, KA(w)=u, wX, (2.3)

thenKAis a coercive and linear continuous mapping and (see [1]) KA

w1

KA

w21

γw1w2X. (2.4)

(3)

Theorem 2.1. Let K be a subspace of a reflexive real Banach spaceX. Suppose that A: XXis a coercive and linear continuous mapping which satisfies inequalities (2.1) and g:K2Xisβ-set-contractive and upper semicontinuous mapping with nonempty compact convex values, whereβ/γ <1. Assume

(a) lim infun0supwng(un)(wn,un)/un2< γ(unK);

(b)there existx0Kand a constantq >0such thatinfwg(u)(w,x0)/u> Mx0when u> q,uK.

Then (1.1) has a nonzero solution.

Proof. Define a mapping as follows:

KAg:K−→2K, KAg(u)=KA

g(u), uK. (2.5) It is easily seen thatKAg is (β/γ)-set-contractive and upper semicontinuous mapping with nonempty compact convex values by (2.4). LetKr= {xK,x< r}. Assuming that there does not exist r=0 and u∂(Kr) such that uKA(g(u)) (or else u is a nonzero solution of (1.1)). We will verify thatiK(KAg,Kr)=1 for small enoughr and iK(KAg,KR)=0 for large enoughR.

Firstly, define a mapping byH: [0, 1]×Kr2K,H(t,u)=tKA(g(u)). Obviously,H(t,u) is an upper semicontinuous mapping with nonempty compact convex values. We claim thatα(H([0, 1]×Q))< α(Q) wheneverα(Q)=0,QKr. In fact, leteKAg(Q), then 0∈ {KAg(Q)e}. Hence, we have

H[0, 1]×Q=

t[0,1]

tKAg(Q)e+te

t[0,1]

tKAg(Q)e +

t[0,1]

{te}

KAg(Q)e +

t[0,1]

{te}.

(2.6)

Thus

αH[0, 1]×QαKAg(Q) +α

t(0,1)

{te}

=αKAg(Q) < α(Q). (2.7)

We claim that there exists small enoughrsuch thatuH(t,u) for allt[0, 1],u∂(Kr).

Otherwise, there exist two sequences{tn},{un},tn(0, 1],un∂(Kr),un0, such thatunH(tn,un)=tnKAg(un) orun/tnKAg(un), hence there existswng(un) such thatun/tn=KA(wn), that is, we have

Aun

tn

,vun

tn

wn,vun

tn

, vK. (2.8)

Lettingv=0, we can obtain from (2.1) and (2.8) that γ

Aun,un un2 tn

wn,un un2

wn,un

un2 . (2.9)

(4)

Thus lim infun0supwng(un)(wn,un)/un2γ, which contradicts condition (a). There- fore,

iK

KAg,Kr=iK

H(1,·),Kr=iK

H(·, 0),Kr=iK

ˆ0,Kr=1 (2.10) byProposition 1.1(ii) and (iv).

Secondly, we will verify thatiK(KAg,KR)=0 for large enoughR. In fact, we can get from (2.1) and condition (b) that

w,x0

>Au,x0

, wg(u), asu> q. (2.11) On the other hand, becauseg isβ-set-contractive and upper semicontinuous mapping with nonempty compact convex values, there exists a constantL >0 such thatwXL for allwg(u) wheneveruq,uK. TakeNfor large enough and f Xso that

Mqx0+Lx0<Nf,x0

. (2.12)

Define a mapping byH: [0, 1]×KR2K,H(t,u)=KA(g(u)tN f). ThenH(t,u) is an upper semicontinuous mapping with nonempty compact convex values. We claim that α(H([0, 1]×Q))< α(Q) wheneverα(Q)=0,QKr. In fact,

H[0, 1]×Q=KA

t[0,1]

g(Q)tN f

KA

g(Q) +

t[0,1]

{−tN f}

, α

g(Q) +

t[0,1]

{−tN f}

αg(Q)+α

t[0,1]

{−Nt f}

=αg(Q)βα(Q).

(2.13) Thusα(H([0, 1]×Q))(β/γ)α(Q)< α(Q) by (2.4) andβ/γ <1. We claim that there ex- ists large enoughRsuch thatuH(t,u) for allt[0, 1],u∂(KR). Otherwise, there exist two sequences{tn},{un},tn[0, 1],un∂(KR),un+, such thatunH(tn, un)=KA(g(un)tnN f), hence there existswng(un) such thatun=KA(wntnN f), that is, we have

Aun,vun

wntnN f,vun

, vK. (2.14)

Takingv=un+x0in (2.14), we obtain from (2.1) that Mx0

Aun,x0

un

wn,x0

un inf

wng(un)

wn,x0

un , (2.15)

which contradicts condition (b). Therefore,

iKKAg,KR=iKH(·, 0),KR=iKH(1,·),KR (2.16) byProposition 1.1(iv). IfiK(H(1,·),KR)=0, then the mapping H(1,·) :K2K has a fixed point uin KR byProposition 1.1(i), that is, uH(1,u)=KA(g(u)N f). Thus there existswg(u) such thatu=KA(wN f), that is,

(Au,vu)(wN f,vu), vK. (2.17)

(5)

Takingv=u+x0in (2.17), we get that Au,x0

w,x0

≥ −Nf,x0

. (2.18)

That contradicts (2.11) ifu> q, henceuq, then we can get from (2.1) and (2.18) that

Nf,x0

Au,x0+w,x0Mqx0+Lx0, (2.19) but it contradicts (2.12). Therefore,iK(H(1,·),KR)=0.

It follows from (2.10), (2.16), and Proposition 1.1(iii) that iK(KAg,KR\Kr)= −1.

Therefore, there exists a fixed point uKR\Kr which is a nonzero solution of (1.1).

Theorem 2.2. Let K be a subspace of a reflexive real Banach spaceX. Suppose that A: XXis a coercive and linear continuous mapping which satisfies inequalities (2.1) and g:K2Xisβ-set-contractive and upper semicontinuous mapping with nonempty compact convex values, whereβ/γ <1. Assume

(a) lim infun+supwng(un)(wn,un)/un2< γ(unK);

(b)there existx0K and an open neighbourhoodV(0)of zero point such that for any givenuKV(0)\ {0},infwg(u)(w,x0)/u> Mx0.

Then (1.1) has a nonzero solution.

The proof ofTheorem 2.2is similar to that ofTheorem 2.1. We omit it here.

3. Nonzero solutions when the mappingAis monotone

LetA:XXbe a monotone linear mapping with (Au,u)/u+(asu+, uK). It is well known that for any givenwX, the variational inequality (2.2) has solutions inK(see [2]), thus we may define two mappings as follows:

KA:X−→2K, KA(w)=

uK:uis a solution of the variational inequality (2.2) , (3.1) KAg:K−→2K, KAg(u)=KA

g(u), uK. (3.2) Proposition3.1. LetX=Rnand letKXbe a nonempty closed convex set. Suppose that A:XXis a monotone hemicontinuous mapping. If for everywX, the variational inequality (2.2) has solutions inK, then the mappingKAin (3.1) is a monotone and upper semicontinuous mapping with nonempty compact convex values.

Proof. Letu1KA(w1),u2KA(w2). Then Aui,vui

wi,vui

, vK,i=1, 2. (3.3)

It is easily obtained from above inequalities that (Au1Au2,u1u2)(w1w2,u1u2).

ThusKAis monotone due to the monotony ofA. Furthermore,KAis locally bounded by [3]. We claim thatKAis upper semicontinuous. Otherwise, there exists a pointwX

(6)

and an open setV0containingKA(w) such that for sequence{wn}converging tow, there existunKA(wn) such thatunV0. Since{un}is bounded by the locally boundedness of KA, there exists a subsequence{unk}such thatunku0. Obviously,u0K,u0V0. We know that monotone hemicontinuous mappingAis continuous by [3]. Lettingk+ in the inequality

Aunk,vunk

wnk,vunk

, vK, (3.4)

yields that

Au0,vu0

w,vu0

, vK, (3.5)

which implies thatu0KA(w)V0. That is a contradiction. In addition, the compact

convexity ofKA(w) is obvious.

Proposition3.2. Let K be a subspace of a reflexive real Banach spaceX. Suppose that A:XXis a monotone linear mapping with(Au,u)/u+(asu+,uK) andg:K2X is a mapping with nonempty convex values, thenKAg:K2K(3.2) is also a mapping with nonempty convex values.

Proof. LetqKandu1,u2KAg(q). Then there existw1,w2g(q) such thatuiKA(wi), i=1, 2. That is, we have

Au1,vu1

w1,vu1

, vK, (3.6)

Au2,vu2

w2,vu2

, vK. (3.7)

Substitutingv+u11u1+λ2u2) (resp.,v+u21u1+λ2u2)) forvin (3.6) (resp., in (3.7)), whereλ1,λ20,λ1+λ2=1, we get that

λ1Au1+λ2Au2,v 2 i=1

λiui

λ1w1+λ2w2,v 2 i=1

λiui

, vK. (3.8)

In addition,2i=1λiwig(q). Therefore,2i=1λiuiKAg(q) which implies thatKAg is a

mapping with nonempty convex values.

We first consider the nonzero solutions of (1.1) inRn.

Theorem3.3. Let K be a subspace of X=Rn. Suppose thatA:XXis a monotone linear mapping with(Au,u)/u+(asu+,uK) andg:K2Xis an upper semicontinuous mapping with nonempty compact convex values. The following conditions either (a), (b) or (a), (b) are assumed to be satisfied:

(a)there exist y0Kand an open neighbourhoodV(0)of zero point such that for any givenuKV(0)\ {0},infwg(u)(Auw,y0)>0;

(b)there existx0K and a constantq >0 such thatsupwg(u)(Auw,x0)<0when u> q,uK;

(a)there exist y0Kand an open neighbourhoodV(0)of zero point such that for any givenuKV(0)\ {0},supwg(u)(Auw,y0)<0;

(7)

(b)there existx0K and a constantq >0 such thatinfwg(u)(Auw,x0)>0 when u> q,uK.

Then (1.1) has a nonzero solution.

Proof. It is well known that monotone linear mapping must be semicontinuous (see [2]), hence KA:X2K (3.1) is an upper semicontinuous mapping with nonempty compact convex values byProposition 3.1. It is easy to see from [2] thatKAg:K2K, (KAg)(u)=KA(g(u)),uK, is an upper semicontinuous mapping with nonempty com- pact values, thereforeKAgis an upper semicontinuous mapping with nonempty compact convex values byProposition 3.2.

Let Kr= {xK,x< r}. Similar to the proof of Theorem 2.1, we may get that iK(KAg,KR\Kr)= −1. Therefore, there exists a fixed pointuKR\Krwhich is a non-

zero solution of (1.1).

Now, we discuss the nonzero solution of (1.1) in reflexive real Banach space.

Theorem 3.4. Let K be a subspace of a reflexive real Banach spaceX. Suppose that A: XXis a monotone linear mapping with(Au,u)/u+(asu+,uK) and g:K2X is an upper semicontinuous from the weak topology onXto the strong topology onX, with nonempty compact convex values. The following conditions either (a), (b), (c) or (a), (b), (c) are assumed to be satisfied:

(a)there exist y0Kand an open neighbourhoodV(0)of zero point such that for any givenuKV(0)\ {0},infwg(u)(Auw,y0)>0;

(b)there existx0K and a constantq >0 such thatsupwg(u)(Auw,x0)<0when u> q,uK;

(c)there existsz0Ksuch thatlim infuα−→w0supwg(uα)(Auαw,z0)<0, whereuαK;

(a)there exist y0Kand an open neighbourhoodV(0)of zero point such that for any givenuKV(0)\ {0},supwg(u)(Auw,y0)<0;

(b)there existx0K and a constantq >0 such thatinfwg(u)(Auw,x0)>0 when u> q,uK.

Then (1.1) has a nonzero solution.

Proof. Let FX be a finite-dimensional subspace containing x0, y0, and z0. We will show that all conditions inTheorem 3.3 are satisfied on spaceF. DenoteKF=KF.

Let jF:FXbe an injective mapping andjF:XFits dual mapping. DenoteAF= jF(A|KF) :KFF,gF=jF(g|KF) :KFF. We know thatAF=jFAjF,gF=jFg jF. ThenAF,gFare linear and upper semicontinuous with nonempty compact convex values, respectively. Forx1,x2,uKF, we have

AF x1

AF x2

,x1x2

= jFAx1

jFAx2

,x1x2

=Ax1

Ax2

,jFx1x2

= Ax1

Ax2

,x1x2

0, AF(u),u

u =

jFA(u),u

u =(Au,u) u .

(3.9)

(8)

These mean thatAFis monotone with (AF(u),u)/u+(asu+,uKF). On the other hand,

winfgF(u)

AF(u)w,y0

= inf

wjg(u)

jFA(u)w,y0

= inf

wg(u)

jFA(u)jFw,y0

= inf

wg(u)

A(u)w,y0

, sup

wgF(u)

AF(u)w,x0

= sup

wg(u)

A(u)w,x0

.

(3.10)

Therefore, there existsuF,uF=0, andwFgF(uF) from conditions (a) and (b) or (a) and (b) andTheorem 3.3such that

AF uF

,vuF

wF,vuF

, vKF. (3.11)

SincewFgF(uF)=j(g(uF)), there existswFg(uF) such thatwF=jF(wF). Hence, AuF

,vuF

wF,vuF

, vKF, (3.12)

by (3.11). Suppose that conditions (a) and (b) are satisfied, takingv=uF+x0 (or else v=uFx0), we get that (A(uF)wF,x0)0. Thus supwg(uF)(A(uF)w,x0)0, this conduces to a contradiction by condition (b) ifuF+. Hence, there exists a con- stantM >0 such thatuFMfor all finite-dimensional subspaceFcontainingx0,y0, andz0. SinceX is reflexive andK is weakly closed, there existsuKsuch that for ev- ery finite-dimensional subspaceFcontainingx0,y0, andz0,uis in the weak closure of the setVF=

FF1{uF1}, whereF1is a finite-dimensional subspace inX. In fact, because VF is bounded, we know that (VF)w (the weak closure of the set VF) is weakly com- pact. On the other hand, letF1,F2,...,Fmbe finite-dimensional subspace containingx0, y0, andz0. SetF(m):=span{F1,F2,...,Fm}. ThenF(m), which containsx0,y0, andz0, is a finite-dimensional subspace. Hence,mi=1VFi=m

i=1(FiF1{uF1})=

F(m)F1{uF1} = ∅ and thenF(VF)w= ∅. Now letvKand letFbe a finite-dimensional subspace which containsx0,y0,z0andv. Sinceubelongs to the weak closure of the setVF=

FF1{uF1}, we may find a sequence{uFα}inVFsuch thatuFα

−→w u. There exists a sequence{wFα}, wFαg(uFα), from (3.12) such that (A(uFα),vuFα)(wFα,vuFα). Becauseg:K2X is an upper semicontinuous from the weak topology onXto the strong topology onX, there existwg(u) and a subsequence{wFβ} ⊂ {wFα}by [2,5] such that the sequence {wFβ}s w (strongly converges tow). However,uFβ andwFβ satisfy the following in- equality:

AuFβ

,vuFβ

wFβ,vuFβ

. (3.13)

The monotony ofAimplies that

A(v),vuFβ

wFβ,vuFβ

. (3.14)

(9)

LettinguFβ

−→w uand{wFβ}s wyields that Av,vu

w,vu, vK. (3.15)

Thus

Au,vu

w,vu, vK, (3.16) by the Minity theorem [2,4]. We claim thatu=0. OtherwiseuFβ

−→w 0. Takingv=z0+uFβ

in (3.13) yields that (A(uFβ),z0)(wFβ,z0). Thus

wsupg(u)

AuFβ

wFβ,z0

0, (3.17)

which contradicts condition (c). Therefore,uis a nonzero solution of (1.1).

Acknowledgments

This project was supported by The Natural Science Foundation of Zhejiang Province Grant no. Y104149. The authors would like to thank the anonymous referees for the help- ful suggestions.

References

[1] F. E. Browder,Nonlinear monotone operators and convex sets in Banach spaces, Bull. Amer. Math.

Soc.71(1965), 780–785.

[2] S. S. Chang,Variational Inequality and Complementarity Problem Theory with Applications, Shanghai Scientific Technology and Literature Press, Shanghai, 1991.

[3] P. M. Fitzpatrick and W. V. Petryshyn,Fixed point theorems and the fixed point index for multi- valued mappings in cones, J. London Math. Soc. (2)12(1975/76), no. 1, 75–85.

[4] D. Kinderlehrer and G. Stampacchia,An Introduction to Variational Inequalities and Their Ap- plications, Pure and Applied Mathematics, vol. 88, Academic Press, New York, 1980.

[5] C. H. Su and V. M. Sehgal,Some fixed point theorems for condensing multifunctions in locally convex spaces, Proc. Amer. Math. Soc.50(1975), 150–154.

Yisheng Lai: College of Statistics and Computer Science, Zhejiang Gongshang University, Hangzhou 310035, China

E-mail address:[email protected]

Yuanguo Zhu: Department of Applied Mathematics, Nanjing University of Science and Technol- ogy, Nanjing 210094, China

E-mail address:[email protected]

Yinbing Deng: Department of Mathematics, Central China Normal University, Wuhan 430079, China

E-mail address:[email protected]

参照

関連したドキュメント

[8] —, Fixed point theorems for widely more generalized hybred mappings in a metric space, a Banach space and a Hilbert space, Proceedings of Nonlinear Analysis and

We prove the existence of the solution of the auxiliary problem for the generalized general mixed quasi variational inequalities, suggest a predictor-corrector method for solving

In this paper, we introduce the new concept of multivalued fuzzy contraction mappings in b-metric spaces and establish the existence of α-fuzzy fixed point theorems in b-metric

In the case of the p-Laplacian, the existence and regularity of solutions of N × N systems of variational inequalities has been established for diagonal systems with natural growth

By using the strong monotonicity of the perturbed fixed-point map and the normal map associated with cocoercive variational inequalities, we establish two new global bounds

Motivated by the research works going on this field, in this paper, the methods for finding the common solutions of a system of general variational inequalities involving

As in the case of variational inequalities on convex sets, we still have existence of solutions and extremal solutions provided only subsolutions (or supersolutions) exist together

We introduce an iterative method for finding a common element of the set of common fixed points of a countable family of nonexpansive mappings, the set of solutions of a