1. Introduction
Let
be a metric space and
with
. A geodesic path from x to y is an isometry
such that
. The image of a geodesic path is called a geodesic segment. A metric space X is a geodesic space if every two points of X are joined by a geodesic segment. A geodesic triangle
in a geodesic space X consists of three points
of X and three geodesic segments joining each pair of vertices. A comparison triangle of a geodesic triangle
is the triangle
in the Euclidean space
such that
for all
.
A geodesic space X is a CAT(0) space if for each geodesic triangle
in X and its comparison triangle
in
, the CAT(0) inequality
is satisfied by all
and
. The meaning of the CAT(0) inequality is that a geodesic triangle in X is at least as thin as its comparison triangle in the Euclidean plane. It is well-known that any complete and simply connected Riemannian manifold having non-positive sectional curvature is a CAT(0) space. Other examples of CAT(0) spaces include pre-Hilbert spaces, R-trees, Euclidean buildings. A complete CAT(0) space is called a Hadamard space.
Let C be a nonempty set and consider the following composite optimization problem: find
such that
(1)
where
are real-valued functions defined on C. This problem has a typical scenario in linear inverse problems, and it has applications in image reconstruction, machine learning, data recovering and compressed sensing (see [1] - [7] and the references therein).
In the case that X is a real Hilbert space or a real Banach space, problem (1) has been studied by many authors ( [3] [5] [8] - [12]). For example, in 2019, Chang et al. [8] used a modified hybrid algorithm to find a minimizer for problem (1) in Banach spaces without the assumption that the potential function is Fréchet differentiable and its gradient is L-Lipschitz continuous.
Recently, many convergence results for solving optimization problems have been extended from the classical linear spaces to the setting of manifolds. For example, in 2015, Cholamjiak-Abdou-Cho [13] established strong convergence of the sequence to a minimizer of a convex function and to a fixed point of nonexpansive mappings in CAT(0) spaces. Also in 2019, Chang et al. [14] presented a new modified proximal point algorithm for solving the minimization of a convex function and the common fixed points problem for two k-strictly pseudononspreading mappings in Hadamard spaces.
Recall that a mapping
is said to be
(i) nonexpansive, if
(ii) quasi-nonexpansive, if
and
(iii) k-strictly pseudononspreading, if there exists a constant
such that for all
(iv) demicontractive, if
and there exists
such that
Definition 1. An operator
is said to be pseudo-contractive if
Remark 1. The interest of pseudo-contractive operators lies in their connection with monotone mappings, namely, T is a pseudo-contraction if and only if
is a monotone mapping. It is well known that T is pseudo-contractive if and only if
Definition 2. An operator
is said to be quasi-pseudo-contractive if
and
(2)
From the above definitions, it is easy to see that the class of quasi-pseudo-contractive mappings is fundamental. It includes many kinds of nonlinear mappings such as the demicontractive mappings, the quasi-nonexpansive mappings and the k-strictly pseudononspreading with fixed points as special cases. Motivated by the researches above, we establish the convergent results to a minimizer of two convex functions and a common fixed point of quasi-pseudo-contractive mappings in Hadamard spaces. Thus our results generalize the corresponding results of Cholamjiak-Abdou-Cho [13], Chang et al. [14], Ariza-Ruiz et al. [15], Bačák [16], Dhompongsa et al. [17], Khan-Abbas [18] and many others.
2. Preliminaries and Lemmas
We now collect some elementary facts about CAT(0) spaces which will be used in the proofs of our main results. In 1976, Lim [19] introduced the concept of Δ-convergence in a general metric space. Recall that a sequence
in a CAT(0) space X is said to Δ-converge to
if x is the unique asymptotic center of
for every subsequence
of
. A geodesic space
is a CAT(0) space, if and only if
(3)
for all
and all
. Berg and Nikolaev [20] introduced the concept of quasilinearization as follows. Denote a pair
by
and call it a vector. Then quasilinearization is defined as a map
defined by
for all
. It is easy to see that
for all
. It is proved in [20] that a geodesically connected metric space is a CAT(0) space if and only if it satisfies the Cauchy-Schwarz inequality:
Lemma 1. [14] Let X be a Hadamard space. Then for all
and
, we have
(i)
(ii)
(iii)
Definition 3. [14] Let C be a nonempty subset of a Hadamard space X and let be a sequence in X. Then is Fejér monotone respect to C if
Lemma 2. [21] Let be a sequence in a Hadamard space X and let C be a nonempty subset of X. Suppose that is Fejér monotone with respect to C and that every Δ-sequential cluster point of belongs to C. Then Δ-converges to a point in C.
Lemma 3. Let C be a nonempty closed and convex subset of a Hadamard space X and be an L-Lipschizian mapping with. Denote
(4)
If, then the following conclusions hold:
(i)
(ii) If is demiclosed at 0, then is also demiclosed at 0;
(iii) If T is quasi-pseudo-contractive, then the mapping K is quasi-nonexpansive, that is,
Proof. (i) If, it is obvious that. Conversely, if, i.e., , letting, then. Put. Then. Now we prove that. In fact, we have
Since, we have, i.e.,. This shows that . It is obvious that if and only if. The conclusion (1) is proved.
(ii) For any sequence satisfying and. Next we prove that. From conclusion (1), we only need to prove that. In fact, since T is L-Lipschizian, we get
which implies that
Since T is demiclosed at 0, we have. The conclusion (2) is proved.
(iii) Since, we have from (2)
(5)
for all. Since T is L-Lipschitzian, we get
(6)
From (2) and (3), one has
(7)
By (2) and (6), we obtain
(8)
By (5), (7) and (8), we have
(9)
Since, we deduce that. From (9), one gets
(10)
for all and. Combing (2) and (10) one has
which together with implies that
that is,
The proof is completed.
Now we consider the following problem: find a point such that
(11)
where C is a nonempty closed convex set of a Hadamard space X, are proper convex functions and is a quasi-pseudo-contractive mapping. Recall that a function is said to be convex, if for any geodesic joining, the function is convex. If we set
then the problem (11) is equivalent to the problem of finding such that
Define
It is easy to show that the bifunction has the following properties:
(A1);
(A2) F is monotone, i.e.,;
(A3) The function is convex for all;
Define a mapping by
Lemma 4. Let C be a nonempty closed convex subset of a Hadamard space X. Let F be a bifunction satisfying assumptions (A1)-(A3) and
(A4) For each and, there exists a compact subset containing a point such that whenever.
Then, the following conclusions hold:
(a) is well defined in X and is single-valued;
(b) is firmly nonexpansive restricted to C, i.e., ,
(c), where is the solution set of problem (1) (i.e., the set of minimizers of problem (1));
(d) For, one has
(12)
Proof. The result is a special case of Theorem 4 and Theorem 5 in [22], so we omit the proof here.
3. Δ-Convergence Theorems
We are in a position to give our main theorems. Throughout this section we assume that
(1) is a Hadamard space and C is a nonempty closed convex subset of X;
(2) are proper convex functions and the bifunction satisfies the assumption (A4);
(3) is an L-Lipschitzian and quasi-pseudo-contractive mapping with, is demiclosed at 0;
(4) Denote
with.
Theorem 1. Let be the same above. For any given, define the sequence as follows:
(13)
where, are sequences in with . If the solution set of problem (11) is nonempty, then the sequence Δ-converges to a point, which is a minimizer of in C and also a common fixed point of in C.
Proof. Step 1. It follows from Lemma 4 (c) that if, then . Besides, by Lemma 3 (ii) we have is demiclosed at 0.
Step 2. Next we prove that is Fejér monotone with respect to. In fact, by Lemma 4 (b), is firmly nonexpansive, then it is nonexpansive. Let, then one has
(14)
It follows from (13) and (14) that
(15)
From (13), (14) and (15) we obtain
(16)
which implies that is decreasing and bounded below. Thus the limit exists for each. It implies that is Fejér monotone with respect to. Without loss of generality, we can assume that
(17)
Therefore the sequence is bounded and so are the sequences .
Step 3. Now we prove that
(18)
In fact, it follows from (12) that
(19)
Hence in order to prove (18), it suffices to prove that. Indeed, by (16) we get
which can be rewritten as
which together with (17) implies that
(20)
Combing (15) and (17) we obtain
which together with (20) implies that
(21)
Also, by (15) we have
Then one gets
which together with (21) shows that
On the other hand, it follows from (14) that
These imply that. Thus by (19) one has that the equality (18) holds.
Step 4. In this step, we show that
In fact, it follows from (3), (13), (14) and Lemma 3 (iii) that
which together with (3), (13), (14) and Lemma 3 (iii) implies that
After simplifying and by using the condition that, one gets
which shows that
(22)
Thus by (13) and (22), we get
(23)
Furthermore, it follows form (18), (22) and (23) that
(24)
Step 5. Finally, we prove that Δ-converges to some point. Since in the second step, we have shown that is bounded in C and it is Fejér monotone with respect to. Then by Lemma 2, in order to prove Δ-converges to some point in, it suffices to show that every Δ-sequential cluster point of belongs to.
In fact, let be a Δ-sequential cluster point of, then there exits a subsequence of Δ-converging to. From (18) and (23), it follows that and. Since is nonexpansive, is demiclosed at 0. Note that and are also demiclosed at 0 by Lemma 3 (ii). Now by (24) and Lemma 3 (i), we obtain . Therefore, by Lemma 2, Δ-converges to some point in. The proof is completed.
4. Strong Convergence Theorems
Let be a Hadamard space and C be a nonempty closed convex subset of X. Recall that a mapping is said to be demi-compact, if for any bounded sequence in C such that (as), then there is a subsequence such that converges strongly (i.e., in metric topology) to some point in C.
Theorem 2. Let all the conditions in Theorem 1 be satisfied and be demi-compact restricted to C, then the sequence defined by (13) converges strongly to a point.
Proof. Indeed, since is demi-compact restricted to C, it follows from (24) that there is a subsequence such that converges strongly to some point. Since is demiclosed at 0, we have.
Moreover, it follows from (18) and (23) that and as. Since is demi-closed at 0, by (24) we have . Hence. Besides, it follows form (17) that exists. Thus we get. The proof is completed.
Theorem 3. Suppose that all the conditions in Theorem 1 are satisfied. Moreover, let be a nondecreasing function with and
(25)
then the sequence defined by (13) converges strongly to a point.
Proof. It follows form (24) and (25) that
Since is nondecreasing with and, we have
which implies that
Hence is a Cauchy sequence in C. Noting that C is closed and convex in the Hadamard space X, C is also complete. Without loss of generality, we can assume that converges strongly to some point. Then . Besides, since is quasi-nonexpansive and is nonexpansive, it is clear that is closed in C. Thus we get. The proof is completed.
5. Conclusion and Remarks
Let us conclude this paper with some open questions whose answers might largely improve the applicability of the results in this present paper.
Question. Whether or not we can improve the (A4) condition: For each and, there exists a compact subset containing a point
such that whenever, in order to obtain similar results regarding the resolvent operator?
Acknowledgements
The author would like to thank the referees for their pertinent comments and valuable suggestions.