Abstract
In this paper, we develop sufficient criteria for the existence of a nonoscillatory solution to the fractional neutral functional differential equation of the form:
where \(D_t^{\alpha }\) is Liouville fractional derivatives of order \(\alpha \ge 0\) on the half-axis, \(c\in \mathbb {R}\), \(\tau \), \(\sigma _i\in \mathbb {R}^+\), \(P_i\in C([t_0, \infty ), \mathbb {R})\), \(F_i\in C(\mathbb {R}, \mathbb {R}), ~ i=1,2,\ldots ,m\), \(m \ge 1\) is an integer. Our results are new and improve many known results on the integer-order functional differential equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fractional differential equations have gained much popularity due to their extensive applications in a variety of fields such as physics, mechanics, chemistry and engineering. The recent development on fractional-order ordinary and partial differential equations can be found in the monographs by Podlubny [1], Kilbas et al. [2], Diethelm [3], and a series of recent research articles [4,5,6,7,8] and the references therein.
Oscillation theory provides a useful platform to acquire much needed information about the qualitative properties of solutions of differential equations. This branch of mathematics has been developed for integer-order functional differential equations during the past three decades. One can find important works on the topic in the monographs by Ladde et al. [9], Györi and Ladas [10], Gopalsamy [11], Erbe et al. [12], Agarwal et al. [13].
Recently, Grace et al. [14], Bolat [15], Duan et al. [16], Harikrishnan et al. [17] investigated oscillation and forced oscillation characteristics for fractional-order delay differential equations. However, to the best of our knowledge, the nonoscillatory theory for fractional differential equations is yet to be explored.
In this paper, we discuss the nonoscillatory characteristics of solutions for the following fractional neutral functional differential equation
where \(D_t^{\alpha }\) is Liouville fractional derivatives of order \(\alpha \ge 0\) on the half-axis, \(c\in \mathbb {R}\), \(\tau \), \(\sigma _i\in \mathbb {R}^+\), \(P_i\in C([t_0, \infty ), \mathbb {R})\), \(F_i\in C(\mathbb {R}, \mathbb {R}), ~ i=1,2,\ldots ,m\), \(m \ge 1\) is an integer.
Let \(r=\max _{1\le i\le m}\{\tau , \sigma _i,\}\). By a solution of Eq. (1), we mean a function \(x\in C([t_1-r, \infty ), \mathbb {R})\) for some \(t_1\ge t_0\) such that \(D_t^{\alpha }[x(t)+cx(t-\tau )]'\) exists on \([t_1, \infty )\) and that Eq. (1) is satisfied for \(t\ge t_1\).
A nontrivial solution x of Eq. (1) is said to be oscillatory if it has an arbitrarily large number of zeros. Otherwise, x is said to be nonoscillatory, that is, x is nonoscillatory if there exists a \(T>t_1\) such that \(x(t)\ne 0\) for \(t\ge T\). In other words, a nonoscillatory solution must be eventually positive or eventually negative.
For the case of \(\alpha =n\in \mathbb {N}\), the existence of nonoscillatory solution to Eq. (1) has been studied extensively. The monographs [12, 13] summarize some important works on nonoscillation theory of higher-order neutral differential equations of the form
where \(\tau \), \(\sigma \in (0, \infty )\), \(P\in C([t_0, \infty ), \mathbb {R})\).
Theorem A
[13] Assume that \(c\ne -1\), \(P(t)\ge 0\), and
Then Eq. (2) has a bounded positive solution.
Theorem B
[12, 13] Assume that \(c<0\), \(c\ne -1\), and
Then Eq. (2) has a bounded positive solution.
In [18], the authors investigated the following second-order neutral functional differential equation with positive and negative coefficients
Obviously, Eq. (3) is a special form of Eq. (1), and the following result has been proved for this equation in [18].
Theorem C
[18] Assume that \(c\not =\pm 1\), \(P_1(t)\ge 0\) and \(P_2(t)\ge 0\) and \(aP_1(t)-P_2(t)\ge 0\), for every \(t\ge T\) and \(a>0\). Further, assume that
Then Eq. (3) has a nonoscillatory solution.
In this paper, we obtain some sufficient conditions for the existence of a nonoscillatory solution of Eq. (1) by using fixed point theorems due to Krasnoselskii and Schauder, and some new techniques. Our results are new and more general as we relax the restrictive conditions and hypotheses assumed in proving Theorems A, B and C.
2 Preliminaries
In this section, we introduce preliminary details which are used throughout this paper.
Definition 1
[2] (Liouville fractional integrals on the half-axis) The Liouville fractional integral on the half-axis is defined by
where \(t\in \mathbb {R}\) and \(\alpha \in [0, \infty )\).
Definition 2
[2] (Liouville fractional derivatives on the half-axis) The Liouville fractional derivative on the half-axis is defined by
where \(n=[\alpha ]+1\), \(\alpha \in (0, \infty )\), \([\alpha ]\) denotes the integer part of \(\alpha \) and \(t\in \mathbb {R}\).
In particular, if \(\alpha =n\in \mathbb {N}\), then \(D^{n}_tf(t)=(-1)^{n}f^{(n)}(t)\), where \(f^{(n)}(t)\) is the usual derivative of f(t) of order n.
Property 1
[2] For \(\alpha>0, \lambda >0\),
Now we state fixed point theorems that we need to prove our main results.
Lemma 1
(Krasnoselskii’s fixed point theorem) Let X be a Banach space, let \(\Omega \) be a bounded closed convex subset of X and let \(\mathcal {A}_1\), \(\mathcal {A}_2\) be maps of \(\Omega \) into X such that \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for every pair \(x, y\in \Omega \). If \(\mathcal {A}_1\) is a contraction and \(\mathcal {A}_2\) is completely continuous, then the equation \(\mathcal {A}_1x+\mathcal {A}_2x=x\) has a solution in \(\Omega \).
Lemma 2
(Schauder’s fixed point theorem) Let \(\Omega \) be a closed, convex and nonempty subset of a Banach space X. Let \(\mathcal {A}:\Omega \rightarrow \Omega \) be a continuous mapping such that \(\mathcal {A}\Omega \) is a relatively compact subset of X. Then \(\mathcal {A}\) has at least one fixed point in \(\Omega \), that is, there exists an \(x\in \Omega \) such that \(\mathcal {A}x=x\).
3 Main Results
We will consider the two cases: \(c\ne \pm 1\) and \(c=-1\). Our main results are the following theorems.
Theorem 1
Assume that \(c\ne \pm 1\) and that
Then (1) has a bounded nonoscillatory solution.
Proof
Case I (\(-1<c\le 0\)). By (4), we choose a \(T>t_0\) sufficiently large so that
where
Let \(C([t_0, \infty ), \mathbb {R})\) be the set of all continuous functions with the norm \(||x||=\sup _{t\ge t_0}|x(t)|<\infty \). Then \(C([t_0, \infty ), \mathbb {R})\) is a Banach space. We define a closed, bounded and convex subset \(\Omega \) of \(C([t_0, \infty ), \mathbb {R})\) by
Define two maps \(\mathcal {A}_1\) and \(\mathcal {A}_2:\Omega \rightarrow C([t_0, \infty ), \mathbb {R})\) as follows:
-
(i)
We shall show that \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for any \(x, y\in \Omega \).
Indeed, for every \(x, y\in \Omega \) and \(t\ge T\), we get
Furthermore, we have
From the above two inequalities, it follows that
Thus, \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for any \(x, y\in \Omega \).
-
(ii)
We show that \(\mathcal {A}_1\) is a contraction mapping on \(\Omega \).
In fact, for \(x, y\in \Omega \) and \(t\ge T\), we have
which implies that
Since \(0<-c<1\), we conclude that \(\mathcal {A}_1\) is a contraction mapping on \(\Omega \).
-
(iii)
Here we show that \(\mathcal {A}_2\) is completely continuous.
First, we will show that \(\mathcal {A}_2\) is continuous. Let \(x_k=x_k(t)\in \Omega \) be such that \(x_k(t)\rightarrow x(t)\) as \(k\rightarrow \infty \). As \(\Omega \) is closed, \(x=x(t)\in \Omega \). For \(t\ge T\), we have
Since \(|F_i( x_k(t-\sigma _i))-F_i(x(t-\sigma _i))| \rightarrow 0 \) as \( k\rightarrow \infty \) for \( i=1,2,\ldots ,m\), by applying the Lebesgue-dominated convergence theorem, we deduce that \(\lim _{k\rightarrow \infty }||(\mathcal {A}_2x_k)(t)-(\mathcal {A}_2x)(t)||=0\). This means that \(\mathcal {A}_2\) is continuous.
Next, we show \(\mathcal {A}_2\Omega \) is relatively compact. It suffices to show that the family of functions \(\{\mathcal {A}_2x:x\in \Omega \}\) is uniformly bounded and equicontinuous on \([t_0, \infty )\). The uniform boundedness is obvious. For the equicontinuity, according to Levitan’s result, we only need to show that, for any given \(\varepsilon >0\), \([T, \infty )\) can be decomposed into finite subintervals in such a way that on each subinterval all functions of the family have change of amplitude less than \(\varepsilon \). By (4), for any \(\varepsilon >0\), take \(T^*\ge T\) large enough so that
Then, for \(x\in \Omega , ~t_2>t_1\ge T^*\), we have
For \(x\in \Omega \) and \(T\le t_1<t_2\le T^*\), we obtain
Thus, there exists a \(\delta >0\) such that
For any \(x\in \Omega ,~ t_0\le t_1<t_2\le T\), it is easy to see that
Therefore, \(\{\mathcal {A}_2x: x\in \Omega \}\) is uniformly bounded and equicontinuous on \([t_0, \infty )\), and hence \(\mathcal {A}_2\Omega \) is relatively compact. In consequence, the conclusion of Lemma 1 (Krasnoselskii’s fixed point theorem) applies and there exits \(x_0\in \Omega \) such that \(\mathcal {A}_1x_0+\mathcal {A}_2x_0=x_0,\) that is,
which implies that
Hence
By Property 1, it is easy to see that \(x_0(t)\) is a nonoscillatory solution of Eq. (1).
Case II (\(-\infty< c<-1\)). By (4), we choose a \(T>t_0\) sufficiently large such that
where
Let \(C([t_0, \infty ), \mathbb {R})\) be the set as in the proof of Theorem 1. We define a closed, bounded and convex subset \(\Omega \) of \(C([t_0, \infty ), \mathbb {R})\) as follows:
Define two maps \(\mathcal {A}_1\) and \(\mathcal {A}_2:\Omega \rightarrow C([t_0, \infty ), \mathbb {R})\) by
In the first step, let us show that \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for any \(x, y\in \Omega \).
Indeed, for every \(x, y\in \Omega \) and \(t\ge T\), we get
and
which imply that
Thus, \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for any \(x, y\in \Omega \).
Next we show that \(\mathcal {A}_1\) is a contraction mapping on \(\Omega \).
For \(x, y\in \Omega \) and \(t\ge T\), we have
which implies that
In view of the condition \(0<-1/c<1\), it follows that \(\mathcal {A}_1\) is a contraction mapping on \(\Omega \).
As in the proof of Case I, we can obtain that the mapping \(\mathcal {A}_2\) is completely continuous. Therefore, all the conditions of Lemma 1 are satisfied. Hence there exists \(x_0\in \Omega \) such that \(\mathcal {A}_1x_0+\mathcal {A}_2x_0=x_0\). Clearly, \(x_0=x_0(t)\) is a bounded positive solution of Eq. (1).
Case III (\(0\le c<1\)). By (4), we choose a \(T>t_0\) sufficiently large so that
where
Let \(C([t_0, \infty ), \mathbb {R})\) be the set defined in the proof of Theorem 1. We define a closed, bounded and convex subset \(\Omega \) of \(C([t_0, \infty ), \mathbb {R})\) as follows:
and consider two maps \(\mathcal {A}_1\) and \(\mathcal {A}_2:\Omega \rightarrow C([t_0, \infty ), \mathbb {R})\) defined by
and
As before, for any \(x, y\in \Omega \) and \(t\ge T\), we have
and
In consequence, we get
This shows that \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for any \(x, y\in \Omega \).
Proceeding as in the proof of Case I, we can establish that the mapping \(\mathcal {A}_1\) is a contraction mapping on \(\Omega \) and the mapping \(\mathcal {A}_2\) is completely continuous. By Lemma 1, there exists \(x_0\in \Omega \) such that \(\mathcal {A}_1x_0+\mathcal {A}_2x_0=x_0\). Clearly, \(x_0=x_0(t)\) is a bounded positive solution of (1).
Case IV (\( 1< c< \infty \)). Again, by (4), we can choose a \(T>t_0\) sufficiently large so that
where
Let \(C([t_0, \infty ), \mathbb {R})\) be the set considered in the proof of Theorem 1. Let \(\Omega \) be a closed, bounded and convex subset of \(C([t_0, \infty ), \mathbb {R})\) defined by
Define two maps \(\mathcal {A}_1\) and \(\mathcal {A}_2:\Omega \rightarrow C([t_0, \infty ), \mathbb {R})\) as follows:
and
In order to show that \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for any \(x, y\in \Omega \) and \(t\ge T\), we consider
Hence, we obtain
which shows that \(\mathcal {A}_1x+\mathcal {A}_2y\in \Omega \) for any \(x, y\in \Omega \).
As in the proof of Case I, it can be shown that the mapping \(\mathcal {A}_1\) is a contraction mapping on \(\Omega \) and the mapping \(\mathcal {A}_2\) is completely continuous. In consequence, the conclusion of Lemma 1 applies, and there exists \(x_0\in \Omega \) such that \(\mathcal {A}_1x_0+\mathcal {A}_2x_0=x_0\). By Property 1, it is easy to see that \(x_0=x_0(t)\) is a bounded positive solution of Eq. (1). The proof is complete. \(\square \)
Remark 1
We emphasize that Theorem 1 is a new result in the context of fractional functional differential equations. In particular, for \(\alpha =n\in \mathbb {N}\), Theorem 1 improves essentially Theorems A, B and C by removing the restrictive conditions: \(P(t)\ge 0\) in Theorem A, \(aP_1(t)-P_2(t)\ge 0\) in Theorem C, and relaxing the hypothesis that \(c<0\) in Theorem B.
Remark 2
Minor adjustments are only necessary to discuss the neutral functional differential equation of the form
where \(\tau \in \mathbb {R}^+=[0, \infty )\), \(\sigma _i (t)\rightarrow \infty ~(i=1,2,\ldots ,m)\) as \(t\rightarrow \infty \), \(m\ge 1\) is an integer, and \(F: [t_0, \infty ) \times \mathbb {R}\times \cdots \times \mathbb {R}\rightarrow \mathbb {R}\) is continuous and bounded, \(C, f\in C([t_0, \infty ), \mathbb {R})\). So we omit the details.
Theorem 2
Assume that \( c=-1\) and that
Then Eq. (1) has a bounded positive solution.
Proof
By the condition (5), we can choose a sufficiently large \(T>t_0\) so that
where \(M_5=\max _{0\le x\le 1}\{F_i(x): 1\le i\le m\}\).
We consider a closed, bounded and convex subset \(\Omega \) of \(C([t_0, \infty ), \mathbb {R})\) given by
and define a mapping \(\mathcal {A}:\Omega \rightarrow C([t_0, \infty ), \mathbb {R})\) as follows:
We first show that \(\mathcal {A}\Omega \subset \Omega \). Indeed, for every \(x\in \Omega \) and \(t\ge T\), we get
and
Hence \(\mathcal {A}\Omega \subset \Omega \).
We now show that \(\mathcal {A}\) is continuous. Let \(x_k=x_k(t)\in \Omega \) be such that \(x_k(t)\rightarrow x(t)\) as \(k\rightarrow \infty \). Since \(\Omega \) is closed, \(x=x(t)\in \Omega \). For \(t\ge T\), we have
Noting that \(|F_i( x_k(t-\sigma _i))-F_i(x(t-\sigma _i))| \rightarrow 0 \) as \( k\rightarrow \infty \) for \( i=1,2,\ldots ,m\), and applying the Lebesgue-dominated convergence theorem, we conclude that \(\lim _{k\rightarrow \infty }||(\mathcal {A}x_k)(t)-(\mathcal {A}x)(t)||=0\). This means that \(\mathcal {A}\) is continuous.
In what follows, we show that \(\mathcal {A}\Omega \) is relatively compact. By (5), for any \(\varepsilon >0\), take \(T^*\ge T\) large enough so that
Then, for \(x\in \Omega , ~t_2>t_1\ge T^*\), we get
For \(T\le t_1<t_2\le T^*\), we choose a sufficiently large \(J\in \mathbf{N}^+\) such that \(T+j\tau \ge T^*\) as \(j\ge J\). For \(x\in \Omega \), we obtain
Then there exists a \(\delta >0\) such that
For any \(x\in \Omega ,~ t_0\le t_1<t_2\le T\), it is easy to see that
Therefore, \(\{\mathcal {A}x: x\in \Omega \}\) is uniformly bounded and equicontinuous on \([t_0, \infty )\), and hence, \(\mathcal {A}\Omega \) is relatively compact. By Lemma 2 (Schauder’s fixed point theorem), there exists \(x_0\in \Omega \) such that \(\mathcal {A}x_0=x_0\), that is,
Then, we have
which implies that
By Property 1, it follows that \(x_0=x_0(t)\) is a bounded positive solution of Eq. (1). This completes the proof. \(\square \)
Remark 3
When \(F_i(x)\equiv x, P_i(t)\equiv p_i\in \mathbb {R}, i=1,2,\ldots ,m\), Eq. (1) reduces to
In this case, (4) and (5) cannot be satisfied. So, we provide an alternative sufficient condition for existence of nonoscillatory solutions of Eq. (1).
Theorem 3
Assume that \(\alpha >0\), c, \(\tau \), \(p_i\), \(\sigma _i\in \mathbb {R}\), \(i=1,2,\ldots ,m\). If the characteristic equation of (6):
has a positive real root, then Eq. (6) has a bounded positive solution.
Proof
Let \(\lambda _0 >0\) be a real root of (7). Set \(y(t)=\mathrm{e}^{-\lambda _0 t}\). By using Property 1 and Eq. (7), we get
Clearly, y(t) is a bounded positive solution of Eq. (6). The proof is complete. \(\square \)
References
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and applications of fractional differential equations. In: North-Holland Mathematics Studies, vol. 204. Elsevier Science B.V., Amsterdam (2006)
Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)
Zhou, Y., Peng, L.: On the time-fractional Navier–Stokes equations. Comput. Math. Appl. 73(6), 874–891 (2017)
Zhou, Y., Peng, L.: Weak solutions of the time-fractional Navier–Stokes equations and optimal control. Comput. Math. Appl. 73(6), 1016–1027 (2017)
Zhou, Y., Vijayakumar, V., Murugesu, R.: Controllability for fractional evolution inclusions without compactness. Evolut. Equ. Control Theory 4, 507–524 (2015)
Zhou, Y., Zhang, L.: Existence and multiplicity results of homoclinic solutions for fractional Hamiltonian systems. Comput. Math. Appl. 73(6), 1325–1345 (2017)
Zhou, Y., Ahmad, B., Alsaedi, A.: Existence of nonoscillatory solutions for fractional neutral differential equations. Appl. Math. Lett. 72, 70–74 (2017)
Ladde, G.S., Lakshmikantham, V., Zhang, B.G.: Oscillation Theory of Differential Equations with Deviation Arguments. Dekker, New York (1989)
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)
Erbe, L.H., Kong, Q.K., Zhang, B.G.: Oscillation Theory for Functional Differential Equations. Marcel Dekker Inc, New York (1995)
Agarwal, R.P., Bohner, M., Li, W.T.: Nonoscillation and Oscillation: Theory for Functional Differential Equations. Marcel Dekker Inc, New York (2004)
Grace, S., Agarwal, R., Wong, P., et al.: On the oscillation of fractional differential equations. Fract. Calc. Appl. Anal. 15(2), 222–231 (2012)
Bolat, Y.: On the oscillation of fractional-order delay differential equations with constant coefficients. Commun. Nonlinear Sci. Numer. Simul. 19(11), 3988–3993 (2014)
Duan, J.S., Wang, Z., Fu, S.Z.: The zeros of the solutions of the fractional oscillation equation. Fract. Calc. Appl. Anal. 17(1), 10–22 (2014)
Harikrishnan, S., Prakash, P., Nieto, J.J.: Forced oscillation of solutions of a nonlinear fractional partial differential equation. Appl. Math. Comput. 254, 14–19 (2015)
Kulenovic, M.R.S., Hadziomerspahic, S.: Existence of nonoscillatory solution of second order linear neutral delay equation. J. Math. Anal. Appl. 228, 436–448 (1998)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Syakila Ahmad.
Project supported by National Natural Science Foundation of China (11671339).
Rights and permissions
About this article
Cite this article
Zhou, Y., Ahmad, B. & Alsaedi, A. Existence of Nonoscillatory Solutions for Fractional Functional Differential Equations. Bull. Malays. Math. Sci. Soc. 42, 751–766 (2019). https://doi.org/10.1007/s40840-017-0511-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-017-0511-y