Abstract
This work is devoted to the nonlinear fractional differential equations of arbitrary order, considering the Riemann-Liouville derivative. We extend well-known oscillation criteria for super-linear integer-order differential equations. Finally, we show some discrepancies between the asymptotic behavior of solutions for fractional and integer order case.
1 Introduction
Consider the fractional differential equations
and
where n – 1 < α ≤ n and n ∈ {3, 4, . . . }, and
and
Throughout the paper, we assume.
(i1) the function q is a real-valued positive continuous defined on (0,∞) such that for some λ0 > 1
(i2) the function f ∈ C0(ℝ), f(u)u > 0 for u ≠ 0 satisfies for some λ such that 1 < λ ≤ λ0
and
In last few years, the study of fractional differential equations and their applications have been developed in various directions. The current research in the asymptotic and oscillation theory is devoted to the differential and difference equations with various types of fractional operators, see, e.g., [1, 4, 5, 7, 8, 9, 12, 13, 15-17] and references therein.
Our aim here is to study asymptotic and oscillatory behavior of solutions to equations (1.1) and (1.2) when the nonlinearity term f is super-linear. In particular, we extend well-known oscillation criteria for super-linear integer-order differential equations [14. Corollary 10.1] and we point out some similarities and discrepancies between fractional and integer-order case.
If α = n, then (1.1) and (1.2) are integer-order differential equations, which can be considered on [t0,∞) for some t0 > 0. The asymptotic and oscillatory behavior of integer-order differential equations have been deeply studied in the literature, see, e.g., monographs [6, 11, 14] and recent contributions [2, 3]. The classification of integer-order differential equations as having Property A or Property B has been introduced by I. T. Kiguradze, see [14. Sections 1.1,10.2] and the prototypes of such classification are equations x(n) + kx = 0, k ∈ ℝ. Roughly speaking, Property A and Property B state that every solution which may oscillate, does oscillate ([11. Section 8.5]). The natural question which arises whether it is possible to extend these properties for nonlinear fractional differential equations (1.1) and (1.2).
A partial answer was given in [4, 5, 15]. In [15], the fractional linear equations of the order α ∈ (2, 3] were investigated assuming q is positive continuous function on (0,∞) such that q ∈ L1(0,1) and
By a solution x of (1.1) or (1.2), we mean a real-valued function in C(0,∞) such that
Let x be a solution of equation (1.1) or (1.2). Denote for α ∈ (n – 1, n)
where
and similarly, any solution x of (1.2) satisfies
To describe oscillatory properties of solutions of (1.1), (1.2), the following definitions were introduced in [5] as an extension of Property A and Property B for integer-order differential equations.
Definition 1
Equation (1.1) is said to have weak Property A if for n odd, every its nonoscillatory solution x satisfies for large t
and for n even, every its nonoscillatory solution x satisfies either
or
Moreover, solutions of type (1.9), (1.10) and (1.11) satisfy
and solutions of type (1.11) satisfy
Equation (1.1) is said to have Property A if it has weak Property A, there exist no solutions of type (1.11), and solutions of type (1.9) and (1.10) satisfy
Definition 2
Equation (1.2) is said to have weak Property B if for n even, every its nonoscillatory solution x satisfies for large t either (1.9) or
and for n odd, either (1.10) or (1.11) or (1.13). Moreover, solutions of type (1.9) and (1.10) satisfy (1.12), solutions of type (1.11) satisfy
Equation (1.2) is said to have Property B if it has weak Property B, there exist no solutions of type (1.11), and solutions of type (1.9) and (1.10) satisfy
Remark 1
If α = n, then x1(t) = x(t) for t > 0 and solutions satisfying (1.10) as well as solutions satisfying (1.11) and (1.12) cannot exist. Thus weak Property A and weak Property B coincide with Property A and Property B for integer-order differential equations, see [14. Sections 1.1,10.2]. Moreover, solutions satisfying (1.9) are sometimes called Kneser solutions and are typical for (1.1) [(1.2)] when n is odd [even], while solutions satisfying (1.13) are called strongly increasing solutions and are typical for (1.2).
2 Preliminaries
Define ℝ+ = [0,∞). For β > 0, the operator
for 0 < t ≤ b, and is called the Riemann-Liouville fractional integral operator of order fi. For β = 0, we set
By D, we denote the operator that maps differentiable functions onto its derivative, i.e.,
For β > 0, the operator
where n = Гβ˥ is the ceiling function and Dn denotes the n-fold iterates of D. For β = n ∈ ℕ,
In the sequel, x is a solution of (1.1) or (1.2) and x1 is defined by (1.7). We prove some properties for eventually positive solutions of (1.1); the analogous results hold for eventually negative solutions.
The next two lemmas can be viewed as an extension of the well-known Kiguradze lemma ([14. Lemma 1.1]) for integer-order differential equations.
Lemma 2.1
Let x be an eventually positive solution of (1.1). Then there exists k ∈ {0, 1, … , n–1} such that for large t either n – k is odd and
or n is even and
Proof. It follows from Lemmas 3 and 5, Corollary 1(a) and Remark 3 in [5]. □
Lemma 2.2
If x is an eventually positive solution of (1.2), then there exists k ∈ {0, 1, . . . , n} such that for large t either n – k is even and
or n is odd and (2.2) holds.
Proof. It follows from Lemmas 4 and 5, Corollary 1(b), Remark 3 in [5]. □
Lemma 2.3
Let k ∈ {1, . . . , n – 1} be fixed and
Assume that x is an eventually positive solution of (1.1) satisfying (2.1) or solution of (1.2) satisfying (2.3) for t ≥ t0 > 0. In addition, for k = 1 assume that
where c0 = 1/Γ(α – n + 1), and
Proof. Using [5. Lemma 6 and Remark 3], we get the first two inequalities in (2.5). Moreover, by Lemmas 2.1 and 2.2, we have
From here the last inequality in (2.5) follows, taking into account [14. Lemma 1.3], choosing i = 1 and l = k in (1.20). □
Lemma 2.4
Let x be an eventually positive solution of (1.1) [(1.2)] satisfying either (1.9) or (1.11) with
Proof. It is similar as the proof of [4. Lemma 9] for (1.1). Assume that x is an eventually positive solution of (1.1) [(1.2)] satisfying (1.11) such that for t ≥ t0,
and
If x is a solution of (1.1) [(1.2)], then by Lemma 2.1 [Lemma 2.2] with k = 1, we have n is even and
Similarly, if x is an eventually positive solution of (1.1) [(1.2)] satisfying (1.9), then x1 is positive decreasing. Thus, there exists
Lemma 2.5
Let x be an eventually positive solution of (1.1) or (1.2) satisfying (1.9) or (1.10) or (1.11) with bounded x1. Then there exists c > 0 such that
Proof. By [5. Lemma 2 and Remark 3], for T > 0 fixed, there exists M > 0 such that
and
Under these conditions, the estimation (2.8) has been proved in [4. Lemma 7]. □
We close this section by the following inequality.
Lemma 2.6
([14. Lemma 10.3]). Let φ ∈ C([a,∞) × ℝ) be such that
and the differential equation
has no positive solution. Let c0 ∈ (0,∞), t0 ∈ [a,∞) and h. [t0,∞) → (0,∞) be continuous nondecreasing function. Then there exists no continuous function y: [t0,∞) → (0,∞) satisfying the inequality
3 Property A and Property B
Our main results are the following.
Theorem 3.1
Let n – 1 < α ≤ n, λ > 1 and
Then equation (1.1) has weak Property A and equation (1.2) has weak Property B.
Proof. Let n – 1 < α < n, k ∈ {1, . . . , n – 1} and x be an eventually positive solution of (1.1). When k = 1, let
Assume that x satisfies (2.1) for t ≥ t0 > 0. By Lemma 2.1, n – k is odd. The condition (3.1) implies the validity of (2.4), and Lemma 2.3 can be applied. From (1.4), (1.8), (2.5) and (2.6), we have that there exists T ≥ t0 such that
where
Since h is nondecreasing, from (3.2) we have for t ≥ T
thus
Consider equation (2.9) where a = T. If there exists a solution y of (2.9) such that y(t) > 0 for t ≥ ≥ T, then from (2.9) and the fact that λ > 1, we get
which is a contradiction with (3.1). Hence, (2.9) has no positive solution. Applying Lemma 2.6 with t0 = T, there exists no function y satisfying (2.10), which is a contradiction with (3.3). Thus every nonoscillatory solution of (1.1) is one of types (1.9)-(1.11) and their limit properties (1.12) follow from [4. Lemma 2.10].
By the similar way, we get that equation (1.2) does not have solution of type (2.3) for k ∈ {1, . . . , n – 1} with
It remains to prove that solution of (1.2) given by (1.13) satisfies (1.14). Let k = n – 1. From (2.5) and the fact that
where
Thus,
If α = n, then the result follows from [14. Corollary 10.1]. □
As claimed above, for α = n, weak Property A for (1.1) coincides with Property A and weak Property B for (1.2) coincides with Property B introduced in [14]. In the fractional case, the following holds.
Theorem 3.2
Let n – 1 < α < n, λ > 1 and (3.1) hold. If there exists ε ∈ (0, 1) such that
then equation (1.1) has Property A and equation (1.2) has Property B.
Proof. First observe that the solution of type (1.10) satisfies
Assume by contradiction that there exists an eventually positive solution x either of type (1.11) or (1.9) satisfying (3.6) for c > 0. We proceed following the idea as in the proof of in [4. Theorem 1.2]. Let t0 ≥ 1 such that x(t) > 0 for t ≥ t0 and ε be such that 0<ε<1. By Lemma 2.5, there exists c0 > 0 such that
and for t – tε ≥ t0,
By (1.6), there exists
as t → ∞. By Lemma 2.4 and (1.4), we can set
Using Hölder inequality, we have
Thus, from (3.5), we have
and using (3.7)
as t → ∞. Therefore,
4 Examples
The following example illustrates our results.
Example 1
Consider equation
where n – 1 < α < n, n ≥ 3, λ > 1 and
Obviously, (1.3) is satisfied. Moreover, (3.1) holds for
Applying Theorem 3.1, equation (4.1) has weak Property A for μ satisfying (4.2). Similarly, one can check that (3.5) is satisfied if the strict inequality in (4.2) holds. Thus, by Theorem 3.2, equation (4.1) has Property A for μ > –n + λ(n – α).
Observe that this result is in accordance with the oscillation criterion for the integer-order equation
where λ > 1. Using [14. Corollary 10.1], this equation has Property A for μ ≥ –n, i.e., for n even all solutions are oscillatory and for n odd any solution is either oscillatory or Kneser solution tending to zero as t → ∞.
Next example illustrates that (1.1) can have “purely fractional” solution satisfying (1.11) and
Example 2
Consider equation
where 5=2 < α < 3, λ > 1,
and c1 = 1/Γ(α – 2),
satisfies (1.6), i.e., t3–βx(t) ∈ C[0,∞) and, using (1.7)
and x is a solution of (4.3). Hence (4.3) does not have weak Property B. Observe that condition (1.3) is satisfied for λ = λ0. Indeed, we have
where c3 = 3(c1 + c2)–λ, and for λ > 1,
On the other hand, if ε > 0 and 1 < λ ≤ 1 + 2ε, then
Thus, the condition (3.1) in Theorem 3.1 is not satisfied and cannot be replaced by the weaker condition
5 Concluding remarks
We close the paper with some suggestions for possible further progress.
(1) If α = n and f(u) = |u|≥ sgn u, λ > 1, then the condition (3.1) is necessary and sufficient in order to have (1.1) [(1.2)] Property A [Property B], see [14. Corollary 10.1 and Theorem 15.1].
If n–1 < α < n and f(u) = |u|≥ sgn u, λ > 1, it is open problem whether the condition (3.1) is also necessary in order to have (1.1) [(1.2)] weak Property A [weak Property B].
(2) As claimed above, Property A for even-order equations means that all solutions are oscillatory. If n – 1 < α < n and n is even, it is an open problem whether solutions of (1.1) satisfying (1.10) exist, i.e., whether property A means oscillation of all solutions of (1.1).
(3) The typical phenomena for the super-linear integer-order equation
where λ > 1, n ≥ 2, is the existence of noncontinuable to infinity nonoscillatory solutions (blowup solutions). Such solutions are defined on [t0,τ), τ < ∞, and different from zero in a left neighbourhood of τ such that
Hence, it is natural to study the existence of blow-up solutions for (1.2). In view of Theorem 2, this problem leads to the problem of the nonexistence of solutions satisfying (1.13).
((Communicated by Michal Fečkan)
References
[1] Baleanu, D.—Mustafa, O. Q.—Agarwal, R. P.: On the solution set for a class of sequential fractional differential equations, J. Phys. A 43(38) (2010), Art. No. 385209.10.1088/1751-8113/43/38/385209Search in Google Scholar
[2] Baculíková, B.—Džurina, J.: Oscillation and property B for third-order differential equations with advanced arguments, Electron. J. Differential Equations (2016), Paper No. 244.10.14232/ejqtde.2016.1.7Search in Google Scholar
[3] Baculíková, B.—Džurina, J.: Property A of differential equations with positive and negative term, Electron. J. Qual. Theory Differ. Equ. (2017), Paper No. 27.10.14232/ejqtde.2017.1.27Search in Google Scholar
[4] Bartušek, M.—Došlá, Z.: Oscillation of higher order fractional differential equations Fract. Cal. Appl. Anal. 26(1) (2023), 336–350.10.1007/s13540-022-00108-1Search in Google Scholar
[5] Bartušek, M.—Došlá, Z.: Monotonicity and oscillation for fractional differential equations with Riemann–Liouville derivatives Demonstr. Math., submitted.Search in Google Scholar
[6] Berezansky, L.—Domoshnitsky, A.—Koplatadze, R.: Oscillation, Nonoscillation, Stability and Asymptotic Properties for Second and Higher Order Functional Differential Equations CRC Press, 2020.10.1201/9780429321689Search in Google Scholar
[7] Bohner, M.—Tunç, O.—Tunç, C.: Qualitative analysis of caputo fractional integro-differential equations with constant delays Comput. Appl. Math. 40(6) (2021), Paper No. 214.10.1007/s40314-021-01595-3Search in Google Scholar
[8] Cabada, A.—Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions J. Math. Anal. Appl. 389 (2012), 403–411.10.1016/j.jmaa.2011.11.065Search in Google Scholar
[9] Chatzarakis, G. E.—Selvam, G. M.—Janagaraj, R.—Miliaras, G. N.: Oscillaton criteria for a class of nonlinear discrete fractional order equations with damping term Math. Slovaca 70(5) (2020), 1165–1182.10.1515/ms-2017-0422Search in Google Scholar
[10] Diethelm, K.: The analysis of Fractional Differential Equations. An Application-oriented Exposition Using Differential Operators of Caputo Type. Lecture Notes in Math., Vol. 2004, Springer-Verlag, Berlin, 2010.10.1007/978-3-642-14574-2Search in Google Scholar
[11] Elias, U.: Oscillation Theory of Two-Term Differential Equations. Math. Appl., Vol. 396, Kluwer Academic Publishers Group, Dordrecht, 1997.10.1007/978-94-017-2517-0Search in Google Scholar
[12] Grace, S. R.—Agarwal, R. P.—Wong, P.—Zafer, A.: On the oscillation of fractional differential equations, Fract. Calc. Appl. Anal. 15(2) (2012), 222–231.10.2478/s13540-012-0016-1Search in Google Scholar
[13] Grace, S. R.—Graef, J. R.—Tunç, E.: On the boundedness of nonoscillatory solutions of certain fractional differential equations with positive and negative terms Appl. Math. Lett. 97 (2019), 114–120.10.1016/j.aml.2019.05.032Search in Google Scholar
[14] Kiguradze, T. I.—Chanturia, T. A.: Asymptotic Properties of Solutions of Non-autonomous Ordinary Differential Equations Kluwer, Dordrecht, 1993.10.1007/978-94-011-1808-8Search in Google Scholar
[15] Morales, M. G.—Došla, Z.: Almost oscillatory fractional differential equations Comput. Appl. Math. 41(5) (2022), Paper No. 201.10.1007/s40314-022-01901-7Search in Google Scholar
[16] Řehák, P.: Superlinear solutions of sublinear fractional differential equations and regular variation Fract. Calc. Appl. Anal. 26(2) (2023), 989–1015.10.1007/s13540-023-00156-1Search in Google Scholar
[17] Wang, J.—Fečkan, M.—Zhou, Y.: A survey on impulsive fractional differential equations Fract. Calc. Appl. Anal. 19(4) (2016), 806–831.10.1515/fca-2016-0044Search in Google Scholar
© 2025 Mathematical Institute Slovak Academy of Sciences
This work is licensed under the Creative Commons Attribution 4.0 International License.
Articles in the same Issue
- Weak differences, weak BCK-algebras and applications to some partial orders on rings
- Weakly κ-compact topological spaces
- On sharp radius estimates for S*(β) and a product function
- Maximal subextension and stability in m-capacity of maximal subextension of m-subharmonic functions with given boundary values
- Asymptotic behavior of fractional super-linear differential equations
- New and improved oscillation criteria of third-order half-linear delay differential equations via canonical transform
- Global dynamics of the system of difference equations
- Results on oscillatory properties of third-order functional difference equations with semi-canonical operators
- A new approach to metrical fixed point theorems
- Generalized Baker’s result and stability of functional equations using fixed point results
- Characterizations of ℕ-compactness and realcompactness via ultrafilters in the absence of the axiom of choice
- K-theory of oriented flag manifolds
- On certain observations on split continuity and cauchy split continuity
- On the generalized eta- and theta-transformation formulas as the Hecke modular relation
- On some selective star Lindelöf-type properties
Articles in the same Issue
- Weak differences, weak BCK-algebras and applications to some partial orders on rings
- Weakly κ-compact topological spaces
- On sharp radius estimates for S*(β) and a product function
- Maximal subextension and stability in m-capacity of maximal subextension of m-subharmonic functions with given boundary values
- Asymptotic behavior of fractional super-linear differential equations
- New and improved oscillation criteria of third-order half-linear delay differential equations via canonical transform
- Global dynamics of the system of difference equations
- Results on oscillatory properties of third-order functional difference equations with semi-canonical operators
- A new approach to metrical fixed point theorems
- Generalized Baker’s result and stability of functional equations using fixed point results
- Characterizations of ℕ-compactness and realcompactness via ultrafilters in the absence of the axiom of choice
- K-theory of oriented flag manifolds
- On certain observations on split continuity and cauchy split continuity
- On the generalized eta- and theta-transformation formulas as the Hecke modular relation
- On some selective star Lindelöf-type properties