Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17 DOI 10.1186/s13660-014-0533-z
RESEARCH
Open Access
Time scale Hardy-type inequalities with ?broken? exponentp James A Oguntuase1 , Olanrewaju O Fabelurin2 , Abdulaziz G Adeagbo-Sheikh2 and Lars-Erik Persson3,4* *
Correspondence:
[email protected] Department of Mathematics, Luleå University of Technology, Luleå, 971 87, Sweden 4 Narvik University College, P.O. Box 385, Narvik, 8505, Norway Full list of author information is available at the end of the article 3
Abstract In this paper, some new Hardy-type inequalities involving ?broken? exponents are derived on arbitrary time scales. Our approach uses both convexity and superquadracity arguments, and the results obtained generalize, complement and provide refinements of some known results in literature. MSC: Primary 39B82; secondary 44B20; 46C05 Keywords: Hardy-type inequalities; ?broken? exponent; ?broken? time scale; superquadracity
1 Introduction In , Hardy [] stated (without proof ) the following inequality: ∞
x
p
x
dx ≤
f (t) dt
p p–
p
∞
f p (x) dx,
p > ,
(.)
where f is a non-negative measurable function. This result was finally proved by Hardy [] (see also Hardy []) in . In , Hardy [] obtained and proved the following generalization of inequality (.): ∞
x
p
x
x dx ≤ α
f (t) dt
p p––α
p
∞
f p (x)xα dx,
(.)
which holds for all measurable and non-negative functions f on (, ∞) whenever α < p – , p ≥ . In , Godunova [] discovered that inequality (.) can be proved via convexity argument, but this result was not well known in western literature. The use of convexity argument to prove Hardy-type inequalities was independently rediscovered by Imoru [] and Kaijser et al. [] in and , respectively. After that a great number of papers based on this idea have been presented and applied (see [–]). In a recent paper, Persson and Samko [] used the convexity argument to prove that inequality (.) is equivalent to the following inequality: ∞
x
p
x
f (t) dt
dx ≤ x
∞
f p (x)
dx , x
(.)
© 2015 Oguntuase et al.; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 2 of 14
via the substitution f (x) = g(x–/p )x–/p . In the same paper [] it was also shown that inequality (.) is equivalent to inequality (.) via the substitution f (t) = g(t (p––α)/p )t –(+/p) . It thus follows that Hardy?s initial generalization (.) is not actually a generalization. Furthermore, in the same paper, sufficient conditions for a variant of inequality (.) to hold were given, namely the following inequality: p l x l x dx dx p ≤ f (t) dt f (x) – x x l x
(.)
for p < or p ≥ . The authors established the equivalence theorem for the onedimensional Hardy-type inequalities. In particular, it was shown that inequality (.) is equivalent to the following variant of (.): p l p p–α– l x p p x α p α f (t) dt x dx ≤ f (x)x – dx x p––α l
(.)
for p ≤ , α < p – or p < , α > p – and ≤ l ≤ ∞. A multidimensional version of this equivalence theorem concerning Hardy-type inequalities was proved by Oguntuase et al. []. For the development of the use of convexity argument in obtaining Hardy-type inequalities, we refer interested readers to the review article by Oguntuase and Persson [] and the references cited therein. In a recent paper, Oguntuase et al. [] stated and proved multidimensional Hardy-type inequalities with ?broken? exponent. In particular, the following result was established. Theorem . Let b > , < l ≤ ∞ and p , ≤ x ≤ b, p(x) = p , x > b,
β , ≤ x ≤ b, β(x) = β , x > b,
where p , p , β , β ∈ \ {}. If f is non-negative and measurable and β(x) > , then p(x) β(x) l l x x –β(x) p(x) –β(x) f (t) dt x dx ≤ – dx + I , f (x) x x β(x) l
(.)
where I = , if l ≤ b (so that β(x) = β and p(x) = p ) and I =
–β –β b –l β
b
f (x)p dx –
–β –β b –l β
b
f (x)p dx,
if l > b. If < p(x) ≤ , then (.) holds in the reversed direction (for the case l = ∞, – ( xl )β(x) ≡ and l–β = l–β ≡ ). Remark . Observe that under suitable substitutions, all the variants (.)-(.) can be recovered from (.). Thus (.) is more general than all the other inequalities above. In , Řehák [, Lemma .] proved that if T is any arbitrary time scale that is unbounded above and containing a and α > , then the following estimates hold: a
∞
s ≤ (σ (s))α
a
∞
ds ≤ sα
a
∞
s . sα
(.)
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 3 of 14
Řehák used inequality (.) to establish the time scale version of the Hardy inequality as follows. Theorem . If a > , p > , and f is a non-negative function such that the delta integral
∞ p a (f (s)) s exists as a finite number, then a
∞
σ (x) – a
p
σ (x)
f (t)t
t} and the graininess μ of the time scale T by μ(t) := σ (t) – t. A point t ∈ T is said to be right-dense and right-scattered if σ (t) = t, σ (t) > t, respectively. We define f σ := f ◦ σ . For a function f : T → , the delta derivative is defined by f σ (s) – f (t) . s→t,σ (s) =t σ (s) – t
f (t) :=
lim
A function f : T → R is called rd-continuous provided it is continuous at all right-dense points in T and its left-sided limits exist (finite) at all left-dense points in T. Note that we have σ (t) = t,
μ(t) = ,
f
b
=f ,
f (t)t = a
μ(t) = ,
f (t) dt,
when T = R,
a
σ (t) = t + ,
b
b
f = f ,
f (t)t = a
b–
f (t),
when T = Z.
t=a
For more understanding of the theory of time scales, we refer the interested reader to [, ]. We recall the following definition of the well-known binomial theorem. Definition . ([, Definition .]) (Binomial theorem) If α, x ∈ , the expansion of ( + x)α defined by ( + x)α = + αx + =
α(α – ) · · · (α – β + )xβ α(α – )x + ··· + + ··· ! β!
∞ (α)(β) β x (β + ) β=
is known as the binomial theorem.
(.)
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 4 of 14
Definition . ([, Definition .]) A function φ : [, ∞) → is called superquadratic provided that for all x ≥ there exists a constant Cx ∈ such that φ(y) – φ(x) – φ |y – x| ≥ Cx (y – x) for all y ≥ . We say that φ is subquadratic if –φ is superquadratic.
2 Time scale Hardy-type inequalities with ?broken? exponentp via convexity Before we state our results in this section, we shall need the following lemmas. Lemma . ([, Theorem .]) (Fubini?s theorem on time scales) Let (, M, μ ) and ( , L, λ ) be two finite dimensional time scale measure spaces. If f : × → is a
μ × λ -integrable function and the function φ(y) := f (x, y)x for a.e. y ∈ and
ϕ(x) = λ f (x, y)y for a.e. x ∈ , then φ is λ -integrable on , ϕ is μ -integrable on and
f (x, y)y =
x
f (x, y)x.
y
(.)
Lemma . ([, Theorem .]) Let a, b ∈ T and c, d ∈ . Suppose that f : [a, b]Tk → (c, d) is rd-continuous and φ : (c, d) → is convex. Then φ
b–a
b
f (t)t ≤
a
b–a
b
φ f (t) t.
(.)
a
First, we give the following proposition which is an adaptation of Lemma . in []. Proposition . Let α > and T be any arbitrary time scale that is unbounded above. Let a, l ∈ T be such that < a < l ≤ ∞. Then the following estimates hold:
l
σ (s)
–α
s ≤
a
a
l
ds ≤ sα
a
l
s . sα
(.)
Proof Suppose l < ∞ and denote [a, l]T := {t ∈ T : a ≤ t ≤ l}. We prove only that I ≤ I ∗ , where
b
I=
σ (s)
–α
s
a
and ∗
I = a
l
ds , sα
since the other inequality can be proven analogously. Suppose by contradiction that there exists a time scale T∗ such that a, l ∈ T∗ and I > I ∗ , where I ∗ is taken over [a, l]T∗ . This implies that there exists > such that I – > I ∗ .
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 5 of 14
On the other hand, by virtue of the definition of the delta Riemann integrability, there exists a time scale TD containing a and satisfying TD = {tk : ≤ k ≤ n} with < a = t < t < t < · · · < tn = l such that |I ∗ – ID | < /, where ID := TD
l
σ (s)
–α
s.
a
Here, the delta integral is taken over [a, l]TD . Thus we get I ∗ + ≤ ID < I ∗ + /, a contradiction. For the case l = ∞, the proof is given in [].
Our first result in this section reads as follows. Theorem . Let β > and T be any arbitrary time scale. If f : T → is differentiable, then the following inequality
t
(s – a) b
β–
(β – )(k) μ(s) k + s ≤ (t – a)β – (b – a)β (k + ) s – a β nβ +
(.)
k=
holds for any a, b, t ∈ Tk such that ≤ a < b ≤ t, where nβ := inf n ∈ N ∪ {} : β – n ≥ . Proof Let f : T → be a function defined by f (t) :=
(t – a)β – (b – a)β ∀t ∈ T. β
By Definition . and equation (.) we have that βμ(t) β(β – ) μ(t) + + + ··· – (t – a) ! t–a (β – )(β – ) μ(t) (β – ) μ(t) β– + = (t – a) + ··· + ! t–a ! t–a nβ –
(β – )(k) μ(t) k β– = (t – a) + (k + ) t – a k= (β – )(β – ) · · · (β – nβ ) nβ μ (t)(t – a)β–(nβ +) +O (nβ + ) nβ –
(β – )(k) μ(t) k β– ≥ (t – a) + . (k + ) t – a
(t – a)β f (t) = βμ(t)
k=
(.)
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 6 of 14
Integrating, we get that
t
(s – a) b
β–
(β – )(k) μ(s) k + s ≤ (t – a)β – (b – a)β . (k + ) s – a β nβ –
k=
Remark . We observed that the chain rule can be applied to simplify the proof of Theorem .. The techniques for doing this can be found in the papers [–] and the details are left to interested readers. Also, a discrete version of Theorem . can easily be obtained, and interested readers can fill this gap since this is not the main focus of this paper. Theorem . Let b > , β(x) > , < l ≤ ∞, and p , ≤ x ≤ b, p(x) = p , x > b,
β , ≤ x ≤ b, β(x) = β , x > b,
(.)
where p , p , β , β ∈ \{}. If f : T → is non-negative -integrable and f ∈ Crd ([a, b], ) for which
l
a
y – a β(x) f (x)p(x) – (y – a)–β(x) x < ∞, β(x) l–a
then l
p(x) σ (x) –β(x) f (y)(y) (x) σ (x) – a (σ (x) – a) a a l x – a β(x) f (x)p(x) – ≤ (x – a)–β(x) (x) + I , β(x) l–a a
(.)
where I = if l ≤ b (so that β(x) = β and p(x) = p ) and (b – a)–β – (l – a)–β I = β
b
(b – a)–β – (l – a)–β f (x) x – β
p
a
b
f (x)p x. a
Moreover, assume that p ≥ , p ≥ or p ≥ , p < or p < , p ≥ or p < , p < (for the case with negative parameters, we assume that the function f is strictly positive on the corresponding interval). If < p(x) ≤ , then (.) holds in the reverse direction. Proof Let l ≤ b. Applying Jensen?s inequality (.), Fubini?s Theorem. and Proposition ., we obtain that p(x) σ (x) –β(x) σ (x) – a f (y)y x (σ (x) – a) a a l σ (x) –β ≤ f (y)p y σ (x) – a x a (σ (x) – a) a l f (y)p(y) (y – a) β(y) –β(y) ≤ – y. (y – a) β(y) (l – a) a
l
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 7 of 14
Next, for the case b < l, by applying Jensen?s inequality (.), Fubini?s Theorem., Propositions . and ., we find that p(x) σ (x) –β(x) σ (x) – a f (y)y x (σ (x) – a) a a p σ (x) b –β σ (x) – a x f (y)y = (σ (x) – a) a a p b l –β σ (x) – a x f (y)y + (σ (x) – a) a b p σ (x) l –β σ (x) – a x + f (y)y (σ (x) – a) b b b y – a β f (y)p y (y – a)–β – ≤ β l–a a l f (y)p y – a β + (y – a)–β – β y–a b b f (y)p f (y)p (b – a)–β – (l – a)–β y + – (b – a)–β – (l – a)–β β β a l y – a β(x) f (y)p(x) = y + I . (y – a)–β(x) – β(x) l–a a
l
For the proof of the case < p(x) ≤ , we first note that the functions involving exponents p and p are concave. Therefore the two inequalities above hold in the reverse direction so also this case is proved. Remark . By taking T = and a = in Theorem ., inequality (.) coincides with inequality (.) obtained in []. Next, we state a dual version of Theorem ., when the Hardy operator H : f (x) → σ (x) – a
σ (x)
f (y)y a
is replaced by the dual Hardy operator H ∗ : f (x) → σ (x) – a
∞ σ (x)
f (t)t . (σ (t) – a)(t – a)
Hence, our result in this direction reads as follows. Theorem . Let b > , β > , ≤ l < ∞ and p , ≤ x ≤ b, p(x) = p , x > b,
β , ≤ x ≤ b, β(x) = β , x > b,
(.)
where p , p , β , β ∈ \{}. Moreover, assume that p ≥ , p ≥ or p ≥ , p < or p < , p ≥ or p < , p < (for the case with negative parameters, we assume that the function
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 8 of 14
f is strictly positive on the corresponding interval). If f is a non-negative delta integrable function and f ∈ Crd ([a, b], ) for which
∞
l
p(t) l – a β(t) t f (t) < ∞, (t – a)β(t) – β(t) t–a (σ (t) – a)(t – a)
then ∞
σ (x) – a
∞ σ (x)
l
f (t)t (σ (t) – a)(t – a)
p(x) (x – a)β(x)
(β(x) – )(k) μ(x) k x × + (k + ) x–a (σ (x) – a)(x – a) nβ(x) –
k=
∞
≤ l
p(x) l – a β(x) x f (x) + I , (x – a)β(x) – β(x) x–a (σ (x) – a)(x – a)
(.)
where I = if l ≤ b (so that β(x) = β and p(x) = p ) and I =
(b – a)β – (l – a)β β
∞
(f (x))p x (σ (x) – a)(x – a)
b
(b – a)β – (l – a)β – β
∞ b
(f (x))p x. (σ (x) – a)(x – a)
If < p(x) ≤ , then (.) holds in the reverse direction. Proof Let l > b. By utilizing Jensen?s inequality (.), Fubini?s Theorem. and Lemma . and taking into account (.), we find that ∞
σ (x) – a
∞ σ (x)
l
f (t)t (σ (t) – a)(t – a)
p(x) (x – a)β(x)
(β(x) – )(k) μ(x) k x × + (k + ) x–a (σ (x) – a)(x – a) nβ(x) –
k=
∞ ∞
≤
σ (x)
l
∞
= l
∞
≤ l
nβ – (f (t))p t (β – )(k) μ(x) k + (x – a)β – x (σ (t) – a)(t – a) (k + ) x – a k=
(f (t))p (σ (t) – a)(t – a)
t
(x – a)
β –
l
(β – )(k) μ(x) k + x t (k + ) x – a
nβ – k=
l–a p(t) f (t) (t – a)β(t) – β(t) t–a
β(t)
t . (σ (t) – a)(t – a)
Next, let l ≤ b. Then, by applying Jensen?s inequality (.), Fubini?s Theorem. and Lemma ., and taking into account (.), we find that ∞
σ (x) – a
∞ σ (x)
l
f (t)t (σ (t) – a)(t – a)
p(x) (x – a)β(x)
(β(x) – )(k) μ(x) k x × + (k + ) x–a (σ (x) – a)(x – a) nβ(x) –
k=
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
b ∞
≤
σ (x)
l
nβ – (f (t))p t (β – )(k) μ(x) k + (x – a)β – x (σ (t) – a)(t – a) (k + ) x – a k=
∞ ∞
+ σ (x)
b
b l
∞
+ b
∞
+ b
b
≤ l
nβ – (β – )(k) μ(x) k (f (t))p t + (x – a)β – x (σ (t) – a)(t – a) (k + ) x – a k=
(f (t))p (σ (t) – a)(t – a)
=
(f (t))p (σ (t) – a)(t – a) (f (t))p (σ (t) – a)(t – a)
t
(x – a)
β –
l
(β – )(k) μ(x) k + x t (k + ) x – a nβ –
k=
b
(x – a)
β –
l
(β – )(k) μ(x) k + x t (k + ) x – a nβ –
k=
t
(x – a)
β –
b
(β – )(k) μ(x) k + x t (k + ) x – a nβ – k=
(f (t)) (t – a)β – (l – a)β t (σ (t) – a)(t – a) β p
∞
+ b
Page 9 of 14
(f (t))p (b – a)β – (l – a)β t (σ (t) – a)(t – a) β
∞
(f (t))p (t – a)β – (b – a)β t (σ (t) – a)(t – a) β b ∞ p(t) b – a β(t) t β(t) – (t – a) f (t) + I . = β(t) t–a (σ (t) – a)(t – a) l +
Remark . By taking T = and a = in Theorem ., inequality (.) coincides with Theorem . in [].
3 Time scale Hardy-type inequalities with ?broken? exponentp via superquadracity Refined Jensen?s inequality on time scales for superquadratic functions has been recently obtained by Barić et al. This inequality is very useful in the proof of our results in this section. Lemma . ([, Theorem .]) Let a, b ∈ T. Suppose that f : [a, b]Tk → [, ∞] is rdcontinuous and φ : [, ∞] → is continuous and superquadratic. Then
φ b–a
b
a
f (t)t ≤ b–a
b φ f (s) – φ f (s) – a
b–a
b a
f (t)t s.
(.)
Proof For the proof, see []. Our first result in this section reads as follows.
Theorem . Let the assumptions of Theorem . be satisfied. Moreover, let u ∈ Crd ([a, b],
l u(x) ) be a non-negative function such that the -integral t (σ (x)–a) β(x)+ x < ∞ and define the weight function υ by v(t) := (t – a) t
l
u(x) x, (σ (x) – a)β(x)+
t ∈ (a, b).
(.)
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 10 of 14
() If is a non-negative superquadratic function on (a, c), < a < c ≤ ∞, then
σ (x) –β(x) u(x) f (t)t σ (x) – a x (σ (x) – a) a a σ (x) l l u(x) f (t) – f (t)t xt + (σ (x) – a) (σ (x) – a)β(x)+ a t a l x υ(x) f (x) ≤ x–a a l
(.)
holds for all -integrable functions and f ∈ Crd ([a, b], R) such that f (x) ∈ (a, c). () If the real-valued function is subquadratic on (a, c), < a < c ≤ ∞, then (.) holds in the reversed direction. Proof () Let l ≤ b. Applying refined Jensen?s inequality (.), after taking into account Definition ., we get that
l
u(x) a
l
≤ a
(σ (x) – a)
f (t)t
– a
σ (x) – a
–β(x)
x
a
u(x) (σ (x) – a)β + l
σ (x)
σ (x)
f (t) tx
a
u(x) (σ (x) – a)β +
σ (x)
a
σ (x) f (t) – f (t)t tx. (σ (x) – a) a
(.)
By utilizing Fubini?s Theorem. and taking into account Definition . of the weight function v, we obtain that the right-hand side of (.) is not greater than
t υ(t) f (t) t–a a l l – f (t) – l
a
(σ (x) – a)
t
σ (x)
a
u(x) f (t)t xt. (σ (x) – a)β +
Let l > b. Applying again refined Jensen?s inequality (.), after taking into account Definition ., we find that
l
u(x) a
l
≤ a
u(x) (σ (x) – a)β + l
–
(σ (x) – a)
a l
+ a
–
a
l
σ (x)
f (t)t
σ (x) – a
–β(x)
x
a
u(x) (σ (x) – a)β + u(x) (σ (x) – a)β + u(x) (σ (x) – a)β +
σ (x)
f (t) tx
a
σ (x)
a
σ (x) a
σ (x) a
σ (x) f (t) – f (t)t tx (σ (x) – a) a f (t) tx σ (x) f (t) – f (t)t tx. (σ (x) – a) a
(.)
Finally, utilizing Fubini?s Theorem. and taking into account Definition . of the weight function v, we obtain that the right-hand side of (.) equals
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
l a
t υ(t) f (t) t–a l l f (t) – –
a
t
(σ (x) – a)
σ (x) a
Page 11 of 14
u(x) f (t)t xt (σ (x) – a)β +
t υ(t) f (t) t–a a σ (x) l l u(x) – f (t) – f (t)t xt. (σ (x) – a) (σ (x) – a)β + a t a l
+
(.)
The proof for the case when φ is subquadratic is similar except that the only inequality above holds in the reverse direction. The proof is now complete. We now give some applications of Theorem .. (x)–a )u(x) instead of u(x), then Example . If we let β(x) = and apply Theorem . to ( σ x–a we get
σ (x) x f (t)t (σ (x) – a) a x–a a l l σ (x) u(x) + f (t) – f (t)t xt (σ (x) – a) a (x – a)(σ (x) – a) a t l x . υ(x) f (x) ≤ x–a a l
u(x)
(.)
The sign of inequality (.) is reversed for the case < p(x) ≤ . Remark . Inequality (.) coincides with Theorem . in []. Now we will use the well-known fact that φ(u) = up(x) is superquadratic for p(x) ≥ and (subquadratic if < p(x) ≤ ) in the next example. Example . Let u(x) = and p(x) ≥ . By Proposition ., we get that (x – a)–β(x) x – a β(x) v(x) ≤ – β(x) l–a
if l < ∞.
Under these conditions, inequality (.) yields p(x) σ (x) –β(x) σ (x) – a f (t)t x (σ (x) – a) a a p(x) l l σ (x) u(x) + f (t)t xt f (t) – (σ (x) – a) (σ (x) – a)β(x)+ a t a l p(x) f (x) x – a β(x) ≤ (x – a)–β(x) x. – β(x) l–a a
l
The sign of inequality (.) is reversed for the case < p(x) ≤ .
(.)
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 12 of 14
Remark . Since φ is a non-negative function, the second term on the left-hand side of inequality (.) is non-negative. Theorem . Let the assumptions of Theorem . be satisfied. Moreover, let u ∈ Crd ([a, b], R) be a non-negative function such that t l
(β – )(k) μ(x) k + u(x)(x – a)β(x)– x < ∞, (k + ) x – a nβ – k=
and define the weight function υ by t n β – (β – )(k) μ(x) k + u(x)(x – a)β(x)– x, v(t) := (k + ) x – a l
t ∈ (a, b).
(.)
k=
() If the real-valued function is a superquadratic on (a, c), < a < c ≤ ∞, then
∞
f (t)t (x – a)β(x) (σ (t) – a)(t – a) σ (x) nβ(x) –
(β(x) – )(k) μ(x) k x × + (k + ) x–a (σ (x) – a)(x – a)
u(x) l
σ (x) – a
∞
k=
nβ – ∞ t (β – )(k) μ(x) k + + u(x)(x – a)β – (k + ) x – a l l k= ∞ f (t)t xt × f (t) – σ (x) – a σ (x) (σ (t) – a)(t – a) ∞ x υ(x) f (x) ≤ (σ (x) – a)(x – a) l
(.)
holds for all -integrable functions f ∈ Crd ([a, b], R) such that f (x) ∈ (a, c). () If the real-valued function is subquadratic on (a, c), < a < c ≤ ∞, then (.) holds in the reversed direction. Proof Let l > b. Applying refined Jensen?s inequality (.), we find that the first term on the left-hand side of inequality (.) is not greater than
∞
l
∞
(f (t))t (σ (t) – a)(t – a) σ (x) nβ – (β – )(k) μ(x) k x × + (k + ) x – a
u(x)(x – a)
β –
k=
(β – )(k) μ(x) k – + u(x)(x – a) (k + ) x – a l k= ∞ ∞ f (t)t tx. × f (t) – σ (x) – a σ (x) σ (x) (σ (t) – a)(t – a)
∞
nβ –
β –
(.)
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 13 of 14
Finally, employing Fubini?s Theorem. and Proposition ., we obtain that the right-hand side of (.) is not greater than
∞ l
υ(t) f (t)
(β – )(k) μ(x) k + u(x)(x – a)β – – (k + ) x – a l l k= ∞ f (t)t xt. × f (t) – σ (x) – a σ (x) (σ (t) – a)(t – a)
∞ t
t (σ (t) – a)(t – a) nβ –
Now we consider Theorem . in some special cases. First we note that if we set u(x) = , then we find that (x – a)β(x) l – a β(x) – β(x) x–a
v(x) ≤
if l < ∞
by Proposition .. Corollary . Let the assumptions of Theorem . be satisfied. If φ is non-negative superquadratic, then
∞
f (t)t (x – a)β(x) (σ (t) – a)(t – a) σ (x)
nβ(x) – (β(x) – )(k) μ(x) k x × + (k + ) x–a (σ (x) – a)(x – a)
l
σ (x) – a
∞
k=
(β – )(k) μ(x) k + + (x – a)β – (k + ) x – a l l k= ∞ f (t)t xt × f (t) – σ (x) – a σ (x) (σ (t) – a)(t – a) ∞ x (x – a)β(x) l – a β(x) f (x) – . ≤ β(x) x – a (σ (x) – a)(x – a) l
∞ t
nβ –
(.)
Example . Assume that T = , a = and (x) = xp . Then inequality (.) yields the inequality ∞
f (t) dt p(x) β(x) dx x x t x x ∞ t + (x – a)β(x)– f (t) – x
l
l
∞
≤ l
∞
l
x
∞
f (t) dt p(x) dx dt t
β p(x) β(x) l dx – x . f (x) β(x) x x
(.)
Remark . Since φ is a non-negative function, the second term on the left-hand side of inequality (.) is non-negative. Hence inequality (.) provides a refinement of inequality (.) in [] if written for l ≤ b.
Oguntuase et al. Journal of Inequalities and Applications (2015) 2015:17
Page 14 of 14
Competing interests The authors declare that they have no competing interests. Authors? contributions All the authors have contributed in all parts to equal extent. Also, all the authors read and approved the final manuscript. Author details 1 Department of Mathematics, Federal University of Agriculture, P.M.B. 2240, Abeokuta, Ogun, Nigeria. 2 Department of Mathematics, Obafemi Awolowo University, Ile-Ife, Osun, Nigeria. 3 Department of Mathematics, Luleå University of Technology, Luleå, 971 87, Sweden. 4 Narvik University College, P.O. Box 385, Narvik, 8505, Norway. Acknowledgements The authors are grateful to the careful referees for useful comments and advice that have led to the improvement of this work. The first author who is a senior associate of the Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste, Italy would like to thank the Abdus Salam ICTP for support. Received: 23 August 2014 Accepted: 17 December 2014 References 1. Hardy, GH: Note on a theorem of Hilbert. Math. Z. 6, 314-317 (1920) 2. Hardy, GH: Notes on some points in the integral calculus, LX. An inequality between integrals. Messenger Math. 54, 150-156 (1925) 3. Hardy, GH, Littlewood, JE, Pólya, G: Inequalities. Cambridge University Press, Cambridge (1959) 4. Hardy, GH: Notes on some points in the integral calculus, LXIV. Further inequalities between integrals. Messenger Math. 57, 12-16 (1928) 5. Godunova, EK: Inequalities with convex functions. Transl. Am. Math. Soc. 88, 57-66 (1970). Translation from Izv. Vys?. Uˇcebn. Zaved., Mat. 4(47), 45-53 (1965) 6. Imoru, CO: On some integral inequalities related to Hardy?s. Can. Math. Bull.20(3), 307-312 (1977) 7. Kaijser, S, Persson, L-E, Öberg, A: On Carleman?s and Knopp?s inequalities. J. Approx. Theory117, 140-151 (2002) 8. Krulic, K: Generalizations and refinement of Hardy?s inequalities. Ph.D thesis, Department of Mathematics, University of Zagreb (2010) 9. Oguntuase, JA, Persson, L-E: Hardy-type inequalities via convexity - the journey so far. Aust. J. Math. Anal. Appl. 7(2), 18 (2011) 10. Persson, L-E, Samko, N: Some remarks and new developments concerning Hardy-type inequalities. Rend. Circ. Mat. Palermo 82, 1-29 (2010) 11. Persson, L-E, Samko, N: What should have happened if Hardy had discovered this? J. Inequal. Appl. 2012, 29 (2012) 12. Oguntuase, JA, Persson, L-E, Samko, N, Sonubi, A: On the equivalence between some multidimensional Hardy-type inequalities. Banach J. Math. Anal. 8, 1-13 (2014) 13. Oguntuase, JA, Persson, L-E, Samko, N: Some Hardy-type inequalities with ?broken? exponent. J. Math. Inequal.8(3), 405-416 (2014) ˇ 14. Rehák, P: Hardy inequality on time scales and its applications to half-linear dynamic equations. J. Inequal. Pure Appl. Math. 5, 495-507 (2005) 15. Agarwal, RP, Bohner, M, Peterson, A: Inequalities on time scales: a survey. Math. Inequal. Appl. 4(4), 535-557 (2001) 16. Bari´c, J, Bibi, R, Bohner, M, Peˇcari´c, J: Time scales integral inequalities for superquadratic functions. J. Korean Math. Soc. 50, 465-477 (2013) 17. Oguntuase, JA, Persson, L-E: Time scales Hardy-type inequalities via superquadracity. Ann. Funct. Anal. 5(2), 61-73 (2014) 18. Özkan, UM, Yildirim, H: Hardy-Knoop type inequalities on time scales. Dyn. Syst. Appl. 17(3-4), 477-486 (2008) 19. Özkan, UM, Yildirim, H: Time scale Hardy-Knoop type integral inequalities. Commun. Math. Anal. 6(1), 36-41 (2009) 20. Agarwal, RP, Bohner, M, Saker, SH: Dynamic Littlewood-type inequalities. Proc. Am. Math. Soc. 143(2), 667-677 (2015) 21. Saker, SH, Graef, J: A new class of dynamic inequalities of Hardy?s type on time scales. Dyn. Syst. Appl.23, 83-93 (2014) 22. Saker, SH, O?Regan, D, Agarwal, RP: Some dynamic inequalities of Hardy?s type on time scales. Math. Inequal. Appl.17, 1183-1199 (2014) 23. Saker, SH, O?Regan, D, Agarwal, RP: Dynamic inequalities of Hardy and Copson types on time scales. Analysis34, 391-402 (2014) 24. Saker, SH, O?Regan, D, Agarwal, RP: Generalized Hardy, Copson, Leindler and Bennett inequalities on time scales. Math. Nachr. 287(5-6), 686-698 (2014) 25. Bohner, M, Peterson, A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001) 26. Bohner, M, Peterson, A (eds.): Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003) 27. Abramovich, S, Jameson, G, Sinnamon, G: Refining of Jensen?s inequality. Bull. Math. Soc. Sci. Math. Roum.47(1-2), 3-14 (2004) 28. Bibi, R, Bohner, M, Peˇcari´c, J, Varo?anec, S: Minkowski and Beckenbach-Dresher inequalities and functionals on time scales. J. Math. Inequal. 7(3), 299-312 (2013)
