- Research
- Open access
- Published:

# Sufficient and necessary conditions for oscillation of linear fractional-order delay differential equations

*Advances in Difference Equations*
**volume 2021**, Article number: 89 (2021)

## Abstract

This paper studies the linear fractional-order delay differential equation

where \(0<\alpha =\frac{\text{odd integer}}{\text{odd integer}}<1\), \(p, \tau >0\), \({}^{C}D_{-}^{\alpha }x(t)=-\Gamma ^{-1}(1-\alpha )\int _{t}^{\infty }(s-t)^{- \alpha }x'(s)\,ds\). We obtain the conclusion that

is a sufficient and necessary condition of the oscillations for all solutions of Eq. (*). At the same time, some sufficient conditions are obtained for the oscillations of multiple delays linear fractional differential equation. Several examples are given to illustrate our theorems.

## 1 Introduction

In the past 30 years, fractional calculus has been developing rapidly in applications and theory. Fractional derivative has been used in many disciplines because of its nonlocal characteristics. A large number of fractional-order examples have also appeared in the fields of fluid mechanics, viscoelasticity, anomalous diffusion, control system, electrical engineering, electrochemistry, biology, etc. Many monographs [1–5] have been published. Many important research results have been obtained for the initial value problem, stability, attractiveness, boundary value problem, bifurcation, and diffusion of solutions of fractional differential equations. But compared with integer-order differential equations, there are still many questions to be studied, especially in the oscillation theory.

The research on the oscillation theory of functional differential equations has been developed during the past 40 years. There have been a lot of research results and many monographs, see [6–9]. These monographs provide very good results and methods. But for the fractional differential equations, there are few theoretical studies on the oscillation behavior, see [10–17]. This is because the functions of fractional derivatives lack good characteristics of the functions of integer-order derivative, such as monotonicity, concavity and convexity, etc. Now the oscillation theory of fractional differential equations is still in the development stage. We want to do some research work on the oscillation behavior for fractional differential equation.

In [11], the authors studied the fractional-order delay differential equations

where \(0<\alpha <1\), \(p, q, \tau >0\), \(D^{\alpha }_{-}\) is the Liouville fractional derivative on the half-axis \(\mathbb{R}^{+}\) which is defined by Definition 2.1(2) in Sect. 2. They obtained the conclusion that every solution of Eq. (**) oscillates if and only if the characteristic equation

has no negative real roots.

In this paper, we study the linear autonomous fractional-order delay differential equation

where \(0<\alpha =\frac{\text{odd integer}}{\text{odd integer}}<1\), \(p, \tau >0\), \({}^{C}D^{\alpha }_{-}\) is Caputo fractional derivative on the half-axis \(\mathbb{R}^{+}\) which is defined by Definition 2.1(3) in Sect. 2.

In [6–8], the oscillation of the first-differential equation with delay

was studied. Their conclusion was that

is a necessary and sufficient condition for the oscillations for all solutions of Eq. (1.2).

In this paper, we obtain the following theorem.

### Theorem 1.1

*Assume that Condition* (*H*) *in Sect*. 3*holds*. *Then the following statements are equivalent*:

(a) *Every solution of Eq*. (1.1) *oscillates*,

(b) \(p^{1/\alpha } \tau >\alpha /e\).

The proof of Theorem 1.1 is given in Sect. 3.

The framework of this paper is as follows. In Sect. 2, we will provide some knowledge about fractional derivative and integral on the half-axis \(\mathbb{R}^{+}\). In Sect. 3, we obtain some sufficient and necessary conditions for oscillations of linear autonomous fractional-order delay differential equations via Laplace transform. At the same time, some sufficient conditions are obtained for the oscillations of multiple delay linear fractional differential equations. In Sect. 4, several examples are given to illustrate our theorems.

### Definition 1.1

A nontrivial solution of a differential equation is said to be oscillatory if it has arbitrarily large zeros. Otherwise, it is called nonoscillatory. If a solution of a differential equation is nonoscillatory, it must be eventually positive or eventually negative.

## 2 Preliminaries

We will now provide some knowledge about fractional derivative and integral on the half-axis \(\mathbb{R}^{+}\), see [1–5].

### Definition 2.1

([4])

Let \(\alpha \in (0,1)\).

(1) Liouville fractional integral for a function *f* is defined by

where \(\Gamma (\cdot )>0\) is the gamma function, that is, \(\Gamma (\alpha )=\int _{0}^{\infty }t^{\alpha -1}e^{-t}\,dt\).

(2) Liouville fractional derivative for a function *f* is defined by

(3) Caputo fractional derivative for a function *f* is defined by

### Remark 2.1

In [4, p. 83], Liouville fractional integral \(I_{-}^{\alpha }f(t)\) and Liouville fractional derivative \(D_{-}^{\alpha }f(t)\) exist for “sufficient good” functions \(f(t)\); for example, for functions \(f(t)\) in the space \(C_{0}^{\infty }(\mathbb{R}^{+})\) of all infinitely differentiable functions on \(\mathbb{R}^{+}\) with a compact support.

### Remark 2.2

\({}^{C}D_{-}^{\alpha }f(t)=D_{-}^{\alpha }f(t)\), \(\alpha \in (0,1)\).

In fact,

### Lemma 2.1

*Let* \(\alpha \in (0,1)\), *then*

*for all “sufficient good” functions* \(f(t)\). *In particular*, *these formulas hold for* \(f(x)\in L_{1}(\mathbb{R}^{+})\).

By Remark 2.2 and Lemma 2.1, we obtain the following lemma.

### Lemma 2.2

*Let* \(\alpha \in (0,1)\), *then*

### Lemma 2.3

([4, p. 98])

*Let* \(\alpha \in (0,1)\), \(Re(\lambda )<0\), *then* \({}^{C}D_{-}^{\alpha }e^{\lambda t}=(-\lambda )^{\alpha }e^{\lambda t}\).

### Lemma 2.4

([2, p. 248])

*Let* \(\alpha \in (0,1)\), \(\beta >0\), *then*

By Remark 2.2 and Lemma 2.4, we obtain the following lemma.

### Lemma 2.5

*Let* \(\alpha \in (0,1)\), \(\beta >0\), *then*

## 3 Main theorems

Consider the linear autonomous fractional-order delay differential equation

where \(0<\alpha =\frac{\text{odd integer}}{\text{odd integer}}<1\), \(p_{i}, \tau _{i}\geq 0\) for \(i=1,2,\dots ,m\).

In this paper, we need the following Condition (H):

\((H)\) The solutions for Eqs. (1.1) and (3.1) are exponentially bounded, that is, there exist positive constants *M* and *β* such that

### Remark 3.1

The functions \(e^{-t}\) and sin*t* are exponentially bounded.

Substituting function \(x(t)=e^{st}\) (\(s<0\)) into Eq. (3.1), we get

Since \(\alpha =\frac{\text{odd integer}}{\text{odd integer}}\), we obtain that the characteristic equation of Eq. (3.1) is

### Theorem 3.1

*Assume that Condition* (*H*) *holds*. *Then the following statements are equivalent*:

(*a*) *Every solution of Eq*. (3.1) *oscillates*;

(*b*) *Equation* (3.2) *has no negative real roots*.

### Proof

(a) ⇒ (b) It is obvious that if Eq. (3.2) has a negative real root \(s_{0}\), then \(e^{s_{0}t}\) is a nonoscillatory solution of Eq. (3.1).

(b) ⇒ (a) Assume, on the contrary, that Eq. (3.1) has a positive solution \(x(t)\). By Condition \((H)\), the Laplace transform \(X(s)\) of \(x(t)\) exists and is given by

First, by taking the Laplace transform for \({}^{C}D_{-}^{\alpha }x(t)\), we get

where *A* exists by Lemma 2.2 [11], the mean value theorem for the infinite interval.

Now, taking the Laplace transforms on both sides of Eq. (3.1), we get

that is,

or

Then

where

Let

Since \(F(0)>0\), \(F(s)>0\) for \(s<0\) from condition \((b)\). Hence \(H(s)>F(s)>0\) for \(s<0\). As \(s\rightarrow -\infty \), we get a contradiction in (3.5), since \(H(s)X(s)>0\), but \(\Phi (s)<0\). □

### Proof of Theorem 1.1

The characteristic equation of Eq. (1.1) is

By Theorem 3.1, we need to prove that

From (3.6), we have

Let

Then

So, we get

The proof of Theorem 1.1 is complete. □

In the following, we obtain some sufficient conditions given explicitly in terms of the coefficients and the delays, for the oscillations of all solutions of Eq. (3.1).

### Theorem 3.2

*Assume that* \(p_{i}, \tau _{i}\geq 0\) *for* \(i=1,2,\dots , m\). *Then each of the following two conditions is sufficient for the oscillation for all solutions of Eq*. (3.1):

(*a*) \(\sum_{i=1}^{m} p_{i}\tau _{i}^{\alpha }> ( \frac{\alpha }{e} )^{\alpha }\);

(*b*) \(\prod_{i=1}^{m} p_{i}^{1/m}\tau _{i}^{\alpha /m}> (\frac{\alpha }{e} )^{\alpha }\).

### Proof

(a) For \(s<0\),

which shows that Eq. (3.2) has no negative real roots. So \(F(s)>0\) for \(s<0\), the result follows as a consequence of Theorem 3.1.

(b) By using the arithmetic–geometric mean inequality

we find that for \(s<0\),

which shows that Eq. (3.2) has no negative real roots. So \(F(s)>0\) for \(s<0\), the result follows as a consequence of Theorem 3.1. The proof Theorem 3.2 is complete. □

### Theorem 3.3

*Assume that* \(p_{i}, \tau _{i}\geq 0\) *for* \(i=1,2,\dots , m\).

(1) *If*

*holds*, *then Eq*. (3.1) *has a nonoscillatory solution*.

(2) *If*

*holds*, *then every solution of Eq*. (3.1) *oscillates*.

### Proof

(1) Let

If \(\tau =0\), \(F(s)=0\) has a real root \(s=- (\sum_{i=1}^{m} p_{i} )^{1/\alpha }\).

If \(\tau \neq 0\), we have

which shows that Eq. (3.2) has a negative real root \(s_{0}\in [-\alpha /\tau , 0)\). Then \(e^{s_{0}t}\) is a nonoscillatory solution of Eq. (3.1).

(2) The fact that (3.10) is a sufficient condition for all solutions of Eq. (3.1) to oscillate follows immediately as a corollary of condition (a) of Theorem 3.1. The proof Theorem 3.3 is complete. □

## 4 Examples

### Example 4.1

Consider the fractional differential equation without delay

where \(0<\alpha =\frac{\text{odd integer}}{\text{odd integer}}<1\), \(p>0\). Then \(x(t)=e^{-p^{1/\alpha } t}\) is a solution of Eq. (4.1).

### Example 4.2

Consider the fractional-order delay differential equation

where \(0<\alpha =\frac{\text{odd integer}}{\text{odd integer}}<1\), \(p=(\alpha /e)^{ \alpha }\), \(\tau =1\). Since \(p^{1/\alpha } \tau =\alpha /e\), by Theorem 1.1, Eq. (4.2) has nonoscillatory solutions. In fact, \(x(t)=e^{-\alpha t}\) is a nonoscillatory solution of Eq. (4.2).

### Example 4.3

Consider the fractional-order delay differential equation

where \(0<\alpha =\frac{\text{odd integer}}{\text{odd integer}}<1\), \(p=1\), \(\tau = \alpha \pi /2\). Since \(p^{1/\alpha } \tau >\alpha /e\), by Theorem 1.1, every solution of Eq. (4.3) oscillates. In fact, \(x(t)=\sin t\) is an oscillatory solution of Eq. (4.3).

## Availability of data and materials

Not applicable.

## References

Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

Smoko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Application. Gordon & Breach, New York (1993)

Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)

Györi, I., Ladas, G.: Oscillation Theory of Delay Differential Equations with Applications, Clarendon, Oxford (1991)

Gopalsamy, K.: Stability and Oscillation in Delay Differential Equations of Population Dynamics. Kluwer Academic, Boston (1992)

Zheng, Z.: Theory of Functional Differential Equations. Anhui Education Press, China (1992) (in Chinese)

Kuang, Y.: Delay Differential Equations with Applications in Population Dynamics. Mathematics in Science and Engineering, vol. 191. Academic Press, San Diego (1993)

Bolat, Y.: On the oscillation of fractional-order delay differential equations with constant coefficients. Commun. Nonlinear Sci. Numer. Simul.

**19**, 3988–3993 (2014)Wang, Y., Han, Z.: Comment on “On the oscillation of fractional-order delay differential equations with constant coefficients” [Commun. Nonlinear Sci. 19(11) (2014) 3988-3993]. Commun. Nonlinear Sci. Numer. Simul.

**26**, 195–200 (2015)Prakash, P., Harikrishnan, S., Nieto, J.J., Kim, J.-H.: Oscillation of a time fractional partial differential equation. Electron. J. Qual. Theory Differ. Equ.

**2014**, 15, 1–10 (2014)Grace, S., Agarwal, R., Wong, P., et al.: On the oscillation of fractional differential equations. Fract. Calc. Appl. Anal.

**15**, 222–231 (2012)Zhou, Y., Ahmad, B., Chen, F., Alsaedi, A.: Oscillation for fractional partial differential equations. Bull. Malays. Math. Soc.

**42**, 449–465 (2019)Zhu, P., Xiang, Q.: Oscillation criteria for a class of fractional delay differential equations. Adv. Differ. Equ.

**2018**, 403 (2018)Abdalla, B., Abdeljawad, T.: On the oscillation of Hadamard fractional differential equations. Adv. Differ. Equ.

**2018**, 409 (2018)Alzabut, J.O., Abdeljawad, T.: Sufficient conditions for the oscillation of nonlinear fractional difference equations. J. Fract. Calc. Appl.

**5**(1), 177–187 (2014)

## Acknowledgements

The authors thank the anonymous referees for their valuable suggestions and comments.

## Funding

Research supported by Shanxi Key Laboratory of Mathematical Techniques and Big Data Analysis on Disease Control and Prevention (No. 201705D111006), National Natural Science Foundation of China (No. A011403) and Shanxi Natural Science Foundation (No. 201901D111009).

## Author information

### Authors and Affiliations

### Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Ethics approval and consent to participate

Not applicable.

### Competing interests

The authors declare that they have no competing interests.

### Consent for publication

Not applicable.

## Additional information

### Abbreviations

Not applicable.

## 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

Meng, Q., Jin, Z. & Liu, G. Sufficient and necessary conditions for oscillation of linear fractional-order delay differential equations.
*Adv Differ Equ* **2021**, 89 (2021). https://doi.org/10.1186/s13662-021-03223-0

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-021-03223-0