Research Article Variational-Like Inequalities for Weakly Relaxed

advertisement
Hindawi Publishing Corporation
International Journal of Analysis
Volume 2016, Article ID 4760839, 6 pages
http://dx.doi.org/10.1155/2016/4760839
Research Article
Variational-Like Inequalities for Weakly Relaxed πœ‚-𝛼
Pseudomonotone Set-Valued Mappings in Banach Space
Syed Shakaib Irfan and Mohammad Firdosh Khan
College of Engineering, Qassim University, P.O. Box 6677, Buraidah, Al-Qassim 51452, Saudi Arabia
Correspondence should be addressed to Syed Shakaib Irfan; shakaib@qec.edu.sa
Received 1 July 2016; Accepted 18 August 2016
Academic Editor: Julien Salomon
Copyright © 2016 S. S. Irfan and M. F. Khan. 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 introduce and study variational-like inequalities for generalized pseudomonotone set-valued mappings in Banach spaces. By
using KKM technique, we obtain the existence of solutions for variational-like inequalities for generalized pseudomonotone setvalued mappings in reflexive Banach spaces. The results presented in this paper are generalizations and improvements of the several
well-known results in the literature.
1. Introduction and Preliminaries
Variational inequality theory plays an important role in
many fields, such as optimal control, mechanics, economics,
transportation equilibrium, and engineering science. It is
well known that monotonicity plays an important role in
the study of variational inequality theory. In recent years, a
number of authors have proposed many generalizations of
monotonicity such as pseudomonotonicity, relaxed monotonicity, relaxed πœ‚-𝛼 monotonicity, quasimonotonicity, and
semimonotonicity, 𝑝-monotonicity. For details, refer to [1–11]
and the references therein.
Verma [11] studied a class of variational inequalities
with relaxed monotone operators. In 2003, Fang and Huang
[4] introduced a new concept of relaxed πœ‚-𝛼 monotonicity
and obtained the existence of solution for variational-like
inequalities in reflexive Banach spaces. B. S. Lee and B. D.
Lee [12] defined weakly relaxed 𝛼-semipseudomonotone setvalued variational-like inequalities and generalize the result
of Fang and Huang [4]. Bai et al. [1] defined relaxed πœ‚π›Ό-pseudomonotone concepts for single valued mappings.
For set-valued mappings, Kang et al. [13] defined relaxed
πœ‚-𝛼 pseudomonotone concepts which generalize monotone
concepts for single valued mapping in Fang and Huang [4]
and Bai et al. [1]. Recently Sintunavarat [14] established the
existence of solution of mixed equilibrium problem with the
weakly relaxed 𝛼-monotone bifunction in Banach spaces.
In 2013, Kutbi and Sintunavarat [15] introduce two new
concepts of weakly relaxed πœ‚-𝛼 monotone mappings and
weakly relaxed πœ‚-𝛼 semimonotone mappings and obtained
the existence of solution for variational-like inequality problems in reflexive Banach spaces.
Inspired and motivated by the results of Fang and Huang
[4] and Kutbi and Sintunavarat [15], in this paper, we introduce the concept of weakly relaxed πœ‚-𝛼 pseudomonotone
mapping and by using Knaster Kuratowski Mazurkiewicz
(KKM) technique [16], we study some existence of solution
for variational-like inequality for set-valued pseudomonotone mapping.
In this paper, we suppose that 𝐸 is a reflexive Banach space
with dual space 𝐸∗ , and ⟨⋅, ⋅⟩ denotes the pairing between 𝐸
and 𝐸∗ . Let 𝐾 be a nonempty closed convex subset of 𝐸 and
2𝐸 denote the family of all the nonempty subset of 𝐸.
The following definitions and results will be useful in our
work.
∗
Definition 1. A mapping 𝑇 : 𝐾 → 2𝐸 is said to be weakly
relaxed πœ‚-𝛼 pseudomonotone if there exist a mapping πœ‚ : 𝐾 ×
𝐾 → 𝐸 and functions πœ™ : 𝐾 × πΎ → 𝑅 ∪ {+∞}, 𝛼 : 𝐸 → 𝑅
with 𝛼(𝑑, 𝑧) = π‘˜(𝑑)𝛼(𝑧) for 𝑧 ∈ 𝐸, where π‘˜ : (0, ∞) → (0, ∞)
is a function with lim𝑑→0 (π‘˜(𝑑)/𝑑) = 0, such that
βŸ¨π‘’, πœ‚ (π‘₯, 𝑦)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0,
(1)
2
International Journal of Analysis
∗
implying
⟨V, πœ‚ (π‘₯, 𝑦)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 𝛼 (π‘₯ − 𝑦)
for π‘₯, 𝑦 ∈ 𝐸, 𝑒 ∈ 𝑇 (π‘₯) , V ∈ 𝑇 (𝑦) .
(2)
Remark 2. (i) If πœ™(π‘₯, π‘₯) = 0 in Definition 1 then we have
the following pseudomonotone concept defined in Kang et
al. [13]:
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) ≥ 0 ∀𝑒 ∈ 𝑇 (π‘₯) ,
(3)
implying
⟨V, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) ≥ 𝛼 (𝑦 − π‘₯) , ∀V ∈ 𝑇 (𝑦) .
(4)
(ii) If 𝑇 is single valued mappings, πœ™(π‘₯, π‘₯) = 0, and
π‘˜(𝑑) = 𝑑𝑝 for 𝑝 > 1, then we have the following relaxed πœ‚π›Ό monotone concepts defined in Fang and Huang [4] and the
following πœ‚-𝛼 pseudomonotone concepts, defined in Bai et al.
[1]:
(a) For any π‘₯, 𝑦 ∈ 𝐾
βŸ¨π‘‡π‘₯ − 𝑇𝑦, πœ‚ (π‘₯, 𝑦)⟩ ≥ 𝛼 (π‘₯ − 𝑦) .
implies βŸ¨π‘‡π‘₯, πœ‚ (π‘₯, 𝑦)⟩ ≥ 𝛼 (π‘₯ − 𝑦) .
(5)
(6)
∀π‘₯, 𝑦 ∈ 𝐾, 𝑒 ∈ 𝑇 (π‘₯) , V ∈ 𝑇 (𝑦) .
∗
(7)
βŸ¨π‘‡π‘₯ − 𝑇𝑦, πœ‚ (π‘₯, 𝑦)⟩ ≥ 𝛼 (π‘₯ − 𝑦) , ∀π‘₯, 𝑦 ∈ 𝐾,
∗
Definition 4 (see [4]). Let 𝑇 : 𝐾 → 2𝐸 and πœ‚ : 𝐾 × πΎ → 𝐾
be two mappings and πœ™ : 𝐾 × πΎ → R ⋃{+∞} be a proper
functional. Then 𝑇 is said to be πœ‚-coercive with respect to first
argument of πœ™, if there exists π‘₯0 ∈ 𝐾 such that
βŸ¨π‘’ − 𝑒0 , πœ‚ (π‘₯, π‘₯0 )⟩ + πœ™ (π‘₯, π‘₯0 ) − πœ™ (π‘₯0 , π‘₯0 )
󳨀→ ∞,
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©πœ‚ (π‘₯, π‘₯0 )σ΅„©σ΅„©σ΅„©
(8)
whenever β€–π‘₯β€– → ∞, for all 𝑒 ∈ 𝑇(π‘₯), 𝑒0 ∈ 𝑇(π‘₯0 ).
If πœ™(⋅, ⋅) = πœ™(⋅) then there exists π‘₯0 ∈ 𝐾 such that
βŸ¨π‘’ − 𝑒0 , πœ‚ (π‘₯, π‘₯0 )⟩ + πœ™ (π‘₯) − πœ™ (π‘₯0 )
󳨀→ ∞,
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©πœ‚ (π‘₯, π‘₯0 )σ΅„©σ΅„©σ΅„©
(9)
whenever β€–π‘₯β€– → ∞, for all 𝑒 ∈ 𝑇(π‘₯), 𝑒0 ∈ 𝑇(π‘₯0 ).
If πœ™ = 𝛿𝐾 , where 𝛿𝐾 is the indicator function of 𝐾, then
Definition 4 coincides with the definition of πœ‚-coercivity in
the sense of Yang and Chen [18].
(11)
and then 𝑇 is said to be relaxed πœ‚-𝛼 monotone [4].
(ii) If 𝑇 is single valued and πœ‚(π‘₯, 𝑦) = π‘₯ − 𝑦 then (10)
becomes
βŸ¨π‘‡π‘₯ − 𝑇𝑦, π‘₯ − π‘¦βŸ© ≥ 𝛼 (π‘₯ − 𝑦) ,
∀π‘₯, 𝑦 ∈ 𝐾,
(12)
and then 𝑇 is called relaxed 𝛼-monotone [4].
(iii) If πœ‚(π‘₯, 𝑦) = π‘₯ − 𝑦 for all π‘₯, 𝑦 ∈ 𝐾 and 𝛼(𝑧) = π‘˜β€–π‘§β€–π‘ ,
where π‘˜ > 0 and 𝑝 > 1, then (12) becomes
(13)
and 𝑇 is called 𝑝-monotone [5, 10, 11].
Definition 7. A mapping 𝑇 : 𝐾 → 2𝐸 is said to be weakly
relaxed πœ‚-𝛼 monotone if there exists a function πœ‚ : 𝐾×𝐾 → 𝐸
and 𝛼 : 𝐸 → R with
lim 𝛼 (𝑑π‘₯) = 0,
(∗)
𝑑
𝛼 (𝑑π‘₯) = 0
𝑑𝑑
(∗∗)
lim+
𝑑→0
for all 𝑑 > 0 and π‘₯ ∈ 𝐸 such that
βŸ¨π‘’ − V, πœ‚ (π‘₯, 𝑦)⟩ ≥ 𝛼 (π‘₯ − 𝑦) ,
∀π‘₯, 𝑦 ∈ 𝐸, 𝑒 ∈ 𝑇 (π‘₯) , V ∈ 𝑇 (𝑦) .
is continuous at 0+ .
(10)
Remark 6. (i) If 𝑇 is single valued then (10) becomes
𝑑→0+
Definition 3 (see [17]). Let 𝑇 : 𝐾 → 2𝐸 and πœ‚ : 𝐾 × πΎ → 𝐾
be two mappings; 𝑇 is said to be πœ‚-hemicontinuous for any
π‘₯, 𝑦 ∈ 𝐾, if the mapping defined by πœ™ : [0, 1] → R defined by
πœ™ (𝑑) = βŸ¨π‘‡ (𝑑𝑦 + (1 − 𝑑) π‘₯) , πœ‚ (𝑦, π‘₯)⟩
βŸ¨π‘’ − V, πœ‚ (π‘₯, 𝑦)⟩ ≥ 𝛼 (π‘₯ − 𝑦) ,
󡄩𝑝
σ΅„©
βŸ¨π‘‡π‘₯ − 𝑇𝑦, π‘₯ − π‘¦βŸ© ≥ π‘˜ σ΅„©σ΅„©σ΅„©π‘₯ − 𝑦󡄩󡄩󡄩 , ∀π‘₯, 𝑦 ∈ 𝐾,
(b) For any π‘₯, 𝑦 ∈ 𝐾
βŸ¨π‘‡π‘¦, πœ‚ (π‘₯, 𝑦)⟩ ≥ 0
Definition 5. A multivalued mapping 𝑇 : 𝐾 → 2𝐸 is said to
be relaxed πœ‚-𝛼 monotone if there exists a function πœ‚ : 𝐾×𝐾 →
𝐸 and 𝛼 : 𝐸 → 𝐸 with 𝛼(𝑑𝑧) = 𝑑𝑝 𝛼(𝑧) for all 𝑑 > 0, 𝑝 > 1,
and 𝑧 ∈ 𝐸 such that
(14)
Remark 8. If 𝑇 is single valued mapping then Definition 7
reduces to Definition 9 of [15].
Remark 9. If 𝑇 is weakly relaxed πœ‚-𝛼 monotone, then 𝑇
is weakly relaxed πœ‚-𝛼 pseudomonotone mapping but the
converse is not true.
Definition 10 (see [16]). A mapping 𝐹 : 𝐾 → 2𝐸 is said to be
KKM mapping if, for any {π‘₯1 , . . . , π‘₯𝑛 } ⊂ 𝐾, co{π‘₯1 , . . . , π‘₯𝑛 } ⊂
⋃𝑛𝑖=1 𝐹(π‘₯𝑖 ), where co{π‘₯1 , . . . , π‘₯𝑛 } denote the convex hull of
π‘₯1 , . . . , π‘₯𝑛 .
Lemma 11 (see [19]). Let 𝑀 be a nonempty subset of a
Hausdorff topological vector space 𝑋 and let 𝐹 : 𝑀 → 2𝑋
be a KKM mapping. If 𝐹(π‘₯) is closed in 𝑋 for all π‘₯ ∈ 𝑀 and
compact for some π‘₯ ∈ 𝑀, then
β‹‚ 𝐹 (π‘₯) =ΜΈ πœ™.
π‘₯∈𝑀
(15)
International Journal of Analysis
3
The convexity of πœ™ and condition (ii) of Theorem 12 imply that
2. Existence Results
In this section, we discuss the existence of the following
variational-like inequality:
Find π‘₯ ∈ 𝐾 such that
(VLI)
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0,
πœ™ (𝑦𝑑 , π‘₯) − πœ™ (π‘₯, π‘₯) ≥ πœ™ ((1 − 𝑑) π‘₯ + 𝑑𝑦, π‘₯) − πœ™ (π‘₯, π‘₯)
≤ 𝑑 (πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯)) ,
⟨V𝑑 , πœ‚ (𝑦𝑑 , π‘₯)⟩ = ⟨V𝑑 , πœ‚ ((1 − 𝑑) π‘₯ + 𝑑𝑦, π‘₯)⟩
≤ (1 − 𝑑) ⟨V𝑑 , πœ‚ (π‘₯, π‘₯)⟩
∀𝑦 ∈ 𝐾, 𝑒 ∈ 𝑇 (π‘₯) ,
+ 𝑑 ⟨V𝑑 , πœ‚ (𝑦, π‘₯)⟩
where 𝐾 is a nonempty closed convex subset of a reflexive
Banach space 𝐸.
∗
Theorem 12. Suppose that 𝑇 : 𝐾 → 2𝐸 is πœ‚-hemicontinuous
and weakly relaxed πœ‚-𝛼 pseudomonotone mapping. Let πœ™ : 𝐾 ×
𝐾 → R ⋃{+∞} be a proper convex function and πœ‚ : 𝐾 × πΎ →
𝐸 be a mapping. Suppose that the following conditions hold:
(i) πœ‚(π‘₯, π‘₯) = 0, ∀π‘₯ ∈ 𝐾.
(ii) For any fixed 𝑦 ∈ 𝐾, 𝑒 ∈ 𝑇(π‘₯), the mapping π‘₯ → βŸ¨π‘’,
πœ‚(π‘₯, 𝑦)⟩ is convex.
(iii) π‘₯ → πœ‚(π‘₯, ⋅) and π‘₯ → 𝑓(π‘₯, ⋅) are convex.
(16)
∀𝑦 ∈ 𝐾, 𝑒 ∈ 𝑇 (π‘₯) ,
Find π‘₯ ∈ 𝐾 such that
⟨V, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 𝛼 (𝑦 − π‘₯) ,
(17)
∀𝑦 ∈ 𝐾, V ∈ 𝑇 (𝑦) .
Proof. Suppose that (16) has a solution. So there exist π‘₯ ∈ 𝐾
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0,
(18)
∀𝑦 ∈ 𝐾, 𝑒 ∈ 𝑇 (π‘₯) .
𝛼 (𝑑 (𝑦 − π‘₯))
𝑑
π‘˜ (𝑑)
=
𝛼 (𝑦 − π‘₯)
𝑑
(22)
for all 𝑦 ∈ 𝐾 and V𝑑 ∈ 𝑇(𝑦𝑑 ). Taking 𝑑 → 0+ in the previous
inequality and using πœ‚-hemicontinuity of 𝑇, we get
(23)
(24)
is trivial. Therefore π‘₯ ∈ 𝐾 is solution of (16).
Theorem 13. Let 𝐾 be a nonempty bounded closed convex
subset of a real reflexive Banach space 𝐸 and 𝐸∗ the dual space
∗
of 𝐸. Suppose that 𝑇 : K → 2𝐸 is an πœ‚-hemicontinuous and
weakly relaxed πœ‚-𝛼 pseudomonotone mapping. Let πœ™ : 𝐾×𝐾 →
R ⋃{+∞} be a proper convex lower semicontinuous function
and πœ‚ : 𝐾 × πΎ → 𝐸 be a mapping. Assume that
(i) πœ‚(π‘₯, 𝑦) + πœ‚(𝑦, π‘₯) = 0, ∀π‘₯ ∈ 𝐾,
(ii) for any fixed 𝑦 ∈ 𝐾 and 𝑒 ∈ 𝑇(π‘₯) the mapping
π‘₯ 󳨃→ βŸ¨π‘’, πœ‚(𝑦, π‘₯)⟩ is convex and lower semicontinuous
function,
(iii) π‘₯ → πœ‚(π‘₯, ⋅) and π‘₯ → 𝑓(π‘₯, ⋅) are convex and lower
semicontinuous,
Since 𝑇 is weakly relaxed πœ‚-𝛼 pseudomonotone, we have
(19)
(iv) 𝛼 : 𝐸 → R is weakly lower semicontinuous; that is, for
any net {π‘₯𝛽 }, π‘₯𝛽 converges to π‘₯ in 𝜎(𝐸, 𝐸∗ ) implying
that 𝛼(π‘₯) ≤ lim inf 𝛼(π‘₯𝛽 ).
Then problem (17) is solvable.
Therefore π‘₯ ∈ 𝐾 is a solution of (17).
Conversely, suppose that π‘₯ ∈ 𝐾 is a solution of (17) and
𝑦 ∈ 𝐾 is any point with πœ™(𝑦, 𝑦) < ∞. From (17) we know that
πœ™(π‘₯, π‘₯) < ∞. For 𝑑 ∈ (0, 1) let 𝑦𝑑 = (1 − 𝑑)π‘₯ + 𝑑𝑦, 𝑑 ∈ (0, 1);
then we have 𝑦𝑑 ∈ 𝐾. Since π‘₯ ∈ 𝐾 is a solution of problem
(17), it follows that
= 𝛼 (𝑑 (𝑦 − π‘₯)) = π‘˜ (𝑑) 𝛼 (𝑦 − π‘₯) .
⟨V𝑑 , πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0,
⟨V𝑑 , πœ‚ (𝑦𝑑 , π‘₯)⟩ + πœ™ (𝑦𝑑 , π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 𝛼 (𝑦𝑑 − π‘₯)
It follows from (21) that
for all 𝑦 ∈ 𝐾 and 𝑒 ∈ 𝑇(π‘₯) with πœ™(𝑦, 𝑦) < ∞. In case of
πœ™(𝑦, 𝑦) = ∞ the relation
Find π‘₯ ∈ 𝐾 such that
∀𝑦 ∈ 𝐾, V ∈ 𝑇 (𝑦) .
= 𝑑 ⟨V𝑑 , πœ‚ (𝑦, π‘₯)⟩ .
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0,
Then problems (16) and (17) are equivalent as follows:
⟨V, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 𝛼 (𝑦 − π‘₯) ,
(21)
(20)
Proof. Define two set-valued mappings 𝐹, 𝐺 : 𝐾 → 2𝐸 as
follows:
𝐹 (𝑦) = {π‘₯ ∈ 𝐾 : ∃𝑒 ∈ 𝑇 (π‘₯) , βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯)
− πœ™ (π‘₯, π‘₯) ≥ 0}
∀𝑦 ∈ 𝐾,
𝐺 (𝑦) = {π‘₯ ∈ 𝐾 : ∃V ∈ 𝑇 (𝑦) , ⟨V, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯)
− πœ™ (π‘₯, π‘₯) ≥ 𝛼 (𝑦 − π‘₯)}
∀𝑦 ∈ 𝐾.
(25)
(26)
4
International Journal of Analysis
We claim that 𝐹 is a KKM mapping. If 𝐹 is not a KKM
mapping, then there exist {𝑦1 , 𝑦2 , . . . , 𝑦𝑛 } ⊂ 𝐾 such that
co{𝑦1 , 𝑦2 , . . . , 𝑦𝑛 } ⊆ΜΈ ⋃𝑛𝑖=1 𝐹(𝑦𝑖 ). This implies that there exist
𝑦0 ∈ co{𝑦1 , 𝑦2 , . . . , 𝑦𝑛 } such that 𝑦 = ∑𝑛𝑖=1 𝑑𝑖 𝑦𝑖 , where 𝑑𝑖 ≥
0, 𝑖 = 1, 2, . . . , 𝑛, and ∑𝑛𝑖=1 𝑑𝑖 = 1, but 𝑦 ∉ ⋃𝑛𝑖=1 𝐹(𝑦𝑖 ). From
the definition of 𝐹, we have
⟨V, πœ‚ (𝑦𝑖 , 𝑦)⟩ + πœ™ (𝑦𝑖 , 𝑦) − πœ™ (𝑦, 𝑦) < 0,
for 𝑖 = 1, 2, . . . , 𝑛,
(27)
𝑛
0 = ⟨V, πœ‚ (𝑦, 𝑦)⟩ = ⟨V, πœ‚ (∑𝑑𝑖 𝑦𝑖 , 𝑦)⟩
𝑖=1
𝑛
𝑖=1
𝑖=1
≤ ∑𝑑𝑖 ⟨V, πœ‚ (𝑦𝑖 , 𝑦)⟩ < ∑𝑑𝑖 (πœ™ (𝑦, 𝑦) − πœ™ (𝑦𝑖 , 𝑦))
(iii) π‘₯ → πœ‚(π‘₯, ⋅) and π‘₯ → 𝑓(π‘₯, ⋅) are convex and lower
semicontinuous,
(iv) 𝛼 : 𝐸 → R is weakly lower semicontinuous,
(v) 𝑇 is πœ‚-coercive with respect to πœ™; that is, there exist π‘₯0 ∈
𝐾 such that
βŸ¨π‘’ − 𝑒0 , πœ‚ (π‘₯, π‘₯0 )⟩ + πœ™ (π‘₯, π‘₯0 ) − πœ™ (π‘₯0 , π‘₯0 )
󳨀→ +∞, (33)
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©πœ‚ (π‘₯, π‘₯0 )σ΅„©σ΅„©σ΅„©
and it follows that
𝑛
(ii) for any fixed 𝑦 ∈ 𝐾 and 𝑒 ∈ 𝑇(π‘₯) the mapping
π‘₯ 󳨃→ βŸ¨π‘’, πœ‚(𝑦, π‘₯)⟩ is convex and lower semicontinuous
function,
whenever β€–π‘₯β€– → ∞.
(28)
Then problem (16) is solvable.
Proof. Let
𝑛
= πœ™ (𝑦, 𝑦) − ∑𝑑𝑖 πœ™ (𝑦𝑖 , 𝑦) ≤ πœ™ (𝑦, 𝑦) − πœ™ (𝑦, 𝑦) = 0,
σ΅„© σ΅„©
π΅π‘Ÿ = {𝑦 ∈ 𝐸 : 󡄩󡄩󡄩𝑦󡄩󡄩󡄩 ≤ π‘Ÿ} .
𝑖=1
which is a contradiction. This implies that 𝐹 is a KKM
mapping. Now we prove that 𝐹(𝑦) ⊂ 𝐺(𝑦), for all 𝑦 ∈ 𝐾.
For any given 𝑦 ∈ 𝐾 and letting π‘₯ ∈ 𝐹(𝑦), we have
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0.
⟨V, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 𝛼 (𝑦 − π‘₯) .
(30)
It follows that π‘₯ ∈ 𝐺(𝑦) and so 𝐹(𝑦) ⊂ 𝐺(𝑦).
This implies that 𝐺 is also KKM mapping. From the
assumption, we know that 𝐺(𝑦) is weakly closed for all 𝑦 ∈
𝐾. In fact since π‘₯ 󳨃→ ⟨V, πœ‚(𝑦, π‘₯)⟩ and πœ™ are two convex
lower semicontinuous functions, from the definition of 𝐺 and
weakly semilower continuity of 𝛼, it is easy to see that 𝐺(𝑦)
is weakly closed for all 𝑦 ∈ 𝐾. Since 𝐾 is bounded closed
and convex, we know that 𝐾 is weakly compact and so 𝐺(𝑦)
is weakly compact in 𝐾 for each 𝑦 in 𝐾. From Lemma 11 and
Theorem 12, we obtain that
β‹‚ 𝐹 (𝑦) = β‹‚ 𝐺 (𝑦) =ΜΈ πœ™.
𝑦∈𝐾
𝑦∈𝐾
Consider the following problem, π‘₯π‘Ÿ ∈ 𝐾 ∩ π΅π‘Ÿ , such that
βŸ¨π‘’π‘Ÿ , πœ‚ (𝑦, π‘₯π‘Ÿ )⟩ + πœ™ (𝑦, π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) ≥ 0,
∀𝑦 ∈ 𝐾 such that 𝑦 ∈ 𝐾 ∩ π΅π‘Ÿ .
(29)
Since 𝑇 is weakly relaxed πœ‚-𝛼 pseudomonotone, we get
(31)
Hence, there exists π‘₯ ∈ 𝐾 such that
∀π‘₯ ∈ 𝐾, 𝑒 ∈ 𝑇 (π‘₯) ;
(32)
that is, problem (16) has a solution.
Theorem 14. Let 𝐾 be a nonempty unbounded closed convex
subset of a real reflexive Banach space 𝐸 and 𝐸∗ the dual space
∗
of 𝐸. Suppose that 𝑇 : 𝐾 → 2𝐸 is an πœ‚-hemicontinuous and
weakly relaxed πœ‚-𝛼 pseudomonotone mapping. Let πœ™ : 𝐾×𝐾 →
R ⋃{+∞} be a proper convex lower semicontinuous function
and πœ‚ : 𝐾 × πΎ → 𝐸 be a mapping. Assume that
(i) πœ‚(π‘₯, 𝑦) + πœ‚(𝑦, π‘₯) = 0, ∀π‘₯ ∈ 𝐾,
(35)
By Theorem 13, we know that (26) has a solution π‘₯π‘Ÿ ∈ 𝐾 ∩ π΅π‘Ÿ ;
choose π‘Ÿ > β€–π‘₯0 β€– with π‘₯0 as in the coercivity conditions. Then
we have
βŸ¨π‘’π‘Ÿ , πœ‚ (π‘₯0 , π‘₯π‘Ÿ )⟩ + πœ™ (π‘₯0 , π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) ≥ 0.
(36)
Moreover
βŸ¨π‘’π‘Ÿ , πœ‚ (π‘₯0 , π‘₯π‘Ÿ )⟩ + πœ™ (π‘₯0 , π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) = − βŸ¨π‘’π‘Ÿ
− 𝑒0 , πœ‚ (π‘₯π‘Ÿ , π‘₯0 )⟩ + πœ™ (π‘₯0 , π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ )
+ βŸ¨π‘’0 , πœ‚ (π‘₯0 , π‘₯π‘Ÿ )⟩ ≤ − βŸ¨π‘’π‘Ÿ − 𝑒0 , πœ‚ (π‘₯π‘Ÿ , π‘₯0 )⟩
σ΅„© σ΅„©σ΅„©
σ΅„©
+ πœ™ (π‘₯0 , π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) + 󡄩󡄩󡄩𝑒0 σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„©πœ‚ (π‘₯0 , π‘₯π‘Ÿ )σ΅„©σ΅„©σ΅„©
σ΅„©
σ΅„©
≤ σ΅„©σ΅„©σ΅„©πœ‚ (π‘₯π‘Ÿ , π‘₯0 )σ΅„©σ΅„©σ΅„©
⋅(
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0,
(34)
(37)
βŸ¨π‘’π‘Ÿ − 𝑒0 , πœ‚ (π‘₯π‘Ÿ , π‘₯0 )⟩ + πœ™ (π‘₯π‘Ÿ , π‘₯0 ) − πœ™ (π‘₯0 , π‘₯0 )
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©πœ‚ (π‘₯, π‘₯0 )σ΅„©σ΅„©σ΅„©
σ΅„© σ΅„©
+ 󡄩󡄩󡄩𝑒0 σ΅„©σ΅„©σ΅„©) .
Now if β€–π‘₯β€– = π‘Ÿ for all π‘Ÿ, we may choose π‘Ÿ large enough so that
the above inequality and πœ‚-coercivity of 𝑇 with respect to πœ™
imply that
βŸ¨π‘’π‘Ÿ , πœ‚ (π‘₯0 , π‘₯π‘Ÿ )⟩ + πœ™ (π‘₯0 , π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) < 0,
(38)
which contradicts
βŸ¨π‘’π‘Ÿ , πœ‚ (π‘₯0 , π‘₯π‘Ÿ )⟩ + πœ™ (π‘₯0 , π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) ≥ 0.
(39)
International Journal of Analysis
5
Hence there exist π‘Ÿ such that β€–π‘₯π‘Ÿ β€– < π‘Ÿ. For any 𝑦 ∈ 𝐾, we can
choose πœ– > 0 small enough so that πœ– ∈ (0, 1) and π‘’π‘Ÿ + πœ–(𝑦 −
π‘₯π‘Ÿ ) ∈ 𝐾 ∩ π΅π‘Ÿ . It follows from (ii) that
βŸ¨π‘’π‘Ÿ , πœ‚ (π‘₯π‘Ÿ + πœ– (𝑦 − π‘₯π‘Ÿ ) , π‘₯π‘Ÿ )⟩ + πœ™ (π‘₯π‘Ÿ + πœ– (𝑦 − π‘₯π‘Ÿ ) , π‘₯π‘Ÿ )
− πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) ≥ 0, ∀𝑦 ∈ 𝐾, ∀π‘’π‘Ÿ ∈ 𝑇 (π‘₯π‘Ÿ ) .
(40)
By the assumption of πœ‚, we have
βŸ¨π‘’π‘Ÿ , πœ‚ (𝑦, π‘₯π‘Ÿ )⟩ + πœ™ (𝑦, π‘₯π‘Ÿ ) − πœ™ (π‘₯π‘Ÿ , π‘₯π‘Ÿ ) ≥ 0,
∀𝑦 ∈ 𝐾, ∀π‘’π‘Ÿ ∈ 𝑇 (π‘₯π‘Ÿ ) .
(41)
So π‘₯π‘Ÿ ∈ 𝐾 is a solution of (16).
It is easy to see that weakly relaxed πœ‚-𝛼 monotonicity
implies weakly relaxed πœ‚-𝛼 pseudomonotonicity. So Theorems 12, 13, and 14 are deduced to the following corollaries.
∗
Corollary 15. Suppose that 𝑇 : 𝐾 → 2𝐸 is πœ‚-hemicontinuous
and weakly relaxed πœ‚-𝛼 monotone mapping. Let πœ™ : 𝐾 × πΎ →
R ⋃{+∞} be a proper convex function and πœ‚ : 𝐾 × πΎ → 𝐸 be
a mapping. Suppose that the following conditions hold:
(i) πœ‚(π‘₯, π‘₯) = 0, ∀π‘₯ ∈ 𝐾.
(ii) For any fixed 𝑦 ∈ 𝐾, 𝑒 ∈ 𝑇(π‘₯), the mapping π‘₯ →
βŸ¨π‘’, πœ‚(π‘₯, 𝑦)⟩ is convex.
(iii) π‘₯ → πœ‚(π‘₯, ⋅) and π‘₯ → 𝑓(π‘₯, ⋅) are convex.
Then problems (∗ ∗ ∗) and (∗ ∗ ∗∗) are equivalent as follows:
Corollary 17. Let 𝐾 be a nonempty unbounded closed convex
subset of a real reflexive Banach space 𝐸 and 𝐸∗ the dual space
∗
of 𝐸. Suppose that 𝑇 : 𝐾 → 2𝐸 is an πœ‚-hemicontinuous and
weakly relaxed πœ‚-𝛼 monotone mapping. Let πœ™ : 𝐾 × πΎ →
R ⋃{+∞} be a proper convex lower semicontinuous function
and πœ‚ : 𝐾 × πΎ → 𝐸 be a mapping. Assume that
(i) πœ‚(π‘₯, 𝑦) + πœ‚(𝑦, π‘₯) = 0, ∀π‘₯ ∈ 𝐾,
(ii) for any fixed 𝑦 ∈ 𝐾 and 𝑒 ∈ 𝑇(π‘₯) the mapping
π‘₯ 󳨃→ βŸ¨π‘’, πœ‚(𝑦, π‘₯)⟩ is convex and lower semicontinuous
function,
(iii) π‘₯ → πœ‚(π‘₯, ⋅) and π‘₯ → 𝑓(π‘₯, ⋅) are convex and lower
semicontinuous,
(iv) 𝛼 : 𝐸 → R is weakly lower semicontinuous,
(v) 𝑇 is πœ‚-coercive with respect to πœ™; that is, there exist π‘₯0 ∈
𝐾 such that
βŸ¨π‘’ − 𝑒0 , πœ‚ (π‘₯, π‘₯0 )⟩ + πœ™ (π‘₯, π‘₯0 ) − πœ™ (π‘₯0 , π‘₯0 )
󳨀→ +∞, (42)
σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©πœ‚ (π‘₯, π‘₯0 )σ΅„©σ΅„©
whenever β€–π‘₯β€– → ∞.
Then problem (16) is solvable.
Remark 18. Theorems 12, 13, and 14, improve Theorems 11, 12,
and 15 of results of Kutbi and Sintunavarat [15] and also Fang
and Huang [4]. These results are also the extensions of the
known results of Bai et al. [1] and Hartman and Stampacchia
[7] and corresponding results of Goeleven and Motreanu [5],
B. S. Lee and B. D. Lee [12], Siddiqi et al. [8], and Verma [9].
Find π‘₯ ∈ 𝐾 such that
βŸ¨π‘’, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 0,
(∗ ∗ ∗)
Competing Interests
The authors declare that there is no conflict of interests
regarding the publication of this paper.
∀𝑦 ∈ 𝐾, 𝑒 ∈ 𝑇 (π‘₯) ,
Find π‘₯ ∈ 𝐾 such that
⟨V, πœ‚ (𝑦, π‘₯)⟩ + πœ™ (𝑦, π‘₯) − πœ™ (π‘₯, π‘₯) ≥ 𝛼 (𝑦 − π‘₯) ,
(∗ ∗ ∗∗)
∀𝑦 ∈ 𝐾, V ∈ 𝑇 (𝑦) .
Corollary 16. Let 𝐾 be a nonempty bounded closed convex
subset of a real reflexive Banach space 𝐸 and 𝐸∗ the dual space
∗
of 𝐸. Suppose that 𝑇 : 𝐾 → 2𝐸 is an πœ‚-hemicontinuous and
weakly relaxed πœ‚-𝛼 monotone mapping. Let πœ™ : 𝐾 × πΎ →
R ⋃{+∞} be a proper convex lower semicontinuous function
and πœ‚ : 𝐾 × πΎ → 𝐸 be a mapping. Assume that
(i) πœ‚(π‘₯, 𝑦) + πœ‚(𝑦, π‘₯) = 0, ∀π‘₯ ∈ 𝐾,
(ii) for any fixed 𝑦 ∈ 𝐾 and 𝑒 ∈ 𝑇(π‘₯) the mapping
π‘₯ 󳨃→ βŸ¨π‘’, πœ‚(𝑦, π‘₯)⟩ is convex and lower semicontinuous
function,
(iii) π‘₯ → πœ‚(π‘₯, ⋅) and π‘₯ → 𝑓(π‘₯, ⋅) are convex and lower
semicontinuous,
(iv) 𝛼 : 𝐸 → R is weakly lower semicontinuous; that is, for
any net {π‘₯𝛽 }, π‘₯𝛽 converges to π‘₯ in 𝜎(𝐸, 𝐸∗ ) implying
that 𝛼(π‘₯) ≤ lim inf 𝛼(π‘₯𝛽 ).
Then problem (17) is solvable.
References
[1] M.-R. Bai, S.-Z. Zhou, and G.-Y. Ni, “Variational-like inequalities with relaxed πœ‚-𝛼 pseudomonotone mappings in Banach
spaces,” Applied Mathematics Letters, vol. 19, no. 6, pp. 547–554,
2006.
[2] L. C. Ceng and J. C. Yao, “On generalized variational-like
inequalities with generalized monotone multivalued mappings,” Applied Mathematics Letters, vol. 22, no. 3, pp. 428–434,
2009.
[3] R. W. Cottle and J. C. Yao, “Pseudo-monotone complementarity
problems in Hilbert space,” Journal of Optimization Theory and
Applications, vol. 75, no. 2, pp. 281–295, 1992.
[4] Y. P. Fang and N. J. Huang, “Variational-like inequalities with
generalized monotone mappings in Banach spaces,” Journal of
Optimization Theory and Applications, vol. 118, no. 2, pp. 327–
338, 2003.
[5] D. Goeleven and D. Motreanu, “Eigenvalue and dynamic
problems for variational and hemivariational inequalities,”
Communications on Applied Nonlinear Analysis, vol. 3, no. 4, pp.
1–21, 1996.
[6] N. Hadjisavvas and S. Schaible, “Quasimonotone variational
inequalities in Banach spaces,” Journal of Optimization Theory
and Applications, vol. 90, no. 1, pp. 95–111, 1996.
6
[7] P. Hartman and G. Stampacchia, “On some non-linear elliptic
differential-functional equations,” Acta Mathematica, vol. 115,
pp. 271–310, 1966.
[8] A. H. Siddiqi, Q. H. Ansari, and K. R. Kazmi, “On nonlinear
variational inequalities,” Indian Journal of Pure and Applied
Mathematics, vol. 25, no. 9, pp. 969–973, 1994.
[9] R. U. Verma, “On generalized variational inequalities involving
relaxed Lipschitz and relaxed monotone operators,” Journal of
Mathematical Analysis and Applications, vol. 213, no. 1, pp. 387–
392, 1997.
[10] R. U. Verma, “Nonlinear variational inequalities on convex
subsets of Banach spaces,” Applied Mathematics Letters, vol. 10,
no. 4, pp. 25–27, 1997.
[11] R. U. Verma, “On monotone nonlinear variational inequality
problems,” Commentationes Mathematicae Universitatis Carolinae, vol. 39, no. 1, pp. 91–98, 1998.
[12] B. S. Lee and B. D. Lee, “Weakly relaxed 𝛼-semi pseudomonotone setvalued variational-like inequalities,” Journal of the Korea
Society of Mathematical Education, Series B: Pure and Applied
Mathematics, vol. 11, no. 3, pp. 231–241, 2004.
[13] M. A. Kang, N. J. Huang, and B. S. Lee, “Generalized pseudomonotone setvalued variational-like inequalities,” Indian
Journal of Mathematics, vol. 45, no. 3, pp. 251–264, 2003.
[14] W. Sintunavarat, “Mixed equilibrium problems with weakly
relaxed 𝛼-monotone bifunction in banach spaces,” Journal of
Function Spaces and Applications, vol. 2013, Article ID 374268,
5 pages, 2013.
[15] M. A. Kutbi and W. Sintunavarat, “On the solution existence of
variational-like inequalities problem for weakly relaxed πœ‚ − 𝛼
monotone mapping,” Abstract and Applied Analysis, vol. 2013,
Article ID 207845, 8 pages, 2013.
[16] B. Knaster, C. Kuratowski, and S. Mazurkiewicz, “Ein Beweis
des Fixpunktsatzes fur n-dimensionale Simplexe,” Fundamenta
Mathematicae, vol. 14, no. 1, pp. 132–137, 1929.
[17] J. C. Yao, “Existence of generalized variational inequalities,”
Operations Research Letters, vol. 15, no. 1, pp. 35–40, 1994.
[18] X. Q. Yang and G. Y. Chen, “A class of nonconvex functions and
pre-variational inequalities,” Journal of Mathematical Analysis
and Applications, vol. 169, no. 2, pp. 359–373, 1992.
[19] K. Fan, “A generalization of Tychonoff ’s fixed point theorem,”
Mathematische Annalen, vol. 142, pp. 305–310, 1961.
International Journal of Analysis
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Applied Mathematics
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Mathematical Problems
in Engineering
Journal of
Mathematics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Discrete Dynamics in
Nature and Society
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Abstract and
Applied Analysis
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Journal of
Stochastic Analysis
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Download