 Research
 Open access
 Published:
Uniform mean convergence theorems for hybrid mappings in Hilbert spaces
Fixed Point Theory and Applications volume 2012, Article number: 193 (2012)
Abstract
Using the notion of sequences of means on the Banach space of all bounded real sequences, we prove mean and uniform mean convergence theorems for pointwise convergent sequences of hybrid mappings in Hilbert spaces.
MSC:47H25, 47H09, 47H10, 40H05.
1 Introduction
Using the notion of asymptotically invariant sequences of means on {l}^{\mathrm{\infty}}, we obtain a mean convergence theorem for pointwise convergent sequences of hybrid mappings in Hilbert spaces. By assuming the strong regularity on the sequences of means, we also obtain a uniform mean convergence theorem.
In 1975, Baillon [1] established a nonlinear ergodic theorem for nonexpansive mappings in Hilbert spaces. Several results related to Baillon’s ergodic theorem have been obtained since then; see, for instance, [2–8] and the references therein. Especially, using the notion of asymptotically invariant nets of means on semitopological semigroups, Hirano, Kido, and Takahashi [4] and Lau, Shioji, and Takahashi [5] generalized Baillon’s ergodic theorem to commutative and noncommutative semigroups of nonexpansive mappings in Banach spaces, respectively.
On the other hand, Akatsuka, Aoyama, and Takahashi [9] obtained another generalization of Baillon’s ergodic theorem for pointwise convergent sequences of nonexpansive mappings in Hilbert spaces. Their result was applied to the problem of approximating common fixed points of countable families of nonexpansive mappings. Recently, the authors [10] generalized some results in [9] for pointwise convergent sequences of hybrid mappings in the sense of [11].
The aim of the present paper is to obtain further generalizations of the results in [9, 10] by using a sequence \{{\mu}_{n}\} of means on {l}^{\mathrm{\infty}}. In particular, by assuming the strong regularity on \{{\mu}_{n}\}, we prove a uniform mean convergence theorem (Theorem 3.5) for pointwise convergent sequences of hybrid mappings in Hilbert spaces.
Our paper is organized as follows. In Section 2, we recall some definitions and some preliminary results. In Section 3, we prove mean convergence theorems by using sequences of means on {l}^{\mathrm{\infty}}; see Theorems 3.4 and 3.5. In Section 4, we obtain some consequences of Theorem 3.5; see Theorems 4.1, 4.2, and 4.3. In Section 5, we give two applications of Theorem 4.3.
2 Preliminaries
Throughout the present paper, every linear space is real. We denote the sets of all nonnegative integers and all real numbers by ℕ and ℝ, respectively. For a Banach space X, the conjugate space of X is denoted by {X}^{\ast}. We denote the norms of X and {X}^{\ast} by \parallel \cdot \parallel. For a sequence \{{x}_{n}\} of a Banach space X and x\in X, strong and weak convergence of \{{x}_{n}\} to x are denoted by {x}_{n}\to x and {x}_{n}\rightharpoonup x, respectively. For a sequence \{{x}_{n}^{\ast}\} of {X}^{\ast} and {x}^{\ast}\in {X}^{\ast}, weak^{∗} convergence of \{{x}_{n}^{\ast}\} to {x}^{\ast} is also denoted by . The inner product of a Hilbert space H is denoted by \u3008\cdot ,\cdot \u3009. For a subset A of a Hilbert space H, the closure of the convex hull of A is denoted by \overline{co}\phantom{\rule{0.2em}{0ex}}A.
Let C be a nonempty subset of a Hilbert space H, and let \lambda \in \mathbb{R}. A mapping T:C\to H is said to be λhybrid [11] if
for all x,y\in C. It is obvious that the following hold: T is 1hybrid if and only if it is nonexpansive; T is 0hybrid if and only if it is nonspreading in the sense of [12]; T is 1/2hybrid if and only if it is a hybrid mapping in the sense of [13]. It is also known that if T is firmly nonexpansive, then it is λhybrid for all \lambda \in [0,1]; see [[11], Lemma 3.1]. It should be noted that if T:C\to H is λhybrid for some \lambda >1, then T is the identity mapping on C. Indeed, by setting x=y\in C in (2.1), we have
Since 1\lambda <0, we obtain Tx=x.
We denote the set of all λhybrid mappings of C into H by {H}_{\lambda}(C,H). We also denote by {H}_{\lambda}(C) the set of all λhybrid mappings of C into itself. The set of all fixed points of a mapping T:C\to H is denoted by F(T). A mapping T:C\to H is said to be quasinonexpansive if F(T) is nonempty and \parallel uTx\parallel \le \parallel ux\parallel for all u\in F(T) and x\in C. It is well known that F(T) is closed and convex if T:C\to H is quasinonexpansive and C is closed and convex. It is obvious that if T\in {H}_{\lambda}(C,H) for some \lambda \in \mathbb{R} and F(T) is nonempty, then T is quasinonexpansive. We denote the identity mapping on C by I or {T}^{0}, where T:C\to H is a mapping.
Let C be a nonempty closed convex subset of a Hilbert space H. Then for each x\in H, there exists a unique {z}_{x}\in C such that \parallel {z}_{x}x\parallel ={min}_{y\in C}\parallel yx\parallel. The metric projection {P}_{C} of H onto C is defined by {P}_{C}x={z}_{x} for all x\in H. For x\in H and z\in C, the following holds:
We know the following lemma.
Lemma 2.1 ([[14], Lemma 3.2])
Let S be a nonempty closed convex subset of a Hilbert space H and \{{x}_{n}\} a sequence of H such that \parallel u{x}_{n+1}\parallel \le \parallel u{x}_{n}\parallel for all u\in S and n\in \mathbb{N}. Then \{{P}_{S}{x}_{n}\} converges strongly.
Let {l}^{\mathrm{\infty}} be the Banach space of all bounded real sequences with supremum norm. For \mu \in {({l}^{\mathrm{\infty}})}^{\ast} and f=(f(0),f(1),\dots )\in {l}^{\mathrm{\infty}}, the value \mu (f) is also denoted by
A bounded linear functional μ on {l}^{\mathrm{\infty}} is said to be a mean on {l}^{\mathrm{\infty}} if \parallel \mu \parallel =\mu (e)=1, where e=(1,1,\dots ). It is known that if μ is a mean on {l}^{\mathrm{\infty}}, then \mu (f)\le \mu (g) whenever f,g\in {l}^{\mathrm{\infty}} satisfy f(k)\le g(k) for all k\in \mathbb{N}. It is also known that the HahnBanach theorem ensures that there exists a mean μ on {l}^{\mathrm{\infty}} such that
for all f\in {l}^{\mathrm{\infty}}, where (f(k+1))=(f(1),f(2),\dots ); see [[8], Theorem 1.4.3]. Such a mean μ is called a Banach limit. If μ is a Banach limit and f\in {l}^{\mathrm{\infty}} is convergent, then \mu (f)={lim}_{k}f(k).
For p\in \mathbb{N}, the bounded linear operator {r}_{p} of {l}^{\mathrm{\infty}} into itself is defined by ({r}_{p}f)(k)=f(k+p) for all f\in {l}^{\mathrm{\infty}} and k\in \mathbb{N}. The conjugate operator of {r}_{p} is denoted by {r}_{p}^{\ast}; that is, it is the bounded linear operator of {({l}^{\mathrm{\infty}})}^{\ast} into itself defined by ({r}_{p}^{\ast}\mu )(f)=\mu ({r}_{p}f) for all \mu \in {({l}^{\mathrm{\infty}})}^{\ast} and f\in {l}^{\mathrm{\infty}}. A sequence \{{\mu}_{n}\} of means on {l}^{\mathrm{\infty}} is said to be asymptotically invariant if , that is,
for all f\in {l}^{\mathrm{\infty}}. It is also said to be strongly regular if \parallel {r}_{1}^{\ast}{\mu}_{n}{\mu}_{n}\parallel \to 0, that is,
Some examples of strongly regular sequences of means on {l}^{\mathrm{\infty}} are shown in Sections 4 and 5. See [15] on asymptotically invariant nets of means and [2, 4–8] on the nonlinear ergodic theory for nonexpansive mappings with asymptotically invariant nets of means. The following lemma is well known.
Lemma 2.2 Let \{{\mu}_{n}\} be an asymptotically invariant sequence of means on {l}^{\mathrm{\infty}} and \{{\mu}_{{n}_{\alpha}}\} a subnet of \{{\mu}_{n}\} such that . Then μ is a Banach limit.
For the sake of completeness, we give the proof.
Proof Since the norm of {({l}^{\mathrm{\infty}})}^{\ast} is weakly^{∗} lower semicontinuous and for each n\in \mathbb{N}, we have . On the other hand, since and {\mu}_{n}(e)=1 for each n\in \mathbb{N}, we obtain \mu (e)={lim}_{\alpha}{\mu}_{{n}_{\alpha}}(e)=1. This implies that 1=\mu (e)\le \parallel \mu \parallel. Hence, μ is a mean on {l}^{\mathrm{\infty}}.
Fix f\in {l}^{\mathrm{\infty}}. Since and \{{\mu}_{n}\} is asymptotically invariant, we have
Thus, μ is a Banach limit. □
Let H be a Hilbert space, μ a mean on {l}^{\mathrm{\infty}}, and \{{x}_{n}\} a bounded sequence of H. Since the functional y\mapsto {[\mu ]}_{k}\u3008{x}_{k},y\u3009 belongs to {H}^{\ast}, Riesz’s theorem ensures that there corresponds a unique z\in H such that
for all y\in H; see [[7], Theorem 1] and [[8], Section 3.3]. We denote such a point z by
In other words, it is a unique element of H such that
for all y\in H. In this case, it is known that ; see [7, 8] for more details. It is easy to see that if μ is a Banach limit and \{{x}_{n}\} is a sequence of H which converges weakly to p\in H, then G(\{{x}_{k}\},\mu )=p. We need the following lemma in the proof of Theorem 3.1.
Lemma 2.3 Let H be a Hilbert space, \{{x}_{n}\} a bounded sequence of H, \{{y}_{n}\} a strongly convergent sequence of H, and ({\beta}_{n}) a convergent sequence of real numbers. Then {[\mu ]}_{n}({\beta}_{n}\u3008{x}_{n}{x}_{n+1},{y}_{n}\u3009)=0 for each Banach limit μ.
Proof Let μ be a Banach limit. Set y={lim}_{n}{y}_{n} and \beta ={lim}_{n}{\beta}_{n}. Since μ is a Banach limit and the second and third terms of the righthand side of the equality
tend to 0, we have {[\mu ]}_{n}({\beta}_{n}\u3008{x}_{n}{x}_{n+1},{y}_{n}\u3009)=\beta {[\mu ]}_{n}\u3008{x}_{n}{x}_{n+1},y\u3009=0. □
3 Mean convergence theorems
In this section, we show mean convergence theorems for a pointwise convergent sequence of mappings in {\bigcup}_{\lambda \in \mathbb{R}}{H}_{\lambda}(C).
Throughout this section, we suppose the following conditions:

C is a nonempty closed convex subset of a Hilbert space H;

({\lambda}_{n}) is a sequence of real numbers which tends to \lambda \in \mathbb{R};

\{{T}_{n}\} is a sequence of mappings such that {T}_{n}\in {H}_{{\lambda}_{n}}(C) for all n\in \mathbb{N} and \{{T}_{n}x\} converges strongly for all x\in C;

T is a mapping of C into itself defined by Tx={lim}_{n}{T}_{n}x for all x\in C;

\{{x}_{n}\} is a sequence of C defined by {x}_{0}\in C and {x}_{n+1}={T}_{n}{x}_{n} for all n\in \mathbb{N}.
Motivated by [7–10, 12], we first show the following fundamental theorem.
Theorem 3.1 If \{{x}_{n}\} is bounded, then G(\{{x}_{k}\},\mu ) is a fixed point of T for each Banach limit μ.
Proof Let μ be a Banach limit. Set z=G(\{{x}_{k}\},\mu ). Since and C is closed and convex, we have z\in C. By assumption,
is finite. Since each {T}_{n} is {\lambda}_{n}hybrid, we have
for all n\in \mathbb{N}. By Lemma 2.3, we have
By (3.2), (3.3), and {T}_{n}z\to Tz, we obtain
On the other hand, by the definition of z, we also know that
It follows from (3.4) and (3.5) that 0\le {\parallel Tzz\parallel}^{2}. Therefore, z is a fixed point of T. □
Using Lemma 2.1 and Theorem 3.1, we next show the following theorem.
Theorem 3.2 Suppose that F(T) is nonempty and F(T)={\bigcap}_{n=0}^{\mathrm{\infty}}F({T}_{n}). Then \{{x}_{n}\} is bounded, \{{P}_{F(T)}{x}_{n}\} is strongly convergent, and
for each Banach limit μ.
Proof Let μ be a Banach limit. It is obvious that T\in {H}_{\lambda}(C). Hence, F(T) is a nonempty closed convex subset of H, and hence {P}_{F(T)} is well defined. We denote {P}_{F(T)} by P. Since each {T}_{n} is quasinonexpansive and F(T)\subset F({T}_{n}), we have
for all u\in F(T) and n\in \mathbb{N}. It also follows from (3.7) that \{{x}_{n}\} is bounded. According to Theorem 3.1, we know that G(\{{x}_{k}\},\mu ) is a fixed point of T. Using Lemma 2.1 and (3.7), we also know that \{P{x}_{n}\} converges strongly to some w\in F(T).
Set z=G(\{{x}_{k}\},\mu ). By the definition of P and (3.7), we have
for all n\in \mathbb{N}. On the other hand, it follows from z\in F(T) and (2.3) that
for all n\in \mathbb{N}. This gives us that
for all n\in \mathbb{N}. By (3.8) and (3.10), we have
for all n\in \mathbb{N}. Consequently, we obtain
Therefore, z=w. □
As a direct consequence of Theorems 3.1 and 3.2, we can obtain the following corollary for a single hybrid mapping.
Corollary 3.3 Suppose that x\in C and S\in {H}_{\gamma}(C) for some \gamma \in \mathbb{R}. Then the following hold:

(i)
if \{{S}^{n}x\} is bounded, then F(S) is nonempty and G(\{{S}^{k}x\},\mu ) is a fixed point of S for each Banach limit μ;

(ii)
if F(S) is nonempty, then \{{S}^{n}x\} is bounded, \{{P}_{F(S)}{S}^{n}x\} is strongly convergent, and
G(\left\{{S}^{k}x\right\},\mu )=\underset{n\to \mathrm{\infty}}{lim}{P}_{F(S)}{S}^{n}x(3.13)
for each Banach limit μ.
Using the notion of an asymptotically invariant sequence of means on {l}^{\mathrm{\infty}}, we next show the following mean convergence theorem.
Theorem 3.4 Suppose that F(T) is nonempty and F(T)={\bigcap}_{n=0}^{\mathrm{\infty}}F({T}_{n}). Let \{{\mu}_{n}\} be an asymptotically invariant sequence of means on {l}^{\mathrm{\infty}}. Then the sequence
converges weakly to the strong limit of \{{P}_{F(T)}{x}_{n}\}.
Proof By Theorem 3.2, we know that \{{x}_{n}\} is bounded and \{{P}_{F(T)}{x}_{n}\} converges strongly to some w\in F(T).
Let \{{z}_{n}\} be the sequence defined by {z}_{n}={G}_{{\mu}_{n}}(\{{x}_{k}\}) for all n\in \mathbb{N}. Since for all n\in \mathbb{N}, the sequence \{{z}_{n}\} is bounded. Let u be any weak subsequential limit of \{{z}_{n}\}. Then we have a subsequence \{{z}_{{n}_{i}}\} of \{{z}_{n}\} such that {z}_{{n}_{i}}\rightharpoonup u. It follows from \parallel {\mu}_{{n}_{i}}\parallel =1 that there exists a subnet \{{\mu}_{{n}_{{i}_{\alpha}}}\} of \{{\mu}_{{n}_{i}}\} such that . Since \{{\mu}_{{n}_{i}}\} is asymptotically invariant, Lemma 2.2 implies that μ is a Banach limit.
By Theorem 3.2, we know that
This gives us that
for all y\in H. Thus, \{{z}_{{n}_{{i}_{\alpha}}}\} converges weakly to w. On the other hand, since {z}_{{n}_{i}}\rightharpoonup u and \{{z}_{{n}_{{i}_{\alpha}}}\} is a subnet of \{{z}_{{n}_{i}}\}, we know that {z}_{{n}_{{i}_{\alpha}}}\rightharpoonup u. Accordingly, we have u=w. Thus, \{{z}_{n}\} converges weakly to w={lim}_{n}{P}_{F(T)}{x}_{n}. □
As in the proof of [[5], the corollary of Theorem 2], we can also show the following uniform mean convergence theorem in the case when the strong regularity of \{{\mu}_{n}\} is assumed.
Theorem 3.5 Suppose that F(T) is nonempty and F(T)={\bigcap}_{n=0}^{\mathrm{\infty}}F({T}_{n}). Let \{{\mu}_{n}\} be a strongly regular sequence of means on {l}^{\mathrm{\infty}}. Then the sequence
converges weakly to the strong limit of \{{P}_{F(T)}{x}_{n}\} as n\to \mathrm{\infty} uniformly in p\in \mathbb{N}.
Proof Set {z}_{n,p}={G}_{{r}_{p}^{\ast}{\mu}_{n}}(\{{x}_{k}\}) for all n,p\in \mathbb{N}. It is easy to see that {r}_{p}^{\ast}{\mu}_{n} is also a mean on {l}^{\mathrm{\infty}} for all n,p\in \mathbb{N}, and hence \{{z}_{n,p}\} is well defined. By Theorem 3.2, \{{P}_{F(T)}{x}_{n}\} converges strongly to some w\in F(T).
We show that for each y\in H and \epsilon >0, there exists N\in \mathbb{N} such that n,p\in \mathbb{N} and n\ge N imply that \u3008{z}_{n,p}w,y\u3009<\epsilon. Suppose that this assertion does not hold. Then there exist {y}_{0}\in H, {\epsilon}_{0}>0, a strictly increasing sequence \{{n}_{i}\} of ℕ, and a sequence \{{p}_{i}\} of ℕ such that
for all i\in \mathbb{N}.
Set {\eta}_{i}={r}_{{p}_{i}}^{\ast}{\mu}_{{n}_{i}} for all i\in \mathbb{N}. Then \{{\eta}_{i}\} is asymptotically invariant. Indeed, if f\in {l}^{\mathrm{\infty}}, then we have
for all i\in \mathbb{N}. Thus, it follows from the strong regularity of \{{\mu}_{n}\} and (3.19) that {lim}_{i}{[{\eta}_{i}]}_{k}(f(k+1)f(k))=0. Hence, \{{\eta}_{i}\} is asymptotically invariant.
By the definitions of \{{z}_{n,p}\} and \{{\eta}_{i}\}, we have {z}_{{n}_{i},{p}_{i}}={G}_{{\eta}_{i}}(\{{x}_{k}\}) for all i\in \mathbb{N}. By Theorem 3.4, \{{z}_{{n}_{i},{p}_{i}}\} converges weakly to w as i\to \mathrm{\infty}. This contradicts (3.18). □
As a direct consequence of Theorems 3.4 and 3.5, we obtain the following corollary for a single hybrid mapping.
Corollary 3.6 Suppose that x\in C, S\in {H}_{\gamma}(C) for some \gamma \in \mathbb{R}, and F(S) is nonempty. Let \{{\mu}_{n}\} be a sequence of means on {l}^{\mathrm{\infty}}. Then the following hold:

(i)
if \{{\mu}_{n}\} is asymptotically invariant, then the sequence {\{{G}_{{\mu}_{n}}(\{{S}^{k}x\})\}}_{n\in \mathbb{N}} converges weakly to the strong limit of \{{P}_{F(S)}{S}^{n}x\};

(ii)
if \{{\mu}_{n}\} is strongly regular, then the sequence {\{{G}_{{\mu}_{n}}({\{{S}^{k+p}x\}}_{k})\}}_{n,p\in \mathbb{N}} converges weakly to the strong limit of \{{P}_{F(S)}{S}^{n}x\} as n\to \mathrm{\infty} uniformly in p\in \mathbb{N}.
4 Consequences of Theorem 3.5
In this section, using the techniques in [2, 4, 6–8], we obtain some consequences of Theorem 3.5. Throughout this section, we suppose that C, H, ({\lambda}_{n}), λ, \{{T}_{n}\}, T, and \{{x}_{n}\} are the same as in Section 3 and {\bigcap}_{n=0}^{\mathrm{\infty}}F({T}_{n})=F(T)\ne \mathrm{\varnothing}.
We first obtain the following theorem for Cesàro means of sequences.
Theorem 4.1 The sequence {\{{(n+1)}^{1}{\sum}_{k=0}^{n}{x}_{k+p}\}}_{n,p\in \mathbb{N}} converges weakly to the strong limit of \{{P}_{F(T)}{x}_{n}\} as n\to \mathrm{\infty} uniformly in p\in \mathbb{N}.
Proof Let \{{\mu}_{n}\} be the sequence of means on {l}^{\mathrm{\infty}} defined by
for all n\in \mathbb{N} and f\in {l}^{\mathrm{\infty}}. It is well known that \{{\mu}_{n}\} is strongly regular and
for each n,p\in \mathbb{N}; see, for instance, [2], Theorem 5.1, [4], Theorem 5] and [[8], Section 3.5]. Therefore, Theorem 3.5 implies the conclusion. □
Remark 4.1 In [[10], Theorem 4.1], it was shown that \{{z}_{n,0}\} in Theorem 4.1 converges weakly to the strong limit of \{{P}_{F(T)}{x}_{n}\}.
We next obtain the following theorem.
Theorem 4.2 Let ({\rho}_{n}) be a sequence of (0,1) such that {\rho}_{n}\to 1. Then the sequence {\{(1{\rho}_{n}){\sum}_{k=0}^{\mathrm{\infty}}{\rho}_{n}^{k}{x}_{k+p}\}}_{n,p\in \mathbb{N}} converges weakly to the strong limit of \{{P}_{F(T)}{x}_{n}\} as n\to \mathrm{\infty} uniformly in p\in \mathbb{N}.
Proof Let \{{\mu}_{n}\} be the sequence of means on {l}^{\mathrm{\infty}} defined by
for all n\in \mathbb{N} and f\in {l}^{\mathrm{\infty}}. It is well known that \{{\mu}_{n}\} is strongly regular and
for each n,p\in \mathbb{N}; see, for instance, [[2], Theorem 5.2] and [[8], Section 3.5]. Therefore, Theorem 3.5 implies the conclusion. □
By using a strongly regular matrix introduced in [16], we can obtain the following theorem which actually generalizes Theorems 4.1 and 4.2.
Theorem 4.3 Let {({q}_{n,k})}_{n,k\in \mathbb{N}} be a sequence of real numbers such that
(A1) {q}_{n,k}\ge 0 for all n,k\in \mathbb{N};
(A2) {\sum}_{k=0}^{\mathrm{\infty}}{q}_{n,k}=1 for all n\in \mathbb{N};
(A3) {lim}_{n}{\sum}_{k=0}^{\mathrm{\infty}}{q}_{n,k}{q}_{n,k+1}=0.
Then the sequence {\{{\sum}_{k=0}^{\mathrm{\infty}}{q}_{n,k}{x}_{k+p}\}}_{n,p\in \mathbb{N}} converges weakly to the strong limit of \{{P}_{F(T)}{x}_{n}\} as n\to \mathrm{\infty} uniformly in p\in \mathbb{N}.
Proof Let \{{\mu}_{n}\} be the sequence of means on {l}^{\mathrm{\infty}} defined by
for all n\in \mathbb{N} and f\in {l}^{\mathrm{\infty}}. It is well known that \{{\mu}_{n}\} is strongly regular and
for each n,p\in \mathbb{N}; see, for instance, [[2], Theorem 5.3] and [[4], Theorem 7].
For the sake of completeness, we give the proof of this fact. It follows from (A1) that
for all n,m\in \mathbb{N}. It follows from (A2) that {lim}_{k}{q}_{n,k}=0 for all n\in \mathbb{N}. Thus, letting m\to \mathrm{\infty} in (4.7), we have
for all n\in \mathbb{N}. It also holds that
for all n\in \mathbb{N}.
By (4.8), (4.9), and (A3), we have
and hence \{{\mu}_{n}\} is strongly regular. On the other hand, if n,p\in \mathbb{N}, then we have
for all y\in H. Thus, (4.6) holds. Therefore, Theorem 3.5 implies the conclusion. □
5 Applications
In this final section, we give two applications of Theorem 4.3. We first obtain a corollary for a single λhybrid mapping; see Corollary 5.1. We next study the problem of finding common fixed points of sequences of nonexpansive mappings; see Corollary 5.3.
Throughout this section, we suppose that ({\beta}_{n}) is a sequence of (0,1) satisfying {\beta}_{n}\to 0 and {({q}_{n,k})}_{n,k\in \mathbb{N}} is the sequence of real numbers defined by {q}_{0,0}=1, {q}_{0,k}=0 (k\ge 1), and
for n\ge 1. The sequence {({q}_{n,k})}_{n,k\in \mathbb{N}} obviously satisfies (A1)(A3) in Theorem 4.3.
Corollary 5.1 Let C be a nonempty closed convex subset of a Hilbert space H, T\in {H}_{\lambda}(C) for some \lambda \in \mathbb{R} such that F(T) is nonempty, and ({\alpha}_{n}) a sequence of [0,1) such that {\alpha}_{n}\to 0. Let \{{x}_{n}\} be the sequence of C defined by {x}_{0}\in C and
for n\in \mathbb{N}. Then {\{{\sum}_{k=0}^{n}{q}_{n,k}{x}_{k+p}\}}_{n,p\in \mathbb{N}} converges weakly to the strong limit of \{{P}_{F(T)}{x}_{n}\} as n\to \mathrm{\infty} uniformly in p\in \mathbb{N}.
Proof Let \{{T}_{n}\} be the sequence of mapping of C into itself defined by
for all n\in \mathbb{N}. Then it is clear that {x}_{n+1}={T}_{n}{x}_{n} for all n\in \mathbb{N} and {T}_{n}x\to Tx for all x\in C. It is also clear that F({T}_{n})=F(T) for all n\in \mathbb{N} and hence \mathrm{\varnothing}\ne F(T)={\bigcap}_{n=0}^{\mathrm{\infty}}F({T}_{n}).
Since T\in {H}_{\lambda}(C), we know that
for all n\in \mathbb{N} and x,y\in C. Thus, by setting {\lambda}_{n}=\lambda +(1\lambda ){\alpha}_{n} for all n\in \mathbb{N}, we know that {T}_{n}\in {H}_{{\lambda}_{n}}(C) for all n\in \mathbb{N}. It is clear that {\lambda}_{n}\to \lambda.
Since {q}_{n,k}=0 for k\ge n+1, it also holds that {\sum}_{k=0}^{n}{q}_{n,k}{x}_{k+p}={\sum}_{k=0}^{\mathrm{\infty}}{q}_{n,k}{x}_{k+p} for all n,p\in \mathbb{N}. Consequently, Theorem 4.3 implies the conclusion. □
In order to obtain our final result, we need the following theorem, which was originally shown in strictly convex Banach spaces.
Lemma 5.2 ([[17], Lemma 3])
Let C be a nonempty closed convex subset of a Hilbert space H, \{{T}_{n}\} a sequence of nonexpansive mappings of C into H such that {\bigcap}_{n=0}^{\mathrm{\infty}}F({T}_{n}) is nonempty, and ({\gamma}_{n}) a sequence of (0,1) such that {\sum}_{k=0}^{\mathrm{\infty}}{\gamma}_{k}=1. Then the mapping T={\sum}_{k=0}^{\mathrm{\infty}}{\gamma}_{k}{T}_{k} is a nonexpansive mapping of C into H such that F(T)={\bigcap}_{k=0}^{\mathrm{\infty}}F({T}_{k}).
Remark 5.1 If {T}_{n}(C)\subset C for all n\in \mathbb{N} in Lemma 5.2, then T(C)\subset C. Indeed, for each x\in C, we have
and hence T is a selfmapping on C.
As in the proof of [[9], Theorem 3.7], we can show the following corollary.
Corollary 5.3 Let C be a nonempty closed convex subset of a Hilbert space H, \{{S}_{n}\} a sequence of nonexpansive mappings of C into itself such that F={\bigcap}_{k=0}^{\mathrm{\infty}}F({S}_{k}) is nonempty, and ({\gamma}_{n}) a sequence of (0,1) such that {\sum}_{n=0}^{\mathrm{\infty}}{\gamma}_{n}=1. Let \{{x}_{n}\} be the sequence of C defined by {x}_{0}\in C and
for n\in \mathbb{N}. Then {\{{\sum}_{k=0}^{n}{q}_{n,k}{x}_{k+p}\}}_{n,p\in \mathbb{N}} converges weakly to the strong limit of \{{P}_{F}{x}_{n}\} as n\to \mathrm{\infty} uniformly in p\in \mathbb{N}.
Proof Let \{{T}_{n}\} be the sequence of mappings of C into itself defined by
for all n\in \mathbb{N}. It is clear that {x}_{n+1}={T}_{n}{x}_{n} for all n\in \mathbb{N}. Since each {T}_{n} is nonexpansive, we know that {T}_{n}\in {H}_{1}(C) for all n\in \mathbb{N}.
By Lemma 5.2 and Remark 5.1, the mapping T={\sum}_{k=0}^{\mathrm{\infty}}{\gamma}_{k}{S}_{k} is a nonexpansive mapping of C into itself such that F(T)=F. Since F is nonempty by assumption, so is F(T). By Lemma 5.2, we also know that F({T}_{n})={\bigcap}_{k=0}^{n+1}F({S}_{k}) and hence we have
It remains to be seen that {T}_{n}x\to Tx for all x\in C. Fix x\in C. Since F is nonempty, we can fix p\in F. Since for all k\in \mathbb{N}, we know that is finite. By {\sum}_{k=0}^{\mathrm{\infty}}{\gamma}_{k}=1 and the definitions of T and {T}_{n}, we also know that
as n\to \mathrm{\infty}. Thus, {T}_{n}x\to Tx. Consequently, Theorem 4.3 implies the conclusion. □
References
Baillon JB: Un théorème de type ergodique pour les contractions non linéaires dans un espace de Hilbert. C. R. Acad. Sci. Paris Sér. AB 1975, 280: 1511–1514.
Atsushiba S, Lau AT, Takahashi W: Nonlinear strong ergodic theorems for commutative nonexpansive semigroups on strictly convex Banach spaces. J. Nonlinear Convex Anal. 2000, 1: 213–231.
Brézis H, Browder FE: Nonlinear ergodic theorems. Bull. Am. Math. Soc. 1976, 82: 959–961. 10.1090/S000299041976142334
Hirano N, Kido K, Takahashi W: Nonexpansive retractions and nonlinear ergodic theorems in Banach spaces. Nonlinear Anal. 1988, 12: 1269–1281. 10.1016/0362546X(88)900594
Lau AT, Shioji N, Takahashi W: Existence of nonexpansive retractions for amenable semigroups of nonexpansive mappings and nonlinear ergodic theorems in Banach spaces. J. Funct. Anal. 1999, 161: 62–75. 10.1006/jfan.1998.3352
Rodé G: An ergodic theorem for semigroups of nonexpansive mappings in a Hilbert space. J. Math. Anal. Appl. 1982, 85: 172–178. 10.1016/0022247X(82)900324
Takahashi W: A nonlinear ergodic theorem for an amenable semigroup of nonexpansive mappings in a Hilbert space. Proc. Am. Math. Soc. 1981, 81: 253–256. 10.1090/S0002993919810593468X
Takahashi W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama; 2000.
Akatsuka M, Aoyama K, Takahashi W: Mean ergodic theorems for a sequence of nonexpansive mappings in Hilbert spaces. Sci. Math. Jpn. 2008, 68: 233–239.
Aoyama K, Kohsaka F: Fixed point and mean convergence theorems for a family of λ hybrid mappings. J. Nonlinear Anal. Optim. 2011, 2: 85–92.
Aoyama K, Iemoto S, Kohsaka F, Takahashi W: Fixed point and ergodic theorems for λ hybrid mappings in Hilbert spaces. J. Nonlinear Convex Anal. 2010, 11: 335–343.
Kohsaka F, Takahashi W: Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces. Arch. Math. 2008, 91: 166–177. 10.1007/s0001300825458
Takahashi W: Fixed point theorems for new nonlinear mappings in a Hilbert space. J. Nonlinear Convex Anal. 2010, 11: 79–88.
Takahashi W, Toyoda M: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 2003, 118: 417–428. 10.1023/A:1025407607560
Day MM: Amenable semigroups. Ill. J. Math. 1957, 1: 509–544.
Lorentz GG: A contribution to the theory of divergent sequences. Acta Math. 1948, 80: 167–190. 10.1007/BF02393648
Bruck RE Jr.: Properties of fixedpoint sets of nonexpansive mappings in Banach spaces. Trans. Am. Math. Soc. 1973, 179: 251–262.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Aoyama, K., Kohsaka, F. Uniform mean convergence theorems for hybrid mappings in Hilbert spaces. Fixed Point Theory Appl 2012, 193 (2012). https://doi.org/10.1186/168718122012193
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122012193