Abstract
Our objective in this paper is to study the oscillatory and asymptotic behavior of the solutions of third-order neutral differential equations with damping and distributed deviating arguments. New oscillation criteria are established, which are based on a refinement generalized Riccati transformation. An important tool for this investigation is the integral averaging technique. Moreover, we provide an example to illustrate the main results.
Similar content being viewed by others
1 Introduction
We consider a third-order half-linear neutral differential equation with damping and distributed deviating arguments of the form
for \(\xi >\xi _{0}\), where \(y(\xi )=x(\xi )+\int _{a}^{b}{p(\xi ,\sigma )x(\tau (\xi ,\sigma ))}\,d\sigma \), γ is a quotient of odd positive integers.
Throughout the manuscript, we assume the following conditions hold.
- \((A_{1})\):
-
\(\xi _{0}>0\) is a constant, \(R=(-\infty ,\infty )\), \(R^{+}=(0,\infty )\). \(\alpha _{1}(\xi )\in C^{2}([\xi _{0},\infty ),R^{+})\), \(\alpha _{2}(\xi )\in C^{1}([\xi _{0},\infty ),R^{+})\), \(\alpha _{3}(\xi )\in C([\xi _{0},\infty ),R^{+})\), \(\int _{\xi _{0}}^{\infty }{\alpha _{1}(\xi )^{-\frac{1}{\gamma }}}\,d\xi =\infty \), \(\int _{\xi _{0}}^{\infty } \frac{1}{\alpha _{2}(\xi )} \exp (-\int _{ \xi _{0}}^{\xi }{\frac{\alpha _{3}(s)}{\alpha _{2}(s)}}\,ds)\,d\xi = \infty \).
- \((A_{2})\):
-
\(\tau (\xi ,\sigma )\in C^{1}{([\xi _{0},\infty )}\times [a,b], R^{+})\), \(\frac{\partial \tau (\xi ,\sigma )}{\partial \sigma }>0\). \(\tau (\xi ,\sigma )\) satisfies \(\tau (\xi ,\sigma )\leq \xi \) and \(\lim_{\xi \rightarrow \infty }\tau (\xi ,\sigma )=\infty \) for \(\sigma \in [a,b]\), \(\xi \geq \xi _{0}\). Moreover \(p(\xi ,\sigma )\in C{([\xi _{0},\infty )}\times [a,b], R^{+})\), \(0< p^{*}<1\) is a constant such that \(0\leq P(\xi )\equiv \int _{a}^{b}{p(\xi ,\sigma )}\,d\sigma < p^{*}\).
- \((A_{3})\):
-
\(F(\xi ,s,x)\in C([\xi _{0},\infty )\times [c,d]\times (0, \infty ), R^{+})\), \(q(\xi ,s)\in C([\xi _{0},\infty )\times [c,d], R^{+})\), \(\frac{F(\xi ,s,x)}{x^{\gamma }}\geq q(\xi ,s)\).
- \((A_{4})\):
-
\(g(\xi ,s)\in C^{1}([\xi _{0},\infty )\times [c,d],R^{+})\), \(\frac{\partial g(\xi ,s)}{\partial \xi }>0\), and \(\frac{\partial g(\xi ,s)}{\partial s}\geq 0\). \(g(\xi ,s)\) satisfies \(g(\xi ,s)\leq \xi \) and \(\lim_{\xi \rightarrow \infty }g(\xi ,s)=\infty \) for \(s\in [c,d]\), \(\xi \geq \xi _{0}\).
- \((A_{5})\):
-
\(\eta (s)\in C([c,d],R)\) is strictly increasing and the integral of Eq. (1) is in the sense of Riemann–Stieltjes.
We restrict our attention to those solutions \(x(\xi )\) of Eq. (1) which mean \(x\in C^{3}[L_{x},\infty )\), \(L_{x}\geq \xi _{0}\). And Eq. (1) have the property \(\alpha _{2}(\xi ) (\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )'\in C^{1}[L_{x},\infty )\) and \(\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma }\in C^{2}[L_{x}, \infty )\). We consider only solutions x of the equation which satisfy \(\sup {\{|x(\xi )|:\xi \geq L\}}> 0\) for all \(L>L_{x}\). As usual, a nontrivial solution of Eq. (1)is called oscillatory if it has arbitrarily large zero; otherwise, it is said to be nonoscillatory. Equation (1) is called oscillatory if all of its solutions are oscillatory.
As a modeling tool for many phenomena in different fields, differential equations are difficult to provide general solutions for most of them. Therefore, the qualitative properties of differential equations have attracted a lot of attention from scholars. Oscillation and asymptotic property are important parts of qualitative research, and they are still hot topics. In the process of studying the problem, it is not difficult to find that the future state is not only affected by the current state but also by the past state. Therefore, adding some time delay into the equation is more beneficial to the description of the problem. In addition to the theoretical importance, the qualitative study of neutral equations has great practical importance. Interested readers can read Chap. 11 in the book [1] and book [2]. In particular, half-linear equations arise in the study of p-Laplace equations, non-Newtonian fluid theory, porous medium problems, chemotaxis models, and so on; see, e.g., the papers [3–8] for more details.
With the progress and development of science and technology, in recent decades, oscillation results of third-order neutral delay (TOND) differential equations have attracted extensive attention. In 2019, Wei et al. [9] and [10] studied the TOND differential equations with distributed deviating arguments and damping
And new canonical conditions are given as
Under this condition, a new method to deal with damping terms is given by constructing an exponential function. However, in the study of many TOND differential equations or dynamic equations, half-linear equations are still of great significance. Inspired by the articles [11–13], we consider the form of Eq. (1) based on Eq. (2). We point out that one of the key issues for the study is to find canonical conditions and an asymptotic condition similar to the study of Eq. (2). In order to solve this problem, we refer to literature [14–16] and give the conditions corresponding of Eq. (2) in this paper.
In addition, there is a large number of papers showing that the research on the oscillation of the third-order delay differential equation is related to the oscillation of the second-order delay differential equation. We direct interested readers to [12]. A natural question is whether Eq. (1) can apply the second-order method. Thus, to enrich the method of half-linear TOND differential equations with damping, here, we introduce several interesting approaches to second-order differential equations oscillation problems. In [17–20], a new operator is created. The operator is flexible in application and it is superior in estimation parameters of some second-order equations. In [21] and [22], an unusual method is also presented. That is, the new oscillation theorem is obtained by taking the inverse of the Riccati function. Therefore, another difficulty is how to effectively generalize these methods to Eq. (1) and get some new results. And in particular, note that all of the results in this paper apply to Eq. (2) when we set \(\gamma =1\).
Next, we give the Definition 1 we need to use.
Definition 1
([17])
We say that a function \(\Phi ={\Phi }(\xi ,h,l)\) belongs to the function class Y, denoted by \(\Phi \in Y\), if \(\Phi \in C(E,R)\), where \(E={\{(\xi ,h,l):\xi _{0}\leq l\leq h\leq \xi <\infty \}}\), which satisfies \(\Phi (\xi ,\xi ,l)=0\), \({\Phi }(\xi ,l,l)=0\), \(\Phi (\xi ,h,l)\neq 0\) for \(l< h<\xi \), and has the partial derivative \(\frac{\partial \Phi }{\partial h}\) on E such that \(\frac{\partial \Phi }{\partial h}\) is locally integrable with respect to \(h\in E\). We define the operator \(A[\cdot ;l,\xi ]\) by
for \(\xi \geq h\geq l\geq \xi _{0}\) and \(\psi (h)\in C^{1}([\xi _{0},\infty ),R)\). The function \(\varphi =\varphi (\xi ,h,l)\) is defined by
It is easy to verify that \(A[\cdot ;l,\xi ]\) is a linear operator and that it satisfies
for \(\psi (h)\in C^{1}([\xi _{0},\infty ),R)\).
2 Preliminaries
As we all know, the common method to discuss the oscillation property of the solution is to assume that the equation has an eventually positive solution. In this part, we study and classify the function \(y(\xi )\) related to the eventually positive solution. And during the following sections of our paper, we shall need the next lemmas.
Lemma 2.1
([23])
Set \(B(\nu )=b_{1}(\xi )\nu -b_{2}(\xi )\nu ^{\frac{\gamma +1}{\gamma }}\), where the function \(b_{1}(\xi )\) is arbitrary, function \(b_{2}(\xi )\) and function ν are always positive, γ is a positive constant. Then the function \(B(\nu )\) has the maximum value \(B_{\max }\) at \(\nu _{0}\) on R such that
where \(\nu _{0}= (\frac{\gamma }{\gamma +1} \frac{b_{1}(\xi )}{b_{2}(\xi )} )^{\gamma }\).
Lemma 2.2
Suppose that \((A_{1})\), \((A_{3})\), and \((A_{5})\) hold. Let \(x(\xi )\) be a positive solution of Eq. (1). Then \(y(\xi )=x(\xi )+\int _{a}^{b}{p(\xi ,\sigma )x(\tau (\xi ,\sigma ))}\,d\sigma \) must be in one of the following two cases:
where \(\xi \geq \xi _{1}\geq \xi _{0}\) for sufficiently large constant \(\xi _{1}\).
Proof
Suppose that \(x(\xi )\) is the positive solution of Eq. (1) in \([\xi _{0}, \infty )\). There exists sufficiently large \(\xi _{1}>\xi _{0}\) such that \(x(\tau (\xi ,\sigma ))>0\) and \(x(g(\xi ,s))>0\) for \(\xi >\xi _{1}\). From \(y(\xi )=x(\xi )+\int _{a}^{b}{p(\xi ,\sigma )x(\tau (\xi ,\sigma ))}\,d\sigma \), we get \(y(\xi )>x(\xi )>0\).
Based on Eq. (1), \((A_{3})\), and \((A_{5})\), we obtain
To combine the damping terms, we use a useful function \(z(\xi )=\exp (\int _{\xi _{0}}^{\xi }{ \frac{\alpha _{3}(s)}{\alpha _{2}(s)}}\,ds)\). By the properties of the exponential function, we have \(z(\xi )>0\). Multiplying both sides of inequality (7) with \(z(\xi )\), we get
which means that \(z(\xi )\alpha _{2}(\xi ) (\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )'\) is decreasing and eventually of one sign. Due to \(z(\xi )>0\) and \(\alpha _{2}(\xi )>0\), we obtain
for \(\xi > \xi _{1}\). Then we assert that \((\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )'>0\). If \((\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )'<0\), by (8), there exists \(\xi _{2}>\xi _{1}\), when \(\xi >\xi _{2}\), we have
where \(M_{1}\) is a positive constant. Integrating (9) from \(\xi _{2}\) to ξ, we have
From \((A_{1})\), we get \(\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma }<0\), as \(\xi \rightarrow \infty \), which means \(y'(\xi )<0\). Due to \((\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma })'<0\), there exists \(\xi _{3}>\xi _{2}\), when \(\xi >\xi _{3}\), we have
where \(M_{2}\) is a positive constant. Then, integrating (11) from \(\xi _{3}\) to ξ, we have
From \((A_{1})\), we can get \(y(\xi )<0\), as \(\xi \rightarrow \infty \), which contradicts \(y(\xi )>x(\xi )>0\). Thus, \((\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )'>0\).
Next, we prove that \(y'(\xi )\) is eventually of one sign. By \((\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )'>0\), we have that \(\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma }\) is increasing and eventually of one sign. From \(\alpha _{1}(\xi )>0\) and γ is a quotient of odd positive integers, we get that \(y'(\xi )\) is eventually of one sign. So, it is easy to know that \(y(\xi )\) has case 1 or case 2. This completes the proof. □
Lemma 2.3
Suppose that \((A_{1})\)–\((A_{5})\) hold. Let \(x(\xi )\) be a positive solution of Eq. (1), and \(y(\xi )\) satisfies case 2 in Lemma 2.2. If
where \(q(\xi )=\int _{c}^{d}{q(\xi ,s)}\,d\eta (s)\) for \(\xi \in (\xi _{0},\infty )\), then \(\lim_{\xi \rightarrow \infty }x(\xi )=0\).
Proof
Suppose that \(x(\xi )\) is the positive solution of Eq. (1) in \([\xi _{0}, \infty )\). From Lemma 2.2, we have \(y(\xi )>0\), \(y'(\xi )<0\). Based on the simple analysis, function \(y(\xi )\) must converge to the nonnegative constant m, when \(\xi \rightarrow \infty \). And we assert \(\lim_{\xi \rightarrow \infty } y(\xi )=m=0\). If \(m>0\), noting that \(y(\xi )\) is decreasing for \(\xi \geq \xi _{1}\geq \xi _{0}\), hence, we always have a constant \(\theta >0\) such that \(m< y(\xi )< m+\theta \). From \((A_{2})\), we have a constant \(0< p^{*}<1\), because of the Archimedes property of real numbers, we can choose a special number θ such that \(0<\theta <\frac{m(1-p^{*})}{p^{*}}\).
Next, from \((A_{2})\) and integral mean value theorem, use \(m< y(\xi )< m+\theta \), we have
From \(0<\theta <\frac{m(1-p^{*})}{p^{*}}\), we obtain \(\frac{m-p^{*}(m+\theta )}{m+\theta }>0\). Then, using Eq. (1), we have
We also use function \(z(\xi )=\exp (\int _{\xi _{0}}^{\xi }{ \frac{\alpha _{3}(s)}{\alpha _{2}(s)}}\,ds)>0\), and we have \(z'(\xi )>0\) easily. Then
Integrating (16) from ξ to ∞, using \(m< y(\xi )< m+\theta \), we get
which implies that
Integrating (18) from ξ to ∞, we have
Integrating (19) from \(\xi _{1}\) to ∞, we get
This contradicts (13), and we get \(m=0\). Due to \(\lim_{\xi \rightarrow \infty } y(\xi )=0\) and \(y(\xi )>x(\xi )>0\), we obtain \(\lim_{\xi \rightarrow \infty } x(\xi )=0\). This completes the proof. □
3 Main results
In this section, we establish some new oscillation criteria for Eq. (1). For convenience, we denote
Theorem 3.1
Let \((A_{1})\)–\((A_{5})\) and (13) hold. Assume that, for each \(l\geq \xi _{0}\), there exist a function \(\Phi \in Y\) and a positive function \(\rho \in C^{1}([\xi _{0},\infty ),R^{+})\) such that
where the operator A is defined by (3), and \(\varphi =\varphi (\xi ,h,l)\) is defined by (4). Then every solution of Eq. (1) is oscillatory or converges to zero.
Proof
Suppose to the contrary that there exists an eventually positive solution \(x(\xi )\) of Eq. (1) such that \(x(\xi )>0\), \(x(\tau (\xi ,\sigma ))>0\), \(x(g(\xi ,s))>0\) for \(\xi >\xi _{1}>\xi _{0}\). Then \(y(\xi )=x(\xi )+\int _{a}^{b}p(\xi ,\sigma )x(\tau (\xi ,\sigma ))\,d\sigma >0\) for \(\xi >\xi _{1}>\xi _{0}\). From Lemma 2.2, we get that \(y(\xi )\) is one of case 1 or case 2.
If \(y(\xi )\) satisfies case 1, we can get
Combining (1) and (22), we have
Since \(y(\xi )\) has case 1, we get \(y'(\xi )>0\) and \((\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )'>0\). From (23), we can easily get \((\alpha _{2}(\xi ) (\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )' )'<0\), and we have
That means
From \((A_{4})\), we obtain
Next, we define the generalized Riccati-type function
Obviously, \(w(h)>0\). Differentiating \(w(h)\), we obtain
From (23), (24), (26), and (27), by simple computation, we have
For convenience, let \(G(h):=g'(h,c) (\frac{1}{\alpha _{1}(g(h,c))} )^{\frac{1}{\gamma }} (\int _{\xi _{1}}^{g(h,c)}{ \frac{1}{\alpha _{2}(s)}}\,ds )^{\frac{1}{\gamma }}\). Then we obtain
Applying the operator \(A [\cdot ;\xi _{1},\xi ]\) (\(\xi \geq \xi _{1}\)) to (28), we note that \(A [\cdot ;\xi _{1},\xi ]\) is a linear operator, then we get
By (5) and the above inequality, we have
To use Lemma 2.1, set
We can see that
That means
Taking the super limit in the above inequality, we arrive at this inequality
which is a contradiction to (21).
If \(y(\xi )\) satisfies case 2, from Lemma 2.3, the solution of (1) converges to zero. The proof is complete. □
Next, let us discuss the special function \(\rho (\xi )\) in Riccati-type function (27), then we can get some new oscillation criteria that are weaker than Theorem 3.1.
Theorem 3.2
Let \((A_{1})\)–\((A_{5})\) and (13) hold. Assume that, for each \(l\geq \xi _{0}\), there exists a function \(\Phi \in Y\) such that
where the operator A is defined by (3), and \(\rho =\exp (\int _{\xi _{1}}^{h} ( \frac{\alpha _{3}(s)}{\alpha _{2}(s)}-2\varphi (\xi ,s,l) )\,ds)\) for \(\varphi (\xi ,s,l)\) is as in (4). Then every solution of Eq. (1) is oscillatory or converges to zero.
Proof
Suppose the contrary. Let \(x(\xi )\) be an eventually positive solution of Eq. (1). Similar to the proof of Theorem 3.1, if we set \(\rho =\exp (\int _{\xi _{1}}^{h} ( \frac{\alpha _{3}(s)}{\alpha _{2}(s)}-2\varphi (\xi ,s,l) )\,ds)\), then (27) becomes
Symbolize \(\frac{\partial w(\xi ,h,l)}{\partial h}:= w'(\xi ,h,l)\) and \(\frac{\partial \rho (\xi ,h,l)}{\partial h}:=\rho '(\xi ,h,l)\). We can easily get the operator \(A[\cdot ;l,\xi ]\) satisfying (5) for each fixed ξ and l, where \(\xi >h>l>\xi _{1}\). Then we also get inequality (30). By simple calculation, we obtain
and \(R(\xi ,h,l)=\frac{\rho '(\xi ,h,l)}{\rho (\xi ,h,l)}- \frac{\alpha _{3}(h)}{\alpha _{2}(h)}+2\varphi (\xi ,h,l)=0\) in inequality (30). This means that, for every ξ and l, where \(\xi >h>l>\xi _{1}\), we get
Taking the super limit in the above inequality, we arrive at
which is a contradiction to (31). This completes the proof of Theorem 3.2. □
Remark 1
Look at inequality (21) from Theorem 3.1, we find that the function \(R(\xi ,h,l)=\frac{\rho '(\xi ,h,l)}{\rho (\xi ,h,l)}- \frac{\alpha _{3}(h)}{\alpha _{2}(h)}+2\varphi (\xi ,h,l)\) cannot judge the sign. And we note that the function \(G(h)\) is affected by the damping function \(g(\xi ,c)\). Thus, we get a function \(\rho (\xi ,h,l)\) which can make function \(R(\xi ,h,l)=0\), so that \(g(\xi ,c)\) disappears in our criteria.
Theorem 3.3
Let \((A_{1})\)–\((A_{5})\) and (13) hold. Assume that, for each \(l\geq \xi _{0}\), there exists a positive function \(\rho (\xi )\in C^{1}([\xi _{0},\infty ),R^{+})\) satisfying \(\rho '(\xi )<0\) such that
where \(\epsilon (\xi )=\int _{\xi }^{\xi '}\rho (\varsigma )(1-p^{*})^{\gamma } q(\varsigma )\,d\varsigma \) and \(\xi '>\xi \). Then every solution of Eq. (1) is oscillatory or converges to zero.
Proof
Suppose the contrary, without loss of generality, we can assume that \(x(\xi )\) is an eventually positive solution of Eq. (1) for \(\xi >\xi _{0}\). Similar to the proof of Theorem 3.1, case 2 always hold and case 1 still satisfies (23), (26), (27), and (28) for \(\xi >\xi _{1}\). By inequality (28), using \(w(\xi )>0\), \(\rho '(\xi )<0\) and \((A_{1})\)–\((A_{5})\), it is clear that \(w'(\xi )<0\). Multiplying both sides of inequality (26) with \(g'(\xi ,c)\), then integrating this inequality from \(\xi _{1}\) to ξ, note \((\alpha _{2}(\xi ) (\alpha _{1}(\xi ) (y'(\xi ) )^{\gamma } )' )'<0\) from (23), we have
From (28), note \(\rho '(\xi )<0\) and \(w(\xi )>0\), we obtain
Integrating the above inequality from ξ to \(\xi '\), for \(\xi <\xi '\),
And we assert
Otherwise \(w(\xi ')\leq w(\xi )-\int _{\xi }^{\xi '}\rho (\varsigma )(1-p^{*})^{\gamma } q(\varsigma )\,d\varsigma \rightarrow -\infty \) for all \(\xi '>\xi \). From (27), we have that \(w(\xi ')>0\) is positive, which is a contradiction.
Next, from (27) and (33), we get
Thus it follows from (35) that
Taking the super limit in the above inequality, we have
Using (34) and (36), we can easily get a contradiction in (32). The proof is complete. □
Theorem 3.4
Let \((A_{1})\)–\((A_{5})\) and (13) hold. Suppose that \(\{\vartheta _{n}(\xi )\}_{n=0}^{\infty }\) is a sequence of functions defined as
where \(\widetilde{G}(s)=\gamma \rho ^{-\frac{1}{\gamma }}(s)G(s)\), \(\vartheta _{0}(\xi )=\int _{\xi }^{\varepsilon (\xi )}\rho (s)(1-p^{*})^{\gamma }q(s)\,ds\) for \(\xi >\xi _{0}\), and \(\varepsilon (\xi )\in C^{1}((\xi _{0},\infty ), (\xi ,\infty ))\), \(\varepsilon '(\xi )>0\). Assume that there exists a positive function \(\rho (\xi )\in C^{1}([\xi _{0},\infty ),R^{+})\), satisfying \(\rho '(\xi )<0\) such that
Then every solution of Eq. (1) is oscillatory or converges to zero.
Proof
Assume that \(x(\xi )\) is a positive solution of Eq. (1), then similar to the proof of Theorem 3.1 and Theorem 3.3, the case 2 hold, and we deduce that (27), (28), (36) in case 1 hold. Next, we prove that there exists a positive \(\vartheta (\xi )\) on \([\xi _{1},\infty )\) such that \(\lim_{\xi \rightarrow \infty } \vartheta _{n}(\xi )= \vartheta (\xi )\), \(\vartheta (\xi )=\int _{\xi }^{\varepsilon (\xi )}\widetilde{G}(s) \vartheta ^{\frac{\gamma +1}{\gamma }}(s)\,ds +\vartheta _{0}(\xi )\), and \(w(\xi )\geq \vartheta _{n}(\xi )\).
In fact from (28), \(\rho '(\xi )<0\), and \(\widetilde{G}(\xi )=\gamma \rho ^{-\frac{1}{\gamma }}(\xi )G(\xi )\), we get
Then integrating (39) from ξ to \(\varepsilon (\xi )\) and setting \(\vartheta _{0}(\xi )=\int _{\xi }^{\varepsilon (\xi )}\rho (s)(1-p^{*})^{\gamma }q(s)\,ds\), we have
From \((A_{2})\), \((A_{3})\) and \(\rho (\xi )\in C^{1}([\xi _{1},\infty ),R^{+})\), we get \(\vartheta _{0}(\xi )>0\) and
Then we conclude that
otherwise, \(w(\varepsilon (\xi ))\leq w(\xi )-\int _{\xi }^{\varepsilon (\xi )} \widetilde{G}(s) w^{\frac{\gamma +1}{\gamma }}(s)\,d\varsigma \rightarrow -\infty \) for all \(\xi >\xi _{1}\). From (27), we have that \(w(\varepsilon (\xi ))\) is positive, which is a contradiction. Similarly, we also have \(\vartheta _{0}(\xi )<\infty \). We observe that function \(\widetilde{G}(s)>0\), from (28), we have that \(w(\xi )\) is positive and decreasing. By (40), we get
That means \(w(\xi ) \geq \vartheta _{0}(\xi )\). In addition, from \(\widetilde{G}(\xi )>0\), we have \(\vartheta _{n}(\xi )\leq \vartheta _{n+1}(\xi )\) for \(\xi >\xi _{1}\) always holds. By \(w(\xi ) \geq \vartheta _{0}(\xi )\) and (43), we have
Then we have
Inductively, we obtain \(w(\xi )\geq \vartheta _{n}(\xi )\), \(n=1,2,3,\ldots\) , for \(\xi >\xi _{1}\).
Since the sequence \(\{\vartheta _{n}(\xi )\}_{n=0}^{\infty }\) is increasing and bounded, it converges to \(\vartheta (\xi )\). Then, using Lebesgue’s monotone convergence theorem and putting \(n\rightarrow \infty \) in (37), we get \(\vartheta (\xi )=\int _{\xi }^{\varepsilon (\xi )}\widetilde{G}(s) \vartheta ^{\frac{\gamma +1}{\gamma }}(s)\,ds +\vartheta _{0}(\xi )\). Then, from (36) and \(w(\xi )\geq \vartheta _{n}(\xi )\), we also get a contradiction to (38). The proof is complete. □
Remark 2
We give a Riccati-type function satisfying \(\rho '(\xi )<0\) such that the function \(w(\xi )\) is bounded. If we change the condition of \(\rho '(\xi )<0\) to \(\frac{\rho '(\xi )}{\rho (\xi )}- \frac{\alpha _{3}(\xi )}{\alpha _{2}(\xi )}<0\) in Theorem 3.3 or Theorem 3.4, we also have that the function \(w(\xi )\) is bounded. Then, by the same proof, we get new oscillation criteria.
4 Example
Consider the following differential equation:
for \(\xi \in (0,\infty )\).
Let \(\alpha _{1}(\xi )=\xi \), \(\alpha _{2}(\xi )=\frac{1}{\xi }\), \(\alpha _{3}(\xi )=\frac{1}{\xi ^{2}}\), \(p^{*}=\frac{1}{2}\), \(\tau (\xi ,\sigma )=\frac{\xi }{2}\), \(F(\xi ,s,x)=\lambda x\), \(g(\xi ,s)=\frac{\xi }{e}\), \(\gamma =3\), \(a=0\), \(b=1\), \(c=0\), \(d=1\), \(\eta (\xi )=\xi \) in Eq. (1). Then we have \(q(\xi ,s)=\lambda \), and we also obtain \(q(\xi )=\lambda \), \(\int _{\xi _{0}}^{\infty }{\alpha _{1}(\xi )^{-\frac{1}{\gamma }}}\,d\xi =\infty \), \(\int _{\xi _{0}}^{\infty } \frac{1}{\alpha _{2}(\xi )} \exp (-\int _{ \xi _{0}}^{\xi }{\frac{\alpha _{3}(s)}{\alpha _{2}(s)}}\,ds)\,d\xi = \infty \). And (13) holds for \(\lambda >0\).
We give \(\Phi (\xi ,h,l)=(\xi -h)^{\alpha }(h-l)^{\beta }\), \(\alpha >\frac{1}{2}\), \(\beta >\frac{1}{2}\). From (4), we get \(\varphi (\xi ,h,l) = \frac{\beta \xi -(\alpha +\beta )h+\alpha l}{(\xi -h)(h-l)}\), by simple computation, we have
Then we have
Because of \(\limsup_{\xi \rightarrow \infty } \frac{(\xi ^{2}-l^{2})(\xi -\xi _{0})^{2\alpha }}{16\xi _{0}(\xi _{0}-l)^{-2\beta }} \rightarrow +\infty \), we get that (47) is positive for \(\lambda >0\). Using Theorem 3.2 and operator \(A[\cdot ;l,\xi ]\), we have that the solution of (46) is oscillatory or converges to zero for \(\lambda >0\).
5 Conclusion
In this paper, we study the oscillation criteria of TOND differential equations with distributed deviating arguments and damping. Under the condition of \((A_{1})\), we analyze the distribution function \(y(\xi )\) which is related to the solution. Then we give some sufficient condition which ensures that every solution of Eq. (1) is oscillatory or converges to zero. In future work, we would like to get some other oscillation criteria of Eq. (1) when \(\int _{a}^{b}{p(\xi ,\sigma )}\,d\sigma >1\) in \((A_{2})\). In fact, the case of “>1” has been involved in studies of second-order and even-order neutral differential equations. See, e.g., the papers [24–27] for more details.
Availability of data and materials
Not applicable.
References
Arino, O., Hbid, M.L., Dads, E.A.: Oscillation Theory for Difference and Functional Differential Equations. Springer, Berlin (2006)
Ladde, G.S., Zhang, B.G., Lakshmikantham, V.: Oscillation Theory of Differential Equations with Deviating Arguments. Dekker, New York (1987)
Chatzarakis, G.E., Grace, S.R., Jadlovska, I., Li, T., Tunc, E.: Oscillation criteria for third-order Emden–Fowler differential equations with unbounded neutral coefficients. Complexity 2019, Article ID 5691758 (2019)
Bohner, M., Hassan, T.S., Li, T.: Fite–Hille–Wintner-type oscillation criteria for second-order half-linear dynamic equations with deviating arguments. Indag. Math. 29, 548–560 (2018)
Dzurina, J., Grace, S.R., Jadlovska, I., Li, T.: Oscillation criteria for second-order Emden–Fowler delay differential equations with a sublinear neutral term. Math. Nachr. 293, 910–922 (2020)
Li, T., Pintus, N., Viglialoro, G.: Properties of solutions to porous medium problems with different sources and boundary conditions. Z. Angew. Math. Phys. 70, 1–18 (2019)
Li, T., Viglialoro, G.: Boundedness for a nonlocal reaction chemotaxis model even in the attraction-dominated regime. Differ. Integral Equ. 34, 315–366 (2021)
Zhang, C., Agarwal, R.P., Li, T.: Oscillation and asymptotic behavior of higher-order delay differential equations with p-Laplacian like operators. J. Math. Anal. Appl. 409, 1093–1106 (2014)
Wei, M., Jiang, C., Li, T.: Oscillation of third-order neutral differential equations with damping and distributed delay. Adv. Differ. Equ. 2019, 426 (2019)
Wei, M.H., Zhang, M.L., Liu, X.L., Yu, Y.H.: Oscillation criteria for a class of third order neutral distributed delay differential equations with damping. J. Math. Comput. Sci. 2019, 19–28 (2019)
Bohner, M., Grace, S.R., Sager, I., Tunc, E.: Oscillation of third-order nonlinear damped delay differential equations. Appl. Math. Comput. 278, 21–32 (2016)
Shi, Y., Han, Z., Hou, C.: Oscillation criteria for third order neutral Emden–Fowler delay dynamic equations on time scales. Appl. Math. Comput. 55, 175–190 (2017)
Sui, Y., Han, Z.: Oscillation of third-order nonlinear delay dynamic equation with damping term on time scales. J. Appl. Math. Comput. 58, 577–599 (2018)
Jiang, C., Jiang, Y., Li, T.: Asymptotic behavior of third-order differential equations with nonpositive neutral coefficients and distributed deviating arguments. Adv. Differ. Equ. 2016, 105 (2016)
Li, T., Rogovchenko, Y.V.: On the asymptotic behavior of solutions to a class of third-order nonlinear neutral differential equations. Appl. Math. Lett. 105, 106293 (2020)
Tian, Y., Cai, Y., Fu, Y., Li, T.: Oscillation and asymptotic behavior of third-order neutral differential equations with distributed deviating arguments. Adv. Differ. Equ. 2015, 267 (2015)
Xu, R., Meng, F.: New Kamenev-type oscillation criteria for second order neutral nonlinear differential equations. Appl. Math. Comput. 118, 1364–1370 (2007)
Liu, L., Bai, Y.: New oscillation criteria for second-order nonlinear neutral delay differential equations. J. Comput. Appl. Math. 231, 657–663 (2009)
Zhao, J., Meng, F.: Oscillation criteria for second-order neutral equations with distributed deviating argument. Appl. Math. Comput. 206, 485–493 (2008)
Jiang, C., Tian, Y., Jiang, Y., Li, T.: Some oscillation results for nonlinear second-order differential equations with damping. Adv. Differ. Equ. 2015, 354 (2015)
Zhang, M., Chen, W., Elsheikh, M., Sallam, R.A., Hassan, A.M., Li, T.: Oscillation criteria for second-order nonlinear delay dynamic equations of neutral type. Adv. Differ. Equ. 2018, 26 (2018)
Candan, T.: Oscillatory behavior of second order nonlinear neutral differential equations with distributed deviating arguments. Appl. Math. Comput. 262, 199–203 (2015)
Meng, F., Xu, R.: Oscillation criteria for certain even order quasi-linear neutral differential equations with deviating arguments. Appl. Math. Comput. 190, 458–464 (2007)
Li, T., Rogovchenko, Y.V.: Oscillation of second-order neutral differential equations. Math. Nachr. 288, 1150–1162 (2015)
Agarwal, R.P., Bohner, M., Li, T., Zhang, C.: A new approach in the study of oscillatory behavior of even-order neutral delay differential equations. Appl. Math. Comput. 225, 787–794 (2013)
Li, T., Rogovchenko, Y.V.: Oscillation criteria for even-order neutral differential equations. Appl. Math. Lett. 61, 35–41 (2016)
Li, T., Rogovchenko, Y.V.: Oscillation criteria for second-order superlinear Emden–Fowler neutral differential equations. Monatshefte Math. 184, 489–500 (2017)
Acknowledgements
The authors are grateful to the reviewers for their valuable and insightful comments.
Funding
This research is supported by the National Natural Science Foundation of China (No. 11671227) and the Natural Science Foundation of Shandong Province (No. ZR2019MA034).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wang, Y., Meng, F. & Gu, J. Oscillation criteria of third-order neutral differential equations with damping and distributed deviating arguments. Adv Differ Equ 2021, 515 (2021). https://doi.org/10.1186/s13662-021-03661-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03661-w