Skip to main content

Generalizations of Hölder inequality and some related results on time scales

Abstract

In this paper, we establish some generalizations and refinements of the Hölder inequality on time scales via the diamond-α dynamic integral, which is defined as a linear combination of the delta and nabla integrals. Some related inequalities are also considered.

MSC:26D15.

1 Introduction

Let j = 1 m 1 p j =1. If f j (x)>0 and f j (j=1,2,,m) is a continuous real-valued function on [a,b], then

  1. (1)

    for p j >0, we have the following Hölder inequality (see [1]):

    a b j = 1 m f j (x)dx j = 1 m ( a b f j p j ( x ) d x ) 1 / p j ;
    (1.1)
  2. (2)

    for 0< p m <1, p j <0 (j=1,2,,m1), we have the following reverse Hölder inequality (see [2]):

    a b j = 1 m f j (x)dx j = 1 m ( a b f j p j ( x ) d x ) 1 / p j .
    (1.2)

If m=2 and p 1 = p 2 =2, then inequality (1.1) reduces to the famous Cauchy-Schwarz inequality (see [3]). Both the Cauchy-Schwarz inequality and the Hölder inequality play a significant role in different branches of modern mathematics. A great number of generalizations, refinements, variations, and applications of these inequalities have been studied in the literature (see [316] and the references therein).

The aim of this paper is to derive some new generalizations and refinements of the diamond-α integral Hölder inequality on time scales. Some related inequalities are also considered. The paper is organized as follows. In Section 2, we recall the basic definitions of time scale calculus, which can also be found in [13, 1732], and of delta, nabla, and diamond-α dynamic derivatives. In Section 3, we will give the main results.

2 Preliminaries

A time scale is an arbitrary nonempty closed subset of . The set of the real numbers, the integers, the natural numbers, and the Cantor set are examples of time scales. But the rational numbers, the irrational numbers, the complex numbers, and the open interval between 0 and 1 are not time scales. We first recall some basic concepts from the theory of time scales.

For tT, we define the forward jump operator σ:TT by

σ(t)=inf{s T : s>t}

and the backward jump operator ρ:TT by

ρ(t)=sup{s T : s<t},

where inf:=supT and sup:=infT, denotes the empty set.

Definition 2.1 A point tT, t>infT, is said to be left-dense if ρ(t)=t, right-dense if t<supT and σ(t)=t, left-scattered if ρ(t)<t, and right-scattered if σ(t)>t.

Definition 2.2 A function f:TR is called rd-continuous if it is continuous at right-dense points and has finite left-sided limits at left-dense points. A function is called ld-continuous if it is continuous at left-dense points and has finite right-sided limits at right-dense points.

Definition 2.3 Assume that f:TR is a function, then we define the functions f σ =fσ and f ρ =fρ.

Definition 2.4 Suppose that f:TR is a function, then for tT we define f Δ (t) to be the number, if one exists, such that for all ε>0 there is a neighborhood U of t such that for all sU

| f ( σ ( t ) ) f ( s ) f Δ ( t ) ( σ ( t ) s ) | ε | σ ( t ) s | .

We say that f is delta differentiable on provided f Δ (t) exists for all tT. Similarly, for tT we define f (t) to be the number value, if one exists, such that for all ε>0 there is a neighborhood V of t such that for all sV

| f ( ρ ( t ) ) f ( s ) f ( t ) ( ρ ( t ) s ) | ε | ρ ( t ) s | .

We say that f is nabla differentiable on provided f (t) exists for all tT.

We now introduce the basic notions of delta and nabla integrations.

Definition 2.5 An F:TR with F Δ =f is called a Δ-antiderivative of f, and then the Δ-integral of f is defined by a t f(s)Δs=F(t)F(a) for any a,tT. Also, G:TR with G =f is called a -antiderivative of f, and then the -integral of f is defined by a t f(s)s=G(t)G(a) for any a,tT. It is known that rd-continuous functions have Δ-antiderivatives and ld-continuous functions have -antiderivatives.

Recently, using the above derivatives and integrations, Sheng et al. [30] (see also [2729]) have established the diamond-α derivative and the diamond-α integration on time scales.

Definition 2.6 If α[0,1] and f:TR is a function, then the α -differentiation of f at a point tT is defined by

f α (t)=α f Δ (t)+(1α) f (t).

The α -integral of f is defined by

a t h(τ) α τ=α a t h(τ)Δτ+(1α) a t h(τ)τ.

Proposition 2.1 (see [30])

Let be a time scale a,bT with a<b. Assume that f and g are continuous functions on [ a , b ] T . Let c [ a , b ] T and kR. Then

  1. (1)

    a b (f(t)+g(t)) α t= a b f(t) α t+ a b g(t) α t;

  2. (2)

    a b kf(t) α t=k a b f(t) α t;

  3. (3)

    a b f(t) α t= b a f(t) α t;

  4. (4)

    a b f(t) α t= a c f(t) α t+ c b f(t) α t;

  5. (5)

    a a f(t) α t=0.

Proposition 2.2 (see [30])

Let be a time scale a,bT with a<b. Assume that f and g are continuous functions on [ a , b ] T ,

  1. (1)

    if f(t)0 for all t [ a , b ] T , then a b f(t) α t0;

  2. (2)

    if f(t)g(t) for all t [ a , b ] T , then a b f(t) α t a b g(t) α t;

  3. (3)

    if f(t)0 for all t [ a , b ] T , then f(t)=0 if and only if a b f(t) α t=0.

Results about α -derivatives and α -integrals may be found in the papers [2830, 32].

Throughout this work, we suppose that is a time scale, a,bT with a<b and an interval [a,b] means the intersection of a real interval with the given time scale.

3 Main results

In this section, we introduce the following lemma first before we give our results.

Lemma 3.1 (see [33])

Let j = 1 m 1 p j =1, a j 0 (j=1,2,,m). Then

  1. (1)

    for p j >1, we have

    j = 1 m a j j = 1 m a j p j p j ;
    (3.1)
  2. (2)

    for 0< p m <1, p j <0 (j=1,2,,m1), we have

    j = 1 m a j j = 1 m a j p j p j .
    (3.2)

Theorem 3.2 Let be a time scale, a,bT with a<b and j = 1 m 1 p j =1. If f j (x)>0, and f j (j=1,2,,m) is continuous real-valued function on [ a , b ] T , then

  1. (1)

    for p j >1, we have

    a b j = 1 m f j (x) α x j = 1 m ( a b f j p j ( x ) α x ) 1 / p j ;
    (3.3)
  2. (2)

    for 0< p m <1, p j <0 (j=1,2,,m1), we have

    a b j = 1 m f j (x) α x j = 1 m ( a b f j p j ( x ) α x ) 1 / p j .
    (3.4)

Proof (1) Let φ j (x)= f j ( x ) ( a b f j p j ( x ) α x ) 1 / p j , by (3.1), we have

a b j = 1 m φ j ( x ) α x a b j = 1 m φ j p j ( x ) p j α x = j = 1 m 1 p j a b f j p j ( x ) a b f j p j ( x ) α x α x = j = 1 m 1 p j = 1 .

Therefore, we obtain the desired inequality.

  1. (2)

    Set φ j (x)= f j ( x ) ( a b f j p j ( x ) α x ) 1 / p j , by (3.2), we obtain

    a b j = 1 m φ j ( x ) α x a b j = 1 m φ j p j ( x ) p j α x = j = 1 m 1 p j a b f j p j ( x ) a b f j p j ( x ) α x α x = j = 1 m 1 p j = 1 .

Hence, we have the desired result. □

Theorem 3.3 Let be a time scale a,bT with a<b and α k j R (j=1,2,,m, k=1,2,,s), k s 1 p k =1, k = 1 s α k j =0. If f j (x)>0, and f j (j=1,2,,m) is a continuous real-valued function on [ a , b ] T , then

  1. (1)

    for p k >1, we have the following inequality:

    a b j = 1 m f j (x) α x k = 1 s ( a b j = 1 m f j 1 + p k α k j ( x ) α x ) 1 / p k ;
    (3.5)
  2. (2)

    0< p s <1, p k <0 (k=1,2,,s1), we have the following reverse inequality:

    a b j = 1 m f j (x) α x k = 1 s ( a b j = 1 m f j 1 + p k α k j ( x ) α x ) 1 / p k .
    (3.6)

Proof (1) Set

g k (x)= ( j = 1 m f j 1 + p k α k j ( x ) ) 1 / p k .
(3.7)

Applying the assumptions k s 1 p k =1 and k = 1 s α k j =0, by computing, we can observe that

k = 1 s g k ( t ) = g 1 g 2 g s = ( j = 1 m f j 1 + a 1 α 1 j ( t ) ) 1 / a 1 ( j = 1 m f j 1 + a 2 α 2 j ( t ) ) 1 / a 2 ( j = 1 m f j 1 + a s α s j ( t ) ) 1 / a s = j = 1 m f j 1 / a 1 + α 1 j ( t ) j = 1 m f j 1 / a 2 + α 2 j ( t ) j = 1 m f j 1 / a s + α s j ( t ) = j = 1 m f j 1 / a 1 + 1 / a 2 + + 1 / a s + α 1 j + α 2 j + + α s j ( t ) = j = 1 m f j ( t ) .

That is,

k = 1 s g k (t)= j = 1 m f j (t).

Hence, we obtain

a b j = 1 m f j (x) α x= a b k = 1 s g k (x) α x.
(3.8)

By the Hölder inequality (3.3), we find

a b k = 1 s g k (x) α x k = 1 s ( a b g k p k ( x ) α x ) 1 / p k .
(3.9)

Substitution of g k (x) in (3.9) conduce to inequality (3.5) immediately. This proves inequality (3.5).

  1. (2)

    This proof is similar to the proof of inequality (3.5), by (3.7), (3.8), and the reverse Hölder inequality (3.4), we have

    a b k = 1 s g k (x) α x k = 1 s ( a b g k p k ( x ) α x ) 1 / p k .
    (3.10)

Substitution of g k (x) in (3.10) leads to inequality (3.6) immediately. □

Corollary 3.1 Under the conditions of Theorem  3.3, let s=m, α k j =t/ p k for kj and α j j =t(11/ p j ) with , then

  1. (1)

    for p k >1, we have the following inequality:

    a b j = 1 m f j (x) α x k = 1 m ( a b ( j = 1 m f j ( x ) ) 1 t ( f k p k ) t ( x ) α x ) 1 / p k ;
    (3.11)
  2. (2)

    0< p m <1, p k <0 (k=1,2,,m1), we have the following reverse inequality:

    a b j = 1 m f j (x) α x k = 1 m ( a b ( j = 1 m f j ( x ) ) 1 t ( f k p k ) t ( x ) α x ) 1 / p k .
    (3.12)

Theorem 3.4 Let be a time scale, a,bT with a<b and , (j=1,2,,m, k=1,2,,s), k s 1 p k =r, k = 1 s α k j =0. If f j (x)>0, and f j (j=1,2,,m) is a continuous real-valued function on [ a , b ] T , then

  1. (1)

    for r p k >1, we have the following inequality:

    a b j = 1 m f j (x) α x k = 1 s ( a b j = 1 m f j 1 + r p k α k j ( x ) α x ) 1 / r p k ;
    (3.13)
  2. (2)

    for 0<r p s <1, r p k <0 (k=1,2,,s1), we have the following reverse inequality:

    a b j = 1 m f j (x) α x k = 1 s ( a b j = 1 m f j 1 + r p k α k j ( x ) α x ) 1 / r p k .
    (3.14)

Proof (1) Since r p k >1 and k s 1 p k =r, we get k s 1 r p k =1. Then by (3.5), we immediately obtain the inequality (3.13).

  1. (2)

    Since 0<r p s <1, r p k <0 (k=1,2,,s1) and k s 1 p k =r, we have k s 1 r p k =1, by (3.6), we immediately have the inequality (3.14). This completes the proof. □

Recently, Yang [11] established an extension of the Callebaut inequality, that is,

a b j = 1 m f j (x) α x ( a b j = 1 m f j 1 + α j ( x ) α x ) 1 / 2 ( a b j = 1 m f j 1 α j ( x ) α x ) 1 / 2 .
(3.15)

From Theorem 3.4, we obtain a Hölder type generalization of (3.15) as follows.

Corollary 3.2 Under the conditions of Theorem  3.4, and taking s=2, p 1 =p, p 2 =q, α 1 j = α 2 j = α j , then

  1. (1)

    for rp,rq>1, we have the following inequality:

    a b j = 1 m f j (x) α x ( a b j = 1 m f j 1 + r p α j ( x ) α x ) 1 / r p ( a b j = 1 m f j 1 r q α j ( x ) α x ) 1 / r q ;
    (3.16)
  2. (2)

    for 0<rp<1, rq<0, we have the following reverse inequality:

    a b j = 1 m f j (x) α x ( a b j = 1 m f j 1 + r p α j ( x ) α x ) 1 / r p ( a b j = 1 m f j 1 r q α j ( x ) α x ) 1 / r q .
    (3.17)

Now we present a refinement of inequality (3.13) and (3.14), respectively.

Theorem 3.5 Under the conditions of Theorem  3.4, we have

  1. (1)

    for r p k >1, we have the following inequality:

    a b j = 1 m f j (x) α xφ(c) k = 1 s ( a b j = 1 m f j 1 + r p k α k j ( x ) α x ) 1 / r p k ,
    (3.18)

where

φ(c) a c j = 1 m f j (x) α x+ k = 1 s ( c b j = 1 m f j 1 + r p k α k j ( x ) α x ) 1 / r p k

is a nonincreasing function with acb;

  1. (2)

    for 0<r p s <1, r p k <0 (k=1,2,,s1), we have the following reverse inequality:

    a b j = 1 m f j (x) α xϕ(c) k = 1 s ( a b j = 1 m f j 1 + r p k α k j ( x ) α x ) 1 / r p k ,
    (3.19)

where

ϕ(c) a c j = 1 m f j (x) α x+ k = 1 s ( c b j = 1 m f j 1 + r p k α k j ( x ) α x ) 1 / r p k

is a nondecreasing function with acb.

Proof (1) Let

g k (x)= ( j = 1 m f j 1 + r p k α k j ( x ) ) 1 / r p k .

By rearrangement, using the assumptions of Theorem 3.4, we have

j = 1 m f j (x)= k = 1 s g k (x).

Then by the Hölder inequality (3.3), we obtain

a b j = 1 m f j ( x ) α x = a b k = 1 s g k ( x ) α x = a c k = 1 s g k ( x ) α x + c b k = 1 s g k ( x ) α x a c k = 1 s g k ( x ) α x + k = 1 s ( c b g k r p k ( x ) α x ) 1 / r p k k = 1 s ( a c g k r p k ( x ) α x + c b g k r p k ( x ) α x ) 1 / r p k = k = 1 s ( a b g k r p k ( x ) α x ) 1 / r p k = k = 1 s ( a b j = 1 m f j 1 + r p k α k j ( x ) α x ) 1 / r p k .

Therefore, we obtain the desired result.

  1. (2)

    This proof is similar to the proof of inequality (3.18), we have inequality (3.19). □

Remark 3.1 Taking s=2, Theorem 3.5 presents refinement of (3.16) and (3.17). Moreover, letting T=R and T=Z, then the results of this paper lead to the main results of [13].

References

  1. Beckenbach EF, Bellman R: Inequalities. Springer, Berlin; 1961.

    Book  Google Scholar 

  2. Cheung W-S: Generalizations of Hölder’s inequality. Int. J. Math. Math. Sci. 2001,26(1):7–10. 10.1155/S0161171201005658

    Article  MathSciNet  Google Scholar 

  3. Mitrinovi’c DS: Analytic Inequalities. Springer, New York; 1970.

    Book  Google Scholar 

  4. Hardy G, Littlewood JE, Pólya G: Inequalities. 2nd edition. Cambridge University Press, Cambridge; 1952.

    Google Scholar 

  5. Abramovich S, Mond B, Peari JE: Sharpening Hölder’s inequality. J. Math. Anal. Appl. 1995, 196: 1131–1134. 10.1006/jmaa.1995.1465

    Article  MathSciNet  Google Scholar 

  6. Yang X: Refinement of Hölder inequality and application to Ostrowski inequality. Appl. Math. Comput. 2003, 138: 455–461. 10.1016/S0096-3003(02)00159-5

    Article  MathSciNet  Google Scholar 

  7. Yang X: Hölder’s inequality. Appl. Math. Lett. 2003, 16: 897–903. 10.1016/S0893-9659(03)90014-0

    Article  MathSciNet  Google Scholar 

  8. He WS: Generalization of a sharp Hölder’s inequality and its application. J. Math. Anal. Appl. 2007, 332: 741–750. 10.1016/j.jmaa.2006.10.019

    Article  MathSciNet  Google Scholar 

  9. Kwon EG, Bae EK: On a continuous form of Hölder inequality. J. Math. Anal. Appl. 2008, 343: 585–592. 10.1016/j.jmaa.2008.01.057

    Article  MathSciNet  Google Scholar 

  10. Masjed-Jamei M: A functional generalization of the Cauchy-Schwarz inequality and some subclasses. Appl. Math. Lett. 2009, 22: 1335–1339. 10.1016/j.aml.2009.03.001

    Article  MathSciNet  Google Scholar 

  11. Yang W: A functional generalization of diamond- α integral Hölder’s inequality on time scales. Appl. Math. Lett. 2010, 23: 1208–1212. 10.1016/j.aml.2010.05.013

    Article  MathSciNet  Google Scholar 

  12. Callebaut DK: Generalization of the Cauchy-Schwartz inequality. J. Math. Anal. Appl. 1965, 12: 491–494. 10.1016/0022-247X(65)90016-8

    Article  MathSciNet  Google Scholar 

  13. Qiang H, Hu Z: Generalizations of Hölder’s and some related inequalities. Comput. Math. Appl. 2011, 61: 392–396. 10.1016/j.camwa.2010.11.015

    Article  MathSciNet  Google Scholar 

  14. Tuna A, Kutukcu S: Some integral inequalities on time scales. Appl. Math. Mech. 2008,29(1):23–29. 10.1007/s10483-008-0104-y

    Article  MathSciNet  Google Scholar 

  15. Atasever, N: On Diamod-Alpha dynamic equations and inequalities. MS. thesis, Georgia Southern University (2006)

    Google Scholar 

  16. Sidi-Ammi MR, Torres DFM: Hölder’s and Hardy’s two dimensional diamond-alpha inequalities on time scales. An. Univ. Craiova, Ser. Mat. Inform. 2010, 37: 1–11.

    MathSciNet  Google Scholar 

  17. Agarwal RP, Bohner M, Peterson A: Inequalities on time scales: a survey. Math. Inequal. Appl. 2001,4(4):535–557.

    MathSciNet  Google Scholar 

  18. Anderson D, Bullock J, Erbe L, Peterson A, Tran H: Nabla dynamic equations on time scales. Panam. Math. J. 2003,13(1):1–47.

    MathSciNet  Google Scholar 

  19. Bohner M, Kaymakçalan B: Opial inequalities on time scales. Ann. Pol. Math. 2001,77(1):11–20. 10.4064/ap77-1-2

    Article  Google Scholar 

  20. Bohner M, Peterson A: Dynamic Equations on Time Scales. An Introduction with Applications. Birkhäuser Boston, Boston; 2001.

    Book  Google Scholar 

  21. Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser Boston, Boston; 2003.

    Book  Google Scholar 

  22. Ammi MRS, Ferreira RAC, Torres DFM: Diamond- α Jensen’s inequality on time scales. J. Inequal. Appl. 2008., 2008: Article ID 576876 10.1155/2008/576876

    Google Scholar 

  23. Malinowska AB, Torres DFM: On the diamond-alpha Riemann integral and mean value theorems on time scales. Dyn. Syst. Appl. 2009,18(3–4):469–482.

    MathSciNet  Google Scholar 

  24. Bohner M, Matthews T, Tuna A: Diamond- α Grüss type inequalities on time scales. Int. J. Dyn. Syst. Differ. Equ. 2011,3(1–2):234–247.

    MathSciNet  Google Scholar 

  25. Adamec L: A note on continuous dependence of solutions of dynamic equations on time scales. J. Differ. Equ. Appl. 2011,17(5):647–656. 10.1080/10236190902873821

    Article  MathSciNet  Google Scholar 

  26. Adıvar M, Bohner EA: Halanay type inequalities on time scales with applications. Nonlinear Anal., Theory Methods Appl. 2011,74(18):7519–7531. 10.1016/j.na.2011.08.007

    Article  Google Scholar 

  27. Özkan UM, Sarikaya MZ, Yildirim H: Extensions of certain integral inequalities on time scales. Appl. Math. Lett. 2008,21(10):993–1000. 10.1016/j.aml.2007.06.008

    Article  MathSciNet  Google Scholar 

  28. Rogers JW Jr., Sheng Q: Notes on the diamond- α dynamic derivative on time scales. J. Math. Anal. Appl. 2007,326(1):228–241. 10.1016/j.jmaa.2006.03.004

    Article  MathSciNet  Google Scholar 

  29. Sheng Q: Hybrid approximations via second-order crossed dynamic derivatives with the diamond- α derivative. Nonlinear Anal., Real World Appl. 2008,9(2):628–640. 10.1016/j.nonrwa.2006.12.006

    Article  MathSciNet  Google Scholar 

  30. Sheng Q, Fadag M, Henderson J, Davis JM: An exploration of combined dynamic derivatives on time scales and their applications. Nonlinear Anal., Real World Appl. 2006,7(3):395–413. 10.1016/j.nonrwa.2005.03.008

    Article  MathSciNet  Google Scholar 

  31. Erbe L: Oscillation criteria for second order linear equations on a time scale. Can. Appl. Math. Q. 2001,9(4):345–375.

    MathSciNet  Google Scholar 

  32. Bohner M, Duman O: Opial-type inequalities for diamond-alpha derivatives and integrals on time scales. Differ. Equ. Dyn. Syst. 2010,18(1–2):229–237. 10.1007/s12591-010-0006-x

    Article  MathSciNet  Google Scholar 

  33. Lou YT: Generalizations of Young inequality and Hölder inequality. J. Nanjing Inst. Posts Telecommun. 1994,14(4):98–103. (in Chinese)

    Google Scholar 

Download references

Acknowledgements

The authors thank the editor and the referees for their valuable suggestions to improve the quality of this paper. This paper was partially supported by NNSFC (No. 11326161), the key projects of Science and Technology Research of the Henan Education Department (No. 14A110011), the key project of Guangxi Social Sciences (No. gxsk201424) and the Education Science fund of the Education Department of Guangxi (No. 2013JGB410).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Feng-Li Huang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

This paper is the result of joint work of all authors who contributed equally to the final version of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Chen, GS., Huang, FL. & Liao, LF. Generalizations of Hölder inequality and some related results on time scales. J Inequal Appl 2014, 207 (2014). https://doi.org/10.1186/1029-242X-2014-207

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-207

Keywords