783 Internat. J. Math. & Math. Sci. VOL. 16 NO. 4 (1993) 783-790 ON THE NONLINEAR IMPLICIT COMPLEMENTARITY PROBLEM A.H. SlOOIQI and Q.H. ANSARI D.PRTMENT OF MATMTICS ALIGARH MUSLIM UNIVERSITY ALIGARH-202002 INDIA (Received March 19, 1992 and in revised form July I0, 1992) ABSTRACT. In this paper, we consider a new class of implicit complementarity problem and study the existence of its solution. An iterative algorithm is also given to find the approximate solution of the new problem and prove that this approximate solution converges to the exact solution. Several special cases are also discussed. KEORDS AND PHRASES. Complementarity problem, Fixed point. (1980), SUBJECT CLASSIFICATION CODES. i. 49A29, 90C33, 65K10, 47H10., 49AI0. INTRODUCTION. Due to the applications in areas such as, Optimization Theory, Engineering, Structural Mechanics, Elasticity, Lubrication Theory, Economics, Variational Calculus, Equilibrium Theory on Networks, Stochastic Optimal Control etc., the complementarity problem is one of the interesting and important problems which was introduced by G.E. Lemke in 1964, but Cottle [1] and Cottle and Dantzig [2] formally defined the linear complementarity problem and called it the fundamental problem. In recent years, it has been generalized and extended to many different directions. The impli- cit complementarity problem which is one of the generalizations of complementarity problem, was imposed by some special problems in Stochastic Optimal Control and it was oonsidered by Bensoussan, oursat and Lions [3], Bensoussan and Lions [4, 5, 6], Dolcetta and Mosco [7], Isac [8, 9, 10] and Mosco [11]. In 187, M.A. Noor [12] considered and studied an important and useful generalization of complementarity problem which is called mildly nonlinear complementarity problem. The recent research carried out in this field motivated us to introduce and study a new class of complementarity problem which includes implicit complementarity problem and mildly nonlinear cmplementarity problem as special cases. By using An algorithm is also given the technique of Isac [9] we prove an existence theorem. to find the approximate solution of the new complementarity problem and prove that this approximate solution converges to the exact solution. 2, PORELATION AND BASIC RESULTS. Let H be a Hilbert space with norm and inner product denoted by respectively and K be a closed convex Cone of H. II" II and <.,.>, If T and A are nonlinear operators from H into itself then the mildly nonlinear complementarity problem (M.N.C.P.) which is introduced and studied by Noor [12], is to find u E K such that T(X) + A(x) E K* and <x, T(x) + A() 0, (2.1) A.H. SIDDIQI AND Q.H. ANSARI 784 where we denote K* the polar cone of K, that is, E K/<x,y> > 0 for all y E K}. x K* If D C H is a subset of problem (I.C.P.) is to find H and x e D G:D then the impl ic it complementarity H such that G(x) e K, T(x) e K* and (2.2) T(x) > <G(x) 0 Now we consider a more genera] form of complementarity problem for which (M.N.C.P) and (I.C.P.) are special cases. Find (S .N .I .C .P .) x e D such that G(x) K, T(x)+A(x) e K* (x) T(x)+A(x)> and (2.3) 0 strongly nonlinear implicit complementarity problem We shall call it We recall that if H, P (x) K x P denotes the project,;on of H onto K K is the unique element satisfying-. !1- (x) ll min (S.N.I.C.P.). that is for every I1-,!!, (2.4) yeK then we have the following result. PROPOSITION 2.1 [13]. For every element x e H, PK(X) is characterised by the following properties (i) < PK(X)-X,y> >_ (ii) < 0, for all 9M(x)-x, PK(X)> 0. DEFINITION 2.1 [9] ,: R++ R+ (a) F is a y e K, Given a subset D H, we consider the mappings F,G:D H; and we say that. -Lischitz mapping with respect to G if for all x,y e D, (b) F is a -strongly monotene mapping with respect to G if for all x,y e D. If in Definition 2.1, G(x) x, for all x D then we say that F is a -Lips- chitz mapping (respectively, F is a -strongly monotone mapping). Obviously, if and are strictly positive constants, we obtain from Definition 2.1 (a) (respectively (b)) that F is a Lipschitz continuous (respectively, strongly monotone) mapping. DEFINITION 2.2 [14] A metric space (X,O) is said to be metrically convex, if for each x,y E X, (x # y) there is a z # x,y for which 0(x,y) 0(x,z) + O(z,y)We denote, P {0(x,y)/x,y e X}. TEOREM 2.1 [14] the mapping F:X X Let (X,O) be a complete metrically convex metric space. there is a mapping :p R + satisfying, If for NONLINEAR IMPLICIT COMPLEMENTARITY PROBLEM ’i. 0(F(x), F(y)) _<. (0(X,y)), 2. (t) < t, for all x,y e. X, Pk{o}, t e for all 785 Tn(x)+ then F has a unique fixed point xo and 3. EXISTENCE THEORY x for each x e X. o THEOREM 3.1. Assume that (i) T (ii) T is -Lipschitz mapping with respect to G; is -strongly monotone mapping with respect to is -Lipschitz mapping with respect to (iii) A (iv) K C G(D); (v) there exists a real number v2(t) > G G; such that, 0 1 2(t) for all t e R + Then the strongly nonlinear implicit complementarity problem has a solution. Moreover, if G is one-to-one, then the problem (S.N.I.C.P.) has a unique solution. PROOF. We consider the mappings q:K and p H (which are not unique) defined by p(u) T(x) and where x e G -l(u) and q(u) A(x) {x e D/G(x) u} u e K. From this definition, we observe that p and q have the following properties: for all u,v e K v, < u-p., _> u-.> !lu-v l,llu-v I, for all u,v e K for all u,v e K, :R+/ R+. Now, we conclude that the S.N.I.C.P. is equivalent to the M.N.C.P. Find u e K such that (M.N.C.P.) (3.1) p (u) +q (u) e/* and <u,p(u)+q(u)> 0 By Proposition 2.1, it is easy to prove that the S.N.C.P. has a solution if and only if the mapping F:K K defined by PK(U-(p(u)+q(u)), F(u) for all u e K, has a fixed point (where is the real number used in assumption We, now will show that T has a fixed point. < lu-(p(u) +q(u) )-v+ (p(v) +q(v)) < lu-v- (p (u)-p (v))I + II A.H. SIDDIQI AND Q.H. ANSARI 786 Since P By (vi) K is nonexpansive [15]. (vii) and (viii) lu--cpcu)-pCv)) we obtain lu-vl 1+’’ cl lu-vl ! _< lu-".,I --:’ and lqCu-qCv I! lu-’,,l I’cl lu-",,I !. _< Therefore, If we denote (t) for all t e t [{I-2(t)+2 2(t) }1/2+(t)], R+, we observe, by assumption (v) and the fact that a Hi lbert space is a complete metri- cally convex metric space, that all assumptions of Theorem 2.1 are satisfied. Hence F has a unique fixed point u Fn(u) and u for every u (=R+) K. o o Obviously, if G is one-to-one mapping then S.N.I.C.P. has a unique solution. COROLLARY 3.1. Assume that (i) T is -Lipschitz and -strongly monotone; (ii) A is -Lipschitz mapping; > 0 such that (iii) there exists a real number 2(t) 2(t___) + 2(t) <12(tk Then the M.N.C.P. (2.1) has a unique solution. COROLLARY 3.2. Assume that (i) T is Y-strongly monotone mapping with respect to G; (ii) G is an expansive mapping, that is, I > there exists 1 such that for all x,y e D (iii) -= !- _< Ix-’s,l lcl for all x,y e D Ix:-’ll +/- IGCxCI! . l-yll! for all x,y e D (v) there exists a )2 (t) 2 (t)- for all t e real number > 0 such that, + 2)_() < 2(t) < 1 R+. Then the S.N.I.C.P. has a unique solution. 3.1. If A 0 then Theorem 3.1, Corollary 3.1 and Corollary 3.2 reduce to Theorem 2, Corollary 2 and Corollary 4, respectively, Isac T9]. 4. ALGORITHM In this section we give an iterative algorithm for finding the approximate solu- tion of the S.N.I.C.P. and prove that the approximate solution converges to the exact solution. For this, we need the following result. LEMMA 4.1. If K is a convex cone in H, x e H is a solut’ion of the S.N.I.C.P. if 787 NONLINEAR IMPLICIT COMPLEMENTARITY PROBLEM and only if it satisfies the relation x (4.1) x-G(x)+PK[G(x)-(T(x)+A(x))], F(x) where F(x), > 0 is a constant. and PROOF. If follows directly from Proposition 2.1. In view of this lemma, we suggest the following new unified algorithm for finding the approximate solution of the S.N.I.C.P. ALGORITHM 4.1. For any given x e H, compute o by the iterative scheme x -G(x )+PK[G(Xn)- (T (xn) +A (x ))] n n n Xn+ 1 n Xn+ 1 (4.2) 0,I,2,... > 0 is a constant. where In order to discuss the convergence properties of the Algorithm 4.1, we need the following concepts. DEFINITION 4.1. CoeP4ve (i) H is called: An operator T:K if there exists a constant u > 0 such that x> < for all x e K; Cont4n2ou8 (boz,tded), if there is (ii) a constant 8 > 0 such that for all x,y e K. Let T and G be both Coercive and Continuous with coercivity cons- THEOREM 4.1. . tant ,6 and continuity constants 8,G respectively, and let A be a Lipschitz conti- nuous with constant If Xn+ 1 and x are solutions of (4.2) and (2.3), respectively, Xn+ I converges strongly to x in H, then for 82-.I.12 C PRF. > U(l-k)+ By Le 4.1, 82 --i.I (B-IJ}k(2-k ,8 - see that e solution of terized by (4.1). Hence fr (4.1) d {4.2), [[ Xn+l-X[ [=[ [Xn (xn} +PK[G (xn} "IJ 2>0 and U(l-k) < a e S.N.I.C.P. can charac- ha n} +A (xn) -x (x) -PK[G (x) (T (x (T (x} +A (x) I+ -x-CGCXn>C+ I+1 IGCx.>-C+.> +cmn S iA PK nonesi. (4.3) By using the of Nr [12] and, coerci+ity and continuity of T and G, get A.H. SIDDIQI AND Q.H. ANSARI 788 (4.4) and lXn-X-(T(xn)-T(x))I < /(I-2c+) lXn-Xll (4.5) Therefore, from (4.3), (4.4) and (4.5) and by using the Lipschitz continuity of A, we have l.n+,-xl _< [2/(1-26+(] ’) /(i-2e+82 2) t() - Now we have to show that with t() /(I- . e < I. e Thus, it follow that 8 + /1-2@F+8 ) where k 2/(-26+o 2) where e k+t() + l/ For > (l-k)+ k+t()+<l 82- 2 > H(l-k)+ ln-*ll is a constant and For this, we assume that the minimum value of t() at 6, k+t()+<l implies that k < 1 and /(-p2)k(2-k) with for all 82 82.,,.]j 2 k < i, + ]JE] 1/2 > 0, /(82-)k(2-k) and (l-k) < . Since @ < i, the fixed point problem (4.1) has a unique solution x and consequently the Picard iterates Xn+ 1 converges to x strongly in H. REMARK 4.1. (i) If the nonlinear operator A is independent of x, that is, A(x) 0, then Algorithm 4.1 reduces to Algorithm 3.1 [16]. (ii) If G is the identity operator, that is, G(x) x, then Algorithm 4.1 reduces to Algorithm 2.1 [12]. I. COTTLE, R.W. NOnlinear programs ith positively bounded Jacobians, Math. 14 (1966), 147-157. 2. COTTLE, R/. & DANTZIG, G.B. Complementary piot theory of Mathematical programruing, Linear Alqebra and Appl. 1 (1968), 103-125. BENSOUSSAN, A., COURSET, M. & LIONS, J.L. Contrle impulsionnel et inequation quasi-ariationnelles stationnaries, C.R. Acad..... Sci...ser I Mg. th. Pa.ris 276 (1973), 1279-1284. 3. 4. SIAM J. Appl. BENSOUSSAN, A. & LIONS, J.L. Nouelle fom/latlon des problmes de contrle impulsionnel et applications, C.R. Acad. Sci. Set. I Math. Paris 276 (1973), 1189-1192. 5. BENSOUSSAN, A. & LIONS, J.L. Problmes de temps d’arrt optimal et inequations variationnelles paraboliques, _Applicable Anal: (1973), 267-194. 789 NONLINEAR IMPLICIT COMPLEMENTARITY PROBLEM 6. BENSOUSSAN, A. & LIONS, J.L. Nouvelles 1 (1975), 289-312. Math. Opti mthodes en controle impulsionnel, ADD1. m. 7. DOLCETTA, I.C. & MOSCO, U. Implicit complementarity problems and quasi-variational inequalities, In: R.W. Cottle, F. Giannessi and J.L. Lions eds "Variational Inequalities and Complementarity Problems cations" pp. 75-87, John Wiley and Sons, New York, 1980. 8. 9. i0. 11. 12. 13. ]4. 15. 16. 17. Theor and Appli- ISAC, G. On the implicit complementarity problem in Hilbert spaces, Bull. Austral. Math. Soc., 32 (1985}, 251-260. ISAC, G. Fixed point theory and complementarity problem in Hilbert spaces, Austral. Math. Soc., 36 (1987), 295-310. ISAC, G. Fixed point theory, coincidence equations on convex cones and complementarity problem, ontemporary Mah. 72 (1988), 139-155. MOSCO, 0. On some nonlinear quasivariational inequalities and implicit complementarity problems in stochastic control theory, In: R.W. Cottle, F. Giannessi and J.L. Lions eds: "Variational Inequalities and complementarit[ problems, Theory and Applications" pp. 271-283, John Wiley and Sons, New York, 1980. NOOR, M.A. On the nonlinear complementarity problem, J. Math. Anal. Appl. 123 (1987), 455-460. ZARANTONELLO, E.H. Projections on oonvex sets in Hilbert space and spectral theory, In: E.H. Zarantonello ed.: "Contribution to Nonlinear Functional Analysis" pp. 237-424, Academic Press, New York, 1971. BOYD, D.W. & WONG, J.S.W. On nonlinear contractions, Proc. Amer. Math. Soc., 20 (1969), 458-464. KINDERLEHRAR, D. & STAMPACCHIA, G. "An Introduction to Variational Inequalities and their Applications", Academic Press, New York, 1980. NOOR, M.A. On complementarity problems, Math. Japonica 34 (1989), 83-88. NOOR, M.A. General variational Inequalities, Appl. Math. Lett. 1 (1988). 18. NOOR, M.A. u. Quasi variational inequalities, Appl. Math. Lett. 1 (1988), 367-370.