 Research
 Open Access
 Published:
LeraySchaudertype fixed point theorems in Banach algebras and application to quadratic integral equations
Fixed Point Theory and Applications volume 2016, Article number: 88 (2016)
Abstract
In this paper, we present new fixed point theorems in Banach algebras relative to the weak topology. Our fixed point results are obtained under LeraySchaudertype boundary conditions. These results improve and complement a number of earlier works. As an application, we establish some existence results for a broad class of quadratic integral equations.
Introduction
The need for a fixed point theory in Banach algebras arose out of the study of quadratic integral equations. Those equations have received increasing attention during recent years due to their applications in diverse fields of science and engineering, for example, the theory of radiative transfer [1], statistical mechanics [2], biomathematics [3], signal theory [4], kinetic theory of gases [5], transport theory [6], and so on.
The problem of existence of solution to quadratic integral equations may be usually reduced to a fixed point problem of the form
where Ω is a nonempty subset of a Banach algebra X.
In recent years, significant advances have been made in the development of fixed point theory in Banach algebras using the norm topology and applications to quadratic integral equations. We quote the contributions by Leggett [7], Majorana and Marano [8], Banas and Lecko [9], Dhage [10–14], and many others (see, e.g., [15–18] and the references therein).
However, only a few papers have been up to now devoted to the existence of fixed points for mappings acting on Banach algebras relative to the weak topology [19–21].
One of the most important results for solving (1.1) using the norm topology is the following result due to Dhage [12]. This result can be seen as an analogue of Krasnosel’skii’s fixed point theorem in Banach algebras.
Theorem 1.1
Let Ω be a nonempty bounded closed convex subset of a Banach algebra X. Let \(B\colon\Omega\to X\) and \(A,C\colon X\to X\) be continuous operators satisfying:

(i)
B is completely continuous,

(ii)
A and C are Lipschitzian mappings with constants \(k_{A}\) and \(k_{C}\), respectively,

(iii)
the equality \(x=AxBy+Cx\) with \(y\in\Omega\) implies \(x\in \Omega\).
Then the operator equation \(x=AxBx+Cx\) has a solution whenever \(Qk_{A} + k_{C} < 1\), where \(Q = \Vert B(\Omega)\Vert \).
Very recently, Banas and Taoudi [19] proved the following analogue of Theorem 1.1 for the weak topology.
Theorem 1.2
Let Ω be a nonempty closed and convex subset of a Banach algebra X with property (\(\mathcal{P}\)). Let \(B\colon \Omega\to X\) and \(A,C\colon X\to X\) be weakly sequentially continuous operators satisfying:

(i)
\(B(\Omega)\) is relatively weakly compact,

(ii)
A and C are Lipschitzian mappings with constants \(k_{A}\) and \(k_{C}\), respectively,

(iii)
the equality \(x=AxBy+Cx\) with \(y\in\Omega\) implies \(x\in \Omega\).
Then the operator equation \(x=AxBx+Cx\) has a solution whenever \(Qk_{A} + k_{C} < 1\), where \(Q = \Vert B(\Omega)\Vert \).
Recall that a Banach algebra X is said to have property \((\mathcal{P})\) if for every two sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in X such that \(x_{n}\rightharpoonup x\) and \(y_{n}\rightharpoonup y \) for some \(x,y\in X\), we have \(x_{n}y_{n}\rightharpoonup xy\).
We emphasize that Theorems 1.1 and 1.2 are stated under the Burtontype boundary condition that
In some applications, it is difficult and sometimes impossible to construct a set Ω so that (1.2) holds. This entails the importance of considering other ‘boundary conditions,’ namely LeraySchaudertype conditions [14], FuriPeratype conditions [18], and many others.
The aim of this paper is to establish new fixed point theorems in Banach algebras relative to the weak topology under LeraySchaudertype boundary conditions. Then, we replace the weak continuity of the involved operators by the concepts of wwcompactness and wscompactness and interchange the weak compactness by some alternative conditions formulated using the axiomatic measure of weak noncompactness. Our results improve and encompass several earlier related works. As an application, we prove the existence of a continuous solution for a broad class of quadratic integral equations.
This paper is arranged as follows. In Section 1, we fix the notation and present some key tools that will be used to prove our main results. In Section 2, we prove some fixed point results in Banach algebras under boundary conditions of LeraySchauder type. Finally, in the last section, we use some materials from previous sections to develop an existence theory for a broad class of quadratic integral equations. For the remainder of this section, we gather some notations and preliminary facts. Let X be a Banach algebra with norm \(\Vert \cdot \Vert \), and let \(X^{*}\) denote the topological dual of X. We use the symbol \(B(x, r)\) to denote the closed ball centered at x with radius r. We write \(B_{r}\) to denote \(B(0, r)\). Further, we denote by \(B(X)\) the family of all nonempty and bounded subsets of X. The symbol \(\mathcal{K}^{w}(X)\) stands for the family of all weakly compact subsets of X. For any bounded subset Ω of X, we put \(\Vert \Omega \Vert =\sup \{ \Vert x \Vert : x \in\Omega\}\).
In the sequel, we will adopt the following definition of the axiomatic measure of weak noncompactness [22].
Definition 1.3
A function \(\psi\colon B(X) \longrightarrow\mathbb{R}^{+}\) is said to be a measure of weak noncompactness if it satisfies the following conditions:

(i)
The family \(\ker\psi= \{M\in B(X): \psi(M)=0\}\) is nonempty, and kerψ is contained in the set of relatively weakly compact subsets of X,

(ii)
\(M_{1} \subset M_{2} \Longrightarrow\psi(M_{1}) \leq\psi(M_{2})\),

(iii)
\(\psi(co (M))= \psi(M)\), where \(co(M)\) is the convex hull of M,

(iv)
\(\psi(\lambda M_{1}+(1\lambda)M_{2}) \leq\lambda\psi (M_{1})+ (1 \lambda) \psi(M_{2})\) for \(\lambda\in[0,1]\),

(v)
if \((M_{n})_{n \geq1} \) is a sequence of nonempty, weakly closed subsets of X with \(M_{1}\) bounded and \(M_{1} \supseteq M_{2} \supseteq\cdots \supseteq M_{n} \supseteq\cdots\) such that \(\lim_{n \to+\infty} \psi(M_{n})= 0\), then the set \(M_{\infty}:=\bigcap_{n=1}^{\infty} M_{n}\) is nonempty.
Notice that the set \(M_{\infty}\) belongs to kerψ since \(\psi(M_{\infty}) \leq\psi(M_{n})\) for every n and \(\lim_{n \to+\infty} \psi(M_{n})= 0\). Also, we can readily check that the measure ψ satisfies, for all \(M \in B(X)\),
We say that ψ is nonsingular if
for each \(x_{0} \in X\).
The first important example of a measure of weak noncompactness was defined by De Blasi [23] as follows:
for all \(M\in B(X)\). Notice that the De Blasi measure of weak noncompactness w is nonsingular.
We summarize some useful properties of w in the following proposition. For a proof, we refer the reader to [23].
Proposition 1.4
For all bounded subsets \(M_{1}\) and \(M_{2}\) of X, we have:

(a)
\(w(M_{1})=0\) if and only if \(M_{1}\) is relatively weakly compact,

(b)
\(w(M_{1}+M_{2})\leq w(M_{1})+w(M_{2})\),

(c)
\(w(M_{1}\cup M_{2})=\max(w(M_{1}),w(M_{2}))\).
Definition 1.5
Let Ω be a nonempty subset of a Banach space X, and ψ be a measure of weak noncompactness on X. Let \(T\colon \Omega\to X \) be a mapping. We say that:

(i)
T is weakly sequentially continuous if it maps weakly convergent sequences into weakly convergent sequences,

(ii)
T is ψcondensing if T is bounded (i.e., it takes bounded sets into bounded sets) and \(\psi(T (M )) < \psi(M )\) for any bounded subset M of Ω with \(\psi(M ) > 0\),

(iii)
T is weakly compact if \(T (\Omega)\) is relatively weakly compact,

(iv)
T is ws compact if it is continuous and for any weakly convergent sequence \((x_{n} )\) in Ω, the sequence \((T x_{n} )\) has a strongly convergent subsequence in X,

(v)
T is ww compact if it is continuous and for any weakly convergent sequence \((x_{n})\) in Ω, the sequence \((T x_{n} )\) has a weakly convergent subsequence in X.
Notice that the concepts of wwcompact and wscompact mappings arise naturally in the study of integral and partial differential equations (see [24–32]). It is worth noting that wwcompact and wscompact mappings are not necessarily weakly sequentially continuous [25].
The following result is crucial for our purpose.
Theorem 1.6
([33], Theorem 1.1)
Let X be a Banach space.

(i)
Let H be a bounded subset of \(C([0,T], X)\). Then
$$\sup_{t\in[0,T ]} w\bigl(H(t)\bigr) \leq w(H), $$where \(H(t)=\{ x(t); x\in H\}\);

(ii)
Let \(H \subset C([0, T ], X)\) be bounded and equicontinuous. Then
$$w(H) = \sup_{t\in[0,T ]} w\bigl(H(t)\bigr) = w\bigl(H[0, T ]\bigr), $$where \(H[0, T ] = \bigcup_{t\in[0,T ]} H(t)\).
For later use, we recall the mean value theorem for the Pettis integral; see [34], Theorem 3.
Lemma 1.7
Let X be a Banach space, and \(h : [a, b]\longrightarrow X\) be a Pettisintegrable function. Then
The following lemma is well known.
Lemma 1.8
([35], Lemma 2.8)
Let X be a Banach space, and \(F : X \longrightarrow X\) be a Lipschitzian mapping with constant k. If, moreover, F is wwcompact, then for any bounded subset M of X, we have \(w(F(M))\leq k w(M)\).
Definition 1.9
[19]
Let X be a Banach algebra. We say that X is a WCBanach algebra if the product \(K\cdot K'\) of arbitrary weakly compact subsets K and \(K'\) of X is weakly compact.
Lemma 1.10
[19]
Let M and \(M^{\prime}\) be bounded subsets of a WCBanach algebra X. Then \(w(M\cdot M^{\prime}) \leq \Vert M^{\prime} \Vert w(M) + \Vert M \Vert w(M^{\prime})+w(M)w(M^{\prime})\).
In particular, if \(M^{\prime}\) is relatively weakly compact, then \(w(M\cdot M^{\prime}) \leq \Vert M^{\prime} \Vert w(M)\).
Remark 1.11
It is worth noticing that every Banach algebra with property (\(\mathcal{P}\)) is a WCBanach algebra. Also, every commutative Banach algebra with the DunfordPettis property has property (\(\mathcal{P}\)) (see [19]). In particular, \(L^{1}(\mu), L^{\infty}(\mu)\), and \(C(K)\) have property (\(\mathcal{P}\)). Recall that a Banach space X is said to have the DunfordPettis property (DPP) if for each Banach space Y, every weakly compact linear operator \(T \colon X\to Y\) maps weakly convergent sequences into strongly convergent sequences.
LeraySchaudertype fixed point theorems in Banach algebras relative to the weak topology
In this section, we prove some fixed point theorems in Banach algebras relative to the weak topology. Our results are formulated using some LeraySchaudertype boundary conditions. Before proceeding with the main results, we give a key lemma, which we will employ several times in the sequel.
Lemma 2.1
Let M be a nonempty bounded subset of a Banach algebra X, and \(A,C\colon X\to X\) be Lipschitzian mappings with constants \(\alpha_{A}\) and \(\alpha_{C}\) such that \(\Vert M\Vert \alpha_{A}+\alpha_{C}<1\). Then, for every \(x\in M\), there is a unique \(\tau(x)\) with
Let \(\tau_{A,C}\colon M \to X\) be the map that assigns to \(x\in M\) the value \(\tau(x)\). Then:

(i)
\(\tau_{A,C}(M)\) is bounded.

(ii)
\(\tau_{A,C}\) is continuous.

(iii)
If X is a WCBanach algebra and if A and C are wwcompact, then \(\tau_{A,C}\) is wwcompact.

(iv)
If X is a Banach algebra with property \((\mathcal{P})\) and if A and C are weakly sequentially continuous, then \(\tau_{A,C}\) is weakly sequentially continuous on M.
Proof
Let \(x\in M\) be fixed. The map φ that assigns to each \(y\in X\) the value \(A(y)\cdot x+C(y)\) defines a strict contraction with constant \(\Vert M\Vert \alpha_{A} + \alpha_{C}\). Indeed, for all \(y_{1},y_{2}\in X\), we have:
Now the contraction mapping principle guarantees that there exists a unique point \(\tau(x)\in X\) such that \(\varphi(\tau(x))=\tau(x)=A(\tau(x))x+C(\tau(x))\). Notice that, for all \(x\in M\),
Let \(x_{0}\in M\) be fixed. Then, for all \(x\in M\), we have
Thus,
Consequently, \(\tau_{A,C}(M)\) is bounded. Now, we prove that \(\tau_{A,C}\) is continuous. For \(x_{n}\to x\), we have
Since \(\tau_{A,C}(M)\) is bounded, we have \(\lim\sup_{n}\Vert \tau (x_{n})\tau(x)\Vert \in \mathbb{R}^{+}\), and
Keeping in mind that \(\Vert M \Vert \alpha_{A}+\alpha_{C}<1\), we deduce that
Now, we prove that \(\tau_{A,C}\) is wwcompact. To see this, let N be a weakly compact subset of M. Applying the properties of the De Blasi measure of weak noncompactness w and Lemmas 1.8 and 1.10, we arrive at
and therefore, \(w(\tau(N))=0\). Now, it remains to prove the last assertion. To see this, let \((x_{n})\) be a sequence of M that converges weakly to some \(x\in M\). Since \(\tau_{A,C}\) is wwcompact, there is a subsequence \((x_{n_{k}})\) of \((x_{n})\) such that the sequence \(\tau(x_{n_{k}})\) converges weakly to some z. Taking into account that \(\tau(x_{n_{k}})=A\tau(x_{n_{k}}) x_{n_{k}}+C\tau(x_{n_{k}})\) and the fact that X satisfies condition (\(\mathcal{P}\)), the weak sequential continuity of A and C yields
Thus, \(z=\tau(x)\). Consequently,
Now we show that
Suppose the contrary. Then there exists a weak neighborhood \(N^{w}\) of \(\tau(x)\) and a subsequence \((x_{n_{j}})\) of \((x_{n})\) such that \(\tau(x_{n_{j}}) \notin N^{w}\) for all \(j\geq1\). Since \((x_{n_{j}})\) converges weakly to x, then arguing as before, we may extract a subsequence \((x_{n_{j_{k}}})\) of \((x_{n_{j}})\) such that \(\tau (x_{n_{j_{k}}})\rightharpoonup\tau(x)\). This is not possible since \(\tau(x_{n_{j_{k}}})\notin N^{w}\) for all \(k\geq1\). As a result, \(\tau_{A,C} \) is weakly sequentially continuous. □
Now, we establish our first fixed point theorem under LeraySchauder boundary conditions.
Theorem 2.2
Let X be a Banach algebra satisfying property \((\mathcal{P})\), and let ψ be a nonsingular measure of weak noncompactness on X. Let Ω be a nonempty closed and convex subset of X, and \(U \subset \Omega\) be a weakly open set (with respect to the weak topology of Ω) such that \(0 \in U\). Let \(A, C: X \rightarrow X\) and \(B \colon\overline{U^{w}} \rightarrow X\) be weakly sequentially continuous operators satisfying the following conditions:

(i)
\(B(\overline{U^{w}})\) is bounded with bound \(Q = \Vert B(\overline{U^{w}}) \Vert \),

(ii)
A and C are Lipschitzian mappings with constants \(\alpha_{A}\) and \(\alpha_{C}\) such that \(Q \alpha_{A} + \alpha_{C} < 1\),

(iii)
\(T:= \tau_{A,C}B \colon\overline{U^{w}}\to X \) is ψcondensing.
Then, either

(A1)
there exists \(u\in\overline{U^{w}} \) such that \(Au Bu + Cu = u\), or

(A2)
there exists \(u \in\partial_{\Omega} U\) such that
$$\lambda A \biggl(\frac{u}{\lambda}\biggr) B u + \lambda C \biggl( \frac{u}{\lambda}\biggr) = u $$
for some \(\lambda \in(0, 1)\), where \(\partial_{\Omega} U\) is the weak boundary of U in Ω.
Proof
First, notice that the equation \(\lambda A (\frac{u}{\lambda}) B u + \lambda C (\frac{u}{\lambda}) = u\) is equivalent to \(\lambda T(u)=u\). Keeping in mind that B is weakly sequentially continuous and \(B(\overline{U^{w}})\) is bounded and invoking Lemma 2.1, we infer that T is weakly sequentially continuous and \(T(\overline{U^{w}})= \tau _{A,C} B(\overline{U^{w}})\) is bounded. Now, suppose that \((A2)\) does not occur and T has no fixed point in \(\partial_{\Omega} U\) (otherwise, we are finished since \((A1)\) occurs). Then for all x in \(\partial_{\Omega} U\) and for all λ in \([0,1]\), we have
Let
The set Δ is nonempty since \(0\in \Delta\). From (2.1) it follows that \(\Delta\cap\partial_{\Omega} U =\emptyset\). Clearly, \(\Delta\subset\overline{co} (T( \Delta) \cup\{0\})\), and so Δ is bounded. Since T is ψcondensing, we have
and therefore Δ is relatively weakly compact. Our next task is to show that Δ is weakly sequentially closed. To do this, let \((x_{n})_{n}\) be a sequence in Δ that converges weakly to some x. Notice that for each integer \(n\in\mathbb{N}\), there is \(\lambda_{n}\in[0,1]\) such that \(x_{n}= \lambda_{n} T(x_{n})\). By extracting a subsequence, if necessary, we assume that \((\lambda_{n})_{n}\) converges to some \(\lambda\in[0,1]\). Letting \(n\to\infty\), we get \(\lambda Tx = x\), and so \(x\in\Delta\). Now we show that Δ is weakly closed. To see this, let \(x\in \overline{U^{w}}\) be weakly adherent to Δ. Since \(\overline{\Delta^{w}} \) is weakly compact the EberleinSmulian theorem [36], Theorem 8.12.4, p.549, ensures the existence of a sequence \((x_{n})_{n} \in\Delta^{\mathbb{N}} \) such that \(x_{n}\rightharpoonup x\). Notice that \(x\in\Delta\) since Δ is weakly sequentially closed. Keeping in mind that \(\Delta\cap \partial_{\Omega} U=\emptyset\), Δ is weakly compact, and \(\partial_{\Omega} U\) is weakly closed since X endowed with the weak topology is a locally convex space (and thus a Tychonoff space), the Urysohn theorem for the weak topology [37] guarantees the existence of a weakly continuous mapping \(\varphi : X \longrightarrow[0, 1]\) such that
We define the mapping \(T_{1}: X \longrightarrow X\) by
Since T is weakly sequentially continuous, so is \(T_{1}\). Furthermore, we readily check that
Let \(C=\overline{co}(T(\overline{U^{w}}) \cup\{0\})\). Clearly, C is a convex closed subset of X, and \(T_{1}(C) \subset T_{1}(X) \subset C\). Since \(T(\overline{U^{w}}) \) is bounded, so is \(T_{1}(C)\).
We consider the set
The set L is nonempty since \(C \in L\). Set \(N= \bigcap_{M\in L} M\). Clearly, N is a closed convex subset of C, and \(T_{1} (N ) \subset N\). Hence, \(N \in L\). Clearly, \(\overline{co} (T_{1} (N ) \cup\{0 \}) \subset N\), and so
Hence, \(\overline{co} (T_{1} (N ) \cup\{0\}) \in L\), and therefore \(N \subset\overline{co} ( T_{1} (N ) \cup\{0 \})\). Thus,
Using the properties of the measure of weak noncompactness, we get
Since T is ψcondensing and N is closed, we deduce that N is weakly compact. The ArinoGautierPenot fixed point theorem [38] implies that there exists \(u\in N\) such that \(T_{1}(u)=u\). Now \(u\in\overline{U^{w}}\) since \(0\in\overline{U^{w}}\). Consequently, \(\varphi(u)T(u)=u\), and so \(u\in \Delta\). This implies \(\varphi(u)=1\), and so \(T(u)=u\). Thus, \(AuBu+Cu=u\). □
Remark 2.3
The statement of Theorem 2.2 remains true if we replace ‘A and C Lipschitzian’ with ‘A and C \(\mathcal{D}\)Lipschitzian,’ provided that \(\tau_{A,C}B(\overline{U^{w}})\) is bounded. We emphasize that Theorem 2.2 improves [20], Theorem 3.1. In contrast to [20], the operator A in Theorem 2.2 needs not be regular.
Now, we present some important corollaries of Theorem 2.2, which extend and encompass several wellknown results in the literature. Firstly, note that hypothesis (iii) in Theorem 2.2 may be replaced with (iii′): \(T( \overline{U^{w}})= \tau_{A,C}B (\overline{U^{w}}) \) is relatively weakly compact or (iii″): T maps bounded sets into relatively weakly compact sets. From an application point of view, it is convenient to require the weak compactness on B instead of \(\tau_{A,C}B\). We may therefore state the following result.
Corollary 2.4
Let X be a Banach algebra satisfying property \((\mathcal{P})\). Let Ω be a nonempty closed and convex subset of X, and U be a weakly open subset of Ω (with respect to the weak topology of Ω) such that \(0 \in U\). Let \(A, C: X \rightarrow X\) and \(B : \overline{U^{w}} \rightarrow X\) be weakly sequentially continuous operators satisfying the following conditions:

(i)
\(B (\overline{U^{w}})\) is relatively weakly compact,

(ii)
A and C are Lipschitzian mappings with constants \(\alpha_{A}\) and \(\alpha_{C}\) such that \(Q \alpha_{A} + \alpha_{C} < 1\), where \(Q = \Vert B(\overline{U^{w}}) \Vert \).
Then, either

(A1)
there exists \(u\in\overline{U^{w}} \) such that \(Au Bu + Cu = u\), or

(A2)
there exist \(u \in\partial_{\Omega} U\) and \(\lambda \in (0, 1)\) such that \(\lambda A (\frac{u}{\lambda}) B u + \lambda C (\frac{u}{\lambda}) = u\).
Proof
It suffices to show that \(T:= \tau_{A,C} B\) maps bounded sets of \(\overline{U^{w}}\) into relatively weakly compact sets of X. To see this, let M be a bounded subset of \(\overline{U^{w}}\). Clearly,
Let w be the De Blasi measure of weak noncompactness. Referring to Lemmas 1.8 and 1.10, we see that
Thus, \(w(T(M)) = 0\), and therefore \(T(M)\) is relatively weakly compact. The result follows from Theorem 2.2. □
Remark 2.5

(i)
Corollary 2.4 is an analogue of [14], Theorem 2.4, for the weak topology and extends [20], Theorem 3.4.

(ii)
In Corollary 2.4, condition (i) may be replaced with (i′): ‘B maps bounded sets into relatively weakly compact sets, and \(B(\overline {U^{w}})\) is bounded.’ In this case, if we take \(A=1_{X}\), then we obtain the Krasnosel’skiiLeraySchaudertype fixed point theorem for the weak topology [39], Theorem 2.1.

(iii)
If we assume that \(\overline{U^{w}}\) is a weakly compact subset of Ω, then hypothesis (iii) in Theorem 2.2 is redundant.
If we take \(C=0\) in Theorem 2.2, then we get the following result.
Corollary 2.6
Let X be a Banach algebra satisfying property \((\mathcal{P})\), and ψ be a nonsingular measure of weak noncompactness on X. Let Ω be a nonempty closed and convex subset of X, and \(U \subset\Omega\) be a weakly open set (with respect to the weak topology of Ω) such that \(0 \in U\). Let \(A : X \rightarrow X\) and \(B :\overline{U^{w}} \rightarrow X\) be weakly sequentially continuous operators satisfying the following conditions:

(i)
\(B(\overline{U^{w}})\) is bounded with bound \(Q = \Vert B(\overline{U^{w}}) \Vert \),

(ii)
A is Lipschitzian mapping with constant \(\alpha_{A}\) such that \(Q \alpha_{A} < 1\),

(iii)
\(T:= \tau_{A,0}B \colon\overline{U^{w}}\to X \) is a ψcondensing mapping.
Then, either

(A1)
there exists \(u\in\overline{U^{w}} \) such that \(Au Bu = u\), or

(A2)
there exist \(u \in\partial_{\Omega} U\) and \(\lambda \in (0, 1)\) such that \(\lambda A (\frac{u}{\lambda}) B u = u\).
We describe now an important special case where \(C\equiv z_{0}\in X\). We will obtain a sharpening of [20], Theorem 3.2, and a weak LeraySchauder version of [8], Proposition 2.
Corollary 2.7
Let X be a Banach algebra satisfying property \((\mathcal{P})\), and ψ be a nonsingular measure of weak noncompactness on X. Let Ω be a nonempty closed and convex subset of X, and \(U \subset\Omega\) be a weakly open set (with respect to the weak topology of Ω) such that \(0 \in U\). Let \(A: X \rightarrow X\) and \(B : \overline{U^{w}} \rightarrow X\) be two weakly sequentially continuous operators. Assume that

(i)
A maps bounded sets into bounded sets and there exists a constant \(\lambda\geq 0\) such that \(\psi(A (M)) \leq \lambda \psi(M)\) for every bounded subset M of X, and

(ii)
B maps bounded sets into relatively weakly compact sets, \(B(\overline{U^{w}})\) is bounded, and \(\lambda\cdot\sup_{z \in\overline{U^{w}}} \Vert B(z) \Vert < 1\).
Then, either

(A1)
there exists \(z\in\overline{U^{w}} \) such that \(z_{0} + Az Bz = z\), or

(A2)
there exist \(z \in\partial_{\Omega} U\) and \(\lambda \in (0, 1)\) such that
$$\lambda z_{0} + \lambda A \biggl(\frac{z}{\lambda}\biggr) B z = z. $$
Proof
The reasoning in the proof of Corollary 2.4 yields that \(T=\tau_{A,C} B\) is ψcondensing, where \(C\equiv z_{0}\). The result follows from Theorem 2.2. □
Remark 2.8
If we take \(Ax=x\) (A is not regular), in Corollary 2.7, we obtain a weak LeraySchauder version of the Leggett result [7], Theorem 2.
Corollary 2.9
Let X be a Banach algebra satisfying property \((\mathcal{P})\), and let ψ be a nonsingular measure of weak noncompactness on X. Let Ω be a nonempty closed and convex subset of X, and \(U \subset\Omega\) be a weakly open set (with respect to the weak topology of Ω) such that \(0 \in U\). Let \(A, C: X \rightarrow X\) and \(B : \overline{U^{w}} \rightarrow X\) be weakly sequentially continuous operators satisfying conditions (i), (ii), (iii) of Theorem 2.2.
In addition, assume that
for all λ in \((0,1)\) and u in \(\partial_{ \Omega} U\). Then, the set of fixed points of T in \(\overline{U^{w}}\) is nonempty and weakly compact.
Proof
Let
By Theorem 2.2 we see that \(\Delta\neq\emptyset\). Notice that \(\Delta\subset T(\Delta)\) implies that Δ is bounded and
Since T is ψcondensing, \(\psi(\Delta)= 0\), and therefore Δ is relatively weakly compact. The reasoning in the proof of Theorem 2.2 shows that Δ is weakly closed, so Δ is weakly compact. □
Remark 2.10
If we assume that
for all \(x\in\frac{1}{\lambda} \partial_{\Omega}U \) and \(\lambda \in(0,1)\), then, the boundary condition (2.5) is satisfied. Indeed, let \(x\in \partial_{\Omega}U\) and \(\lambda\in(0,1)\). Suppose that \(\lambda A (\frac{x}{\lambda}) B x + \lambda C (\frac{x}{\lambda}) = x\). Then \(\Vert \frac{x}{\lambda} C \frac{x}{\lambda} \Vert = \Vert A (\frac{x}{\lambda}) B x \Vert \leq Q \Vert A (\frac{x}{\lambda})\Vert \), which contradicts (2.6).
In many practical situations, the weak (sequential) continuity is not easy to be checked or even not satisfied. So, we will interchange this condition by the wscompactness. Our approach combines the advantages of the strong topology (i.e., the involved mappings will be continuous) with the advantages of the weak topology (i.e., the maps will be weakly compact). This enlarges considerably the applicability of our fixed point theorems. In analogy to what we have done in beginning of Section 2, we will try to develop a parallel fixed point theory for wscompact operators under LeraySchaudertype boundary conditions.
Theorem 2.11
Let X be a Banach algebra, and ψ be a nonsingular measure of weak noncompactness on X. Let Ω be a nonempty closed and convex subset of X, and \(U \subset \Omega\) be an open set (with respect to the topology of Ω) such that \(0 \in U\). Let \(A, C: X \longrightarrow X\) and \(B: \overline{U} \longrightarrow X\) be three operators satisfying the following conditions:

(i)
B is wscompact, and the set \(B(\overline{U})\) is bounded with bound \(Q = \Vert B(\overline{U}) \Vert \),

(ii)
A and C are Lipschitzian mappings with constants \(\alpha_{A}\) and \(\alpha_{C}\) such that
$$Q \alpha_{A} + \alpha_{C} < 1, $$ 
(iii)
\(T:= \tau_{A,C}B \colon\overline{U}\to X \) is ψcondensing.
Then, either

(A1)
there exists \(u\in\overline{U} \) such that \(Au Bu + Cu = u\), or

(A2)
there exist \(u \in\partial_{\Omega} U\) and \(\lambda \in (0, 1)\) such that \(\lambda A (\frac{u}{\lambda}) B u + \lambda C (\frac{u}{\lambda}) = u\).
Proof
Referring to Lemma 2.1, we see that the operator \(T=\tau _{A,C}B : \overline{U} \longrightarrow X\) is well defined and continuous. Notice also that since B is wscompact, T is wscompact. Now, suppose that (A2) does not occur and T has no fixed point in \(\partial_{\Omega} U\) (otherwise, we are finished since (A1) occurs). Then, for all x in \(\partial_{\Omega} U\) and for all λ in \([0,1]\), we have that
Let
The set Δ is nonempty since \(0\in \Delta\). In addition, the continuity of T implies that Δ is closed. From (2.7) we know that
Clearly,
Applying the properties of ψ, we have
Since T is ψcondensing, Δ is relatively weakly compact. Notice that Δ is closed implies Δ is weakly compact. Since T is wscompact, \(T(\Delta)\) is relatively compact. It follows, by using the Mazur theorem, that \(\overline{co} (T (\Delta)\cup\{0\}) \) is compact. Now, (2.10), together with the fact that Δ is closed, implies that Δ is compact. By Urysohn’s lemma [37] there exists a continuous function \(\varphi\colon\overline{U} \longrightarrow[0, 1]\) with \(\varphi(\Delta)=1\) and \(\varphi(\partial_{\Omega} U)=0\). Let
Clearly, F is a continuous mapping, and
Invoking Lemma 2.1, we infer that \(T(\overline{U})\) is bounded. Now, let \(K=\overline{co}(T(\overline{U}) \cup\{0\})\). Obviously, K is a closed convex subset of X, and \(F(K) \subset F(X) \subset K\). Since \(T(\overline{U}) \) is bounded, so is \(F(K)\). Consider
The reasoning in the proof of Theorem 2.2 yields that \(N= \bigcap_{M\in L} M\) is weakly compact. Since T is wscompact, \(T(N)\) is relatively compact. The Mazur theorem guarantees that \(\overline{co} (T (N ) \cup\{ 0 \})\) is compact. This implies that N is compact since \(N \subset\overline{co} (T (N ) \cup \{ 0 \})\). Now, the Schauder fixed point theorem implies that there is \(u\in N\) such that \(F(u)=u\). Now \(u\in\overline{U}\) since \(0\in\overline{U}\). Consequently, \(\varphi(u)T(u)=u\), and so \(u\in \Delta\). This implies \(\varphi(u)=1\), and so \(T(u)=u\). Thus, \(AuBu+Cu=u\). □
Remark 2.12
We should mention that property \((\mathcal{P})\) is essential in the proof of Theorem 2.2 as far as the weak sequential continuity is concerned. This is not the case in Theorem 2.11 since the involved mappings are continuous (for the norm topology) and the algebra multiplication is always continuous.
As a consequence of Theorem 2.11, we get the following corollaries and related results.
Corollary 2.13
Let X be a Banach algebra. Let Ω be a nonempty closed and convex subset of X, and \(U \subset\Omega\) be an open set (with respect to the topology of Ω) such that \(0 \in U\). Let \(A, C: X \longrightarrow X\) and \(B: \overline{U} \longrightarrow X\) be three operators satisfying the following conditions:

(i)
B is wscompact, and the set \(B(\overline{U})\) is bounded with bound \(Q = \Vert B(\overline{U}) \Vert \),

(ii)
A and C are Lipschitzian mappings with constants \(\alpha _{A}\) and \(\alpha_{C}\) such that
$$Q \alpha_{A} + \alpha_{C} < 1, $$ 
(iii)
\(T:= \tau_{A,C}B \colon\overline{U}\to X \) is weakly compact.
Then, either

(A1)
there exists \(u\in\overline{U} \) such that \(Au Bu + Cu = u\), or

(A2)
there exist \(u \in\partial_{\Omega} U\) and \(\lambda \in (0, 1)\) such that \(\lambda A (\frac{u}{\lambda}) B u + \lambda C (\frac{u}{\lambda}) = u\).
Remark 2.14
In Corollary 2.13, hypothesis (iii) may be replaced with (iii′): ‘T maps bounded sets into relatively weakly compact sets.’
Corollary 2.15
Let X be a WCBanach algebra. Let Ω be a nonempty closed and convex subset of X, and \(U \subset\Omega\) be an open set (with respect to the topology of Ω) such that \(0 \in U\). Let \(A, C: X \longrightarrow X\) and \(B: \overline{U} \longrightarrow X\) be three operators satisfying the following conditions:

(i)
B is wscompact, B maps bounded sets into relatively weakly compact sets, and \(B(\overline{U})\) is bounded with bound Q,

(ii)
A and C are wwcompact Lipschitzian mappings with constants \(\alpha_{A}\) and \(\alpha_{C}\) such that
$$Q \alpha_{A} + \alpha_{C} < 1. $$
Then, either

(A1)
there exists \(u\in\overline{U} \) such that \(Au Bu + Cu = u\), or

(A2)
there exist \(u \in\partial_{\Omega} U\) and \(\lambda \in (0, 1)\) such that \(\lambda A (\frac{u}{\lambda}) B u + \lambda C (\frac{u}{\lambda}) = u\).
Proof
According to Corollary 2.13, we have only to show that T maps bounded sets into relatively weakly compact sets. To see this, let M a bounded subset of U̅. From our hypotheses we know that \(B(M)\) is relatively weakly compact. Notice \(\tau_{A,C}\) is wwcompact implies that \(T(M)=\tau_{A,C} (B(M))\) is relatively weakly compact. This achieves the proof. □
Remark 2.16

(1)
In Corollary 2.15, hypothesis (i) can be replaced with (i′): ‘B is wscompact, and \(B(\overline{U})\) is relatively weakly compact.’
 (2)
Considering the particular case \(C\equiv0\), we get the following result.
Corollary 2.17
Let X be a Banach algebra, and ψ be a nonsingular measure of weak noncompactness on X. Let Ω be a nonempty closed and convex subset of X, and \(U \subset\Omega\) be an open set (with respect to the topology of Ω) such that \(0 \in U\). Let \(A : X \longrightarrow X\) and \(B: \overline{U} \longrightarrow X\) are continuous operators satisfying the following conditions:

(i)
B is wscompact, and \(B(\overline{U})\) is bounded with bound \(Q = \Vert B(\overline{U}) \Vert \),

(ii)
A is a Lipschitzian mapping with constant \(\alpha_{A}\) such that \(Q \alpha_{A} < 1\),

(iii)
\(T:= \tau_{A,0}B \colon\overline{U}\to X \) is ψcondensing.
Then, either

(A1)
there exists \(u\in\overline{U} \) such that \(Au Bu = u\), or

(A2)
there exist \(u \in\partial_{\Omega} U\) and \(\lambda \in (0, 1)\) such that \(\lambda A (\frac{u}{\lambda}) B u = u\).
Remark 2.18
The results of Section 2 remain true if we replace A and C ‘Lipschitzian’ with ‘\(\mathcal{D}\)Lipschitzian,’ provided that \(\tau_{A,C}B(\overline{U^{w}})\) is bounded.
Application
As pointed out in the Introduction, quadratic integral equations occur in a large number of ‘reallife’ problems. In order to illustrate our abstract mathematical results, we will devote the present section to study of the existence of continuous solutions to the following abstract nonlinear quadratic integral equation:
where X is a real Banach algebra satisfying condition \((\mathcal{P})\). As usual, we will denote by \(E=C([0,1], X )\) the Banach space of all Xvalued continuous functions defined on \([0,1]\), endowed with its standard norm \(\Vert x \Vert = \sup_{t\in[0,1]} \Vert x(t) \Vert \). Notice that E is a Banach algebra that satisfies condition \((\mathcal{P})\). The operator A maps E into itself. The functions \(q : J \longrightarrow X, g, k : J \times X \longrightarrow X\), and \(\mu, \sigma, \eta: J \longrightarrow J\) satisfy conditions to be specified later. The integral in (3.1) is understood to be the Pettis integral (see [40] for more details), and solutions to (3.1) will be sought in E. The solvability of equation (3.1) is motivated by the previous papers [14–17, 19, 20]. Equation (3.1) will be studied under the following assumptions:

(H1)

(i)
The functions \(\mu, \sigma, \eta: J \longrightarrow J\) are continuous,

(ii)
the function \(q: J \longrightarrow X\) is continuous. Let \(Q_{1}= \sup_{t\in J} \Vert q(t) \Vert \),

(i)

(H2)

(i)
for all \(t\in[0,1]\), \(k(t,\cdot) : X \longrightarrow X\) is weakly sequentially continuous,

(ii)
for each \(x \in X\), \(k(\cdot, x) : J \longrightarrow X\) is continuous,

(iii)
there is a continuous function \(\delta\colon J \longrightarrow\mathbb{R}^{+}\) with bound \(\Delta= \Vert \delta \Vert _{\infty} \) such that \(\Vert k(t,x)  k(t,y) \Vert \leq\delta(t) \Vert xy \Vert \) for all \(x,y\in X\) and \(t\in[0,1]\),

(i)

(H3)
the operator \(A : E \longrightarrow E\) satisfies

(i)
there exists a continuous function \(\gamma\colon J \longrightarrow \mathbb{R}^{+}\) with bound \(\Gamma= \Vert \gamma \Vert _{\infty} \) such that, for all \(x, y \in E\) and \(t \in [0, 1]\),
$$ \bigl\Vert Ax(t)  Ay(t) \bigr\Vert \leq\gamma(t) \bigl\Vert x (t)y(t) \bigr\Vert , $$ 
(ii)
A is weakly sequentially continuous on E,

(iii)
A is weakly compact, and \(M_{0} = \sup_{x \in E} \Vert Ax \Vert \),

(i)

(H4)

(i)
for each continuous \(x:[0,1] \longrightarrow X\), the function \(s\mapsto g(s, x(s))\) is weakly measurable on \([0,1]\), and for almost every \(t \in [0,1]\), the map \(x \mapsto g(t, x)\) is weakly sequentially continuous,

(ii)
there are a function \(\phi \in L^{1}( [0,1], \mathbb{R}^{+})\) and a continuous nondecreasing function \(\theta: \mathbb{R}^{+} \longrightarrow\mathbb{R}^{+}\) such that
$$\bigl\Vert g(s,x) \bigr\Vert \leq \phi(s) \theta\bigl(\Vert x \Vert \bigr) \quad\mbox{for a.e. }s \in[0,1] $$and all x in X,

(iii)
there is a constant \(\tau \geq0\) such that \(\tau \frac {M_{0}}{1k_{C}} <1\) and
$$ w\bigl(g\bigl([0, 1] \times V\bigr)\bigr) \leq\tau w(V) $$for any bounded subset V of X,

(i)

(H5)
there is \(r > 0\) such that \(Q \Gamma+ \Delta< 1\), where
$$Q= Q_{1}+ \theta(r) \int_{0}^{1}\phi(s)\,ds. $$
Let \(r >0\) satisfy (H5), and let Ω be any closed convex equicontinuous subset of \(B(0,r)\) with \(0\in \Omega\). Let U be a weakly open subset of Ω such that \(0 \in U\). Notice that (3.1) is equivalent to the operator equation
where the operators C and B are defined by
Now, we are ready to state the main result of this section.
Theorem 3.1
Let X be a Banach algebra satisfying condition \((\mathcal{P})\) and suppose that assumptions (H1)(H5) hold.
In addition, assume that
for all \(\lambda\in(0,1), t\in[0,1]\), and \(x \in\partial _{\Omega} U\).
Then equation (3.1) has at least one solution in E.
To prove Theorem 3.1, we need the following result.
Lemma 3.2
([41], p.36)
Let K be a compact Hausdorff space, and X be a Banach space. Let \((f_{n})_{n}\) be a bounded sequence in \(C(K,X)\), and \(f \in C(K,X)\). Then \((f_{n})_{n}\) is weakly convergent to f if and only if \((f_{n}(t))_{n}\) is weakly convergent to \(f(t)\) for each \(t \in K\).
Proof
We show that the operators \(A, B\), and C satisfy all conditions of Corollary 2.9. This will be achieved in five steps.
Step 1: We show that the operators A and C make sense and are weakly sequentially continuous. In view of hypothesis (H3)(ii), A is weakly sequentially continuous. Now, we show that the mapping C is well defined. To this end, let \(x\in E\) and let \((t_{n} ) \in J^{\mathbb{N}}\) be such that \(t_{n} \longrightarrow t \in J\). Thus,
Since \(k(\cdot, x)\) is continuous (from (H2)(ii)) and μ is continuous, it follows that \(\Vert Cx(t_{n} )  Cx(t)\Vert \longrightarrow0\). Accordingly, \(Cx \in E\). Now, we show that C is weakly sequentially continuous. To see this, let \((x_{n})_{n}\) be a sequence in E such that \(x_{n} \rightharpoonup x\) for some \(x\in E\). Then \((x_{n})_{n}\) is bounded in E. Also, for each \(t\in [0,1], x_{n}(\mu(t))\rightharpoonup x(\mu(t))\) (by Lemma 3.2). Hence, \(C x_{n}(t)= k(t,x_{n}(t)) \rightharpoonup k(t,x(t))= C x(t)\) (by (H2)(i)). Using again Lemma 3.2, we infer that \(Cx_{n}\rightharpoonup Cx\).
Step 2: Now, we show that A and C are Lipschitzian functions. To do this, let \(x,y \in E \). From assumption (H3)(i) it follows that
for each \(t\in J\). As a result,
In virtue of assumption (H2)(iii), the reasoning above yields that C is Lipschitzian with constant Δ.
Step 3: Now, we illustrate that B maps Ω into E and is weakly sequentially continuous. To perform this, let \(x\in\Omega\) and \(u,v\in[0,1]\). Without loss of generality, we may assume that \(\vert Bx(v) Bx(u) \vert \neq 0\). Using the HahnBanach theorem, we deduce that there exists \(h \in X^{\star}\) such that \(h(Bx(v) Bx(u)) = \Vert Bx(v) Bx(u)\Vert \) and \(\Vert h \Vert = 1\). Hence,
Accordingly, \(Bx\in E\). Furthermore, the uniform continuity of q and σ on the compact \([0,1]\) implies that \((B(\Omega))\) is an equicontinuous family of functions. On the other hand, we show that \(B(\Omega)\) is bounded. In fact, fix \(x\in\Omega\) and take \(t \in [0,1]\). Without loss of generality, we may assume that \(\vert B x(t) \vert \neq 0\). Using the HahnBanach theorem, we deduce that there exists \(h \in X^{\star}\) such that \(h(B x(t)) = \Vert Bx(t) \Vert \) and \(\Vert h \Vert = 1\). It follows that
and thus \(B(\Omega)\) is bounded.
Now, we show that B is weakly sequentially continuous on Ω. To see this, let \((x_{n})_{n} \in \Omega^{\mathbb{N}}\) and \(x\in \Omega\) be such that \(x_{n}\rightharpoonup x\). Then, \((x_{n})\) is norm bounded. Applying Lemma 3.2, we get
Furthermore, for n in \(\mathbb{N} \) and \(\psi\in X^{\star}\),
From hypotheses (H1)(i) and (H4)(i) it follows that
for each \(s\in[0, 1]\). The Lebesgue dominated convergence theorem yields
As a result, \(B x_{n}(t) \rightharpoonup B x(t)\). Applying again Lemma 3.2, we conclude that \(Bx_{n}\rightharpoonup Bx\).
Step 4: Now, we prove that T is wcondensing, where w is the De Blasi measure of weak noncompactness. Indeed, let S be a bounded subset of Ω such that \(w(S) > 0\). Notice that, for each \(x\in S\), we have \(Tx=A(Tx) Bx +C(Tx)\). Hence,
Thus,
From Lemma 1.10 (since A is weakly compact) it follows that
Consequently,
On the other hand, for each \(t\in [0,1]\), we have
Theorem 1.6 implies (since S is bounded and equicontinuous) that
Hence, for each \(t\in[0,1]\), we have
Invoking Theorem 1.6, we obtain (since \(B(S)\) is bounded and equicontinuous)
Consequently,
Since \(\tau \frac{M_{0}}{1k_{C}} <1\), we have \(w(T(S)) < w(S)\).
Step 5: Finally, it remains to show that condition (2.6) of Remark 2.10 is satisfied. Let λ in \((0,1) \) and \(x\in\partial_{\Omega}U\). The use of property (3.5) implies that, for each \(t\in [0, 1]\),
Applying Corollary 2.9, we infer that there is \(u\in\Omega\) such that
which is in turn a solution of the operator equation (3.1) in E. □
Remark 3.3
Our results are more general than those obtained in [20]. In [20], X is assumed to be a reflexive Banach algebra, and A is assumed to be quasiregular. In our considerations, it might be, from technical viewpoint, relatively simple to require X to be reflexive and to use standard arguments based on the weak version of the ArzelàAscoli theorem to obtain existence results under weaker assumptions. Unfortunately, the only known examples of Banach algebras with property \((\mathcal{P})\) are Banach algebras with the DunfordPettis property (see [19]). Nevertheless, the DunfordPettis property is thought of as the opposite of reflexivity because it is known that a reflexive Banach algebra with the DunfordPettis property is necessarily finitedimensional. For this reason, we may ask whether some infinitedimensional reflexive Banach algebra could have property \((\mathcal{P})\).
References
 1.
Chandrasekhar, S: Radiative Transfer. Dover, New York (1960)
 2.
George, H, Pimbley, JR: Positive solutions of a quadratic integral equation. Arch. Ration. Mech. Anal. 24(2), 107127 (1967)
 3.
Gripenberg, G: On some epidemic models. Q. Appl. Math. 39, 317327 (1981)
 4.
Kurz, L, Nowosad, P, Saltzberg, BR: On the solution of a quadratic integral equation arising in signal design. J. Franklin Inst. 281, 437454 (1966)
 5.
Hu, S, Khavanin, M, Zhuang, W: Integral equations arising in the kinetic theory of gases. Appl. Anal. 34(34), 261266 (1989)
 6.
Spiga, G, Bowden, RL, Boffi, VC: On the solutions to a class of nonlinear integral equations arising in transport theory. J. Math. Phys. 25, 3444 (1984)
 7.
Leggett, RW: On certain nonlinear integral equations. J. Math. Anal. Appl. 57, 462468 (1977)
 8.
Majorana, A, Marano, SA: Continuous solutions of a nonlinear integral equation on an unbounded domain. J. Integral Equ. Appl. 6(1), 119128 (1994)
 9.
Banaś, J, Lecko, M: Fixed points of the product of operators in Banach algebra. Panam. Math. J. 12(2), 101109 (2002)
 10.
Dhage, BC: On some variants of Schauder’s fixed point principle and applications to nonlinear integral equations. J. Math. Phys. Sci. 25, 603611 (1988)
 11.
Dhage, BC: Remarks on two fixed point theorems involving the sum and the product of two operators. Comput. Math. Appl. 46, 17791785 (2003)
 12.
Dhage, BC: A fixed point theorem in Banach algebras involving three operators with applications. Kyungpook Math. J. 44, 145155 (2004)
 13.
Dhage, BC: On a fixed point theorem in Banach algebras with applications. Appl. Math. Lett. 18, 273280 (2005)
 14.
Dhage, BC: On some nonlinear alternatives of LeraySchauder type and functional integral equations. Arch. Math. 42, 1123 (2006)
 15.
Banaś, J, Rodriguez, JR, Sadarangani, K: On a class of UrysohnStieltjes quadratic integral equations and their applications. J. Comput. Appl. Math. 113(1), 3550 (2000)
 16.
Banaś, J, Rodriquez, JR, Sadarangani, K: On a nonlinear quadratic integral equation of UrysohnStieltjes type and its applications. Nonlinear Anal., Theory Methods Appl. 47(2), 11751186 (2001)
 17.
Benchohra, M, Darwish, MA: On quadratic integral equations of Urysohn type in Fréchet spaces. Acta Math. Univ. Comen. 79(1), 105110 (2010)
 18.
Djebali, S, Hammache, K: FuriPera fixed point theorems in Banach algebras with applications. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 47, 5575 (2008)
 19.
Banaś, J, Taoudi, MA: Fixed points and solutions of operator equations for the weak topology in Banach algebras. Taiwan. J. Math. 18(3), 871893 (2014)
 20.
Ali, AA, Ben Amar, A: Measures of weak noncompactness, nonlinear LeraySchauder alternatives in Banach algebras satisfying condition (\(\mathcal{P}\)) and an application. Quaest. Math. 39, 319340 (2015)
 21.
Ben Amar, A, Chouayekh, S, Jeribi, A: New fixed point theorems in Banach algebras under weak topology features and applications to nonlinear integral equation. J. Funct. Anal. 259(9), 22152237 (2010)
 22.
Banaś, J, Rivero, J: On measures of weak noncompactness. Ann. Mat. Pura Appl. 151, 213224 (1988)
 23.
De Blasi, FS: On a property of the unit sphere in Banach spaces. Bull. Math. Soc. Sci. Math. Roum. 21, 259262 (1977)
 24.
Latrach, K, Taoudi, MA, Zeghal, A: Some fixed point theorems of the Schauder and Krasnoselskii type and application to nonlinear transport equations. J. Differ. Equ. 221(1), 256271 (2006)
 25.
Agarwal, RP, O’Regan, D, Taoudi, MA: Fixed point theorems for wscompact mappings in Banach spaces. Fixed Point Theory Appl. 2010, Article ID 183596 (2010)
 26.
Djebali, S, Sahnoun, Z: Nonlinear alternatives of Schauder and Krasnosel’skii types with applications to Hammerstein integral equations in \(L^{1}\) spaces. J. Differ. Equ. 249(9), 20612075 (2010)
 27.
Jachymski, J: On Isac’s fixed point theorem for selfmaps of a Galerkin cone. Ann. Sci. Math. Qué. 18(2), 169171 (1994)
 28.
Latrach, K, Taoudi, MA: Existence results for a generalized nonlinear Hammerstein equation on \(L^{1}\)spaces. Nonlinear Anal. 66, 23252333 (2007)
 29.
Salhi, N, Taoudi, MA: Existence of integrable solutions of an integral equation of Hammerstein type on an unbounded interval. Mediterr. J. Math. 9(4), 729739 (2012)
 30.
Taoudi, MA: Integrable solutions of a nonlinear functional integral equation on an unbounded interval. Nonlinear Anal. 71, 41314136 (2009)
 31.
Taoudi, MA, Salhi, N, Ghribi, B: Integrable solutions of a mixed type operator equation. Appl. Math. Comput. 216(4), 11501157 (2010)
 32.
Ezzinbi, K, Taoudi, MA: SadovskiiKrasnosel’skii type fixed point theorems in Banach spaces with application to evolution equations. J. Appl. Math. Comput. 49(12), 243260 (2015)
 33.
O’Regan, D: Operator equations in Banach spaces relative to the weak topology. Arch. Math. 71(2), 123136 (1998)
 34.
Cichon, M, Kubiaczyk, I, Sikorska, A: The HenstockKurzweilPettis integrals and existence theorems for the Cauchy problem. Czechoslov. Math. J. 54(2), 279289 (2004)
 35.
Agarwal, RP, O’Regan, D, Taoudi, MA: BrowderKrasnoselskiitype fixed point theorems in Banach spaces. Fixed Point Theory Appl. 2010, Article ID 243716 (2010)
 36.
Edwards, RE: Theory and Applications, Functional Analysis. Holt, Rinehart & Winston, New York (1965)
 37.
James, IM: Topological and Uniform Spaces. Springer, New York (1987)
 38.
Arino, O, Gautier, S, Penot, JP: A fixed point theorem for sequentially continuous mappings with applications to ordinary differential equations. Funkc. Ekvacioj 27, 273279 (1984)
 39.
O’Regan, D, Taoudi, MA: Fixed point theorems for the sum of two weakly sequentially continuous mappings. Nonlinear Anal., Theory Methods Appl. 73(2), 283289 (2010)
 40.
Pettis, BJ: On integration in vector spaces. Trans. Am. Math. Soc. 44, 277304 (1938)
 41.
Dobrakov, I: On representation of linear operators on \(C_{0}(T,X)\). Czechoslov. Math. J. 21, 1330 (1971)
Acknowledgements
The authors express their gratitude to the anonymous referees for their very valuable remarks and improvements.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. 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 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Khchine, A., Maniar, L. & Taoudi, MA. LeraySchaudertype fixed point theorems in Banach algebras and application to quadratic integral equations. Fixed Point Theory Appl 2016, 88 (2016). https://doi.org/10.1186/s1366301605793
Received:
Accepted:
Published:
MSC
 47H10
 45G10
Keywords
 fixed point theorem
 Banach algebra
 quadratic integral equation
 measure of weak noncompactness
 weakly condensing