- Research
- Open Access
- Published:
Some new Hardy-type inequalities on time scales
Advances in Difference Equations volume 2020, Article number: 441 (2020)
Abstract
In this paper, we will prove some new dynamic inequalities of Hardy-type on time scales. Some of the integral and difference inequalities that will be derived from our results in the continuous and discrete cases are original. The main results will be proved by using the dynamic Hölder inequality, integration by parts formula on time scales, and Keller’s chain rule on time scales. We will apply the main results to the continuous calculus, discrete calculus, and q-calculus as special cases.
1 Introduction
In 1920, Hardy [13] established the following renowned discrete inequality.
Theorem 1.1
If \(\{a(n)\}_{n=0}^{\infty }\)is a nonnegative real sequence and \(p>1\), then
Hardy discovered this inequality while attempting to sketch an easier proof of Hilbert’s inequality for double series which was known at that time.
In 1925, using the calculus of variations, Hardy himself in [7] gave the integral analogue of inequality (1.1) as follows:
Theorem 1.2
If f is a nonnegative continuous function on \([0,\infty )\)and \(p>1\), then
In 1927, Littlewood and Hardy [25] extended inequality (1.1) and obtained the following discrete inequalities.
Theorem 1.3
Let \(\{a(n)\}_{n=0}^{\infty }\)be a sequence of nonnegative real numbers.
-
(i)
If \(p>1\)and \(\alpha >1\), then
$$ \sum_{n=1}^{\infty } \frac{1}{n^{\alpha }} \Biggl(\sum_{m=1}^{n}a(m) \Biggr)^{p} \leq C(p,\alpha )\sum_{n=1}^{\infty } \frac{1}{n^{\alpha -p}}a^{p}(n). $$(1.3) -
(ii)
If \(p>1\)and \(\alpha <1\), then
$$ \sum_{n=1}^{\infty } \frac{1}{n^{\alpha }} \Biggl(\sum_{m=n}^{\infty }a(m) \Biggr)^{p} \leq C(p,\alpha )\sum_{n=1}^{\infty } \frac{1}{n^{\alpha -p}} a^{p}(n), $$(1.4)where \(C(p,\alpha )\)in inequalities (1.3) and (1.4) is a nonnegative constant that depends on p and α.
In the same paper [25], the authors proved the following sharp inequality of Hardy-type.
Theorem 1.4
If f is a nonnegative continuous function on \([0,\infty )\)and \(p>1\), then
which by a trivial transformation can be rewritten as
In 1928, Hardy [15] established the continuous versions of inequalities (1.3) and (1.4) as follows:
Theorem 1.5
Let f be a nonnegative continuous function on \([0,\infty )\).
-
(i)
If \(p>1\)and \(\alpha >1\), then
$$ \int _{0}^{\infty }\frac{1}{x^{\alpha }} \biggl( \int _{0}^{x}f(s)\,ds \biggr)^{p} \,dx \leq \biggl(\frac{p}{\alpha -1} \biggr)^{p} \int _{0}^{\infty }\frac{1}{x^{\alpha -p}}f^{p}(x) \,dx. $$(1.6) -
(ii)
If \(p>1\)and \(\alpha <1\), then
$$ \int _{0}^{\infty }\frac{1}{x^{\alpha }} \biggl( \int _{x}^{\infty }f(s)\,ds \biggr)^{p}\,dx \leq \biggl(\frac{p}{1-\alpha } \biggr)^{p} \int _{0}^{\infty } \frac{1}{x^{\alpha -p}}f^{p}(x) \,dx. $$(1.7)
In the same year, Copson [11] generalized the discrete Hardy inequality (1.1) and obtained the next two discrete inequalities.
Theorem 1.6
Let \(\{a(n)\}_{n=1}^{\infty }\)and \(\{g(n)\}_{n=1}^{\infty }\)be sequences of nonnegative real numbers. Then
and
In 1970, Leindler [22] studied the case that the sum \(\sum_{n=1}^{\infty }g(m)<\infty \) on the left-hand side of inequality (1.8) is replaced with the sum \(\sum_{m=n}^{\infty }g(m)<\infty \). His result can be written as:
Theorem 1.7
Let \(\{a(n)\}_{n=1}^{\infty }\) and \(\{g(n)\}_{n=1}^{\infty }\) be sequences of nonnegative real numbers with
\(\sum_{m=n}^{\infty }g(m)<\infty \). If \(p>1>\alpha \geq 0\), then
In 1976, Copson [12] gave the continuous versions of inequalities (1.8) and (1.9). Specifically, he established the following result.
Theorem 1.8
Let f and g be nonnegative continuous functions on \([0,\infty )\). Then
and
In 1987, Bennett [5], similarly to what Leindler did in Theorem 1.7, proved the following result.
Theorem 1.9
Let \(\{a(n)\}_{n=1}^{\infty }\)and \(\{g(n)\}_{n=1}^{\infty }\)be sequences of nonnegative real numbers with \(\sum_{m=n}^{\infty }g(m)<\infty \). If \(p\geq \alpha >1\), then
The study of Hardy-type inequalities attracted and still attracts the attention of many researchers. Over several decades many generalizations, extensions, and refinements have been made to the above inequalities; we refer the interested reader to the papers [3–7, 11, 14, 15, 17, 22], the books [16, 20, 21, 26] and the references cited therein.
The theory of time scales, which has recently received a lot of attention, was initiated by Stefan Hilger in his PhD thesis in order to unify discrete and continuous analysis [18]. The general idea is to prove a result for a dynamic equation or a dynamic inequality where the domain of the unknown function is a so-called time scale \(\mathbb{T}\), which may be an arbitrary closed subset of the real numbers \(\mathbb{R}\), see [8, 10]. The three most popular examples of calculus on time scales are differential calculus, difference calculus, and quantum calculus (see [19]), i.e., when \(\mathbb{T} = \mathbb{R}\), \(\mathbb{T} = \mathbb{Z}\), and \(\mathbb{T} = \overline{q^{\mathbb{Z}}} = \{q^{z} : z \in \mathbb{Z} \}\cup \{0\}\) where \(q > 1 \). The book on the subject of time scales by Bohner and Peterson [9] summarizes and organizes much of time scales calculus. During the past decade, a number of dynamic inequalities have been established by some authors who were motivated by some applications, for example, when studying the behavior of solutions of certain class of dynamic equations on a time scale \(\mathbb{T}\), see [2, 9, 23, 24] and the references cited therein.
In 2005, Řehák [27] was the first in extending Hardy-type inequalities to time scales. In particular, he generalized inequalities (1.1) and (1.2) to an arbitrary time scale and applied his results in the oscillation theory of half-linear dynamic equations, in doing so, he unified them in one form as shown next.
Theorem 1.10
Let \(\mathbb{T}\)be a time scale, and \(f\in C_{rd} ([a,\infty )_{\mathbb{T}},[0,\infty ) )\). If \(p>1\), then
unless \(f\equiv 0\).
Furthermore, if \(\mu (t)/t\rightarrow 0\)as \(t\rightarrow \infty \), then inequality (1.14) is sharp.
In 2014, Saker et al. [28] proved the following four dynamic inequalities of Hardy-type.
Theorem 1.11
Let \(\mathbb{T}\)be a time scale with \(a\in [0,\infty )_{\mathbb{T}}\). In addition, let f and g be nonnegative rd-continuous functions on \([a,\infty )_{\mathbb{T}}\).
-
(i)
If \(p\geq \alpha >1\), then
$$\begin{aligned}& \int _{a}^{\infty } \frac{g(t) (\int _{a}^{\sigma (t)}g(s)f(s)\Delta s )^{p}}{ (\int _{a}^{\sigma (t)}g(s)\Delta s )^{\alpha }} \Delta t \\& \quad \leq \biggl(\frac{p}{\alpha -1} \biggr)^{p} \int _{a}^{\infty } \frac{g(t)f^{p}(t) (\int _{a}^{\sigma (t)}g(s)\Delta s )^{\alpha (p-1)}}{ (\int _{a}^{t}g(s)\Delta s )^{ p(\alpha-1)}} \Delta t. \end{aligned}$$(1.15) -
(ii)
If \(p>1>\alpha \geq 0\), then
$$\begin{aligned}& \int _{a}^{\infty } \frac{g(t) (\int _{t}^{\infty }g(s)f(s)\Delta s )^{p}}{ (\int _{a}^{\sigma (t)}g(s)\Delta s )^{\alpha }} \Delta t \\& \quad \leq \biggl(\frac{p}{1-\alpha } \biggr)^{p} \int _{a}^{\infty }g(t)f^{p}(t) \biggl( \int _{a}^{\sigma (t)}g(s)\Delta s \biggr)^{p-\alpha } \Delta t. \end{aligned}$$(1.16) -
(iii)
If \(p>1>\alpha \geq 0\), then
$$\begin{aligned}& \int _{a}^{\infty } \frac{g(t) (\int _{a}^{\sigma (t)}g(s)f(s)\Delta s )^{p}}{ (\int _{t}^{\infty }g(s)\Delta s )^{\alpha }} \Delta t \\& \quad \leq \biggl(\frac{p}{1-\alpha } \biggr)^{p} \int _{a}^{\infty }g(t)f^{p}(t) \biggl( \int _{t}^{\infty }g(s)\Delta s \biggr)^{p-\alpha } \Delta t. \end{aligned}$$(1.17) -
(iv)
If \(p\geq \alpha >1\), then
$$\begin{aligned}& \int _{a}^{\infty } \frac{g(t) (\int _{t}^{\infty }g(s)f(s)\Delta s )^{p}}{ (\int _{t}^{\infty }g(s)\Delta s )^{\alpha }} \Delta t \\& \quad \leq \biggl(\frac{p}{\alpha -1} \biggr)^{p} \int _{a}^{\infty }g(t)f^{p}(t) \biggl( \int _{t}^{\infty }g(s)\Delta s \biggr)^{p-\alpha } \Delta t. \end{aligned}$$(1.18)
Note that inequality (1.15) unifies inequalities (1.8) and (1.11) in one form by giving their time scales version. Similarly, inequality (1.16) gives the time scales version of inequalities (1.9) and (1.12), inequality (1.17) gives the time scales version of (1.10), and (1.18) gives the time scales version of inequality (1.13).
In this paper, we will establish some original dynamic inequalities of Hardy-type on time scales which may be considered as generalizations of inequalities (1.15), (1.16), (1.17), and (1.18). The obtained results will extend some known Hardy-type integral inequalities, unify and extend some continuous inequalities and their corresponding discrete analogues. The paper 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. Section 4 concludes the manuscript.
2 Preliminaries and lemmas on time scales
A time scale \(\mathbb{T}\) is an arbitrary nonempty closed subset of the real numbers. We assume throughout that \(\mathbb{T}\) has the topology that it inherits from the standard topology on the real numbers \(\mathbb{R}\). We define the forward jump operator \(\sigma : \mathbb{T}\rightarrow \mathbb{T}\) by
In the previous definition, we set \(\inf \emptyset =\sup \mathbb{T}\) (i.e., if t is the maximum of \(\mathbb{T}\), then \(\sigma (t)=t\)), where ∅ is the empty set.
Let \(f : \mathbb{T} \rightarrow \mathbb{R}\) be a real-valued function on a time scale \(\mathbb{T}\). Then, for \(t\in \mathbb{T}^{\kappa }\), we define \(f^{\Delta }(t)\) to be the number (if it exists) with the property that given any \(\varepsilon > 0\) there is a neighborhood U of t such that, for all \(s\in U\), we have
In this case, we say that f is delta differentiable on \(\mathbb{T}^{\kappa } \) provided \(f^{\Delta }(t)\) exists for all \(t\in \mathbb{T}^{\kappa }\).
If f and g are two delta differentiable functions, then the product rule for the derivative of fg is given as follows:
The formula for the delta integration by parts on time scales can be written as
We will frequently use the following important relations.
-
(i)
If \(\mathbb{T}=\mathbb{R}\), then
$$ \sigma (t)=t,\qquad f^{\Delta }(t)=f'(t), \qquad \int _{a}^{b}f(t)\Delta t= \int _{a}^{b}f(t)\,dt. $$(2.3) -
(ii)
If \(\mathbb{T}=\mathbb{Z}\), then
$$ \sigma (t)=t+1, \qquad f^{\Delta }(t)=\Delta f(t),\qquad \int _{a}^{b}f(t) \Delta t=\sum _{t=a}^{b-1}f(t). $$(2.4) -
(iii)
If \(\mathbb{T}=h \mathbb{Z}\), then
$$ \sigma (t)=t+h,\qquad f^{\Delta }(t)= \frac{f(t+h)-f(t)}{h},\qquad \int _{a}^{b}f(t) \Delta t=\sum _{t=\frac{a}{h}}^{\frac{b}{h}-1}h f(ht). $$(2.5) -
(iv)
If \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\), then
$$ \begin{aligned} &\sigma (t)=qt,\qquad f^{\Delta }(t)= \frac{f(qt)-f(t)}{(q-1)t}, \\ & \int _{a}^{b}f(t)\Delta t=(q-1)\sum _{t=\log _{q}{a}}^{(\log _{q}{b})-1}q^{t} f \bigl(q^{t} \bigr). \end{aligned} $$(2.6)
Lemma 2.1
(Chain Rule on Time Scales, see [9])
Assume \(g:\mathbb{R}\rightarrow \mathbb{R}\), is continuous function \(g:\mathbb{T}\rightarrow \mathbb{R}\)is delta differentiable on \(\mathbb{T^{\kappa }}\), and \(f:\mathbb{R}\rightarrow \mathbb{R}\)is continuously differentiable. Then there exists \(c\in [t,\sigma (t)]\)with
Lemma 2.2
(Dynamic Hölder Inequality, see [1])
Let \(a,b\in \mathbb{T}\)and \(f,g\in C_{rd} ([a,b]_{\mathbb{T}}, [0, \infty ) )\). If \(p,q>1\)with \(1/p+1/q=1\), then
3 Main results
Theorem 3.1
Let \(\mathbb{T}\)be a time scale with \(a\in [0,\infty )_{\mathbb{T}}\). In addition, let f, g, k, r, w, v be nonnegative rd-continuous functions on \([a,\infty )_{\mathbb{T}}\)such that k is nonincreasing. Further, assume there exist \(\theta ,\beta \geq 0\)such that \(\frac{w^{\Delta }(t)}{w(t)}\leq \theta ( \frac{G^{\Delta }(t)}{G^{\sigma }(t)} )\)and \(\frac{v^{\Delta }(t)}{v^{\sigma }(t)}\leq \beta ( \frac{K^{\Delta }(t)}{K(t)} )\), where
If \(p\geq 1\)and \(\alpha >\theta +1\), then
Proof
Using integration by parts formula on time scales (2.2) with
we have
where we assumed that
Using the chain rule on time scales (2.7), the product rule (2.1), and the hypothesis \(\frac{w^{\Delta }(t)}{w(t)}\leq \theta ( \frac{G^{\Delta }(t)}{G^{\sigma }(t)} )\), we see that there is \(c\in [s,\sigma (s)]\) such that
Since \(G^{\Delta }(s)=g(s)\geq 0\), \(c\leq \sigma (s)\) and \(\alpha >1\), we get
This gives us that
Hence
Applying the product rule (2.1) and the chain rule on time scales (2.7), we see that there exists \(c\in [t,\sigma (t)]\) such that
Since \(k^{\Delta }(t)\leq 0\), \(K^{\Delta }(t)=r(t)f(t)\geq 0\), \(c\leq \sigma (t)\), \(p\geq 1\), and \(\frac{v^{\Delta }(t)}{v^{\sigma }(t)}\leq \beta ( \frac{K^{\Delta }(t)}{K(t)} )\), we have
Combining (3.2), (3.3), and (3.4), we get (note that \(K(a)=0\) and \(u(\infty )=0\))
or equivalently,
Employing the dynamic Hölder inequality (2.8) with indices p and \(p/(p-1)\), we get
which implies that
This completes the proof. □
Remark 3.2
In Theorem 3.1, if we set \(k(t)=v(t)=w(t)=1\) and \(r(t)=g(t)\), then we may take \(\theta =\beta =0\), and in this case inequality (3.1) reduces to inequality (1.15).
Corollary 3.3
If \(\mathbb{T}=\mathbb{R}\)in Theorem 3.1, then, using relations (2.3), inequality (3.1) becomes
where
Remark 3.4
In Corollary 3.3, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=0\), then we may take \(\theta =\beta =0\), and in this case inequality (3.5) reduces to inequality (1.11).
Remark 3.5
In Corollary 3.3, if we set \(k(t)=v(t)=w(t)=r(t)=g(t)=1\) and \(a=0\), then we may take \(\theta =\beta =0\), and in this case inequality (3.5) reduces to inequality (1.6).
Remark 3.6
In Corollary 3.3, if we set \(k(t)=v(t)=w(t)=r(t)=g(t)=1\), \(a=0\) and \(p=\alpha \), then we may take \(\theta =\beta =0\), and in this case inequality (3.5) reduces to the classical integral Hardy inequality (1.2).
Corollary 3.7
If \(\mathbb{T}=h\mathbb{Z}\)in Theorem 3.1, then, using relations (2.5), inequality (3.1) becomes
where
Corollary 3.8
For \(\mathbb{T}=\mathbb{Z}\), we simply take \(h=1\)in Corollary 3.7. In this case, inequality (3.1) becomes
where
Remark 3.9
In Corollary 3.8, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=1\), then we may take \(\theta =\beta =0\), and in this case inequality (3.7) reduces to
which is another form of the discrete inequality (1.8).
Corollary 3.10
If \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\)in Theorem 3.1, then, using relations (2.6), inequality (3.1) becomes
where
Theorem 3.11
Suppose \(\mathbb{T}\)is a time scale with \(a\in [0,\infty )_{\mathbb{T}}\). Further, assume f, g, k, r, w, v are nonnegative rd-continuous functions on \([a,\infty )_{\mathbb{T}}\)such that k is nondecreasing. Moreover, suppose there exist \(\theta ,\beta \geq 0\)such that \(\frac{w^{\Delta }(t)}{w^{\sigma }(t)}\geq \theta ( \frac{G^{\Delta }(t)}{G(t)} )\)and \(\frac{v^{\Delta }(t)}{v(t)}\geq \beta ( \frac{F^{\Delta }(t)}{F^{\sigma }(t)} )\), where
If \(p\geq 1\)and \(0\leq \alpha <1\), then
Proof
From integration by parts formula on time scales (2.2), we have
where
Employing the chain rule on time scales (2.7), the product rule (2.1), and the assumption \(\frac{w^{\Delta }(t)}{w^{\sigma }(t)}\geq \theta ( \frac{G^{\Delta }(t)}{G(t)} )\), we see that there is \(c\in [s,\sigma (s)]\) such that
As \(G^{\Delta }(s)=g(s)\geq 0\), \(c\leq \sigma (s)\) and \(0\leq \alpha <1\), we get
which implies
Therefore
Utilizing the product rule (2.1) and the chain rule on time scales (2.7), we see that there exists \(c\in [t,\sigma (t)]\) such that
Since \(k^{\Delta }(t)\geq 0\), \(F^{\Delta }(t)=-r(t)f(t)\leq 0\), \(c\geq t\), \(p\geq 1\), and \(\frac{v^{\Delta }(t)}{v(t)}\geq \beta ( \frac{F^{\Delta }(t)}{F^{\sigma }(t)} )\), we get
From (3.11), (3.12), and (3.13), we get (note that \(F(\infty )=0\) and \(u(a)=0\))
which is equivalent to
Applying the dynamic Hölder inequality (2.8) with indices p and \(p/(p-1)\), we obtain
This leads to
which is our desired result. □
Remark 3.12
In Theorem 3.11, if we set \(k(t)=v(t)=w(t)=1\) and \(r(t)=g(t)\), then we may take \(\theta =\beta =0\), and in this case inequality (3.10) reduces to inequality (1.16).
Corollary 3.13
If \(\mathbb{T}=\mathbb{R}\)in Theorem 3.11, then, using relations (2.3), inequality (3.10) becomes
where
Remark 3.14
In Corollary 3.13, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=0\), then we may take \(\theta =\beta =0\), and in this case inequality (3.14) reduces to inequality (1.12).
Remark 3.15
In Corollary 3.13, if we set \(k(t)=v(t)=w(t)=r(t)=g(t)=1\) and \(a=0\), then we may take \(\theta =\beta =0\), and in this case inequality (3.14) reduces to inequality (1.7).
Remark 3.16
In Corollary 3.13, if we set \(k(t)=v(t)=w(t)=r(t)=g(t)=1\), \(a=0\) and \(\alpha =0\), then we may take \(\theta =\beta =0\), and in this case inequality (3.14) reduces to inequality (1.5).
Corollary 3.17
If \(\mathbb{T}=h\mathbb{Z}\)in Theorem 3.11, then, using relations (2.5), inequality (3.10) becomes
where
Corollary 3.18
For \(\mathbb{T}=\mathbb{Z}\), we simply take \(h=1\)in Corollary 3.17. In this case, inequality (3.10) becomes
where
Remark 3.19
In Corollary 3.18, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=1\), then we may take \(\theta =\beta =0\), and in this case inequality (3.16) reduces to inequality (1.9).
Corollary 3.20
If \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\)in Theorem 3.11, then, using relations (2.6), inequality (3.10) becomes
where
Theorem 3.21
Let \(\mathbb{T}\)be a time scale with \(a\in [0,\infty )_{\mathbb{T}}\). In addition, suppose f, g, k, r, w, v are nonnegative rd-continuous functions on \([a,\infty )_{\mathbb{T}}\)such that k is nonincreasing. Further, assume there exist \(\theta ,\beta \geq 0\)such that \(\frac{w^{\Delta }(t)}{w(t)}\leq \theta ( \frac{H^{\Delta }(t)}{H^{\sigma }(t)} )\)and \(\frac{v^{\Delta }(t)}{v^{\sigma }(t)}\leq \beta ( \frac{K^{\Delta }(t)}{K(t)} )\), where
If \(p\geq 1\), \(0\leq \alpha <1\), then
Proof
Utilizing integration by parts formula on time scales (2.2) with
we have
where
From the chain rule on time scales (2.7), the product rule (2.1), and the assumption \(\frac{w^{\Delta }(t)}{w(t)}\leq \theta ( \frac{H^{\Delta }(t)}{H^{\sigma }(t)} )\), we have
Because \(H^{\Delta }(s)=-g(s)\leq 0\), \(c\geq s\), and \(0\leq \alpha <1\), we get
Thus
Hence
Applying the product rule (2.1) and the chain rule on time scales (2.7), we see that there exists \(c\in [t,\sigma (t)]\) such that
Considering \(k^{\Delta }(t)\leq 0\), \(K^{\Delta }(t)=r(t)f(t)\geq 0\), \(c\leq \sigma (t)\), \(p\geq 1\), and \(\frac{v^{\Delta }(t)}{v^{\sigma }(t)}\leq \beta ( \frac{K^{\Delta }(t)}{K(t)} )\), we get
Combining (3.19), (3.20), and (3.21), we obtain (note that \(K(a)=0\) and \(u(\infty )=0\))
The last inequality can be rewritten as
Using the dynamic Hölder inequality (2.8) with indices p and \(p/(p-1)\), we obtain
This implies that
This concludes the proof. □
Remark 3.22
In Theorem 3.21, if we set \(k(t)=v(t)=w(t)=1\) and \(r(t)=g(t)\), then we may take \(\theta =\beta =0\), and in this case inequality (3.18) reduces to inequality (1.17).
Corollary 3.23
If \(\mathbb{T}=\mathbb{R}\)in Theorem 3.21, then, using relations (2.3), inequality (3.18) becomes
where
Remark 3.24
In Corollary 3.23, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=0\), then we may take \(\theta =\beta =0\), and in this case inequality (3.22) reduces to
which is the continuous analogue of the discrete inequality (1.10).
Corollary 3.25
If \(\mathbb{T}=h\mathbb{Z}\)in Theorem 3.21, then, using relations (2.5), inequality (3.18) becomes
where
Corollary 3.26
For \(\mathbb{T}=\mathbb{Z}\), we simply take \(h=1\)in Corollary 3.25. In this case, inequality (3.18) becomes
where
Remark 3.27
In Corollary 3.26, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=1\), then we may take \(\theta =\beta =0\), and in this case inequality (3.25) reduces to inequality (1.10).
Corollary 3.28
If \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\)in Theorem 3.21, then, using relations (2.6), inequality (3.18) becomes
where
Theorem 3.29
Assume \(\mathbb{T}\)is a time scale with \(a\in [0,\infty )_{\mathbb{T}}\). In addition, let f, g, k, r, w, v be nonnegative rd-continuous functions on \([a,\infty )_{\mathbb{T}}\)such that k is nondecreasing. Moreover, suppose there exist \(\theta ,\beta \geq 0\)such that \(\frac{w^{\Delta }(t)}{w^{\sigma }(t)}\geq \theta ( \frac{H^{\Delta }(t)}{H(t)} )\)and \(\frac{v^{\Delta }(t)}{v(t)}\geq \beta ( \frac{F^{\Delta }(t)}{F^{\sigma }(t)} )\), where
If \(p\geq 1\)and \(\alpha >\theta +1\), then
Proof
From integration by parts formula on time scales (2.2), we have
where
Using the chain rule on time scales (2.7), the product rule (2.1), and the hypothesis \(\frac{w^{\Delta }(t)}{w^{\sigma }(t)}\geq \theta ( \frac{H^{\Delta }(t)}{H(t)} )\), we obtain
Since \(H^{\Delta }(s)=-g(s)\leq 0\), \(c\geq s\) and \(\alpha >1\), we get
This gives us that
Therefore
Employing the product rule (2.1) and the chain rule on time scales (2.7), we see that there exists \(c\in [t,\sigma (t)]\) such that
As \(k^{\Delta }(t)\geq 0\), \(F^{\Delta }(t)=-r(t)f(t)\leq 0\), \(c\geq t\), \(p\geq 1\) and \(\frac{v^{\Delta }(t)}{v(t)}\geq \beta ( \frac{F^{\Delta }(t)}{F^{\sigma }(t)} )\), we have
Combining (3.28), (3.29), and (3.30), we get (note that \(F(\infty )=0\) and \(u(a)=0\))
or equivalently,
Applying the dynamic Hölder inequality (2.8) with indices p and \(p/(p-1)\), we get
which implies
which is our desired result. □
Remark 3.30
In Theorem 3.29, if we set \(k(t)=v(t)=w(t)=1\) and \(r(t)=g(t)\), then we may take \(\theta =\beta =0\), and in this case inequality (3.27) reduces to a new form of inequality (1.18).
Corollary 3.31
If \(\mathbb{T}=\mathbb{R}\)in Theorem 3.29, then, using relations (2.3), inequality (3.27) becomes
where
Remark 3.32
In Corollary 3.31, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=0\), then we may take \(\theta =\beta =0\), and in this case inequality (3.31) reduces to
which is the continuous analogue of the discrete inequality (1.13).
Corollary 3.33
If \(\mathbb{T}=h\mathbb{Z}\)in Theorem 3.29, then, using relations (2.5), inequality (3.27) becomes
where
Corollary 3.34
For \(\mathbb{T}=\mathbb{Z}\), we simply take \(h=1\)in Corollary 3.33. In this case, inequality (3.27) becomes
where
Remark 3.35
In Corollary 3.34, if we set \(k(t)=v(t)=w(t)=1\), \(r(t)=g(t)\) and \(a=1\), then we may take \(\theta =\beta =0\), and in this case inequality (3.34) reduces to a new form of inequality (1.13).
Corollary 3.36
If \(\mathbb{T}=\overline{q^{\mathbb{Z}}}\)in Theorem 3.29, then, using relations (2.6), inequality (3.27) becomes
where
4 Conclusions
In this work, by making use of the time scales’ version of Hölder inequality, integration by parts formula, and Keller’s chain rule, we obtained some original dynamic Hardy-type inequalities. The proved inequalities generalize some dynamic inequalities known in the literature, see remarks and corollaries after each theorem of our main results. In order to illustrate the theorems for each type of inequality, we applied them to various time scales such as \(\mathbb{R}\), \(h \mathbb{Z}\), \(\overline{q^{\mathbb{Z}}}\), and \(\mathbb{Z}\) as a subcase of \(h \mathbb{Z}\). Possible future work includes studying different generalizations and variants of the dynamic Hardy inequality using the results presented in this article.
References
Agarwal, R., O’Regan, D., Saker, S.: Dynamic Inequalities on Time Scales. Springer, Cham (2014)
Agarwal, R.P., Bohner, M., Peterson, A.: Inequalities on time scales: a survey. Math. Inequal. Appl. 4(4), 535–557 (2001)
Andersen, K.F., Heinig, H.P.: Weighted norm inequalities for certain integral operators. SIAM J. Math. Anal. 14(4), 834–844 (1983)
Andersen, K.F., Muckenhoupt, B.: Weighted weak type Hardy inequalities with applications to Hilbert transforms and maximal functions. Stud. Math. 72(1), 9–26 (1982)
Bennett, G.: Some elementary inequalities. Q. J. Math. Oxf. Ser. (2) 38(152), 401–425 (1987)
Bennett, G.: Some elementary inequalities. II. Q. J. Math. Oxf. Ser. (2) 39(156), 385–400 (1988)
Bennett, G.: Some elementary inequalities. III. Q. J. Math. Oxf. Ser. (2) 42(166), 149–174 (1991)
Bohner, M., Erbe, L., Peterson, A.: Oscillation for nonlinear second order dynamic equations on a time scale. J. Math. Anal. Appl. 301(2), 491–507 (2005)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser Boston, Boston (2001)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser Boston, Boston (2003)
Copson, E.T.: Note on series of positive terms. J. Lond. Math. Soc. 3(1), 49–51 (1928)
Copson, E.T.: Some integral inequalities. Proc. R. Soc. Edinb., Sect. A 75(2), 157–164 (1976)
Hardy, G.H.: Note on a theorem of Hilbert. Math. Z. 6(3–4), 314–317 (1920)
Hardy, G.H.: Notes on some points in the integral calculus. LX. Messenger Math. 54, 150–156 (1925)
Hardy, G.H.: Notes on some points in the integral calculus. LXIT. Messenger Math. 57, 12–16 (1928)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1952)
Heinig, H.P.: Weighted norm inequalities for certain integral operators. II. Proc. Am. Math. Soc. 95(3), 387–395 (1985)
Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18(1–2), 18–56 (1990)
Kac, V., Cheung, P.: Quantum Calculus. Universitext. Springer, New York (2002)
Kufner, A., Maligranda, L., Persson, L.-E.: The Hardy Inequality. About Its History and Some Related Results. Vydavatelský Servis, Plzeň (2007)
Kufner, A., Persson, L.-E.: Weighted Inequalities of Hardy Type. World Scientific, River Edge (2003)
Leindler, L.: Generalization of inequalities of Hardy and Littlewood. Acta Sci. Math. 31, 279–285 (1970)
Li, W.N.: Some new dynamic inequalities on time scales. J. Math. Anal. Appl. 319(2), 802–814 (2006)
Li, W.N.: Some Pachpatte type inequalities on time scales. Comput. Math. Appl. 57(2), 275–282 (2009)
Littlewood, J.E., Hardy, G.H.: Elementary theorems concerning power series with positive coefficients and moment constants of positive functions. J. Reine Angew. Math. 157, 141–158 (1927)
Opic, B., Kufner, A.: Hardy-Type Inequalities. Pitman Research Notes in Mathematics Series, vol. 219. Longman, Harlow (1990)
Řehák, P.: Hardy inequality on time scales and its application to half-linear dynamic equations. J. Inequal. Appl. 5, 495–507 (2005)
Saker, S.H., O’Regan, D., Agarwal, R.: Generalized Hardy, Copson, Leindler and Bennett inequalities on time scales. Math. Nachr. 287(5–6), 686–698 (2014)
Acknowledgements
We are immensely thankful to the editor and anonymous referees for their valuable remarks, which helped improve the paper.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors have read and finalized the manuscript with equal contribution. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors announce that there are not any competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
El-Deeb, A.A., Elsennary, H.A. & Baleanu, D. Some new Hardy-type inequalities on time scales. Adv Differ Equ 2020, 441 (2020). https://doi.org/10.1186/s13662-020-02883-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02883-8
MSC
- 26D10
- 26D15
- 34N05
- 26E70
Keywords
- Hardy’s inequality
- Dynamic inequality
- Time scale