JAMJournal of Applied Mathematics1687-00421110-757XHindawi Publishing Corporation12537310.1155/2012/125373125373Research ArticleIterative Schemes for a Class of Mixed Trifunction Variational InequalitiesNoorMuhammad Aslam1,2NoorKhalida Inayat1Al-SaidEisa2YaoYonghong1Mathematics DepartmentCOMSATS University of Science and TechnologyPark RoadIslamabadPakistanciit.edu.pk2Mathematics DepartmentCollege of ScienceKing Saud UniversityRiyadh 11451Saudi Arabiaksu.edu.sa20128122011201230092011211020112012Copyright © 2012 Muhammad Aslam Noor et al.This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We use the auxiliary principle technique to suggest and analyze some iterative methods for solving a new class of variational inequalities, which is called the mixed trifunction variational inequality. The mixed trifunction variational inequality includes the trifunction variational inequalities and the classical variational inequalities as special cases. Convergence of these iterative methods is proved under very mild and suitable assumptions. Several special cases are also considered. Results proved in this paper continue to hold for these known and new classes of variational inequalities and its variant forms.

1. Introduction

In recent years, variational inequalities have appeared an interesting and dynamic field of pure and applied sciences. Variational techniques are being used to study a wide class of problem with applications in industry, structural engineering, mathematical finance, economics, optimization, transportation, and optimization problems. This has motivated to introduce and study several classes of variational inequalities. It is well known that the minimum of the differentiable convex functions on the convex set can be characterized by the variational inequalities. This result is due to Stampacchia . However, we remark that if the convex function is directionally differentiable, then its minimum is characterized by a class of variational inequalities, which is called the bifunction variational inequality. For the formulation, applications, numerical results, and other aspects of bifunction variational inequalities, see . Noor et al.  considered a new class of variational inequalities, which is called the trifunction variational inequality. It has been shown that the trifunction variational inequality includes the variational inequality and bifunction variational inequality as special cases.

Inspired and motivated by the ongoing research in this dynamic and fascinating field, we consider and analyze a new class of variational inequalities, called the mixed trifunction variational inequality. This new class of trifunction variational inequalities includes the trifunction(bifunction) variational inequality and the classical variational inequality as special cases.

There are a substantial number of numerical methods for solving the variational inequalities and trifunction equilibrium problems. Due to the nature of the trifunction variational inequality problem, projection methods and its variant form such as Wiener-Hopf equations cannot be used for solving the trifunction variational inequality. This fact motivated us to use the auxiliary principle technique of Glowinski et al.  as developed by Aslam Noor  and, Noor et al. . This technique is quite flexible and general one. We again use this technique to suggest some explicit and proximal-point iterative methods for solving these problems. We also consider the convergence criteria of the proposed methods under suitable mild conditions, which is the main results (Theorems 3.4, 3.5, and 3.13) of this paper. Several special cases of our main results are also considered. Results obtained in this paper may be viewed as an improvement and refinement of the previously known results. The ideas and techniques of this paper stimulate further research in this area of pure and applied sciences.

2. Preliminaries

Let H be a real Hilbert space, whose inner product and norm are denoted by ·,· and ·, respectively. Let K be a closed and convex set in H.

For given trifunction F(·,·,·):H×H×HR and an operator T:HH, we consider the problem of finding uK such thatF(u,Tu,v-u)+Tu,  v-u0,vK, which is called the trifunction variational inequality. We note that if F(·,·,·)F(·,·), then problem (2.1) is studied in S. Takahashi and W. Takahashi , Yao et al. [19, 20], and Noor et al. [12, 14].

We now discuss some important special cases of the problem (2.1).

2.1. Special Cases

(I) If F(u,Tu,v-u)=0, then problem (2.1) is equivalent to finding uK such thatTu,v-u0,vK, which is known as a variational inequality, introduced and studied by Stampacchia . A wide class of problems arising in elasticity fluid flow through porous media, and optimization can be studied in the unified framework of problems (2.1). For the applications, formulation numerical results and other aspects of the variational inequalities and their generalizations, see .

(II) If Tu,v-u=0, then problem (2.1) turns into the problem of finding uK such thatF(u,Tu,v-u)0,vK, which is known as trifunction variational inequalities, considered by Noor et al. .

For suitable and appropriate choice of the operator and spaces, one can obtain several new and known problems as special cases of the trifunction variational inequalities problems (2.1). For the applications, formulations, numerical methods, and other aspects of the variational inequalities, see .

Definition 2.1.

An operator T:HH is said to be

monotone, if and only if, Tu-Tv,u-v0, for all u,vH,

partially relaxed strongly monotone, if there exists a constant α>0 such that

Tu-Tv,z-v-αz-u2,u,v,zH. Note that for z=u, partially relaxed strong monotonicity reduces to monotonicity of the operator T.

Definition 2.2.

A trifunction F(·,·,·):H×H×HR with respect to an operator T is said to be

jointly monotone if and only if F(u,Tu,v-u)+F(v,Tv,u-v)0,u,vH

partially relaxed strongly jointly monotone if and only if there exists a constant α>0 such that

F(u,Tu,v-u)+F(v,Tv,z-v)μz-u2,      u,v,zH. It is clear that for z=u, partially relaxed strongly jointly monotone trifunction is simply jointly monotone.

3. Main Results

In this section, we suggest and analyze an iterative method for solving the trifunction variational-inequality problem (2.1) by using the auxiliary principle technique. This technique is mainly due to Glowinski et al.  as developed by Aslam Noor  and Noor et al. [814, 17, 25, 26].

For a given uK, consider the problem of finding wK such thatρF(u,Tu,v-w)+ρTu,v-w+w-u,v-w0,vK, where ρ>0 is a constant.

If w=u, then wH is a solution of (2.1). This observation enables us to suggest and analyze the following iterative method for solving the mixed trifunction variational inequality (2.1).

Algorithm 3.1.

For a given u0H, compute un+1H from the iterative scheme ρF(un,Tun,v-un+1)+ρTun,v-un+1+un+1-un,v-un+10,vK. We now discuss some special cases of Algorithm 3.1.

(III) If F(u,Tu,v-w)=0, then Algorithm 3.1 reduces to the following scheme for variational inequalities (2.2).

Algorithm 3.2.

For a given u0H, compute un+1H from the iterative scheme ρTun,v-un+1+un+1-un,v-un+10,vK.(IV) If Tu,v-u=0, then Algorithm 3.1 reduces to the following.

Algorithm 3.3.

For a given u0H, compute un+1H from the iterative scheme F(un,Tun,v-un+1)+un+1-un,v-un+10,vK, which is used for finding the solution of trifunction variational inequality (2.3).

For suitable and appropriate choice of F(·,·),  T and spaces, one can define iterative algorithms for solving the different classes of trifunction variational inequalities and related optimization problems.

We now study the convergence analysis of Algorithm 3.1 using the technique of Noor et al. [814, 17, 25, 26], and this is the main motivation of our next result.

Theorem 3.4.

Let uH be a solution of (2.1) and un+1H an approximate solution obtained from Algorithm 3.1. If the trifunction F(·,·,·) and the operator T(·) are partially relaxed strongly monotone operators with constants μ>0 and σ>0, respectively, then u-un+12u-un2-(1-2ρ(μ+σ))un+1-un2.

Proof.

Let uK is a solution of (2.1), then, replacing v by un+1 in (2.1), we have ρF(u,Tu,un+1-u)+ρTu,un+1-u0,ρ>0. Let un+1K be the approximate solution obtained from Algorithm 3.1. Taking v=u in (3.2), we have ρF(un,Tun,u-un+1)+ρTun,u-un+1+un+1-un,u-un+10. Adding (3.6) and (3.7), we have ρ[F(u,Tu,un+1-u)+F(un,Tun,u-un+1)]+ρTu-Tun,un+1-u+un+1-un,u-un+10, which implies that un+1-un,u-un+1-ρ[F(un,Tun,u-un+1)+F(u,Tu,un+1-u)]+ρTun-Tu,un+1-u-ρ(μ+σ)un+1-un2, where we have used the partially relaxed strong monotonicity of the trifunction F(·,·,·) and operator T.

Using the relation 2u,v=u+v2-u2-v2, for all u,vH, and from (3.9), one can have u-un+12u-un2-(1-2ρ(μ+σ))un+1-un2, which is the required result (3.5).

Theorem 3.5.

Let H be a finite dimensional space. If un+1 is the approximate solution obtained from Algorithm 3.1 and uK be a solution of problem (2.1). Then limnun=u.

Proof.

Let uH be a solution of (2.1). For 0<ρ<1/(2(μ+σ)), we see that the sequence {u-un} is nonincreasing and consequently {un} is bounded. Also from (3.5), we have n=0(1-2(μ+σ))un+1-un2u-u02, which implies that limnun+1-un=0. Let û be the cluster point of {un} and the subsequence {unj} of this sequence converges to ûH. Replacing un by unj in (3.2) and taking the limit as nj and using (3.12), we have F(û,Tû,v-û)+Tû,  v-û0,vK, which shows û solves the trifunction variational inequality (2.1) and un+1-û2un-û2. Thus, it follows from the above inequality that the sequence {un} has exactly one cluster point and limnun=û, the required result.

We again use the auxiliary principle technique to suggest and analyze several proximal point algorithms for solving the trifunction variational inequalities (2.1), and this is another motivation of this paper. Here, we show that the one can suggest several form of the auxiliary mixed trifunction variational inequalities type. Each type gives rise to different type of the inertial proximal point method for solving the mixed trifunction variational inequality (2.1). This is the beauty of the auxiliary principle technique. To convey an idea of the technique, we only consider some special cases. The interested readers are invited to explore the novel applications of this technique in other fields of the mathematical and engineering sciences.

(V) For a given uK, consider the problem of finding wK such thatρF(w,Tw,v-w)+ρTw,v-w+w-u-γ(u-u),v-w0,vK, where ρ0 and γ0 are constants.

Note that if w=u, then wK is a solution of (2.1). This observation enables us to suggest and analyze the following iterative method for solving the mixed trifunction variational inequality (2.1).

Algorithm 3.6.

For a given u0H, compute un+1H from the iterative scheme ρF(un+1,Tun+1,v-un+1)+ρTun+1,v-un+1+un+1-un-γ(un-un-1),v-un+10,vK. Algorithm 3.6 is called the inertial proximal point method for solving the mixed trifunction variational inequality (2.1).

Note that if γ  =0, then Algorithm 3.6 reduces to the following inertial proximal point method for solving (2.1).

Algorithm 3.7.

For a given u0H, compute un+1H from the iterative scheme ρF(un+1,Tun+1,v-un+1)+ρTun+1,v-un+1+un+1-un,v-un+10,vK. (VI) For a given uK, consider the problem of finding a wK such that ρF(u,Tu,v-w)+ρTw,v-w+w-u-γ(u-u),v-w0,vK. Note that if w=u, then wK is a solution of (2.1). This observation enables us to suggest and analyze the following proximal iterative method for solving the mixed trifunction variational inequalities (2.1).

Algorithm 3.8.

For a given u0H, compute un+1H from the iterative scheme ρF(un,Tun,v-un+1)+ρTun+1,v-un+1+un+1-unγ(un-un-1),v-un+10,vK.(VII) For a given uK, consider the problem of finding a wK such that ρF(w,Tw,v-w)+ρTu,v-w+w-u-γ(u-u),v-w0,vK. Note that if w=u, then wK is a solution of (2.1). This observation enables us to suggest and analyze the following iterative method for solving the mixed trifunction variational inequality (2.1).

Algorithm 3.9.

For a given u0H, compute un+1H from the iterative scheme ρF(un+1,Tun+1,v-un+1)+ρTun,v-un+1+un+1-un-γ(un-un-1),v-un+1  0,vK. Some special cases of these algorithms are as below.

If F(u,Tu,v-u)=0, then Algorithm 3.6 reduces to the following scheme for variational inequalities given as (2.2).

Algorithm 3.10.

For a given u0H, compute un+1H from the iterative scheme ρTun+1,v-un+1+un+1-un-γ(un-un-1),v-un+10,vK. If Tu,v-u=0, then Algorithm 3.6 reduces to the following.

Algorithm 3.11.

For a given u0H, compute un+1H from the iterative scheme F(un+1,Tun+1,v-un+1)+un+1-un-γ(un-un-1),v-un+10,vK, which is used for solving the trifunction variational inequality (2.3).

We now again use the auxiliary mixed trifunction variational inequality (3.15) to suggest the following the implicit iterative method for solving the mixed trifunction variational inequality (2.1).

Algorithm 3.12.

For a given u0H, compute un+1H from the iterative scheme ρF(un+1,Tun+1,v-un+1)+ρTun+1,v-un+1+un+1-un-γ(un-un-1),v-un+10,vK. We remark that Algorithm 3.12 is quite different from Algorithms 3.63.11. One can easily show that the convergence of Algorithm 3.12 also requires the montonicity of the trifunction F(·,·,·) and the operator T.

For suitable and appropriate choice of F(·,·,·),  T and spaces, one can define iterative algorithms as special cases of Algorithms 3.7 and 3.8 for solving the different classes variational inequalities and related optimization problems.

We would like to mention that one can study the convergence analysis of Algorithm 3.7 using the technique of Theorems 3.4 and 3.5. However, for the sake of completeness and to convey the main ideas, we include the main steps of the proof.

Theorem 3.13.

Let uH be a solution of (2.1) and un+1H an approximate solution obtained from Algorithm 3.7. If trifunction F(·,·,·) and operator T are monotone, then u-un+12u-un2-un+1-un2.

Proof.

Let uK be a solution of (2.1). Then, replacing v by un+1 in (2.1), we have ρF(u,Tu,un+1-u)+ρTu,un+1-u0. Let un+1H be the approximate solution obtained from Algorithm 3.6. Taking v=u in (3.16), we have ρF(un+1,Tun+1,u)+ρTun+1,u-un+1+un+1-un,u-un+10. Adding (3.26) and (3.27), we have ρ[F(u,Tu,un+1-u)+F(un,Tun,u-un+1)]+ρTu-Tun+1,un+1-u+un+1-un,u-un+10, which implies that un+1-un,u-un+1-ρ[F(un,Tun,u-un+1)+F(u,Tu,un+1-u)]+ρTun+1-Tu,un+1-u0,   where we have used the monotonicity of the operator Tand the trifunction F(·,·,·).

Using the relation 2u,v=u+v2-u2-v2, for all u,vH and from (3.29), we haveu-un+12u-un2-un+1-un2, which is the required result (3.25).

Theorem 3.14.

Let H be a finite dimensional space. If un+1 is the approximate solution obtained from Algorithm 3.6 and uK is a solution of problem (2.1), then limnun=u.

Proof.

Its proof is similar to the Proof of Theorem 3.5.

4. Conclusion

In this paper, we have used the auxiliary principle technique to suggest and analyze several explicit and inertial proximal point algorithms for solving the trifunction equvariational inequality problem. We have also discussed the convergence criteria of the proposed new iterative methods under some suitable weaker conditions. In this sense, our results can be viewed as refinement and improvement of the previously known results. Note this technique does not involve the projection and the resolvent technique. We have also shown that this technique can be used to suggest several iterative methods for solving various classes of equilibrium and variational inequalities problems. Results proved in this paper may inspire further research in variational inequalities and related optimization problems.

Acknowledgments

This research is supported by the Visiting Professor Program of King Saud University, Riyadh, Saudi Arabia, and Research Grant no: KSU.VPP.108. The authors are also grateful to Dr. S. M. Junaid Zaidi, Rector, COMSATS Institute of Information Technology, Pakistan, for providing the excellent research facilities.

StampacchiaG.Formes bilinéaires coercitives sur les ensembles convexesComptes Rendus de l'Académie des Sciences1964258441344160166591ZBL0124.06401CrespiG. P.GinchevI.RoccaM.Minty variational inequalities, increase-along-rays property and optimizationJournal of Optimization Theory and Applications2004123347949610.1007/s10957-004-5719-y2102528ZBL1059.49010CrespiG. P.GinchevI.RoccaM.Existence of solutions and star-shapedness in Minty variational inequalitiesJournal of Global Optimization200532448549410.1007/s10898-003-2685-02191182ZBL1097.49007CrespiG. P.GinchevI.RoccaM.Some remarks on the Minty vector variational principleJournal of Mathematical Analysis and Applications200834511651752-s2.0-4394913333010.1016/j.jmaa.2008.03.012ZBL1152.49007FangY.-P.HuR.Parametric well-posedness for variational inequalities defined by bifunctionsComputers & Mathematics with Applications20075381306131610.1016/j.camwa.2006.09.0092327682ZBL1168.49307LalithaC. S.MehtaM.Vector variational inequalities with cone-pseudomonotone bifunctionsOptimization200554332733810.1080/023319305001002542148087ZBL1087.90069NoorM. A.Some new classes of nonconvex functionsNonlinear Functional Analysis and Applications20061111651712239805ZBL1107.26014NoorM. A.NoorK. I.Iterative schemes for trifunction hemivariational inequalitiesOptimization Letters20115227328210.1007/s11590-010-0206-x2782467ZBL1220.90137NoorM. A.NoorK. I.Al-SaidE.Auxiliary principle technique for solving bifunction variational inequalitiesJournal of Optimization Theory and Applications2011149244144510.1007/s10957-010-9785-z2787721ZBL1219.90172NoorM. A.NoorK. I.HuangZ.Bifunction hemivariational inequalitiesJournal of Applied Mathematics and Computing2011351-259560510.1007/s12190-010-0380-02748388ZBL1211.49013GuuS. M.LiJ.Vector variational-like inequalities with generalized bifunctions defined on nonconvex setsNonlinear Analysis, Theory, Methods and Applications2009717-8284728552-s2.0-6734916208610.1016/j.na.2009.01.137ZBL1182.47046NoorM. A.mnoor.c@ksu.edu.saNoorK. I.ZainabS.Al-SaidE.Proximal algorithms for solving mixed bifunction variational inequalitiesInternational Journal of Physical Sciences201161742034207NoorM. A.KhalifaA. K.Al-BaniK.KhattriS. K.On trifunction variational inequalitiesInternational Journal of Nonlinear Science20111111721NoorM. A.NoorK. I.ZainabS.On mixed equilibrium variational inequalitiesInternational Journal of Physical Sciences201162354125418GlowinskiR.LionsJ.-L.TrémolièresR.Numerical Analysis of Variational Inequalities19818Amsterdam, The NetherlandsNorth-Holland635927Aslam NoorM.Some developments in general variational inequalitiesApplied Mathematics and Computation2004152119927710.1016/S0096-3003(03)00558-72050063ZBL1134.49304NoorM. A.NoorK. I.RassiasT. M.Some aspects of variational inequalitiesJournal of Computational and Applied Mathematics199347328531210.1016/0377-0427(93)90058-J1251844ZBL0788.65074TakahashiS.TakahashiW.Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert spaceNonlinear Analysis20086931025103310.1016/j.na.2008.02.0422428774ZBL1142.47350YaoY.ChoY. J.LiouY.-C.Algorithms of common solutions for variational inclusions, mixed equilibrium problems and fixed point problemsEuropean Journal of Operational Research2011212224225010.1016/j.ejor.2011.01.0422784202YaoY.NoorM. A.LiouY.-C.On iterative methods for equilibrium problemsNonlinear Analysis200970149750910.1016/j.na.2007.12.0212468256ZBL1165.49035GiannessiF.MaugeriA.Variational Inequalities and Network Equilibrium Problems1995New York, NY, USAPlenum PressGiannessiF.MaugeriA.PardalosP. M.Equilibrium Problems: Nonsmooth Optimization and Variational Inequality Methods200158Dordrecht, The NetherlandsKluwer Academic2030621NoorM. A.General variational inequalitiesApplied Mathematics Letters19881211912210.1016/0893-9659(88)90054-7953368ZBL0655.49005NoorM. A.Extended general variational inequalitiesApplied Mathematics Letters200922218218610.1016/j.aml.2008.03.0072482273ZBL1163.49303NoorM. A.noormaslam@hotmail.comNoorK. I.WaheedA.Eisa-Al-SaidModified variation of parameters method for solving system of second-order nonlinear boundary value problemInternational Journal of Physical Sciences201051624262431NoorM. A.NoorK. I.Al-SaidE.On New Proximal Point Methods for Solving the Variational InequalitiesJournal of Applied Mathematics20122012710.1155/2012/412413412413NoorM. A.YaoY.LiouY.-C.Extragradient method for equilibrium problems and variational inequalitiesAlbanian Journal of Mathematics2008221251382415488ZBL1205.47063