Skip to main content

Advertisement

You are viewing the new article page. Let us know what you think. Return to old version

Research | Open | Published:

Power series inequalities via Young’s inequality with applications

Abstract

In this paper, we establish some inequalities for power series with real coefficients by utilizing Young’s inequality for sequences of complex numbers. Some applications for special functions such as polylogarithm, hypergeometric and Bessel functions are also presented.

MSC:26D15.

1 Introduction

Let a k , b k C, k{1,2,,n}, p>1 and let q satisfy 1 p + 1 q =1. Then the classical Hölder’s inequality [[1], pp.19-21] states that

| k = 1 n a k b k | ( k = 1 n | a k | p ) 1 p ( k = 1 n | b k | q ) 1 q
(1.1)

with equality holds if and only if the sequences {| a k | p } and {| b k | q } for k{1,2,,n} are proportional and the arg( a k b k ) is independent of k. The inequality (1.1) is reversed if p<1.

The weighted version of Hölder’s inequality also holds, namely

| k = 1 n p k a k b k | ( k = 1 n p k | a k | p ) 1 p ( k = 1 n p k | b k | q ) 1 q ,
(1.2)

where p k 0, a k , b k C, k{1,2,,n}, p>1, 1 p + 1 q =1.

Tolsted in [2] (see also [[3], p.457], [[4], pp.63-64]) showed that Hölder’s inequality (also known in the literature as the Rogers inequality) can be easily proved by using Young’s inequality [5], namely

1 q x q + 1 p y p xy
(1.3)

for any positive numbers x, y and p>1 with 1 p + 1 q =1. Equality holds in (1.3) if and only if x q = y p . For other applications and extensions of Young’s inequality, see [6, 7], [[8], pp.379-389] and references therein.

It is well known that Hölder’s inequality is one of the most important inequalities in real and complex analysis. For example, the celebrated Cauchy-Bunyakovsky-Schwarz (CBS) inequality (see [[9], p.16], [[8], p.83]) is a special case of Hölder’s inequality (1.1) for p=q=2. Some other inequalities such as Minkowski’s inequality can be proved by using Hölder’s inequality.

Various extensions, generalizations, refinements, etc. of Hölder’s inequality have been obtained by several authors (see [1020] and references therein). For instance, it comes to our attention that an interesting generalizations of Hölder’s inequality (1.1) by utilizing Young’s inequality (1.3), which was established by Dragomir and Sándor in [21] (see also [[22], pp.10-16]), is as follows:

k = 1 n p k | x k y k | k = 1 n q k | x k y k | 1 p k = 1 n p k | x k | p k = 1 n q k | y k | p + 1 q k = 1 n q k | x k | q k = 1 n p k | y k | q
(1.4)

for x k , y k C, p k , q k 0, k{1,2,,n} and p,q>1 with 1 p + 1 q =1.

If now we consider an analytic function defined by the power series

f(z)= n = 0 a n z n
(1.5)

with real coefficients and convergent on the disk D(0,R), R>0 and apply the weighted version of Hölder’s inequality (1.2), then we can state that

| f ( x y ) | = | n = 0 a n x n y n | ( n = 0 | a n | | x | p n ) 1 p ( n = 0 | a n | | y | q n ) 1 q = f A 1 p ( | x | p ) f A 1 q ( | y | q )
(1.6)

for any x,yC with xy,|x | p ,|y | q D(0,R) and f A (z) is a new power series defined by n = 0 | a n | z n , where a n =| a n |sgn( a n ) with sgn(x) is the real signum function defined to be 1 if x>0, −1 if x<0 and 0 if x=0. The power series f A (z) have the same radius of convergence as the original power series f(z).

Motivated by the above results (1.6), (1.4) and the results from [21], and utilizing Young’s inequality, we established in this paper some inequalities for functions defined by power series with real coefficients. Particular examples that are related to some fundamental complex functions such as the exponential, logarithm, trigonometric and hyperbolic functions are presented. Applications for some special functions such as polylogarithm, hypergeometric and Bessel functions for the first kind are presented as well.

2 Some inequalities via Young’s inequality

On utilizing Young’s inequality (1.3) for power series with real coefficients, we establish the following result.

Theorem 1 Let f(z)= n = 0 p n z n and g(z)= n = 0 q n z n be two power series with real coefficients and convergent on the open disk D(0,R), R>0. If p>1, 1 p + 1 q =1 and x,yC, x,y0 so that xy,|x | p ,|x | q ,|y | p ,|y | q D(0,R), then

1 p g A ( | x | p ) f A ( | y | p ) + 1 q f A ( | x | q ) g A ( | y | q ) |f(xy)g(xy)|
(2.1)

and

1 p g A ( | x | p ) f A ( | y | q ) + 1 q f A ( | x | q ) g A ( | y | p ) |f ( x | y | q 1 ) g ( x | y | p 1 ) |.
(2.2)

Proof If we choose x=|x | j |y | k , y=|x | k |y | j , j,k{0,1,2,,n} in (1.3), then we have

p|x | q j |y | q k +q|x | p k |y | p j pq|xy | j |xy | k
(2.3)

for any j,k{0,1,2,,n}.

Now, if we multiply this inequality (2.3) with positive quantities | p j || q k | and summing over j and k from 0 to n, then we derive

p j = 0 n | p j | | x | q j k = 0 n | q k | | y | q k + q k = 0 n | q k | | x | p k j = 0 n | p j | | y | p j p q | j = 0 n p j ( x y ) j k = 0 n q k ( x y ) k | .
(2.4)

Since all the series whose partial sums are involved in inequality (2.4) are convergent on the disk D(0,R), taking the limit as n in (2.4), we deduce the desired result (2.1).

Further, if we choose in (1.3), x= | x | j | y | j , y= | x | k | y | k , then we get

p ( | x | j | y | j ) q +q ( | x | k | y | k ) p pq | x | j | y | j | x | k | y | k
(2.5)

for any |y | j ,|y | k 0, j,k{0,1,2,,n}.

Simplifying (2.5), we obtain that

p | x | q j | y | p k + q | x | p k | y | q j p q | x | j | y | ( q 1 ) j | x | k | y | ( p 1 ) k = p q | ( x | y | q 1 ) j ( x | y | p 1 ) k |
(2.6)

for any j,k{0,1,2,,n}.

Multiplying (2.6) by | p j || q k |0, j,k{0,1,2,,n} and summing over j and k from 0 to n, we get

p j = 0 n | p j | | x | q j k = 0 n | q k | | y | p k + q k = 0 n | q k | | x | p k j = 0 n | p j | | y | q j p q | j = 0 n p j ( x | y | q 1 ) j k = 0 n q k ( x | y | p 1 ) k | .
(2.7)

Since all the series whose partial sums are involved in inequality (2.7) are convergent on the disk D(0,R), letting n in (2.7), we deduce the desired inequality (2.2). □

The following particular case is of interest.

Corollary 1 If g(z)=f(z) in (2.1) and (2.2), then

1 p f A ( | x | p ) f A ( | y | p ) + 1 q f A ( | x | q ) f A ( | y | q ) |f(xy) | 2
(2.8)

and

1 p f A ( | x | p ) f A ( | y | q ) + 1 q f A ( | x | q ) f A ( | y | p ) |f ( x | y | q 1 ) f ( x | y | p 1 ) |,
(2.9)

respectively, where p>1, 1 p + 1 q =1 and x,y0 with xy,|x | p ,|x | q ,|y | p ,|y | q D(0,R). In particular, if y=x in (2.8) and (2.9), then we have

1 p f A 2 ( | x | p ) + 1 q f A 2 ( | x | q ) |f ( x 2 ) | 2

and

f A ( | x | p ) f A ( | x | q ) |f ( sgn ( x ) | x | q ) f ( sgn ( x ) | x | p ) |

for any xC, x0 with x 2 ,|x | p ,|x | q D(0,R) and sgn(x) is the complex signum function defined to be x | x | if x0 and 0 if x=0.

Remark 1 In the particular case p=q=2 in (2.8) and (2.9), we get the inequalities

f A ( | x | 2 ) f A ( | y | 2 ) |f(xy) | 2

and

f A ( | x | 2 ) f A ( | y | 2 ) |f ( x | y | ) | 2 ,

respectively, for any x,yC with xy,|x | 2 ,|y | 2 D(0,R).

Some applications to particular functions of interest are as follows.

  1. (1)

    If we apply inequalities (2.8) and (2.9) to the function f(z)= 1 1 z = n = 0 z n , zD(0,1), then we get

    1 p ( 1 | x | p ) ( 1 | y | p ) + 1 q ( 1 | x | q ) ( 1 | y | q ) 1 | 1 x y | 2

and

1 p ( 1 | x | p ) ( 1 | y | q ) + 1 q ( 1 | x | q ) ( 1 | y | p ) 1 | 1 x | y | q 1 | | 1 x | y | p 1 | ,

respectively, for any x,yC with x,y0, xy,|x | p ,|x | q ,|y | p ,|y | q D(0,1) and p>1, 1 p + 1 q =1.

  1. (2)

    If we apply inequalities (2.8) and (2.9) to the function f(z)=exp(z)= n = 0 1 n ! z n , zC, then we can state that

    1 p exp ( | x | p + | y | p ) + 1 q exp ( | x | q + | y | q ) |exp(xy) | 2

and

1 p exp ( | x | p + | y | q ) + 1 q exp ( | x | q + | y | p ) | exp ( x | y | q 1 + x | y | p 1 ) | ,

respectively, for any x,yC and p>1 with 1 p + 1 q =1.

  1. (3)

    If we apply the function f(z)=ln( 1 1 z )= n = 0 1 n z n , zD(0,1), then from (2.8) and (2.9) we have

    1 p ln ( 1 | x | p ) ln ( 1 | y | p ) + 1 q ln ( 1 | x | q ) ln ( 1 | y | q ) | ln ( 1 x y ) | 2

and

1 p ln ( 1 | x | p ) ln ( 1 | y | q ) + 1 q ln ( 1 | x | q ) ln ( 1 | y | p ) | ln ( 1 x | y | q 1 ) ln ( 1 x | y | p 1 ) | ,

respectively, for any x,yC with x,y0, |x | p ,|x | q ,|y | p ,|y | q D(0,1) and p>1, 1 p + 1 q =1.

  1. (IV)

    Also, if we consider the function f(z)=sin(z)= n = 0 ( 1 ) n ( 2 n + 1 ) ! z 2 n + 1 , zC, then, obviously, we have f A (z)=sinh(z), zC. Applying inequalities (2.8) and (2.9) to this function, we get

    1 p sinh ( | x | p ) sinh ( | y | p ) + 1 q sinh ( | x | q ) sinh ( | y | q ) |sin(xy) | 2

and

1 p sinh ( | x | p ) sinh ( | y | q ) + 1 q sinh ( | x | q ) sinh ( | y | p ) | sin ( x | y | q 1 ) sin ( x | y | p 1 ) | ,

respectively, for x,yC and p>1, 1 p + 1 q =1.

Similar results can be obtained for cosh(x) as well.

The following result also holds.

Theorem 2 Let f(z) and g(z) be as in Theorem 1. Then one has the inequalities

1 p g A ( | x | p ) f A ( | y | q ) + 1 q f A ( | x | p ) g A ( | y | q ) |f ( | x | p 1 | y | q 1 ) g(xy)|
(2.10)

and

1 p f A ( | x | p ) g A ( | y | 2 ) + 1 q g A ( | x | 2 ) f A ( | y | q ) |f(xy)g ( | x | 2 q | y | 2 p ) |.
(2.11)

Proof If we choose in (1.3), x= | y | k | y | j , y= | x | k | x | j , |x | j ,|y | j 0, j,k{0,1,2,,n}, we have

p | y | q k | x | p j + q | x | p k | y | q j p q | x | ( p 1 ) j | y | ( q 1 ) j | x y | k = p q | ( | x | p 1 | y | q 1 ) j ( x y ) k |
(2.12)

for any j,k{0,1,2,,n}.

Multiplying (2.12) with | p j || q k |0 and summing over j and k from 0 to n, we obtain that

p k = 0 n | q k | | y | q k j = 0 n | p j | | x | p j + q k = 0 n | q k | | x | p k j = 0 n | p j | | y | q j p q | j = 0 n p j ( | x | p 1 | y | q 1 ) j k = 0 n q k ( x y ) k | .
(2.13)

From (1.3), we also have the inequality

p k = 1 n | q k | | x | 2 k j = 1 n | p j | | y | q j + q j = 1 n | p j | | x | p j k = 1 n | q k | | y | 2 k p q | j = 1 n p j ( x y ) j k = 1 n q k ( | x | 2 q | y | 2 p ) k |
(2.14)

for any x,yC, p>1, 1 p + 1 q =1, which was obtained by choosing x=|x | 2 q k |y | j , y=|x | j |y | 2 p k and repeating the same method as above.

Now, since all the series whose partial sums are involved in inequalities (2.13) and (2.14) are convergent on the disk D(0,R), by letting n in (2.13) and (2.14), respectively, we deduce the desired inequalities, i.e., (2.10) and (2.11). □

Corollary 2 If g(z)=f(z)in (2.10) and (2.11), then

f A ( | x | p ) f A ( | y | q ) |f(xy)f ( | x | p 1 | y | q 1 ) |
(2.15)

and

1 p f A ( | x | p ) f A ( | y | 2 ) + 1 q f A ( | x | 2 ) f A ( | y | q ) |f(xy)f ( | x | 2 q | y | 2 p ) |,
(2.16)

respectively, where p>1, 1 p + 1 q =1 and x,y0 with xy,|x | 2 ,|x | p ,|x | 2 q ,|y | 2 ,|y | q ,|y | 2 p D(0,R). In particular, if y=x in (2.15) and (2.16), then we have

f A ( | x | p ) f A ( | x | q ) |f ( x 2 ) f ( | x | p q 2 ) |

and

f A ( | x | 2 ) [ 1 p f A ( | x | p ) + 1 q f A ( | x | q ) ] |f ( x 2 ) f ( | x | 2 ) |

for x0 with x 2 ,|x | 2 ,|x | p ,|x | q D(0,R).

Remark 2 In the particular case p=q=2 in (2.15) or (2.16), we get the inequality

f A ( | x | 2 ) f A ( | y | 2 ) |f(xy)f ( | x y | ) |

for any x,yC with xy,|xy|,|x | 2 ,|y | 2 D(0,R).

In what follows, we provide some applications of inequalities (2.15) and (2.16) to particular functions of interest.

  1. (1)

    If we apply inequalities (2.15) and (2.16) to the function f(z)= 1 1 z , zD(0,1), then we get

    |1xy||1|x | p 1 |y | q 1 | ( 1 | x | p ) ( 1 | y | q )
    (2.17)

and

1 p ( 1 | x | p ) ( 1 | y | 2 ) + 1 q ( 1 | x | 2 ) ( 1 | y | q ) 1 | 1 x y | | 1 | x | 2 q | y | 2 p | ,

respectively, where p>1, 1 p + 1 q =1 and x,y0 with xy,|x | 2 ,|x | p ,|x | 1 q ,|y | 2 ,|y | q ,|y | 1 p D(0,1).

  1. (2)

    If we apply inequalities (2.15) and (2.16) to the function f(z)=exp(z), zC, then we can state that

    exp ( | x | p + | y | q ) |exp ( x y + | x | p 1 | y | q 1 ) |

and

1 p exp ( | x | p + | y | 2 ) + 1 q exp ( | x | 2 + | y | q ) | exp ( x y + | x | 2 q | y | 2 p ) | ,

respectively, for any x,yC with x,y0.

  1. (3)

    If we take the function f(z)=ln( 1 1 z ), zD(0,1), then from (2.15) and (2.16) we have

    ln ( 1 | x | p ) ln ( 1 | y | q ) |ln(1xy)ln ( 1 | x | p 1 | y | q 1 ) |
    (2.18)

and

1 p ln ( 1 | x | p ) ln ( 1 | y | 2 ) + 1 q ln ( 1 | x | 2 ) ln ( 1 | y | q ) |ln(1xy)ln ( 1 | x | 2 q | y | 2 p ) |,

respectively, where p>1, 1 p + 1 q =1 and x,y0 with xy,|x | 2 ,|x | p ,|x | 1 q ,|y | 2 ,|y | q ,|y | 1 p D(0,1).

  1. (4)

    If we consider the function f(z)=sin(z), zC, then we have f A (z)=sinh(z), zC. Applying inequalities (2.15) and (2.16) to this function, we get

    sinh ( | x | p ) sinh ( | y | q ) |sin(xy)sin ( | x | p 1 | y | q 1 ) |

and

1 p sinh ( | x | p ) sinh ( | y | 2 ) + 1 q sinh ( | x | 2 ) sinh ( | y | q ) | sin ( x y ) sin ( | x | 2 q | y | 2 p ) | ,

respectively, where p>1, 1 p + 1 q =1 and x,yC with x,y0.

A similar result can be obtained for cosh(x) as well.

Theorem 3 Let f(z) and g(z) be as in Theorem 1. Then one has the inequalities

1 p g A ( | x | 2 ) f A ( | y | q ) + 1 q f A ( | x | p ) g A ( | y | 2 ) | f ( | x | p 1 | y | q 1 ) g ( | x | 2 p | y | 2 q ) |
(2.19)

and

1 p g A ( | x | 2 ) f A ( | y | p ) + 1 q f A ( | x | 2 ) g A ( | y | q ) |f ( | x | 2 q y ) g ( | x | 2 p y ) |.
(2.20)

Proof Follows from inequality (1.3) on choosing x= | y | 2 q k | y | j , y= | x | 2 p k | x | j and x=|x | 2 q j |y | k , y=|x | 2 p k |y | j . That is, for any i,j{0,1,2,,n}, we have the following inequalities:

p | x | p j | y | 2 k + q | x | 2 k | y | q j p q | x | ( p 1 ) j | y | ( q 1 ) j | x | 2 p k | y | 2 q k = p q | ( | x | ( p 1 ) | y | ( q 1 ) ) j ( | x | 2 p | y | 2 q ) k |
(2.21)

and

p | x | 2 j | y | q k + q | x | 2 k | y | p j p q | x | 2 q j | y | j | x | 2 p k | y | k = p q | ( | x | 2 q y ) j ( | x | 2 p y ) k | ,
(2.22)

respectively.

Repeating the same method as in Theorem 1 for (2.21) and (2.22), we deduce the desired inequalities, i.e., (2.19) and (2.20). □

As a particular case of interest, we can state the following corollary.

Corollary 3 If g(z)=f(z) in (2.19) and (2.20), then

1 p f A ( | x | 2 ) f A ( | y | q ) + 1 q f A ( | x | p ) f A ( | y | 2 ) |f ( | x | p 1 | y | q 1 ) f ( | x | 2 p | y | 2 q ) |
(2.23)

and

f A ( | x | 2 ) [ 1 p f A ( | y | p ) + 1 q f A ( | y | q ) ] |f ( | x | 2 q y ) f ( | x | 2 p y ) |,
(2.24)

where p>1, 1 p + 1 q =1 and x,y0 with |x | 2 ,|x | p ,|x | q ,|y | 2 ,|y | p ,|y | q D(0,R). In particular, if y=x in (2.23) and (2.24), then we have

f A ( | x | 2 ) [ 1 p f A ( | x | q ) + 1 q f A ( | x | p ) ] |f ( | x | 2 ) f ( | x | p q 2 ) |

and

f A ( | x | 2 ) [ 1 p f A ( | x | p ) + 1 q f A ( | x | q ) ] |f ( | x | 2 q x ) f ( | x | 2 p x ) |

for x0, |x | 2 ,|x | p ,|x | q D(0,R).

Inequalities (2.23) and (2.24) are also valuable sources of particular inequalities for complex numbers as will be outlined in the following.

  1. (1)

    If we apply inequalities (2.23) and (2.24) to the function f(z)= 1 1 z , zD(0,1), then we get

    1 p ( 1 | x | 2 ) ( 1 | y | q ) + 1 q ( 1 | x | p ) ( 1 | y | 2 ) 1 | ( 1 | x | p 1 | y | q 1 ) ( 1 | x | 2 p | y | 2 q ) |

and

1 1 | x | 2 ( 1 p ( 1 | y | p ) + 1 q ( 1 | y | q ) ) 1 | ( 1 | x | 2 q y ) ( 1 | x | 2 p y ) | ,

respectively, for any x,yC, x,y0 with |x | 2 ,|y | 2 ,|x | p ,|y | q ,|x | 1 p ,|x | 1 q ,|y | 1 p ,|y | 1 q D(0,1).

  1. (2)

    If we apply inequalities (2.23) and (2.24) to the function f(z)=exp(z), zC, then we can state that

    1 p exp ( | x | 2 + | y | q ) + 1 q exp ( | x | p + | y | 2 ) | exp ( | x | p 1 | y | q 1 + | x | 2 p | y | 2 q ) |

and

exp ( | x | 2 ) [ 1 p exp ( | y | p ) + 1 q exp ( | y | q ) ] | exp [ ( | x | 2 q + | x | 2 p ) y ] | ,

respectively, for x,yC, x,y0.

  1. (3)

    If we apply the function f(z)=ln( 1 1 z ), zD(0,1), then from (2.23) and (2.24) we have

    1 p ln ( 1 | x | 2 ) ln ( 1 | y | q ) + 1 q ln ( 1 | x | p ) ln ( 1 | y | 2 ) | ln ( 1 | x | p 1 | y | q 1 ) ln ( 1 | x | 2 p | y | 2 q ) |

and

ln ( 1 | x | 2 ) [ 1 p ln ( 1 | y | p ) + 1 q ln ( 1 | y | q ) ] | ln ( 1 | x | 2 q y ) ln ( 1 | x | 2 p y ) | ,

respectively, for any x,yC, x,y0 with |x | 2 ,|y | 2 ,|x | p ,|y | q ,|x | 1 p ,|x | 1 q ,|y | 1 p ,|y | 1 q D(0,1).

  1. (4)

    If we consider the function f(z)=sin(z), zC, then we have f A (z)=sinh(z), zC. Applying inequalities (2.23) and (2.24) to this function, we get

    1 p sinh ( | x | 2 ) sinh ( | y | q ) + 1 q sinh ( | x | p ) sinh ( | y | 2 ) | sin ( | x | p 1 | y | q 1 ) sin ( | x | 2 p | y | 2 q ) |

and

sinh ( | x | 2 ) [ 1 p sinh ( | y | p ) + 1 q sinh ( | y | q ) ] |sin ( | x | 2 q y ) sin ( | x | 2 p y ) |,

respectively, for any x,yC, x,y0.

A similar result can be obtained for cosh(x) as well.

3 Applications to special functions

In this section, we give some inequalities for some special functions such as polylogarithm, hypergeometric, Bessel and modified Bessel functions for the first kind. Before that, we state here some basic concepts and definitions of those functions.

The polylogarithm L i n (z) is a function defined by the power series

L i n (z)= k = 1 z k k n
(3.1)

which converges absolutely for all complex values of the order n and the argument z where |z|<1. It is also known in the literature as Jonquiére’s function. The special cases z=1,1 reduce to L i n (1)=ζ(n) and L i n (1)=η(n), where ζ and η are the Riemann zeta function and Dirichlet eta function, respectively. When n=1, the first polylogarithm involves the ordinary logarithm, i.e., L i 1 (z)=ln(1z), while the second

L i 2 = k = 1 z k k 2
(3.2)

is called the dilogarithm or Spence’s function.

For other integer values of order n, the polylogarithm reduces to the ratio of a polynomial in z, for instance,

L i 0 ( z ) = z 1 z , L i 1 ( z ) = z ( 1 z ) 2 , L i 2 ( z ) = z ( z + 1 ) ( 1 z ) 3 , L i 3 ( z ) = z ( 1 + 4 z + z 2 ) ( 1 z ) 4 .

The hypergeometric function F 1 2 (a,b;c;z) is defined for all |z|<1 by the series

F 1 2 (a,b;c;z)= n = 0 ( a ) n ( b ) n ( c ) n z n n ! ,
(3.3)

where a,b,cR with c0,1,2, and the ( t ) n , n{0,1,2,} is a Pochhammer symbol which is defined by

( t ) n ={ 1 if  n = 0 , t ( t + 1 ) ( t + n 1 ) if  n > 0 .

Hypergeometric function (3.3) with particular arguments of a, b and c reduces to elementary functions. For instance,

F 1 2 ( 1 , 1 ; 1 ; z ) = 2 F 1 ( 1 , 2 ; 2 ; z ) = 1 1 z , F 1 2 ( 1 , 2 ; 1 ; z ) = 1 ( 1 z ) 2 , F 1 2 ( a , b ; b ; z ) = 1 ( 1 z ) a , F 1 2 ( 1 , 1 ; 2 ; z ) = 1 z ln ( 1 1 z ) , F 1 2 ( 1 , 1 ; 2 ; z ) = 1 z ln ( 1 + x ) .

Further, the Bessel functions of the first kind, denoted as J α (z), are defined by the power series

J α (z)= k = 0 ( 1 ) k k ! ( α + k ) ! ( z 2 ) 2 k + α
(3.4)

for α,zC with |z|<1. If z is replaced by arguments ±iz, then from (3.4) we have

I α (z)= i α J α (iz)= k = 0 1 k ! ( α + k ) ! ( z 2 ) 2 k + α
(3.5)

for α,zC with |z|<1. These functions (3.5) are called the modified Bessel functions of the first kind.

It is clearly seen that from (3.1), (3.3), (3.4) and (3.5), that is, L i n (z), F 1 2 (a,b;c;z), J α (z) and I α (z) are power series with real coefficients and convergent on the open disk D(0,1). Therefore, all the results in the above section hold true. For instance, from (2.15) we have the following corollaries.

Corollary 4 If L i n (z) is the polylogarithm function, then we have

L i n ( | x | p ) L i n ( | y | q ) |L i n (xy)L i n ( | x | p 1 | y | q 1 ) |
(3.6)

for any x,yC, x,y0 with xy,|x | p ,|y | q D(0,1) and p,q>1, 1 p + 1 q =1.

In particular, if n=0 in (3.6), then we have the following inequality:

|1xy||1|x | p 1 |y | q 1 | ( 1 | x | p ) ( 1 | y | q )

for all x,y0, xy,|x | p ,|y | q D(0,1) and p,q>1 with 1 p + 1 q =1.

If we take n=1 in (3.6), then we get inequality (2.18) for all x,y0 with xy,|x | p ,|y | q D(0,1) and p,q>1, 1 p + 1 q =1.

Also, if we choose in (3.6) n=2, then we obtain

L i 2 ( | x | p ) L i 2 ( | y | q ) |L i 2 (xy)L i 2 ( | x | p 1 | y | q 1 ) |

for any x,y0, xy,|x | p ,|y | q D(0,1) and p>1 with 1 p + 1 q =1. L i 2 (z) is the dilogarithm function which is defined in (3.2).

Corollary 5 If F 1 2 (a,b;c;z) is a hypergeometric function, then for any a,b,cR, we have

F 1 2 ( a , b ; c ; | x | p ) 2 F 1 ( a , b ; c ; | y | q ) | 2 F 1 ( a , b ; c ; x y ) 2 F 1 ( a , b ; c ; | x | p 1 | y | q 1 ) | ,
(3.7)

where x,y0 with xy,|x | p ,|y | q D(0,1) and p>1, 1 p + 1 q =1.

In particular, if we choose a=1, c=b in (3.7), then we get inequality (2.17). Also, if we choose a=b=1, c=2, then inequality (3.7) reduces to (2.18).

Corollary 6 If J α (z) and I α (z) are the Bessel and modified Bessel functions of the first kind, respectively, then for any α,x,yC, we have

I α ( | x | p ) I α ( | y | q ) | J α (xy) J α ( | x | p 1 | y | q 1 ) |,
(3.8)

where x,y0, xy,|x | p ,|y | q D(0,1) and p>1 with 1 p + 1 q =1.

In particular, if α=0 in (3.8), then for p,q>1 with 1 p + 1 q =1, we get

J 0 ( i | x | p ) J 0 ( i | y | q ) | J 0 (xy) J 0 ( | x | p 1 | y | q 1 ) |,

where J 0 (z)= k = 0 ( 1 ) k ( k ! ) 2 ( z 2 ) 2 k .

Other inequalities involving the polylogarithm, hypergeometric, Bessel and modified Bessel functions can be found in the literature (see [2328] and references therein).

References

  1. 1.

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

  2. 2.

    Tolsted E: An elementary derivation of the Cauchy, Hö lder and Minkowski inequalities from Young’s inequality. Math. Mag. 1964, 37: 2–12. 10.2307/2688239

  3. 3.

    Marshall AW, Olkin I: Inequalities: Theory of Majorization and Its Applications. Academic Press, New York/London; 1979.

  4. 4.

    Rudin W: Real and Complex Analysis. 3rd edition. McGraw-Hill, New York; 1987.

  5. 5.

    Young WH: On classes of summable functions and their Fourier series. Proc. R. Soc. Lond. A 1912, 87(594):225–229. 10.1098/rspa.1912.0076

  6. 6.

    Cerone P: On Young’s inequality and its reverse for bounding the Lorenz curve and Gini mean. J. Math. Inequal. 2009, 3(3):369–381.

  7. 7.

    Hong FH, Yeh CC, Yu SL, Hong CH: Young’s inequality and related results on time scales. Appl. Math. Lett. 2005, 18: 983–988. 10.1016/j.aml.2004.06.028

  8. 8.

    Mitrinovic DS, Pečaric JE, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht; 1993.

  9. 9.

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

  10. 10.

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

  11. 11.

    Carroll JA, Cordner R, Evelyn CJA: A new extension of Hölder’s inequality. Enseign. Math. 1970, 16: 69–71.

  12. 12.

    Daykin DE, Eliezer CJ: Generalization of Hölder’s and Minkowski’s inequalities. Proc. Camb. Philos. Soc. 1968, 64: 1023–1027. 10.1017/S0305004100043747

  13. 13.

    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

  14. 14.

    Kim YI, Yang X: Generalizations and refinements of Hölder’s inequality. Appl. Math. Lett. 2012, 25: 1094–1097. 10.1016/j.aml.2012.03.027

  15. 15.

    Mitrinovic DS, Pečaric JE: On an extension of Hölder’s inequality. Boll. Un. Mat. Ital. A (7) 1990, 4: 405–408.

  16. 16.

    Kwon EG: Extension of Hölder’s inequality (1). Bull. Aust. Math. Soc. 1995, 51: 369–375. 10.1017/S0004972700014192

  17. 17.

    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

  18. 18.

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

  19. 19.

    Yang X: A generalization of Hölder’s inequality. J. Math. Anal. Appl. 2000, 247: 328–330. 10.1006/jmaa.2000.6873

  20. 20.

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

  21. 21.

    Dragomir SS, Sándor J: Some generalizations of Cauchy-Bunyakovsky-Schwarz’s inequality. Gaz. Mat. Metod. (Bucharest) 1990, 11: 104–109. (in Romanian)

  22. 22.

    Dragomir SS: Discrete Inequalities of the Cauchy-Bunyakovsky-Schwarz Type. Nova Publ., New York; 2004.

  23. 23.

    Baricz A: Functional inequalities involving Bessel and modified Bessel functions of the first kind. Expo. Math. 2008, 26: 279–293. 10.1016/j.exmath.2008.01.001

  24. 24.

    Barnard RW, Kendall KC: On inequalities for hypergeometric analogues of the arithmetic-geometric mean. J. Inequal. Pure Appl. Math. 2007, 8(3):1–12.

  25. 25.

    He B, Yang B: On a Hilbert-type inequality with a hypergeometric function. Commun. Math. Anal. 2010, 9(1):84–92.

  26. 26.

    Jemai MM: A main inequality for several special functions. Comput. Math. Appl. 2010, 60: 1280–1289. 10.1016/j.camwa.2010.06.007

  27. 27.

    Yadava SR, Singh B: Certain inequalities involving special functions. Proc. Natl. Acad. Sci. India, Sect. a Phys. Sci. 1987, 57(3):324–328.

  28. 28.

    Zhu L: Jordan type inequalities involving the Bessel and modified Bessel functions. Comput. Math. Appl. 2010, 59: 724–736. 10.1016/j.camwa.2009.10.020

Download references

Author information

Correspondence to Alawiah Ibrahim.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The first author AI is currently a PhD student under supervision of the second author SSD and the third author MD is the co-supervisor. They jointly worked on deriving the results. All authors read and approved the final manuscript.

Rights and permissions

Reprints and Permissions

About this article

Keywords

  • Young’s inequality
  • Hölder’s inequality
  • power series