Second-Order Dynamic Equations with Noncanonical Operator: Oscillatory Behavior

: The present article aims to study the oscillatory properties of a class of second-order dynamic equations on time scales. We consider during this study the noncanonical case, which did not receive much attention compared to the canonical dynamic equations. The approach adopted depends on converting the noncanonical equation to a corresponding canonical equation. By using this transformation and based on several techniques, we create new, more effective, and sharp oscillation criteria. Finally, we explain the effectiveness and importance of the results by applying them to some special cases of the studied equation.


Introduction
The study of dynamic equations on time scales dates back to its founder Hilger [1] and has become a prominent area of mathematics.It was created to unify the study of differential and difference equations.Meanwhile, various theoretical aspects of this theory have recently been debated.A time scale T is an arbitrary nonempty closed subset of the real numbers R. To be thorough, we recall some time scale notions.The forward and backward jump operators σ, ρ : T → T are defined by σ(l) = inf{s ∈ T | s > l} and ρ(l) = sup{s ∈ T | s < l}, (supplemented by inf ∅ = sup T and sup ∅ = inf T).A point l ∈ T is called rightscattered, right-dense, left-scattered, left-dense, if σ(l) > l, σ(l) = l, ρ(l) < l, ρ(l) = l holds, respectively.The set T κ is defined to be T if T does not have a left-scattered maximum; otherwise it is T without this left-scattered maximum.The graininess function µ : T → [0, ∞) is defined by µ(t) = σ(l) − l .Hence the graininess function is constant 0 if T = R while it is constant 1 for T = Z.However, a time scale T could have nonconstant graininess.A function f : T → R is said to be rd-continuous and is written f ∈ C rd (T, R), provided that f is continuous at right dense points and at left dense points in T, left hand limits exist and are finite.We say that f : T → R is differentiable at l ∈ T whenever f ∆ := lim s→l f (l) − f (s) l − s exists when σ(l) = l (here, by s → l, it is understood that s approaches l in the time scale) and when f is continuous at l and σ(l) > l it is The product and quotient rules ([2], Theorem 1.20) for the derivative of the product f g and the quotient f /g of two differentiable functions f and g are as follows: ( f g) ∆ (l) = f ∆ (l)g(l) + f (σ(l))g ∆ = f (l)g ∆ (l) + f ∆ (l)g(σ(l)), (1) The chain rule ([2], Theorem 1.90) for the derivative of the composite function f • g of a continuously differentiable function f : R → R and a (delta) differentiable function g : T → R results in For a great introduction to the fundamentals of time scales, see [2,3].
In this work, we investigate the oscillatory properties of the solutions of noncanonical second-order dynamic equations of the form The following assumptions will be needed throughout the paper: (H1) α is a ratio of two positive integers; (H2) Following Trench [4], we shall say that Equation ( 4) is in canonical form if Conversely, we say that (4) is in noncanonical form if A solution v(l) of ( 4) is called oscillatory if it is neither eventually positive nor eventually negative; otherwise, we call it nonoscillatory.Equation ( 4) is said to be oscillatory if all its solutions oscillate.Oscillation phenomena arise in a variety of models based on real-world applications.As a result, much research has been conducted on the oscillatory behaviour of various classes of dynamic equations and their special cases.
For instance, when T = Z, Chatzarakis et al.
[5] obtained new oscillation criteria for the second-order advanced difference equation where (l) ≥ l + 1 in the noncanonical form, via a canonical transformation.Saker [6] investigated the delay equation and established some sufficient conditions for every solution of ( 6) to be oscillatory in the canonical and noncanonical cases.
On the other hand, for T = R, Saranya et al. [7] obtained sharp conditions for the oscillation of the delay differential equation where α > 0 .In [8], Wu et al., examined the oscillatory behaviour of the solutions of the delay dynamic equation in the canonical and noncanonical cases by using integral averaging techniques and generalized Riccati transformations.Recently, in [9] Grace et al.obtained some new oscillation criteria for the oscillation of all solutions of the second order nonlinear dynamic equation with deviating arguments of the form where α ∈ (0, 1] is a ratio of odd positive integers.Many authors have studied the oscillatory behavior of the solutions to Equation (4) (see for example [10,11]).As particular cases, when T = R see [12][13][14][15][16][17], and for T = Z see [18][19][20].Those authors obtained oscillation criteria in both cases (canonical and noncanonical) by using integral averaging techniques, generalized Riccati transformations and Kneser-type results.It should be noted that the study of the equation in the advanced case drew the most attention, with few results in the case of delay.For more interesting results and improved techniques, one can trace the development of studying the oscillation of solutions of differential equations with the canonical operator through the studies [21][22][23] and with the noncanonical operator through the studies [24][25][26].
In canonical form, nonoscillatory (eventually positive) solutions v(l) of (4) have one sign and v ∆ (l) > 0, but in noncanonical equations, both signs of the first derivative v ∆ (l) of any positive solution v(l) are possible and must be dealt with.An strategy commonly employed in the literature for examining such equations is to extend previous conclusions for canonical equations.Among the drawbacks of this technique are the inclusion of extra conditions or the failure to guarantee the oscillatory of all solutions (for details see [27]).
The goal of this paper depends on finding an appropriate transformation of the delay dynamic Equation (4) from the noncanonical case to the canonical case (11).By using this approach, we present some new sufficient conditions that ensure that all solutions of (4) are oscillatory.The results presented in this paper improve and complement the existing results in the literature even for the special cases when T = R and T = Z.

Preliminary Results
In what follows, we need only to consider the eventually positive solutions of Equation (4), because if v satisfies Equation (4), then −v is also a solution.Without loss of generality, we only give proofs for the positive solutions.We begin by presenting some lemmas and related results.Lemma 1.Given the dynamic Equation (4), let us assume that (H1)-(H3) hold.Then, it is Proof.We can demonstrate this for any v(l) by using a straightforward calculation : As a result of Lemma 1, we can see that (4) has the following equivalent form: where , and g(l) = ξ(σ(l))ξ α ( (l))g 1 (l).
The following outcome is directly related to the previous discussion.It is evident from Corollary 1 that the study of the oscillation in ( 4) is reduced to that of (11), so we are only concerned with one type of an eventually positive solution, namely Furthermore, for simplicity, we define The following lemma will play an important role in what follows.
This proves the lemma.
, where B > 0, A and R are constants, γ is a ratio of odd positive integers.Then G attains its maximum value on R at U * = R + (γA/((γ + 1)B)) γ and

Main Results
In this section, we construct some new oscillation criteria for (4).We begin with the oscillation result shown below.For simplicity, in the sequel we will denote for some l 1 ≥ l 0 , then (4) is oscillatory on [l 0 , ∞) T .
Proof.Assume, for the sake of contradiction, that v(l) > 0 and v( (l)) > 0 for all l ≥ l 1 for some is also a positive solution of (11).Define the following Riccati substitution It is clear that w(l) > 0 and .
Integrating the last inequality from l 1 to l, we obtain which contradicts (19) as l → ∞.This completes the proof.
As a result of Theorem 2, we can now restrict to the case: Theorem 3. Let assume that α > 1 and (18) hold.
Proof.Assume that v(l) > 0 and v( (l)) > 0 for all l ≥ l 1 for some ξ(l) is also a positive solution of (11).Following the same steps used to prove Theorem 2, we get By using the fact that a(l)y ∆ (l) is decreasing , we get a(σ(l))y ∆ (σ(l)) ≤ a(l)y ∆ (l).Considering the definition of w(t), we obtain Using this inequality, it follows from (26) that Integrating ( 28) from l to ∞, we obtain It's obvious that w(l) ≥ G(l, l 1 ) for l ≥ l 1 , and therefore Because y ∆ (l) > 0, then there exists l 1 ≥ l 0 and a positive constant c 1 such that y α−1 (σ(s)) ≥ c 1 for s ≥ l 1 .Hence, where c = αc 1 .By virtue of the fact that a(l)y ∆ (l) is decreasing, and (31), we have This leads to On the other hand , by using Pötzsche's chain rule, we have for α > 1, Consequently, it is It follows from ( 33) and ( 35) that By integrating (36) from l 1 to l , we get Letting l → ∞, we arrive at the intended contradiction.
Proof.We proceed by contradiction that v(l) > 0 and v( (l)) > 0 for all l ≥ l 1 for some l 1 ∈ [l 0 , ∞) T .It follows from Theorem 1 that v(l) ξ(l) is also a positive solution of (11).Proceeding as in the proof of Theorem 3, we arrive at In view that a(l)y ∆ (l) is a decreasing function, we deduce for t ∈ [t 1 , ∞) T that ∆s.
Thus, we have a(l)y ∆ (l) In view of the definition of w(l) and (39), from the inequality in (39) we get Consequently, it is Taking lim sup as l → ∞, we obtain a contradiction with (38).This completes the proof.
Proof.Assume that v(l) > 0 and v( (l)) > 0 for all l ≥ l 1 for some ξ(l) is also a positive solution of (11).Following the same steps used to prove Theorem 2, we get (29).Therefore, we have w(l) ≥ G(l, l 1 ) for l ∈ [l 1 , ∞) T .In view of definition of w(l), we have Since a(l)y ∆ (l) is a decreasing function, there exist a constant k > 0 and Hence, we have It follows that Combining ( 44) with (30), we obtain which can be written as where β = αk (α−1)/α .From ( 40), ( 44) and (45), we conclude that Thus, we have Taking lim sup as l → ∞, we obtain a contradiction with (43).This completes the proof.
Proof.Assume that v(l) > 0 and v( (l)) > 0 for all l ≥ l 1 for some ξ(l) is also a positive solution of (11).Define It is clear that v(l) > 0 and and hence Integrating (52) from l 1 to l, we get lim sup which contradicts the hypothesis, and the proof is complete.
The following theorem proposes a new oscillation criterion with less demanding requirements than other results previously appeared in literature.
It follows that every solution of (77) is oscillatory for q 0 > 1 4 .By ([29], Theorem2.1),we see that (77) oscillates if q 0 > 1 , where they also imposed more restrictions than the ones we used, so our results improve those provided by Theorem 2.1 of [29].
It is worth noting that Equation (77) has also been discussed in [6,30], where it is demonstrated that every solution of (77) oscillates or approaches zero as q 0 > 1/4.However, we have demonstrated that under the same conditions, every solution of (77) is oscillatory.As a result, the findings achieved here outperform those found in [6,30].

Conclusions
Investigating the oscillatory behavior of solutions of dynamic equations is one of the most important aspects of qualitative theory.Such studies point not only to its importance in many different applied fields, but also to interesting theoretical and analytical questions.In this study, on time scales, we formulate new oscillation conditions for a class of noncanonical dynamic equations with delay.We adopt an approach that links the noncanonical equations with equations in the canonical case.The new oscillation criteria complement and improve some of the previous results in the literature.Extending the results of this paper to neutral equations will be an interesting topic for future work.

Theorem 1 .Corollary 1 .
The noncanonical dynamic Equation (4) possesses a solution v(l) if and only if the canonical Equation (11) has the solution v(l) ξ(l) .The noncanonical dynamic Equation (4) has an eventually positive solution if and only if the canonical Equation (11) has an eventually positive solution.