Fixed-Point Theorems for Systems of Operator Equations and Their Applications to the Fractional Differential Equations

Zhang, Xinqiu; Liu, Lishan; Zou, Yumei

doi:https://doi.org/10.1155/2018/7469868

Journal of Function Spaces

On this page

Abstract Introduction Preliminaries Data Availability Conflicts of Interest Authors’ Contributions Acknowledgments References Copyright Related Articles

Special Issue

Recent Advance in Function Spaces and their Applications in Fractional Differential Equations

View this Special Issue

Research Article | Open Access

Volume 2018 | Article ID 7469868 | https://doi.org/10.1155/2018/7469868

Fixed-Point Theorems for Systems of Operator Equations and Their Applications to the Fractional Differential Equations

Xinqiu Zhang,¹Lishan Liu,^1,2and Yumei Zou³

Academic Editor: Gestur Ólafsson

Received20 Apr 2018

Accepted26 Jun 2018

Published05 Aug 2018

Abstract

We study the existence and uniqueness of positive solution for a class of nonlinear binary operator equations systems by means of the cone theory and monotone iterative technique, under more general conditions. Also, we give the iterative sequence of the solution and the error estimation of the system. Moreover, we use this new result to study the existence and uniqueness of the solutions for fractional differential equations systems involving integral boundary value conditions in ordered Banach spaces as an application. The results obtained in this paper are more general than many previous results and complement them.

1. Introduction

In this paper, using the cone theory and monotone iterative technique, we consider the following nonlinear nonmonotone binary equations systems in real Banach spaces,where : , is a subset of real Banach spaces. There have appeared a series of research results concerning the nonlinear operator equation , [1–7], the sum of several classes of mixed-monotone operator equations, and the nonlinear equations systems (1) [8], in recent years. The techniques they used are cone and semiorder [9, 10], the Granas fixed-point index theory [11], the equivalent classes (which are called components) of a real Banach space [12], the Ishikawa iteration process [13, 14], etc.

In [15], Zhang investigated the existence and uniqueness of solutions for a class of nonlinear operator equations in ordered Banach space, by using the cone theory and Banach contraction mapping principle. The assumption they used iswhere is a generating normal cone, : is a nonlinear operator, : is a positive linear bounded operator with (where is the spectral radius of ), and is a positive integer.

In [16], Zhang investigated the existence and uniqueness theorems of fixed points to a class of mixed-monotone operators with convexity and concavity, in which suppose that there exist , such that and

But in [15, 16], they did not consider the nonmonotone binary operator equations systems , , where : are two nonlinear operators and is the order interval in . In this article, the existence and uniqueness of positive solution for nonlinear nonmonotone binary operator equations systems are established under more general conditions, even not supposing the generating of cone . Compared with [16], we do not need the assumption of convexity-concavity. Moreover, the operators we consider are -increasing in and the different upper and lower bounds in formula (6) are more general; the results here cannot be obtained by using Banach contraction mapping principle. Also, different from the results in [15], the iterative sequence of the solution and the error estimation of the system are obtained.

As an application, we study the existence and uniqueness of positive solutions and iterative approximation of the unique solution for the following fractional differential equations involving integral boundary value problems:where , , , , , , is the standard Riemann-Liouville derivatives and , , , , , , , , , , , , : is continuous and , is a function of bounded variation, , and denote the Riemann-Stieltjes integral with respect to .

Recently, fractional differential equations, arising in the mathematical modeling of systems and processes, have drawn more and more attention of the research community due to their numerous applications in various fields of science such as engineering, chemistry, physics, and mechanics. Boundary value problems of fractional differential equations have been investigated for many authors [17–22]. Now, there are many papers dealing with the problem for different kinds of boundary value conditions such as multipoint boundary condition [23, 24], integral boundary condition [25–31], and many other boundary conditions [32]. From the application, we can see that the fixed-point theorems in this paper have extensive applied background. The results presented here are more general and complement many previous known results.

2. Preliminaries

Now we present briefly some definitions, lemmas, and basic results that are to be used in the article; for convenience of the reader, we refer the reader to [3, 4, 10, 33, 34] for more details.

Suppose that is a real Banach space, and is the zero element of . Recall that a nonempty closed convex set is a cone if it satisfies (1) ; (2) . The real Banach space can be partially ordered by a cone , i.e., if and only if . If and , then we denote or . Let . Then is a Banach space with the norm , for .

The cone is called normal if there exists a constant such that for all implies , and the smallest is called the normality constant of . If , , the set is called the order interval between and .

Definition 1 ([3, 4]). Let be a subset of a real ordered Banach space ; : is said to be a mixed-monotone operator if is increasing in and decreasing in ; i.e., , , imply . The element is called a fixed point of if .

3. Main Results

Theorem 2. Let be a real Banach space, be a normal cone in , and be the order interval in . Assume that : are two nonlinear operators, : are two positive linear bounded operators and satisfy the following conditions:
, .
For all , and are decreasing in , i.e., for any , , implies , ; and there exist two positive numbers such that for all , , , is reversible ( is the identity operator) and .
and there exist two positive integers , such that (where is the spectral radius of linear bounded operator) andThen the nonlinear operator equations system (1) has a unique solution in . And for any initial values , , by constructing successively the sequences as follows:we have , in , as . Moreover, for any , there exists such that

Proof. Since is reversible, letThen (7) can be written asBy , , it is easy to prove that and satisfy the following conditions:
By , we know : are two mixed-monotone operators.
For all ,Combining with , it is easy to prove thatwhere and is the identity operator.
Also, by , we haveThus, combining with (12), we haveLet , . Thus, by (15), we knowTherefore, by and , using mathematical induction, we can easily prove thatFirstly, we prove thatBy , we can easily prove thati.e., (18) holds for . Suppose that (18) holds for , i.e.,Then, for , by and we knowBy (19)-(21), using mathematical induction, we know (18) holds.
Next we prove that is a Cauchy sequence. From , we have . Then Consequently, there exists such that Thus, there exists such thatThen by (17), we haveConsequently, by (18) and (25), we have Therefore, by (24), (26) and the normality of cone , we have where is the normality constant of . Consequently, and are Cauchy sequences. Since is complete, thus there exist , such thatAnd by (17), we knowThus, . By (18) and (29), we haveThus, by (26), (30) and the normality of cone , we have Consequently, . Let ; by and , we haveLet , by (32) and the normality of we have . Therefore, by the definitions of and , we have , ; i.e., is the solution of operator equation (1).
Finally, we prove that is the unique solution of operator equations systems (1) in . In fact, suppose is another solution of equations systems (1) in , then by , using mathematical induction, we can easily see that . Thus, by (28) and the normality of , we have . Therefore, the operator equations systems (1) have a unique solution in .
Now for any initial points , , we construct successively the sequences Since , i.e., Suppose Then Thus, by mathematical induction, we haveBy (18) and (37), we haveThus,In the same way, we can prove thatConsequently, by (40) and (41) we know that (8) holds.

Taking in Theorem 2, then we get the following corollary.

Corollary 3. Let be a real Banach space, be a normal cone in , and be the order interval in . Assume that : are two nonlinear operators, : are two positive linear bounded operators and satisfy the following conditions:
, .
For all , and are decreasing in , i.e., for any , , implies , ; and there exist two positive numbers such that for all , , , , (where is the spectral radius of linear bounded operator) andThen the nonlinear operator equations system (1) has a unique solution in . And for any initial values , , by constructing successively the sequences as follows: we have , in , as . Moreover, for any , there exists such that

4. An Application for Fractional Differential Equations Involving Integral Boundary Value Problems

Now we present briefly some definitions, lemmas, and basic results that are to be used in the article for convenience of the reader. We refer the reader to [35–39] for more details.

Definition 4 ([35, 36, 38, 39]). The Riemann-Liouville fractional integral of order of a function : is given by provided that the right-hand side is pointwise defined on .

Definition 5 ([35, 36, 38, 39]). The Riemann-Liouville fractional derivative of order of a continuous function : is given by where , denotes the integer part of the number , provided that the right-hand side is pointwise defined on .

Lemma 6 ([35, 36, 38, 39]). (1) If and , then(2) If and , then has unique solutionwhere , .

Lemma 7 ([35, 36, 38, 39]). Let and let be integrable; thenwhere and is the smallest integer greater than or equal to .

Lemma 8 ([37]). Let , . Assume that the following condition is satisfied:then has a unique positive solutionwherein which

Lemma 9 ([37]). If the condition in Lemma 8 is satisfied, the Green function has the following properties:
(1) , for all .
(2) For any , we havewhereIn the following, we need the following assumptions:
, where and there exists such that For all , , , , , There exist four constants () such that for any , with , , , ,

Theorem 10. Let be a real Banach space and be a normal cone in . Assume that the conditions and – are satisfied. Then the system of nonlinear differential equations (50) has unique positive symmetry solution , where . Moreover, for any initial functions , there exist monotone iteration sequences , , such that , in , as , where

Proof. It is well known that is a solution of the system (50) if and only if is a solution of the system of nonlinear integral equationsConsider the operators : as follows: By , for all , , , , we obtainConsequently, : are mixed-monotone. By , for all , we obtainBy , for any , with ,where Set then Consequently, for any , for any with ,In the following, we prove . In fact, by , since , there exists a constant such that , for any . Thus, for all , , By mathematical induction, we can easily prove that for all natural number ,therefore,consequently,thus, .
Thus, all conditions of Corollary 3 are satisfied; therefore, the conclusions of Theorem 10 hold. Consequently, the proof of Theorem 10 is completed.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Authors’ Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Acknowledgments

The work is supported financially by the National Natural Science Foundation of China (11371221 and 11571296) and the Australian Research Council.

References

Y. Chen, “Existence theorems of coupled fixed points,” Journal of Mathematical Analysis and Applications, vol. 154, no. 1, pp. 142–150, 1991.
View at: Publisher Site | Google Scholar | MathSciNet
Y. Chen, “Fixed points of -monotone operators,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 24, no. 8, pp. 1281–1287, 1995.
View at: Publisher Site | Google Scholar | MathSciNet
D. Guo, “Fixed points of mixed monotone operators with applications,” Applicable Analysis: An International Journal, vol. 31, no. 3, pp. 215–224, 1988.
View at: Publisher Site | Google Scholar | MathSciNet
D. Guo and V. Lakshmikantham, “Coupled fixed points of nonlinear operators with applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 11, no. 5, pp. 623–632, 1987.
View at: Publisher Site | Google Scholar | MathSciNet
L. Liu, X. Zhang, J. Jiang, and Y. Wu, “The unique solution of a class of sum mixed monotone operator equations and its application to fractional boundary value problems,” The Journal of Nonlinear Science and its Applications, vol. 9, no. 5, pp. 2943–2958, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
C. Zhai and M. Hao, “Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems,” Nonlinear Analysis, Theory, Methods & Applications, vol. 75, no. 4, pp. 2542–2551, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
Z. Zhang and K. Wang, “On fixed point theorems of mixed monotone operators and applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 9, pp. 3279–3284, 2009.
View at: Publisher Site | Google Scholar | MathSciNet
G. Li and H. Duan, “On random fixed point theorems of random monotone operators,” Applied Mathematics Letters, vol. 18, no. 9, pp. 1019–1026, 2005.
View at: Publisher Site | Google Scholar | MathSciNet
Y. Wu, “New fixed point theorems and applications of mixed monotone operator,” Journal of Mathematical Analysis and Applications, vol. 341, no. 2, pp. 883–893, 2008.
View at: Publisher Site | Google Scholar | MathSciNet
Z. Zhang, Variational, topological, and partial order methods with their applications, vol. 29 of Developments in Mathematics, Springer, Heidelberg, 2013.
View at: Publisher Site | MathSciNet
G. Infante and M. Maciejewski, “Multiple positive solutions of parabolic systems with nonlinear, nonlocal initial conditions,” Journal Of The London Mathematical Society-Second Series, vol. 94, no. 3, pp. 859–882, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
P. Shen, “On the existence and uniqueness theorems of solutions for a class of the systems of mixed monotone operator equations with application,” Applied Mathematics-A Journal of Chinese Universities Series B, vol. 13, no. 3, pp. 289–294, 1998.
View at: Publisher Site | Google Scholar | MathSciNet
S. Hong, “Fixed points for mixed monotone multivalued operators in Banach spaces with applications,” Journal of Mathematical Analysis and Applications, vol. 337, no. 1, pp. 333–342, 2008.
View at: Publisher Site | Google Scholar | MathSciNet
L. Liu, C. Liu, F. Wang, and Y. Wu, “Strong convergence of a general iterative algorithm for asymptotically nonexpansive semigroups in Banach spaces,” Journal of Nonlinear Science and its Applications. JNSA, vol. 9, no. 10, pp. 5695–5711, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
X. Zhang, “Fixed point theorems for a class of nonlinear operators in Banach spaces and applications,” International Journal of Nonlinear Analysis and Applications, vol. 69, no. 2, pp. 536–543, 2008.
View at: Publisher Site | Google Scholar | MathSciNet
Z. Zhang, “New fixed point theorems of mixed monotone operators and applications,” Journal of Mathematical Analysis and Applications, vol. 204, no. 1, pp. 307–319, 1996.
View at: Publisher Site | Google Scholar | MathSciNet
L. Guo, L. Liu, and Y. Wu, “Iterative unique positive solutions for singular -Laplacian fractional differential equation system with several parameters,” Nonlinear Analysis: Modelling and Control, vol. 23, no. 2, pp. 182–203, 2018.
View at: Publisher Site | Google Scholar | MathSciNet
X. Hao, “Positive solution for singular fractional differential equations involving derivatives,” Advances in Difference Equations, Article ID 139, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
X. Hao, M. Zuo, and L. Liu, “Multiple positive solutions for a system of impulsive integral boundary value problems with sign-changing nonlinearities,” Applied Mathematics Letters, vol. 82, pp. 24–31, 2018.
View at: Publisher Site | Google Scholar | MathSciNet
L. Liu, F. Sun, X. Zhang, and Y. Wu, “Bifurcation analysis for a singular differential system with two parameters via to topological degree theory,” Lithuanian Association of Nonlinear Analysts. Nonlinear Analysis: Modelling and Control, vol. 22, no. 1, pp. 31–50, 2017.
View at: Google Scholar | MathSciNet
X. Zhang, L. Liu, and Y. Wu, “The uniqueness of positive solution for a singular fractional differential system involving derivatives,” Communications in Nonlinear Science and Numerical Simulation, vol. 18, no. 6, pp. 1400–1409, 2013.
View at: Publisher Site | Google Scholar
X. Zhang, L. Liu, and Y. Wu, “Existence and uniqueness of iterative positive solutions for singular Hammerstein integral equations,” Journal of Nonlinear Sciences and Applications, vol. 10, no. 7, pp. 3364–3380, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
L. Guo, L. Liu, and Y. Wu, “Existence of positive solutions for singular fractional differential equations with infinite-point boundary conditions,” Nonlinear Analysis, Modelling and Control, vol. 21, no. 5, pp. 635–650, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
L. Guo, L. Liu, and Y. Wu, “Existence of positive solutions for singular higher-order fractional differential equations with infinite-point boundary conditions,” Boundary Value Problems, Paper No. 114, 22 pages, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
X. Hao and H. Wang, “Positive solutions of semipositone singular fractional differential systems with a parameter and integral boundary conditions,” Open Mathematics, vol. 16, pp. 581–596, 2018.
View at: Publisher Site | Google Scholar | MathSciNet
H. Li, L. Liu, and Y. Wu, “Positive solutions for singular nonlinear fractional differential equation with integral boundary conditions,” Boundary Value Problems, 2015:232, 15 pages, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
L. Liu, X. Hao, and Y. Wu, “Positive solutions for singular second order differential equations with integral boundary conditions,” Mathematical and Computer Modelling, vol. 57, no. 3-4, pp. 836–847, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
L. Liu, H. Li, C. Liu, and Y. Wu, “Existence and uniqueness of positive solutions for singular fractional differential systems with coupled integral boundary conditions,” The Journal of Nonlinear Science and its Applications, vol. 10, no. 1, pp. 243–262, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
X. Liu, L. Liu, and Y. Wu, “Existence of positive solutions for a singular nonlinear fractional differential equation with integral boundary conditions involving fractional derivatives,” Boundary Value Problems, 2018:24 pages, 2018.
View at: Publisher Site | Google Scholar | MathSciNet
Y. Wang, L. Liu, X. Zhang, and Y. Wu, “Positive solutions of an abstract fractional semipositone differential system model for bioprocesses of HIV infection,” Applied Mathematics and Computation, vol. 258, pp. 312–324, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
Y. Wang, L. Liu, and Y. Wu, “Positive solutions for a nonlocal fractional differential equation,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 11, pp. 3599–3605, 2011.
View at: Publisher Site | Google Scholar | MathSciNet
C. Yuan, “Multiple positive solutions for (n-1,n)-type semipositone conjugate boundary value problems of nonlinear fractional differential equations,” Electronic Journal of Qualitative Theory of Differential Equations, No. 36, 12 pages, 2010.
View at: Google Scholar | MathSciNet
K. Deimling, Nonlinear Functional Analysis, Springer, Berlin , Germany, 1985.
View at: Publisher Site | MathSciNet
D. Guo and V. Lakshmikantham, Nonlinear Problems in Abstract Cones, vol. 5 of Notes and Reports in Mathematics in Science and Engineering, Academic Press, New York, NY, USA, 1988.
View at: MathSciNet
A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, New York, NY, USA, Elsevier, 2006.
View at: MathSciNet
K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993.
View at: MathSciNet
D. Min, L. Liu, and Y. Wu, “Uniqueness of positive solutions for the singular fractional differential equations involving integral boundary value conditions,” Boundary Value Problems, 2018:23 pages, 2018.
View at: Publisher Site | Google Scholar | MathSciNet
I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999.
View at: MathSciNet
S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives, Theory and Applications, Gordon and Breach, Yverdon, Switzerland, 1993.
View at: MathSciNet

Copyright

Copyright © 2018 Xinqiu Zhang 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.

PDF Download Citation

Download other formats

Order printed copies

Views

1243

Downloads

1064

Citations