 Research
 Open Access
 Published:
Oscillation of solutions for certain fractional partial differential equations
Advances in Difference Equations volume 2016, Article number: 16 (2016)
Abstract
In this paper, sufficient conditions are established for the forced oscillation of fractional partial differential equations of the form
with one of the two following boundary conditions:
where Ω is a bounded domain in \(\mathbb{R}^{n}\) with a piecewise smooth boundary ∂Ω, \(\mathbb{R}_{+}=[0,\infty)\), \(\alpha\in(0,1)\) is a constant, \(D_{+,t}^{\alpha}u(x,t)\) is the RiemannLiouville fractional derivative of order α of u with respect to t, Δ is the Laplacian in \(\mathbb{R}^{n}\), N is the unit exterior normal vector to ∂Ω and \(\psi(x,t)\) is a continuous function on \(\partial\Omega\times\mathbb{R}_{+}\). The main results are illustrated by two examples.
Introduction
The fractional calculus may be considered an old and yet novel topic. On 30 September 1695, Leibniz wrote a letter to L’Hôspital to discuss the meaning of the derivative of order \(\frac{1}{2}\) [1]. After that in pure mathematics field the foundation of the fractional differential equations had been established. At the same time, many researchers found that the fractional differential equations play increasingly important roles in the modeling of engineering and science problems. It has been established that, in many situations, these models provide more suitable results than analogous models with integer derivatives. In the past few years, the fractional calculus and the theory of fractional differential equations have been investigated extensively. For example, see [2–22] and the references cited therein.
In recent years, the research on the oscillatory behavior of solutions of fractional differential equation has been a hot topic and some results have been established. For example, see [11–19]. However, to the best of the author’s knowledge, very little is known regarding the oscillatory behavior of fractional partial differential equations which involve the RiemannLiouville fractional partial derivative up to now [20–22].
In [20], Prakash et al. investigated the oscillation of the fractional partial differential equation
In [21], Harikrishnan et al. studied the oscillatory behavior of the fractional partial differential equation of the form
In [22], Prakash et al. established the oscillation of a nonlinear fractional partial differential equation with damping and forced term of the form
Formulation of the problems
Our aim in this paper is to study the forced oscillation of fractional partial differential equations of the form
where Ω is a bounded domain in \(\mathbb{R}^{n}\) with a piecewise smooth boundary ∂Ω, \(\mathbb{R}_{+}=[0,\infty)\), \(\alpha\in(0,1)\) is a constant, \(D_{+,t}^{\alpha}u(x,t)\) is the RiemannLiouville fractional derivative of order α of u with respect to t, and Δ is the Laplacian in \(\mathbb{R}^{n}\).
Throughout this paper, we assume that the following conditions hold:

(A1)
\(a\in C(\mathbb{R}_{+};(0,\infty))\);

(A2)
\(m\in C(\overline{G}\times\mathbb{R};\mathbb{R})\), and
$$m(x,t,\xi) \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \geq0,&\mbox{if } \xi\in(0,\infty),\\ \leq0,& \mbox{if } \xi\in(\infty,0); \end{array}\displaystyle \right . $$ 
(A3)
\(f\in C(\overline{G};\mathbb{R})\).
Consider one of the two following boundary conditions:
or
where N is the unit exterior normal vector to ∂Ω and \(\psi(x,t)\) is a continuous function on \(\partial\Omega\times\mathbb{R}_{+}\).
By a solution of the problem (1)(2) (or (1)(3)) we mean a function \(u(x,t)\) which satisfies (1) on G̅ and the boundary condition (2) (or (3)).
A solution \(u(x,t)\) of the problem (1)(2) (or (1)(3)) is said to be oscillatory in G if it is neither eventually positive nor eventually negative, otherwise it is nonoscillatory.
Definition 2.1
The RiemannLiouville fractional integral of order \(\alpha> 0\) of a function \(y: \mathbb{R}_{+} \rightarrow R \) on the halfaxis \(\mathbb{R}_{+}\) is given by
provided the right hand side is pointwise defined on \(\mathbb{R}_{+}\), where Γ is the Gamma function.
Definition 2.2
The RiemannLiouville fractional derivative of order \(\alpha> 0 \) of a function \(y:\mathbb{R}_{+}\rightarrow R\) on the halfaxis \(\mathbb{R}_{+}\) is given by
provided the right hand side is pointwise defined on \(\mathbb{R}_{+}\), where \(\lceil\alpha\rceil\) is the ceiling function of α.
Definition 2.3
The RiemannLiouville fractional partial derivative of order \(0 <\alpha< 1\) with respect to t of a function \(u(x, t)\) is given by
provided the right hand side is pointwise defined on \(\mathbb{R}_{+}\).
Lemma 2.1
[20]
Let
Then \(E^{\prime}(t)=\Gamma(1\alpha)D_{+}^{\alpha}y(t)\).
Main results
First, we introduce the following fact [23]:
The smallest eigenvalue \(\beta_{0}\) of the Dirichlet problem
is positive and the corresponding eigenfunction \(\varphi(x)\) is positive in Ω.
The following notations will be used for our convenience:
where dS is the surface element on ∂Ω.
Next, we establish some useful lemmas.
Lemma 3.1
If \(u(x,t)>0\) is a solution of the problem (1)(2) in G, then \(U(t)\) satisfies the differential inequality
Proof
Integrating (1) with respect to x over the domain Ω, we have
Green’s formula and (2) yield
Noting that \(u(x,t)>0\), from (A2), it is easy to see that \(m(x,t,u(x,t))>0\). Combining (9) and (10), we have
which shows that \(U(t)>0\) is a positive solution of the inequality (8). The proof of Lemma 3.1 is complete. □
The proof of the following lemma is similar to that of Lemma 3.1 and we omit it.
Lemma 3.2
If \(u(x,t)<0\) is a solution of the problem (1)(2) in G, then \(U(t)\) satisfies the differential inequality
Lemma 3.3
If \(u(x,t)>0\) is a solution of the problem (1)(3) in G, then \(W(t)\) satisfies the differential inequality
Proof
Multiplying both sides of (1) by \(\varphi(x)\) and integrating with respect to x over the domain Ω, we have
Green’s formula and (3) yield
From (A2), it is easy to see that \(m(x,t,u(x,t))\varphi(x)>0\). Combining (13) and (14), we obtain
which shows that \(W(t)>0\) is a positive solution of the inequality (12). The proof is complete. □
Similarly we can obtain the following lemma.
Lemma 3.4
If \(u(x,t)<0\) is a solution of the problem (1)(3) in G, then \(W(t)\) satisfies the differential inequality
Finally, we give our main results.
Theorem 3.1
If the inequality (8) has no eventually positive solutions and the inequality (11) has no eventually negative solutions, then every solution of the problem (1)(2) is oscillatory in G.
Proof
Suppose to the contrary that there is a nonoscillatory solution \(u(x,t)\) of the problem (1)(2). It is obvious that there exist \(t_{0}\geq0\) such that \(\mid(x,t)\mid> 0\) for \(t\geq t_{0}\). Therefore \(u(x,t)>0\) or \(u(x,t)<0\), \(t\geq t_{0}\).
If \(u (x,t)>0\), \(t\geq t_{0}\), using Lemma 3.1 we see that \(U (t)>0\) is a solution of the inequality (8), which is a contradiction.
If \(u (x,t)<0\), \(t\geq t_{0}\), using Lemma 3.2, it is easy to see that \(U (t)<0\) is a solution of the inequality (11), which is a contradiction. This completes the proof. □
Theorem 3.2
Assume that
and
hold. Then every solution of the problem (1)(2) is oscillatory in G.
Proof
We prove that the (8) has no eventually positive solutions and the inequality (11) has no eventually negative solutions.
Assume to a contrary that (8) has a positive solution \(V(t)\), then there exists \(t_{1}\geq t_{0}\) such that \(V(t)>0\), \(t\geq t_{1}\). Therefore, from (8) we have
Integrating (18) from \(t_{1}\) to t, we obtain
Using Lemma 2.1, it follows from (19) that
Integrating (20) from \(t_{1}\) to t, we have
Therefore,
Taking \(t\rightarrow\infty\) in (22) and noting the assumption (16), we have
which contradicts the assumption that \(V(t)>0\).
Assume that (11) has a negative solution \(\widetilde{V}(t)\). Noting that condition (17) holds and using the above mentioned method, we easily obtain a contradiction. This completes the proof of Theorem 3.2. □
Using Lemma 3.3 and Lemma 3.4, we easily establish the following theorems.
Theorem 3.3
If the inequality (12) has no eventually positive solutions and the inequality (15) has no eventually negative solutions, then every solution of the problem (1)(3) is oscillatory in G.
Theorem 3.4
Assume that
and
hold. Then every solution of the problem (1)(3) is oscillatory in G.
Examples
In this section, we give two illustrative examples.
Example 4.1
Consider the fractional partial differential equation
with the boundary condition
Here \(\Omega=(0,\pi)\), \(n=1\), \(a(t)=1\), \(m(x,t,u(x,t)) =\frac{e^{t}u(x,t)}{2+u^{6}(x,t)}\), \(f(x,t)=\pi e^{t}\sin t\sin x \). It is obvious that \(\Psi(t)=\pi e^{t}\sin t\), and
Hence
where \(C_{1}\) and \(C_{2}\) are constants.
We easily see that
which shows that all the conditions of Theorem 3.2 are fulfilled. Then every solution of the problem (25)(26) is oscillatory in \((0,\pi)\times\mathbb {R}_{+}\).
Example 4.2
Consider the fractional partial differential equation
with the boundary condition
Here \(\Omega=(0,\pi)\), \(n=1\), \(a(t)=e^{t}\), \(m(x,t,u(x,t)) =3te^{x}u^{3}(x,t)\), \(f(x,t)=e^{t\pi}\sin t\sin x\).
It is obvious that \(\beta_{0}=1\), \(\varphi(x)=\sin x\). Therefore,
Hence
Using Theorem 3.4, it is easy to see that every solution of the problem (27)(28) oscillates in \((0,\pi)\times \mathbb{R}_{+}\).
References
Leibniz, GW: Mathematische Schriften. Georg Olms Verlagsbuchhandlung, Hildesheim (1962)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Das, S: Functional Fractional Calculus for System Identification and Controls. Springer, New York (2008)
Diethelm, K: The Analysis of Fractional Differential Equations. Lecture Notes in Mathematics, vol. 2004. Springer, Berlin (2010)
Băleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Boston (2012)
Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)
Băleanu, D, Mustafa, OG, Agarwal, R: An existence result for a superlinear fractional differential equation. Appl. Math. Lett. 23, 11291132 (2010)
Băleanu, D, Mustafa, OG, Agarwal, RP: Asymptotically linear solutions for some linear fractional differential equations. Abstr. Appl. Anal. 2010, Article ID 865139 (2010)
Băleanu, D, Mustafa, OG, Agarwal, RP: Asymptotic integration of \((1+\alpha)\)order fractional differential equations. Comput. Math. Appl. 62, 14921500 (2011)
Grace, SR, Agarwal, RP, Wong, PJY, Zafer, A: On the oscillation of fractional differential equations. Fract. Calc. Appl. Anal. 15, 222231 (2012)
Chen, DX: Oscillation criteria of fractional differential equations. Adv. Differ. Equ. 2012, Article ID 33 (2012)
Chen, DX: Oscillatory behavior of a class of fractional differential equations with damping. Sci. Bull. ‘Politeh.’ Univ. Buchar., Ser. A, Appl. Math. Phys. 75, 107118 (2013)
Zheng, B: Oscillation for a class of nonlinear fractional differential equations with damping term. J. Adv. Math. Stud. 6, 107115 (2013)
Han, Z, Zhao, Y, Sun, Y, Zhang, C: Oscillation for a class of fractional differential equation. Discrete Dyn. Nat. Soc. 2013, Article ID 390282 (2013)
Qi, C, Cheng, J: Interval oscillation criteria for a class of fractional differential equations with damping term. Math. Probl. Eng. 2013, Article ID 301085 (2013)
Chen, D, Qu, P, Lan, Y: Forced oscillation of certain fractional differential equations. Adv. Differ. Equ. 2013, Article ID 125 (2013)
Băleanu, D, Mustafa, OG, O’Regan, D: A Kamenevtype oscillation result for a linear \((1+\alpha)\)order fractional differential equation. Appl. Math. Comput. 259, 374378 (2015)
Wang, Y, Han, Z, Sun, S: Comment on ‘On the oscillation of fractionalorder delay differential equations with constant coefficients’ [Commun. Nonlinear Sci. 19(11)(2014) 39883993]. Commun. Nonlinear Sci. Numer. Simul. 26, 195200 (2015)
Prakash, P, Harikrishnan, S, Nieto, JJ, Kim, JH: Oscillation of a time fractional partial differential equation. Electron. J. Qual. Theory Differ. Equ. 2014, 15 (2014)
Harikrishnan, S, Prakash, P, Nieto, JJ: Forced oscillation of solutions of a nonlinear fractional partial differential equation. Appl. Math. Comput. 254, 1419 (2015)
Prakash, P, Harikrishnan, S, Benchohra, M: Oscillation of certain nonlinear fractional partial differential equation with damping term. Appl. Math. Lett. 43, 7279 (2015)
Courant, R, Hilbert, D: Methods of Mathematical Physics. Vol I. Interscience, New York (1966)
Acknowledgements
This work is supported by the National Natural Science Foundation of China (10971018). The author is very grateful to the reviewers for their valuable suggestions and useful comments on this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that there are no competing interests.
Author’s contributions
The author contributed to the manuscript. The author read and approved the final manuscript.
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
Li, W.N. Oscillation of solutions for certain fractional partial differential equations. Adv Differ Equ 2016, 16 (2016). https://doi.org/10.1186/s136620160756z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620160756z
MSC
 35B05
 35R11
 26A33
Keywords
 oscillation
 fractional partial differential equation
 differential inequality