 Research
 Open Access
 Published:
Fixed point theorems in locally convex spaces and a nonlinear integral equation of mixed type
Fixed Point Theory and Applications volume 2015, Article number: 228 (2015)
Abstract
In this paper, we provide a new approach for discussing the solvability of a class of operator equations by establishing fixed point theorems in locally convex spaces. Our results are obtained extend some Krasnosel’skii type fixed point theorems. As an application, we investigate the existence and global attractivity of solutions for a general nonlinear integral equation of mixed type of Urysohn and Volterra.
1 Introduction
As an example of algebraic settings, the captivating Krasnosel’skii’s fixed point theorem (see [1] or [2], p.31) leads to the consideration of fixed points for the sum of two operators. It asserts that, if M is a bounded, closed, and convex subset of a Banach space X and A, B are two mappings from M into X such that A is compact and B is a contraction, \(A(M)+B(M)\subseteq M\), then \(A+B\) has at least one fixed point in M. Since then, there has been a vast literature dealing with the improvements of such a result. For instance, in locally convex spaces or in Fréchet spaces all kinds of extensions and generalizations of Krasnosel’skii’s fixed point theorem have been obtained by some authors (see e.g. [3–11] etc.).
As a more general consideration, there is another setting which leads one to investigate the fixed points for socalled nonautonomous type superposition operators, that is, to study the existence of solutions to the following operator equation:
for given operators \(A:X\rightarrow Y\) and \(F:X\times Y\rightarrow X\), where X and Y are given spaces. In the framework of Banach spaces, the solvability of equation (1.1) has been considered by one of the authors of this paper in [12, 13].
In the present paper, we will establish some new fixed point theorems for equation (1.1) in the framework of locally convex spaces. Our results extend some Krasnosel’skii type fixed point theorems in the previous literature. As an application we will also study, respectively, the existence and the global attractivity of solutions for the following quite general nonlinear integral equation:
where x belongs to \(C(\mathbb{R}_{+},\mathbb{R}^{d})\), the space of all continuous functions defined on \(\mathbb{R}_{+}:=[0,\infty)\) with values in the real Euclid space \(\mathbb{R}^{d}\) of d dimensions. Equation (1.2) is called a mixed type nonlinear integral equation since within its form an operator of Urysohn type and an operator of Volterra type appear.
Our results may also be applied to find the existence and uniqueness of solutions of differential equations of fractional order with integral boundary conditions [14].
Definition 1.1
(see [15], Definition 1)
The solutions of equation (1.2) are said to be globally attractive, if for arbitrary solutions \(x_{1}(t)\) and \(x_{2}(t)\) of equation (1.2) it follows that \(\lim_{t\rightarrow\infty} \vert x_{1}(t)x_{2}(t)\vert =0\).
It should be noted that by means of a Krasnosel’skii type fixed point theorem, in the space \(C(\mathbb{R}_{+},\mathbb{R}^{d})\) Avramescu and Vladimirescu [16] discussed the following nonlinear integral equation of mixed type:
On the one hand, in the Banach space \(\operatorname {BC}(\mathbb{R}_{+})\) consisting of all real functions continuous and bounded on \(\mathbb{R}_{+}\), by means of the measure of noncompactness Hu and Yan [15], and Olszowy [17], respectively, discussed the following two equations:
On the other hand, owing to the deficiency of a single measure of noncompactness in the space \(C(\mathbb{R}_{+},\mathbb{R}^{d})\), the technique of a family of measures of noncompactness in conjunction with the SchauderTychonoff’s fixed point theorem was applied by Olszowy [11, 18].
Since the calculating of measures of noncompactness is very hard in the majority of locally convex spaces, in the present paper we will show that by establishing some new fixed point results the use of the technique of measures of noncompactness may be avoided. Our goals in this paper are to establish new fixed point theorems for the solvability of equation (1.1) in locally convex spaces, and to study under what conditions equation (1.2) is solvable in \(C(\mathbb{R}_{+},\mathbb{R}^{d})\) by applying our new theorems, and under what conditions the solutions of equation (1.2) are globally attractive. The results obtained will provide a new approach for discussing a class of operator equations in locally convex spaces.
The organization of this paper is as follows. In Section 2, we establish the fixed point theorems for equation (1.1) in locally convex spaces. In Section 3, we prove the existence and the global attractivity of solutions for equation (1.2).
2 Fixed point theorems in locally convex spaces
Throughout this section, X will denote a Hausdorff locally convex topological vector space, and \(\{\vert \cdot \vert _{\rho}\}_{\rho\in\Lambda}\) a family of seminorms which generates the topology of X.
Let \(\mathcal{U}\) be the neighborhood system of the origin obtained from Λ. Thus if \(U\in\mathcal{U}\), there is a finite number of seminorms \(\rho_{1}, \rho_{2}, \ldots, \rho_{n}\) in Λ and real numbers \(r_{1}, r_{2}, \ldots, r_{n}\) such that \(U=\bigcap_{i=1}^{n}r_{i}V(\rho_{i})\), where \(V(\rho)=\{x:\vert x\vert _{\rho}<1\}\).
A mapping \(T:X\rightarrow X\) is said to be a \(\vert \cdot \vert _{\rho}\)contraction for \(\rho\in\Lambda\) if there exists \(\alpha_{\rho}\in[0,1)\) such that \(\vert Tx_{1}Tx_{2}\vert _{\rho}\leq\alpha_{\rho} \vert x_{1}x_{2}\vert _{\rho}\) for all \(x_{1},x_{2}\in X\).
Theorem 2.1
Let X be sequentially complete, and let Y be a topological space. Suppose that M is a closed and convex subset of X, and the operators \(A:M\rightarrow Y\) and \(F:X\times Y\rightarrow X\) satisfy the following conditions:

(i)
A is continuous, and \(A(M)\) is a relatively compact subset of Y;

(ii)
F is continuous, and for each \(\rho\in\Lambda\) there exists \(\alpha_{\rho}\in[0,1)\) such that
$$ \bigl\vert F(x_{1},y)F(x_{2},y)\bigr\vert _{\rho}\leq\alpha_{\rho} \vert x_{1}x_{2} \vert _{\rho}, $$for all \(x_{1},x_{2}\in X\) and \(y\in Y\);

(iii)
\(z=F(z,Ax)\), \(x\in M \Rightarrow z\in M\).
Then there is a point x in M such that \(F(x,Ax)=x\).
Proof
For a given \(y\in A(M)\) by assumption (ii) the mapping \(F(\cdot,y)\) defined by \(z\mapsto F(z,y)\) is a \(\vert \cdot \vert _{\rho}\)contraction for each \(\rho\in\Lambda\), so it has a unique fixed point in X according to [3], Theorem 2.2. Now, let us denote by \(J:A(M)\rightarrow X\) the mapping which assigns each \(y\in A(M)\) to the unique point in X such that \(Jy=F(Jy,y)\). Accordingly, the mapping J is well defined.
For a given \(\rho\in\Lambda\), and arbitrary y, \(y_{0}\) in \(A(M)\), we have the estimate
it follows that
Let \(U=\bigcap_{i=1}^{n}r_{i}V(\rho_{i})\) be a given neighborhood of the origin in X. From the continuity of F it is inferred that there exists a neighborhood \(W_{y_{0}}\) of \(y_{0}\in Y\) such that, for all \(y\in W_{y_{0}}\cap A(M)\),
which implies that
Thus, we obtain
and therefore J is continuous.
By assumption (iii), for every \(x\in M\) we infer that \(z=JAx\in M\) owing to \(z=F(z,Ax)\), i.e. \(JA(M)\subset M\). Since A and J are all continuous, the composite operator JA is continuous on M; and \(JA(M)\) is relatively compact by assumption (i). Now applying the SchauderTychonoff fixed point theorem (refer to [3], Theorem 2.1(b), or [19], p.96), we conclude that JA has a fixed point \(x\in M\) such that \(JAx=x\), which implies that
This completes the proof. □
The following corollary shows that our above result extends the Krasnosel’skii fixed point theorem in locally convex spaces.
Corollary 2.2
Let X be sequentially complete, and let M be a closed and convex subset of X. Suppose that the operators \(A:M\rightarrow X\) and \(B:X\rightarrow X\) satisfy the following conditions:

(i)
A is continuous, and \(A(M)\) is relatively compact;

(ii)
B is a \(\vert \cdot \vert _{\rho}\)contraction for each \(\rho\in\Lambda\);

(iii)
\(y=By+Ax\), \(x\in M \Rightarrow y\in M\).
Then there is a point x in M such that \(Ax+Bx=x\).
Since the assumption (iii) of Theorem 2.1 sometimes is hard to verify in actual applications, we next establish a Schaefer type fixed point theorem for equation (1.2).
Theorem 2.3
Let X be sequentially complete, and let Y denote a topological space. Suppose that the operators \(A:X\rightarrow Y\) and \(F:X\times Y\rightarrow X\) are continuous and satisfy the following conditions:

(i)
A maps bounded sets of X into relatively compact ones of Y;

(ii)
for each \(\rho\in\Lambda\) there exists \(\alpha_{\rho}\in[0,1)\) such that
$$ \bigl\vert F(x_{1},y)F(x_{2},y)\bigr\vert _{\rho}\leq\alpha_{\rho} \vert x_{1}x_{2} \vert _{\rho}, $$for all \(x_{1},x_{2}\in X\) and \(y\in A(X)\).
Then, either

(a)
there is a point x in X such that \(x=F(x,Ax)\), or

(b)
the set \(\{x\in X:x=\lambda F(x/\lambda,Ax)\}\) is unbounded for some \(\lambda\in(0,1)\).
Proof
As in the proof of Theorem 2.1, let us denote by \(J:A(X)\rightarrow X\) the mapping which assigns each \(y\in A(X)\) to the unique point in X such that \(Jy=F(Jy,y)\). We know that J is well defined and continuous.
Since the composite operator \(JA:X\rightarrow X\) is continuous and maps bounded sets into relatively compact ones, by Schaefer’s theorem [20] we find that (a) either the equation \(x=\lambda JAx\) has a solution for \(\lambda=1\), that is,
or (b) the set of all such solutions
is unbounded for some \(\lambda\in(0,1)\). This completes the proof. □
Corollary 2.4
Let X be sequentially complete. Suppose that the two operators \(A,B:X\rightarrow X\) satisfy the following conditions:

(i)
A is continuous and maps bounded sets into relatively weakly compact ones;

(ii)
B is a \(\vert \cdot \vert _{\rho}\)contraction for each \(\rho\in\Lambda\).
Then, either

(a)
there is a point x in X such that \(x=Ax+Bx\), or

(b)
the set \(\{x\in X:x=\lambda Ax+\lambda B(x/\lambda)\}\) is unbounded for some \(\lambda\in(0,1)\).
3 The existence and global attractivity of solutions for a nonlinear integral equation of mixed type
Throughout this section, we assume that the real Euclid space of d dimensions \(\mathbb{R}^{d}\) is endowed with an arbitrary norm \(\vert \cdot \vert \), and the space \(C(\mathbb{R}_{+}, \mathbb{R}^{d})\) is endowed with the family of seminorms
It is well known that \(C(\mathbb{R}_{+},\mathbb{R}^{d})\) is a locally convex space and become a Fréchet space furnished with the distance
Remark 3.1
Let us recall the following facts which will be crucial in our next considerations:

(a)
a nonempty subset M of \(C(\mathbb{R}_{+},\mathbb{R}^{d})\) is said to be bounded if for each \(T>0\) there exists a \(L_{T}>0\) such that \(\vert x\vert _{T}\leq L_{T}\) for all \(x\in M\);

(b)
the set \(\{x\in C(\mathbb{R}_{+},\mathbb{R}^{d}):\vert x(t)\vert \leq h(t)\}\) is a nonempty, bounded, closed, and convex subset of \(C(\mathbb {R}_{+},\mathbb{R}^{d})\), where \(h:\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\) is a continuous function;

(c)
a sequence \((x_{n})_{n\in\mathbb{N}}\) is convergent to x in \(C(\mathbb{R}_{+},\mathbb{R}^{d})\) if and only if \(\vert x_{n}x\vert _{T}\rightarrow0\) for each \(T>0\), i.e. \((x_{n})_{n\in\mathbb{N}}\) is uniformly convergent to x on the interval \([0,T]\);

(d)
a bounded subset M of \(C(\mathbb{R}_{+},\mathbb{R}^{d})\) is relatively compact if and only if, for each \(T>0\), the restrictions to \([0,T]\) of all functions from M form an equicontinuous set.
We will, respectively, prove the existence of solutions and the global attractivity of solutions for equation (1.2) under the following assumptions:
 (\(\mathcal{H}\)1):

\(u:\mathbb{R}_{+}^{2}\times\mathbb{R}^{d}\rightarrow\mathbb {R}^{d}\) is continuous, and there exists a continuous function \(\kappa _{1}:\mathbb{R}_{+}^{2}\rightarrow\mathbb{R}_{+}\) such that, for all \((t,s)\in \mathbb{R}_{+}^{2}\) and \(x\in\mathbb{R}^{d}\),
$$ \bigl\vert u(t,s,x)\bigr\vert \leq\kappa_{1}(t,s)\vert x\vert ; $$  (\(\mathcal{H}\)2):

there exists a continuous function \(h:\mathbb {R}_{+}\rightarrow\mathbb{R}_{+}\) such that the improper integral \(\int _{0}^{\infty}\kappa_{1}(t,s)h(s)\,ds\) is uniformly convergent on all parameters \(t\in[0,T]\) for each \(T>0\), i.e. for arbitrarily given \(\varepsilon>0\) there exists \(S=S(\varepsilon, T)>0\) such that, for all \(t\in[0,T]\),
$$ \int_{S}^{\infty}\kappa_{1}(t,s)h(s)\,ds< \varepsilon; $$  (\(\mathcal{H}\)3):

\(v:\Delta\times\mathbb{R}^{d}\rightarrow\mathbb{R}^{d}\) is continuous, and there exists a continuous function \(\kappa_{2}:\Delta \rightarrow\mathbb{R}_{+}\) such that
$$ \bigl\vert v(t,s,x)\bigr\vert \leq\kappa_{2}(t,s)\vert x\vert , $$for all \((t,s)\in\Delta\) and \(x\in\mathbb{R}^{d}\), where \(\Delta:=\{ (t,s)\in\mathbb{R}_{+}^{2}:0\leq t\leq s\}\);
 (\(\mathcal{H}\)4):

\(f:\mathbb{R}_{+}\times(\mathbb{R}^{d})^{3}\rightarrow\mathbb {R}^{d}\) is continuous, and there exist three continuous functions \(\alpha :\mathbb{R}_{+}\rightarrow[0,1)\), \(\beta:\mathbb{R}_{+}\rightarrow\mathbb {R}_{+}\) and \(\gamma:\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\) such that
$$ \bigl\vert f(t,x_{1},\overline{u}_{1}, \overline{v}_{1})f(t,x_{2},\overline{u}_{2}, \overline {v}_{2})\bigr\vert \leq\alpha(t)\vert x_{1}x_{2} \vert +\beta(t)\vert \overline{u}_{1}\overline {u}_{2} \vert +\gamma(t)\vert \overline{v}_{1}\overline{v}_{2} \vert , $$for all \(x_{i},\overline{u}_{i},\overline{v}_{i}\in\mathbb{R}^{d}\) (\(i=1,2\)) and \(t\in\mathbb{R}_{+}\);
 (\(\mathcal{H}\)5):

the following inequality holds for all \(t\in\mathbb{R}^{+}\):
$$ \bigl\vert f(t,0,0,0)\bigr\vert +\alpha(t)h(t)+\beta(t) \int_{0}^{\infty}\kappa_{1}(t,s)h(s)\,ds + \gamma(t) \int_{0}^{t}\kappa_{2}(t,s)h(s)\,ds\leq h(t); $$  (\(\mathcal{H}\)6):

the following conditions are satisfied:
$$ \lim_{t\rightarrow\infty}\frac{\beta(t)}{1\alpha(t)} \int_{0}^{\infty}\kappa _{1}(t,s)h(s)\,ds=0 \quad \mbox{and}\quad \lim_{t\rightarrow\infty}\frac{\gamma(t)}{1\alpha(t)} \int _{0}^{t}\kappa_{2}(t,s)h(s)\,ds=0. $$
Under the above assumptions, we define a nonempty, bounded, closed, and convex subset of \(C(\mathbb{R}_{+},\mathbb{R}^{d})\) as follows:
and set \(H_{T}:=\sup_{t\in[0,T]}h(t)\). We will apply Theorem 2.1 to prove the existence of solutions to equation (1.2). To this end, we introduce the following two lemmas.
Lemma 3.2
If (\(\mathcal{H}\)1) and (\(\mathcal{H}\)2) are satisfied, then the operator U defined by
is continuous on M and \(U(M)\) is relatively compact in \(C(\mathbb {R}_{+},\mathbb{R}^{d})\).
Proof
For all \(x\in M\), from (\(\mathcal{H}\)1) and (\(\mathcal{H}\)2) we obtain
Since for a given \(x\in M\) and for each \(t\geq0\) the function \(u(t,\cdot,x(\cdot))\) is integrable on \(\mathbb{R}_{+}\), and u is continuous, the function Ux is continuous on \(\mathbb{R}^{+}\). Accordingly, the operator \(U:C(\mathbb{R}_{+},\mathbb{R}^{d})\rightarrow C(\mathbb{R}_{+},\mathbb{R}^{d})\) is well defined.
Let \(T>0\) be fixed. By setting \(K_{1}:=\max\{\kappa_{1}(t,s):(t,s)\in [0,T]\times[0,T]\}\), from (\(\mathcal{H}\)1) we obtain, for all \(x\in M\) and \(t\in[0,T]\),
which shows that the restrictions to \([0,T]\) of all functions from \(U(M)\) form an uniformly bounded set.
For \(\forall\varepsilon>0\), by (\(\mathcal{H}\)2) there exists \(S=S(\varepsilon, T)>0\) such that
By the uniform continuity of u on the set
there exists \(\delta=\delta(\varepsilon)>0\) such that
for \((t_{i},s_{i},x_{i})\in\Pi_{T}\) (\(i=1,2\)) with \(\vert (t_{1},s_{1},x_{1})(t_{2},s_{2},x_{2})\vert \leq\delta\). By combining (3.2) and (3.3) it follows that
for \(t_{1},t_{2}\in[0,T]\) with \(\vert t_{1}t_{2}\vert \leq\delta\) and all \(x\in M\). This shows the restrictions to \([0,T]\) of all functions from \(U(M)\) form an equicontinuous set, and the arbitrariness of \(T>0\) implies that the set \(U(M)\) is relatively compact.
Let \((x_{n})_{n\in\mathbb{N}}\subseteq M\) be a sequence with \(x_{n}\rightarrow x\). The uniform continuity of u on \(\Pi_{T}\) and the convergence of \((x_{n})_{n\in\mathbb{N}}\) implies that there exists \(n_{0}=n_{0}(\varepsilon, T)\) such that, for all \(n\geq n_{0}\) and \((t,s)\in [0,T]\times[0,S]\),
Thus, from (3.2) and (3.4) we obtain
which implies that \(\vert Ux_{n}Ux\vert _{T}\rightarrow0\), and the arbitrariness of \(T>0\) implies the continuity of U is proved. □
Lemma 3.3
If (\(\mathcal{H}\)3) is satisfied, then the operator V defined by
is continuous on M and \(V(M)\) is relatively compact in \(C(\mathbb {R}_{+},\mathbb{R}^{d})\).
Proof
Let \(\Delta_{T}=\{(t,s):0\leq s\leq t\leq T\}\) for an arbitrarily given \(T>0\). It is easily known that the function Vx is continuous on \(\mathbb{R}^{+}\) for a given \(x\in M\) since v is continuous and the function \(v(t,\cdot,x(\cdot))\) is integrable on \([0,t]\) for each \(t\in [0,T]\). Thus the operator \(V:C(\mathbb{R}_{+},\mathbb{R}^{d})\rightarrow C(\mathbb{R}_{+},\mathbb{R}^{d})\) is well defined.
By setting \(K_{2}:=\max\{\kappa_{2}(t,s):(t,s)\in\Delta_{T}\}\), from (\(\mathcal{H}\)3) we obtain, for all \(x\in M\) and \(t\in[0,T]\),
which shows that the restrictions to \([0,T]\) of all functions from \(V(M)\) form an uniformly bounded set.
By the uniform continuity of v on the set
for \(\forall\varepsilon>0\) there exists \(\delta=\delta(\varepsilon ,T)>0\) such that
for all \((t_{i},s_{i},x_{i})\in\Omega_{T}\) (\(i=1,2\)) with \(\vert (t_{1},s_{1},x_{1})(t_{2},s_{2},x_{2})\vert \leq\delta\). Let us choose \(\delta\leq \varepsilon /({T+K_{2}H_{T}})\). It follows that, for each \(x\in M\) and \(\vert t_{1}t_{2}\vert \leq\delta\) with \(t_{1}< t_{2}\),
which shows that the restrictions to \([0,T]\) of all functions from \(V(M)\) form an equicontinuous set, and the arbitrariness of \(T>0\) implies that the set \(V(M)\) is relatively compact.
Let \((x_{n})_{n\in\mathbb{N}}\) be a sequence in M with \(x_{n}\rightarrow x\in M\). Since v is uniformly continuous on \(\Omega_{T}\), it follows that for \(\forall\varepsilon>0\) there exists \(n_{0}=n_{0}(\varepsilon, T)\) such that, for all \(n\geq n_{0}\) and \((t,s)\in\Delta_{T}\),
Thus, for \(\forall t\in[0,T]\) we have
which implies that \(\vert Vx_{n}Vx\vert _{T}\rightarrow0\), and the arbitrariness of \(T>0\) implies the continuity of V is proved. □
We are now in a position by applying our Theorem 2.1 to prove the existence and global attractivity of solutions of equation (1.2).
Theorem 3.4
Under the assumptions (\(\mathcal{H}\)1)(\(\mathcal{H}\)5) equation (1.2) has at least one solution \(x=x(t)\) which belongs to the spaces \(C(\mathbb{R}_{+};\mathbb{R}^{d})\); furthermore if (\(\mathcal{H}\)6) is also satisfied then the solutions of equation (1.2) are globally attractive.
Proof
Let us set \(X:=C(\mathbb{R}_{+},\mathbb{R}^{d})\) and \(Y:=C(\mathbb {R}_{+},\mathbb{R}^{d})\times C(\mathbb{R}_{+},\mathbb{R}^{d})\). Let M be defined by (3.1). The operators \(A:M\rightarrow Y\) and \(F:X\times Y\rightarrow X\) are, respectively, defined by
for all \(x\in X\) and \(y=(\overline{u},\overline{v})\in Y\) with \(\overline{u},\overline{v}\in X\). Our proving is divided into several steps: in (1)(3) we prove the existence; in (4) we prove the global attractivity.
(1) According to Lemma 3.2 and Lemma 3.3, for an arbitrarily given \(x\in X\) we easily infer \(Ax=(Ux,Vx)\in Y\) since \((Ux)(t)\) and \((Vx)(t)\) are all continuous functions defined on \(\mathbb {R}_{+}\); and the continuity of operator A is also easily obtained from the continuity of operators U and V.
Further, from Lemma 3.2 and Lemma 3.3 we infer that \(A(M)\subseteq U(M)\times V(M)\) is relatively compact by the Tychonoff product theorem, and therefore the condition (i) of Theorem 2.1 is satisfied.
(2) Obviously, for arbitrarily given \(x\in X\) and \(y\in Y\) the continuity of \(F(x,y)(t)\) on \(\mathbb{R}_{+}\) may easily be inferred from continuity of the function \(f(t,x(t),\overline{u}(t),\overline{v}(t))\).
Let \(x_{0}\in X\) and \(y_{0}=(\overline{u}_{0},\overline{v}_{0})\in Y\). Suppose that \((x_{n})_{n\in\mathbb{N}}\) is contained in X and \((y_{n})_{n\in \mathbb{N}}\) is contained in Y, respectively, such that \(x_{n}\rightarrow x_{0}\) and \(y_{n}\rightarrow y_{0}\). By taking \(y_{n}=(\overline {u}_{n},\overline{v}_{n})\) it follows that \(\overline{u}_{n}\rightarrow \overline{u}_{0}\) and \(\overline{v}_{n}\rightarrow\overline{v}_{0}\). Let us set
For an arbitrarily given \(T>0\), from (\(\mathcal{H}\)4) we infer that
which implies the operator F is continuous on \(X\times Y\).
Further, for \(\forall x_{1},x_{2}\in X\) and \(\forall y=(\overline {u},\overline{v})\in Y\) by (\(\mathcal{H}\)4) we obtain
for each \(T>0\), which implies that the condition (ii) of Theorem 2.1 is satisfied.
(3) We are going to prove that if for \(x\in M\) there is \(z\in X\) such that
then \(z\in M\). In fact, from (\(\mathcal{H}\)4) we have the following estimate:
and by (\(\mathcal{H}\)5) we have
Accordingly, we obtain \(z\in M\) and the condition (iii) is satisfied. Now applying Theorem 2.1 we conclude the proof of the existence part.
(4) Suppose that \(x_{1}\) and \(x_{2}\) are two solutions of equation (1.2), then by (\(\mathcal{H}\)4) we have
which implies that
Thus, by (\(\mathcal{H}\)6) we obtain
By now we showed that the solution of equation (1.2) is globally attractive and finish the proof. □
References
Krasnosel’skii, MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123127 (1955) (in Russian)
Smart, DR: Fixed Point Theorems. Cambridge University Press, Cambridge (1980)
Cain, GL Jr., Nashed, MZ: Fixed points and stability for a sum of two operators in locally convex spaces. Pac. J. Math. 39(3), 581592 (1971)
Sehgal, VM, Singh, SP: On a fixed point theorem of Krasnoselskii for locally convex spaces. Pac. J. Math. 62(2), 561567 (1976)
Hoa, LH, Schmitt, K: Fixed point theorems of Krasnosel’skii type in locally convex spaces and applications to integral equations. Results Math. 25, 290314 (1994)
Avramescu, C: Some remarks on a fixed point theorem of Krasnoselskii. Electron. J. Qual. Theory Differ. Equ. 2003, 5 (2003)
Barroso, CS, Teixeira, EV: A topological and geometric approach to fixed points results for sum of operators and applications. Nonlinear Anal. 60, 625650 (2005)
Ngoc, LTP, Long, NT: On a fixed point theorem of Krasnosel’skii type and application to integral equations. Fixed Point Theory Appl. 2006, 30847 (2006)
Vladimirescu, C: Remark on Krasnoselskii’s fixed point theorem. Nonlinear Anal. 71, 876880 (2009)
Ben Amar, A, Cherif, MA, Mnif, M: Fixedpoint theory on a Frechet topological vector space. Int. J. Math. Math. Sci. 2011, 390720 (2011)
Olszowy, L: Fixed point theorems in the Fréchet space \(C(\mathbb {R}_{+})\) and functional integral equations on an unbounded interval. Appl. Math. Comput. 218, 90669074 (2012)
Wang, F: A fixed point theorem for nonautonomous type superposition operators and integrable solutions of a general nonlinear functional integral equation. J. Inequal. Appl. 2014, 487 (2014)
Wang, F: Solvability of a general nonlinear integral equation in \(L^{1}\)spaces by means of a weak measure of noncompactness. J. Integral Equ. Appl. 27(2), 273287 (2015)
Nanware, JA, Dhaigude, DB: Existence and uniqueness of solutions of differential equations of fractional order with integral boundary conditions. J. Nonlinear Sci. Appl. 7, 246254 (2014)
Hu, X, Yan, J: The global attractivity and asymptotic stability of solution of a nonlinear integral equation. J. Math. Anal. Appl. 321, 147156 (2006)
Avramescu, C, Vladimirescu, C: An existence result of asymptotically stable solutions for an integral equation of mixed type. Electron. J. Qual. Theory Differ. Equ. 2005, 25 (2005)
Olszowy, L: On solutions of functionalintegral equations of Urysohn type on an unbounded interval. Math. Comput. Model. 47, 11251133 (2008)
Olszowy, L: Existence of mild solutions for the semilinear nonlocal problem in Banach spaces. Nonlinear Anal. 81, 211223 (2013)
Agarwal, RP, Meehan, M, O’Regan, D: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2001)
Schaefer, H: Über die Methode der a prioriSchranken. Math. Ann. 129, 415416 (1955)
Acknowledgements
This research was supported by Natural Science Foundation of the Jiangsu Higher Education Institutions of China (No. 15KJB110001).
Author information
Authors and 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 the 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
Wang, F., Zhou, H. Fixed point theorems in locally convex spaces and a nonlinear integral equation of mixed type. Fixed Point Theory Appl 2015, 228 (2015). https://doi.org/10.1186/s1366301504770
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366301504770
MSC
 47H10
 45G10
 45D05
Keywords
 fixed point theorem
 locally convex space
 nonlinear integral equation