Abstract

We prove new fixed point and common fixed point theorems for generalized weak contractive mappings of integral type in modular spaces. Our results extend and generalize the results of A. Razani and R. Moradi (2009) and M. Beygmohammadi and A. Razani (2010).

1. Introduction

Let be a metric space. A mapping is a contraction if where . The Banach Contraction Mapping Principle appeared in explicit form in Banach's thesis in 1922 [1]. For its simplicity and usefulness, it has become a very popular tool in solving existence problems in many branches of mathematical analysis. Banach contraction principle has been extended in many different directions; see [26]. In 1997 Alber and Guerre-Delabriere [7] introduced the concept of weak contraction in Hilbert spaces, and Rhoades [8] has showed that the result by Akber et al. is also valid in complete metric spaces A mapping is said to be weakly contractive if where is continuous and nondecreasing function such that if and only if . If one takes where , then (1.2) reduces to (1.1). In 2002, Branciari [9] gave a fixed point result for a single mapping an analogue of Banach's contraction principle for an integral-type inequality, which is stated as follow.

Theorem 1.1. Let be a complete metric space, , a mapping such that for each , where is a Lebesgue integrable which is summable, nonnegative, and for all , . Then, f has a unique fixed point such that for each , .

Afterward, many authors extended this work to more general contractive conditions. The works noted in [1012] are some examples from this line of research.

The notion of modular spaces, as a generalize of metric spaces, was introduced by Nakano [13] and redefined by Musielak and Orlicz [14]. A lot of mathematicians are interested, fixed points of Modular spaces, for example [1522]. In 2009, Razani and Moradi [23] studied fixed point theorems for -compatible maps of integral type in modular spaces.

Recently, Beygmohammadi and Razani [24] proved the existence for mapping defined on a complete modular space satisfying contractive inequality of integral type.

In this paper, we study the existence of fixed point and common fixed point theorems for -compatible mapping satisfying a generalize weak contraction of integral type in modular spaces.

First, we start with a brief recollection of basic concepts and facts in modular spaces.

Definition 1.2. Let be a vector space over (or ). A functional is called a modular if for arbitrary and , elements of satisfy the following conditions: (1) if and only if ; (2) for all scalar with ; (3), whenever and . If we replace (3) by(4), for ,   with an , then the modular is called s-convex modular, and if ,   is called convex modular.

If is modular in , then the set defined by is called a modular space. is a vector subspace of .

Definition 1.3. A modular is said to satisfy the - if as , whenever as .

Definition 1.4. Let be a modular space. Then,(1)the sequence in is said to be - to if , as , (2)the sequence in is said to be -if , as ,(3)a subset of is said to be - if the - of a -convergent sequence of always belong to , (4)a subset of is said to be - if any - sequence in is - sequence and its is in ,(5)a subset of is said to be - if = sup .

Definition 1.5. Let be a subset of and an arbitrary mapping. is called a - if for each there exists such that

Definition 1.6. Let be a modular space, where satisfies the -. Two self-mappings and of are called - if as , whenever is a sequence in such that and for some point .

2. A Common Fixed Point Theorem for ρ-Compatible Generalized Weak Contraction Maps of Integral Type

Theorem 2.1. Let be a - modular space, where satisfies the -. Let , and are two - mappings such that and for all , where is a Lebesgue integrable which is summable, nonnegative, and for all , and is lower semicontinuous function with for all and if and only if . If one of or is continuous, then there exists a unique common fixed point of and .

Proof. Let and generate inductively the sequence as follow: . First, we prove that the sequence converges to 0. Since, This means that the sequence is decreasing and bounded below. Hence, there exists such that If , then . Taking in the inequality (2.2) which is a contradiction, thus . This implies that
Next, we prove that the sequence is -. Suppose is not -, then there exists and sequence of integers with such that We can assume that
Let be the smallest number exceeding for which (2.5) holds, and Since and clearly , by well ordering principle, the minimum element of is denoted by and obviously (2.6) holds. Now, let be such that , then we get
Using the - and (2.4), we obtain It follows that From (2.8) and (2.11), we also have which is a contradiction. Hence, is - and by the -, is -. Since is -, there exists a point such that as . If is continuous, then and as . Since as , by -, as . Next, we prove that is a unique fixed point of . Indeed, Taking in the inequality (2.13), we have which implies that and . Since , there exists such that . The inequality, as , yields and, thus, which implies that, and also (see [25]). Hence, . Suppose that there exists such that and , we have and which is a contradiction. Hence, and the proof is complete.

In fact, if take where and take , respectively, where is a nondecreasing and right continuous function with for all , we obtain following corollaries.

Corollary 2.2 (see [23]). Let be a modular space, where satisfies the . Suppose , and are two mappings such that and for some , where is a Lebesgue integrable which is summable, nonnegative, and for all , . If one of or is continuous, then there exists a unique common fixed point of and .

Corollary 2.3 (see [23]). Let be a modular space, where satisfies the . Suppose , and are two mappings such that and where is a Lebesgue integrable which is summable, nonnegative, and for all , and is a nondecreasing and right continuous function with for all . If one of or is continuous, then there exists a unique common fixed point of and .

3. A Fixed Point Theorem for Generalized Weak Contraction Mapping of Integral Type

Theorem 3.1. Let be a modular space, where satisfies the . Let , and be a mapping such that for each , where is a Lebesgue integrable which is summable, nonnegative, and for all , and is lower semicontinuous function with for all and if and only if . Then, has a unique fixed point.

Proof. First, we prove that the sequence converges to 0. Since, it follows that the sequence is decreasing and bounded below. Hence, there exists such that If , then , taking in the inequality (3.2) which is a contradiction, thus . So, we have Next, we prove that the sequence is -. Suppose is not -, there exists and sequence of integers with such that We can assume that Let be the smallest number exceeding for which (3.5) holds, and Since and clearly , by well ordering principle, the minimum element of is denoted by and obviously (3.6) holds. Now, let be such that , then we get
Using the - and (3.4), we obtain From (3.8) and (3.11), we have which is a contradiction. Hence, is - and again by the -, is -. Since is -, there exists a point such that as . Next, we prove that is a unique fixed point of . Indeed, Since as , we obtain which implies that So, we have Thus and . Suppose that there exists such that and , we have and which is a contradiction. Hence, and the proof is complete.

Corollary 3.2. Let be a modular space, where satisfies the . Let be a mapping such that there exists an and where and for each , where is a Lebesgue integrable which is summable, nonnegative, and for all , . Then, has a unique fixed point in .

Corollary 3.3 (see [24]). Let be a modular space where satisfies the . Assume that is an increasing and upper semicontinuous function satisfying for all . Let be a Lebesgue integrable which is summable, nonnegative, and for all , and let be a mapping such that there are where , for each . Then, has a unique fixed point in .

Acknowledgments

The authors would like to thank the National Research University Project of Thailand's Office of the Higher Education Commission for financial support under NRU-CSEC Project no. 54000267. Mr. Chirasak Mongkolkeha was supported by the Royal Golden Jubilee Grant for Ph.D. program at KMUTT, Thailand. Furthermore, this work was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission.