Abstract
In this paper, we establish some necessary and sufficient conditions for the validity of a generalized dynamic Hardy-type inequality with higher-order derivatives with two different weighted functions on time scales. The corresponding continuous and discrete cases are captured when \(\mathbb{T=R}\) and \(\mathbb{T=N}\), respectively. Finally, some applications to our main result are added to conclude some continuous results known in the literature and some other discrete results which are essentially new.
Similar content being viewed by others
1 Introduction
In [15] Hardy proved the classical continuous inequality
by using the calculus of variations in the twenties, where \(f(x)\) is a positive integrable function over any finite interval \((0,x)\), \(f^{p}\) is an integrable convergent function over \((0,\infty )\), and \(p>1\). Due to the importance of this inequality in mathematical and harmonic analysis, the extensions and generalizations have been studied by several authors, and various results have been established. We refer the reader to the papers [2, 3, 5, 10, 17] and books [16, 24, 25, 28] that deal with these inequalities by discovering new proofs, generalizations, and extensions. For example, Muckenhoupt in [26] proved that the inequality
holds if and only if the following conditions hold:
and \(K\leq C\leq K ( p ) ^{1/p} ( p^{\prime } ) ^{1/p^{ \prime }}\), where \(1/p+1/p^{{\prime }}=1\) for \(1\leq p\leq \infty \). Opic et al. in [28] proved that the inequality holds
where \(-\infty \leq a< b\leq \infty \), u, υ are measurable positive functions in \((a,b)\), and \(1< p\leq q<\infty \) if and only if
Moreover, the estimate for the constant C in (1.1) is given by
In 1984 Gurka [11] proved that the following inequality, which contains the first-order derivative of u,
holds for every \(u\in AC(a,b)\) such that \(u(a)=0\) if and only if
and for the best possible constant \(C_{L}\) in (1.2), the following estimate was satisfied: \(B_{L}\leq C_{L}\leq p^{1/q} ( p^{\prime } ) ^{1/q^{ \prime }}B_{L}\).
The classical Wirtinger inequality, see Hardy et al. [16, Theorem 257], is given by
for any \(u\in C^{1}([a,b])\) satisfying \(u(a)=u(b)=0\). Wirtinger-type inequalities are studied in the literature in both the continuous and discrete settings. In principle, it is an integral or sum estimate between the function and its derivative or difference, respectively. These types of inequalities have received a lot of attention because of their applications, for example, in number theory, especially in studies concerning the distribution of the zeros of the Riemann-zeta function [12–14]. In [4, 9, 11] the authors studied some inequalities containing the first-order derivative with two different weighted functions. In [19], Hinton and Lewis extended inequality (1.3) and proved by using the Schwarz inequality that
for any positive function \(M\in C^{1}([a,b])\) with \(M^{\prime }(t)\neq 0\), \(u\in C^{2}([a,b])\), and \(u(a)=u(b)=0\). In [29], Pen̆a established the discrete analogue of (1.4) and proved the following result: For a positive sequence \(\{M_{n}\}_{0\leq n\leq N+1}\) satisfying either \(\Delta M>0 \) or \(\Delta M<0\) on \([0,N]\cap \mathbb{Z}\),
holds for any sequence \(\{u_{n}\}_{0\leq n\leq N+1}\) with \(u_{0}=u_{N+1}=0\), where
Stepanov in [44] was interested in inequalities containing higher-order derivative. In particular, he proved that for \(1< p\leq q<\infty\) and \(k\geq 1\) the inequality
holds for all functions u with \(u^{(k-1)}\) locally absolutely continuous on \([0,\infty )\) and satisfies the condition
if and only if the following two conditions are fulfilled:
and
Kufner et al. [23] studied inequality (1.7) when \(k=m+n\), and considered the inequality
for any finite constant C under the following conditions on u:
To be more precise, they derived the necessary and sufficient conditions for the validity of this inequality (1.8) and proved that (1.8) holds if and only if
and
For more results on the study of inequalities of higher-order derivative, we refer the reader to the papers [21–23, 43, 44] and the references they cite.
In recent years, the dynamic inequalities on time scales, when the domain of the unknown function is a time scale \(\mathbb{T}\), have been studied by several authors; we refer the reader to [1, 27, 30, 31, 34–42] and the references they cite. Some of these papers dealt with the inequalities which have two weighted functions \(u(x)\) and \(v(x)\) and others dealt also with special examples of u and v as in [32, 33]. Now we will recall some of these results that motivated the main aim of this paper. In [33] Saker et al. established the time scale version of dynamic inequality (1.1). They proved that the inequality
holds if and only if
Moreover, for the constant C in (1.9), the following estimation is satisfied \(B\leq C\leq k(p,q)B\), where \(k(p,q)\) is defined by
In [18], Hilscher proved a Wirtinger-type inequality on time scales, which gives a unification of (1.4) and (1.5). In particular, he proved that if M is a positive function and satisfies either \(M^{\Delta }>0\) or \(M^{\Delta }<0\), then
holds for a positive function y with \(y(a)=y(b)=0\), and
Following these trends and to develop the study of dynamic inequalities of Hardy-type of the differential forms on time scales, we prove the time scales version of the higher-order derivative inequality (1.8) on an arbitrary time scale \(\mathbb{T}\).
The rest of the paper is organized as follows: In Sect. 2, we present some preliminaries about the theory of time scales and the time scales version of Fubini’s theorem which is the cornerstone of our main proof. Also, we prove some essential prerequisite lemmas. In Sect. 3, we prove the main result of this paper (Theorem 3.1) which is a generalization of the weighted Hardy-type inequality with two different weights for a function which possesses higher-order derivatives. Next, we give some applications to our main results to capture some known results and to derive some new ones.
2 Preliminaries and basic lemmas
We suppose that the reader is familiar with time scales as presented in the monographs [7, 8]. For the present paper to be self-contained, we only give here basic facts that are essentially used in the proofs of our results. For any function \(f:\mathbb{T}\rightarrow \mathbb{R}\), where \(\mathbb{T}\) is a time scale, the notation \(f^{\sigma }(t)=f\circ \sigma (t)\) denotes the forward shift, where σ stands for the forward jump operator and \(f^{\Delta }\) denotes the delta derivative. For two Δ-differentiable functions f and g, their Δ-derivative for the product is given by
The chain rule formula on time scales (Keller’s chain rule) [7] is given by
Throughout the paper, we assume that the functions in the statements of the theorems are nonnegative, rd-continuous functions and the integrals are assumed to exist. We next state Fubini’s theorem due to Bibi et al. [6].
Theorem 2.1
Let X and Y be two time scales. If f: \(X\times Y\rightarrow \mathbb{R}\) is a Δ-integrable function and if we define the functions
and
then φ is Δ-integrable on Y and ψ is Δ-integrable on X and
In the following, we prove the basic inequalities that will be used to prove the main results by using Keller’s chain rule and some concepts on time scales.
Lemma 2.1
If m, \(n\geq 1\) and
then
where \(0< t\leq \sigma ( t ) < s< x\).
Proof
From the definition of \(k_{1} ( x,s ) \) and since \(0< t\leq \sigma ( t ) < s< x\), we see that
Applying Keller’s chain rule (2.1) on the right-hand side of equation (2.5), we obtain that
Using the definition of forward jump operator, we see that
Dividing both sides by \(( -n ) \), we find that
Substituting (2.6) into (2.5), we obtain that
which leads directly to
Since \(t\leq \sigma ( t ) < s< x\), we can write that
We will deal now with the lower bound of \(k_{1} ( x,s ) \). Multiplying both sides of (2.3) by the term \(x^{-m+1}s^{-n}\), we obtain that
Using condition (2.8) into equation (2.9), we have that
Applying Keller’s chain rule (2.1) on the right-hand side of equation (2.10), we get that
which gives that
Integrating both sides of inequality (2.11) and taking into account the fact (2.10), we have that
and therefore
Consequently, from (2.7) and (2.12), we get the desired result (2.4). This completes the proof. □
Lemma 2.2
If m, \(n\geq 1\), and
then
where \(0< t\leq \sigma ( t ) < x< s\).
Proof
From the definition of \(k_{2} ( x,s ) \) and since \(0< t\leq \sigma ( t ) < x< s\), we have that
Applying Keller’s chain rule (2.1) on the right-hand side of equation (2.15), we obtain that
This implies that
So that
Substituting (2.16) into (2.15), we obtain
that is,
By using the fact that \(t\leq \sigma ( t ) < x< s\), we get that
We will deal with equation (2.13), since
then multiplying both sides of the last equation by the term \(x^{-m}s^{-n+1} \), we obtain that
By substituting (2.18) into equation (2.19), we have that
which gives that
Applying Keller’s chain rule (2.1) on the right-hand side of equation (2.20), we obtain that
That is,
and then
Integrating both sides of inequality (2.21), we have that
Substituting into (2.20), we obtain that
Consequently, from (2.17) and (2.22), we obtain the required result (2.14). This completes the proof. □
3 Main results and applications
Now, we are in a position to state and prove our main results which assert the validity of the dynamic Hardy-type inequality for functions with higher-order Δ-derivatives embedded with two different weighted functions. For simplicity, we will use the notations
and the boundary conditions
where \(k=m+n\), m and n are nonnegative integers.
Theorem 3.1
Let \(\mathbb{T}\) be a time scale with \(1< p\leq q<\infty \), \(u\in C_{rd} ( [0,\infty )_{\mathbb{T}},{\mathbb{R}}^{+} ) \), and ω, ν are positive rd-continuous functions defined on \([0,\infty )_{\mathbb{T}}\). Then there exists a positive constant C such that the inequality
holds for every \(u\in C_{rd}^{ ( m+n ) } ( [0,\infty )_{\mathbb{T}},{\mathbb{R}}^{+} ) \) if and only if \(B_{1}<\infty \) and \(B_{2}<\infty \).
Proof
We shall show that conditions (3.1) and (3.2) are necessary and sufficient for (3.4) to hold. For simplicity, inequality (3.4) can take the following form, where \(u=Tf\) and \(f=u^{\Delta ^{ ( m+n ) }}\):
Now, we will fix m, \(n\geq 1\) and take \(( Tf ) ( x ) \) as the form
Set \(C_{m,n}= ( m-1 ) ! ( n-1 ) !\), then we have
Now, by using Fubini’s theorem on time scales (2.2), we have
then
where
and
From (2.4) the function in (3.8) is equivalent to the function
Therefore from Hardy’s inequality (1.9), and replacing \(s^{n}f ( s ) \) with \(\widetilde{f} ( s ) \), \(x^{ ( m-1 ) q}\omega ( x ) \) with \(\widetilde{\omega } ( x ) \), \(x^{-np}\nu ( x ) \) with \(\widetilde{\nu } ( x ) \), and \(x^{n}f ( x ) \) with \(\widetilde{f} ( x ) \), we obtain that
Then
According to the same inequality (1.9), inequality (3.10) holds if and only if
where \(p^{\prime }=p/(p-1)\). From (2.14) the function in (3.9) is equivalent to the function
Therefore from Hardy’s inequality (1.9) and replacing \(s^{n-1}f ( s ) \) with \(\bar{f} ( s ) \), \(x^{mq}\omega ( x ) \) with \(\bar{\omega } ( x ) \), \(x^{- ( n-1 ) p}\nu ( x ) \) with \(\bar{\nu } ( x ) \), and \(x^{n-1}f ( x ) \) with \(\bar{f} ( x ) \), we obtain
Then
According to the dual of inequality (1.9), this inequality holds if and only if
So, we have shown that conditions (3.1) and (3.2) are necessary and sufficient for the validity of inequalities (3.10) and (3.11). As a result of (3.7), it follows directly that these conditions are also necessary and sufficient for inequality (3.5) which is equivalent to the required one (3.4). This completes the proof. □
Remark 3.1
In Theorem 3.1, if we take \(\mathbb{T=R}\), we get the following continuous weighted Hardy inequality as mentioned in [23] and [28]:
which will be satisfied if and only if the following conditions are satisfied:
and
Remark 3.2
In Theorem 3.1, if we take \(\mathbb{T=N}\), we get the discrete analogue of inequality (3.4)
which will be satisfied if and only if
and
where \(\Delta ^{ ( k ) }a_{n}=\Delta (\Delta ^{ ( k-1 ) }a_{n})\) and \(\Delta a_{n}=a_{n+1}-a_{n}\). To the best of the authors’ knowledge, this Hardy-type inequality for higher differences is essentially new.
In the rest of this section, we present some applications by making suitable substitutions for the two weighted functions \(\omega (x)\) and \(\nu (x)\). In the sequel, the constant C may take different values not necessary to be the same. We start with the following consequence of the dynamic Hardy-type inequality.
Corollary 3.1
Let \(\mathbb{T}\) be a time scale with \(1< p\leq q<\infty \), \(u\in C_{rd} ( [0,\infty )_{\mathbb{T}},{\mathbb{R}}^{+} ) \). Then there exists a positive constant C such that the inequality
holds for every u if and only if
and
for some positive constants α, β and m, \(n\geq 1\).
Proof
If we set \(\omega (x)=x^{\alpha }\) and \(v(x)=x^{\beta }\) in Theorem 3.1, we get the required result. This completes the proof. □
Remark 3.3
In inequality (3.14), if we take \(\mathbb{T=R}\), we get the following continuous weighted inequality:
due to Kufner [23], which will be satisfied if and only if
and
for some positive constants α, β.
Remark 3.4
In inequality (3.14), if we take \(\mathbb{T=N}\), we get the discrete analogue of inequality (3.14)
which will be satisfied if and only if
and
which is essentially new.
Corollary 3.2
Let \(\mathbb{T}\) be a time scale with \(1< p<\infty \) and \(u\in C_{rd} ( [0,\infty )_{\mathbb{T}},{\mathbb{R}}^{+} ) \). Then there exists a positive constant C such that the inequality
holds for every function u if and only if
and
for some positive constant α and \(u(0)=u^{\Delta }(\infty )=0\).
Proof
If we take \(\omega (x)=x^{\alpha -2p}\), \(v(x)=x^{\alpha }\), \(m=n=1\) for the case \(p=q\) in inequality (3.4), we will obtain the required result. This completes the proof. □
Remark 3.5
In inequality (3.15), if we take \(\mathbb{T=R}\), we get the following continuous weighted inequality due to Kufner [25] for the inequality
which will be satisfied if and only if
and
for some positive constant α and \(u(0)=u^{{\prime }}(\infty )=0\).
Remark 3.6
In inequality (3.14), if we take \(\mathbb{T=N}\), we get the discrete analogue of inequality (3.15)
which will be satisfied if and only if
and
which is essentially new.
Remark 3.7
As a consequence to inequality (3.15), if we take \(\mathbb{T=R}\), \(\omega (x)=v(x)=e^{\alpha x}\) for the case \(p=q=2\) with boundary condition \(u(0)=u^{\Delta }(0)=0\) and for \(\alpha <0\), we will obtain the the following continuous weighted inequality:
which will be satisfied if and only if
This result is due to Kufner [20] (see also Opic and Kufner [28]).
Availability of data and materials
Not applicable.
References
Agarwal, R.P., Bohner, M., Saker, S.H.: Dynamic Littlewood-type inequalities. Proc. Am. Math. Soc. 143(2), 667–677 (2015)
Andersen, K.F., Heinig, H.P.: Weighted norm inequalities for certain integral operators. SIAM J. Math. Anal. 14, 834–844 (1983)
Anderson, K., Muckenhoupt, B.: Weighted weak type Hardy inequalities with applications to Hilbert transforms and maximal functions. Stud. Math. 72, 9–26 (1982)
Beesack, P.R.: Hardy’s inequalities and its extensions. Pac. J. Math. 11(1), 31–61 (1961)
Bennett, G.: Some elementary inequalities. Q. J. Math. Oxf. Ser. (2) 38(2), 401–425 (1987)
Bibi, R., Bohner, M., Pecaric, J., Varosanec, S.: Minkowski and Beckenbach-Dresher inequalities and functionals on time scales. J. Math. Inequal. 7(3), 299–312 (2013)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)
Bradley, J.S.: Hardy inequality with mixed norms. Can. Math. Bull. 21(4), 405–408 (1978)
Copson, E.T.: Note on series of positive terms. J. Lond. Math. Soc. 3, 49–51 (1928)
Gurka, P.: Generalized Hardy’s inequality. Čas. Pěst. Mat. 109(2), 194–203 (1984)
Hall, R.R.: A Wirtinger type inequality and the spacing of the zeros of the Riemann zeta-function. J. Number Theory 93, 235–245 (2002)
Hall, R.R.: Generalized Wirtinger inequalities, random matrix theory, and the zeros of the Riemann zeta-function. J. Number Theory 97, 397–409 (2002)
Hall, R.R.: Large spaces between the zeros of the Riemann zeta-function and random matrix theory. J. Number Theory 109, 240–256 (2004)
Hardy, G.H.: Notes on some points in the integral calculus (LX). An inequality between integrals. Messenger Math. 54, 150–156 (1925)
Hardy, G.H., Littlewood, J.E., Polya, 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, 387–395 (1985)
Hilscher, R.: A time scales version of a Wirtinger-type inequality and applications. J. Comput. Appl. Math. 141, 219–226 (2002)
Hinton, D.B., Lewis, R.T.: Discrete spectra criteria for singular differential operators with middle terms. Math. Proc. Camb. Philos. Soc. 77, 337–347 (1975)
Kufner, A.: Some remarks concerning the Hardy inequality, function spaces, differential operators and nonlinear analysis. Teubner-Texte Math. 133, 290–294 (1993)
Kufner, A.: Higher order Hardy inequalities. Collect. Math. 44, 147–154 (1993)
Kufner, A.: A remark on kth order Hardy inequalities. Tr. Mat. Inst. Steklova 248, 144–152 (2005)
Kufner, A., Heinig, H.P.: Hardy’s inequality for higher order derivatives. Tr. Mat. Inst. Steklova 192, 105–113 (1990)
Kufner, A., Maligranda, L., Persson, L.E.: The Hardy Inequalities: About Its History and Some Related Results. Vydavatelski Servis Publishing House, Pilsen (2007)
Kufner, A., Persson, L.E.: Weighted Inequalities of Hardy Type. World Scientific, Singapore (2003)
Muckenhoupt, B.: Hardy’s inequality with weights. Stud. Math. 44(1), 31–38 (1972)
Oguntuase, J.A., Persson, L.E.: Time scales Hardy-type inequalities via superquadracity. Ann. Funct. Anal. 5(2), 61–73 (2014)
Opic, B., Kufner, A.: Hardy-Type Inequalities. Pitman Research Notes in Mathematics Series. Longman, Harlow (1990)
Peňa, S.: Discrete spectra criteria for singular difference operators. Math. Bohem. 124(1), 35–44 (1999)
Ř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.: Hardy–Leindler type inequalities on time scales. Appl. Math. Inf. Sci. 8(6), 2975–2981 (2014)
Saker, S.H., Graef, J.: A new class of dynamic inequalities of Hardy’s type on time scales. Dyn. Syst. Appl. 23, 83–93 (2014)
Saker, S.H., Mahmoud, R.R., Peterson, A.: Weighted Hardy-type inequalities on time scales with applications. Mediterr. J. Math. 13(2), 585–606 (2014)
Saker, S.H., O’Regan, D.: Extensions of dynamic inequalities of Hardy’s type on time scales. Math. Slovaca 65(5), 993–1012 (2015)
Saker, S.H., O’Regan, D.: Hardy and Littlewood inequalities on time scales. Bull. Malays. Math. Sci. Soc. 39(2), 527–543 (2016)
Saker, S.H., O’Regan, D., Agarwal, R.P.: Some dynamic inequalities of Hardy’s type on time scales. Math. Inequal. Appl. 17, 1183–1199 (2014)
Saker, S.H., O’Regan, D., Agarwal, R.P.: Generalized Hardy, Copson, Leindler and Bennett inequalities on time scales. Math. Nachr. 287(5–6), 686–698 (2014)
Saker, S.H., O’Regan, D., Agarwal, R.P.: Dynamic inequalities of Hardy and Copson types on time scales. Analysis 34, 391–402 (2014)
Saker, S.H., O’Regan, D., Agarwal, R.P.: Littlewood and Bennett inequalities on time scales. Mediterr. J. Math. 12, 605–619 (2015)
Saker, S.H., Rezk, H.M., Krnić, M.: More accurate dynamic Hardy-type inequalities obtained via superquadraticity. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113(3), 2691–2713 (2019)
Saker, S.H., Saied, A.I., Krnić, M.: Some new weighted dynamic inequalities for monotone functions involving kernels. Mediterr. J. Math. 17(2), 1–18 (2020)
Saker, S.H., Saied, A.I., Krnić, M.: Some new dynamic Hardy-type inequalities with kernels involving monotone functions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 1–16 (2020)
Sinnamon, G.: Kufner’s conjecture for higher order Hardy inequalities. Real Anal. Exch. 21(2), 590–603 (1995/96)
Stepanov, V.D.: Two-weighted estimates of Riemann–Liouville integrals. Izv. Akad. Nauk SSSR, Ser. Mat. 54(3), 645–656 (1990)
Acknowledgements
Not applicable.
Funding
This research received no external funding.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no 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
Saker, S.H., Mahmoud, R.R. & Abdo, K.R. Characterizations of weighted dynamic Hardy-type inequalities with higher-order derivatives. J Inequal Appl 2021, 99 (2021). https://doi.org/10.1186/s13660-021-02633-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02633-8