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

This paper studies the linear fractional-order delay differential equation *D−αCx(t)−px(t−τ)=0,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {}^{C}D^{\alpha }_{-}x(t)-px(t-\tau )= 0, $$\end{document} where 0<α=odd integerodd integer<1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$0<\alpha =\frac{\text{odd integer}}{\text{odd integer}}<1$\end{document}, p,τ>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$p, \tau >0$\end{document}, D−αCx(t)=−Γ−1(1−α)∫t∞(s−t)−αx′(s)ds\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${}^{C}D_{-}^{\alpha }x(t)=-\Gamma ^{-1}(1-\alpha )\int _{t}^{\infty }(s-t)^{- \alpha }x'(s)\,ds$\end{document}. We obtain the conclusion that p1/ατ>α/e\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ p^{1/\alpha } \tau >\alpha /e $$\end{document} 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.


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][2][3][4][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][7][8][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][11][12][13][14][15][16][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 equationṡ where 0 < α < 1, p, q, τ > 0, D α is the Liouville fractional derivative on the half-axis 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 < α = odd integer odd integer < 1, p, τ > 0, C D α is Caputo fractional derivative on the half-axis R + which is defined by Definition 2.1(3) in Sect. 2.
In [6][7][8], the oscillation of the first-differential equation with delay 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 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 ([6-8])
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.
(1) Liouville fractional integral for a function f is defined by (2) Liouville fractional derivative for a function f is defined by (3) Caputo fractional derivative for a function f is defined by and Liouville fractional derivative D α f (t) exist for "sufficient good" functions f (t); for example, for functions f (t) in the space C ∞ 0 (R + ) of all infinitely differentiable functions on R + with a compact support.
for all "sufficient good" functions f (t). In particular, these formulas hold for f (x) ∈ L 1 (R + ).
By Remark 2.2 and Lemma 2.1, we obtain the following lemma.

Main theorems
Consider the linear autonomous fractional-order delay differential equation where 0 < α = odd integer odd integer < 1, p i , τ i ≥ 0 for i = 1, 2, . . . , m. In this paper, we need the following Condition

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 α 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 where Since By Theorem 3.1, we need to prove that From (3.6), we have Let h(λ) = -1 + pe λτ λ α , for λ > 0. Then So, we get (3.8) 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 , τ i ≥ 0 for i = 1, 2, . . . , m. Then each of the following two conditions is sufficient for the oscillation for all solutions of Eq. (3.1): 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. If τ = 0, we have which shows that Eq.