Fixed-point theorems for the sum of two operators under ω-condensing

The purpose of this paper is to establish fixed-point theorems for the sum of two operators A and B, where the operator A is assumed to be contractive with respect to the measure of weak noncompactness, while B is an φ-nonlinear contraction. In the last section, we apply such results to study the existence of solutions to a nonlinear Hammerstein integral equation in L1 space.


Introduction
The existence of fixed points for the sum of two operators has been followed with interest for a long time. In , to study the existence of solutions of nonlinear equations of the form In , Darbo [] extended the Schauder fixed-point theorem to the setting of noncompact operators, introducing the notion of k-set contraction. It is not hard to see that the Krasnosel'skii theorem is a particular case of the Darbo theorem. Namely, it appears that A + B is a k-set contraction with respect to the Kuratowskii measure of noncompactness. In , Sadovskii [] gave a fixed-point result more general than the Darbo theorem using the concept of condensing operator.
In fixed-point theorems for the weak topology. Their analysis uses the concept of the Blasi measure of weak noncompactness. Moreover, and in contrast to previous works, to prove the new versions of the fixed-point theorems, they neither assume the weak continuity nor the weakly sequential continuity of the operators.
The purpose of this paper is to establish several fixed-point theorems for the sum of two operators under ω-condensing. By relaxing the condition of weak compactness of operators, these results extend and supplement some previous ones in the literatures. This paper is organized as follows. In Section , we gather some notions and preliminary facts which will be needed in our further considerations. In Section , on the basis of a Sadovskii-type fixed-point theorem for ω-condensing operators and its variant on whole space, we discuss several fixed-point theorems for the sum of A + B, where A is a ω-contraction and B is an ϕ-nonlinear contraction. In Section , we apply such results to study the existence of solutions to a nonlinear Hammerstein integral equation in L  space.

Preliminaries
We first gather together some notations and preliminary facts of some weak topology feature which will be needed in our further considerations. Let B(X) be the collection of all nonempty bounded subsets of a Banach space X, and let W(X) be the subset of B(X) consisting of all weakly compact subsets of X. Also, let B r denote the closed ball in X centered in  and with radius r.
Before we launch into the details, we recall some important properties needed hereafter for the sake of completeness (for the proofs, we refer the reader to [] and []). Throughout this paper, X denotes a Banach space; D(T) and R(T), respectively, denote the domain and range of operator T; and ω{S} denotes the De Blasi measure of weak noncompactness of bounded subset S. Definition . An operator T : D(T) ⊂ X → X is said to be ω-contractive (or a ω-αcontraction) if it maps bounded sets into bounded sets, and there exists some α ∈ [, ) such that ω{T(S)} ≤ αω{S} for all bounded sets S in D(T).
An operator T : D(T) ⊂ X → X is said to be ω-condensing if it maps bounded sets into bounded sets, and ω{T(S)} < ω{S} for all bounded sets S in D(T) with ω{S} > .
Let T be an operator from D(T) ⊂ X into X. Latrach et al. [] introduce the following conditions: (A) If (x n ) n∈N is a weakly convergent sequence in D(T), then (Tx n ) n∈N has a strongly convergent subsequence in X. (A) If (x n ) n∈N is a weakly convergent sequence in D(T), then (Tx n ) n∈N has a weakly convergent subsequence in X. Proof Let (x n ) n∈N be a weakly convergent sequence in D(T). By the hypothesis of T satisfying (A), (Tx n ) n∈N has a strongly convergent subsequence, say (Tx n k ) k∈N . The continuity of Q implies that (QTx n k ) k∈N is also strongly convergent, and therefore Q • T satisfies (A).
Definition . An operator T : D(T) ⊂ X → X is said to be ϕ-nonlinear contractive (or an ϕ-nonlinear contraction), if there exists a continuous and nondecreasing function ϕ : where ϕ(r) < r for r > .

Lemma . (see [, Lemma .]) Let operator T : D(T) ⊂ X → X be ϕ-nonlinear contractive on a Banach space X and satisfy (A). Then for each bounded subset M of X one has ω{T(M)} ≤ ϕ(ω{M}).
Lemma . If an operator T : X → X is ϕ-nonlinear contractive, then F := I -T is a homeomorphism of X onto X.
Proof For any y ∈ X, we define the operator τ y from X to X, by τ y x = Tx + y. Since T is ϕ-nonlinear contractive, it is easy to see that τ y is also ϕ-nonlinear contractive. According to Theorem  in [], τ y has a unique fixed point x such that x = Tx + y, i.e. y = (I -T)x, and then F := I -T is surjective on X. If x, y ∈ X and x = y, then which implies that F is injective and F - exists on X.
For proving the continuity of F - , suppose that there exists a point x and a sequence (x n ) n∈N in X such that Fx n → Fx, and lim n→∞ sup k≥n x kx = a. Consequently, from the inequality we obtain that  ≥ aϕ(a), which implies that a =  and, therefore, F - is continuous.

Fixed-point theorems for the sum of two operators
The following theorem was proved by Ben Amar and Garcia-Falset [], and its more general form was presented by Agarwal et al.
[] is a variant of the Sadovskii fixed-point theorem for the classes of operators which satisfy (A).

Theorem . (see [, Theorem .] or [, Theorem . and Corollary .]) Let M be a nonempty, bounded, closed and convex subset of a Banach space X. Assume that T : M → M is continuous and satisfies (A). If T is ω-condensing, then it has a fixed point in M.
Our purpose here is to establish a fixed-point theorem for the sum of a ω-contractive operator and an ϕ-nonlinear contractive operator.
Theorem . Let M be a nonempty, bounded, closed and convex subset of a Banach space X. Suppose that A : M → X and B : X → X are two operators such that Proof By Lemma ., I -B has a continuous inverse defined on X, and then J := (I -B) - A is well defined on M. Once we prove that J has a fixed point in M, the proof is achieved. http://www.fixedpointtheoryandapplications.com/content/2013/1/102 For any y ∈ M, according to Lemma . there exists a unique x ∈ X such that Ay = x -Bx.
The hypothesis (iii) shows that x ∈ M, which implies that A(M) ⊂ (I -B)(M) and, therefore, Obviously, the compound operator J is continuous since A and (I -B) - is continuous and by Lemma ., J satisfies (A). Now by referring to the formula In both cases, J is shown to be ω-condensing. Now the use of Theorem . achieves the proof.
Remark . It should be noticed to the following particular cases: () If we take B = , then we return the above theorem back to [, Theorem .], which is an extension of the Darbo fixed-point theorem for ω-contractive operators. () If we take α =  and the function ϕ(r) = βr ( ≤ β < ) in the above theorem, we obtain a result which was [, Theorem .]. () If we only take the function ϕ(r) = βr ( ≤ β < α) in the above theorem, we obtain the following Corollary ., which is a new fixed-point theorem for the sum of two operators. () If we only take α =  in the above theorem, we obtain the following Corollary ., which is the new version of Krasnosel'skii-type fixed-point theorems. if (x n ) n∈N is a sequence of M such that (x n -Tx n ) n∈N is weakly convergent, then (x n ) n∈N has a weakly convergent subsequence. In the above theorem, we replaced it with the ω-condensing of B.
Proof of Theorem . For each λ ∈ (, ), the operators A and λB fulfill the conditions of Corollary . and, therefore, there is a point x λ ∈ M such that x λ = λBx λ + Ax λ . Now choose a sequence (λ n ) n∈N ⊂ (, ) such that λ n → . Consequently, there exists a sequence (x n ) n∈N ⊂ M such that x n = λ n Bx n + Ax n .
This contradiction tells us that the sequence (x n ) n∈N has a weakly convergent subsequence, i.e., there exists (x n k ) k∈N such that x n k x ∈ M. By assumption (i), we have Ax n k → Ax, http://www.fixedpointtheoryandapplications.com/content/2013/1/102 and then (Iλ n k B)x n k → Ax. Since (x n k ) k∈N is contained in bounded set M, and B maps M into a bounded set (B is nonexpansive), then Bx n k is norm bounded. Thus, we have (λ n k ) Bx n k → . Moreover, we have that is, (I -B)x n k → Ax. By assumption (iii), we have (I -B)x = Ax, and then the proof is achieved.
If the Banach space X is reflexive, then B is always ω-condensing on M (see, e.g., [, p.]). Moreover, if we supposed that X is uniformly convex Banach space, then I -B : M → X is demiclosed (see, e.g., [, pp.-]). Thus, we obtain the following consequence. In order to use the above results on the whole space, we first prove the following result.

Corollary . Let M be a nonempty, bounded, closed and convex subset of a uniformly convex Banach space X. Suppose that
Theorem . Let X be a Banach space X. Assume that the operator T : X → X be continuous ω-condensing and satisfies (A). Then either (a) equation x = Tx has a solution, or (b) the set {x ∈ X : x = λT(x)} is unbounded for some λ ∈ (, ).
Proof Choose an arbitrary R > . Define for each x ∈ X Clearly, ρ is a continuous retraction of X on B R . Thus, we can define the mapping T ρ : Since T and ρ are continuous, obviously T ρ is also continuous. Furthermore, since T satisfies (A) and ρ is continuous, hence T ρ also satisfies (A). We next claim that Now, by using the properties of the measure of weak noncompactness and properties of T, we have that as claimed, that is, T ρ is a ω-condensing.
The above argument shows that T ρ : B r → B r is under the conditions of Theorem . and thus we have that there exists x  ∈ B r such that x  = T ρ x  . Indeed, we obtain the following results: Remark . Obviously, assumption (iii) in the above theorem is unnecessary whenever α = .
Proof of Theorem . As in the proof of Theorem ., it can be seen that the compound operator J := (I -B) - A is well defined from X into X. Clearly, J is continuous and J satisfies (A) by Lemma .. Let us prove that J maps bounded set into a bounded set. For any bounded set S such that u, v ∈ (I -B) - A(S), there exist x, y ∈ S such that u = (I -B) - Ax and v = (I -B) - Ay, that is, u -Bu = Ax and v -Bv = Ay. Thus, by assumption (ii) and the boundness of A(S), we have Suppose that J(S) = (I -B) - A(S) is unbounded, i.e., there exist sequences (u n ) n∈N and (v n ) n∈N such that u nv n → +∞, and then u nv nϕ( u nv n ) → +∞ by assumption (iii). This is a contradiction with diam(A(S)) < +∞ in (.) and, therefore, J(S) is bounded.
It is similar to that of Theorem . to prove that ω{J(S)} < ω{S} for every bounded set S in D(T) with ω{S} > . Now, by using Theorem . for operator J, we obtain that either http://www.fixedpointtheoryandapplications.com/content/2013/1/102

Application to Hammerstein integral equations in L 1 space
Let be a domain of R n . A function f : × X → Y is said to be a Carathéodory function if (i) for any fixed x ∈ X, the function t → f (t, x) is measurable from to Y ; (ii) for almost any t ∈ , the function f (t, ·) : X → Y is continuous. Let m( ) be the set of all measurable functions ψ : → X. If f is a Carathéodory function, then f defines an operator N f : m( ) → m( ) by N f (ψ)(t) → f (t, ψ(t)). This operator is called the Nemytskii operator associated to f (or the superposition operator). Regarding its continuity and weak compactness, we have the following lemma. in L  spaces (see, for instance, [, Theorem .]). The question of considering the weak sequential continuity of the Nemytskii operator acting from space L p to space L q ( ≤ p, q < ∞) is discussed in [] and the answer is shown to be negative at least for p = .
Next, we give an example of application for Theorem . in the Banach space of integrable function L  ( ; X).
Example . We will study now the existence of solutions for the following variant of Hammerstein's integral equation in L  ( ; X), the space of Lebesgue integrable functions on a measurable subset of R n with values in a finite dimensional Banach space X. Here, f is a nonlinear function and k is measurable, while g is a function satisfying ϕ-nonlinear contractive condition in L  ( ; X).
First, observe that the above problem may be written in the form where B is the Nemytskii operator associated to the function g (i.e., B = N g ) from L  ( ; X) into L  ( ; X) by and A = μLN f is the product of the Nemytskii operator associated to f and the linear integral operator μL where μ ∈ C and L is defined from L  ( ; Y ) into L  ( ; X) by (Lψ)(t) = k(t, s)ψ(s) ds.
Let us now introduce the following assumptions.

Assumptions .
(a) f is a Carathéodory function and N f acts from L  ( ; X) into L  ( ; Y ); (b) b|μ| L <  (the constant b was introduced in Lemma .); (c) g : × X → X is a measurable function with g(·, ) ∈ L  ( ; X), and there exists a continuous and nondecreasing function ϕ : R + → R + such that where ϕ(r) < ( -b|μ| L )r for r >  and lim r→+∞ [rϕ(r)] = +∞; This shows that the linear operator L is continuous, hence weakly continuous from L  ( ; Y ) into L  ( ; X) and that L ≤ ρ L  ( ;L ∞ ) .
() By assumption (c), we get g(t, u) X dt ≤ g(t, ) X dt + ϕ u X < g(t, ) X dt +  -b|λ| L u X , for every u ∈ X. This shows that the Nemytskii operator N g is continuous and maps bounded sets of L  ( ; X) into bounded sets of L  ( ; X). According to Lemma ., the operator B satisfies (A). Now we are in a position to state our main result.
Theorem . Let X and Y be two finite dimensional Banach spaces and be a bounded domain of R n . Assume that the conditions (a)-(f) are satisfied, then the problem (.) has at least one solution in L  ( ; X).
Proof Let us first observe that Lemma . implies that there are a ∈ L  + ( ) and b >  such that So, for any bounded subset S of L  ( ; X), we have On the other hand, clearly A is continuous (see Lemma . and Remark .()). Now we check that A satisfies the condition (A). For this end, let (x n ) n∈N be a weakly convergent sequence of L  ( ; X). Using the fact that N f satisfies (A), and then (N f x n ) n∈N has a weakly convergent subsequence, say (N f x n k ) k∈N . Moreover, the continuity of the linear operator L implies its weak continuity on L  ( ; Y ). Thus, the sequence (LN f x n k ) k∈N , i.e. (Ax n k ) k∈N converges pointwisely for a.e. t ∈ . Using Vitali's convergence theorem, we conclude that (Ax n k ) k∈N converges strongly in L  ( ; X). Therefore, A satisfies (A).
So, B is ϕ-nonlinear contractive on L  ( ; X) and from Remark .(), B satisfies (A). The above arguments show that A and B satisfy the conditions of Theorem ., and assumption (f ) allows us to affirm that equation (.) has a solution.