- Research
- Open Access
- Published:

# Solvability and algorithms of generalized nonlinear variational-like inequalities in reflexive Banach spaces

*Journal of Inequalities and Applications*
**volume 2020**, Article number: 224 (2020)

## Abstract

This paper deals with solvability and algorithms for a new class of generalized nonlinear variational-like inequalities in reflexive Banach spaces. By employing the Banach’s fixed point theorem, Schauder’s fixed point theorem, and FanKKM theorem, we obtain a sufficient condition which guarantees the existence of solutions for the generalized nonlinear variational-like inequality. We introduce also an auxiliary variational-like inequality and, by utilizing the minimax inequality, get the existence and uniqueness of solutions for the auxiliary variational-like inequality, which is used to suggest an iterative algorithm for solving the generalized nonlinear variational-like inequality. Under certain conditions, by means of the auxiliary principle technique, we both establish the existence and uniqueness of solutions for the generalized nonlinear variational-like inequality and discuss the convergence of iterative sequences generated by the iterative algorithm. Our results extend, improve, and unify several known results in the literature.

## Introduction

Variational inequality is a powerful tool for studying problems arising in optimization, economics, differential equations, engineering and structural analysis, etc. For details, we refer to [3, 5, 16] and the references therein. In 1988, Cohen [6] extended an auxiliary principle technique to study the existence of solutions for a class of variational inequalities. In 1994, Yao [16] obtained the existence of solutions for generalized variational inequalities in Banach spaces. Later, Chang–Xiang [5] investigated the existence of solutions for a class of quasibilinear variational inequalities by making use of the minimax inequality due to themselves in Hilbert spaces. In 2012, Yao–Postolache [17] introduced an iterative scheme for finding a common element of the set of solution of a pseudomonotone, Lipschitz-continuous variational inequality problem and the set of common fixed points of an infinite family of nonexpansive mappings, and showed a few necessary and sufficient conditions for strong convergence of the sequences generated by the proposed scheme. In 2016, Yao–Postolache–Liou–Yao [19] introduced a monotone variational inequality in Hilbert spaces, suggested an implicit algorithm, and proved its convergence hierarchical to the solution of the monotone variational inequality. Recently, Yao–Postolache–Yao [23] considered the fixed point and variational inequality problems in Hilbert spaces, suggested an extragradient algorithm, and proved strong convergence of the proposed algorithm, while Yao–Postolache–Yao [21] introduced a generalized variational inequality in Hilbert spaces, constructed an iterative algorithm for solving the generalized variational inequality, and obtained strong convergence of the algorithm.

Variational-like inequality and generalized variational-like inequality, known as useful and important generalized forms of variational inequalities, were also discussed and analyzed by many authors. For details, we refer to [1, 7, 8, 11, 13, 24, 25] and the references therein. Especially, Liu–Ume–Kang [13] and Zeng [24] established some existence and uniqueness theorems of solutions for generalized nonlinear variational-like inequalities in reflexive Banach spaces by applying the minimax inequality due to Ding–Tan [9].

Stimulated and inspired by the recent results in [1–26], we introduce a new generalized nonlinear variational-like inequality which includes these variational inequalities and variational-like inequalities in [6–8, 16, 24] as special cases. Next, the Banach’s fixed point theorem, Schauder’s fixed point theorem, and FanKKM theorem are applied to prove the existence of a solution for the generalized nonlinear variational-like inequality. Moreover, in order to suggest an iterative algorithm for computing the approximate solutions of the generalized nonlinear variational-like inequality, an auxiliary variational-like inequality is introduced and the existence and uniqueness of the solution for the auxiliary variational-like inequality is proved by using the minimax inequality due to Ding–Tan [9]. Finally, both the existence and uniqueness of solutions for the generalized nonlinear variational-like inequality and the convergence of iterative sequences presented in the algorithm are discussed under certain conditions.

## Preliminaries

Throughout this paper, unless other specified, we always assume that \(\mathbb{R} =(-\infty ,+\infty )\), \(\mathbb{N}\) and *ω* stand for the sets of all positive and nonnegative integers, respectively, *D* is a nonempty bounded closed convex subset of a reflexive Banach space *B* with the dual space \(B^{*}\) and \(\langle u,v\rangle \) is the dual pairing between \(u\in B^{*} \) and \(v\in B\). Assume that the functional \(b: D \times D \to \mathbb{R}\) satisfies the following conditions:

(b1) *b* is linear in the first argument and convex in the second argument;

(b2) there exists a constant \(\gamma >0\) satisfying \(b(x,y)\le \gamma \|x\|\|y\|\), \(\forall x,y\in D\);

(b3) \(b(x,y)-b(x,z)\le b(x,y-z)\), \(\forall x,y,z\in D \).

It follows that

Let \(E,F:D\to B^{*}\), \(N:B^{*}\times B^{*}\to B^{*}\), \(\eta :D\times D\to B\), and \(g:D\to D\) be five mappings. We shall investigate the following generalized nonlinear variational-like inequality: determine \(u\in D\) such that

where *b* satisfies (b1)–(b3) and *b* is not necessarily differentiable.

Special Cases:

(A) If \(N(x,y)=x-y\), \(\forall x,y\in B^{*}\) and \(g=I\) (the identity mapping in *D*), then problem (2.2) collapses to finding \(u\in D\) such that

which was introduced and studied by Ding [8].

(B) If \(b(u,v)=f(v)\), \(\forall u,v\in D\), where \(f:D \to \mathbb{R}\) is a mapping, then problem (2.3) reduces to seeking \(u\in D\) such that

which is known as a *mixed nonlinear variational-like inequality* and was discussed by Ding [7] and Zeng [24] in Banach and Hilbert spaces, respectively.

(C) If \(\eta (v,u)=gu-gv\), \(\forall u,v\in D\), where \(g:D \to B\) is a mapping, then problem (2.4) is equivalent to finding \(u\in D\) such that

Yao [16] investigated problem (2.5) which included the variational inequalities introduced by Cohen [6] as a special case.

In brief, there are a number of special cases of problems (2.2)–(2.5) for suitable choices of the mappings *N*, *E*, *F*, *η*, *g*, and the functional *b*, which can be found in [6–8, 16, 24] and the references cited therein.

We need the following definitions and results which will be used in the paper.

### Definition 2.1

Let \(g:D\to D\), \(F:D\to B^{*}\), \(\eta :D\times D\to B\), and \(N:B^{*}\times B^{*}\to B^{*}\) be mappings.

(1) *N* is said to be *Lipschitz continuous* in the first argument if there exists a constant \(\alpha >0\) such that

(2) *N* is said to be *η*-*strongly monotone* with respect to *F* in the second argument if there exists a constant \(\beta >0\) such that

(3) *η* is said to be Lipschitz continuous if there exists a constant \(\delta >0\) such that

(4) *g* is said to be Lipschitz continuous if there exists a constant \(r >0\) such that

### Definition 2.2

Let \(E,F: D \to B^{*}\), \(N: B^{*}\times B^{*}\to B^{*}\), and \(\eta : D \times D\to B \) be mappings. For any \(u_{1}\in D\), the mappings *F*, \(N(Eu_{1},\cdot )\), and *η* are said to have 0-*diagonally concave relation* on *D* if the function \(\psi : D \times D \to \mathbb{R} \cup \{+ \infty \}\) defined by

is 0-*diagonally concave* on *D*, that is, for any finite set \(\{v_{1},\dots , v_{m}\}\subset D\) and for any \(u=\sum_{i=1}^{m} \lambda _{i}v_{i}\) with \(\lambda _{i}\geq 0 \) and \(\sum_{i=1}^{m}\lambda _{i}=1\),

### Definition 2.3

Let *X* and *Y* be topological spaces. A mapping \(f:X\to Y\) is said to be compact if it is continuous and has a relatively compact range.

### Definition 2.4

([1])

Let *D* be a nonempty convex subset of a Banach space *B* and \(h:D\rightarrow \mathbb{R}\) be a Fréchet differentiable function. Then *h* is said to be

(1) *η*-convex if

(2) *η*-strongly convex if there exists a constant \(\mu >0\) satisfying

### Lemma 2.1

(Schauder’s Fixed Point Theorem)

*Let* *D* *be a nonempty convex subset of a normed linear space* *X* *and* \(f:D\rightarrow D\)*be compact*. *Then* *f* *has a fixed point in* *D*.

For \(D\subseteq B\), we define by \(\mathrm{conv}(D)\) the convex hull of *B*. The set-valued mapping \(P: D\rightarrow 2^{D}\) is said to be a KKM mapping, if for any finite subset \(\{v_{1},\ldots , v_{m}\}\) of *D*,

### Lemma 2.2

(FanKKM Theorem, [10])

*Let* *D* *be an arbitrary nonempty set in a topological vector space* *B*, *and let* \(P:D\rightarrow 2^{D}\)*be a KKM mapping*. *If* \(P(v)\)*is closed for each* \(v\in D\)*and is compact for at least one* \(v\in B\), *then* \(\bigcap_{v\in D}P(v)\neq \emptyset \).

### Lemma 2.3

([1])

*Let* \(\eta :D\times D\rightarrow B\)*be continuous from the weak topology to the weak topology*. *Let* \(h:D\to \mathbb{R}\)*be Fréchet differentiable such that* \(h{'}\)*is continuous from the weak topology to the strong topology*. *Then the mapping* \(g:D\rightarrow \mathbb{R}\)*defined by* \(g(x)=\langle h{'}(x), \eta (y, x)\rangle \)*for each fixed* \(y\in D\)*is also continuous from the weak topology to the strong topology*.

### Lemma 2.4

([9])

*Let*
*D*
*be a nonempty convex subset of a topological vector space and let*
\(\varphi :D\times D\to \mathbb{R}\cup \{+\infty \}\)
*be such that*

(a) *for each* \(v\in D, \varphi (v,\cdot )\)*is lower semicontinuous on each nonempty compact subset of* *D*;

(b) *for each nonempty finite set* \(\{v_{1},\dots ,v_{m}\}\subset D\)*and for any* \(u=\sum_{i=1}^{m} \lambda _{i}v_{i}\)*with* \(\lambda _{i}\geq 0\)*and* \(\sum_{i=1}^{m}\lambda _{i}=1\), \(\min_{1\leq i\leq m} \varphi (v_{i},u)\leq 0\);

(c) *there exist a nonempty compact convex subset* \(X_{0}\)*of* *D* *and a nonempty compact subset* *K* *of* *D* *such that for each* \(v\in D\setminus K\)*there is* \(u\in \mathrm{co}(X_{0}\cup \{v\})\)*with* \(\varphi (u,v)>0\).

*Then there exists* \(\hat{v}\in K\)*such that* \(\varphi (u,\hat{v})\leq 0\)*for all* \(u\in D\).

## Existence of solutions for the generalized nonlinear variational-like inequality (2.2)

This section is devoted to the existence result of solutions for the generalized nonlinear variational-like inequality (2.2) by employing the Banach’s fixed point theorem, Schauder’s fixed point theorem, and FanKKM theorem.

### Theorem 3.1

*Let* \(E:D\to B^{*}\)*be a compact mapping*, \(F:D\to B^{*}\), \(N:B^{*}\times B^{*}\to B^{*}\), \(\eta :D\times D\to B\), \(g:D\to D\)*be four mappings*, *and* \(b:D\times D\to \mathbb{R}\cup \{\pm \infty \}\)*be a functional satisfying* (*b*1)*–*(*b*3). *Assume that*

(c1) *F* *is continuous*, *for each* \(u_{1}\in D\), \(N(Eu_{1},\cdot )\)*is continuous on* *D*, *and the mappings* *F*, \(N(Eu_{1},\cdot )\), *and* *η* *have the* 0-*diagonally concave relation on* *D*;

(c2) *η* *is Lipschitz continuous with a constant* \(\delta >0\)*and for any* \(v\in D\), \(\eta (\cdot ,v)\)*is continuous from the weak topology to the weak topology*;

(c3) *N* *is Lipschitz continuous and* *η*-*strongly monotone with respect to* *F* *in the first and second argument with constants* \(\alpha >0\), \(\beta >0\), *respectively*, *and* *g* *is Lipschitz continuous with a constant* \(r>0\);

(c4) \(\eta (u,v)=-\eta (v,u)\), \(\forall u,v\in D\), *and* \(\beta >\gamma r\).

*Then the generalized nonlinear variational*-*like inequality* (2.2) *has a solution in* *D*.

### Proof

First of all, let \(u_{1}\) be an arbitrary fixed element in *D*. For each \(u_{0}\in D\), we show that there exists a unique \(\hat{w}\in D\) such that

Define a set-valued mapping \(P:D\to 2^{D}\) by

Obviously, \(v\in P(v)\neq \emptyset \), \(\forall v\in D\). Next we claim that *P* is a KKM mapping. Otherwise, there exists a finite set \(\{v_{1},v_{2},\dots ,v_{m}\}\subset D\) and \(\lambda _{i}\ge 0\), \(i\in \{1,2,\dots ,m\}\) with \(\sum_{i=1}^{m} \lambda _{i}=1\) such that

That is,

which implies that by (b1), (c1), and (c4)

which is a contradiction. Hence \(P:D\to 2^{D}\) is a KKM mapping. Since \(\overline{P(v)}^{w}\) is a weakly closed subset of the bounded set *D*, it is weakly compact. It follows from Lemma 2.2 that \(\bigcap_{v\in D}\overline{P(v)}^{w}\neq \emptyset \). Let \(\hat{w}\in \bigcap_{v\in D}\overline{P(v)}^{w}\). Thus there is a sequence \(\{w_{m}\}_{m\in \mathbb{N}}\subseteq P(v)\), \(\forall v\in D\), such that \(w_{m}\rightharpoonup \hat{w}\in D\) as \(m\to \infty \). It follows that

and further

By (c1), (c2), and (2.1), we gain that (3.1) holds. Namely, (3.1) possesses a solution \(\hat{w}\in D\) for any \(u_{0}\in D\). Now we prove the uniqueness of solution for (3.1) with respect to \(u_{0}\in D\). Suppose that \(\overline{w}\in D\setminus \{\hat{w}\}\) is also a solution of (3.1) with respect to \(u_{0}\in D\). It follows that

Taking \(v=\overline{w}\) in (3.1), \(v=\hat{w}\) in (3.2) and adding them together, we get that in view of (c3),

which implies that \(\beta \le 0\), a contradiction. That is, *ŵ* is the unique solution of (3.1) with respect to \(u_{0}\in D\). It follows that there exists a mapping \(f:D\to D\) such that for each \(u_{0}\in D\), \(fu_{0}\) is the unique solution of (3.1).

Secondly, for each \(u_{1}\in D\), we show that there exists a unique \(w_{0}\in D\) satisfying

In fact, for every \(x,y\in D\), there exist \(w_{1}=f(x)\), \(w_{2}=f(y)\) such that

for each \(v\in D\). Taking \(v=w_{2}\) in (3.4), \(v=w_{1}\) in (3.5) and adding these two inequalities, we know that by (b2), (b3), (c3), and (c4),

which means that

It follows from (c4) that *f* is a contraction mapping on *D* and so it has a unique fixed point \(w_{0}\in D\) satisfying (3.3) according to the Banach’s fixed point theorem. We now verify that \(w_{0}\) is the unique solution of (3.3) relative to \(u_{1}\in D\). Suppose that \(w'_{0}\in D\setminus \{w_{0}\}\) is another solution of (3.3) relative to \(u_{1}\in D\), that is,

Take \(v=w'_{0}\) in (3.3), \(v=w_{0}\) in (3.6) and add (3.3) and (3.6). Based on (b2), (b3), (c3), and (c4), we conclude that

which contradicts (c4). Therefore, \(w_{0}\) is the unique solution of (3.3) relative to \(u_{1}\in D\). Hence for each \(u_{1}\in D\), there exists a mapping \(h:D\to D\) such that \(hu_{1}\) is the unique solution of (3.3).

Finally, we show that *h* is a compact mapping on *D*. By the definition of *h*, we obtain that

for every \(x,y,v\in D\). Letting \(v=hy\) in (3.7), \(v=hx\) in (3.8) and adding them together, by employing (b1)–(b3) and (c2)–(c4), we arrive at

which reduces to

Since *E* is a compact mapping, it is easy to verify that *h* is also compact. The Schauder’s fixed point theorem yields that there exists some \(u\in D\) such that \(hu=u\). Consequently, \(u\in D\) is a solution of problem (2.2). This completes the proof. □

### Remark 3.1

Theorem 3.1 extends and improves the corresponding results in [1, 6–8, 16, 24]. Not only these variational and variational-like inequalities in [6–8, 16, 24] are replaced by the more generalized nonlinear variational-like inequality (2.2), but also Theorem 3.1 first combines the Banach’s fixed point theorem, Schauder’s fixed point theorem, and FanKKM theorem to establish the existence of solutions for the generalized nonlinear variational-like inequality (2.2).

## Existence and uniqueness of solutions for the auxiliary variational-like inequality and iterative algorithm

In this section, we introduce an auxiliary variational-like inequality and establish an existence and uniqueness theorem of the solution for the auxiliary variational-like inequality by applying the minimax inequality due to Ding–Tan [9]. Based on this theorem, we suggest a new iterative algorithm to compute the approximate solutions of the generalized nonlinear variational-like inequality (2.2).

Let \(K:D\to \mathbb{R}\cup \{+\infty \}\) be a given Fréchet differentiable *η*-strongly convex functional and \(\rho >0\) be a constant. Let *θ* be a constant in \([0,1]\) and *x* be any fixed element in *D*. For each \(u\in D\), we consider the following auxiliary variational-like inequality: Find \(w\in D\) such that

### Theorem 4.1

*Let* \(E,F:D\to B^{*}\), \(N:B^{*}\times B^{*}\to B^{*}\), \(\eta :D\times D\to B\), \(g:D\to D\)*be five mappings and* \(b:D\times D\to \mathbb{R}\cup \{\pm \infty \}\)*be a functional satisfying* (*b*1)*–*(*b*3). *Let* \(K:D\to \mathbb{R}\cup \{+\infty \}\)*be a differentiable functional*. *If* (*c*1), (*c*2) *and the following conditions hold*:

(d1) *N* *is* *η*-*strongly monotone with respect to* *F* *in the second argument with a constant* \(\beta >0\);

(d2) \(\eta (u,v)=\eta (u,w)+\eta (w,v)\), \(\forall u,v,w\in D\);

(d3) *K* *is* *η*-*strongly convex with a constant* \(\mu >0\)*and* \(K'\)*is sequentially continuous from the weak topology to the strongly topology*,

*then the auxiliary variational*-*like inequality* (4.1) *processes a solution in* *D* *with respect to* \(u\in D\).

### Proof

Let *x* be any fixed element in *D*. For each \(u\in D\), define a functional \(\varphi :D\times D\to \mathbb{R}\cup \{\pm \infty \}\) by

It is not difficult to verify that condition (a) of Lemma 2.4 is satisfied. Next, we claim that \(\varphi (v,w)\) satisfies condition (b) of Lemma 2.4. If it were false, there would exist a finite set \(\{v_{1},\dots ,v_{m}\}\subset D\) and \(w=\sum_{i=1}^{m}\lambda _{i} v_{i}\) with \(\lambda _{i}\geq 0\) and \(\sum_{i=1}^{m}\lambda _{i}=1\) such that \(\varphi (v_{i},w)>0\) for any \(i\in \{1,2,\dots ,m\}\). It follows from this that

which is impossible. Hence condition (b) of Lemma 2.4 is fulfilled. For a given \(v^{*}\in D\), put \(X=\{v^{*}\}\) and \(Y=\{w\in D: \|v^{*}-w\|\le R\}\), where \(R=\frac{1}{(1-\theta )\mu +\theta \rho \beta }[(1-\theta )\delta \|K'(u)-K'(v^{*}) \| +\theta \rho \delta \|N(Ex,Fv^{*})\|+\theta \rho \gamma \|gu\|]\). It is clear that *X* and *Y* are both weakly compact convex subsets of *D*. By virtue of (b2), (b3), (c2), (d1), and (d3), we gain that for each \(w\in D\setminus Y\), there is a \(v^{*}\in \mathrm{co}(X\cup \{w\})\) such that

Thus, condition (c) of Lemma 2.4 holds as well. As a result, Lemma 2.4 ensures that there exists some \(w\in D\) such that \(\varphi (v,w)\leq 0\) for all \(v\in D\), namely, the auxiliary problem (4.1) has a solution \(w\in D\) with respect to \(u\in D\). Now we prove the uniqueness of the solution for the auxiliary problem (4.1) with respect to \(u\in D\). Suppose that \(\overline{w}\in D\setminus \{w\}\) is another solution of the auxiliary problem (4.1) relative to \(u\in D\). It follows that

Taking \(v=\overline{w}\) in (4.1), \(v=w\) in (4.2) and adding them together, we obtain by (d1)–(d3) that

which implies that \((1-\theta )\mu +\theta \rho \beta \le 0\), a contradiction. Therefore, *w* is the unique solution of the auxiliary problem (4.1) relative to \(u\in D\). This completes the proof. □

Based on Theorem 4.1, we suggest the following iterative algorithm for the generalized nonlinear variational-like inequality (2.2).

### Algorithm 4.1

For given \(u_{0},v_{0}\in D\), compute \(\{u_{n},v_{n},w_{n}\}_{n\in \omega }\) by the following iterative scheme:

where \(\rho >0\) is a constant, \(\{\alpha _{n}\}_{n\in \omega }\), \(\{\beta _{n}\}_{n\in \omega }\), and \(\{\gamma _{n}\}_{n\in \omega }\) are arbitrary sequences in \([0,1]\) with

### Remark 4.1

Obviously, Algorithm 4.1 is much more novel than the corresponding algorithms of Ansari–Yao [1], Ding [7, 8], Liu–Chen–Kang–Ume [12], Liu–Ume–Kang [13], Yao [16], Zeng [24], and Zhang–Liu–Kang [25].

## Convergence of Algorithm 4.1

Now we discuss the convergence of the iterative sequences \(\{u_{n}\}_{n\in \omega }\), \(\{v_{n}\}_{n\in \omega }\), and \(\{w_{n}\}_{n\in \omega }\) generated by Algorithm 4.1 depending on the existence of solutions for the generalized nonlinear variational-like inequality (2.2).

### Theorem 5.1

*Let* \(E,F:D\to B^{*}\), \(N:B^{*}\times B^{*}\to B^{*}\), \(\eta :D\times D\to B\), \(g:D\to D\)*be mappings and* \(b:D\times D\to \mathbb{R}\cup \{\pm \infty \}\)*be a functional satisfying* (*b*1)*–*(*b*3). *Let* \(K:D\to \mathbb{R}\cup \{+\infty \}\)*be a differentiable functional*. *Assume that* (*c*1)*–*(*c*3), (*d*2), (*d*3) *hold and*

(e1) *N* *is Lipschitz continuous in the second argument with constants* \(s>0\), *and* *E*, *F* *are Lipschitz continuous with constants* \(l>0\), \(t>0\), *respectively*.

*Then* (*a*) *if*

*then the generalized nonlinear variational*-*like inequality* (2.2) *has a unique solution* \(u\in D\);

(*b*) *for each* \(\rho >0\), \(n\in \omega \)*and* \(u_{0},v_{0}\in D\), (4.3) *has a unique solution* \(w_{n}\in D\)*with respect to* \(u_{n}\in D\), (4.4) *has a unique solution* \(v_{n+1}\in D\)*with respect to* \(w_{n}\in D\), (4.5) *has a unique solution* \(u_{n+1}\in D\)*with respect to* \(v_{n+1}\in D\);

(*c*) *moreover*, *if*

*then the sequences* \(\{u_{n}\}_{n\in \omega }\), \(\{v_{n}\}_{n\in \omega }\), *and* \(\{w_{n}\}_{n\in \omega }\)*defined by Algorithm *4.1*all strongly converge to* *u*.

### Proof

(a) Note that (d2) implies that \(\eta (u,u)=0\) and \(\eta (u,v)=-\eta (v,u)\) for all \(u,v\in D\). As in the proof of Theorem 3.1, by (3.9) and the Lipschitz continuity of *E*, we conclude that

which together with (5.1) means that *h* is a contraction mapping on *D* and hence it has a unique fixed point \(u\in D\) solving problem (2.2). We show the uniqueness of the solution for problem (2.2). Suppose that \(\hat{u}\in D\setminus \{u\}\) is also a solution of problem (2.2). It follows that

Taking \(v=\hat{u}\) in (2.2), \(v=u\) in (5.3) and adding them together, by combining (b2), (b3), (c2), (c3), (d2), and (e1), we arrive at

which means that \(\alpha \delta l-\beta +\gamma r\ge 0\), contradicting (5.1). Consequently, *u* is the unique solution of problem (2.2).

(b) Similarly as in the proof of Theorem 4.1, it is easy to get that (b) holds.

(c) Let *u* be the solution of problem (2.2). Define \(C:D\to \mathbb{R}\cup \{+\infty \}\) by

Since \(K'\) is *η*-strongly convex, we infer that

Setting \(v=u\) in (4.3), we get that

for all \(n\in \omega \), where \(\theta _{1}\) and \(\theta _{2}\) are defined in (4.6). By using a similar argument, we can easily prove that

for all \(n\in \omega \). Thus we have

for each \(n\in \omega \). It follows from (5.2) that

Hence (5.5) and (5.6) yield that the sequence \(\{C(u_{n})\}_{n\in \omega }\) is nonincreasing, (5.4) ensures it is nonnegative, thus it converges to some number. Letting \(n\to \infty \) in (5.5), we conclude that \(\lim_{n\to \infty }\|u_{n}-u\|=\lim_{n\to \infty }\|w_{n}-u\|=\lim_{n \to \infty }\|v_{n+1}-u\|=0\). That is, the sequences \(\{u_{n}\}_{n\in \omega }\), \(\{w_{n}\}_{n\in \omega }\) and \(\{v_{n}\}_{n\in \omega }\) strongly converge to *u* as \(n\to \infty \). This completes the proof. □

## References

Ansari, Q.H., Yao, J.C.: Iterative schemes for solving mixed variational-like inequalities. J. Optim. Theory Appl.

**108**, 527–541 (2001)Aussel, D., Van, K.C., Salas, D.: Quasi-variational inequality problems over product sets with quasi-monotone operators. SIAM J. Optim.

**29**, 1558–1577 (2019)Ceng, L.C., Petrusel, A., Yao, J.C., Yao, Y.: Hybrid viscosity extragradient method for systems of variational inequalities, fixed points of nonexpansive mappings, zero points of accretive operators in Banach spaces. Fixed Point Theory

**19**, 487–502 (2018)Ceng, L.C., Petrusel, A., Yao, J.C., Yao, Y.: Systems of variational inequalities with hierarchical variational inequality constraints for Lipschitzian pseudocontractions. Fixed Point Theory

**20**, 113–133 (2019)Chang, S.S., Xiang, S.W.: On the existence of solutions for a class of quasi-bilinear variational inequalities. J. Syst. Sci. Math. Sci.

**16**, 136–140 (1996) (in Chinese)Cohen, G.: Auxiliary problem principle extend to variational inequalities. J. Optim. Theory Appl.

**59**, 325–333 (1988)Ding, X.P.: Algorithm of solutions for mixed nonlinear variational-like inequalities in reflexive Banach spaces. Appl. Math. Mech.

**19**, 521–529 (1998)Ding, X.P.: General algorithm for nonlinear variational-like inequalities in reflexive Banach spaces. Indian J. Pure Appl. Math.

**29**, 109–120 (1998)Ding, X.P., Tan, K.K.: A minimax inequality with applications to existence of equilibrium point and fixed point theorem. Colloq. Math.

**63**, 233–247 (1992)Fan, K.: A generalization of Tychonoff’s fixed point theorem. Math. Ann.

**142**, 305–310 (1961)Hieu, D.V., Quy, P.K.: An inertial modified algorithm for solving variational inequalities. RAIRO Oper. Res.

**54**, 163–178 (2020)Liu, Z., Chen, Z.S., Kang, S.M., Ume, J.S.: Existence and iterative approximations of solutions for mixed quasi-variational-like inequalities in Banach spaces. Nonlinear Anal.

**69**, 3259–3272 (2008)Liu, Z., Ume, J.S., Kang, S.M.: Generalized nonlinear variational-like inequalities in reflexive Banach spaces. J. Optim. Theory Appl.

**126**, 157–174 (2005)Shehu, Y., Iyiola, O.S., Akaligwo, E.: Modified inertial methods for finding common solutions to variational inequality problems. Fixed Point Theory

**20**, 683–702 (2019)Thakur, B.S., Postolache, M.: Existence and approximation of solutions for generalized extended nonlinear variational inequalities. J. Inequal. Appl.

**2013**, Art. No. 590 (2013)Yao, J.C.: Existence of generalized variational inequalities. Oper. Res. Lett.

**15**, 35–40 (1994)Yao, Y., Postolache, M.: Iterative methods for pseudomonotone variational inequalities and fixed point problems. J. Optim. Theory Appl.

**155**, 273–287 (2012)Yao, Y., Postolache, M., Liou, Y.C.: Variant extragradient-type method for monotone variational inequalities. Fixed Point Theory Appl.

**2013**, Art. No. 185 (2013)Yao, Y., Postolache, M., Liou, Y.C., Yao, Z.: Construction algorithms for a class of monotone variational inequalities. Optim. Lett.

**10**, 1519–1528 (2016)Yao, Y., Postolache, M., Yao, J.C.: An iterative algorithm for solving generalized variational inequalities and fixed points problems. Mathematics

**7**, Art. No. 61 (2019)Yao, Y., Postolache, M., Yao, J.C.: Iterative algorithms for generalized variational inequalities. UPB Sci. Bull., Ser. A

**81**, 3–16 (2019)Yao, Y., Postolache, M., Yao, J.C.: Iterative algorithms for pseudomonotone variational inequalities and fixed point problems of pseudocontractive operators. Mathematics

**7**, Article ID 1189 (2019)Yao, Y., Postolache, M., Yao, J.C.: Strong convergence of an extragradient algorithm for variational inequality and fixed point problems. UPB Sci. Bull., Ser. A

**82**, 3–12 (2020)Zeng, L.C.: Iterative algorithm for finding approximate solutions of a class of mixed variational-like inequalities. Acta Math. Appl. Sin.

**20**, 477–486 (2004)Zhang, L.L., Liu, Z., Kang, S.M.: On solvability of generalized nonlinear variational-like inequalities. J. Korean Math. Soc.

**45**, 163–176 (2008)Zhao, X., Yao, J.C., Yao, Y.: A proximal algorithm for solving split monotone variational inclusions. UPB Sci. Bull., Ser. A

**82**, 43–52 (2020)

### Acknowledgements

We are greatly indebted to the anonymous referee for helpful comments and stimulating hints.

### Availability of data and materials

Not applicable.

## Funding

This work was supported by the National Natural Science Foundation of China (No. 41701616).

## Author information

### Authors and Affiliations

### Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Gao, H., Wang, L. & Zhao, L. Solvability and algorithms of generalized nonlinear variational-like inequalities in reflexive Banach spaces.
*J Inequal Appl* **2020**, 224 (2020). https://doi.org/10.1186/s13660-020-02490-x

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-020-02490-x

### MSC

- 47J20

### Keywords

- Generalized nonlinear variational-like inequality
- Banach’s fixed point theorem
- Schauder’s fixed point theorem
- FanKKM theorem
- Iterative algorithm
- Auxiliary principle technique
- Minimax inequality
- Reflexive Banach space