Fractional Mathematical Modelling and Optimal Control Problems of Differential EquationsView this Special Issue
Nontrivial Solutions for a System of Second-Order Discrete Boundary Value Problems
In this work, we shall study the existence of nontrivial solutions for a system of second-order discrete boundary value problems. Under some conditions concerning the eigenvalues of relevant linear operator, we use the topological degree theory to obtain our main results.
Nonlinear discrete problems appear in many mathematical models, such as computer science, mechanical engineering, control systems, economics, and fluid mechanics (see [1–4]). Owing to the wide applications, in recent years, there are a large number of researchers paying special attention in this direction (we refer to some results [5–15] and the references therein). For example, in , the authors used the Guo–Krasnosel’skii fixed point theorem to study the existence of positive solutions for the following second-order discrete boundary value problem:and the following discrete second-order system:where is a positive integer, is the forward difference operator, i.e., , and .
In , the authors used the monotone iterative technique to investigate the existence and uniqueness of positive solutions for the following discrete -Laplacian fractional boundary value problem:where is a real number, is a discrete fractional operator, and is the -Laplacian with .
Coupled systems of discrete problems have also been investigated by many authors; some results can be found in a series of papers [11–15] and the references cited therein (also see some results on differential systems [16–24]). For example, in , the authors used the Guo–Krasnosel’skii fixed point theorem to study the following systems of three-point discrete boundary value problems:where , . They offered some values for the parameters to yield a positive solution for the above system.
In , the authors used the fixed point index to study the positive solutions for the following system of first-order discrete fractional boundary value problems:
By discrete Jensen’s inequality, the authors adopted some appropriate nonnegative concave and convex functions to characterize the coupling behavior of the nonlinearities .
Motivated by the aforementioned works, in this paper, by means of the topological degree theory, we study the existence of nontrivial solutions for the following system of second-order discrete boundary value problems:where is a fixed positive integer number, are continuous and satisfy the following conditions: (H1) There exist three nonnegative functions and on such that where . (H2) , . (H3) , uniformly on , where . (H4) , uniformly on .
Now, we state our main result here.
Theorem 1. Suppose that (H1)–(H4) hold. Then, (6) has at least one nontrivial solution.
Let be the Banach space of real valued functions defined on the discrete interval with the norm , where . Define the following sets:and for . Then, are cones on , and is an open ball in .
Then, we can define operators byand operator by
Then, we haveand we have the following lemma.
Lemma 3. If , then .
This is a direct result by Lemma 1 (ii), so we omit the proof.
Remark 1. in Lemma 2.
Lemma 4 (see [25, Theorem A.3.3]). Let be a bounded open set in a Banach space and be a continuous compact operator. If there exists such thatthen the topological degree .
Lemma 5 (see [25, Lemma 2.5.1]). Let be a bounded open set in a Banach space with and be a continuous compact operator. Ifthen the topological degree .
3. Main Results
In order to obtain the Proof of Theorem 1, we first provide a lemma.
Lemma 6. There exists a sufficiently large such that
Proof. By (H3), there exist and such thatNote that when , the functions and are bounded, so we can choose some appropriate positive numbers such thatwhereFrom (H2), for any given with , there is such thatLet and Then,Thus, we haveNote that can be chosen arbitrarily small, so we can letwhereNow, we provewhere . We argue this claim by indirection. Suppose that there exist such thatThen by Lemma 3, , and we also haveUsing (24) and (25), we haveSo, from Lemma 3 and Remark 1, we haveNote that , and using (24), , we haveIt is noted that , and . Therefore, we getUsing , we haveand implies thatConsequently, we obtainAs a result, we getIn view of (31) and (32), we seeDefine . Then, , and . From , we obtainHence,which contradicts the definition of . Therefore, (29) holds, and from Lemma 4, we obtainThis completes the proof.
Proof of Theorem 1. From (H4), there exist and such thatThis implies thatConsequently, we haveNow, we prove thatfor all and . We argue by contradiction. Suppose that there exist and such thatTherefore,Hence, we haveFrom Lemma 1 (i) and Lemma 2, we haveMultiplying both sides of (53) by , then summing from 1 to , and using (54), we obtainThis implies thatBecause for , we have . This contradicts . Therefore, (50) holds, and Lemma 5 implies thatCombining this with Lemma 6, we haveTherefore, the operator has at least one fixed point in , and (6) has at least one nontrivial solution. This completes the proof.
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.
This study was carried out in collaboration among all authors. All authors read and approved the final manuscript.
This study was supported by the project of National Social Science Fund of China (NSSFC) (18BTY015) and Shandong Province Higher Educational Science and Technology Program (J16LI01).
R. P. Agarwal, Difference Equations and Inequalities, Theory, Methods, and Applications, Marcel Dekker Incorporated, New York, NY, USA, 2000.
R. P. Agarwal and P. J. Y. Wong, Advanced Topics in Difference Equations, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1997.
S. Elaydi, An Introduction to Difference Equations, Springer-Verlag, New York, NY, USA, 3rd edition, 2011.
W. G. Kelly and A. C. Peterson, Difference Equations: An Introduction with Applications, Academic Press, San Diego, CA, USA, 1991.
W. Cheng, J. Xu, D. O’Regan, and Y. Cui, “Positive solutions for a nonlinear discrete fractional boundary value problems with a -Laplacian operator,” Journal of Analysis Applications and Computational, vol. 9, no. 5, pp. 1959–1972, 2019.View at: Google Scholar
J. Xu, C. S. Goodrich, and Y. Cui, “Positive solutions for a system of first-order discrete fractional boundary value problems with semipositone nonlinearities,” Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, vol. 113, no. 2, pp. 1343–1358, 2019.View at: Publisher Site | Google Scholar
D. Guo and V. Lakshmikantham, Nonlinear Problems in Abstract Cones, Academic Press, Orlando, FL, USA, 1988.