- Research
- Open Access
Asymptotic dichotomy in a class of higher order nonlinear delay differential equations
- Yunhua Ye^{1}View ORCID ID profile and
- Haihua Liang^{2}Email author
https://doi.org/10.1186/s13660-018-1949-7
© The Author(s) 2019
- Received: 28 August 2018
- Accepted: 18 December 2018
- Published: 7 January 2019
Abstract
Keywords
- Asymptotic behavior
- delay differential equation
- higher order differential equation
- oscillation
- Schwarz inequality
MSC
- 34K11
- 34K25
1 Introduction
Since Sturm [20] introduced the concept of oscillation when he studied the problem of the heat transmission, the oscillation theory has been a very active area of research in the qualitative analysis of both ordinary and functional differential equations. Usually, a qualitative approach is concerned with the behavior of solutions of a given differential equation and does not seek explicit solutions. Since then, asymptotic and oscillatory properties of solutions to different equations, functional differential equations, and dynamical equation have attracted the attention of many researchers.
The oscillation and asymptotic behavior have extensive applications in the real world, the readers can refer to the monographs [1, 4, 6, 14], and [21] for more details. The problem of obtaining the oscillatory and asymptotic behavior of certain higher order nonlinear functional differential equations has been studied by a number of authors. The interested readers can see [3, 5, 9–11, 13, 17, 18], and the references cited therein.
There are many excellent works studying the oscillations and asymptotic behaviors of solutions to higher-order nonlinear delay differential equations, to list all of which is almost impossible. We just list some studies relating to our work below.
The present paper is organized as follows. In Sect. 2, we present some lemmas which are useful in the proof of our main results. In Sect. 3, we carry out delicate analysis to give several oscillatory and asymptotic criteria for the higher order nonlinear delay differential equation (1.1). Noting that the delay \(g(t)\) has the form \(g(t)=t-\tau \) or the form \(g(t)=at\) in many applications, therefore, in Sect. 4, we give two examples to illustrate the applications of our main theorems.
2 Some preliminary lemmas
To give the main results of this paper, we first present and prove some useful lemmas. These lemmas play central roles in the proof of our new oscillation and asymptotic results in the next section.
Lemma 2.1
Proof
Lemma 2.2
Suppose that equation (2.1) is non-oscillatory, \(y ( t )\) is a non-oscillatory solution to equation (1.1), and there exists a constant \(T\ge a\) such that \(y(t)y^{ ( n )}(t)>0\) for \(t\ge T\ge a\). Then \(y(t)y^{ ( {n+1} )} ( t )\) is eventually positive.
Proof
From the above inequality, we know \(y^{ ( {n+1} )} ( t )\) is strictly monotonically decreasing in the interval \([T,+\infty )\), and therefore \(y^{ ( {n+1} )} ( t )\) is eventually positive or eventually negative.
By careful check of the proving process of Lemma 1.1 in [8], we obtain the following results which will be used in the following proof. □
Lemma 2.3
Lemma 2.4
- (i)
If \(x''(t) \le 0\) and \({x}' ( t )<0\) for \(t\ge T\), then \(\lim_{t\to +\infty } x(t)=-\infty \);
- (ii)
If \(\lim_{t\to +\infty } x'(t)=\mu \), where \(\mu >0\) or \(\mu =+\infty \), then \(\lim_{t\to +\infty } x(t) = +\infty \).
The statements are obvious, which can be easily checked, we therefore omit the proof here.
Lemma 2.5
- (i)
If \(n=1\), then there exist \(\lambda >0\) and \(T'>0\) such that \(x({g(t)})>x(t )>\lambda \) for \(t\ge T'\);
- (ii)
Suppose that \(n\ge 2\), then there exist \(\lambda >0\) and \({T}'>0\) such that \(0< x^{({n-1})}(t )<\lambda <x(t )\), \(x({g(t )})> \lambda \) for \(t\ge {T}'\).
Proof
Suppose first \(n=1\). Then \(x'(t)<0\) and \(x(t)>0\) for \(t\ge T\). Hence the function \(x(t )>0\) is monotonically decreasing on the interval \([T,+\infty )\). Using the monotone bounded theorem, we know the limit \(\lim_{t\to +\infty } x(t)\) exists and we denote \(\lim_{t\to +\infty } x(t)=\lambda \). Using the monotonicity of \(x(t)\) again, we know \(x(t)>\lambda \) for \(t\ge T\). Noting \(g(t )< t\) and \(\lim_{t\to +\infty } g(t)=+\infty \), we can find \({T}'\ge T\) such that \(t>g(t)\ge T\) for \(t\ge T'\). Since the function \(x(t)\) is monotonically decreasing, we deduce that \(x(g(t))>x(t)>\lambda \) for \(t\ge T'\) and we have proved statement (i).
3 Asymptotic dichotomy
Theorem 3.1
Proof
Suppose that \(y(t)\) is a non-oscillatory solution of equation (1.1) on the interval \([T,+\infty )\), where \(T\ge a\). Without loss of generality, we may assume \(y(t)>0\) and \(y(g(t))>0\) for \(t\ge t_{0} \ge T\). By Lemma 2.1, there exists \(t_{1} \) such that \(y^{(n)}(t)>0\) or \(y^{(n)}(t)<0\) for \(t\ge t_{1} \ge t_{0} \).
Therefore we know \(y^{(n)}(t)<0\) for \(t\ge t_{1} \). Noting that \(y(t)>0\) and \(y(g(t))>0\), we consider \(y^{(n+1)}(t)\) is either eventually negative or eventually positive.
First we prove Theorem 3.1 under condition (3.1). We now exclude the case that \(y^{(n+1)}(t)\) is eventually negative. In fact, if \(y^{(n)}(t)<0\) for \(t\ge t_{1} \). By using Lemma 2.4, we obtain \(\lim_{t\to +\infty } y^{ ( {n-1} )}(t)=- \infty \). Similarly, by induction on n, we deduce that \(y(t)\to - \infty \) as \(t\to +\infty \), which is a contradiction with \(y(t)>0\). Hence the function \(y^{ ( {n+1} )}(t)\) is eventually positive, and hence there exists \(t_{4} \ge t_{1} \) such that \(y^{ ( {n+1} )}(t)>0\) for \(t\ge t_{4} \).
We prove \(y(t)\to 0\) as \(t\to +\infty \) by using a contradiction argument. Otherwise, we assume \(\lim_{t\to +\infty } y(t)\ne 0\). We divide the proof into two cases with respect to n.
We now prove for the case \(n\ge 2\). Then we know \(y^{ ( n )}(t)<0\), \(y(t)>0\) for \(t\ge t_{1} \) and \(\lim_{t\to +\infty } y(t)\ne 0\). By Lemma 2.5, we know there exist \(\lambda _{1} >0\) and \(t_{6} \ge t_{1} \) such that \(0< y^{ ( {n-1} )} ( t )<\lambda _{1} <y ( t )\), \(y ( {g ( t )} )>\lambda _{1} \) for \(t\ge t_{6} \).
If \(y^{ ( {n+1} )}(t)\) does not change sign, then \(y^{ ( {n+1} )}(t)\) will not be eventually positive or eventually negative, which contradicts with \(y^{ ( n )}(t)<0\).
In the following, we prove Theorem 3.1 under condition (3.2). Then we know \(y^{ ( n )}(t)<0\) for \(t\ge t_{1} \). First we consider the case \(n=1\). By Lemma 2.5, we know \(\mu _{2} >0\) and there exists \(t_{7} \ge t_{1} \) such that \(y ( {g ( t )} )>y ( t )> \mu _{2} \) for \(t>t_{7}\).
Consider the case that \(n\ge 2\). By Lemma 2.5, there exist \(\lambda _{2} >0\) and \(t_{8} \ge t_{1} \) such that \(0< y^{ ( {n-1} )} ( t )<\lambda _{2} <y ( t )\) and \(y ( {g ( t )} )>\lambda _{2} \) for \(t\ge t _{8} \).
In the following, we prove a new asymptotic dichotomy for equation (1.1) under the so-called Philos-type integral averaging conditions. Following the literature [19], we first introduce a class of functions ℜ. We define two sets \(D_{0} =\{(t,s): t>s \ge T \}\) and \(D=\{(t,s):t\ge s \ge T\}\).
- (i)
\(H(t,t)=0\) for \(t\ge T\) and \(H(t,s)>0\) for \((t,s)\in D_{0} \);
- (ii)
H has a continuous and non-positive partial derivative on \(D_{0}\) with respect to the second variable such that \(- \frac{{\partial H ( {t, s} )} }{{\partial s}}=h(t,s) \sqrt[2]{H(t,s)}\) for \((t,s)\in D_{0}\);
Theorem 3.2
Proof
Suppose that \(y ( t )\) is a non-oscillatory solution of equation (1.1) on the interval \([T,+\infty )\), where \(T\ge a\). Without loss of generality we may assume \(y(t)>0\) and \(y(g(t))>0\) for \(t\ge t_{0} \ge T\). By Lemma 2.1, we deduce that \(y^{ ( n )}(t)>0\) or \(y^{ ( n )}(t)<0\) for \(t\ge t_{1} \ge t_{0} \).
If \(y^{ ( n )}(t)>0\) for \(t\ge t_{1} \), then by Lemma 2.2, we know \(y^{ ( {n+1} )} ( t )>0\).
Theorem 3.3
Then any solution \(y(t)\) of equation (1.1) is oscillatory or satisfies \(y ( t )\to 0\) as \(t\to +\infty \).
Proof
Suppose that \(y ( t )\) is a non-oscillatory solution of equation (1.1) on the interval \([T,+\infty )\), where \(T\ge a\). Without loss of generality, we may assume that \(y(t)>0\) and \(y(g(t))>0\) hold for \(t\ge t_{0} \ge T\). By Lemma 2.1, we deduce that \(y^{ ( n )}(t)>0\) or \(y^{ ( n )}(t)<0\) for \(t\ge t_{1} \ge t_{0} \).
The case for \(y^{ ( n )}(t)<0\) is similar to the proof of Theorem 3.1, and we omit the details here. We thus have completed the proof of Theorem 3.3. □
4 Some applications of the asymptotic dichotomy
In this section, we give some examples to illustrate the applications of the asymptotic dichotomy proved in the previous section.
Example 4.1
Hence condition (3.3) in Theorem 3.1 holds, and we can use Theorem 3.1 to conclude that all the solutions of equation (4.1) are oscillatory or approaching to zero as \(t\to +\infty \). In fact, we can verify that \(y ( t )=-\cos t\) is a solution of equation (4.1) which is oscillatory.
Example 4.2
Declarations
Acknowledgements
The authors would like to thank the referees for their valuable comments and suggestions which improve the manuscript.
Availability of data and materials
All data generated or analysed during this study are included in this published article.
Funding
The first author is supported by the NSF of Guangdong Province of China (No. 2016A030307008) and the second author is supported by the NSF of China (No. 11771101), the major research program of Colleges and Universities in Guangdong Province (No. 2017KZDXM054), Guangzhou science and technology project (No. 201805010001) and Guangdong science and technology project (No. 2016B090927009).
Authors’ contributions
All authors contributed equally to this work. All authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
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.
Authors’ Affiliations
References
- Agarwal, R.P., Grace, S.R., O’Regan, D.: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Acad. Publ., Dordrecht (2000) View ArticleGoogle Scholar
- Agarwal, R.P., Grace, S.R., Wong, P.J.Y.: Oscillation theorems for certain higher order nonlinear functional differential equations. Appl. Anal. Discrete Math. 2, 1–30 (2008) MathSciNetView ArticleGoogle Scholar
- Cecchi, M., Marini, M.: Oscillation results for Emden–Fowler type differential equations. J. Math. Anal. Appl. 205, 406–422 (1997) MathSciNetView ArticleGoogle Scholar
- Erbe, L.H., Kong, Q., Zhong, B.G.: Oscillation Theory for Functional Differential Equations. Marcel Dekker, New York (1995) Google Scholar
- Grace, S.R., Lalli, B.J.: On oscillation and nonoscillation of general functional-differential equations. J. Math. Anal. Appl. 109, 522–533 (1985) MathSciNetView ArticleGoogle Scholar
- Gyori, I., Ladas, G.: Oscillation Theory of Delay Differential Equations with Applications. Clarendon Press, Oxford (1991) MATHGoogle Scholar
- Hale, J.K.: Theory of Functional Differential Equations, 2nd edn. Applied Mathematics Sciences Springer, New York (1977) View ArticleGoogle Scholar
- Hou, C.M., Cheng, S.S.: Asymptotic dichotomy in a class of fourth-order nonlinear delay differential equations with damping. Abstr. Appl. Anal. 2009, Article ID 484158 (2009). https://doi.org/10.1155/2009/484158 MathSciNetView ArticleMATHGoogle Scholar
- Kartsatos, A.G., Manougian, M.N.: Perturbations causing oscillations of functional-differential equations. Proc. Am. Math. Soc. 43, 111–117 (1974) MathSciNetView ArticleGoogle Scholar
- Kusano, T., Onose, H.: Nonlinear oscillation of a sublinear delay equation of arbitrary order. Proc. Am. Math. Soc. 40, 219–224 (1973) MathSciNetView ArticleGoogle Scholar
- Kusano, T., Onose, H.: Oscillations of functional differential equations with retarded argument. J. Differ. Equ. 15, 269–277 (1974) MathSciNetView ArticleGoogle Scholar
- Ladas, G.: Oscillation and asymptotic behavior of solutions of differential equations with retarded argument. J. Differ. Equ. 10, 281–290 (1971) MathSciNetView ArticleGoogle Scholar
- Ladas, G., Sficas, Y.G., Stavroulakis, I.P.: Necessary and sufficient conditions for oscillations of higher order delay differential equations. Transl. Am. Math. Soc. 285, 81–90 (1984) MathSciNetView ArticleGoogle Scholar
- Ladde, G.S., Lakshmikantham, V., Zhang, B.G.: Oscillation Theory of Differential Equations with Deviating Arguments. Marcel Dekker, New York (1987) MATHGoogle Scholar
- Liang, H.H.: Asymptotic behavior of solutions to higher order nonlinear delay differential equations. Electron. J. Differ. Equ. 2014, 186 (2014) MathSciNetView ArticleGoogle Scholar
- Mahfoud, W.E.: Oscillatory and asymptotic behavior of solutions of N-th order nonlinear delay differential equations. J. Differ. Equ. 24, 75–98 (1977) MathSciNetView ArticleGoogle Scholar
- Parhi, N., Das, P.: Asymptotic property of solutions of a class of third-order differential equations. Proc. Am. Math. Soc. 110, 387–393 (1990) MathSciNetView ArticleGoogle Scholar
- Parhi, N., Das, P.: On the oscillation of a class of linear homogeneous third order differential equations. Arch. Math. 34, 435–443 (1998) MathSciNetMATHGoogle Scholar
- Philos, Ch.G.: Oscillation theorems for linear differential equation of second order. Arch. Math. 53, 482–492 (1989) MathSciNetView ArticleGoogle Scholar
- Sturm, B.: Sur les équation différentielles du second ordré. J. Math. Pures Appl. 1, 106–186 (1836) Google Scholar
- Swanson, C.A.: Comparison and Oscillation Theory of Linear Differential Equations. Academic Press, New York (1968) MATHGoogle Scholar
- Tiryaki, A., Aktas, M.F.: Oscillation criteria of a certain class of third order nonlinear delay differential equations with damping. J. Math. Anal. Appl. 325, 54–68 (2007) MathSciNetView ArticleGoogle Scholar