- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 698234, 5 pages
On the Existence of the Solutions for Some Nonlinear Volterra Integral Equations
1İnönü Üniversitesi, Eğitim Fakültesi, A-Blok, 44280 Malatya, Turkey
2Nevşehir Üniversitesi, Fen Edebiyat Fakültesi, Matematik Bölümü, 50300 Nevşehir, Turkey
3Malatya Fen Lisesi, 44110 Malatya, Turkey
Received 2 April 2013; Revised 4 June 2013; Accepted 8 June 2013
Academic Editor: Aref Jeribi
Copyright © 2013 İsmet Özdemir et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We present a theorem which gives sufficient conditions for existence of at least one solution for some nonlinear functional integral equations in the space of continuous functions on the interval . To do this, we will use Darbo's fixed-point theorem associated with the measure of noncompactness. We give also an example satisfying the conditions of our main theorem but not satisfying the conditions described by Maleknejad et al. (2009).
As it is known, nonlinear integral equations constitute an important branch of nonlinear analysis. Particularly integral equations are often used in the characterization of several problems of engineering, mechanics, physics, economics, and so on. Some authors have given some results for solvability of some functional integral equations such as Mureşan in , Banaś and Sadarangani in , and Djebali and Hammache in . The following equation has been considered in : for . Maleknejad et al. in  studied the existence of solutions of the following equation: under the following conditions.(K1) is continuous and there exist nonnegative constants and such that for all and .(K2) is continuous and satisfies the sublinearity condition, so there exist constants and such that for all and .(K3) for and .(K4) for .
In this paper, we consider the following nonlinear functional integral equation: which is more general than the equation given in .
In Section 2, we present some definitions and preliminary results about the concept of measure of noncompactness. In Section 3, we give our main results concerning the existence of solutions of the integral equation (5) by applying Darbo's fixed-point theorem associated with the measure of noncompactness defined by Banaś and Goebel  and, finally, we establish an example to show that these results are applicable.
2. Definitions and Auxiliary Facts
In this section, we give some definitions and results which will be needed next section. Let be an infinite Banach space with zero element . We write to denote the closed ball centered at with radius and, especially, we write in case of . We write , to denote the closure and closed convex hull of , respectively. Moreover, let indicate the family of all nonempty bounded subsets of and indicate the subfamily of all relatively compact sets. Finally, the standard algebraic operations on sets are denoted by and , respectively .
We use the following definition of the measure of noncompactness, given in .
Definition 1. A mapping is said to be a measure of noncompactness in if it satisfies the following conditions. (1)The family is nonempty and .(2).(3).(4) for .(5)If is a sequence of closed sets from such that () and if , then the intersection set is nonempty.
Theorem 2 (see ). Let be a nonempty, closed, bounded, and convex subset of the Banach space and let be a continuous mapping. Assume that there exists a constant such that for any nonempty subset of . Then, has a fixed point in the set .
As it is known, the family of all real-valued and continuous functions defined on the interval forms a Banach space with the standard norm
Let be a fixed subset of . For and , we denote by the modulus continuity of defined by Furthermore, let and be defined by The authors have shown in  that the previous function is a measure of noncompactness in the space .
3. The Main Result
First of all, we write to denote the interval throughout this section. We study the functional integral equation (5) under the following conditions.
(a) , and are continuous.
Remark 3. Note that assumption (a) implies that there exists positive constant such that for all .
(b) Functions are continuous and there exist positive constants and such that for all and .
Remark 4. Note that assumption (b) implies that there exist positive constants and such that for all .
(c) is continuous and there exist positive constants , , and such that for all , and .
(d) The inequality holds.
Theorem 5. Under assumptions (a)–(d), there exists at least one such that (5) has at least one solution which belongs to .
Proof. We define the continuous function such that where is the constant given in assumption (c). Then and by assumption (d). The continuity of guarantees that there exists the number such that and . Now, we will prove that (5) has at least one solution which belongs to . Note that we will use Theorem 2 as our main tool. We define operator by for any . Using the conditions of Theorem 5, we infer that is continuous on . For any , This result shows that . Now we will prove that operator is continuous. To do this, consider and any such that . Then, taking into account the equality we have by (18) that the inequality holds, where On the other hand, since function is uniformly continuous on , we infer that as . Hence, the previous estimate (19) proves that operator is continuous on ball . Now, we will show that operator satisfies (6) with respect to measure of noncompactness given by (9). To do this, we choose a fixed arbitrary . Let us take and with , for any nonempty subset of . Since we get from (21), where for such that and . Also, for such that , and . Thus, by using the previous estimate (22), we can write We have that , , and as since functions , , and are uniformly continuous on . Similarly, we get , , and as since functions , , and are uniformly continuous on , , and , respectively. Hence, we obtain that Thus, since from (23) and from condition (14), we derive that operator is a contraction on ball with respect to measure of noncompactness . Therefore, from Theorem 2 we get that has at least one fixed point in . Consequently, nonlinear functional integral equation (5) has at least one continuous solution in . This completes the proof.
Example 6. Consider the following nonlinear functional integral equation in : Put It is easy to prove that the assumptions of Theorem 5 hold. Therefore, Theorem 5 guarantees that (27) has at least one solution . Since there exist no constants and such that for all and , the results presented in  are inapplicable to integral equation (27) with
The authors would like to thank the editor Professor Aref Jeribi and the referees for their valuable comments and suggestions that improved this paper.
- V. Mureşan, “On some functional-integral equations with linear modification of the argument,” Seminar on Fixed Point Theory Cluj-Napoca, vol. 3, pp. 297–303, 2002.
- J. Banaś and K. Sadarangani, “Solutions of some functional-integral equations in Banach algebra,” Mathematical and Computer Modelling, vol. 38, no. 3-4, pp. 245–250, 2003.
- S. Djebali and K. Hammache, “Fixed point theorems for nonexpansive maps in Banach spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 73, no. 10, pp. 3440–3449, 2010.
- K. Deimling, Nonlinear Functional Analysis, Springer, Berlin, Germany, 1985.
- K. Maleknejad, K. Nouri, and R. Mollapourasl, “Investigation on the existence of solutions for some nonlinear functional-integral equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 12, pp. e1575–e1578, 2009.
- J. Banaś and K. Goebel, Measures of Noncompactness in Banach Spaces, vol. 60 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1980.