Skip to main content

Some new discrete Hilbert’s inequalities involving Fenchel–Legendre transform

Abstract

Some new Hilbert-type inequalities involving Fenchel–Legendre transform are introduced. These inequalities give more general forms of some previously proved inequalities.

1 Introduction

The form of the established classical discrete Hilbert-type inequality is given as follows [1]:

If \(a_{n} ,b_{n} \geq 0\), \(0< \sum_{n=1}^{\infty } a_{n}^{2} < \infty \), and \(0< \sum_{n=1}^{\infty } b_{n}^{2} < \infty \), then we have

$$ \sum_{n=1}^{\infty }\sum _{m=1}^{\infty }\frac{a_{m} b_{n}}{m+n}\leq \frac{ \pi }{\sin (\pi /p)} \Biggl(\sum_{m=1}^{\infty } a^{p}_{m} \Biggr) ^{1/p} \Biggl(\sum _{n=1}^{\infty } b^{q}_{n} \Biggr)^{1/q}. $$
(1)

The integral analogue of inequality (1) is given by

$$ \int _{0}^{\infty } \int _{0}^{\infty } \frac{f(x) g(y)}{x+y}\,dx \,dy \leq \frac{\pi }{\sin (\pi /p)} \biggl( \int _{0}^{\infty }f^{p}(x)\,dx \biggr) ^{1/p} \biggl( \int _{0}^{\infty }g^{p^{*}}(x)\,dx \biggr)^{1/p^{*}}, $$
(2)

unless \(f\equiv 0\) or \(g\equiv 0\), where \(p>1\), \(p^{*}=p/(p-1)\). The constant \(\pi \operatorname{cosec} (\pi /p) \) in (1) and (2) is optimal, see [1].

Inequalities (1) and (2) have many generalizations, see for instance [24] and the references therein, these refinements and ameliorations of the original inequality lead to an important development and improvement of many advanced mathematical branches, see for example [57].

In [8] the author gave inequalities that can be considered as an extension to inequality (1), containing a series of positive terms as follows.

Theorem 1

Let\(q\geq 1\), \(p\geq 1\), and let\((a_{n})\)and\((b_{m})\)be two positive sequences of real numbers defined for\(n=1,2,\ldots,k\)and\(m=1,2,\ldots,r\), where\(k,r\in \mathbb{N}\), and define\(A_{n} = \sum_{s=1}^{n} a_{s} \), \(B_{m} = \sum_{t=1}^{m} b_{t} \). Then

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{n + m} & \leq C(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] ^{\frac{1}{2}} \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} , \end{aligned} \end{aligned}$$
(3)

unless\((a_{n})\)or\((b_{m})\)is null, where\(C(p,q,k,r) = \frac{1}{2} pq \sqrt{kr} \).

In [7], the author gave an improvement of the inequality given in Theorem 1 as follows.

Theorem 2

Let\(q\geq 1\), \(p\geq 1\), and let\((a_{n})\)and\((b_{m})\)be two positive sequences of real numbers defined for\(n=1,2,\ldots,k\)and\(m=1,2,\ldots,r\), where\(k,r \in \mathbb{N}\), and define\(A_{n} = \sum_{s=1}^{n} a_{s} \), \(B_{m} = \sum_{t=1}^{m} b_{t} \). Then, for\(\alpha >0\),

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{(n^{\alpha } + m^{\alpha })^{1/ \alpha }} & \leq C(p,q,k,r;\alpha ) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr]^{\frac{1}{2}} \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}}, \end{aligned} \end{aligned}$$
(4)

unless\((a_{n})\)or\((b_{m})\)is null, where\(C(p,q,k,r;\alpha ) = ( \frac{1}{2})^{1/ \alpha } pq \sqrt{kr} \).

In this paper, through Fenchel–Legendre transform and by utilizing Jensen’s and Schwarz’s inequalities, we give some improvements of the inequalities given in Theorems 1 and 2. In addition, some new Hilbert-type inequalities are obtained alongside some applications.

2 Preliminaries

In this section we introduce the Fenchel–Legendre transform, which will have an important role in later sections. For more details, we refer, for instance, to [911].

Definition 1

Let \(h: \mathbb {R}^{n} \longrightarrow \mathbb {R}\cup \lbrace +\infty \rbrace \) be a function such that \(h \not \equiv +\infty \), i.e., \(\operatorname{dom}(h)= \lbrace x\in \mathbb {R}^{n} \vert h(x) < +\infty \rbrace \neq \emptyset \). Then the Fenchel–Legendre transform is defined as follows:

$$ \begin{aligned} h^{*}:{}& \mathbb {R}^{n} \longrightarrow \mathbb {R}\cup \lbrace + \infty \rbrace \\ &y \longrightarrow h^{*}(y) = \sup \bigl\lbrace \langle y, x\rangle - h(x), x\in \operatorname{dom}(h) \bigr\rbrace , \end{aligned} $$
(5)

where \(\langle \cdot, \cdot \rangle\) denotes the scalar product on \(\mathbb {R}^{n}\). The mapping \(h \longrightarrow h^{*}\) will often be called the conjugate operation.

In addition, the domain of \(h^{*}\), i.e., \(\operatorname{dom}(h^{*})\) is the set of slopes of all the affine functions minorizing the function h over \(\mathbb {R}^{n}\).

With more hypotheses on h we can give, in the next corollary, an equivalent formula for (5) called Legendre transform.

Corollary 1

Let\(h: \mathbb {R}^{n} \longrightarrow \mathbb {R}\)be strictly convex, differentiable, and 1-coercive function. Then

$$ h^{*}(y) = \bigl\langle y, (\nabla h)^{-1}(y) \bigr\rangle - h \bigl((\nabla h)^{-1}(y) \bigr) $$

for all\(y \in \operatorname{dom}(h^{*}) \), where\(\langle \cdot, \cdot \rangle\)denotes the scalar product on\(\mathbb {R}^{n}\).

Lemma 1

(Fenchel–Young inequality [11])

Lethbe a function and\(h^{*}\)be its Fenchel–Legendre transform, then

$$ \langle x,y\rangle \leq h(x) + h^{*}(y) $$
(6)

for all\(x \in \operatorname{dom}(h)\)and\(y \in \operatorname{dom}(h^{*}) \).

Corollary 2

(Jensen’s inequality [12, 13])

Let\(\varPhi : U\subseteq \mathbb {R}\longrightarrow \mathbb {R}\)be a convex function on a convex setU, with\(x_{i} \in U\), \(i=1,2,\ldots,n\), and\(P_{n} = \sum_{i=1}^{n} p _{i}> 0\)for\(p_{i} \geq 0 \), then

$$ \varPhi \Biggl(\frac{1}{P_{n}} \sum_{i=1}^{n} p_{i} x_{i} \Biggr) \leq \frac{1}{P _{n}} \sum _{i=1}^{n} p_{i} \varPhi (x_{i}) . $$
(7)

Definition 2

A function Φ is called a submultiplicative function on \([0, \infty )\) if

$$ \varPhi (xy) \leq \varPhi (x) \varPhi (y) \quad \text{for all } x,y \geq 0 . $$

3 Main results

We begin this section by proving the following simple and useful lemma.

Lemma 2

Forxand\(y\in \mathbb {R}\). Assume that\(x+y \geq 1\), then

$$ \forall \alpha \geq \beta \geq \frac{1}{2} \mbox{:}\quad \bigl( \vert x \vert ^{\frac{1}{2\beta }}+ \vert y \vert ^{\frac{1}{2\beta }} \bigr)^{\alpha} \geq (x + y)^{\frac{1}{2}}. $$
(8)

Proof

First, we use \(x + y \geq 1\) and \(\frac{\alpha }{\beta }\geq 1\) to write \((x+y)^{\frac{1}{2}} \leq (x+y)^{\frac{\alpha }{2\beta }} \). Then the well-known inequality \(\forall n \geq 1\), \((\vert x \vert + \vert y \vert )^{\frac{1}{n}} \leq \vert x \vert ^{\frac{1}{n}} + \vert y \vert ^{\frac{1}{n}} \) gives the result for \(\alpha \geq \beta \geq \frac{1}{2}\). □

Theorem 3

Let\(q\geq 1\), \(p\geq 1\), \(\alpha \geq \beta \geq \frac{1}{2}\)and\((a_{n})_{1\leq n \leq k} \), \((b_{m})_{1\leq m \leq r} \)be two positive sequences of real numbers where\(k,r\in \mathbb{N}\). Define\(A_{n} = \sum_{s=1}^{n} a_{s} \), \(B_{m} = \sum_{t=1}^{m} b_{t}\). Then the following inequalities hold:

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{2p}_{n} B^{2q}_{m}}{h(n) + h ^{*}(m)} & \leq C_{1}(p,q) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{n} b_{m} \bigr)^{2} \Biggr] \end{aligned} \end{aligned}$$
(9)

and

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{( \vert h(n) \vert ^{\frac{1}{2\beta }}+ \vert h^{*}(m) \vert ^{\frac{1}{2\beta }})^{ \alpha }} & \leq \sum_{n=1}^{k} \sum _{m=1}^{r} \frac{A^{p}_{n} B^{q} _{m}}{\sqrt{h(n) + h^{*}(m)}} \\ & \leq C_{2}(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a _{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} , \end{aligned} \end{aligned}$$
(10)

unless\((a_{n})\)or\((b_{m})\)is null, where

$$ C_{1}(p,q) = p^{2}q^{2} ,\qquad C_{2}(p,q,k,r) = pq \sqrt{kr}. $$

Proof

By exploiting the following inequality [14, 15]

$$ \Biggl( \sum_{i=1}^{n} z_{i} \Biggr)^{\gamma } \leq \gamma \sum _{i=1} ^{n} z_{i} \Biggl( \sum _{j=1}^{i} z_{j} \Biggr) ^{\gamma -1}, $$

where \(z_{i} \geq 0\) and \(\gamma \geq 1\) is a constant, we have

$$\begin{aligned}& A^{p}_{n} \leq p \Biggl(\sum _{s=1}^{n} a_{s} \Biggr) A^{p-1}_{s} ,\quad n=1,2,\ldots,k, \end{aligned}$$
(11)
$$\begin{aligned}& B^{q}_{m} \leq q \Biggl(\sum _{t=1}^{m} b_{t} \Biggr) B^{q-1}_{t} ,\quad m=1,2,\ldots,k. \end{aligned}$$
(12)

Using (11), (12), and the Schwarz inequality, we observe that

$$\begin{aligned} \begin{aligned}[b] A^{p}_{n} B^{q}_{m} &\leq pq \sum_{s=1}^{n} a_{s} A^{p-1}_{s} \sum _{t=1}^{m} b_{t} B^{q-1}_{t} \\ &\leq pq (nm)^{\frac{1}{2}} \Biggl[\sum_{s=1}^{n} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} \Biggr] ^{\frac{1}{2}} \Biggl[ \sum _{t=1}^{m} \bigl(b_{t} B^{q-1}_{t} \bigr)^{2} \Biggr] ^{\frac{1}{2}}, \end{aligned} \end{aligned}$$
(13)

squaring both sides of inequality (13) gives

$$ A^{2p}_{n} B^{2q}_{m} \leq p^{2}q^{2} mn \Biggl[\sum_{s=1}^{n} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} \Biggr] \Biggl[ \sum_{t=1}^{m} \bigl(b_{t} B^{q-1}_{t} \bigr)^{2} \Biggr] . $$
(14)

Using (6) (for nonnegative real numbers x and y) in (13) and (14) produces

$$\begin{aligned}& A^{p}_{n} B^{q}_{m} \leq pq \bigl(h(n) + h^{*}(m) \bigr)^{ \frac{1}{2}} \Biggl[\sum _{s=1}^{n} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} \Biggr] ^{\frac{1}{2}} \Biggl[ \sum_{t=1}^{m} \bigl(b_{t} B^{q-1}_{t} \bigr)^{2} \Biggr] ^{\frac{1}{2}}, \end{aligned}$$
(15)
$$\begin{aligned}& A^{2p}_{n} B^{2q}_{m} \leq p^{2}q^{2} \bigl(h(n) + h^{*}(m) \bigr) \Biggl[\sum_{s=1}^{n} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} \Biggr] \Biggl[ \sum_{t=1}^{m} \bigl(b _{t} B^{q-1}_{t} \bigr)^{2} \Biggr] . \end{aligned}$$
(16)

Let us divide both sides of (15) by \((h(n) + h^{*}(m))^{ \frac{1}{2}}\), take the sum over n from 1 to k afterwards and the sum over m from 1 to r subsequently. Besides, we use the Schwarz inequality, and then we interchange the order of the summations (see[14, 15]). We obtain

$$\begin{aligned} \begin{aligned} &\sum_{m=1}^{r} \sum_{n=1}^{k} \frac{A^{p}_{n} B^{q}_{m}}{(h(n) + h ^{*}(m))^{\frac{1}{2}} } \\ &\quad \leq pq \Biggl[ \sum_{n=1}^{k} \Biggl[ \sum_{s=1} ^{n} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} \Biggr]^{\frac{1}{2}} \Biggr] \Biggl[ \sum_{m=1}^{r} \Biggl[ \sum_{t=1}^{m} \bigl(b_{t} B^{q-1}_{t} \bigr)^{2} \Biggr] ^{\frac{1}{2}} \Biggr] \\ &\quad \leq pq \sqrt{kr} \Biggl[ \sum_{n=1}^{k} \sum_{s=1}^{n} \bigl(a_{s} A ^{p-1}_{s} \bigr)^{2} \Biggr]^{\frac{1}{2}} \Biggl[ \sum_{m=1}^{r} \sum _{t=1}^{m} \bigl(b_{t} B^{q-1}_{t} \bigr)^{2} \Biggr]^{\frac{1}{2}} \\ &\quad \leq pq \sqrt{kr} \Biggl[ \sum_{s=1}^{k} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} \Biggl(\sum_{n=s}^{k} 1 \Biggr) \Biggr]^{\frac{1}{2}} \Biggl[ \sum_{t=1}^{r} \bigl( b_{t} B^{q-1}_{t} \bigr)^{2} \Biggl(\sum_{m=t}^{r} 1 \Biggr) \Biggr] ^{\frac{1}{2}} \\ &\quad \leq pq \sqrt{kr} \Biggl[ \sum_{s=1}^{k} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} (k-s+ 1) \Biggr]^{\frac{1}{2}} \Biggl[ \sum _{t=1}^{r} \bigl( b_{t} B^{q-1} _{t} \bigr)^{2} (r-t+1) \Biggr]^{\frac{1}{2}} . \end{aligned} \end{aligned}$$

Thus,

$$\begin{aligned}& \sum_{m=1}^{r} \sum _{n=1}^{k} \frac{A^{p}_{n} B^{q}_{m}}{(h(n) + h ^{*}(m))^{\frac{1}{2}} } \\& \quad \leq pq \sqrt{kr} \Biggl[ \sum_{n=1}^{k} \bigl(a _{n} A^{p-1}_{n} \bigr)^{2} (k-n+ 1) \Biggr]^{\frac{1}{2}} \Biggl[ \sum _{m=1} ^{r} \bigl( b_{m}B^{q-1}_{m} \bigr)^{2} (r-m+1) \Biggr]^{\frac{1}{2}} . \end{aligned}$$
(17)

Now apply Lemma 2 on L.H.S. of (17) to obtain (10). To prove (9), divide both sides of (16) by \(h(n) + h^{*}(m)\), take the sum over n from 1 to k afterwards, then the sum over m from 1 to r, and then interchange the order of the summations to obtain

$$\begin{aligned} \begin{aligned}[b] &\sum_{m=1}^{r} \sum_{n=1}^{k} \frac{A^{2p}_{n} B^{2q}_{m} }{h(n) + h ^{*}(m)} \\ &\quad \leq p^{2}q^{2} \Biggl[\sum _{n=1}^{k} \sum_{s=1}^{n} \bigl(a _{s} A^{p-1}_{s} \bigr)^{2} \Biggr] \Biggl[ \sum_{m=1}^{r} \sum_{t=1}^{m} \bigl(b _{t} B^{q-1}_{t} \bigr)^{2} \Biggr] \\ &\quad \leq p^{2}q^{2} \Biggl[ \sum _{s=1}^{n} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2} \Biggl(\sum _{n=s}^{k} 1 \Biggr) \Biggr] \Biggl[ \sum _{t=1}^{r} \bigl(b_{t} B ^{q-1}_{t} \bigr)^{2} \Biggl(\sum _{m=t}^{r} 1 \Biggr) \Biggr] \\ &\quad \leq p^{2}q^{2} \Biggl[ \sum _{s=1}^{n} \bigl(a_{s} A^{p-1}_{s} \bigr)^{2}(k-s+1) \Biggr] \Biggl[ \sum_{t=1}^{r} \bigl(b_{t} B^{q-1} _{t} \bigr)^{2} (r-t+1) \Biggr] . \end{aligned} \end{aligned}$$
(18)

Therefore,

$$ \sum_{m=1}^{r} \sum _{n=1}^{k} \frac{A^{2p}_{n} B^{2q}_{m} }{h(n) + h ^{*}(m)} \leq p^{2}q^{2} \Biggl[ \sum_{n=1}^{n} \bigl(a_{n} A^{p-1}_{n} \bigr)^{2}(k-n+1) \Biggr] \Biggl[ \sum_{m=1}^{r} \bigl(b_{m} B^{q-1} _{m} \bigr)^{2} (r-m+1) \Biggr] , $$

which is (9). This completes the proof. □

Theorem 4

Under the hypotheses of Theorem 3, for\(\sqrt{n}\in \operatorname{dom}(h)\), \(\sqrt{m}\in \operatorname{dom}(h^{*})\), the following inequality holds:

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{h( \sqrt{n}) + h^{*}(\sqrt{m})} & \leq C_{2}(p,q,k,r) \Biggl[ \sum_{n=1} ^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} , \end{aligned} \end{aligned}$$
(19)

unless\((a_{n})\)or\((b_{m})\)is null, where

$$ C_{2}(p,q,k,r) = pq \sqrt{kr}. $$

Proof

By the hypothesis that \(\sqrt{n}\in \operatorname{dom}(h)\), \(\sqrt{m} \in \operatorname{dom}(h^{*})\), inequality (6) gives

$$ \sqrt{mn}\leq h(\sqrt{n}) + h^{*}(\sqrt{m}). $$

Complete the proof as we did to obtain inequality (10) in Theorem 3 with appropriate changes. □

Corollary 3

Let\((a_{n})\), \((b_{m})\), \(A_{n}\), and\(B_{m}\)be as defined in Theorem 3. Then the inequalities

$$ \sum_{m=1}^{r} \sum _{n=1}^{k} \frac{A^{2}_{n} B^{2}_{m} }{h(n) + h ^{*}(m)} \leq \Biggl[ \sum_{n=1}^{n} (a_{n} )^{2}(k-n+1) \Biggr] \Biggl[ \sum_{m=1}^{r}(b_{m})^{2} (r-m+1) \Biggr] $$
(20)

and

$$ \begin{aligned}[b] \sum_{m=1}^{r} \sum _{n=1}^{k} \frac{A_{n} B_{m}}{(h(n) + h^{*}(m))^{ \frac{1}{2}} } &\leq \sqrt{kr} \Biggl[ \sum_{n=1}^{k} (a_{n} )^{2} (k-n+ 1) \Biggr]^{\frac{1}{2}} \\ &\quad {}\times \Biggl[ \sum_{m=1}^{r} ( b_{m})^{2} (r-m+1) \Biggr] ^{\frac{1}{2}} \end{aligned} $$
(21)

hold.

Proof

Put \(p=q=1\) in (9) and (10). This completes the proof. □

The following theorem treats the further generalization of the inequality obtained in Corollary 3. Furthermore, suppose that Φ and Ψ are nonnegative, convex, and submultiplicative functions on \([0,\infty )\).

Theorem 5

Let\((a_{n})\), \((b_{m})\), \(A_{n}\), and\(B_{m}\)be as defined in Theorem 3, and\((p_{n})_{1\leq n \leq k}\), \((q_{m})_{1\leq m \leq r}\)be positive sequences. Define\(P_{n} = \sum_{s=1}^{n} p_{s}\), \(Q_{m} = \sum_{t=1}^{m} q_{t} \). Then the following inequality holds:

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{\varPhi (A_{n}) \varPsi (B_{m})}{( \vert h(n) \vert ^{\frac{1}{2\beta }}+ \vert h^{*}(m) \vert ^{\frac{1}{2\beta }})^{\alpha }} & \leq \sum_{m=1}^{r} \sum _{n=1} ^{k} \frac{\varPhi (A_{n}) \varPsi (B_{m})}{(h(n) + h^{*}(m))^{\frac{1}{2}} } \\ & \leq M_{1}(k,r) \Biggl[ \sum_{n=1}^{k} \biggl[ p_{n} \varPhi \biggl(\frac{a _{n}}{p_{n}} \biggr) \biggr] ^{2} (k-n+ 1) \Biggr]^{\frac{1}{2}} \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} \biggl[q_{m} \varPsi \biggl(\frac{b _{m}}{q_{m}} \biggr) \biggr] ^{2} (r-m+1) \Biggr]^{\frac{1}{2}} , \end{aligned} \end{aligned}$$
(22)

where

$$ M_{1}(k,t) = \Biggl[ \sum_{n=1}^{k} \biggl[ \varPhi \biggl(\frac{a_{n}}{P _{n}} \biggr) \biggr] ^{2} \Biggr] ^{\frac{1}{2}} \Biggl[ \sum_{m=1} ^{r} \biggl[ \varPsi \biggl(\frac{b_{m}}{Q_{m}} \biggr) \biggr] ^{2} \Biggr] ^{\frac{1}{2}}. $$

Proof

Using the fact that Φ is a submultiplicative function, we have

$$\begin{aligned} \begin{aligned}[b] \varPhi (A_{n}) &= \varPhi \biggl( \frac{P_{n} \sum_{s=1}^{n} p_{s} a_{s}/p _{s}}{ \sum_{s=1}^{n} p_{s}} \biggr) \\ & \leq \varPhi (P_{n}) \varPhi \biggl(\frac{\sum_{s=1}^{n} p_{s} a_{s}/p _{s}}{ \sum_{s=1}^{n} p_{s}} \biggr), \end{aligned} \end{aligned}$$
(23)

then by Jensen’s and Schwarz’s inequalities we have that

$$\begin{aligned} \begin{aligned}[b] \varPhi (A_{n}) & \leq \frac{\varPhi (P_{n})}{P_{n}} \sum_{s=1}^{n} p_{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \\ & \leq \frac{\varPhi (P_{n})}{P_{n}} n^{\frac{1}{2}} \Biggl[ \sum _{s=1} ^{n} \biggl[p_{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \biggr] ^{2} \Biggr]^{\frac{1}{2}} ; \end{aligned} \end{aligned}$$
(24)

similarly, we can get

$$ \varPsi (B_{m}) \leq \frac{\varPsi (Q_{m})}{Q_{n}} m^{\frac{1}{2}} \Biggl[ \sum_{t=1}^{m} \biggl[q_{t} \varPsi \biggl(\frac{b_{t}}{q_{t}} \biggr) \biggr] ^{2} \Biggr]^{ \frac{1}{2}}. $$
(25)

From inequalities (24), (25) and the Fenchel–Young inequality (for nonnegative reals x and y), we have

$$ \begin{aligned}[b] \varPhi (A_{n})\varPsi (B_{m}) &\leq \bigl(h(n)+h^{*}(m) \bigr)^{\frac{1}{2}}\cdot\frac{ \varPhi (P_{n})}{P_{n}} \Biggl[ \sum_{s=1}^{n} \biggl[p_{s} \varPhi \biggl( \frac{a _{s}}{p_{s}} \biggr) \biggr] ^{2} \Biggr]^{\frac{1}{2}} \\ &\quad {}\cdot \frac{\varPsi (Q _{m})}{Q_{m}} \Biggl[ \sum_{t=1}^{m} \biggl[q_{t} \varPsi \biggl(\frac{b _{t}}{q_{t}} \biggr) \biggr] ^{2} \Biggr]^{\frac{1}{2}}. \end{aligned} $$
(26)

Let us divide both sides of (26) by \((h(n) + h^{*}(m))^{ \frac{1}{2}}\), take the sum over n from 1 to k afterwards, then take the sum over m from 1 to r. Additionally, use the Schwarz inequality and then interchange the order of the summations to have

$$\begin{aligned} \begin{aligned}[b] \sum_{m=1}^{r} \sum_{n=1}^{k} \frac{\varPhi (A_{n})\varPsi (B_{m})}{(h(n)+h ^{*}(m))^{\frac{1}{2}}} & \leq \sum_{n=1}^{k}\frac{\varPhi (P_{n})}{P _{n}} \Biggl[ \sum_{s=1}^{n} \biggl[p_{s} \varPhi \biggl(\frac{a_{s}}{p _{s}} \biggr) \biggr]^{2} \Biggr]^{\frac{1}{2}} \\ &\quad {}\cdot \sum_{m=1}^{r} \frac{ \varPsi (Q_{m})}{Q_{m}} \Biggl[ \sum_{t=1}^{m} \biggl[q_{t} \varPsi \biggl(\frac{b _{t}}{q_{t}} \biggr) \biggr]^{2} \Biggr]^{\frac{1}{2}} \\ & \leq \Biggl[\sum_{n=1}^{k} \biggl[ \frac{\varPhi (P_{n})}{P_{n}} \biggr] ^{2} \Biggr]^{\frac{1}{2}} \Biggl[ \sum_{n=1}^{k}\sum _{s=1}^{n} \biggl[p _{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \biggr] ^{2} \Biggr]^{ \frac{1}{2}} \\ &\quad {} \times \Biggl[\sum_{m=1}^{r} \biggl[ \frac{\varPsi (Q_{m})}{Q _{m}} \biggr]^{2} \Biggr]^{\frac{1}{2}} \Biggl[ \sum_{m=1}^{r}\sum _{t=1}^{m} \biggl[q_{t} \varPsi \biggl( \frac{b_{t}}{q_{t}} \biggr) \biggr] ^{2} \Biggr]^{\frac{1}{2}}. \end{aligned} \end{aligned}$$
(27)

Now define \(M_{1}(k,r)\) as

$$ M_{1}(k,r) = \Biggl[\sum_{n=1}^{k} \biggl[\frac{\varPhi (P_{n})}{P_{n}} \biggr] ^{2} \Biggr]^{\frac{1}{2}} \Biggl[\sum_{m=1}^{r} \biggl[ \frac{\varPsi (Q _{m})}{Q_{m}} \biggr]^{2} \Biggr]^{\frac{1}{2}} . $$

Therefore,

$$\begin{aligned} \begin{aligned}[b] \sum_{m=1}^{r} \sum_{n=1}^{k} \frac{\varPhi (A_{n})\varPsi (B_{m})}{(h(n)+h ^{*}(m))^{\frac{1}{2}}} & \leq M_{1}(k,r) \Biggl[ \sum_{n=1}^{k} \sum_{s=1}^{n} \biggl[p_{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \biggr] ^{2} \Biggr]^{\frac{1}{2}} \\ &\quad {}\times \Biggl[ \sum_{m=1}^{r} \sum_{t=1}^{m} \biggl[q _{t} \varPsi \biggl(\frac{b_{t}}{q_{t}} \biggr) \biggr] ^{2} \Biggr]^{ \frac{1}{2}} \\ & \leq M_{1}(k,r) \Biggl[ \sum_{s=1}^{k} \biggl[p_{s} \varPhi \biggl(\frac{a _{s}}{p_{s}} \biggr) \biggr] ^{2} \Biggl(\sum_{n=s}^{k} 1 \Biggr) \Biggr] ^{\frac{1}{2}} \\ &\quad {} \times \Biggl[ \sum_{t=1}^{r} \biggl[q_{t} \varPsi \biggl(\frac{b_{t}}{q _{t}} \biggr) \biggr] ^{2} \Biggl(\sum_{m=t}^{r} 1 \Biggr) \Biggr] ^{\frac{1}{2}} \\ & = M_{1}(k,r) \Biggl[ \sum_{s=1}^{k} \biggl[p_{s} \varPhi \biggl(\frac{a _{s}}{p_{s}} \biggr) \biggr] ^{2} ( k-s+1) \Biggr]^{\frac{1}{2}} \\ &\quad {} \times \Biggl[ \sum_{t=1}^{r} \biggl[q_{t} \varPsi \biggl(\frac{b_{t}}{q _{t}} \biggr) \biggr] ^{2}( r-t+1) \Biggr]^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(28)

Now apply Lemma 2 on the L.H.S. of (28) to obtain (22). This completes the proof. □

Lemma 3

Under the hypotheses of Theorem 5, the following inequality holds:

$$\begin{aligned} \begin{aligned}[b] \sum_{m=1}^{r} \sum_{n=1}^{k} \frac{\varPhi (A_{n})^{2} \varPsi (B_{m})^{2} }{h(n) + h^{*}(m)} & \leq M_{2}(k,r) \Biggl[ \sum_{n=1}^{k} \biggl[ p _{n} \varPhi \biggl(\frac{a_{n}}{p_{n}} \biggr) \biggr] ^{4} (k-n+ 1) \Biggr] ^{\frac{1}{2}} \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} \biggl[q_{m} \varPsi \biggl(\frac{b _{m}}{q_{m}} \biggr) \biggr] ^{4} (r-m+1) \Biggr]^{\frac{1}{2}}, \end{aligned} \end{aligned}$$
(29)

where

$$ M_{2}(k,r) = \Biggl[ \sum_{n=1}^{k} \biggl[ n \varPhi \biggl(\frac{a _{n}}{P_{n}} \biggr) \biggr] ^{4} \Biggr] ^{\frac{1}{2}} \Biggl[ \sum_{m=1}^{r} \biggl[ m \varPsi \biggl(\frac{b_{m}}{Q_{m}} \biggr) \biggr] ^{4} \Biggr] ^{ \frac{1}{2}}. $$

Proof

From inequalities (24), (25) and the Fenchel–Young inequality (for nonnegative reals x and y), we have

$$\begin{aligned} \begin{aligned}[b] \varPhi \bigl(A_{n}^{2} \bigr) \varPsi \bigl(B_{m}^{2} \bigr) &\leq \varPhi (A_{n})^{2} \varPsi (B_{m})^{2} \\ &\leq \bigl(h(n)+h^{*}(m) \bigr) \Biggl[\frac{\varPhi (P_{n})^{2}}{P_{n}^{2}} \sum _{s=1}^{n} \biggl[p_{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \biggr] ^{2} \Biggr] \\ &\quad {}\times \Biggl[ \frac{ \varPsi (Q_{m})^{2}}{Q_{m}^{2}} \sum_{t=1}^{m} \biggl[q_{t} \varPsi \biggl(\frac{b _{t}}{q_{t}} \biggr) \biggr] ^{2} \Biggr]. \end{aligned} \end{aligned}$$
(30)

Now divide both sides of (30) by \(h(n) + h^{*}(m)\), then take the sum over n from 1 to k first and the sum over m from 1 to r, then use the Schwarz inequality to obtain

$$\begin{aligned} \begin{aligned}[b] \sum_{m=1}^{r} \sum_{n=1}^{k} \frac{\varPhi (A_{n})^{2} \varPsi (B_{m})^{2} }{h(n) + h^{*}(m)} & \leq \Biggl[\sum_{n=1}^{k} \frac{\varPhi (P_{n})^{2}}{P _{n}^{2}} \sum_{s=1}^{n} \biggl[p_{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \biggr] ^{2} \Biggr] \\ &\quad {}\times \Biggl[\sum_{m=1}^{r} \frac{\varPsi (Q_{m})^{2}}{Q_{m}^{2}} \sum_{t=1}^{m} \biggl[q _{t} \varPsi \biggl(\frac{b_{t}}{q_{t}} \biggr) \biggr] ^{2} \Biggr] \\ &\leq \sum_{n=1}^{k} \frac{\varPhi (P_{n})^{2}}{P_{n}^{2}} n^{ \frac{1}{2}} \Biggl[ \sum _{s=1}^{n} \biggl[p_{s} \varPhi \biggl( \frac{a _{s}}{p_{s}} \biggr) \biggr] ^{4} \Biggr]^{\frac{1}{2}} \\ &\quad {} \times \sum_{m=1}^{r} \frac{\varPsi (Q_{m})^{2}}{Q_{m}^{2}} m ^{\frac{1}{2}} \Biggl[ \sum _{t=1}^{m} \biggl[q_{t}\varPsi \biggl( \frac{b _{t}}{q_{t}} \biggr) \biggr] ^{4} \Biggr]^{\frac{1}{2}} \\ &\leq \Biggl[ \sum_{n=1}^{k} \frac{\varPhi (P_{n})^{4}}{P_{n}^{4}} n \Biggr] ^{\frac{1}{2}} \Biggl[ \sum _{n=1}^{k}\sum_{s=1}^{n} \biggl[p_{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \biggr] ^{4} \Biggr]^{ \frac{1}{2}} \\ &\quad {} \times \Biggl[\sum_{m=1}^{r} \frac{\varPsi (Q_{m})^{4}}{Q_{m} ^{4}} m \Biggr]^{\frac{1}{2}} \Biggl[ \sum _{m=1}^{r}\sum_{t=1}^{m} \biggl[q_{t}\varPsi \biggl(\frac{b_{t}}{q_{t}} \biggr) \biggr] ^{4} \Biggr] ^{\frac{1}{2}} \\ &\leq M_{2}(k,r) \Biggl[ \sum_{n=1}^{k} \sum_{s=1}^{n} \biggl[p_{s} \varPhi \biggl(\frac{a_{s}}{p_{s}} \biggr) \biggr] ^{4} \Biggr]^{ \frac{1}{2}} \\ &\quad {}\times \Biggl[ \sum_{m=1}^{r} \sum_{t=1}^{m} \biggl[q_{t} \varPsi \biggl(\frac{b_{t}}{q_{t}} \biggr) \biggr] ^{4} \Biggr]^{\frac{1}{2}}, \end{aligned} \end{aligned}$$
(31)

where

$$ M_{2}(k,r) = \Biggl[ \sum_{n=1}^{k} \biggl[n \varPhi \biggl(\frac{a _{n}}{P_{n}} \biggr) \biggr] ^{4} \Biggr] ^{\frac{1}{2}} \Biggl[ \sum_{m=1}^{r} \biggl[ m \varPsi \biggl(\frac{b_{m}}{Q_{m}} \biggr) \biggr] ^{4} \Biggr] ^{ \frac{1}{2}}. $$

Therefore, if we interchange the order of the summations in (31), we obtain (29). This completes the proof. □

We believe that the inequalities in the next theorem are new to the literature.

Theorem 6

Under the hypotheses of Theorems3and5, the following inequalities hold:

$$\begin{aligned}& \begin{aligned}[b] \sum _{n=1}^{k} \sum_{m=1}^{r} \frac{A^{2p}_{n} B^{2q}_{m}}{h(n) + h ^{*}(m)} & \leq C_{1}(p,q) \times \Biggl[ h \Biggl(\sum _{n=1}^{k} (k-n+1) \bigl(A ^{p-1}_{n} a_{n} \bigr)^{2} \Biggr) \\ &\quad {} + h^{*} \Biggl( \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr) \Biggr] , \end{aligned} \end{aligned}$$
(32)
$$\begin{aligned}& \begin{aligned}[b] \sum _{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{\sqrt{h(n) + h^{*}(m)}} & \leq C_{2}(p,q,k,r) \times \Biggl[ h \Biggl( \sum_{n=1} ^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr) \\ &\quad {} + h^{*} \Biggl( \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr) \Biggr]^{\frac{1}{2}} , \end{aligned} \end{aligned}$$
(33)
$$\begin{aligned}& \begin{aligned}[b] \sum _{m=1}^{r} \sum_{n=1}^{k} \frac{\varPhi (A_{n}) \varPsi (B_{m})}{(h(n) + h^{*}(m))^{\frac{1}{2}} } & \leq M_{1}(k,r) \times \Biggl[ h \Biggl(\sum _{n=1}^{k} \biggl[ p_{n} \varPhi \biggl(\frac{a_{n}}{p_{n}} \biggr) \biggr] ^{2} (k-n+ 1) \Biggr) \\ &\quad {} + h^{*} \Biggl(\sum_{m=1}^{r} \biggl[q_{m} \varPsi \biggl(\frac{b_{m}}{q _{m}} \biggr) \biggr] ^{2} (r-m+1) \Biggr) \Biggr]^{\frac{1}{2}} , \end{aligned} \end{aligned}$$
(34)

and

$$\begin{aligned} \begin{aligned}[b] \sum _{m=1}^{r} \sum_{n=1}^{k} \frac{\varPhi (A_{n})^{2} \varPsi (B_{m})^{2}}{h(n) + h^{*}(m)} & \leq M_{2}(k,r) \times \Biggl[ h \Biggl(\sum _{n=1}^{k} \biggl[ p_{n} \varPhi \biggl(\frac{a_{n}}{p_{n}} \biggr) \biggr] ^{4} (k-n+ 1) \Biggr) \\ &\quad {} + h^{*} \Biggl(\sum_{m=1}^{r} \biggl[q_{m} \varPsi \biggl(\frac{b_{m}}{q _{m}} \biggr) \biggr] ^{4} (r-m+1) \Biggr) \Biggr]^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(35)

Proof

Using Fenchel–Young inequality (6) in (9), (10), (22), and (29) produces inequalities (32), (33), (34), and (35) respectively. This completes the proof. □

The following theorem deals with slight changes of the inequality given in Theorem 9.

Theorem 7

Let\((a_{n})_{1\leq n \leq k}\), \((b_{m})_{1\leq m \leq r}\), \((p_{n})_{1\leq n \leq k}\), and\((q_{m})_{1\leq m \leq r}\)be nonnegative sequences of real numbers where\(k,r\in \mathbb{N}\). Suppose thatΦandΨare nonnegative, convex, and submultiplicative functions on\([0,\infty )\). Let\(A_{n}\), \(B_{m}\)be defined as follows:

$$ A_{n} =\frac{1}{P_{n}} \sum_{s=1}^{n} p_{s} a_{s} ,\qquad B_{m} = \frac{1}{Q_{m}}\sum_{t=1}^{m}q_{t} b_{t} , $$

where\(P_{n} = \sum_{s=1}^{n} p_{s}\)and\(Q_{m} = \sum_{t=1}^{m} q _{t} \). Then

$$\begin{aligned} \begin{aligned}[b] \sum_{m=1}^{r} \sum_{n=1}^{k} \frac{P_{n}Q_{m}\varPhi (A_{n}) \varPsi (B _{m})}{(h(n) + h^{*}(m))^{\frac{1}{2}} } & \leq M_{3}(k,r) \Biggl[ \sum_{n=1}^{k} \bigl[ p_{n} \varPhi (a_{n}) \bigr] ^{2} (k-n+ 1) \Biggr] ^{\frac{1}{2}} \\ &\quad {}\times \Biggl[ \sum_{m=1}^{r} \bigl[q_{m} \varPsi (b_{m}) \bigr] ^{2} (r-m+1) \Biggr]^{\frac{1}{2}} , \end{aligned} \end{aligned}$$
(36)

where

$$ M_{3}(k,r) = \sqrt{kr} \Biggl[ \sum_{n=1}^{k} \biggl[ \frac{1}{P _{n}} \biggr] ^{2} \Biggr] ^{\frac{1}{2}} \Biggl[ \sum_{m=1}^{r} \biggl[ \frac{1}{Q_{m}} \biggr] ^{2} \Biggr] ^{\frac{1}{2}}. $$

Proof

Using Jensen’s and Schwarz’s inequalities, we observe that

$$\begin{aligned} \begin{aligned}[b] \varPhi (A_{n}) &= \varPhi \biggl( \frac{ \sum_{s=1}^{n} p_{s} a_{s}}{ P_{n}} \biggr) \\ & \leq \frac{1}{P_{n}} \sum_{s=1}^{n} p_{s}\varPhi (a_{s}) \\ &\leq \frac{\sqrt{n}}{P_{n}} \Biggl[\sum_{s=1}^{n} \bigl( p_{s} \varPhi (a_{s}) \bigr)^{2} \Biggr]^{\frac{1}{2}}; \end{aligned} \end{aligned}$$
(37)

similarly,

$$ \varPhi (B_{n}) \leq \frac{\sqrt{m}}{Q_{m}} \Biggl[\sum _{t=1}^{m} \bigl( q_{t} \varPhi (b_{t}) \bigr)^{2} \Biggr]^{\frac{1}{2}}. $$
(38)

The rest of the proof is similar to the proof of Theorems 3 and 5 with suitable changes. □

Corollary 4

Under the hypotheses of Theorem 7, the following inequality holds:

$$\begin{aligned} \begin{aligned}[b] \sum_{m=1}^{r} \sum_{n=1}^{k} \frac{nm\varPhi (A_{n}) \varPsi (B_{m})}{(h(n) + h^{*}(m))^{\frac{1}{2}} } & \leq \frac{\pi ^{2} \sqrt{kr}}{6} \Biggl[ \sum_{n=1}^{k} \bigl[ \varPhi (a_{n}) \bigr] ^{2} (k-n+ 1) \Biggr]^{ \frac{1}{2}} & \\ &\quad {}\times \Biggl[ \sum_{m=1}^{r} \bigl[ \varPsi (b_{m}) \bigr] ^{2} (r-m+1) \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(39)

Proof

To prove this result, take \(p_{s} = q_{t} = 1\) for all \(s\geq 1\), \(t \geq 1\), then \(P_{n}=n\), \(Q_{m}=m\) and use the fact that

$$ \sum_{n=1}^{k} \biggl[ \frac{1}{n} \biggr] ^{2} \leq \frac{\pi ^{2} }{6} ,\qquad \sum_{m=1}^{r} \biggl[ \frac{1}{m} \biggr] ^{2} \leq \frac{\pi ^{2} }{6} . $$

 □

4 Some applications

In this section we try to show the beauty behind our results. We achieve this by utilizing inequality (10) and inequality (19) through substituting \(h(x)\) and \(h^{*}(y)\) by suitable functions. In what follows recall that \(\alpha \geq \beta \geq \frac{1}{2}\).

Example 1

We can derive inequality (3) from inequality (19). To attain this purpose, choose \(h(x)=\frac{x ^{2}}{2}\); then \(h^{*}(y)=\frac{y^{2}}{2}\) for \(x,y \in \mathbb{R}\) (see [10]), then inequality (19) gives

$$\begin{aligned} \begin{aligned} \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{h( \sqrt{n}) + h^{*}(\sqrt{m})} & =2\sum_{n=1}^{k} \sum _{m=1}^{r} \frac{A ^{p}_{n} B^{q}_{m}}{n+m} \\ & \leq C_{2}(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a _{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$

Consequently,

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{n+m} & \leq \frac{1}{2}C_{2}(p,q,k,r) \Biggl[ \sum _{n=1}^{k} (k-n+1) \bigl(A^{p-1} _{n} a_{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}}, \end{aligned} \end{aligned}$$
(40)

which is inequality (3) as desired.

Example 2

If we take \(h(x)=\frac{x^{s}}{s}\), \(s>1\), then \(h^{*}(y)= \frac{y^{t}}{t}\), \(t>1\), where \(\frac{1}{s}+\frac{1}{t}=1\) and \(x,y \in \mathbb{R}_{+}\) (see [10]), then inequality (10) gives

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{ ( \vert h(n) \vert ^{\frac{1}{2\beta }}+ \vert h^{*}(m) \vert ^{\frac{1}{2\beta }} )^{\alpha }} & = \biggl(\frac{1}{st} \biggr) ^{\frac{-\alpha }{2\beta }} \sum _{n=1}^{k} \sum_{m=1}^{r} \frac{A ^{p}_{n} B^{q}_{m}}{ ( (tn^{s} )^{\frac{1}{2\beta }}+ (sm^{t} )^{\frac{1}{2\beta }} )^{\alpha }} \\ & \leq C_{2}(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a _{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(41)

Clearly,

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{ ( (tn ^{s} )^{\frac{1}{2\beta }}+ (sm^{t} )^{\frac{1}{2 \beta }} )^{\alpha }} & \leq \biggl(\frac{1}{st} \biggr)^{\frac{ \alpha }{2\beta }} C_{2}(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A ^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(42)

When \(\beta = \frac{1}{2 \alpha }\), inequality (42) becomes

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{ ( (tn ^{s} )^{\alpha }+ (sm^{t} )^{\alpha } )^{ \alpha }} & \leq \biggl(\frac{1}{st} \biggr)^{\alpha ^{2}} C_{2}(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] ^{ \frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(43)

It is obvious that, if \(\alpha =\beta =1\), inequality (42) yields

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{ (tn ^{s} )^{\frac{1}{2}}+ (sm^{t} )^{\frac{1}{2}}} & \leq \biggl(\frac{1}{st} \biggr)^{\frac{1}{2}} C_{2}(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(44)

If in addition \(s=t=2\), inequality (44) produces

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{n+m } & \leq \frac{1}{\sqrt{2}}C_{2}(p,q,k,r) \Biggl[ \sum _{n=1}^{k} (k-n+1) \bigl(A ^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] ^{\frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(45)

Example 3

We put \(h(x)= e^{x}\) and \(h^{*}(y)= y \log (y) - y\), see [10], in inequality (10) to get

$$\begin{aligned} \begin{aligned}[b] \sum_{n=1}^{k} \sum_{m=1}^{r} \frac{A^{p}_{n} B^{q}_{m}}{ ( \vert e^{n} \vert ^{\frac{1}{2\beta }}+ \vert m \log (m) - m \vert ^{\frac{1}{2\beta }} )^{\alpha }} & \leq C_{2}(p,q,k,r) \Biggl[ \sum_{n=1}^{k} (k-n+1) \bigl(A^{p-1}_{n} a_{n} \bigr)^{2} \Biggr] ^{ \frac{1}{2} } \\ &\quad {} \times \Biggl[ \sum_{m=1}^{r} (r-m+1) \bigl(B^{q-1}_{m} b_{m} \bigr)^{2} \Biggr] ^{\frac{1}{2}} . \end{aligned} \end{aligned}$$
(46)

5 Conclusion

Using Fenchel–Young inequality (6) helped in obtaining some inequalities that cover a wide range of Hilbert-type inequalities through choosing the functions \(h(x)\) and \(h^{*}(x)\) suitably.

Although the left-hand sides in inequalities (10) and (22) depend on some parameters (α and β), we obtained upper bounds that are free of those parameters. The effect of these parameters appears on the right-hand side only if the chosen functions have some constant component.

Some results proved in this paper are generalizations of previously proved results. For example, inequality (19) is a generalization of inequality (3).

Integral analogues to all results in this paper can be obtained following the same spirit of the proofs mentioned here with slight changes. For instance, the integral version of Theorem 4 has been proved in [16].

References

  1. Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities. Cambridge University Press, Cambridge (1934)

    MATH  Google Scholar 

  2. Zhong, J., Yang, B.: An extension of a multidimensional Hilbert-type inequality. J. Inequal. Appl. 2017, 78 (2017)

    Article  MathSciNet  Google Scholar 

  3. Waleed, A.: Short note on Hilbert’s inequality. J. Egypt. Math. Soc. 22, 174–176 (2014)

    Article  MathSciNet  Google Scholar 

  4. Chen, Q., Yang, B.: A survey on the study of Hilbert-type inequalities. J. Inequal. Appl. 2015, 302 (2015)

    Article  MathSciNet  Google Scholar 

  5. Zhao, C.J., Cheung, W.-S.: On Hilbert type inequality. J. Inequal. Appl. 2012, 145 (2012)

    Article  Google Scholar 

  6. Huang, Q., Yang, B.: A multiple Hilbert-type integral inequality with a non-homogeneous kernel. J. Inequal. Appl. 2013, 73 (2013)

    Article  MathSciNet  Google Scholar 

  7. Kim, Y.-H.: An improvement of some inequalities similar to Hilbert’s inequality. Int. J. Math. Math. Sci. 28(4), 211–221 (2001)

    Article  MathSciNet  Google Scholar 

  8. Pachpatte, B.G.: On some new inequalities similar to Hilbert’s inequality. J. Math. Anal. Appl. 226(1), 166–179 (1998)

    Article  MathSciNet  Google Scholar 

  9. Hiriart-Urruty, J.B., Lemaréchal, C. (eds.): Fundamentals of Convex Analysis Springer, Berlin (2012)

    MATH  Google Scholar 

  10. Borwein, J., Lewi, A.S.: Convex Analysis and Nonlinear Optimization: Theory and Examples. Springer, Berlin (2010)

    Google Scholar 

  11. Arnold, V.I.: Mathematical Methods of Classical Mechanics. Springer, Berlin (2013)

    Google Scholar 

  12. Pachpatte, B.G.: Mathematical Inequalities. North-Holland Mathematical Library, vol. 67. Elsevier, Amsterdam (2005)

    Book  Google Scholar 

  13. Mitrinović, D.S.: Analytic Inequalities, vol. 1. Springer, Berlin (1970)

    Book  Google Scholar 

  14. Nemeth, J.: Generalizations of the Hardy–Littlewood inequality. Acta Sci. Math. 32(3–4), 295–299 (1971)

    MathSciNet  MATH  Google Scholar 

  15. Pachpatte, B.G.: A note on some series inequalities. Tamkang J. Math. 27(1), 77–79 (1996)

    MathSciNet  MATH  Google Scholar 

  16. Hamiaz, A., Abuelela, W., Bahaa, G.M.: Integral inequalities of Hilbert’s type involving Fenchel–Legendre transform with applications. J. Taibah Univ. Sci. 13(1), 390–395 (2019)

    Article  Google Scholar 

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Not applicable.

Funding

The authors declare that they have received no funding from any funding body.

Author information

Authors and Affiliations

Authors

Contributions

Both authors have contributed equally. They read and approved the final manuscript.

Corresponding author

Correspondence to W. Abuelela.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hamiaz, A., Abuelela, W. Some new discrete Hilbert’s inequalities involving Fenchel–Legendre transform. J Inequal Appl 2020, 39 (2020). https://doi.org/10.1186/s13660-020-02310-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-020-02310-2

Keywords