# Explicit Iterative Method for Variational Inequalities on Hadamard Manifolds

Authors: Muhammad Aslam Noor; Khalida Inayat Noor
Journal: Journal of Applied Mathematics
 (2012)

---

## Abstract

An explicit iterative method for solving the variational inequalities on Hadamard manifold is suggested and analyzed using the auxiliary principle technique. The convergence of this new method requires only the partially relaxed strongly monotonicity, which is a weaker condition than monotonicity. Results can be viewed as refinement and improvement of previously known results.


---

## Body

## 1. Introduction

In recent years, much attention has been given to study the variational inequalities and related problems on the Riemannian manifold and Hadamard manifold. This framework is useful for the development of various fields on nonlinear setting. Several ideas and techniques from the Euclidean space have been extended and generalized to this nonlinear framework. Hadamard manifolds are examples of hyperbolic spaces and geodesics, see [1–7] and the references therein. Nemeth [8], Tang et al. [6], and Colao et al. [2] have considered the variational inequalities and equilibrium problems on Hadamard manifolds. They have studied the existence of a solution of the equilibrium problems under some suitable conditions. Several methods have been developed for solving the variational inequalities and related problems in the linear-normed spaces. The auxiliary principle technique is a powerful tool to suggest and analyze several implicit and explicit iterative methods for solving the equilibrium problems and variational inequalities. This technique is due to Glowinski et al. [9]. M. A. Noor and K. I. Noor [10]; Noor et al. [11] have used the auxiliary principle technique to suggest some iterative methods for solving the variational inequalities and equilibrium problems on Hadamard manifolds. We again use the auxiliary principle technique to suggest and analyze an explicit iterative method for solving the variational inequalities, and this is the main motivation of this paper. We show that the convergence of this new method requires only the partially relaxed strongly monotonicity, which is a weaker condition than monotonicity. This represents the refinement of previously known results for the variational inequalities. We hope that the technique and idea of this paper may stimulate further research in this area.


## 2. Preliminaries

We now recall some fundamental and basic concept that need for a reading of this paper. These results and concepts can be found in the books on Riemannian geometry [2, 3, 5].LetM be a simply connected m-dimensional manifold. Given x∈M, the tangent space of M at x is denoted by TxM and the tangent bundle of M by TM=∪x∈MTxM, which is naturally a manifold. A vector field A on M is a mapping of M into TM which associates to each point x∈M a vector A(x)∈TxM. We always assume that M can be endowed with a Riemannian metric to become a Riemannian manifold. We denote by 〈,·,〉 the scalar product on TxM with the associated norm ∥·∥x, where the subscript x will be omitted. Given a piecewise smooth curve γ:[a,b]→M joining x to y (that is, γ(a)=x andγ(b)=y) by using the metric, we can define the length of γ as L(γ)=∫ab‍∥γ′(t)∥dt. Then, for any x,y∈M, the Riemannian distance d(x,y), which includes the original topology on M, is defined by minimizing this length over the set of all such curves joining x to y.LetΔ be the Levi-Civita connection with (M,〈·,·〉). Let γ be a smooth curve in M. A vector field A is said to be parallel along γ if Δγ′A=0. If γ′ itself is parallel along γ, we say that γ is a geodesic, and in this case, ∥γ′∥ is constant. When ∥γ′∥=1, γ is said to be normalized. A geodesic joining x to y in M is said to be minimal if its length equals d(x,y).A Riemannian manifold is complete, if for anyx∈M all geodesics emanating from x are defined for all t∈R. By the Hopf-Rinow theorem, we know that if M is complete, then any pair of points in M can be joined by a minimal geodesic. Moreover, (M,d) is a complete metric space, and bounded closed subsets are compact.LetM be complete. Then the exponential map expx:TxM→M at x is defined by expxv=γv(1,x) for each v∈TxM, where γ(·)=γv(·,x) is the geodesic starting at x with velocity v(i.e.,γ(0)=x and γ′(0)=v). Then expxtv=γv(t,x) for each real number t.A complete simply connected Riemannian manifold of nonpositive sectional curvature is called aHadamard manifold.Throughout the remainder of this paper, we always assume that M is an m-manifold Hadamard manifold.We also recall the following well-known results, which are essential for our work.Lemma 2.1 (see [5]).
Letx∈M. Then expx:TxM→M is a diffeomorphism, and for any two points x,y∈M, there exists a unique normalized geodesic joining x to y,γx,y, which is minimal.So from now on, when referring to the geodesic joining two points, we mean the unique minimal normalized one. Lemma2.1 says that M is diffeomorphic to the Euclidean space Rm. Thus, M has the same topology and differential structure as Rm. It is also known that Hadamard manifolds and euclidean spaces have similar geometrical properties. Recall that a geodesic triangle ∆(x1,x2,x3) of a Riemannian manifold is a set consisting of three points x1, x2, and  x3 and three minimal geodesics joining these points.Lemma 2.2 ([2, 3, 5] (comparison theorem for triangles)).
Let∆(x1,x2,x3) be a geodesic triangle. Denote, for each i=1,2,3(mod3), by γi:[0,li]→M the geodesic joining xi to xi+1, and αi;=L(γi′(0),-γl′(i-1)(li-1)), the angle between the vectors γi′(0) and -γi-1′(li-1), and li;=L(γi). Then
(2.1)α1+α2+α3≤π,(2.2)ll2+li+12-2Lili+1cosαi+1≤li-12.
In terms of the distance and the exponential map, the inequality (2.2) can be rewritten as
(2.3)d2(xi,xi+1)+d2(xi+1,xi+2)-2〈exp⁡xi+1-1xi,exp⁡xi+1-1xi+2〉≤d2(xi-1,xi),
since
(2.4)〈exp⁡xi+1-1xi,exp⁡xi+1-1xi+2〉=d(xi,xi+1)d(xi+1,xi+2)cos⁡αi+1.Lemma 2.3 (see [5]).
Let∆(x,y,z) be a geodesic triangle in a Hadamard manifold M. Then there exist x′,y′,z′∈R2 such that
(2.5)d(x,y)=‖x′-y′‖,d(y,z)=‖y′-z′‖,d(z,x)=‖z′-x′‖.
The triangle ∆(x′,y′,z′) is called the comparison triangle of the geodesic triangle ∆(x,y,z), which is unique up to isometry of M.From the law of cosines in inequality (2.3), one has the following inequality, which is a general characteristic of the spaces with nonpositive curvature [5]:
(2.6)〈exp⁡x-1y,exp⁡x-1z〉+〈exp⁡y-1x,exp⁡y-1z〉≥d2(x,y).
From the properties of the exponential map, one has the following known result.Lemma 2.4 (see [5]).
Letx0∈M and {xn}⊂M such that xn→x0. Then the following assertions hold.(i)
For anyy∈M,
(2.7)exp⁡xn-1y⟶exp⁡xo-1y,exp⁡y-1xn⟶exp⁡y-1xo.(ii)
If{vn} is a sequence such that vn∈TxnM and vn→v0, then v0∈Tx0M.(iii)
Given the sequences{un} and {vn} satisfying un,vn∈TxnM, if un→u0 and vn→v0, with u0,v0∈Tx0M, then
(2.8)〈un,vn〉⟶〈u0,v0〉.A subsetK⊆M is said to be convex if for any two points x,y∈K, the geodesic joining x and y is contained in K,K that is, if γ:[a,b]→M is a geodesic such, that x=γ(a) and y=γ(b), then γ((1-t)a+tb)∈K,forallt∈[0,1]. From now on, K⊆M will denote a nonempty, closed, and convex set, unless explicitly stated otherwise.A real-valued functionf defined on K is said to convex if for any geodesic γ of M, the composition function f∘γ:R→R is convex, that is,
(2.9)(f∘γ)(ta+(1-t)b)≤t(f∘γ)(a)+(1-t)(f∘γ)(b),∀a,b∈R,t∈[0,1].The subdifferential of a functionf:M→R is the set-valued mapping ∂f:M→2TM defined as
(2.10)∂f(x)={u∈TxM:〈u,exp⁡x-1y〉≤f(y)-f(x),∀y∈M},∀x∈M,
and its elements are called subgradients. The subdifferential ∂f(x) at a point x∈M is a closed and convex (possibly empty) Let D(∂f) denote the domain of ∂f defined by
(2.11)D(∂f)={x∈M:∂f(x)≠∅}.The existence of subgradients for convex functions is guaranteed by the following proposition, see [7].Lemma 2.5 (see [5, 7]).
LetM be a Hadamard manifold, and let f:M→R be convex. Then, for any x∈M, the subdifferential ∂f(x) of f at x is nonempty. That is, D(∂f)=M.
For a given single-valued vector fieldT:M→TM, one considers the problem of finding u∈K such that
(2.12)〈Tu,exp⁡u-1v〉≥0,∀v∈K,
which is called the variational inequality. This problem was considered by Nemeth [8], Colao et al. [2], Tang et al. [6], and M. A. Noor and K. I. Noor [10]. They proved the existence of a solution of Problem (2.12) using the KKM maps. In the linear setting, variational inequalities have been studied extensively, see [8–10, 12–26] and the references therein.Definition 2.6.
An operatorT is said to be partially relaxed strongly monotonicity if and only if there exists a constant α>0 such that
(2.13)〈Tu,exp⁡v-1z〉+〈Tv,exp⁡z-1v〉≤αd2(z,u),∀u,v,z∈M.
We note that if z=u, then partially relaxed strongly monotonicity reduces to monotonicity, but the converse is not true.


## 3. Main Results

We now use the auxiliary principle technique of Glowinski et al. [9] to suggest and analyze an explicit iterative method for solving the variational inequality (2.12) on the Hadamard manifold.For a givenu∈K satisfying (2.12), consider the problem of finding w∈K such that
(3.1)〈ρTu+(exp⁡u-1w),exp⁡w-1v〉≥0,∀v∈K,
which is called the auxiliary variational inequality on Hadamard manifolds. We note that if w=u, then w is a solution of the variational inequality (2.12). This observation enables as to suggest and analyze the following proximal point method for solving the variational inequality (2.12).Algorithm 3.1.
For a givenu0, compute the approximate solution by the iterative scheme
(3.2)〈ρTun+(exp⁡un-1un+1),exp⁡un+1-1v〉≥0,∀v∈K.
Algorithm 3.1 is called the explicit iterative method for solving the variational inequality on the Hadamard manifold.IfM=Rn, then Algorithm 3.1 collapses to the following.Algorithm 3.2.
For a givenu0∈K, find the approximate solution un+1 by the iterative scheme
(3.3)〈ρTun+un+1-un,v-un+1〉≥0,∀v∈K,
which is known as the explicit method for solving the variational inequalities. For the convergence analysis of Algorithm 3.2, see [13, 14].We now consider the convergence analysis of Algorithm3.1, and this is the main motivation of our next result.Theorem 3.3.
LetT be a partially relaxed strongly monotone vector field with a constant α>0. Let un+1 be the approximate solution of the variational inequality (2.12) obtained from Algorithm 3.1. Then
(3.4)d2(un+1,u)≤d2(un,u)-(1-2αρ)d2(un+1,un),
where u∈M is the solution of the variational inequality (2.12).Proof .
Letu∈K be a solution of the variational inequality (2.12). Then
(3.5)〈ρT(u),exp⁡u-1v〉≥0,∀v∈K.
Taking v=un+1 in (3.5), we have
(3.6)〈ρT(u),exp⁡u-1un+1〉≥0.
Taking v=u in (3.2), we have
(3.7)〈ρTun+(exp⁡un-1un+1),exp⁡un+1-1u〉≥0.
From (3.6) and (3.7), we have
(3.8)〈exp⁡un+1-1un,exp⁡un+1-1u〉≥-ρ{〈T(u),exp⁡u-1v〉+〈Tun,exp⁡un+1-1u〉}.≥-αρd2(un+1,un).
For the geodesic triangle ∆(un,un+1,u), the inequality (3.2) can be written as
(3.9)d2(un+1,u)+d2(un+1,un)-2〈exp⁡un+1-1un,exp⁡un+1-1u〉≤d2(un,u).
Thus, from (3.8) and (3.9), we obtained the inequality (3.4), the required result.Theorem 3.4.
Letu∈K be a solution of (2.12), and let un+1 be the approximate solution obtained from Algorithm 3.1. If ρ<1/2α, then limn→∞un+1=uProof .
Letu^∈K be a solution of (2.12). Then, from (3.4), it follows that the sequence {un} is bounded and
(3.10)∑n=0∞(1-2αρ)d2(un+1,un)≤d2(u0,u).
It follows that
(3.11)lim⁡n→∞d(un+1,un)=0.
Let u^ be a cluster point of {un}. Then there exits a subsequence {uni} such that {uui} converges to u^. Replacing un+1 by uni in (3.2), taking the limit, and using (3.10), we have
(3.12)〈Tu^,exp⁡u^-1v〉≥0,∀v∈K.
This shows that u^∈K solves (2.12) and
(3.13)d2(un+1,u^)≤d2(un,u^)
which implies that the sequence {un} has an unique cluster point and limn→∞un=u^ is a solution of (2.12), the required result.


## 4. Conclusion

We have used the auxiliary principle technique to suggest and analyze an explicit iterative method for solving the mixed quasivariational inequalities on Hadamard manifolds. Some special cases are also discussed. Convergence analysis of the new proximal point method is proved under weaker conditions. Results obtained in this paper may stimulate further research in this area. The implementation of the new method and its comparison with other methods is an open problem. The ideas and techniques of this paper may be extended for other related optimization problems.



---

*Source: 691806-2012-06-21.xml*