 Research
 Open Access
 Published:
Fixed point theorems in locally convex algebras and applications to nonlinear integral equations
Fixed Point Theory and Applications volume 2015, Article number: 60 (2015)
Abstract
In this paper, we give a fixed point theorem in locally convex algebras and present applications to the existence problem for a class of nonlinear integral equations with unbounded deviations.
Introduction
The research of functional integral equations and differential equations is a main object of investigations of nonlinear functional analysis. These equations occur in physical, biological, and economic problems. The existence of solutions of them are commonly proved by suitable fixed point theorems. In this paper, we establish a new fixed point theorem for continuous mappings on locally convex algebras. These results arose out of our examination of a particular functional integral with unbounded deviations. We noticed in our study that the fixed point theorems developed in the Banach algebras (see [1–5] and the references given therein) were not always useful in establishing existence principles for the problems that we are interested in Section 4. More precisely, the wellknown results in Banach algebras are not applicable to nonlinear integral equations with unbounded deviations.
Preliminaries
Before stating the main results, we give some useful definitions, preliminaries which will be used in the sequel.
Let X be a uniform space. Then uniform topology on X is generated by the family of uniform continuous pseudometrics on \(X\times X\) (see [6]). In this paper, by \((X, \mathcal{P})\) we mean a Hausdorff uniform space whose uniformity is generated by a saturated family of pseudometrics \(\mathcal{P}=\{ d_{\alpha}(x, y): \alpha\in I\}\), where I is an index set. Note that \((X, \mathcal{P})\) is Hausdorff if and only if \(d_{\alpha}(x, y)=0\) for all \(\alpha\in I\) implies \(x=y\).
Definition 2.1
([7])
Let \((X, \mathcal{P})\) be a Hausdorff uniform space.

(1)
The sequence \(\{x_{n}\}\subset X\) is Cauchy if \(d_{\alpha}(x_{n},x_{m})\rightarrow0\) as \(m,n \rightarrow+\infty\) for every \(\alpha\in I\).

(2)
X is said to be sequentially complete if every Cauchy sequence \(\{x_{n}\}\) in X converges to \(x\in X\).
Definition 2.2
([7])
Let \(j: I\to I\) be an arbitrary mapping of the index set I into itself. The iterations of j can be defined inductively
Now, we introduce the two classes of functions which play crucial roles in the fixed point theory. Sometimes, they are called control functions.
Let \(\Phi=\{\phi\}\) be a class of functions with the properties:

(i)
\(\phi:[0,+\infty)\rightarrow[0,+\infty)\) is monotone nondecreasing and continuous;

(ii)
\(0<\phi(t)<t\) for all \(t>0\) and \(\phi(0)=0\).
Let \(\Psi=\{\psi\}\) be a class of functions with the properties:

(i)
\(\psi:[0,+\infty)\rightarrow[0,+\infty)\) is monotone nondecreasing and continuous;

(ii)
\(\psi(0)=0\).
We need the following fact for the class of functions Φ. It may be not original.
Lemma 2.3
For any \(\phi\in\Phi\), if K is a bounded subset of \([0,+\infty)\) then there exists \(k\in(0, 1)\) such that
for all \(t\in K\).
Proof
Since the closure \(\overline{K}\) of K is compact and ϕ is continuous, we have
for some \(t_{0}\in\overline{K}\). Suppose that there no \(0< k<1\) such that \(\phi(t)\leq kt\) for all \(t\in K\). Then, for each \(n=1,2, \ldots\) we can find \(t_{n}\in K\) such that
Since \(\overline{K}\) is compact, there exists a subsequence \((t_{n_{k}})\) of the sequence \((t_{n})\) such that \(t_{n_{k}}\to t\in \overline{K}\). Letting \(n_{k}\to+\infty\) in (1), we arrive at \(\phi(t)\geq t\) and this is a contradiction. □
Definition 2.4
([7])
Let \((X, \mathcal{P})\) be a uniform space and \(\{\phi_{\alpha}\}_{\alpha\in I}\subset\Phi\) be a family of functions. A mapping \(T: X\to X\) is said to be Φcontractive on X if
for all \(x, y\in X\), \(\alpha\in I\) and for some fixed mapping \(j:I\to I\).
The following is due to Angelov [8].
Theorem 2.5
Let \((X, \mathcal{P})\) be a Hausdorff sequentially complete uniform space and \(T: X\to X\) be a mapping. Suppose that

(1)
T is Φcontractive;

(2)
for every \(\alpha\in I\) there exists a function \(\overline{\phi}_{\alpha}\in\Phi\) such that
$$\sup\bigl\{ \phi_{j^{n}(\alpha)}(t): n=0,1,2,\ldots\bigr\} \leq\overline{\phi}_{\alpha}(t) $$and \(\frac{\overline{\phi}_{\alpha}(t)}{t}\) is monotone nondecreasing;

(3)
there is \(x_{0}\in X\) such that for every \(\alpha\in I\) there exists \(q(\alpha)>0\) such that the inequality \(d_{j^{n}(\alpha)}(x_{0}, Tx_{0})\leq q(\alpha)\) is valid for all \(n=0,1,\ldots\) .
Then T has at least one fixed point in X.
Angelov added the following properties of X for the uniqueness of fixed point.
Definition 2.6
([7])
A uniform space \((X, \mathcal{P})\) is said to be jbounded if for every \(\alpha\in I\) and \(x, y\in X\) there exists \(q=q(x, y, \alpha)\) such that
Theorem 2.7
Suppose that the conditions of Theorem 2.5 are fulfilled. If X is jbounded then F has a unique fixed point.
Remark 2.8
If E is a locally convex space with a saturated family of seminorms \(\{p_{\alpha}\}_{\alpha\in I}\), then the associated family of pseudometrics \(\{d_{\alpha}\}_{\alpha\in I}\) defined by \(d_{\alpha}(x, y)=p_{\alpha}(xy)\) for every \(x, y\in E\) and \(\alpha\in I\). The uniform topology, which is generated by this family of pseudometrics \(\{d_{\alpha}\}_{\alpha\in I}\), coincides with the original topology of the space E. Therefore, as a corollary of Theorem 2.5, we obtain the fixed point theorems in locally convex spaces.
Let X be a locally convex space and \(T: X\to X\). Then T is called a compact operator if \(\overline{T(X)}\) is a compact subset of X. Again T is called totally bounded if for any bounded set S of X, \(T(S)\) is a totally bounded set of X. Further, T is called completely continuous if it is continuous and totally bounded. Note that every compact operator is totally bounded. The two notions are equivalent on a bounded set of X.
The following theorem is called the TikhonovSchauder fixed point theorem.
Theorem 2.9
([9])
Let E be a Hausdorff locally convex space, C a convex subset of E and \(F: C\to E\) a continuous mapping such that
with A compact. Then F has at least one fixed point.
Throughout this paper, we consider associative and commutative algebras over the field \(\Bbb{K}\) of complex numbers or real numbers.
Definition 2.10
Let E be an algebra over \(\Bbb{K}\). E is called a topological algebra if

(1)
E is a topological vector space;

(2)
the multiplication in E is continuous.
We recall that a seminorm on the vector space E is a realvalued function \(p: E\to R\) such that the following conditions are satisfied:

(i)
\(p(x) \geq 0\), for every \(x\in E\);

(ii)
\(p (x + y) \leq p(x) + p(y)\), for any \(x , y \in E\);

(iii)
\(p(\lambda x) =  \lambda p(x)\), for any \(\lambda\in K\) and \(x\in E\).
Definition 2.11
Let E be a topological algebra.

(1)
A seminorm \(p: E\to\Bbb{R}\) is called submultiplicative if \(p(xy) \leq p(x)p(y)\) for any elements x, y in E.

(2)
A set \(U\subset E\) is called multiplicative if \(U\cdot U\subset U\).
Definition 2.12
The topological algebra E is called a locally multiplicatively convex algebra if E has a local basis consisting of multiplicative and convex sets.
In this paper, a locally multiplicatively convex algebra is briefly called a locally convex algebra. The following remark is due to [10] and [11].
Remark 2.13
Let E be a locally convex algebra. Then one can show that its topology is defined by a saturated family \(\mathcal{P}=\{p_{\alpha}\}_{\alpha\in I}\) of submultiplicative seminorms.
Example 2.14
Let \(X=C(\Bbb{R};\Bbb{R})\) be the algebra consisting all continuous functions from R to R. Then X is a locally convex algebra that defined by the countable family of submultiplicative seminorms
For more basis material as regards the theory of locally convex algebra, we refer the reader to [10, 12], and [11].
Fixed point theorems in locally convex algebras
Let X be a locally convex algebra with a saturated family of seminorms \(\{p_{\alpha}\}_{\alpha\in I}\).
Definition 3.1
The mapping \(T: X\to X\) is said to be \(\mathcal{D}\) Lipschitzian with the family of functions \(\{\psi_{\alpha}\}_{\alpha\in I}\) if
for all \(x, y\in X\) and \(\alpha\in I\), where \(\{\psi_{\alpha}\}_{\alpha\in I}\) is a subfamily of Ψ.
If \(\psi_{\alpha}(t)=k_{\alpha}t\) for all \(t\geq0\), where \(k_{\alpha}\) is a real number for all \({\alpha\in I}\), then T is called Lipschitzian with the family of Lipschitz constants \(\{k_{\alpha}\}_{\alpha\in I}\).
Theorem 3.2
Let X be a locally convex algebra such that topology of X is Hausdorff sequentially complete. Let S be a closed, convex and bounded subset of X and \(A: X\to X\), \(B: S\to X\) be two operators such that

(A1)
A is \(\mathcal{D}\)Lipschitzian with the family of functions \(\{\psi_{\alpha}\}\);

(A2)
B is completely continuous and \(x=Ax By\) implies \(x\in S\) for every \(y\in S\);

(A3)
\(p_{j(\alpha)}(xy)\leq p_{\alpha}(xy)\) for every \(x,y\in S\) and \(\alpha\in I\);

(A4)
for every \(x\in X\) and for every \(\alpha\in I\), there exists \(q(\alpha, x)\) such that
$$p_{j^{k}(\alpha)}(x)\leq q(\alpha, x)< +\infty $$for all \(k=0,1,2,\ldots\) . In particular, \(p_{j^{k}(\alpha)}(x)\leq q(\alpha)< +\infty\) for every \(x\in S\) and for all \(k=0,1,2,\ldots\) ;

(A5)
for each \(\alpha\in I\),
$$M_{\alpha}\psi_{\alpha}(t)< t $$for all \(t>0\) and there exists \(\overline{\phi}_{\alpha}\in\Phi\) such that \(\frac{\overline{\phi}_{\alpha}(t)}{t}\) is nondecreasing and
$$\sup\bigl\{ M_{j^{k}(\alpha)}\psi_{j^{k}(\alpha)}(t): k=0,1,2,\ldots\bigr\} \leq \overline{\phi}_{\alpha}(t) $$for every \(t>0\), where \(M_{\alpha}=\sup\{p_{\alpha}(B(x)): x\in S\}\), \(\alpha\in I\).
Then the operator equation \(x=AxBx\) has a solution.
Proof
Now, let \(y\in S\), we define a mapping \(A_{y}: X\to X\) by
First, we claim that \(A_{y}\) is \(\mathcal{D}\)Lipschitzian. For each \(\alpha\in I\), we have
where \(\phi_{\alpha}=M_{\alpha}\psi_{\alpha}\in\Phi\). Then it is easy to see that all conditions of Theorem 2.7 are fulfilled for \(A_{y}\) with every \(\alpha\in I\). Hence, we get a unique fixed point \(x^{*}\in X\) of \(A_{y}\), that is,
Since condition (A2) holds, we have \(x^{*}\in S\). Now, we define a mapping \(N: S\to X\) by
where \(z\in X\) is the unique solution of the equation
Now, we show that N is continuous. Let \(\{y_{n}\}\) be a sequence in S converging to a point y. Since S is closed, we obtain \(y\in S\). For each \(\alpha\in I\), we have
For each \(n=1,2,\ldots\) , since A is \(\mathcal{D}\)Lipschitzian, in view (2) and the condition (A3), we have
Hence
Letting \(n\to+\infty\) and by the continuity of B, we get
Since S is bounded and \(N(S)\subset S\) we have
for each \(\alpha\in I\). Therefore, it follows from (3) that
This implies that
for all \(\alpha\in I\). Hence \(\{Ny_{n}\}\) converges to Ny. This proves that N is continuous.
Next we show that N is a compact mapping. Since S is bounded and \(p_{j(\alpha)}\) is continuous, \(p_{j(\alpha)}(S)\) is a bounded subset of \([0,+\infty)\). Applying Lemma 2.3, we can seek \(k_{\alpha}\in[0, 1)\) such that
for all \(x, y\in S\). Now, for each \(\alpha\in I\) and for any \(z\in S\) we have
where \(c_{\alpha}=p_{\alpha}(Aa)+2q(\alpha)\), and \(a\in S\).
Let U be an open neighborhood of 0 in X. Without loss of generality, we may assume that
for some \(\varepsilon>0\), \(\alpha_{1},\ldots, \alpha_{m}\in I\). Since B is completely continuous, \(B(S)\) is totally bounded. Then there is a finite set \(Y=\{y_{1},\ldots, y_{n}\}\subset S\) such that
where
Therefore, for any \(y\in S\) we have \(y_{l}\in Y\) such that
for every \(i=1,2,\ldots,m\). Also, for every \(i=1,2,\ldots,m\) and \(z_{l}=Ny_{l}\), we have
This yields
for every \(l=1,2,\ldots,n\). Hence \(NyNy_{l}= zz_{l}\in U\), that is, \(z=Ny\in z_{l}+U\). It follows that
This implies that N is totally bounded. Combining this fact and the continuity of N, we can conclude that N is a compact operator.
Since S is convex, closed, and bounded, applying TikhonovSchauder’s fixed theorem, we find that N has a fixed point in S. Then by the definition of N, we obtain
This proves that the operator equation \(x=AxBx\) has a solution in S. The theorem is proved. □
Remark 3.3
If S contains 0 then the condition (A3) implies condition (A4). Indeed, since \(0\in S\) and condition (A3) we have
for every \(x\in X\) and \(\alpha\in I\). It follows that
for every \(x\in X\) and \(k=1,2,\ldots\) . Moreover, since S is bounded, for every \(\alpha\in I\), there exists \(q(\alpha)\) such that
for all \(x\in S\).
We can immediately obtain the following corollary.
Corollary 3.4
Let X be a locally convex algebra such that the topology of X is Hausdorff sequentially complete. Let S be a closed, convex, and bounded subset of X and let \(A: X\to X\), \(B: S\to X\) be two operators such that:

(B1)
A is Lipschitzian with the family of Lipschitz constants \(\{k_{\alpha}\}\);

(B2)
B is completely continuous and \(x=Ax By\) implies \(x\in S\) for every \(y\in S\);

(B3)
\(p_{j(\alpha)}(xy)\leq p_{\alpha}(xy)\) for every \(x,y\in S\) and \(\alpha\in I\);

(B4)
for every \(x\in X\) and for every \(\alpha\in I\), there exists \(q(\alpha, x)\) such that
$$p_{j^{k}(\alpha)}(x)\leq q(\alpha, x)< +\infty $$for all \(k=0,1,2,\ldots\) . In particular, \(p_{j^{k}(\alpha)}(x)\leq q(\alpha)< +\infty\) for every \(x\in S\) and for all \(k=0,1,2,\ldots\) ;

(B5)
for each \(\alpha\in I\),
$$M_{\alpha}k_{\alpha}< 1 $$and
$$\sup \{ M_{j^{k}(\alpha)}k_{j^{k}(\alpha)}: k=0,1,2,\ldots \}\leq r_{\alpha}< 1, $$where \(M_{\alpha}=\sup \{p_{\alpha} (B(x) ): x\in S \}\), \(\alpha\in I\).
Then the operator equation \(x=AxBx\) has a solution.
Applications to nonlinear integral equations
In this section, we apply the previous result to investigate the existence of a solution to nonlinear integral equations with unbounded deviations. Let us consider the following integral equation:
for \(t>0\), where we have an unknown function \(x(t)\), the deviations \(\Delta_{i}, \tau_{j}: [0, +\infty)\to[0, +\infty)\) are continuous functions, in the general case, unbounded, and \(q:[0, +\infty)\to\Bbb{R}\), \(f: [0, +\infty)\times\Bbb{R}\to\Bbb{R}\) are continuous functions. Note that, since the deviations are unbounded, we cannot apply the wellknown fixed point theorems in Banach algebras (see [2–5], and the references given therein) for the above integral equations.
By a solution of the FIE (4), we mean a continuous function \(x: [0,+\infty)\to\Bbb{R}\) that satisfies FIE (4) on \(\Bbb{R}_{+}:=[0,+\infty)\). Let \(X=C(\Bbb{R}_{+},\Bbb{R})\) be the locally convex algebra (in fact, Frechet algebra) of all continuous realvalued functions on \(R_{+}\) with a family of seminorms,
As in [7] and [2], we shall adopt the following assumptions.
Assumption 4.1

(C1)
The functions \(\Delta_{i}(t):\Bbb{R}_{+}\to\Bbb{R}_{+}\), \(i=1,2,\ldots,m\); \(\tau_{l}(t):\Bbb{R}_{+}\to\Bbb{R}_{+}\), \(l=1,2,\ldots,n\), are continuous and \(\Delta_{i}(t)\leq t\), \(\tau_{l}(t)\leq t\) for every \(t>0\).

(C2)
The function \(F: (t, u_{1},u_{2},\ldots,u_{m}, v_{1},\ldots ,v_{n}):\Bbb{R}_{+}\times\Bbb{R}^{m+n}\to [0, 1]\) is continuous and satisfies the conditions
$$\begin{aligned} & \bigl F(t, u_{1},\ldots,u_{m}, v_{1}, \ldots,v_{n})F(t, \overline{u}_{1},\ldots,\overline{u}_{m}, \overline{v}_{1},\ldots,\overline{v}_{n}) \bigr \\ &\quad \leq\Omega \bigl(t,  u_{1}\overline{u}_{1},\ldots, u_{m}\overline{u}_{m},  v_{1}\overline{v}_{1},\ldots,  v_{n}\overline{v}_{n} \bigr), \end{aligned}$$where the function \(\Omega(t, x_{1},\ldots,x_{m}, y_{1},\ldots,y_{n}):\Bbb{R}_{+}^{m+n+1}\to\Bbb{R}_{+}\) is continuous in t, nondecreasing and continuous in each \(x_{i}\), \(y_{l}\), \(\Omega(t, ay,\ldots,ay,y,\ldots,y)< y\) for every constant \(a>0\) and \(\frac{\Omega(t, ay,\ldots,ay, y,\ldots,y)}{y}\) is nondecreasing in y.

(C3)
q is uniformly continuous on \(\Bbb{R}_{+}\), \(\ q\_{\infty}=\sup_{t\in\Bbb{R}_{+}} q(t)< 1\) and \(\int_{0}^{+\infty}  f (s, x(s) ) \,ds< 1\ q\_{\infty}\) for every \(x\in C(\Bbb{R}_{+},\Bbb{R})\) with \( x(t) \leq1\) for all t.
Theorem 4.2
Under assumptions (C1), (C2), and (C3), (4) has at least one solution \(x=x(t)\) which belongs to the space \(C(\Bbb{R}_{+},\Bbb{R})\).
Proof
Let \(S= \{x\in C(\Bbb{R}_{+},\Bbb{R}): p_{[0, n]}(x)\leq1, n=1,2,\ldots \}\). It is easy to see that S is a convex, closed, and bounded subset of \(C(\Bbb{R}_{+}, \Bbb{R})\). Let us consider two operators A, B defined on \(C(\Bbb{R}_{+},\Bbb{R})\) by
and
for all \(t\in R_{+}\).
Then (4) is equivalent to the operator equation
on \(C(\Bbb{R}_{+},\Bbb{R})\). Now, we claim that the operators A and B satisfy all conditions of Theorem 3.2 with S as previously mentioned.
Now, we consider the index set \(I= \{[0, k]:k=1,2,\ldots \}\) and for each \([0, k]\in I\), we set
where \([x]\) is the integer part of \(x\in\Bbb{R}\). By the condition (C1) we get \(r(k)\leq k\). Let us
We define a map \(j: I\to I\) by
It is easy to see that
for all \(i=1,2,\ldots,m\), \(l=1,2,\ldots,n\).
For each \(k=1,2,\ldots\) , we put \(\Delta_{k}^{i}=\max_{t\in[0, k]}\Delta_{i}(t)\) and
It follows from (C2) that the function
is continuous and nondecreasing, \(\phi_{[0,k]}(y)< y\) for every \(y>0\), and \(\frac{\phi_{[0,k]}(y)}{y}\) is nondecreasing.
Next, we shall show that A is \(\mathcal{D}\)Lipschitzian. Indeed, for each \([0, n]\in I\) and for every \(x, y\in C(\Bbb{R}_{+}, \Bbb{R})\), using (C2), we have
For each \(t\in[0, k]\), in view to (5), we have
This proves that A is \(\mathcal{D}\)Lipschitzian.
Moreover, by assumption (C1) and the definition of j we have
for all n and k. It follows that the conditions (A3) and (A4) of Theorem 3.2 are satisfied. By the above reasoning, we have
Next, we shall deal with some estimations on
We have
for every \(n=1,2,\ldots\) and \(x\in S\). Hence \(M_{[0, n]}\leq1\), so that \(M_{[0, n]}\phi_{[0, n]}(t)< t\) for every \(t>0\) and the condition (A5) of Theorem 3.2 holds.
Now, we shall check the condition (A2). Firstly, we show that B is completely continuous. Suppose \((x_{k})\subset S\) and \(x_{k}\to x\). Since S is closed, we have \(x\in S\). By the definition of seminorms \(p_{[0, n]}\), we can deduce that \((x_{k})\) uniformly convergent to x on \([0, n]\) for each \(n=1,2,\ldots\) . It follows that \( f (s, x_{k}(s) )f (s, x(s) )  \to 0\) as \(k\to+\infty\) for every \(s\in[0,+\infty)\). Moreover, by the condition (C3), we infer the \(g(s):=f (s, x(s) )\) is a bounded function on \([0, n]\) for each \(n=1,2,\ldots\) .
For each \(k=1,2,\ldots\) , set \(g_{k}(s)= f (s, x_{k}(s) )\), for every \(s\in[0, n]\). We show that \((g_{k})\) be a bounded sequence on \([0, n]\). Suppose to the contrary, for each \(k=1,2,\ldots\) there exists \(s_{k}\in[0, n]\) such that
Since \([0, n]\) is compact, there exists a subsequence \((s_{k_{j}})\) of \((s_{k})\) which converges to \(s_{0}\in[0, n]\). Since \(\{x_{k}\}\) is uniformly convergent to x on \([0, n]\), we have \(x_{k_{j}}(s_{k_{j}})\to x(s_{0})\) as \(k_{j}\to\infty\). Therefore, let \(k_{j}\to\infty\) in (9) and using continuity of f we infer \( f(s_{0}, x(s_{0}))=\infty\). Hence, f is unbounded on \([0, n]\). This is a contradiction.
Applying the Lebesgue dominated convergence theorem, we have
as \(k\to\infty\). From
we conclude that
as \(k \to\infty\), for \(n=1,2,\ldots\) . This proves that B is continuous.
Now, we show that \(B(S)\) is totally bounded. It follows from (8) that \(B(S)\subset S\). For any \(\varepsilon>0\) and \(Bx\in B(S)\), since \(\int_{0}^{+\infty}  f (s, x(s) ) \,ds< 1\ q\_{\infty}\) and \(f (s, x(s) )\) is continuous, it follows that \( f (s, x(s) ) \leq M< +\infty\) for all \(s\geq0\), for some M. By the uniform continuity of q, we can seek the \(\delta(\varepsilon)\) such that
for all \( t\tau< \delta(\epsilon)\). Now, if we choose \(\delta=\min \{\frac{\varepsilon}{2M}, \delta(\varepsilon) \}\) then
for every \(t, \tau\in[0,+\infty)\) and \( t\tau< \delta\). Hence \(B(S)\) is a equicontinuous family. By ArzelaAscoli’s theorem, we deduce that \(B(S)\) is a precompact set of \(C(\Bbb{R}_{+}, \Bbb{R})\). Therefore, B is completely continuous. It follows from condition (C2) and condition (C3) that the remain of condition (A2) of Theorem 3.2 is satisfied.
Finally, applying Theorem 3.2, we can conclude that (4) has a solution. □
The following example is an illustration of Theorem 4.2.
Example 4.3
Consider the following nonlinear functional integral equation:
where \(\tau(t)\) is a continuous function on \([0,+\infty)\) and \(\tau(t)\leq t\) for all \(t\in[0,+\infty)\).
We will show that the equation has a solution on \(C(\Bbb{R}^{+}, \Bbb{R})\).
Set \(q(t):=te^{t^{2}}\) and \(f (s, x(s) ):=se^{s^{2} (1+x^{2}(s) )}\). Since q is continuous on \([0,+\infty)\) and \(\lim_{t\to+\infty} q(t)=0\), it is easy to show that q is uniform continuous. We also have
and
for every \(x\in C(\Bbb{R}_{+},\Bbb{R})\).
Consider the function \(F:\Bbb{R}_{+}\times\Bbb{R}^{2}\to [0, 1]\) defined by
for all \((t, u, v) \in\Bbb{R}_{+}\times\Bbb{R}^{2}\). It is easy to check that F satisfies the condition (C2) with \(\Omega(t,x,y)=\frac{y}{2}\). Hence, the Assumption 4.1 holds for the above q, f, and F.
References
Banas, J, Taoudi, MA: Fixed points and solutions of operator equations for weak topology in Banach algebras. Taiwan. J. Math. (2014). doi:10.11650/tjm.18.2014.3860
Dhage, BC: On a fixed point theorem in Banach algebras with applications. Appl. Math. Lett. 18(3), 273280 (2005)
Dhage, BC: A fixed point theorem in Banach algebras involving three operators with applications. Kyungpook Math. J. 44(1), 145155 (2004)
Dhage, BC, O’Regan, D: A fixed point theorem in Banach algebras with applications to functional integral equations. Funct. Differ. Equ. 7(34), 259267 (2000)
Pathak, HK, Deepmala: Remarks on some fixed point theorems of Dhage. Appl. Math. Lett. 25(11), 19691975 (2012)
Kelley, JL: General Topology. Graduate Texts in Mathematics, vol. 27. Springer, New York (1975)
Angelov, VG: Fixed Points in Uniform Spaces and Applications. Cluj University Press, ClujNapoca (2009)
Angelov, VG: Fixed point theorem in uniform spaces and applications. Czechoslov. Math. J. 37(1), 1933 (1987)
Agarwal, R, Meehan, M, O’Regan, D: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2004)
Beckenstein, E, Narici, L, Suffel, C: Topological Algebras. NorthHolland Mathematics Studies. NorthHolland, Amsterdam (1977)
Mallios, M: Topological Algebras: Selected Topics. NorthHolland Mathematics Studies. NorthHolland, Amsterdam (1986)
Goldmann, H: Uniform Frechet Algebras. NorthHolland Mathematics Studies, vol. 162. NorthHolland, Amsterdam (1990)
Acknowledgements
The author would like to thank the referee for very deep and useful comments, and his/her suggestions that contributed to the improvement of the manuscript. My thanks go to Professor Tran Van An and Kieu Phuong Chi for their valuable suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author completed the paper himself. The author 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
Khanh Hung, L. Fixed point theorems in locally convex algebras and applications to nonlinear integral equations. Fixed Point Theory Appl 2015, 60 (2015). https://doi.org/10.1186/s1366301503109
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366301503109
Keywords
 fixed point theorems
 locally convex algebras
 Frechet algebras
 contractive mappings
 nonlinear integral equation
 unbounded deviations