Half-linear dynamic equations and investigating weighted Hardy and Copson inequalities

In this paper, we employ some algebraic equations due to Hardy and Littlewood to establish some conditions on weights in dynamic inequalities of Hardy and Copson type. For illustrations, we derive some dynamic inequalities of Wirtinger, Copson and Hardy types and formulate the classical integral and discrete inequalities with sharp constants as particular cases. The results improve some results obtained in the literature.


Introduction
Hardy in [12] proved the discrete inequality where a(s) is a positive sequence for s ≥ 1. In [13] Hardy proved the integral form where f is a positive function. In [10] Copson considered a new type of inequalities of the where f is a positive function and q > 1. In [11] Copson (see also [14, Theorem 344]) proved the discrete version of (3), which is given by where q > 1 and a(s) > 0 for s ≥ 0. In [4] Beesack proved an inequality of the form b a ω(y) where γ and ω satisfy the differential equation of Euler-Lagrange type γ (y) z (y) q-1 + ω(y)z q-1 (y) = 0.
The method of the proofs in [4] depends on the solution of (6) when the first derivative z > 0 on the interval (a, b). The approach of Beesack extended to generalized Hardy's type inequalities; see, e.g., Beesack [5] and Shum [23]. Some of the conditions on z, γ and ω were removed by Tomaselli [26]. In particular Tomaselli followed up the papers by Talenti [24] and [25] and proved some inequalities with some special weighted functions. The discrete analogues for the continuous results have been considered by some authors, we refer to the articles by Chen [8,9] and Liao [15]. It is worth to mention here that some parts of the proofs of Liao's results are based on the technique used in [7] and [14], which are based on the application of the variational principle which is not an easy task to apply on time scales and then we did not consider in our proofs of characterizations of weights of the inequalities that we will consider in our paper. There is thus an urgent need of a new technique that helps us in studying such problems on time scales, which is our main aim in this paper.
The dynamic equations and inequalities have been introduced by Hilger in 1988 and considered by a lot of authors, we refer to Refs. [1-3, 16-20, 27]. One of the applications of Hardy-type inequalities in dynamic equations was demonstrated in [19]. In particular, in [19] the author established a time-scale version of the Hardy inequality, which unifies and extends well-known Hardy inequalities in the continuous and in the discrete setting, and presented an application in the oscillation theory of half-linear dynamic equations to obtain sharp oscillation results. Recently, in [21] the authors established some conditions on the weights of dynamic inequalities of Hardy's type to be hold. More precisely it has been proved that, where p * is the conjugate of p > 1, then where w is a positive function, if and only if there is a number η > 0, such that the equation has a solution u(s) that satisfies In this paper, we establish some relations between the weights in generalized inequalities of Hardy and Copson type by using the solutions of dynamic equations of half-linear types. The technique in our paper allows us to cover the inequalities with tails of Copson's type with weights and improve the above results, since our results do not need the restrictive condition (7). In Sect. 2, we are concerned with the presentation of some basic definitions and preliminaries regarding the time-scale calculus. The dynamic Hardy-type inequality of the form will be proved in Sect. 3, where the method reduces the proofs to the solvability of dynamic equation where u > 0, u > 0. Next, we prove new conditions on weights in the dynamic Copsontype inequality with tail of the form and we prove that the conditions on the weights reduces to the solvability of the dynamic equation where u > 0, u < 0. To the best of the authors' knowledge the results in this case are essentially new. For illustration, we derive some dynamic inequalities as special cases and from them we formulate some classical and discrete inequalities.

Preliminaries
In this section, we present some basic definitions that will be used in the sequel and for more details see [6]. The derivative on time scales of ϒ and /ϒ of two functions and ϒ are given by The forward jump operator σ (t) on a time scale T is defined by σ (t) := inf{s ∈ T : s > t} and the graininess function μ is defined by μ(t) := σ (t)t, and for any function : T → R the notation σ (t) denotes (σ (t)). The Cauchy (delta)-integral is defined by (t) t. The chain rule for functions : R → R, which is continuously differentiable, and ϒ : T → R, which is deltadifferentiable, is given by this rule leads to the useful form Another formula pertaining to the chain rule states that which provides us with the following useful form: For a, b ∈ T and , ∈ C rd (T), the integration by parts formula is given by The Hölder inequality on time scales is given by where q > 1 and 1/q

Main results
In this section, we will prove the main results and we begin with inequalities of Hardy's type with heads. In what follows, all functions in the statements of the theorems are assumed to be rd-continuous, and positive functions (see [6]). The set of all such rd-continuous functions is denoted by C rd (T). Let γ , ω ∈ C rd ([α, β] T , R + ), and S ∈ C 1 rd ([α, β] T , R + ). Suppose that γ (t) and ω(t) satisfy the half-linear dynamic equation of Euler-Lagrange type for any real number θ > 1, and and For convenience sometimes in the computations we skip the argument t.
Lemma 3.1 Assume that α, β ∈ T and suppose that S(t) and ϒ(t) are nondecreasing. If z ∈Ĥ 1 , and γ and ω satisfy Eq. (19), then Proof From the definition of v and by using the rules of derivative on time scales (15) Since we have from (19) and (25) Let z = Sϒ, then we have by employing the product rule of derivative Also by the product rule of derivative, we have Substituting (26) and (27) into (28), we obtain The product rule of derivative now yields Substituting (30) into (29), we have which is the desired equation, Eq. (23). The proof is complete.

Remark 3.3 For the differential form, we get from Remark 3.2 the Wirtinger inequality
where γ and ω satisfy the differential equation (48) and u(0) = 0.
Remark 3.4 When T = N, we obtain from Theorem 3.3 the following inequality: where u is a positive summable sequence, and the sequences γ and ω satisfy the difference equation where S(n) > 0, S(n) > 0.

Lemma 3.3 Suppose that α, β ∈ T and S(t) and ϒ(t) are nonincreasing. If z ∈Ĥ 2 , and γ
and ω satisfy the dynamic equation (53) then Proof From the definition of v and by using the rules (15) Since from (53) and (59), we see that (note Let z = Sϒ, then we have Substituting (60) and (61) into By using the product rule, we see that Substituting (63) into (62), we have Since z = Sϒ ≥ 0, we get (note that |S | = -S ) which is the desired equation, Eq. (57). The proof is complete.
Remark 3.7 As a special case of (75), we get the Wirtinger type inequality where γ and ω satisfy the differential equation (76) and u(β) = 0.
We give some examples for illustration. which is the Hardy-Littlewood inequality with a sharp constant (θ /(1γ )) θ (see [22]). where u is a positive summable sequence over any finite interval (1, k),and the sequences γ and ω satisfy the difference equation where S(n) > 0, S(n) < 0. which is the discrete Hardy-Littlewood inequality with a sharp constant (θ /(1γ )) θ .