A New Version of Schauder and Petryshyn Type Fixed Point Theorems in S -Modular Function Spaces

: In this paper, using the conditions of Taleb-Hanebaly’s theorem in a modular space where the modular is s -convex and symmetric with respect to the ordinate axis, we prove a new generalized modular version of the Schauder and Petryshyn ﬁxed point theorems for nonexpansive mappings in s -convex sets. Our results can be applied to a nonlinear integral equation in Musielak-Orlicz space L p where 0 < p ≤ 1 and 0 < s ≤ p .


Introduction
In 1950, Nakano [1] initiated the concept of modular spaces which are natural generalizations of L p spaces where p > 0. Then Musielak and Orlicz [2] refined and generalized these spaces in 1959. This idea has been studied for almost sixty years and there is a large set of known applications of them in various parts of analysis.
The monographic exposition of the theory of Orlicz spaces may be found in the book of Krasnoselskii and Rutickii [3]. For a current review of the theory of Musielak-Orlicz spaces and modular spaces, the reader is referred to the book of Kozlowski [4] and the most recent paper of Khamsi et al. [5], also see [6,7].
As a generalization of the Banach contraction principle, Taleb and Hanebaly [7] presented a fixed point theorem of the Banach type in a modular space where the modular is s-convex, having the Fatou property and satisfying the ∆ 2 -condition as follows.
Theorem 1 ([7]). Let X ρ be a ρ-complete modular space. Assume that ρ is an s-convex modular satisfying the ∆ 2 -condition and having the Fatou property. Let B be a ρ-closed subset of X ρ and T : B → B a mapping such that: Then T has a fixed point.
In this paper, by means of [7], we prove the existence of fixed points for a general class of contractive mappings satisfying Schauder and Petryshyn conditions in s-modular function spaces. We give an application of our result to a nonlinear integral equation in Musielak-Orlicz spaces.

Preliminaries
We begin by recalling some definitions. Let X be a linear space over C. Then we have the following.
(1) A function ρ : where, if 0 ≤ s < 1, then we say that ρ is an s-convex modular and if s = 1, then ρ is convex modular; (3) A modular ρ defines a corresponding modular space, i.e., the vector space X ρ given by (4) The modular space X ρ can be equipped with the F−norm defined by If ρ is convex, then the functional is a norm called the Luxemburg norm in X ρ which is equivalent to the F-norm |.| ρ . Note that, by taking α = −1 in 1(b), it follows that y = ρ(x) = ρ(−x), so that a modular is symmetric with respect to the y-axis meaning that its graph remains unchanged under reflection about the y-axis. It turns out that an s-convex modular keeps the same property. Definition 1. Let X ρ be a modular space.
(a) A sequence {x n } in X ρ is said to be: where B ρ is the closure of B and int(B) is the interior of B in the sense of ρ.
(e) A subset B ⊆ X ρ is said to be ρ−compact if every sequence in B has a convergent subsequence.
(h) We say that ρ has the Fatou property if ρ(x − y) ≤ lim inf ρ(x n − y n ) whenever, x n ρ → x and y n ρ → y.

Main Results
Now, we start our work with the following definitions.
Definition 3. A set C of a modular space X is said to be s-convex, where 0 < s ≤ 1 if the following condition is satisfied We first prove a Schauder type fixed point theorem when the mapping T is ρ-nonexpansive.

Theorem 2.
Let ρ be an s-convex modular that satisfies the ∆ 2 -condition and Fatou property, X ρ be a ρ-complete modular space and B be a nonempty, s-convex, and ρ-closed subset of X ρ . Assume that T : B → B is a ρ-nonexpansive operator and T(B) is a subset of ρ-compact set of B. Then T has a fixed point.
Proof. For every n ∈ N, define T n = t n 1 s T, where {t n } ⊆ (0, 1), t n → 1 as n → ∞. If s = 1, then B is convex set. Without loss of generality, we assume that 0 ∈ B. If s < 1, then 0 ∈ B. Thus for each n ∈ N, T n : B → B. There are two cases: for all x, y ∈ X ρ .
for all x, y ∈ X ρ . Therefore, all of the assumptions of Theorem 1 hold. Thus for each n ∈ N, T n has a fixed point x n ∈ B, that is, x n = T n x n = t n Since T(B) lies in a ρ-compact subset of B, we assume without loss of generally that there exists u ∈ B such that ρ(Tx n − u) → 0 as n → ∞. ∆ 2 -condition follows that ρ(2 1 s (Tx n − u)) → 0 as n → ∞. Thus, Since T is ρ-nonexpansive, Therefore, This implies that u = Tu.

Theorem 3.
Let ρ be an s-convex modular that satisfies the ∆ 2 -condition and Fatou property, X ρ be a ρ-complete modular space and B be a nonempty, s-convex, and ρ-closed subset of X ρ . Assume that T : B → B is a ρ-nonexpansive and I is an identity operator, and (I − T)(B) is ρ-closed. Then T has a fixed point.
Proof. Proceeding as in the proof of Theorem 2, one can prove that for each n ∈ N, T n has a fixed point x n . Thus The closedness of (I − T)(B) implies that 0 ∈ (I − T)(B). Therefore, there exists u ∈ B such that Tu = u.
The following theorem is a new version of the Petryshyn theorem in s-modular function spaces.

Theorem 4. Let X ρ be a complete modular space and B a ρ-bounded, ρ-open, s-convex subset of X
Assume that ρ is an s-convex modular satisfying the ∆ 2 -condition and Fatou property, T : B ρ → X ρ is a mapping satisfying (1) and the following condition: Then T has a fixed point.

Proof. Consider
For large enough numbers n, m, we have α 1 s |λ n − λ m | < 1 and so Hence, Since X ρ is complete, we deduce that there exists x ∈ B ρ with ρ(x n − x) → 0 as n → ∞. It follows from ∆ 2 -condition and λ n → λ that Thus λ ∈ A and A is closed in [0, 1]. Now, let λ 0 ∈ A. Then there exists x 0 ∈ B with x 0 = λ 0 Tx 0 . Choose > 0 such that Therefore λT : It is easy to show that λT satisfies the condition (1) and by applying Theorem 1, we can deduce that λT has a fixed point. Thus there exists x ∈ B for which x = λTx. This shows that λ ∈ A and hence A is open in [0, 1].

Application
In this section, we give an application of Theorem 4 to the following integral equation: in a modular space C = C([0, 1], L p ), where 0 < p ≤ 1, 0 < s ≤ p and Notice that the s-convexity of ρ implies the following lemma.
We denote by X = C(I, B) the space of all ρ-continuous functions from I to B, endowed with the modular ρ X defined by ρ X (u) = sup t∈I ρ(u(t)). Using Proposition 2.1 of [7], one can show that X is s-convex, ρ X -bounded, ρ X -closed of ρ X -complete space C = C(I, L p ) and ρ X satisfies the ∆ 2 -condition and Fatou property.
Consider the following assumptions: (ii) G : I × I → R is a measurable mapping such that the map r → G(t, r) is continuous for almost all t ∈ I, and also 1 0 |G(t, r)|dr < 1 for all t ∈ I. Proof. First we show that F : X → X is a self-adjoint operator. Suppose t n , t 0 ∈ [0, 1] and t n → t 0 as n → ∞. Since u is ρ-continuous in t 0 and condition (i) holds, by ∆ 2 -condition f is |.| ρ -continuous where |.| ρ is the F-norm generated by modular ρ. Hence, Fu is |.| ρ -continuous. On the other hand, the topologies generated by |.| ρ and ρ are equivalent, therefore, Fu is ρ-continuous at t 0 .
Proof. Evidently F : U ρ X → X satisfies in (1). If we apply Theorem 4 and consider the fact that condition (2) occurs because of (4), we get the required result. Funding: The authors thank the Basque Government for its support of this work through Grant IT1207-19.