On a Hilbert-type inequality with a homogeneous kernel in ℝ² and its equivalent form

Abstract

By using the way of weight functions and the technique of real analysis, a new integral inequality with a homogeneous kernel and the best constant factor in ℝ² is given. The equivalent form and the reverses are considered.

Mathematics Subject Classification (2000): 26D15.

1. Introduction

One hundred years ago, Hilbert proved the following classic inequality [1]

$$\sum _n{\sum _m\frac{a_m{b}_n}{m+n}\le \pi {\left(\sum _n{\alpha }_n^2\right)}^{1/2}\left(\sum _n{b}_n^2\right)}^{1/2}.$$

(1.1)

The inequality (1.1) may be classified into several types (discrete and integral etc.), which is of great importance in analysis and its applications [1, 2]. Ever since the advent of inequality (1.1), all kinds of improvements and extensions can be seen in [3–12]. Note that the kernel of (1.1) is homogeneous of degree -1. In 2009, [13] reviews the negative degree homogeneous kernel of the parameterized Hilbert-type inequalities.

In recent years, many authors have started on Hilbert-type inequality of 0-degree homo-geneous kernel and non-homogeneous kernel. They even established inequalities in ℝ². In 2008, Yang [14] obtained the improved inequality as follows: If p, r > 1, (1/p) + (1/q) = 1, (1/r) + (1/s) = 1, 0 < λ < 1 and the right-hand side integrals are convergent, then

$$\begin{array}{c}\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\frac{f\left(x\right)g\left(y\right)}{{\left|x+y\right|}^{\lambda }}\text{d}x\text{d}y\\ <k_{\lambda }\left(r\right){\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p\left(1-\frac{\lambda }{r}\right)}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q\left(1-\frac{\lambda }{s}\right)}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

(1.2)

where the constant factor $k_{\lambda }\left(r\right)=B\left(\frac{\lambda }{r},\frac{\lambda }{s}\right)+B\left(1-\lambda ,\frac{\lambda }{r}\right)+B\left(1-\lambda ,\frac{\lambda }{s}\right)$ is the best possible.

Motivated by (1.2) and the technique of real analysis, we establish a new inequality in ℝ² with a homogeneous kernel of 0-degree. Furthermore, the equivalent form and the corresponding reverse inequalities are also considered.

In what follows, α₁, α₂ will be real numbers such that 0 < α₁ < α₂ < π.

2. Lemmas

LEMMA 2.1. If $k:=2\text{ ln}\left(4\text{cos}\frac{{\alpha }_1}{2}\text{sin}\frac{{\alpha }_2}{2}\right)-{\alpha }_1\text{cot }{\alpha }_1+\left(\pi -{\alpha }_2\right)\text{cot }{\alpha }_2$, the weight function

$$\varpi \left(x\right):=\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\cdot \frac{1}{\left|y\right|}\text{d}y,x\in \left(-\infty ,\infty \right),$$

(2.1)

then for all x ∈ (-∞, 0) ∪ (0, ∞)

$$\varpi \left(x\right)=k.$$

(2.2)

Proof. If x ∈ (-∞,0), then

$$\varpi \left(x\right)=\underset{-\infty }{\overset{0}{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\cdot \frac{1}{-y}\text{d}y+\underset{0}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\cdot \frac{1}{y}\text{d}y.$$

Letting u = y/x for the first integrals and u = -y/x for the second integrals gives

$$\begin{array}{cc}\hfill \varpi \left(x\right)& =\underset{0}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{1,u^2\right\}}{u^2+2u\text{ cos }{\alpha }_i+1}\cdot \frac{1}{u}\text{d}u+\underset{0}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{1,u^2\right\}}{u^2-2u\text{ cos }{\alpha }_i+1}\cdot \frac{1}{u}\text{d}u\hfill \\ =\underset{0}{\overset{1}{\int }}\frac{u}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{u^{-1}}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u\hfill \\ +\underset{0}{\overset{1}{\int }}\frac{u}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{u^{-1}}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u.\hfill \\ =\underset{0}{\overset{1}{\int }}\frac{u}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u+\underset{0}{\overset{1}{\int }}\frac{u}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u\hfill \\ +\underset{0}{\overset{1}{\int }}\frac{u}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u+\underset{0}{\overset{1}{\int }}\frac{u}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u\hfill \\ =2\left(\underset{0}{\overset{1}{\int }}\frac{u}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u+\underset{0}{\overset{1}{\int }}\frac{u}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u\right)\hfill \\ =2\left[\left(\text{ln }2\text{ cos }\frac{{\alpha }_1}{2}-\frac{{\alpha }_1}{2}\text{ cot }{\alpha }_1\right)+\left(\text{ln }2\text{sin}\frac{{\alpha }_2}{2}-\frac{{\alpha }_2}{2}\text{ cot }{\alpha }_2+\frac{\pi }{2}\text{ cot }{\alpha }_2\right)\right]\hfill \\ =2\text{ ln}\left(4\text{ cos }\frac{{\alpha }_1}{2}\text{sin}\frac{{\alpha }_2}{2}\right)-{\alpha }_1\text{ cot }{\alpha }_1+\left(\pi -{\alpha }_2\right)\text{ cot }{\alpha }_2=k.\hfill \end{array}$$

(2.3)

Similarly, ϖ(x) = k for x ∈ (0, ∞). Hence (2.2) is valid for x ∈ (-∞, 0) ∪ (0, ∞).   □

Note. (i) It is obvious that ϖ(0) = 0. (ii) If α₁ = α₂ = α, then

$$\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}=\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }\alpha +y^2},$$

and ϖ(x) = 2 ln (2 sin α) + (π - 2α) cot α.

LEMMA 2.2. If $p>1,\frac{1}{p}+\frac{1}{q}=1$ and f(x) is a nonnegative measurable function in (-∞,∞), then for all x ∈ (-∞, 0) ∪ (0, ∞)

$$\begin{array}{c}J:=\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)\text{d}x\right)}^p\text{d}y\\ \le k^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x.\end{array}$$

(2.4)

Proof. By Hölder's inequality with weight [15] and Lemma 2.1, we obtain

$$\begin{array}{c}{\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)\text{d}x\right)}^p\\ ={\left[\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\left(\frac{{\left|x\right|}^{1/q}}{{\left|y\right|}^{1/p}}f\left(x\right)\right)\left(\frac{{\left|y\right|}^{1/p}}{{\left|x\right|}^{1/q}}\right)\text{d}x\right]}^p\\ \le \underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\frac{{\left|x\right|}^{p-1}}{\left|y\right|}{f}^p\left(x\right)\text{d}x\\ \times {\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\frac{{\left|y\right|}^{q-1}}{\left|x\right|}\text{d}x\right)}^{p-1}\\ =k^{p-1}\left|y\right|\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\frac{{\left|x\right|}^{p-1}}{\left|y\right|}{f}^p\left(x\right)\text{d}x.\end{array}$$

(2.5)

By Fubini theorem, we find

$$\begin{array}{cc}\hfill J& \le k^{p-1}\underset{-\infty }{\overset{\infty }{\int }}\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\frac{{\left|x\right|}^{p-1}}{\left|y\right|}{f}^p\left(x\right)\text{d}x\right)\text{d}y\hfill \\ =k^{p-1}\underset{-\infty }{\overset{\infty }{\int }}\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\frac{{\left|x\right|}^{p-1}}{\left|y\right|}\text{d}y\right)f^p\left(x\right)\text{d}x\hfill \\ =k^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x.\hfill \end{array}$$

   □

LEMMA 2.3. If $0<p<1,\frac{1}{p}+\frac{1}{q}=1$ and g(x) is a nonnegative measurable function in (-∞,∞), then for all x ∈ (-∞, 0) ∪ (0, ∞)

$$J\ge k^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x,$$

(2.6)

$$\begin{array}{c}L:=\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}g\left(y\right)\text{d}y\right)}^q\text{d}x\\ \le k^q\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y,\end{array}$$

(2.7)

where $k=2\text{ln}\left(4\text{ cos }\frac{{\alpha }_1}{2}\text{sin}\frac{{\alpha }_2}{2}\right)-{\alpha }_1\text{ cot }{\alpha }_1+\left(\pi -{\alpha }_2\right)\text{ cot }{\alpha }_2$.

Proof. It can be completed similarly by following the proof of Lemma 2.2 as long as applying the reverse Hölder's inequality [15], hence we omit the details. Since q < 0, thus (2.7) takes the positive inequality.   □

3. Main results and applications

THEOREM 3.1. If $p>1,\frac{1}{p}+\frac{1}{q}=1,f,g\ge 0$ such that $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x<\infty$ and $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x<\infty$, then we obtain the following equivalent inequalities

$$\begin{array}{c}I:=\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)g\left(y\right)\text{d}x\text{d}y\\ <k{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

(3.1)

$$\begin{array}{c}J=\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)\text{d}x\right)}^p\text{d}y\\ <k^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x,\end{array}$$

(3.2)

where the constant factors $k=2\text{ ln}\left(4\text{ cos }\frac{{\alpha }_1}{2}\text{sin}\frac{{\alpha }_2}{2}\right)-{\alpha }_1\text{ cot }{\alpha }_1+\left(\pi -{\alpha }_2\right)\text{ cot }{\alpha }_2$ and k^p are both the best possible.

Proof. If (2.5) takes the form of equality for some y ∈ (-∞,0) ∪ (0,∞), then there exist constants A and B such that they are not all zero and

$$A\frac{{\left|x\right|}^{p-1}}{\left|y\right|}\cdot f^p\left(x\right)=B\frac{{\left|y\right|}^{q-1}}{\left|x\right|}\text{a}\text{.e}\text{.}\text{in(}-\infty \text{,}\infty \text{)}\times \left(-\infty ,\infty \right).$$

i.e., A|x|^pf^p(x) = B|y|^qa.e. in (-∞,∞) × (-∞, ∞). We conform that A ≠ 0 (otherwise B = A = 0). Then ${\left|x\right|}^{p-1}{f}^p\left(x\right)=\frac{B{\left|y\right|}^q}{A\left|x\right|}$ a.e. in(-∞,∞), which contradicts the fact that $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x<\infty$. Hence (2.5) takes a strict inequality and the same as (2.4), thus (3.2) is valid.

By Hölder's inequality with weight [15], we find

$$\begin{array}{c}I=\underset{-\infty }{\overset{\infty }{\int }}\left({\left|y\right|}^{-1+\left(1/q\right)}\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)\text{d}x\right){\left|y\right|}^{1-\left(1/q\right)}g\left(y\right)\text{d}y\\ \le J^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y\right)}^{1/q}.\end{array}$$

(3.3)

By (3.2), we obtain (3.1). On the other hand, suppose that (3.1) is valid. Let

$$g\left(y\right):={\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)\text{d}x\right)}^{p-1},$$

then $J={\int }_{-\infty }^{\infty }{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y$. In view of (2.4), J < ∞. If J = 0, then (3.2) is naturally valid; if J > 0, by (3.1), then

$$\begin{array}{c}0<\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y=J=I\\ <k{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q}\end{array}$$

(3.4)

$$J^{1/p}={\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y\right)}^{1/p}<k{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}.$$

(3.5)

Hence we obtain (3.2). Thus (3.2) and (3.1) are equivalent.

For any ε > 0, suppose that

$$\tilde{f}\left(x\right)=\left\{\begin{array}{cc}{x}^{-1-\frac{2\epsilon }{p}},\hfill & x\in \left[1,\infty \right),\hfill \\ 0,\hfill & x\in \left(-1,1\right),\hfill \\ {\left(-x\right)}^{-1-\frac{2\epsilon }{p}},\hfill & x\in \left(-\infty ,-1\right],\hfill \end{array}\tilde{g}\left(x\right)=\left\{\begin{array}{cc}{x}^{-1-\frac{2\epsilon }{q}},\hfill & x\in \left[1,\infty \right),\hfill \\ 0,\hfill & x\in \left(-1,1\right),\hfill \\ {\left(-x\right)}^{-1-\frac{2\epsilon }{q}},\hfill & x\in \left(-\infty ,-1\right].\hfill \end{array}\right.\right.$$

Then we get the following inequality

$$H\left(\epsilon \right):={\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{\tilde{f}}^p\left(x\right)\text{d}x\right)}^{\frac{1}{p}}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{\tilde{g}}^q\left(x\right)\text{d}x\right)}^{\frac{1}{q}}=\frac{1}{\epsilon },$$

(3.6)

$$I\left(\epsilon \right):=\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}\tilde{f}\left(x\right)\tilde{g}\left(y\right)\text{d}x\text{d}y=I_1+I_2+I_3+I_4,$$

(3.7)

where

$$\begin{array}{c}{I}_1:=\underset{-\infty }{\overset{-1}{\int }}{\left(-y\right)}^{-1-\frac{2\epsilon }{q}}\left(\underset{-\infty }{\overset{-1}{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}{\left(-x\right)}^{-\text{1}-\frac{2\epsilon }{p}}\text{d}x\right)\text{d}y,\\ I_2:=\underset{-\infty }{\overset{-1}{\int }}{\left(-y\right)}^{-1-\frac{2\epsilon }{q}}\left(\underset{1}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}{x}^{-1-\frac{2\epsilon }{p}}\text{d}x\right)\text{d}y,\\ I_3:=\underset{1}{\overset{\infty }{\int }}{y}^{-1-\frac{2\epsilon }{q}}\left(\underset{-\infty }{\overset{-1}{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}{\left(-x\right)}^{-1-\frac{2\epsilon }{p}}\text{d}x\right)\text{d}y,\\ I_4:=\underset{1}{\overset{\infty }{\int }}{y}^{-1-\frac{2\epsilon }{q}}\left(\underset{1}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}{x}^{-1-\frac{2\epsilon }{p}}\text{d}x\right)\text{d}y.\end{array}$$

By Fubini theorem [16], it follows

$$\begin{array}{c}{I}_1=I_4=\underset{1}{\overset{\infty }{\int }}{y}^{-1-\frac{2\epsilon }{q}}\left(\underset{1}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}{x}^{-1-\frac{2\epsilon }{p}}\text{d}x\right)\text{d}y\hfill \\ =\underset{1}{\overset{\infty }{\int }}{y}^{-1-2\epsilon }\left(\underset{\frac{1}{y}}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{u^2,1\right\}}{u^2+2u\text{ cos }{\alpha }_i+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u\right)\text{d}y\left(u=x/y\right)\hfill \\ =\underset{1}{\overset{\infty }{\int }}{y}^{-1-2\epsilon }\left(\underset{\frac{1}{y}}{\overset{1}{\int }}\frac{u^2}{u^2+2u\text{ cos }{\alpha }_1+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u\right)\text{d}y\hfill \\ +\underset{1}{\overset{\infty }{\int }}{y}^{-1-2\epsilon }\left(\underset{1}{\overset{\infty }{\int }}\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u\right)\text{d}y\hfill \\ =\underset{0}{\overset{1}{\int }}\left(\underset{\frac{1}{u}}{\overset{\infty }{\int }}{y}^{-1-2\epsilon }\text{d}y\right)\frac{u^{1-\frac{2\epsilon }{p}}}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u+\frac{1}{2\epsilon }\underset{1}{\overset{\infty }{\int }}\frac{u^{-1-\frac{2\epsilon }{p}}}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u\hfill \\ =\frac{1}{2\epsilon }\left(\underset{0}{\overset{1}{\int }}\frac{u^{1+\frac{2\epsilon }{q}}}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u\right).\hfill \\ I_2=I_3=\underset{1}{\overset{\infty }{\int }}{y}^{-1-\frac{2\epsilon }{q}}\left(\underset{1}{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2-2xy\text{ cos }{\alpha }_i+y^2}{x}^{-1-\frac{2\epsilon }{p}}\text{d}x\right)\text{d}y\hfill \\ =\frac{1}{2\epsilon }\left(\underset{0}{\overset{1}{\int }}\frac{u^{1+\frac{2\epsilon }{q}}}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u\right).\hfill \end{array}$$

If the constant factor k in (3.1) is not the best possible, then there exists a constant 0 < M ≤ k, such that

$$\begin{array}{c}I:=\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)g\left(y\right)\text{d}x\text{d}y\\ <M{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

In view of (3.6) and (3.7), we obtain

$$\begin{array}{c}\underset{0}{\overset{1}{\int }}\frac{u^{1+\frac{2\epsilon }{q}}}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u+\underset{0}{\overset{1}{\int }}\frac{u^{1+\frac{2\epsilon }{q}}}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u\\ +\underset{1}{\overset{\infty }{\int }}\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u=\epsilon I\left(\epsilon \right)<\epsilon kH\left(\epsilon \right)=k\end{array}$$

(3.8)

By (3.8), (2.3) and Fatou lemma [16], we find

$$\begin{array}{c}k=\underset{0}{\overset{1}{\int }}\frac{u}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{u^{-1}}{u^2+2u\text{ cos }{\alpha }_1+1}\text{d}u\\ +\underset{0}{\overset{1}{\int }}\frac{u}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{u^{-1}}{u^2-2u\text{ cos }{\alpha }_2+1}\text{d}u\\ =\underset{0}{\overset{1}{\int }}\underset{\epsilon \to 0^{+}}{\text{lim}}\frac{u^{1+\frac{2\epsilon }{q}}}{u^2+2u\text{ cos }{\alpha }_i+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\underset{\epsilon \to 0^{+}}{\text{lim}}\frac{1}{u^2+2u\text{ cos }{\alpha }_i+1}{u}^{{}^{-1-\frac{2\epsilon }{p}}}\text{d}u\\ +\underset{0}{\overset{1}{\int }}\underset{\epsilon \to 0^{+}}{\text{lim}}\frac{u^{1+\frac{2\epsilon }{q}}}{u^2-2u\text{ cos }{\alpha }_i+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\underset{\epsilon \to 0^{+}}{\text{lim}}\frac{1}{u^2-2u\text{ cos }{\alpha }_i+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u\\ \le \frac{\text{lim}}{\epsilon \to 0^{+}}\left(\underset{0}{\overset{1}{\int }}\frac{u^{1+\frac{2\epsilon }{q}}}{u^2+2u\text{ cos }{\alpha }_i+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{1}{u^2+2u\text{ cos }{\alpha }_i+1}{u}^{-1-\frac{2\epsilon }{p}}\right.\text{d}u\\ +\underset{0}{\overset{1}{\int }}\left.\frac{u^{1+\frac{2\epsilon }{q}}}{u^2-2u\text{ cos }{\alpha }_i+1}\text{d}u+\underset{1}{\overset{\infty }{\int }}\frac{1}{u^2-2u\text{ cos }{\alpha }_i+1}{u}^{-1-\frac{2\epsilon }{p}}\text{d}u\right)\le M.\end{array}$$

Hence k is the best value of (3.1). We conform that k^pis also the best value of (3.2). Otherwise, we can get a contradiction by (3.3) that (3.1) is not the best possible.   □

THEOREM 3.2. If $0<p<1,\frac{1}{p}+\frac{1}{q}=1,f,g\ge 0$ such that $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x<\infty$ and $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x<\infty$ , then we have the following equivalent inequalities

$$\begin{array}{c}I=\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)g\left(y\right)\text{d}x\text{d}y\\ <k{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

(3.9)

$$\begin{array}{c}J=\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}f\left(x\right)\text{d}x\right)}^p\text{d}y\\ >k^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x,\end{array}$$

(3.10)

$$\begin{array}{c}L:=\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}g\left(y\right)\text{d}y\right)}^q\text{d}x\\ <k^q\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y,\end{array}$$

(3.11)

where the constant factors $k=2\text{ ln}\left(4\text{ cos }\frac{{\alpha }_1}{2}\text{sin}\frac{{\alpha }_2}{2}\right)-{\alpha }_1\text{ cot }{\alpha }_1+\left(\pi -{\alpha }_2\right)\text{ cot }{\alpha }_2$ , both k^pand k^qare the best possible.

Proof. By Lemma 2.3, similar to the proof of (3.2), we obtain that (3.10) and (3.11) are valid. In view of the reverse equality of (3.3), (3.9) is valid too. On the other hand, suppose that (3.9) is valid, let g(y) defined as Theorem 3.1, it is obvious J > 0. If J = ∞, then (3.10) is valid naturally; if 0 < J < ∞, then by (3.9), we find

$$\begin{array}{c}\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y=J=I\\ >k{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\\ J^{1/p}={\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y\right)}^{1/p}>k{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}.\end{array}$$

(3.12)

Hence we obtain (3.10). Thus (3.10) and (3.9) are equivalent.

(3.11) and (3.9) are equivalent. In fact, we have proved (3.11) is valid above. On the other hand, suppose that (3.11) is valid, by the reverse Hölder's inequality with weight [15], we obtain

$$\begin{array}{c}I=\underset{-\infty }{\overset{\infty }{\int }}\left({\left|x\right|}^{1-\left(1/p\right)}f\left(x\right)\text{d}x\right)\left({\left|x\right|}^{-1+\left(1/p\right)}\underset{-\infty }{\overset{\infty }{\int }}\underset{i\in \left\{1,2\right\}}{\text{min}}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }{\alpha }_i+y^2}g\left(y\right)\text{d}y\right)\\ \ge L^{1/q}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}y\right)}^{1/p}.\end{array}$$

(3.13)

By (3.11), we obtain (3.9), and it is equivalent between (3.11) and (3.9). Thus (3.9), (3.10), and (3.11) are equivalent.

k is the best value of (3.9). In fact, If there exists a constant M ≥ k, such that (3.9) is still valid as we replace k by M. By the reverse inequality of (3.8), we obtain

$$\begin{array}{c}\underset{0}{\overset{1}{\int }}\left(\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}+\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}\right)u^{1+\frac{2\epsilon }{q}}\text{d}u\hfill \\ +\underset{1}{\overset{\infty }{\int }}\left(\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}+\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}\right)u^{-1-\frac{2\epsilon }{p}}\text{d}u>k\hfill \end{array}$$

(3.14)

Suppose that $0<{\epsilon }_0<\frac{\left|q\right|}{2}$ such that $\frac{2{\epsilon }_0}{q}+1>0$. Letting 0 < ε ≤ ε₀ gives $u^{\frac{2\epsilon }{q}}\le u^{\frac{2{\epsilon }_0}{q}}\left(u\in \left(0,1\right]\right)$ and

$$\underset{0}{\overset{1}{\int }}\left(\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}+\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}\right)u^{1+\frac{2{\epsilon }_0}{q}}\text{d}u\le \frac{k}{2}\underset{0}{\overset{1}{\int }}{u}^{\frac{2{\epsilon }_0}{q}}=\frac{k}{2}\cdot \frac{1}{1+\left(2{\epsilon }_0\right)/q}.$$

By Lebesgue control convergent theorem [16], it follows

$$\begin{array}{c}\underset{0}{\overset{1}{\int }}\left(\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}+\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}\right)u^{1+\frac{2\epsilon }{q}}\text{d}u\\ =\underset{0}{\overset{1}{\int }}\left(\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}+\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}\right)u\text{d}u+o\left(1\right)\left(\epsilon \to 0^{+}\right).\end{array}$$

Then by Levi theorem [16], we obtain

$$\begin{array}{c}\underset{1}{\overset{\infty }{\int }}\left(\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}+\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}\right)u^{-1-\frac{2\epsilon }{p}}\text{d}u\\ =\underset{1}{\overset{\infty }{\int }}\left(\frac{1}{u^2+2u\text{ cos }{\alpha }_1+1}+\frac{1}{u^2-2u\text{ cos }{\alpha }_2+1}\right)\frac{1}{u}\text{d}u+\tilde{o}\left(1\right)\left(\epsilon \to 0^{+}\right).\end{array}$$

By (3.14), if follows that k ≥ M for ε → 0⁺. Hence k is the best value of (3.9). Furthermore, the constant factors in (3.10) and (3.11) are both the best value too. Otherwise, by (3.3) or (3.13), we may get a contradiction that the constant factor in (3.9) is not the best possible.   □

By Note (ii), Theorems 3.1 and 3.2, it follows that

COROLLARY 3.3. If $p>1,\frac{1}{p}+\frac{1}{q}=1,f,g\ge 0$ such that $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x<\infty$ and $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x<\infty$ , then we obtain the following equivalent inequalities

$$\begin{array}{c}\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }\alpha +y^2}f\left(x\right)g\left(y\right)\text{d}x\text{d}y\\ <k_1{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

(3.15)

$$\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }\alpha +y^2}f\left(x\right)\text{d}x\right)}^p\text{d}y<k_1^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x,$$

(3.16)

where the constant factors k₁ = 2 ln (2 sin α) + (π - 2α) cot α and $k_1^p$ are both the best possible. In particular, for α = π/3 or 2π/3, it reduces to

$$\begin{array}{c}\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2\pm xy+y^2}f\left(x\right)g\left(y\right)\text{d}x\text{d}y\\ <\left(\text{ln}3+\frac{\sqrt{3}\pi }{9}\right){\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

(3.17)

$$\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2\pm xy+y^2}f\left(x\right)\text{d}x\right)}^p\text{d}y<{\left(\text{ln}3+\frac{\sqrt{3}\pi }{9}\right)}^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x.$$

(3.18)

COROLLARY 3.4. If $0<p<1,\frac{1}{p}+\frac{1}{q}=1,f,g\ge 0$ such that $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x<\infty$ and $0<{\int }_{-\infty }^{\infty }{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x<\infty$, then we have the following equivalent inequalities

$$\begin{array}{c}\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }\alpha +y^2}f\left(x\right)g\left(y\right)\text{d}x\text{d}y\\ >k_1{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

(3.19)

$$\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }\alpha +y^2}f\left(x\right)\text{d}x\right)}^p\text{d}y>k_1^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x,$$

(3.20)

$$\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2+2xy\text{ cos }\alpha +y^2}g\left(y\right)\text{dy}\right)}^q\text{d}x<k_1^q\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y,$$

(3.21)

where the constant factors k₁ = 2 ln (2 sin α) + (π - 2α) cot α, $k_1^p$ and $k_1^q$ are both the best possible. In particular, for α = π/3 or 2π/3, it reduces to

$$\begin{array}{c}\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2\pm xy+y^2}f\left(x\right)g\left(y\right)\text{d}x\text{d}y\\ >\left(\text{ln}3+\frac{\sqrt{3}\pi }{9}\right){\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x\right)}^{1/p}{\left(\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{q-1}{g}^q\left(x\right)\text{d}x\right)}^{1/q},\end{array}$$

(3.22)

$$\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2\pm xy+y^2}f\left(x\right)\text{d}x\right)}^p\text{d}y>{\left(\text{ln}3+\frac{\sqrt{3}\pi }{9}\right)}^p\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{p-1}{f}^p\left(x\right)\text{d}x,$$

(3.23)

$$\underset{-\infty }{\overset{\infty }{\int }}{\left|x\right|}^{-1}{\left(\underset{-\infty }{\overset{\infty }{\int }}\frac{\text{min}\left\{x^2,y^2\right\}}{x^2\pm xy+y^2}g\left(y\right)\text{d}y\right)}^q\text{d}x<{\left(\text{ln }3+\frac{\sqrt{3}\pi }{9}\right)}^q\underset{-\infty }{\overset{\infty }{\int }}{\left|y\right|}^{q-1}{g}^q\left(y\right)\text{d}y.$$

(3.24)

Acknowledgements

The study was partially supported by the Emphases Natural Science Foundation of Guangdong Institution of Higher Learning, College and University (No. 05Z026).