- Research
- Open Access
- Published:
Existence and uniqueness of solutions for a class of nonlinear integro-differential equations on unbounded domains in Banach spaces
Advances in Difference Equations volume 2018, Article number: 247 (2018)
Abstract
In this paper, the existence and uniqueness of solutions for a class of nonlinear integro-differential equations on unbounded domains in Banach spaces are established under more general conditions by constructing a special Banach space and using cone theory and the Banach contraction mapping principle. The results obtained herein improve and generalize some well-known results.
1 Introduction
Nonlinear integro-differential equations in abstract spaces arise in different fields of physical sciences, engineering, biology, and applied mathematics. The theory of nonlinear integro-differential equations in abstract spaces is a fast growing field with important applications to a number of areas of analysis as well as other branches of science [1]. In recent years, there has been a significant development in nonlinear integro-differential equations (see [1–20] and the references therein).
Using the upper and lower solutions method and monotone iterative technique, Guo, Liu and Zheng et al. [2–4] studied the existence and uniqueness of solutions for the first order integro-differential equations
in Banach space E, where \(u_{0}\in E, f:I\times E\times E\times E\to E\), for any \(u\in C[I,E], g(t)=f (t,u(t),(Tu)(t),(Su)(t) ): I\to E \text{ is continuous}\), and T is a Volterra integral operator defined by
S is a Hammerstein integral operator defined by
where \(k\in C[D_{1},R], h\in C[D_{2},R], D_{1}=\{(t,s)\in I\times I: t\geq s\}, D_{2}=\{(t,s)\in I\times I\}\).
In [5], the authors studied the second order integro-differential equations
in Banach space E, where \(u_{0}, u_{1}\in E, f:I\times E\times E\to E\), for any \(u\in C[I,E], g(t)=f (t,u(t),(Tu)(t) ): I\to E \text{ is continuous}\), and T is a Volterra integral operator defined by
where \(k\in C[D,R], D=\{(t,s)\in I\times I: t\geq s\}\). By using an iteration method, the existence and uniqueness results for second order integro-differential equations (1.1) are obtained without demanding the existence of upper and lower solutions and monotonicity conditions.
In [1], Guo, Lakshmikantham and Liu studied the IVP for first order integro-differential equations of Volterra type on an infinite interval in Banach space E:
where \(u_{0}\in E, f:J\times E\times E\to E\), for any \(u\in C[J,E], g(t)=f (t,u(t),(Tu)(t) ): J\to E \text{ is continuous}\), and T is a Volterra integral operator defined by
where \(k\in C[D,R], D=\{(t,s)\in J\times J: t\geq s\}\). By using the Banach contraction mapping principle, the authors obtained the following results.
Theorem 1.1
If the following conditions are satisfied:
- (H1):
-
\(\|f(t,u,v)-f(t,\overline{u},\overline{v})\| \leq\beta(t)(a\|u-\overline{u}\|+b\|v-\overline{v}\|), \forall t\in J, u,v,\overline{u},\overline{v}\in E\), where constants \(a\geq0, b\geq0, \beta\in C[J,R^{+}]\);
- (H2):
-
$$\begin{aligned} & k^{*}=\sup_{t\in J} \int_{0}^{t} \bigl\vert k(t,s) \bigr\vert \,ds< \infty, \\ & \beta^{*}= \int_{0}^{\infty}\beta(t)\,dt< \infty, \\ & a^{*}= \int_{0}^{\infty} \bigl\Vert f(t,\theta,\theta) \bigr\Vert \, dt< \infty, \end{aligned}$$
here θ denotes the zero element of E;
- (H3):
-
\(c_{0}=(a+bk^{*})\beta^{*}<1\), then IVP (1.2) has a unique solution \(x^{*}(t)\) in \(C^{1}[J,E]\cap BC[J,E]\).
Remark 1.1
Clearly, the assumptions imposed in Theorem 1.1 are too strict. As is well known, there is no research focused on the improvement of the assumptions in Theorem 1.1. By constructing a special Banach space and using cone theory and the Banach contraction mapping principle, this paper improves Theorem 1.1 without assumptions (H2) and (H3).
2 Preliminaries and lemmas
Let \((E, \| \cdot\|)\) be a real Banach space and P be a cone in E which defines a partial ordering in E by \(x \leq y\) if and only if \(y-x\in P\). θ denotes the zero element in E. A cone P is said to be normal if there exists a constant \(N> 0\) such that, for any \(x, y\in E\), \(\theta\leq x\leq y \) implies \(\|x\|\leq N\|y\|\). A cone P is said to be generating if \(E=P-P\), i.e., every element \(x\in E\) can be represented in the form \(x=y-z\), where \(y, z\in P\). A cone is called solid if it contains interior points, i.e., \(\mathring {P}\neq{\O}\). An operator \(T: E\to E\) is said to be a positive operator if \(x\geq\theta\) implies \(Tx\geq\theta\). The detailed contents of the cone and partial ordering may be found in [6–8].
Let \(\beta(t)\) be a nonnegative continuous function on J, \(k(t,s)\) be continuous on \(D=\{(t,s) | 0\leq s\leq t<\infty\}\). Set
Then \(C_{\beta1}\) is a Banach space with norm \(\|\cdot\|_{\beta1}\), and \(C_{\beta2}\) is a Banach space with norm \(\|\cdot\|_{\beta2}\).
Let P be a cone of E, \(P_{\beta2}= \{u\in C_{\beta2} | u\geq\theta, t\in J \}\). Clearly, \(P_{\beta2}\) is a cone of \(C_{\beta2}\).
Lemma 2.1
Let
then
Proof
Direct calculations shows that, for \(u\in C_{\beta1}\) and \(t\in J\),
 □
Lemma 2.2
Let
then
Proof
Direct calculations show that, for \(u\in C_{\beta2}\) and \(t\in J\),
 □
Lemma 2.3
([6])
Let P be a generating normal cone and B a positive linear operator whose spectral radius satisfies \(r(B)<1\). If the operator A satisfies the estimate
then A has a unique fixed point in E, and for each initial approximation \(x_{0}\in E\), let \(x_{n}=Ax_{n-1} (n=1,2,\ldots)\), then we have \(x_{n}\to x^{*}\ (n\to\infty)\).
3 Main results
Theorem 3.1
Suppose that (H1) holds. Then IVP (1.2) has a unique solution \(u\in C_{\beta1}\).
Proof
It is well known that u is a solution of IVP (1.2) if and only if
Define the operator \(A:C_{\beta1}\to C_{\beta1}\) by
It follows from (H1) that
For any \(u\in C_{\beta1}\), by (H1), (3.1) and (3.2),
then \(Au\in C_{\beta1}\), so \(A:C_{\beta1}\to C_{\beta1}\).
On the other hand, for any \(u,v\in C_{\beta1}\), by (H1) and Lemma 2.1,
then \(\|Au-Av\|_{\beta1}\leq\frac{1}{2}\|u-v\|_{\beta1}\). Thus the Banach contraction mapping principle implies that A has a unique fixed point in \(C_{\beta1}\). □
In the following, we consider the second order nonlinear integro-differential equations of Volterra type on an infinite interval,
Suppose \(f:J\times E\times E\to E\), for any \(u\in C[J,E], g(t)=f (t,u(t),(Tu)(t) ): J\to E\) is continuous, \(u_{0},u_{1}\in E\).
Theorem 3.2
Let P be a normal solid cone of E. Assume that there exists \(\beta \in C[J,R^{+}]\) such that, for any \(y_{1},y_{2},\overline{y}_{1}, \overline{y}_{2},\in E, y_{1}\geq\overline{y}_{1},y_{2}\geq\overline{y}_{2}\), we have
Then IVP (3.3) has a unique solution in \(C_{\beta2}\).
Proof
It is clear that u is a solution of IVP (3.3) if and only if u is a solution of the following integral equation:
Define operators A and B by
By Lemma 2.2, it is easy to see that B is a positive linear bounded operator on \(C_{\beta2}\), and \(\|B\|<\frac{1}{2}\), then \(r(B)<\frac{1}{2}\). By (3.4), for any \(u,v\in C_{\beta2}, u\geq v\),
Since P is a normal cone of E, it is easy to show that \(P_{\beta2}\) is normal in \(C_{\beta2}\). Since P is a solid cone of E, by Lemma 2.1.2 in [1] we see that \(P_{\beta2}\) is also a solid cone in \(C_{\beta2}\), and so, from Lemma 1.4.1 in [7], we know that \(P_{\beta2}\) is a generating cone in \(C_{\beta2}\). Hence all the conditions of Lemma 2.3 are satisfied, and the conclusion of Theorem 3.2 holds. □
Remark 3.1
In most of the early work, for example [1], the conditions (H2) and (H3) play an important role in the proof of the main results. Undoubtedly, it is interesting and important to remove these conditions, which is very helpful for the applications of IVPs (1.2) and (3.3). In this paper, the existence and uniqueness of solutions for a class of nonlinear integro-differential equations of mixed type on unbounded domains in Banach spaces are established under more general conditions. The restrictive conditions (H2) and (H3) are removed; this implies that our results in essence improve and generalize the corresponding conclusions of [1–20].
References
Guo, D., Lakshmikantham, V., Liu, X.: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic Publishers, Dordrecht (1996)
Guo, D.: Solutions of nonlinear integro-differential equations of mixed type in Banach spaces. J. Appl. Math. Simul. 2(1), 1–11 (1989)
Liu, L., Wu, C., Guo, F.: Existence theorems of global solutions of initial value problems for nonlinear integro-differential equations of mixed type in Banach spaces and applications. Comput. Math. Appl. 7(1), 13–22 (2004)
Zheng, X., Wang, J.: Initial value problems for a nonlinear integro-differential equation of mixed type in Banach spaces. J. Comput. Anal. Appl. 21(5), 835–847 (2016)
Zhang, P., Liu, L.: Existence and uniqueness of fixed points for mixed non-monotone binary operators in ordered Banach spaces and its applications. Acta Math. Sin. 53(1), 55–60 (2010) (in Chinese)
Krasnosel’skii, M.A., Zabreiko, P.P.: Geometrical Methods of Nonlinear Analysis. Springer, Berlin (1984)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)
Deimling, K.: Nonlinear Functional Analysis. Springer, Berlin (1985)
Liu, L., Wu, C., Guo, F., Wu, Y.: Existence theorems of global solutions for nonlinear Volterra type integral equations in Banach spaces. J. Math. Anal. Appl. 309(2), 638–649 (2005)
Hao, X., Liu, L.: Mild solution of semilinear impulsive integro-differential evolution equation in Banach spaces. Math. Methods Appl. Sci. 40(13), 4832–4841 (2017)
Du, S.W., Lakshmikantham, V.: Monotone iterative technique for differential equations in a Banach space. J. Math. Anal. Appl. 87(2), 454–459 (1982)
Lakshmikantham, V., Leela, S.: Differential and Integral Inequalities, Vol. I. Academic Press, New York (1969)
Liu, L., Guo, F., Kim, J.K.: Global solutions of initial value problems for second order nonlinear integro-differential equations of mixed type in Banach spaces. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 9(4), 511–522 (2002)
Guo, D.: Second order integro-differential equations of Volterra type on unbounded domains in Banach spaces. Nonlinear Anal. 41(3–4), 465–476 (2000)
Amann, H.: On the number of solutions of nonlinear equations in ordered Banach spaces. J. Funct. Anal. 11(3), 346–384 (1972)
Liu, L.: Iterative method for solutions and coupled quasi-solutions of nonlinear Fredholm integral equations in ordered Banach spaces. Indian J. Pure Appl. Math. 27(10), 959–972 (1996)
Sun, Y.: Positive solutions for nonlinear integro-differential equations of mixed type in Banach spaces. Abstr. Appl. Anal. 2013, 787033 (2013)
Wang, Z., Liu, L., Wu, Y.: The unique solution of boundary value problems for nonlinear second-order integral-differential equations of mixed type in Banach spaces. Comput. Math. Appl. 54(9–10), 1293–1301 (2007)
Su, H., Liu, L., Zhang, X., Wu, Y.: Global solutions of initial value problems for nonlinear second-order integro-differential equations of mixed type in Banach spaces. J. Math. Anal. Appl. 330(2), 1139–1151 (2007)
Su, H., Liu, L., Zhang, X.: The solutions of initial value problems for nonlinear second-order integro-differential equations of mixed type in Banach spaces. Nonlinear Anal. 66(5), 1025–1036 (2007)
Acknowledgements
The authors would like to thank the referees for their pertinent comments and valuable suggestions. This paper was completed during the first author visited School of Mathematical Sciences, Peking University. We express our sincere gratitude to Professor Baoxiang Wang for valuable suggestions on the paper and the fund of the Key Laboratory of Mathematics and Applied Mathematics, Peking University.
Availability of data and materials
Not applicable.
Funding
This work is supported financially by the National Natural Science Foundation of China (11501318, 11371221, 11571296) and the Natural Science Foundation of Shandong Province of China (ZR2014AM032).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
List of abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zhang, P., Hao, X. Existence and uniqueness of solutions for a class of nonlinear integro-differential equations on unbounded domains in Banach spaces. Adv Differ Equ 2018, 247 (2018). https://doi.org/10.1186/s13662-018-1681-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1681-0
MSC
- 47H07
- 47H10
- 47G20
- 34G20
Keywords
- Fixed points of operator
- Banach contraction mapping principle
- Integro-differential equation