On some generalizations of dynamic Opial-type inequalities on time scales

In this paper, we prove some new generalizations of dynamic Opial-type inequalities on time scales. From these inequalities, as special cases, we formulate some integral and discrete inequalities proved in the literature and also extend some obtained dynamic inequalities on time scales. The main results are proved by using some algebraic inequalities, Hölder’s inequality, and a simple consequence of Keller’s chain rule on time scales.


Introduction
In 1960, Opial [24] proved the following inequality: and where c is a constant. Opial's inequality together with its numerous generalizations, extensions, and discretizations has been playing a fundamental role in the study of the existence and uniqueness properties of solutions of initial and boundary value problems for differential equations as well as difference equations [3,20]. In further simplifying the proof of Opial's inequality, which has already been simplified by Olech [23], Beescak [5], Levison [19], Mallows [21], and Pederson [25], it is proved that if x is real absolutely continuous on (0, b) and with x(0) = 0, then b 0 For a generalization of (1.1), Beesack [5] proved that if x is an absolutely continuous function on [a, X] with x(a) = 0, then where r(t) is a positive and continuous function with Yang [27] simplified Beesack's proof and extended inequality (1.3) and proved that: If x is an absolutely continuous function on where r(t) is a positive and continuous function with Hua [15] extended inequality (1.2) and proved that: If x is an absolutely continuous func- where p is a positive integer. We mentioned here that the result in [15] failed to apply for general values of p.
Maroni [22] generalized (1.3) and proved that: If x is an absolutely continuous function where b a ( 1 r(t) ) α-1 < ∞, α ≥ 1, and 1 α + 1 ν = 1. In fact, the discrete analogy of (1.1), which has been proved by Lasota [17], is given by where {x i } 0≤i≤h is a sequence of real numbers with x 0 = x h = 0. The discrete analogy of (1.2) is proved in [4, Theorem 5.2.2] and given by where {x i } 0≤i≤h is a sequence of real numbers with x 0 = 0. In this paper, we are concerned with a certain class of Opial-type dynamic inequalities on time scales and their extensions. If the time scale equals the real (or the integers), the results represent the classical results for differential (or difference) inequalities. The three most popular examples of calculus on time scales are differential calculus, difference calculus, and quantum calculus (see Kac and Cheung [16]), that is, when T = R, T = N, and T = q N = {q t : t ∈ N 0 }, where q > 1. For more details on time scale analysis, we refer the reader to the two books by Bohner and Peterson [7,9] which summarize and organize much of the time scale calculus.
In [6], Bohner and Kaymakcalan introduced the dynamic Opial inequality on time scales, which unifies the continuous version (1.2) and the discrete version (1.9), and proved that if x : In the following, we recall some of the related results that have been established for differential inequalities and dynamic inequalities on time scales that serve and motivate the contents of this paper.
In 1966, Yang [27] proved the following inequality which is a generalization of Opial's inequality and some extensions of Beesack's. He proved that, if u is an absolutely continuous function on [a, X] with u(a) = 0, then where l is a positive and continuous function with Also, in the same paper, the author proved that, if u(b) = 0, then where s is a bounded, positive, and nonincreasing function on [X, b]. Also, as another extension of Opial's inequality, Yang [27] proved that: Cheng-Shyong Lee [18] generalized (1.11) and proved that: If u is an absolutely continuous function on [a, X] with u(a) = 0, then where p ≥ 0, q ≥ 1 and l is positive with Also, in the same paper, the author gave a generalization of inequality (1.12) and proved that: If u is an absolutely continuous function on [X, b] with u(b) = 0, then where p ≥ 0, q ≥ 1, and l is a positive and continuous function with Also, Cheng-Shyong Lee in his paper extended inequality (1.13) and proved that: If u is an absolutely continuous function on During the last decade, many inequalities have been studied by different authors (see [1,2,[10][11][12][13][14]26] and the references cited therein).
In this article, we will state and prove some dynamic Opial-type inequalities on time scales and the results obtained here generalize Theorems (1.14), (1.15), and (1.16). After each result, we will study as special cases when T = R and T = N to obtain some continuous and discrete results. The present article is arranged as follows: In Sect. 2, some basic concepts of the calculus on time scales and useful lemmas are introduced. In Sect. 3, we state and prove the main results. In Sect. 4, we write the conclusion of the paper.

Preliminaries and letmmas on time scales
Before proceeding to our main results, we mention some essentials on time scales and universal symbols to be used in this paper. From now on, R and Z denote the set of all real numbers and the set of all integers, respectively.
A time scale T is an arbitrary nonempty closed subset of R. We suppose throughout the article that T has the topology that it inherits from the standard topology on R. The forward jump operator σ : T → T is defined for any t ∈ T by σ (t) := inf{s ∈ T : s > t}, and the backward jump operator ρ : T → T is defined for any t ∈ T by ρ(t) := sup{s ∈ T : s < t}.
In the previous two definitions, we set inf ∅ = sup T (i.e., if t is the maximum of T, then σ (t) = t) and sup ∅ = inf T (i.e., if t is the minimum of T, then ρ(t) = t), where ∅ is the empty set.
A point t ∈ T with inf T < t < sup T is said to be right-scattered if σ (t) > t, right-dense if σ (t) = t, left-scattered if ρ(t) < t, and left-dense if ρ(t) = t. Points that are simultaneously right-dense and left-dense are called dense points. Whereas points that are simultaneously right-scattered and left-scattered are called isolated points.
We define the forward graininess function μ : T → [0, ∞) for any t ∈ T by μ(t) := σ (t)-t. Let f : T → R be a function. Then the function f σ : T → R is defined by f σ (t) = f (σ (t)), ∀t ∈ T, that is, f σ = f • σ . In a similar manner, the function f ρ : T → R is defined by We introduce the set T κ as follows: If T has a left-scattered maximum t 1 , then Open intervals and half-closed interval are defined similarly. Suppose that f : T → R is a function and t ∈ T κ . Then we say that f (t) ∈ R is the delta derivative of f at t if for any ε > 0 there exists a neighborhood U of t such that, for all s ∈ U, we have , g(t)g(σ (t)) = 0. A function g : T → R is called right-dense continuous (rd-continuous) if g is continuous at the right-dense points in T and its left-sided limits exist at all left-dense points in T.
A function F : T → R is said to be a delta antiderivative of f : If g ∈ C rd (T) and t, t 0 ∈ T, then the definite integral G(t) := t t 0 g(s) s exists, and G (t) = g(t) holds.
Assume that a, b, c ∈ T, α ∈ R, and f , g are continuous functions on [a, b] T . Then We will need the following important relations between calculus on time scales T and either continuous calculus on R or discrete calculus on Z. Note that: (i) If T = R, then In the following, we present the basic theorems that will be needed in the proof of our main results.

Main results
In this section, we state and prove our main results. Throughout this section, p and q are conjugate to each other, i.e., 1/p + 1/q = 1.
Proof Define the function z by the following: Using the fact that z(a) = 0, we have Since By using the dynamic Hölder inequality (2.2) with indices q and q/(q -1), we deduce Since s is positive and nonincreasing on [a, X] T , we have Then multiplying the both sides of (3.2) by l q(q-1) (x)s q 2 /(p+q) (x)|u (x)| q ≥ 0, we get Multiplying (3.3) by (p + q) and integrating it from a to X, we obtain Now, from the chain rule on time scales (2.1), we have Since z (x) ≥ 0 and x ≤ c, we get Applying the dynamic Hölder inequality (2.2) with indices (p + q)/p and (p + q)/q, we obtain

Conclusion
We have proved some new generalizations of dynamic Opial-type inequalities on time scales. As special cases of these dynamic inequalities, we obtained some integral and discrete inequalities known in the literature and also extended some existing dynamic inequalities on time scales.