TAMKANG JOURNAL OF Volume 24, Number 1, Spring 1993

ON VARIATIONAL INEQUALITIES IN SEMI-INNER PRODUCT SPACES

MUHAMMAD ASLAM NOOR

Abstract. In this paper, we consider and study the variational inequal• ities in the setting of semi-inner product spaces. Using the auxiliary principle, we propose and analyze an innovative and novel iterative al• gorithm for finding the approximate solution of variational inequalities. We also discuss the convergence criteria.

1. Introduction

Variational theory has been used to study a wide class of free, moving and equilibrium problems arising in various branches of pure and applied science in a general and unified framework. This theory has been extended and generalized in several directions using new and powerful methods that have led to the solution of basic and fundamental problems thought to be inaccessible previously. Much work in this field has been done either in inner product spaces or in Hilbert spaces and it is generally thought that this is desirable, if not essential, for the results to hold. We, in this paper, consider and study the variational inequalities in the setting of semi-inner product spaces, which are more general than the . It is observed that the projection technique can not be applied to show that the problem is

Received January 6, 1991; revised March 20, 1992. (1980) AMS(MOS) Subject Classifications: 49J40, 65K05. Keywords and phrases: Variational inequalities, Auxiliary principle, Iterative algorithms, Semi-inner product spaces.

91 92 MUHAMMAD ASLAM NOOR

equivalent to a fixed point problem in semi-inner product spaces. This motivates us to use the auxiliary principle technique to suggest and analyze an iterative algorithm to compute the approximate solution of variational inequalities. In Section 2, we review some basic results and formulate the problems. Main results are discussed in Section 3.

2. Basic Results and Formulations

A real H is said to be a semi-inner product space, if there is

a function < ·, · >: H x H --+ R with the following properties for all x, y, z E H and µ,A ER;

(i) < x,x > > 0, for X f= 0. (ii) < AX+ µy, z >=A< x, z > +µ < Y, z > 2 (iii) I < X' y > 1 < < X' X > < y' y >. It was Lumer [5), who originally introduced and studied the semi-inner prod• uct spaces. We also note that a semi-inner product space is a serrii-normed linear space with norm llxll2 =< x, x >. It has been shown (5] that a normed linear space can be made a semi-inner product space in a unique way if and only if it is smooth. In general, every normed linear space can be made a semi-inner product space in infinitely many different ways. Giles (2) has proved that if JI is uniformly convex smooth , then the semi-inner product has the following properties. (a) =A,forallx,yEH,AER (b) < x, y >= 0 if and only if y is orthogonal to x. For further properties and applications, see (2,5).

Let J( be a closed convex in a semi-inner product space II. Given a continuous mapping T from J( into II, we consider the problem of finding u E J( such that < Tu,v - u > +b(u,v) - b(u,u) ~ 0, (2.1) where the form b(-, ·) H x H --+ R is a nondifferentiable and satisfies the following properties: ON VARIATIONAL INEQUALITIES IN SEMI-INNER PRODUCT SPACES 93

(i) b( u, v) is linear in the first argument. (ii) b( u, v) is a bounded form on H x II, that is, there exists a constant , > 0 such that lb( u, v )I < ,llull llvll, for all u, v E H. (2.2)

(iii) b( U, V) - b( u, W) :s; b( U, V - W) (iv) b( u, v) is convex in the second argument. We remark that the problem (2.1) appears to be new one in the setting of the semi-inner product space. In a Hilbert space, the problem (2.1) has been studied by many authors including Kikuchi and Oden [4J and Noor [6J using quite different techniques. We also note that if T is a linear symmetric positive operator and b( u, v) satisfies the properties (i)-(iv), then one can easily show that the problem (2.1) is equivalent to finding the minimum of the I[v] on I( in H, where

I[v] = 1/2 < Tv,v > +b(v,v).

We also need the following concepts.

Definition 2.1. An operator T : H ---t II is said to: (a) Strongly monotone, if there exists a constant a > 0 such that

2 < Tu - Tv, u - v >2: ollu - vll , for all u, v E II.

(b) Lipschitz continuous, if there exists a constant f3 > 0 such that

IITu - Tvll :s; /3llu - vii, for all u, v E H.

In particular, it follows that a < [3.

3. Main Results

We note that the projection technique cannot be used to study the existence of a solution of problem (2.1) in the semi-inner product space. We, here, use the 94 MUHAMMAD ASLAM NOOR

auxiliary principle technique of Noor [6] and Glowinski, Lions and Tremolieres [3] to prove the existence of a solution of the variational inequality (2.1) and suggest an innovative algorithm to compute the approximate solution of the variational inequalities.

Theorem 3.1. Let T be a strongly monotone Lipschitz continuous operator. If the form b( u, v) satisfies the conditions (i )-(iii) and is positive, then there exists a unique solution u E J( satisfying (2.1).

Proof.

(a) Uniqueness: Let u1 -/; u2 E J( be two solutions of (2.1), then for all v EK, we have

< Tu1, v - u1 > > b( u1, ui) - b( u1, v) (3.1) < Tuz,v- Uz > > b(u2,u2)- b(uz,v). (3.2)

Now taking v = Uz in (3.1) and v = u1 in (3.2), adding the resultant inequalities and using the positivity of the form b( u, v ), we obtain

< Tu1 - Tu2, u1 - u2 > > b( u2 - u1, u1 - u2) < 0.

Since Tis a strongly monotone, so there exists a constant o > 0 such that

from which it follows that u1 = u2, the uniqueness of the solution of (2.1 ).

(b) Existence: We now use the auxiliary principle technique to prove the ex• istence of the solution of (2.1). For a given u E J(, we consider the auxiliary problem of finding a unique w E J(, see [3, Page 15-16] such that

< w,v - w > +pb(u,v)- pb(u,w) > < u,v - w > -p < Tu,v - w >, (3.3) for all v E J( and p > 0 is a constant. ON VARIATIONAL INEQUALITIES IN SEMI-INNER PRODUCT SPACES 95

Let w1, w2 be two solutions of (3.3) related to u1, u2 E l( respectively. It is enough to show that the mapping u --+ w has a fixed point belonging to J( satisfying (3.3). In other words, it is enough to show that

with O < () < l, where p > 0 is a constant. Taking v = W2 (respectively w1) in (3.3) related to u1 (respectively u2) and adding the inequalities, we have

from which, using (2.2), it follows that

where , is the boundedness constant of the form b( u, v). Since Tis a strong monotone Lipschitz continuous operator, so

2 2 2 2 llu1 - u2 - p(Tu1 - Tu2 )11 +P IITu1 - Tu2 ll 2 2 2 <(1 - 2op + p ,6 )llu1 - u2 ll • (3.5)

From (3.4) and (3.5), we obtain

llw1 - w2II :::; Bjlu1 - u21!,

2 2 2(o -,) where()= ( Vl - 2op + ,6 p +,p) < 1 for O < p < ,6 , , < o and p, < 1, 2 -, 2 showing that the mapping u --+ w defined by (3.3) has a, fixed point, which is the solution of (2.1 ), the required result.

Remark 3.1. It is clear that for each u E J( and p > 0, w E !( satisfying (3.3) is equivalent to finding the minimum of the functional F[v], where

F[v] = 1/2++pb(u,v),

which is a convex functional associated with the variational inequality (3.3). Following the ideas of Cohen (1) and Noor (6], we propose and analyze a general algorithm. 96 MUHAMMAD ASLAM NOOR

For some u E J(, we introduce the following general auxiliary problem of finding the minimum of the functional ·J[w] on I( in II, where

J[w] = E(w)+ < pT(u) - E'(u), w > +pb(u,w). (3.6)

Here E( w) is a convex differentiable functional and p > 0 is a constant. If the bilinear form b(u,v) is positive and satisfies the conditions (i)-(iv), one can easily show that the minimum of J[w] on I( can be characterized by an auxiliary variational inequality

< E'(w),v - w > +pb(u,v)- pb(u,w) > < E'(u),v - w > -p < Tu,v - w >, (3.7) for all v E I(. It is obvious that the auxiliary variational inequality (3.3) is a special case of (3. 7). We also note that if w = u, then w is a solution of the variational inequal• ity (2.1 ). It is well known that in many applications the auxiliary variational inequalities (3.3) and (3.7) occur, which do not arise as a result of minimization problems. This motivates the interest of studying problems (3.3) and (3. 7) on its own, that is, without assuming a priori that these come out as an Euler inequal• ity of an extremum problem. The main motivation of this paper is to suggest a general auxiliary variational inequality problem, which includes (3.3) and (3. 7) as special cases.

Auxiliary Problem 3.1. For some u E J(, we consider the general auxil• iary variational inequality problem of finding w E J( such that

< A(w),v-w > +pb(u,v)-pb(u,w) > < A(u),v-w > -p < Tu,v-w >, (3.8) for all v E J(, wher p > 0 is a constant and A is a nonlinear operator on H. It is obvious that if w = u, then w is a solution of the variational inequality (2.1). Based on these observations, we now suggest and analyze the following algorithm for variational inequalities in the semi-inner product spaces H. ON VARIATIONAL INEQUALITIES IN SEMI-INNER PRODUCT SPACES 97

Algorithm 3.1. (a) At n = 0, start with some initial wo.

(b) At step n, solve the auxiliary problem (3.8) with u = Wn. Let Wn+1 denote the solution of the problem (3.8). (c) If llwn+l - wnll <€,for given c > 0, stop. Otherwise repeat (b).

We now study those conditions under which the approximate solution Wn obtained from Algorithm 3.1 converges to the exact solution w of (2.1).

Theorm 3.2. Let Wn and w be the solution of (3.8) related to Un, u E /( respectively. If the operators T and A are both strongly and Lipschitz continuous respectively and the form b( u, v) satisfies the conditions (i )-(iii), then

for

IP - :2 ~~~ I < {(a - µ-y)2 - ([32 - ·,2)(1 - µ2)}1/2 /([32 - ·,2), P"Y < µ,

a > µ"'( + /((32 _ '12)(1 _ µ2).

Proof. Since Wn and w are the two solutions of (3.8) related to Un, u E J( respectively. In order to prove the convergence of the approximate solution Wn to the exact solution w of (3.8), it is sufficient to show that for p > 0 well chosen, llwn - wll < Bllun - ull- Now taking v = w (respectively wn) in (3.8) related to

Un (respectively u), adding the resultant inequalities and using (iii), we obtain

< A(wn) - A(w), Wn - w > < < A(un) - A(u),wn - w > +pb(un - u,wn - w) - p < Tun - Tu, Wn - W > < A(un) - A(u) - (un - u),wn - w > +pb(un - u,wn - w)

+ < Un - u - p(Tun - Tu), Wn - W > .

Now using the strongly monotonicity and Lipschitz continuity of the operators 98 MUHAMMAD ASLAM NOOR

T and A, and using (2.2), we have

nllwn - wll2 :::; llun - u - (A(un) - A(u))ll llwn - wll + P,llun - ull llwn - wll + llun - u - p(Tun - Tu)II llwn - wll

2 2 $ { ( Vl - 2TJ + e) + p, + Vl - 2op + p ,6 } llun - ull llwn - wll, where E,, is the Lipschitz constant and T/ is the strongly monotonicity constant of A respectively. Hence,

k + p, + t(p) } llwn - wll < { n llun - ull = Bllun - ull, where O = k + P, + t(p), k = jI - 277 + E,,2 and t(p) = v~i---2-op-+ ,62 p2• n We have to show that () < 1. It is clear that t(p) assumes its minimum o . ~ k + P1 + t(p) . value for p = ,62 with t(p) = y 1 - Jii· For p = p, < 1 with µ = n - k > 0 implies that p, < µ. Thus it follows that O < 1 for all p with IP_ ~" -- µ,~ I < { (o _ µ,)2 _ (/32 _ ,2)(l _ µ2)} 1/2 /( ,32 _ ,2),

2 P1 < JL and o > µ1 + /(,6 -12)(1- µ)2.

Since () < l, so the approximate solution Wn converges to w, the exact solution of (3.8) strongly in H, the required result.

Acknowledgement

The author would like to thank the referee for his useful suggestions and comments.

References

[1] G. Cohen, "Auxiliary problem principle extended to variational inequalities", J. Optim. Theor. Appl. 59 (1988 ), 325-33. [2] R. Giles, "Classes of semi-inner product spaces", Trans. Amer, Math. Soc. 129 (1967), 436-466. ON VARIATIONAL INEQUALITIES IN SEMI-INNER PRODUCT SPACES 99

(3] R. Glowinski, J. L. Lions and R. Tremolieres, "Numerical Analysis ofVa.riational Inequal• ities", North-Holland, , 1981. [4) N. Kikuchi and J. T. Oden, "Contact problems in ", Soc. Ind. Appl. Math. (SIAM), Philadelphia, U. S. A., 1988. [5] G. Lumer, "Semi-inner product spaces", Trans. Amer. Math. Soc. 100 (1961), 29-43. [6] M.A. Noor, "General nonlinear variational inequalities", J. Math. Anal. Appl. 126 (1987), 78-84.

Mathematics Department, College of Science, King Saud University, P. 0. Box 2455, Riyadh 11451, Saudi Arabia.