 Research
 Open access
 Published:
Periodicity and positivity of a class of fractional differential equations
SpringerPlus volumeÂ 5, ArticleÂ number:Â 824 (2016)
Abstract
Fractional differential equations have been discussed in this study. We utilize the Riemannâ€“Liouville fractional calculus to implement it within the generalization of the well known class of differential equations. The Rayleigh differential equation has been generalized of fractional second order. The existence of periodic and positive outcome is established in a new method. The solution is described in a fractional periodic Sobolev space. Positivity of outcomes is considered under certain requirements. We develop and extend some recent works. An example is constructed.
Background
Fractional calculus is the important branch of mathematical analysis field, it covenants with the requests and exploration of derivatives and integrals of random order. The fractional calculus is deliberated an old and yet original study. It has been planned a long time ago, beginning from some conjectures of Leibniz (1695, 1697) and Euler (1730), selected investigators have been established it up to nowadays. In latest years, fractional calculus has been encouraged through the presentations that discovers in numerical analysis and diverse grounds of engineering and physics, possibly including fractal phenomena (Gorenflo and Mainardi 2008).
Fractional calculus has been developed significantly within the historical three decades for the reason that its applicability in various branches of science, engineering and social. The philosophies of fractional calculus may be sketched back to the Eulerâ€™s works of, but the indication of fractional difference is very currently (Yang 2012). At the present time, a mounting number of effort by many investigators from various fields of engineering and science deal with dynamical systems designated by fractional partial differential equations. Outstanding to the extensive applications of Fractional differential equations (FDEs) in engineering and science, this capacity of investigation has developed meaningfully all around the world (Yang 2015).
Fractional differential equations (FDEs) are generalizations of the class of ordinary differential equations (ODEs) for a random (noninteger) order. FDEs have expanded desirability and substantial interests due to their ability to simulate a complex phenomena. These equations capture nonlocal relations in space and time with powerlaw memory kernels (Liu 2010). In this effort, we shall deal with (generalize and extend) special class of differential equations of arbitrary order. The British mathematical physicist Lord Rayleigh introduced an equation of the form (Strutt 1877)
to model a clarinet reed oscillation; which is showed by Wang and Zhang (2009). This equation was named after Lord Rayleigh, who studied equations of this type in relation to problems in acoustics. In the years of 1977 and 1985 respectively, Gaines and Mawhin (1977) have been imposed some continuation theorems and employed them to demonstrate the existence of periodic solutions to ordinary differential equations (ODEs). A specific example was given in Yang (2015,Â p.Â 99) to introduce, how Tperiodic solutions can be obtained by using the established theorems for the differential equation of the form
Newly, investigators discussed the existence of periodic solutions to Rayleigh equations and extended Rayleigh equations by considering or ignoring the concept of delay. Various new results concerning the existence of periodic solutions to the mentioned equations have been presented.
Wang and Yan (2000) established the existence of periodic solutions of the nonautonomous Rayleigh equation of the type:
Zhou and Tang (2007) have studied the existence of periodic solutions for a kind of nonautonomous Rayleigh equations of retarded type:
Wang and Zhang (2009) investigated the following Rayleigh type equation:
In this study, we consider a Rayleightype equation with statedependent delay of the form
and its conducive formal
where
\(\varphi\) and \(\vartheta\) are \(2\pi\)periodic in \(t,\varphi (t,0)=\vartheta (t,0)= 0\) for \(t \in \mathbb {R} , \Psi , p \in C(\mathbb {R},\mathbb {R}),\varepsilon , \, p\) are \(2\pi\)periodic in t, such that p has the property:
and \(D^{\mu }\) is the Riemannâ€“Liouville fractional differential operator.
We have imposed two contributed theorems on the existence of periodic solutions of Eq. (1). Our main aim is to generalize, modify and extend the outcomes of the works given in Wang and Yan (2000), Zhou and Tang (2007), TunĂ§ (2014). In addition, this effort is a contribution to the subject in the literature and it may be useful for researchers who work on the qualitative behaviors of solutions. Positivity of solutions is investigated under some requests. Our method is based on the idea of the continuation partition theorem of degree theory. Applications are illustrated in the sequel.
Setting
In this paper, we need the following setting. For the sake of convenience, let
that is, the Sobolev space \(W^{k,p}(J)\) is defined as
with the order of the Sobolev space \((W^{k,p}(J)) k \in \mathbb {N}.\)
In the sequel, we assume that \(k=1.\) Hence, we deal with the fractional periodic Sobolev space of a continuous integrable function \(u(t), \, t \in [0,2 \pi ]\)
Note that the above space is formulated as a Banach space.
Definition 1
Let \(\mathcal {X}, \Vert .\Vert\) be a Banach space. Then \(\phi : \mathbb {R} \rightarrow \mathcal {X}\) is called periodic if \(\phi\) is continuous, and for each \(\varepsilon {>} 0\) such that for a number t with the property that
for each \(t \in \mathbb {R}.\)
Fractional order integral and differentiation were obtained by Leibniz. To analyze phenomena having singularities of type \(t^{\mu }\), the concept of fractional calculus is utilized. The fractional order operator is a nonlocal operator. Due to this property, fractional calculus is employed to study memories of Brownian motion, which is thought to be beneficial in mathematical sciences.
Definition 2
The Riemannâ€“Liouville fractional integral defined as follows:
where \(\Gamma\) denotes the Gamma function (see Podlubny 1999; Kilbas etÂ al. 2006; Tarasov 2010).
Definition 3
The Riemannâ€“Liouville fractional derivative defined as follows:
The periodicity of the class of fractional differential equations is studied in various spaces, Agarwal et al. studied the periodicity of various classes of fractional differential equations by assuming the mild solution (Agarwal etÂ al. 2010), Ibrahim and Jahangiri (2015) imposed a periodicity method by applying some special transforms for fractional differential equations, and recently, Rakkiyappan etÂ al. (2016) introduced the periodicity by utilizing fractional neural network model. Extra studies in fractional calculus can be located in Khorshidi etÂ al. (2015).
Results
The subsequent Lemma plays a key function for showing the periodicity of Eq. (1). In the sequel, we assume that \(u \in \mathbf {W}:= W^{1,p}([0,2 \pi ]).\)
Lemma 1
Suppose that u(t) is a continuous and differentiable Tperiodic function with \(T<\infty .\) Then there exists \(t_\bullet \in [0,T]\) such that
Proof
Let \(\overline{t} \in [ t_{\bullet } , t_{\bullet } + T ]\) such that \(u(\overline{t} ) = max_{t \in [t_\bullet , t_\bullet + T ]} \vert u(t) \vert .\) Then
together with the estimate
From the above two inequalities and the Definition 3., we obtain that
Hence, we complete the proof.
Lemma 1 shows the boundedness of the fractional differential operator by the norm of fractional space. This result allows us to investigate the periodicity of the solutions. If the differential equation satisfies the initial condition \(u(t_\bullet )=0,\) then, we can attain
We have the following main results:
Theorem 1
Suppose that there exist constants, with the validity
such that the following conditions hold:

(H1)
\(\,\vert \Psi (u) \vert \le \Upsilon _{1}\) for all \(u \in \mathbb {R};\)

(H2)
Â \(\vert \varphi (t,u) \vert \le \Upsilon _{1} \vert u \vert + \kappa\) for all \((t ,u) \in J\times \mathbb {R};\)

(H3)

\(u \vartheta (t ,u (t\varepsilon (t,u ))) {>} 0;\)

Â \(\vert \vartheta (t , u (t  \varepsilon (t, u)))\vert {>} \eta _{1} \vert u \vert + \kappa\) for all \(t \in J , \vert u \vert {>} d ;\)


(H4)
Â \(\vartheta (t ,u (t\varepsilon (t,u ))) {>} \eta _{2} u  m\) for all \(t \in J, u \le d .\)
If
then Eq. (1) has at least one \(2 \pi\)periodic solution.
Proof
We reconsider the auxiliary equation, Eq. (2). Let \(u(t)\in \mathbf {W}\) be any \(2 \pi \)periodic solution of Eq. (2). Then, integrating both sides of Eq. (2) from 0 to \(2 \pi\), we get
Thus, it yields that there exists a value \(t_1\in [ 0,2 \pi ]\) such that
We admit that there exists a \(\overline{t} \in [ 0,2 \pi ]\) such that
Case 1. Let \(\eta _{1} = 0\). Then
From the last conclusion and (5), we obtain
The last assertion alongside with the hypotheses
leads to the inequality
Case 2. Let \(\eta _{1} {>} 0\). If \(\vert u (t_{1}  \varepsilon (t_{1} , u (t_{1} ))) \vert {>} d ,\) then it arrives at the conclusion of (5) and the hypotheses (H2) and (H3),
From the above inequality, we conclude that
We note that u(t) is periodic and there exists a \(\overline{t} \in [ 0,2 \pi ]\) such that
holds. Using Lemma 1, for all \(\overline{t} \in ( 0, \infty ),\) we have
Hence, for all \(t_{\bullet } \in [0 , \infty ),\) we obtain
Because of \(u(0)=u( 2 \pi )\), then it follows from the meanvalue theorem for the Riemannâ€“Liouville fractional derivative (see Abramovich etÂ al. 2010) that there exists \(t_{\bullet }:= \varrho \in [ 0,2 \pi )\) such that \(D^\mu u(\varrho )=0.\) Thus, we have
Let
and
In virtue of the Eq. (4), we conclude that
Consequently, we attain
where
By the inequality
one can calculate that
This completes the proof of Theorem 1.
Theorem 1 shows that the solution is bounded by its fractional derivative in a fractional space. Therefore, Lemma 1 and Theorem 1 imply the periodicity of the solution in a bounded domain. Our next result illustrates different types of assumptions to get the periodicity and positivity of Eq. (2) and hence Eq. (1).
Theorem 2
Assume that there exist constants
such that the following conditions hold:

(H1)
Â \(\vert \Psi (u) \vert \le \Upsilon _{2}\) for all \(u \in \mathbb {R} ,\)

(H2)
Â \(\vert \varphi (t,u) \vert \le \Upsilon _{2} u + \kappa\) for all \((t ,u) \in J \times \mathbb {R} ,\)

(H3)
Â

Â \(u \vartheta (t ,u (t\varepsilon (t,u ))) {>} 0;\) this implies that \(\vartheta {>} 0\)

Â \(\vartheta (t , u (t  \varepsilon (t, u))) {>} \eta _{1} u + \kappa\) for all \(t \in J , u {>} d ,\)


(H4)
Â \(\vartheta (t ,u (t\varepsilon (t,u ))) {>} \eta _{2} u  m\) for all \(t \in J , u \ge d .\)
If
then Eq. (1) has at least one \(2 \pi\)periodic solution.
Proof
We again consider the auxiliary equation, Eq. (2). Let u(t) be any \(2 \pi \)periodic solution of Eq. (2). By the hypothesis (H3) and (H4), we conclude that there exists \(t_\bullet \in J\) and a positive constant \(d_\bullet ,\) such that
In this case, we define the following sets:
and
A calculation implies that
Moreover, we have
By the inequality
one can have
This completes the proof of Theorem 2.
It is clear that the solution in Theorem 2 is positive as well as periodic.
Remark 1
When \(\mu =1, \, \Psi (u)\equiv 0\) and \(\varepsilon (t, u (t)) \equiv \varepsilon (t),\) (constant) and \(\eta _{1} = \eta _{2} = 0,\) then the conditions of Theorems 1 and Theorem 2 reduce to the outcomes in Zhou and Tang (2007), (see Theorems 2.1, 2.2), respectively. Therefore, our results generalize and improve the corresponding results in Zhou and Tang (2007).
Remark 2
When Â \(\mu =1,\, \Psi (u)\equiv 0\) and \(\varepsilon (t, u (t)) \equiv \varepsilon (t),\) then the conditions of Theorem 1 and Theorem 2 yield the outcomes in Wang and Yan (2000) Â (see Theorems 2.1, 2.2), respectively. Therefore, our results generalize and improve the results in Wang and Yan (2000).
Remark 3
WhenÂ \(\mu =1,\) we obtain the result that given in TunĂ§ (2014).
Example 1
Suppose the equation
where
such that
Subjected to the initial condition
Thus, we have \(\Psi  = \frac{1}{\ell } : = \Upsilon _1, \, \varphi  \le \Upsilon _1 u, \, \vartheta (t,u)\in [0,4 \pi ]\) for \(\, t \in [0,2 \pi ]\) with \(\eta _1=1, \eta _2=0\) and \(m=0.\) Consequently the condition of Theorem 1 is satisfied i.e \(\frac{1}{\ell } 2 \pi 1.\) Hence, Eq. (6) has a periodic solution. Note that for \(\mu =1,\) the equation has the exact solution takes the form
Moreover, when \(\ell =5\) and \(\varepsilon (t,u)=t,\) we have a result given in Nemati etÂ al. (2014).
Conclusions
In general, we know that the Riemannâ€“Liouville fractional operator is not periodic. In this effort, we introduced a construction to get the periodicity of some classes of fractional differential equations. A Rayleightype equation with statedependent delay was considered in this occasion. The existence of periodic solutions to this equation was investigated. We utilized Riemannâ€“Liouville fractional derivatives during the generalization, we obtained sufficient conditions for the existence of periodic solutions. Moreover, we have extended and improved some results from the recent literatures.
References
Abramovich S, Farid G, Pecaric J, Dragomir SS (2010) More about HermiteHadamard inequalities, Cauchyâ€™s means, and superquadracity. J Inequal Appl 2010:16
Agarwal R, Andrade B, Cuevas C (2010) On type of periodicity and ergodicity to a class of fractional order differential equations. Adv Diff Equ 2010(1):1â€“25
Gaines RE, Mawhin JL (1977) Coincidence degree, and nonlinear differential equations
Gorenflo R, Mainardi F (2008) Fractional calculus: integral and differential equations of fractional order. arXiv preprint arXiv:0805.3823
Ibrahim RW, Jahangiri JM (2015) Existence of fractional differential chains and factorizations based on transformations. Math Methods Appl Sci 38(12):2630â€“2635
Khorshidi M, Nadjafikhah M, Jafari H (2015) Fractional derivative generalization of Noethers theorem. Open Math 13(1)
Kilbas A Anatolii Aleksandrovich, Srivastava Hari Mohan, Trujillo Juan J (2006) Theory and applications of fractional differential equations, vol 204. Elsevier Science Limited, Amsterdam
Liu Fawang et al (2010) Fractional differential equations. Int J Differ Equ 2010:1â€“2
Nemati K, Shamsuddin SM, Darus M (2014) An optimization technique based on imperialist competition algorithm to measurement of error for solving initial and boundary value problems. Measurement 48:96â€“108
Podlubny I (1999) Fractional differential equations. Academic Press, San Diego
Rakkiyappan R, Sivaranjani R, Velmurugan G, Cao J (2016) Analysis of global \(O (t a)\) stability and global asymptotical periodicity for a class of fractionalorder complexvalued neural networks with time varying delays. Neural Netw
Strutt JW (1877) [Lord Rayleigh] Theory of sound, 1, Dover Publications, New York (reissued 1945)
Tarasov V (2010) Fractional dynamics: applications of fractional calculus to dynamics of particles, fields and media. Springer, New York
TunĂ§ C (2014) New results on the existence of periodic solutions for Rayleigh equation with statedependent delay. J Math Fundam Sci 45(2):154â€“162
Wang G, Yan J (2000) On existence of periodic solutions of the Rayleigh equation of retarded type. Int J Math Math Sci 23(1):65â€“68
Wang Y, Zhang L (2009) Existence of asymptotically stable periodic solutions of a Rayleigh type equation. Nonlinear Anal Theory Methods Appl 71(5):1728â€“1735
Yang XJ (2012) Advanced local fractional calculus and its applications. World Science, New York
Yang XJ et al (2015) Local fractional integral transforms and their applications. Elsevier, Amsterdam
Zhou Y, Tang X (2007) On existence of periodic solutions of Rayleigh equation of retarded type. J Comput Appl Math 203(1):1â€“5
Authors' contributions
All the authors jointly worked on deriving the results and approved the final manuscript. There is no conflict of interests regarding the publication of this article. All authors read and approved the final manuscript.
Acknowlegements
The authors would like to thank the referees for giving useful suggestions for improving the work.
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
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.
About this article
Cite this article
Ibrahim, R.W., Ahmad, M.Z. & Mohammed, M.J. Periodicity and positivity of a class of fractional differential equations. SpringerPlus 5, 824 (2016). https://doi.org/10.1186/s400640162386z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s400640162386z