Skip to main content

Banach operator pairs and common fixed points in modular function spaces

Abstract

In this article, we introduce the concept of a Banach operator pair in the setting of modular function spaces. We prove some common fixed point results for such type of operators satisfying a more general condition of nonexpansiveness. We also establish a version of the well-known De Marr's theorem for an arbitrary family of symmetric Banach operator pairs in modular function spaces without Δ2-condition.

MSC(2000)

primary 06F30; 47H09; secondary 46B20; 47E10; 47H10.

1. Introduction

The purpose of this article is to give an outline of fixed point theory for mappings defined on some subsets of modular function spaces which are natural generalization of both function and sequence variants of many important, from applications perspective, spaces like Lebesgue, Orlicz, Musielak-Orlicz, Lorentz, Orlicz-Lorentz, Calderon-Lozanovskii spaces and many others. This article operates within the framework of convex function modulars.

The importance of applications of nonexpansive mappings in modular function spaces lies in the richness of structure of modular function spaces that besides being Banach spaces (or F-spaces in a more general settings) are equipped with modular equivalents of norm or metric notions, and also are equipped with almost everywhere convergence and convergence in submeasure. In many cases, particularly in applications to integral operators, approximation and fixed point results, modular type conditions are much more natural as modular type assumptions can be more easily verified than their metric or norm counterparts. There are also important results that can be proved only using the concepts of modular function spaces. From this perspective, the fixed point theory in modular function spaces should be considered as complementary to the fixed point theory in normed spaces and in metric spaces.

The theory of contractions and nonexpansive mappings defined on convex subsets of Banach spaces is rich (see, e.g., [14]) and has been well developed since the 1960s and generalized to other metric spaces (see, e.g., [57]), and modular function spaces (see, e.g., [811]). The corresponding fixed point results were then extended to larger classes of mappings like asymptotic mappings [12, 13], pointwise contractions [14] and asymptotic pointwise contractions and nonexpansive mappings [1517].

As noted in [16, 18], questions are sometimes asked whether the theory of modular function spaces provides general methods for the consideration of fixed point properties; the situation here is the same as it is in the Banach space setting.

In this article, we introduce the concept of a Banach operator pair in modular function spaces. Then, we investigate the existence of common fixed points for such operators. Believing that the well-known De Marr's theorem [19] is not known yet in the setting of modular function spaces, we establish this classical result in this new setting.

2. Preliminaries

Let Ω be a nonempty set and Σ be a nontrivial σ-algebra of subsets of Ω. Let P be a δ-ring of subsets of Ω, such that EAP for any EP and A Σ. Let us assume that there exists an increasing sequence of sets K n P such that Ω = UK n . By E we denote the linear space of all simple functions with supports from P. By M we will denote the space of all extended measurable functions, i.e., all functions f : Ω → [- ∞, ∞] such that there exists a sequence { g n } E, |g n | ≤ |f| and g n (ω) → f(ω) for all ω Ω. By 1 A we denote the characteristic function of the set A.

Definition 2.1. Let ρ : M [ 0 , ] be a nontrivial, convex and even function. We say that ρ is a regular convex function pseudomodular if:

(i) ρ(0) = 0;

(ii) ρ is monotone, i.e., |f(ω)| ≤ |g(ω)| for all ω Ω implies ρ(f) ≤ ρ(g), where f,g M ;

(iii) ρ is orthogonally subadditive, i.e., ρ(f 1AB) ≤ ρ(f 1 A ) + ρ(f 1 B ) for any A,B Σ such that AB,fM;

(iv) ρ has the Fatou property, i.e., |fn(ω)| ↑ |f(ω)| for all ω Ω implies ρ(f n ) ↑ ρ(f), where f M ;

(v) ρ is order continuous in E, i.e., g n E and |g n (ω)| ↓, 0 implies ρ(g n ) ↓, 0.

As in the case of measure spaces, we say that a set A Σ is ρ-null if ρ(g 1 A ) = 0 for every gE. We say that a property holds ρ-almost everywhere if the exceptional set is ρ-null. As usual we identify any pair of measurable sets whose symmetric difference is ρ-null as well as any pair of measurable functions differing only on a ρ-null set. With this in mind, we define

M ( Ω , Σ , P , ρ ) = { f M ; | f ( ω ) | < ρ - a . e . } ,
(2.1)

where each fM ( Ω , Σ , P , ρ ) is actually an equivalence class of functions equal ρ-a.e. rather than an individual function. When no confusion arises we will write M. instead of M ( Ω , Σ , P , ρ ) .

Definition 2.2. Let ρ be a regular function pseudomodular.

(1) We say that ρ is a regular convex function semimodular if ρ(αf) = 0 for every α > 0 implies f = 0 ρ-a.e.

(2) We say that ρ is a regular convex function modular if ρ(f) = 0 implies f = 0 ρ-a.e.

The class of all nonzero regular convex function modulars defined on Ω will be denoted by .

Let us denote ρ(f, E) = ρ(f 1 E ) for fM, E Σ. It is easy to prove that ρ(f, E) is a function pseudomodular in the sense of Definition 2.1.1 in [20] (more precisely, it is a function pseudomodular with the Fatou property). Therefore, we can use all results of the standard theory of modular function spaces as per the framework defined by Kozlowski in [2022]; see also Musielak [23] for the basics of the general modular theory.

Remark 2.1. We limit ourselves to convex function modulars in this article. However, omitting convexity in Definition 2.1 or replacing it by s-convexity would lead to the definition of nonconvex or s-convex regular function pseudomodulars, semimodulars and modulars as in [20].

Definition 2.3. [2022] Let ρ be a convex function modular.

(a) A modular function space is the vector space L ρ (Ω, Σ), or briefly L ρ , defined by

L ρ = { f M ; ρ ( λ f ) 0 a s λ 0 } .

(b) The following formula defines a norm in L ρ (frequently called Luxemurg norm):

f ρ = inf { α > 0 ; ρ ( f α ) 1 } .

In the following theorem, we recall some of the properties of modular spaces that will be used later on in this article.

Theorem 2.1. [20, 21, 22] Let ρ.

(1) L ρ , ||f|| ρ is complete and the norm || · || ρ is monotone w.r.t. the natural order in M.

(2) ||f n || ρ → 0 if and only if ρ(αf n ) → 0 for every α > 0.

(3) If ρ(αf n ) → 0 for an α > 0, then there exists a subsequence {g n } of {f n } such that g n → 0 ρ-a.e.

(4) If {f n } converges uniformly to f on a set EP, then ρ(α(f n - f), E) → 0 for every α > 0.

(5) Let f n f ρ-a.e. There exists a nondecreasing sequence of sets H k P such that H k ↑ Ω and {f n } converges uniformly to f on every H k (Egoroff Theorem).

(6) ρ(f) ≤ lim inf ρ(f n ) whenever f n f ρ-a.e. (Note: this property is equivalent to the Fatou Property.)

(7) Defining L ρ 0 = { f L ρ ; ρ ( f , ) i s o r d e r c o n t i n u o u s } and E ρ = { f L ρ ; λ f L ρ 0 f o r e v e r y λ > 0 } , we have:

(a) L ρ L ρ 0 E ρ ,

(b) E ρ has the Lebesgue property, i.e., ρ(αf,D k ) → 0 for α > 0, f E ρ and D k .

(c) E ρ is the closure of E (in the sense of || · || ρ ).

The following definition plays an important role in the theory of modular function spaces.

Definition 2.4. Let ρ. We say that ρ has the Δ2-property if sup n ρ(2f n , D k ) → 0 whenever D k and sup n ρ(f n , D k ) → 0.

Theorem 2.2. Let ρ. The following conditions are equivalent:

(a) ρ has Δ2-property,

(b) L ρ 0 is a linear subspace of L ρ ,

(c) L ρ = L ρ 0 = E ρ ,

(d) if ρ(f n ) → 0, then ρ(2f n ) → 0,

(e) if ρ(αf n ) → 0 for an α > 0, then ||f n || ρ → 0, i.e., the modular convergence is equivalent to the norm convergence.

The following definition is crucial throughout this article.

Definition 2.5. Let ρ.

(a) We say that {f n } is ρ-convergent to f and write f n f (ρ) if and only if ρ(f n - f) → 0.

(b) A sequence {f n } where f n L ρ is called ρ-Cauchy if ρ(f n - f m ) → 0 as n,m → ∞.

(c) A set B L ρ is called ρ-closed if for any sequence of f n B, the convergence f n f (ρ) implies that f belongs to B.

(d) A set B L ρ is called ρ-bounded if its ρ-diameter δ ρ (B) = sup{ρ(f - g); f B,g B} < ∞.

(e) Let f L ρ and C L ρ . The ρ-distance between f and C is defined as

d ρ ( f , C ) = int { ρ ( f - g ) ; g C } .

Let us note that ρ-convergence does not necessarily imply ρ-Cauchy condition. Also, f n f does not imply in general λf n → λf, λ > 1. Using Theorem 2.1, it is not difficult to prove the following.

Proposition 2.1. Let ρ.

(i) L ρ is ρ-complete,

(ii) ρ-balls B ρ (x, r) = {y L ρ ; ρ(x - y) ≤ r} are ρ-closed.

The following property plays in the theory of modular function spaces a role similar to the reflexivity in Banach spaces (see, e.g., [10]).

Definition 2.6. We say that L ρ has property (R) if and only if every nonincreasing sequence {C n } of nonempty, ρ-bounded, ρ-closed, convex subsets of L ρ has nonempty intersection. A nonempty subset K of L ρ is said to be ρ-compact if for any family {A α ; A α 2, α Γ} of ρ-closed subsets with K A α 1 A α n , for any α1,..., αn Γ, we have

K α Γ A α .

Next, we give the modular definitions of asymptotic pointwise nonexpansive mappings. The definitions are straightforward generalizations of their norm and metric equivalents [13, 15, 17].

Definition 2.7. Let ρ and let C L ρ be nonempty and ρ-closed. A mapping T : CC is called an asymptotic pointwise mapping if there exists a sequence of mappings α n : C → [0, ∞) such that

ρ T n ( f ) - T n ( g ) α n ( f ) ρ ( f - g ) f o r a n y f , g L ρ .

(i) If lim supn→∞α n (f) ≤ 1 for any f L ρ , then T is called asymptotic point-wise ρ-nonexpansive.

  1. (ii)

    If supnα n (f) ≤ 1 for any f L ρ , then T is called ρ-nonexpansive. In particular, we have

    ρ T ( f ) - T ( g ) ρ ( f - g ) f o r a n y f , g C .

The fixed point set of T is defined by Fix(T) = {f C; T(f) = f}.

In the following definition, we introduce the concept of Banach Operator Pairs [24, 25] in modular function spaces.

Definition 2.8. Let ρ and let C L ρ be nonempty. The ordered pair (S, T) of two self-maps of the subset C is called a Banach operator pair, if the set Fix(T) is S-invariant, namely S(Fix(T)) Fix(T).

In [26], a result similar to Ky Fan's fixed point theorem in modular function spaces was proved. The following definition is needed:

Definition 2.9. Let ρ. Let C L ρ be a nonempty ρ-closed subset. Let T : CL ρ be a map. T is called ρ-continuous if {T(f n )} ρ-converges to T(f) whenever {f n } ρ-converges to f. Also, T will be called strongly ρ-continuous if T is ρ-continuous and

liminf n ρ ( g - T ( f n ) ) = ρ ( g - T ( f ) )

for any sequence {f n } C which ρ-converges to f and for any g C.

3. Common fixed points for Banach operator pairs

The study of a common fixed point of a pair of commuting mappings was initiated as soon as the first fixed point result was proved. This problem becomes more challenging and seems to be of vital interest in view of historically significant and negatively settled problem that a pair of commuting continuous self-mappings on the unit interval [0,1] need not have a common fixed point [27]. Since then, many fixed point theorists have attempted to find weaker forms of commutativity that may ensure the existence of a common fixed point for a pair of self-mappings on a metric space. In this context, the notions of weakly compatible mappings [28] and Banach operator pairs [24, 25, 2934] have been of significant interest for generalizing results in metric fixed point theory for single valued mappings. In this section, we investigate some of these results in modular function spaces.

We first prove the following technical result.

Theorem 3.1. Let ρ. Let K L p be ρ-compact convex subset. Then, any T : KK strongly ρ-continuous has a nonempty fixed point set Fix(T). Moreover, Fix(T) is ρ-compact.

Proof. The existence of a fixed point is proved in [26]. Hence, Fix(T) is nonempty. Let us prove that Fix(T) is ρ-compact. It is enough to show that Fix(T) is ρ-closed since K is ρ-compact. Let {f n } be a sequence in Fix(T) such that {f n } ρ-converges to f. Let us prove that f Fix(T). Since T is ρ-continuous, so {T(f n )} ρ-converges to T(f). Since T(f n ) = f n , we get {f n } ρ-converges to f and T(f). The uniqueness of the ρ-limit implies T(f) = f, i.e., f Fix(T).

Definition 3.1. Let K L ρ be nonempty subset. The mapping T : KK is called R-map if Fix (T) is a ρ-continuous retract of K. Recall that a mapping R : KFix(T) is a retract if and only if R R = R.

Note that in general the fixed point set of ρ-continuous mappings defined on any ρ-compact convex subset of L ρ may not be a ρ-continuous retract.

Theorem 3.2. Let ρ. Let K L ρ be ρ-compact convex subset. Let T : KK be strongly ρ-continuous R-map. Let S : KK be strongly ρ-continuous such that (S,T) is a Banach operator pair. Then, F(S,T) = Fix(T) Fix(S) is a nonempty ρ-compact subset of K.

Proof. From Theorem 3.1, we know that Fix(T) is not empty and ρ-compact subset of K. Since T is an R-map, then there exists a ρ-continuous retract R : KFix(T). Since (S,T) is a Banach pair of operators, then S(Fix(T)) Fix(T). Note that SR : KK is strongly ρ-continuous. Indeed, if {f n } K ρ-converges to f, then {R(f n )} K ρ-converges to R(f) since R is ρ-continuous. And since S is strongly ρ-continuous, then for any g K, we have

liminf n ρ ( g - S ( R ( f n ) ) ) = ρ ( g - S ( R ( f ) ) ) ,

which shows that S R is strongly ρ-continuous. Theorem 3.1 implies that Fix(S R) is nonempty and ρ-compact. Note that if f Fix(S R), then we have S R(f) = S(R(f)) = f Fix(T) since S R(K) Fix(T). In particular, we have R(f) = f. Hence, S(f) = f, i.e., f Fix(T) Fix(S). It is easy to then see that Fix(T) Fix(S) = Fix(S R) = F(S,T) which implies F(S,T) is nonempty and ρ-compact subset of K.

Before we state next result which deals with ρ-nonexpansive mappings, let us recall the definition of uniform convexity in modular function spaces [18].

Definition 3.2. Let ρ. We define the following uniform convexity type properties of the function modular ρ:

(i) Let r > 0,ε > 0. Define

D 1 ( r , ε ) = { ( f , g ) ; f , g L ρ , ρ ( f ) r , ρ ( g ) r , ρ ( f - g ) ε r } .

Let

δ 1 ( r , ε ) = inf 1 - 1 r ρ f + g 2 ; ( f , g ) D 1 ( r , ε ) i f D 1 ( r , ε ) ,

and δ1(r,ε) = 1 if D 1 ( r , ε ) =. We say that ρ satisfies (UC 1) if for every r > 0,ε > 0, δ1(r,ε) > 0. Note that for every r > 0, D 1 ( r , ε ) , for ε > 0 small enough.

(ii) We say that ρ satisfies (UUC 1) if for every s ≥ 0, ε > 0 there exists

η 1 ( s , ε ) > 0

depending on s and ε such that

δ 1 ( r , ε ) > η 1 ( s , ε ) > 0 f o r r > s .

(iii) Let r > 0, ε > 0. Define

D 2 ( r , ε ) = ( f , g ) ; f , g L ρ , ρ ( f ) r , ρ ( g ) r , ρ f - g 2 ε r .

Let

δ 2 ( r , ε ) = inf 1 - 1 r ρ f + g 2 ; ( f , g ) D 2 ( r , ε ) i f D 2 ( r , ε ) ,

and δ2 (r,ε) = 1 if D 2 ( r , ε ) =. We say that ρ satisfies (UC 2) if for every r > 0,ε > 0, δ2 (r,ε) > 0. Note that for every r > 0, D 2 ( r , ε ) , for ε > 0 small enough.

(iv) We say that ρ satisfies (UUC 2) if for every s ≥ 0, ε > 0 there exists

η 2 ( s , ε ) > 0

depending on s and ε such that

δ 2 ( r , ε ) > η 2 ( s , ε ) > 0 f o r r > s .

In [18], it is proved that any asymptotically pointwise ρ-nonexpansive mapping defined on a ρ-closed ρ-bounded convex subset has a fixed point. The next result improves their result by showing that the fixed point set is convex.

Theorem 3.3. Assume ρ is (UUC 1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L ρ . Then, any T : CC asymptotically pointwise ρ-nonexpansive has a fixed point. Moreover, the set of all fixed points Fix(T) is ρ-closed and convex.

Proof. In [18], it is proved that Fix(T) is a ρ-closed nonempty subset of C. Let us prove that Fix(T) is convex. Let f,g Fix(T), with fg. For every n , we have

ρ f - T n f + g 2 α n ( f ) ρ f - g 2

and

ρ g - T n f + g 2 α n ( g ) ρ f - g 2 .

Set R=ρ f - g 2 . Then,

limsup n ρ f - T n f + g 2 R and limsup n ρ g - T n f + g 2 R .

Since

ρ 1 2 f - T n f + g 2 + 1 2 T n f + g 2 - g = ρ f - g 2 = R ,

and ρ is (UUC 2) (since (UUC 1) implies (UUC 2)), then we must have

lim n ρ 1 2 f - T n f + g 2 - 1 2 T n f + g 2 - g = 0 ,

and so

lim n ρ f + g 2 - T n f + g 2 = 0 .

Since ρ is convex we get

ρ 1 2 f + g 2 - T f + g 2 1 2 ρ f + g 2 - T n f + g 2 + 1 2 ρ T n f + g 2 - T f + g 2

which implies

ρ 1 2 f + g 2 - T f + g 2 1 2 ρ f + g 2 - T n f + g 2 + α 1 f + g 2 2 ρ f + g 2 - T n - 1 f + g 2 .

If we let n → ∞, we get ρ 1 2 f + g 2 - T f + g 2 =0, i .e .,T f + g 2 = f + g 2 and so f + g 2 F i x ( T ) . This completes the proof of our claim.

As a corollary, we obtain the following result.

Corollary 3.1. Assume ρ is (UUC 1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L p . Then, any T : CC ρ-nonexpansive has a fixed point. Moreover, the set of all fixed points Fix(T) is ρ-closed and convex.

Next, we discuss the existence of common fixed points for Banach operator pairs of pointwise asymptotically ρ-nonexpansive mappings.

Theorem 3.4. Assume ρ is (UUC 1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L p . Let T : CC be asymptotically pointwise ρ-nonexpansive mapping. Then, any S : CC pointwise asymptotically ρ-nonexpansive mapping such that (S, T) is a Banach operator pair has a common fixed point with T. Moreover F(S, T) = Fix(T) Fix(S) is a nonempty ρ-closed convex subset of C.

Proof. Since T is asymptotically pointwise ρ-nonexpansive, then Fix(T) is nonempty ρ-closed convex subset of C. Since (S, T) is a Banach operator pair, then we must have S(Fix(T)) Fix(T). Theorem 3.3 implies that the restriction of S to Fix(T) has a nonempty fixed point set which is ρ-closed and convex, i.e., F(S,T) = Fix(T) Fix(S) is a nonempty ρ-closed convex subset of C. This completes the proof of our claim.

As a corollary, we get the following result.

Corollary 3.2. Assume ρ is (UUC 1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L p . Let T : CC be ρ-nonexpansive mapping. Then, any S : CC ρ-nonexpansive mapping such that (S,T) is a Banach operator pair has a common fixed point with T. Moreover, F(S,T) = Fix(T) Fix(S) is a nonempty ρ-closed convex subset of C.

4. Common fixed point of Banach operator family

The aim of this section is to extend the common fixed point results found in the previous section to a family of Banach operator mappings. In particular, we prove an analogue of De Marr's result in modular function spaces. In order to obtain such extension we need to introduce the concept of symmetric Banach operator pairs.

Definition 4.1. Let T and S be two self-maps of a set C. The pair (S,T) is called symmetric Banach operator pair if both (S, T) and (T, S) are Banach operator pairs, i.e., T(Fix(S)) Fix(S) and S(Fix(T)) Fix(T).

Let ρ and C be a ρ-closed nonempty subset of L p . Let T be a family of self-maps defined on C. Then, the family T has a common fixed point if it is the fixed point of each member of T. The set of common fixed points is denoted by Fix ( T ) . We have by definition F i x ( T ) = T T F i x ( T ) .

Next, we state an analogue of De Marr's result in modular function spaces.

Theorem 4.1. Let ρ. Let K L p be nonempty ρ-compact convex subset. Let T be a family of self-maps defined on K such that any map in T is strongly ρ-continuous R-map. Assume that any two mappings in T form a symmetric Banach operator pair. Then, the family T has a common fixed point. Moreover, Fix ( T ) is a ρ-compact subset of K.

Proof. Using Theorem 3.2, we deduce that for any T1,T2,... ,T n in T, we have Fix(T1)Fix(T2)Fix(T n ) is a nonempty ρ-compact subset of K. Therefore, any finite family of the subsets { F i x ( T ) ; T T } has a nonempty intersection. Since these sets are all ρ-closed and K is ρ-compact, we conclude that F i x ( T ) = T T F i x ( T ) is not empty and is ρ-closed. Therefore, Fix ( T ) is a ρ-compact subset of K which finishes the proof of our theorem.

As commuting operators are symmetric Banach operators, so we obtain:

Corollary 4.1. Let ρ. Let K L p be nonempty ρ-compact convex subset. Let T be a family of commuting self-maps defined on K such that any map in T is strongly ρ-continuous R-map. Then, the family T has a common fixed point. Moreover, Fix ( T ) is a ρ-compact subset of K.

Next, we discuss a similar conclusion in modular function spaces L p when ρ is (UUC 1). Prior to obtain such result we will need an intersection property which seems to be new. Indeed, it is well known [18] that if ρ is (UUC 2), then any countable family {C n } of ρ-bounded ρ-closed convex subsets of L p has a nonempty intersection provided that the intersection of any finite subfamily has a nonempty intersection. Such intersection property is known as property (R). This intersection property is parallel to the well-known fact that uniformly convex Banach spaces are reflexive. The property (R) is essential for the proof of many fixed point theorems in metric and modular function spaces. But since it is not clear that this intersection property is related to any topology, we did not know if such intersection property is in fact valid for any family. Therefore, the next result seems to be new.

Theorem 4.2. Assume ρ is (UUC 1). Let {C a }aΓbe a nonincreasing family of nonempty, convex, ρ-closed ρ-bounded subsets of L p , where Γ is a directed index set. then, α Γ C α .

Proof. Recall that Γ is directed if there exists an order defined on Γ such that for any α,β Γ, there exists γ Γ such that α γ and β γ. And {C a }aΓis nonincreasing if and only if for any α, β Γ such that α β, then C β C α . Note that for any α0 Γ, we have

α Γ C α = α 0 α C α .

Therefore, without of any generality, we may assume that there exists C L p ρ-closed ρ-bounded convex subset such that C α C for any α Γ. If δ P (C) = 0, then all subsets C α are reduced to a single point. In this case, we have nothing to prove. Hence, let us assume δ P (C) > 0. Let f C. Then, the proximinality of ρ-closed convex subsets of L p when ρ is (UUC 2) (see [18]) implies the existence of f α C α such that

ρ ( f - f α ) = d ρ ( f , C α ) = inf { ρ ( f - g ) ; g C α } .

Set A α = {f β ; α β}, for any α Γ. Then, A α C α , for any α Γ. Notice that

δ ρ ( A α ) = δ ρ c o n v ¯ ρ A α for any α Γ .

Indeed, let g A α , then A α B(g,δ ρ (A α )). Since B(g,δ ρ (A α )) is ρ-closed and convex, then we must have c o n v ¯ ρ ( A α ) B ( g , δ ρ ( A α ) ) . Hence, for any h c o n v ¯ ρ ( A α ) , we have ρ(g - h) ≤ δ ρ (A α ). Since g was arbitrary in A α we conclude that A α B(h, δ ρ (A α )). Again for the same reason we get c o n v ¯ ρ ( A α ) B ( h , δ ρ ( A α ) ) . Hence, for any g, h c o n v ¯ ρ ( A α ) we have ρ(g - h) ≤ δ ρ (A α ), which implies δ ρ c o n v ¯ ρ A α δ ρ ( A α ) . This is enough to have δ ρ c o n v ¯ ρ A α = δ ρ ( A α ) . Set R = supαΓρ(f - f α ). Without loss of any generality, we may assume R > 0. Let us prove that infαΓδ ρ (A α ) = 0. Assume not. Then, infαΓδ ρ (A α ) > 0. Set δ = 1 2 inf α Γ δ ρ ( A α ) . Then, for any α Γ, there exist β,γ Γ such that α β and α γ and

ρ ( f β - f γ ) > δ .

Since ρ(f - f γ ) ≤ R and ρ(f - f β ) ≤ R, then we have

ρ f - f β + f γ 2 R 1 - δ 1 R , δ R .

Since f β , f γ C α and C α is convex, we get

ρ ( f - f α ) R 1 - δ 1 R , δ R ,

using the definition of f α . Since α was chosen arbitrarily in Γ we get

R = sup α Γ ρ ( f - f α ) R 1 - δ 1 R , δ R .

This is a contradiction. Therefore, we have infαΓ δ ρ (A α ) = 0. Since Γ is directed, there exists {α n } Γ such that α n αn+1and infn ≥ 1 δ ρ (A αn ) = 0. In particular, we have Aαn+ 1 A αn which implies c o n v ¯ ρ A α n + 1 c o n v ¯ ρ A α n . Using the property (R) satisfied by L ρ , we conclude A = n 1 c o n v ¯ ρ A α n . Since inf α Γ δ ρ c o n v ¯ ρ A α n = inf α Γ δ ρ ( A α ) =0, we conclude that A = {h} for some h C. Let us prove that for any α Γ we have h c o n v ¯ ρ ( A α ) . Indeed, let α Γ. If there exists n ≥ 1 such that α α n , then we have A αn A α . Hence, c o n v ¯ ρ A α n c o n v ¯ ρ A α . This clearly implies h c o n v ¯ ρ ( A α ) . Otherwise, assume that for any n ≥ 1 such that α n α, so Aα A αn . Hence, c o n v ¯ ρ A α c o n v ¯ ρ A α n . In particular, we have c o n v ¯ ρ ( A α ) n 1 c o n v ¯ ρ A α n = { h } . Which forces h c o n v ¯ ρ ( A α ) . Therefore, h α Γ c o n v ¯ ρ A α . Since α Γ c o n v ¯ ρ ( A α ) α Γ C α , we conclude that h α Γ C α . Hence, α Γ C α .

Using Theorem 4.2, we get the following common fixed point result.

Theorem 4.3. Assume ρ. is (UUC 1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L p . Let T be a family of self-maps defined on C such that any map in T is asymptotically pointwise ρ-nonexpansive. Assume that any two mappings in T form a symmetric Banach operator pair. Then, the family T has a common fixed point. Moreover, Fix ( T ) is a ρ-closed convex subset of C.

Proof. Using Theorem 3.4, we deduce that for any T1,T2,...,T n in T, we have Fix(T1) Fix(T2) Fix(T n ) is a nonempty ρ-closed convex subset of C. Therefore, any finite family of the subsets { F i x ( T ) ; T T } has a nonempty intersection. Since these sets are all ρ-closed and convex subsets of C, then Theorem 4.2 implies that F i x ( T ) = T T F i x ( T ) is not empty and is ρ-closed and convex. Therefore, Fix ( T ) is a ρ-closed convex subset of C which finishes the proof of our theorem.

As corollaries we get the following common fixed point results which seem to be new.

Corollary 4.2. Assume ρ is (UUC 1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L ρ . Let T be a family of self-maps defined on C such that any map in T is ρ-nonexpansive. Assume that any two mappings in T form a symmetric Banach operator pair. Then, the family T has a common fixed point. Moreover, Fix ( T ) is a ρ-closed convex subset of C.

Corollary 4.3. Assume ρ is (UUC 1). Let C be a ρ-closed ρ-bounded convex nonempty subset of L p . Let T be a family of commuting self-maps defined on C such that any map in T is asymptotically pointwise ρ-nonexpansive. Then, the family T has a common fixed point. Moreover, Fix ( T ) is a ρ-closed convex subset of C.

References

  1. Browder FE: Nonexpansive nonlinear operators in a Banach space. Proc Natl Acad Sci USA 1965, 54: 1041–1044. 10.1073/pnas.54.4.1041

    Article  MathSciNet  Google Scholar 

  2. Dhompongsa S, Kirk WA, Sims B: Fixed points of uniformly Lipschitzian mappings. Nonlinear Anal 2006, 65: 762–772. 10.1016/j.na.2005.09.044

    Article  MathSciNet  Google Scholar 

  3. Goebel K, Reich S: Uniform convexity, hyperbolic geometry, and nonexpansive mappings. In Series of Monographs and Textbooks in Pure and Applied Mathematics. Volume 83. Dekker, New York; 1984.

    Google Scholar 

  4. Gohde D: Zum Prinzip der kontraktiven Abbildung. Math Nachr 1965, 30: 251–258. 10.1002/mana.19650300312

    Article  MathSciNet  Google Scholar 

  5. Baillon JB: Nonexpansive mappings and hyperconvex spaces. Contemp Math 1988, 72: 11–19.

    Article  MathSciNet  Google Scholar 

  6. Goebel K, Sekowski T, Stachura A: Uniform convexity of the hyperbolic metric and fixed points of holomorphic mappings in the Hilbert ball. Nonlinear Anal 1980, 4: 1011–1021. 10.1016/0362-546X(80)90012-7

    Article  MathSciNet  Google Scholar 

  7. Khamsi MA, Kirk WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York; 2001.

    Chapter  Google Scholar 

  8. Khamsi MA: A convexity property in modular function spaces. Math Japonica 1996,44(2):269–279.

    MathSciNet  Google Scholar 

  9. Khamsi MA, Kozlowski WK, Reich S: Fixed point theory in modular function spaces. Nonlinear Anal 1990, 14: 935–953. 10.1016/0362-546X(90)90111-S

    Article  MathSciNet  Google Scholar 

  10. Khamsi MA, Kozlowski WM, Shutao C: Some geometrical properties and fixed point theorems in Orlicz spaces. J Math Anal Appl 1991,155(2):393–412. 10.1016/0022-247X(91)90009-O

    Article  MathSciNet  Google Scholar 

  11. Kutbi MA, Latif A: Fixed point of multivalued maps in modular function spaces. Fixed Point Theory Appl 2009. Article ID 786357, 12 pages (2009)

    Google Scholar 

  12. Khamsi MA: On asymptotically nonexpansive mappings in hyperconvex metric spaces. Proc Am Math Soc 2004, 132: 365–373. 10.1090/S0002-9939-03-07172-7

    Article  MathSciNet  Google Scholar 

  13. Kirk WA: Fixed points of asymptotic contractions. J Math Anal Appl 2003, 277: 645–650. 10.1016/S0022-247X(02)00612-1

    Article  MathSciNet  Google Scholar 

  14. Kirk WA: Mappings of generalized contractive type. J Math Anal Appl 1970, 32: 567–572. 10.1016/0022-247X(70)90278-7

    Article  MathSciNet  Google Scholar 

  15. Hussain N, Khamsi MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal 2009,71(10):4423–4429. 10.1016/j.na.2009.02.126

    Article  MathSciNet  Google Scholar 

  16. Khamsi MA, Kozlowski WK: On asymptotic pointwise contractions in modular function spaces. Nonlinear Anal 2010, 73: 2957–2967. 10.1016/j.na.2010.06.061

    Article  MathSciNet  Google Scholar 

  17. Kirk WA, Xu HK: Asymptotic pointwise contractions. Nonlinear Anal 2008, 69: 4706–4712. 10.1016/j.na.2007.11.023

    Article  MathSciNet  Google Scholar 

  18. Khamsi MA, Kozlowski WK: On asymptotic pointwise nonexpansive mappings in modular function spaces. J Math Anal Appl 2011, 380: 697–708. 10.1016/j.jmaa.2011.03.031

    Article  MathSciNet  Google Scholar 

  19. De Marr R: Common fixed points for commuting contraction mappings. Pacific J Math 1963, 13: 1139–1141.

    Article  MathSciNet  Google Scholar 

  20. Kozlowski WM: Modular function spaces. In Series of Monographs and Textbooks in Pure and Applied Mathematics, vol. Volume 122. Dekker, New York, Basel; 1988.

    Google Scholar 

  21. Kozlowski WM: Notes on modular function spaces I. Comment Math 1988, 28: 91–104.

    MathSciNet  Google Scholar 

  22. Kozlowski WM: Notes on modular function spaces II. Comment Math 1988, 28: 105–120.

    MathSciNet  Google Scholar 

  23. Musielak J: Orlicz spaces and modular spaces. In Lecture Notes in Mathematics. Volume 1034. Springer, Berlin; 1983.

    Google Scholar 

  24. Chen J, Li Z: Banach operator pair and common fixed points for nonexpansive maps. Nonlinear Anal 2011, 74: 3086–3090. 10.1016/j.na.2010.12.010

    Article  MathSciNet  Google Scholar 

  25. Pathak HK, Hussain N: Common fixed points for Banach operator pairs with applications. Nonlinear Anal 2008, 69: 2788–2802. 10.1016/j.na.2007.08.051

    Article  MathSciNet  Google Scholar 

  26. Khamsi MA, Latif A, Al-Sulami H: KKM and Ky Fan theorems in modular function spaces. Fixed Point Theory Appl 2011, 2011: 57. 10.1186/1687-1812-2011-57

    Article  MathSciNet  Google Scholar 

  27. Huneke JP: On common fixed points of commuting continuous functions on an interval. Trans Am Math Soc 1969, 139: 371–381.

    Article  MathSciNet  Google Scholar 

  28. Jungck G: Common fixed point theorems for compatible self maps of Hausdorff topolog-ical spaces. Fixed Point Theory Appl 2005, 355–363.

    Google Scholar 

  29. Ciric LjB, Hussain N, Cakic N: Common fixed points for Ciric type f-weak contraction with applications. Publ Math Debrecen 2010,76(1–2):31–49.

    MathSciNet  Google Scholar 

  30. Ciric LjB, Hussain N, Akbar F, Ume JS: Common fixed points for Banach operator pairs from the set of best approximations. Bull Belgian Math Soc Simon Stevin 2009, 16: 319–336.

    MathSciNet  Google Scholar 

  31. Hussain N: Common fixed points in best approximation for Banach operator pairs with Ciric type I-contractions. J Math Anal Appl 2008, 338: 1351–1362. 10.1016/j.jmaa.2007.06.008

    Article  MathSciNet  Google Scholar 

  32. Hussain N, Khamsi MA, Latif A: Banach operator pairs and common fixed points in hyperconvex metric spaces. Nonlinear Anal 2011, 743: 5956–5961.

    Article  MathSciNet  Google Scholar 

  33. Khan AR, Akbar F: Best simultaneous approximations, asymptotically nonexpansive mappings and variational inequalities in Banach spaces. J Math Anal Appl 2009, 354: 469–477. 10.1016/j.jmaa.2009.01.007

    Article  MathSciNet  Google Scholar 

  34. Khan AR, Akbar F: Common fixed points from best simultaneous approximations. Taiwan J Math 2009, 13: 1379–1386.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors gratefully acknowledge the financial support from the Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU) represented by the Unit of Research Groups through the Grant number (11/31/Gr) for the group entitled "Nonlinear Analysis and Applied Mathematics".

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to A Latif.

Additional information

5. Competing interests

The authors declare that they have no competing interests.

6. Authors'contributions

All the authors contributed equally. 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.

Reprints and permissions

About this article

Cite this article

Hussain, N., Khamsi, M. & Latif, A. Banach operator pairs and common fixed points in modular function spaces. Fixed Point Theory Appl 2011, 75 (2011). https://doi.org/10.1186/1687-1812-2011-75

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2011-75

Keywords