Research Article  Open Access
The Oscillation of a Class of the FractionalOrder Delay Differential Equations
Abstract
Several oscillation results are proposed including necessary and sufficient conditions for the oscillation of fractionalorder delay differential equations with constant coefficients, the sufficient or necessary and sufficient conditions for the oscillation of fractionalorder delay differential equations by analysis method, and the sufficient or necessary and sufficient conditions for the oscillation of delay partial differential equation with three different boundary conditions. For this, αexponential function which is a kind of functions that play the same role of the classical exponential functions of fractionalorder derivatives is used.
1. Introduction
For the past three centuries, fractional calculus has been dealt with by mathematicians. In the recent decades, it is widely used in the fields of engineering, science, and economy. Recently, fractional differential systems have gained scholar’s attention [1–3]. Many researchers demonstrated applications of fractional calculus in the frequency dependent damping behavior of many viscoelastic materials, dynamics of interfaces between nanoparticles and substrates, the nonlinear oscillation of earthquakes, bioengineering, continuum and statistical mechanics, signal processing, filter design, circuit theory, and robotics. In some practical systems, such as economic systems, biological systems, and spacelight industry systems, due to the transmission of the signal or the mechanical transmission, the research on fractional differential systems with delay is desired.
In [2], the authors described the application of the background and significance of the differential delay equations oscillation and fractional differential equations. The delay differential equation is different from ordinary differential equations. Moreover, compared with the periodic solution, oscillatory solution has more extensive application prospect and theory value in terms of the general solution of equation. In this paper, the necessary or sufficient conditions for the oscillation of several fractionalorder delay differential equations are analyzed and discussed. Some oscillation results are proposed for the fractionalorder linear delay differential equation as follows: where . Some oscillation results are also given for the delay parabolic differential equation as follows:
For the purpose, known methods are expanded for our results.
2. Preliminaries
We first give some definitions and make some preliminaries. The fractionalorder derivative can be defined in different ways, wherein RiemannLiouville’s definition and Caputo’s definition are two main expressions as follows.
Definition 1. RiemannLiouville’s fractional order derivative [3, 4] is defined by
where is the Gamma function.
Caputo’s fractional order derivative is defined by
Definition 2. exponential function is as follows [2]:
where satisfies the differential equation , .
The derivative has the property of
MittagLefflerfunction [3, 4] can be defined by
The first order delay differential equation including fractionalorder derivative [2] is expressed by
where , . Since is a positive rational number, let satisfy . The expression for (1) with constant coefficients is given by
where
Equation (10) is the characteristic polynomial of (8). The contribution in [2] is considered.
Lemma 3. The following statements are equivalent. (1)Every solution of (8) oscillates.(2)The characteristic equation (10) has no real roots.
In this paper, the main results are derived from the application of the basic theory in [2]. The oscillation or nonoscillation of solutions for several fractionalorder delay differential equations can be obtained based on these main results.
3. Main Result
3.1. The FractionalOrder Delay Differential Equation with Constant Coefficients
The general form of the fractionalorder linear delay differential equation is
Since , the characteristic polynomial of (11) is as follows:
The detailed derivation can be found in Appendices A, B, and C. Using Lemma 3, we have the necessary and sufficient conditions for oscillation of all solutions of (11) as follows.
Corollary 4. The following statements are equivalent.(1)Every solution of (11) oscillates.(2)The characteristic equation (12) has no real roots.
In order to use Corollary 4 more effectively, Theorem 6 is proposed. Before presenting the theorem, the function is given (see Appendices A, B, and C for details), and the maximum of is as follows:
Lemma 5. (1)If or , (12) has a real root.(2)If , (12) has not a real root.
Proof. (1) If , it is obvious that (12) has a real root.
As , from the characteristic equation (12),
So or , and (12) has a real root.
(2) In the same way, we get , and (12) has not a real root.
Theorem 6. (1)If or , the solution of (11) is nonoscillatory.(2)If , the solution of (11) is oscillatory.
Proof. The equation has a solution , if and only if is a root of characteristic of equation . Using the conditions for (11), we have the following.(1)If or , (12) has a real root, and the solution of (11) is nonoscillatory.(2)If , (12) does not have a real root, and the solution is oscillatory. So we can obtain , and the solutions of (11) are oscillatory. Therefore, the proof of the theorem can be completed.
Example 7. We consider delay differential equation with fractionalorder derivatives
All the conditions of Theorem 6 are satisfied. Fractional derivative of some special functions is as . Thus, all the solutions of (15) are oscillatory. One of such solutions is .
We consider the following fractionalorder linear delay differential equation:
: , .
Theorem 8. Assume that holds, and are satisfied. Every solution of the delay differential equation (17) oscillates.
Proof. We may assume that (17) has eventually positive solution. Then, there exists , and if , , , and .
We consider the eventually positive solution of the following inequality:
Assume the inequality (18) has a solution :
If , the inequality does not have a real root. That means every solution of the inequality (18) is oscillatory. Thus, if , every solution of the delay differential equation (17) oscillates.
3.2. The FractionalOrder Delay Differential Equation with Oscillating Coefficients
We consider oscillation of solutions of the fractionalorder delay differential equation with oscillating coefficients:
Let . If is sufficiently large,
We have the sufficient conditions for oscillation of all solutions of (20) as follows.
Theorem 9. If is sufficiently large, . Then, the solution of (20) is oscillatory.
Proof. Assume that (20) has eventually positive solution. If there exists such that , then , ,
Similar to the proof process of Theorem 8, every solution of the inequality (24) is oscillatory due to . Thus, the inequality (24) does not have eventually positive solution. Therefore, if is sufficiently large, , and every solution of (20) is oscillatory. The proof of the theorem is complete.
We consider the following fractionalorder linear delay differential equations:
Their characteristic equations are expressed by (27) and (28), respectively: where , , , , , are nonnegative constants.
Based on Lemma 3, the statements are equivalent for oscillation of all solutions of (25) and (26) as follows.
Corollary 10. The following statements are equivalent.(1)Every solution of (25) and (26) oscillates.(2)The characteristic equations of (27) and (28) have no real roots.
4. The FractionalOrder Delay Partial Differential Equation
To research the oscillation properties of solutions for delay partial differential equations, we consider the delay parabolic differential equations [5]: where . is the bounded region with piecewise smooth in .
The hypotheses are always true as follows. , and is a nonnegative constant. are nonnegative constants.
Consider the boundary conditions as follows: where is the unit exterior normal vector in .
If there are no special instructions in this section, we only discuss the oscillation of solutions of the fractionalorder delay partial differential equation with respect to time variable .
Theorem 11. Assume that and hold, and is satisfied.(1)As or , the solution of (29) and is nonoscillatory.(2)As , the solution of (29) and is oscillatory.
Proof. Let . Equation (29) on both sides of the integral of in is expressed by
By using Green’s formula and boundary conditions ,
Let . Substituting (30) with (31),
Based on Corollary 10, (1) and (2) in Theorem 14 are proved.
Example 12. Consider the parabolic equation:
Because of , all the conditions in Theorem 11 (1) are satisfied. By using Theorem 11, every solution of (33), with
oscillates in . One of such solutions is .
For the more general equation of (29) with coefficients,
There are the boundary conditions as follows: where is the unit exterior normal vector in .
Assume that , , , are nonnegative constants.
Some sufficient conditions for oscillation of all solutions of (35) with and are established in Theorem 15. Before presenting the theorem, the lemma is given as follows.
Lemma 13. For the Dirichlet problem, where is a constant. The smallest eigenvalue of problem (36) is positive, and the corresponding eigenfunction is also positive on [5]. With each solution of problem (35) with the boundary condition , the function is defined as
Theorem 14. Assume that and hold, and is satisfied. Every solution of the delay differential equation (26) with several coefficients oscillates. Then, every solution of (35) oscillates.
Proof. Let . If we multiply both sides of (35) by and integrate in , we obtain
where , which satisfies Lemma 13.
By using Green’s formula and boundary condition , we obtain
where is the surface element on . Substituting with (37), we obtain
Based on Corollary 10, the proof of the theorem can be immediately completed. Let be defined as , , where denotes a solution of problem (35) with the boundary condition or . Then, we obtain
Theorem 15. Assume that hold and is satisfied. Every solution of the delay differential equation with several coefficients (25) oscillates. Then, every solution of (35) with the boundary condition oscillates.
Proof. Let on the be the definite integral in . Assume that (35) with the boundary condition has a nonoscillatory solution and (35) has an eventually positive solution:
By using Green’s formula and boundary condition , we obtain
where is the surface element on .
Let () be substituted into (42). We obtain
The detail of the proof process is similar to the proof process of Theorem 15.
Theorem 16. Assume that and hold and is satisfied. Every solution of the delay differential equation with the coefficients (25) oscillates. Then, every solution of (35) with the boundary condition oscillates.
Proof. Let on the be the definite integral in . For the sake of contradiction, assume that (35) with the boundary condition has a nonoscillatory solution and (35) with the boundary condition has an eventually positive solution:
By using Green’s formula and boundary condition , we obtain
where is the surface element on . Let () be substituted into (45). We obtain
The detail of the proof process is similar to the proof process of Theorem 15.
The delay parabolic differential equations are expressed by
Consider the boundary conditions, as shown in where is the unit exterior normal vector in . are nonnegative constants. , ; ; where is a nonnegative constant. , and , .
Theorem 17. Assume that , , and hold and is satisfied. If , the solution of (48) with the boundary condition is oscillatory.
Proof. Let . Assume that (48) with the boundary condition has no oscillation solutions, and (48) has eventually positive solution. If there exists such that , then , , . If is satisfied, (48) can be transformed into the inequality as follows:
The inequality (49) on both sides of the integral of in is expressed by
By using Green’s formula and boundary conditions , we obtain
Substituting (50) with (51) and , we obtain
By using Theorem 9, the proof of the theorem can be completed.
Appendices
A. Maximum of
Figure 1 illustrates the curves of the function with different . From bottom to top, , , , , , and 1, respectively. From Figure 1, it can be observed that there exists such that . In detail, the values of with different are reported in Table 1. is the maximum for a fixed in Table 1.

B. Supplementary Comment of
The curves of function and () are showed in Figure 2. The function is a supplementary comment of the maximum value of . From top to bottom, , , , , , and , respectively.
C. The Characteristic Equation
The Laplace transforms for two fractional derivatives with [6] are expressed as follows:
The fractional Laplace transform [2] is . There exist and such that . By taking the Laplace transforms on both sides of (11), where . denotes the abscissa of convergence of ; that is, .
In the most general form , we can obtain and . and are both entire functions. Assume for all real . can be expressed as , . Therefore, is the characteristic polynomial of (11).
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The authors thank Mr. Weisheng Xu for useful discussions on the proof process in the paper.
References
 J. Wei, “The constant variation formulae for singular fractional differential systems with delay,” Computers & Mathematics with Applications, vol. 59, no. 3, pp. 1184–1190, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 Y. Bolat, “On the oscillation of fractionalorder delay differential equations with constant coefficients,” Communications in Nonlinear Science and Numerical Simulation, vol. 19, no. 11, pp. 3988–3993, 2014. View at: Publisher Site  Google Scholar  MathSciNet
 A. Arikoglu and I. Ozkol, “Solution of fractional differential equations by using differential transform method,” Chaos, Solitons and Fractals, vol. 34, no. 5, pp. 1473–1481, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. J. Trujillo, M. Rivero, and B. Bonilla, “On a RiemannLiouville generalized Taylor's formula,” Journal of Mathematical Analysis and Applications, vol. 231, no. 1, pp. 255–265, 1999. View at: Publisher Site  Google Scholar  MathSciNet
 I. Kubiaczyk and S. H. Saker, “Oscillation of delay parabolic differential equations with several coefficients,” Journal of Computational and Applied Mathematics, vol. 147, no. 2, pp. 263–275, 2002. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 M. S. Tavazoei and M. Haeri, “Chaotic attractors in incommensurate fractional order systems,” Physica D, vol. 237, no. 20, pp. 2628–2637, 2008. View at: Publisher Site  Google Scholar  MathSciNet
Copyright
Copyright © 2014 Qianli Lu and Feng Cen. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.