1. Introduction
Stefan Hilger presented the theory of dynamic equations on time scales in his Ph.D. thesis in 1988 in an attempt to unify continuous and discrete analysis, which has recently gained a lot of attention, see [
1]. A time scale
is an arbitrary closed subset of the reals, and the classical theories of differential and difference equations are represented by situations, where this time scale is equal to the reals or integers. There are a variety of different intriguing time scales that can be used in a variety of ways (see [
2]). This novel theory of “dynamic equations” unites the related theories for differential equations and difference equations and extends these traditional cases to “in-between” circumstances. That is, when
for
(which has major applications in quantum theory, see [
3]), we may treat the so-called
difference equations, which can be applied to different types of time scales such that
,
and
, the set of the harmonic numbers. We assume that the reader is familiar with the fundamentals of time scales and time scale notation; see [
2,
4,
5], for an excellent introduction to time scale calculus.
Oscillatory properties of solutions to dynamic equations on time scales are gaining popularity due to their applications in engineering and natural sciences. This work is on the asymptotic and oscillatory behavior of the third-order functional dynamic equation:
on an above-unbounded time scale
, where
,
;
;
a is a positive
continuous function on
; and
is a
continuous nondecreasing function, such that
; and
,
, are positive
continuous functions on
such that:
Throughout this paper, we let:
with:
and:
By a solution of Equation (
1) we mean a nontrivial real–valued function
for some
for a positive constant
such that
and
satisfies Equation (
1) on
where
is the space of right-dense continuous functions. Solutions that vanish in the neighborhood of infinity will be excluded from consideration. If a solution
y of (
1) is neither eventually positive nor eventually negative, it is said to be oscillatory; otherwise, it is nonoscillatory. For nonoscillatory solutions of (
1), we assume that:
and:
In this paper, we establish some Hille oscillation criteria known on second-order differential equations (see [
6]) for the third-order functional dynamic equation. Our criteria improve related contributions reported in the literature without restrictive conditions on the time scales, contrary to some previous works, see
Section 2.
This paper is organized as follows: after this introduction, we state some previous results for third-order dynamic equations on time scales in
Section 2. The main results are given in
Section 3 after several technical lemmas are derived. Some examples are introduced at the end of
Section 3. Discussions and Conclusions are listed in
Section 4.
2. Preliminaries
In this section, we present some oscillation criteria for dynamic equations connected to our main findings that will be related to our main results for Equation (
1) and explain the important contributions of this work.
Erbe et al. [
7] established Hille oscillation criteria for the third-order dynamic equation:
The following are the main findings of [
7]:
Theorem 1 ([
7]).
Every solution of Equation (4) is either oscillatory or tends to zero eventually provided that:and:where is the Taylor monomial of degree 2, see ([2] [Section 1.6]). Saker [
8] considered the dynamic equation as:
where
,
is a quotient of odd positive integers, and
is a nondecreasing functions on
. Hille oscillation criteria for (
7) have been established, one of which we give below.
Theorem 2 ([
8] Theorem 3.4).
Every solution of Equation (7) is either oscillatory or tends to zero eventually provided that:and:where . Theorem 3 ([
8] Corollary 3.5).
Assume that (5) holds with and If:Every solution of the equation:is either oscillatory or tends to zero eventually. When
, condition (
11) becomes:
When comparing (
6) and (
13), it is clear that [
7] improves [
8] for Equation (
4) since:
Wang and Xu in [
9] considered the third order dynamic equation:
under certain restrictive conditions on the time scales. Agarwal et al. [
10] suggested some Hille type oscillation criteria to the third-order delay dynamic equation as follows:
where
on
and under the canonical type assumptions:
and:
One of these results in [
10] reads as follows.
Theorem 4 ([
10]).
Every solution of Equation (14) is either oscillatory or tends to zero eventually if (15) and (16) hold, and:The results in [10] included the results that were established in [7]. We note that the results obtained in [8,10] are proved only when and cannot be applied when . Agarwal et al. [11] examined a generalized third-order delay dynamic Equation (1) and gave some new oscillation criteria under the canonical type conditions.and: We quote below one of the most interesting ones for Eq. due to Hille.
Theorem 5 ([
11]).
Every solution of Equation (1) is either oscillatory or tends to zero eventually if (18) and: (19) hold, and:where We note that the critical constant in (
17) is
and in (
20) is
which is
if
and depends on a concrete time scale; so the critical constant in [
10] is better than the one in [
11].
Recently, Hassan et al. [
12] improved the results of [
7,
8,
9,
10,
11] for Equation (
14). We include one of intriguing ones for Equation (
14).
Theorem 6 ([
12]).
Every solution of Equation (14) is either oscillatory or tends to zero eventually if (15) and: (16) hold, andwhere is defined as in (21). We noted that, when
and
, condition (
22) improves condition (
6); when
and
, condition (
22) improves condition (
10); and when
, condition (
22) improves condition (
17). In addition, the critical constant in (
22) does not depend on a concrete time scale. The reader is directed to papers [
6,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31] and the sources listed therein.
As a result of the above findings, this paper intends to improve Hille oscillation conditions (
6), (
11), (
13), (
17) and (
20) for the generalized dynamic Equation (
1). All of the functional inequalities reported in this paper are assumed to hold in the eventually, that is, for all sufficiently large
.
3. Main Results
We begin this section with the preliminary lemmas listed below, which will be crucial in the proof of the main results. We omit the details proving the first lemma that follows directly from the canonical form ((
2) holds) of Equation (
1).
Lemma 1. If is a nonoscillatory solution of Equation (1), then eventually. Lemma 2. If , then is strictly decreasing on and: Proof. Without loss of generality, assume that:
By using the fact that
is strictly decreasing on
. Then for
,
Hence, we conclude that, for
Thus
is strictly decreasing on
. Therefore, for
,
Thus (
23) holds for
. This completes the proof. □
Lemma 3. If , then tends to a finite limit eventually.
Proof. The proof is straightforward and hence is omitted. □
Lemma 4. Let:
- (A)
If , then tends to zero eventually.
Proof. The proof is similar to that of ([
32], Theorem 2.1) and is therefore omitted. □
Lemma 5. Let . If , then for all large where: Proof. Without loss of generality, assume that:
By the product rule and the quotient rule, we get:
From (
1) and the definition of
we see that for
First, consider the case when
, for all large
. From (
24) and using the fact that
is strictly decreasing, we obtain:
Next, consider the case when
, for all large
. Using the fact that
is strictly increasing and (
24), and using the fact that
is strictly decreasing, we obtain:
It follows from (
28) and (
29) that there exists a
such that:
Hence, we conclude that, for
,
By the Pötzsche chain rule,
Hence, by the fact that
is strictly decreasing and (
26),
which implies that
. Integrating (
30) from
to
v, we have:
Taking into account that
and passing to the limit as
, we get:
Thus, (
25) holds for all large
. This completes the proof. □
Lemma 6. Let . If , then for all large ζ,where and are defined as in (21) and (26), respectively. Proof. Without loss of generality, assume that:
By the product rule and the quotient rule, we get:
From (
1) and the definition of
we see that for
First, consider the case when
, for all large
. From (
24) and using the fact that
is strictly decreasing, we obtain:
Next, consider the case when
, for all large
. Using the fact that
y is strictly increasing and (
24), we have that:
It follows from (
33) and (
34) that there exists a
such that:
Hence, we conclude that, for
,
By the Pötzsche chain rule,
Integrating (
35) from
to
v, we have:
Taking into account that
and passing to the limit as
, we get:
Thus, (
31) holds for all large
. This completes the proof. □
The classification of the possible nonoscillatory solutions of Equation (
1) will now be presented.
Theorem 7. Let . If:where is defined as in (21), then . Proof. Assume Equation (
1) has a nonoscillatory solution
such that
and
for
. Then:
From (
25), we have for
and
Integrating the last inequality from
to
v, we obtain:
and hence:
This is in contradiction with (
36). The proof is now complete. □
Theorem 8. Let . If:where:and is defined as in (21), then . Proof. Assume Equation (
1) has a nonoscillatory solution
such that
and
for
. Then:
As a result, (
25) holds on
, for sufficiently large
. Now, for any
, there exists a
such that for
,
where:
Multiplying both sides of (
25) by
, we obtain for
,
since:
Taking the lim inf of both sides of the inequality (
40) as
, we get:
By virtue of the fact that
are arbitrary, we conclude that:
Letting
,
, and
, and using inequality:
we achieve the following:
which is a contradiction with (
37). The proof is complete. □
The last theorem is based on the following assumption:
Otherwise, (
36) holds, implying that
according to Theorem 7.
Theorem 9. Let . If:where is defined as in (21), then . Proof. The proof is similar to that of Theorem 7 and is therefore omitted. □
Theorem 10. Let . If:where and l are defined as in (21) and (38), respectively, then . Proof. Assume Equation (
1) has a nonoscillatory solution
such that
and
for
. Then:
As a result, (
31) holds on
, for sufficiently large
. Now, for any
, there exists a
such that (
39) for
. Multiplying both sides of (
31) by
and using (
39), we obtain for
,
since:
Taking the lim inf of both sides of the inequality (
44) as
, we conclude that:
Since
is arbitrary, we arrive at:
Using inequality (
41) we have:
which is a contradiction with (
43). This completes the proof. □
Furthermore, Theorem 10 is based on the following assumption:
Otherwise, (
42) holds, implying that
according to Theorem 9.
By combining the conclusions of Theorems 7–10 with Lemma 3, we may set convergence of nonoscillatory solutions of the investigated Equation (
1).
Theorem 11. Let . If (36) or (37) holds, then every solution of Equation (1) is either oscillatory or tends to a finite limit eventually. Theorem 12. Let . If (42) or (43) holds, then every solution of Equation (1) is either oscillatory or tends to a finite limit eventually. Moreover, by combining the conclusions of Theorems 7–10 with Lemma 4, we may set convergence (of zero) of nonoscillatory solutions of the investigated Equation (
1).
Theorem 13. Let . If (A) and either (36) or (37) hold, then every solution of Equation (1) is either oscillatory or tends to zero eventually. Theorem 14. Let . If (A) and either (42) or (43) holds, then every solution of Equation (1) is either oscillatory or tends to zero eventually. Example 1. Consider the third order dynamic equation:where and . It is easy to see that (2) is satisfied since:and:by ([5], Example 5.60). Additionally: As a result of Theorem 13, every solution of (45) is either oscillatory or tends to zero eventually if: Example 2. Consider the third-order delay dynamic equation:in which are constants. It is obvious that condition (2) is fulfilled. Now:and: Therefore, the conditions (A) and (43) are satisfied if Then, when , every solution of Equation (46) is either oscillatory or tends to zero eventually, according to Theorem 14. 4. Discussions and Conclusions
(1) If
and
, it is clear that condition (
43) becomes:
Theorem 14 improves Theorem 1 for Equation (
4).
(2) If
,
, and
is a nondecreasing functions on
, it is clear that conditions (
37) and (
43) become:
and:
respectively. Due to:
and
Theorem 13 improves Theorem 2 for Equation (
10) when
and Theorem 14 improves Theorem 2 for Equation (
10) when
(3) If
and
, then condition (
43) becomes:
Theorem 14 improves Theorem 4 for the Equation (
14).
(4) If
, Theorem 14 will be reduced to Theorem 6 for the Equation (
14).
(5) Following the preceding discussion, the results in this paper improve the results of [
7,
8,
10,
11,
12].
(6) It would be interesting to establish Hille oscillation criteria to third-order dynamic Equation (
1) supposing