Erschienen in:

Open Access 01.12.2014 | Research

On a multidimensional version of the Hilbert-type inequality in the whole plane

verfasst von: Predrag Vuković

Erschienen in: Journal of Inequalities and Applications | Ausgabe 1/2014

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Patentsuche

Aus

Abstract

The main objective of this paper is a study of some new multidimensional Hilbert-type inequalities with a general homogeneous kernel in the whole plane. We derive a pair of equivalent inequalities, and we also establish the conditions under which the constant factors included in the obtained inequalities are the best possible. Some applications in particular settings are also considered.

MSC:26D15.

Competing interests

The author declares that they have no competing interests.

1 Introduction

Hilbert’s inequality is one of the most significant weighted inequalities in mathematical analysis and its applications. Through the years, Hilbert-type inequalities were discussed by numerous authors, who either reproved them using various techniques, or applied and generalized them in many different ways. For more details as regards Hilbert’s inequality the reader is referred to [1] or [2].

Although classical, Hilbert’s inequality and its generalizations and modifications are still of a great interest. Xin and Yang in [3] proved Hilbert-type inequalities with the homogeneous kernel of degree −2.

p > 1

1 / p + 1 / q = 1

| λ | < 1

0 < α_{1} < α_{2} < π

f, g \geq 0

, satisfying

0 < \int_{- \infty}^{\infty} {| x |}^{- p λ - 1} f^{p} (x) d x < \infty

and

0 < \int_{- \infty}^{\infty} {| y |}^{q λ - 1} g^{q} (y) d y < \infty

, then we have

\begin{matrix} \int_{- \infty}^{\infty} \int_{- \infty}^{\infty} min_{i \in {1, 2}} {\frac{1}{x^{2} + 2 x y cos α_{i} + y^{2}}} f (x) g (y) d x d y \\ < k (λ) {(\int_{- \infty}^{\infty} {| x |}^{- p λ - 1} f^{p} (x) d x)}^{1 / p} {(\int_{- \infty}^{\infty} {| y |}^{q λ - 1} g^{q} (y) d y)}^{1 / q}, \end{matrix}

(1.1)

\begin{matrix} \int_{- \infty}^{\infty} {| y |}^{p (1 - λ) - 1} {(\int_{- \infty}^{\infty} min_{i \in {1, 2}} {\frac{1}{x^{2} + 2 x y cos α_{i} + y^{2}}} f (x) d x)}^{p} d y \\ < k^{p} (λ) \int_{- \infty}^{\infty} {| x |}^{- p λ - 1} f^{p} (x) d x, \end{matrix}

(1.2)

where the constant factors

k (λ) = \frac{π}{sin λ π} [\frac{sin λ α_{1}}{sin α_{1}} + \frac{sin λ (π - α_{2})}{sin α_{2}}] (0 < | λ | < 1)

and

k^{p} (λ)

are the best possible. Inequalities (1.1) and (1.2) are equivalent.

Our main objective is to emphasize the previous result. Our generalization will include a multidimensional version of the Hilbert-type inequality in the whole plane.

Some of the recent results concerning Hilbert’s inequality include extension to multidimensional case, equipped with conjugate exponents

p_{i}

, that is,

\sum_{i = 1}^{n} 1 / p_{i} = 1

p_{i} > 1

n \geq 2

(see [4‐6]). Here we refer to [7], which provides a unified treatment of the multidimensional Hilbert-type inequality in the setting with conjugate exponents. Suppose

(Ω_{i}, Σ_{i}, μ_{i})

are σ-finite measure spaces and

K : \prod_{i = 1}^{n} Ω_{i} \to R

ϕ_{i j} : Ω_{j} \to R

f_{i} : Ω_{i} \to R

i, j = 1, 2, \dots, n

, are non-negative measurable functions. If

\prod_{i, j = 1}^{n} ϕ_{i j} (x_{j}) = 1

, then the following inequalities hold and are equivalent:

\int_{Ω} K (x) \prod_{i = 1}^{n} f_{i} (x_{i}) d μ (x) \leq \prod_{i = 1}^{n} {∥ ϕ_{i i} ω_{i} f_{i} ∥}_{p_{i}}

(1.3)

and

\begin{matrix} {[\int_{Ω_{n}} h (x_{n}) {(\int_{{\hat{Ω}}^{n}} K (x) \prod_{i = 1}^{n - 1} f_{i} (x_{i}) d {\hat{μ}}^{n} (x))}^{q} d μ (x_{n})]}^{1 / q} \\ \leq \prod_{i = 1}^{n - 1} {∥ ϕ_{i i} ω_{i} f_{i} ∥}_{p_{i}}, \end{matrix}

(1.4)

where

ω_{i} (x_{i}) = {[\int_{{\hat{Ω}}^{i}} K (x) \prod_{j = 1, j \neq i}^{n} ϕ_{i j}^{p_{i}} (x_{j}) d {\hat{μ}}^{i} (x)]}^{1 / p_{i}}

(1.5)

and

\begin{aligned} 1 / q = \sum_{i = 1}^{n - 1} (1 / p_{i}), Ω = \prod_{i = 1}^{n} Ω_{i}, {\hat{Ω}}^{i} = \prod_{j = 1, j \neq i}^{n} Ω_{j}, x = (x_{1}, x_{2}, \dots, x_{n}), \\ h = ϕ_{n n}^{- q} ω_{n}^{1 - q}, d μ (x) = \prod_{i = 1}^{n} d μ_{i} (x_{i}), d {\hat{μ}}^{i} (x) = \prod_{j = 1, j \neq i}^{n} d μ_{j} (x_{j}) . \end{aligned}

(1.6)

The abbreviations as in (1.6) will be used throughout the whole paper. Also note that

{∥ \cdot ∥}_{p_{i}}

denotes the usual norm in

L^{p_{i}} (Ω_{i})

, that is,

{∥ ϕ_{i i} ω_{i} f_{i} ∥}_{p_{i}} = {[\int_{Ω_{i}} {(ϕ_{i i} ω_{i} f_{i})}^{p_{i}} (x_{i}) d μ_{i} (x_{i})]}^{1 / p_{i}}, i = 1, 2, \dots, n .

Our results will be based on the mentioned results of Yang et al. In what follows, without further explanation, we assume that all integrals exist on the respective domains of their definitions.

2 Main results

In this section we develop an unified treatment of the Hilbert and Hardy-Hilbert-type inequalities with general homogeneous kernel. Further, regarding the notations from the previous section, we assume that

Ω_{i} = R_{+}

, equipped with the non-negative Lebesgue measures

d μ_{i} (x_{i}) = d x_{i}

i = 1, 2, \dots, n

. In addition, we have

Ω = R_{+}^{n}

and

d x = d x_{1} d x_{2} \dots d x_{n}

Recall that the function

K : R_{+}^{n} \to R

is said to be homogeneous of degree −s,

s > 0

, if

K (t x) = t^{- s} K (x)

for all

t > 0

. Furthermore, for

a = (a_{1}, a_{2}, \dots, a_{n}) \in R^{n}

, we define

k_{i} (a) = \int_{R^{n - 1}} K ({\hat{u}}^{i}) \prod_{j = 1, j \neq i}^{n} u_{j}^{a_{j}} {\hat{d}}^{i} u, i = 1, 2, \dots, n,

(2.1)

where

{\hat{u}}^{i} = (u_{1}, \dots, u_{i - 1}, 1, u_{i + 1}, \dots, u_{n})

{\hat{d}}^{i} u = d u_{1} \dots d u_{i - 1} d u_{i + 1} \dots d u_{n}

, and provided that the above integral converges. Note that the constant factor

k_{i} (a)

does not depend on the component

a_{i}

. Thus, the component

a_{i}

can be replaced with an arbitrary real number. This fact will sometimes be used in the sequel, for reasons of simpler notation. Further, by using the substitutions

t_{i} = - u_{i}

i \neq 1

, we obtain the following identity:

\int_{R^{n - 1}} K (- u_{1}, \dots, - u_{i - 1}, 1, - u_{i + 1}, \dots, - u_{n}) \prod_{j = 1, j \neq i}^{n} {| u_{j} |}^{a_{j}} {\hat{d}}^{i} u = k_{i} (a)

(2.2)

for

i = 1, 2, \dots, n

, where we assume that the above integral converges.

Utilizing inequalities (1.3) and (1.4) we obtain the following theorem.

Theorem 2.1 Let

p_{i} > 1

i = 1, 2, \dots, n

, be conjugate exponents and let

A_{i j}

i, j = 1, 2, \dots, n

, be the real parameters such that

\sum_{i = 1}^{n} A_{i j} = 0

j = 1, 2, \dots, n

. If

K : R^{n} \to R

is a non-negative measurable homogeneous function of degree −λ,

λ = 2 m

m \in N

, and

f_{i} : R \to R

i = 1, 2, \dots, n

, are non-negative measurable functions, then the following inequalities hold and are equivalent:

\int_{R^{n}} K (x) \prod_{i = 1}^{n} f_{i} (x_{i}) d x \leq \prod_{i = 1}^{n} k_{i}^{1 / p_{i}} (p_{i} A_{i}) \prod_{i = 1}^{n} {∥ {| x_{i} |}^{(n - 1 - λ) / p_{i} + α_{i}} f_{i} ∥}_{p_{i}}

(2.3)

and

\begin{matrix} {[\int_{R} {| x_{n} |}^{(1 - q) (n - 1 - λ) - q α_{n}} {(\int_{R^{n - 1}} K (x) \prod_{i = 1}^{n - 1} f_{i} (x_{i}) {\hat{d}}^{n} x)}^{q} d x_{n}]}^{1 / q} \\ \leq \prod_{i = 1}^{n} k_{i}^{1 / p_{i}} (p_{i} A_{i}) \prod_{i = 1}^{n - 1} {∥ {| x_{i} |}^{(n - 1 - λ) / p_{i} + α_{i}} f_{i} ∥}_{p_{i}}, \end{matrix}

(2.4)

where

1 / q = \sum_{i = 1}^{n - 1} (1 / p_{i})

α_{i} = \sum_{j = 1}^{n} A_{i j}

A_{i} = (A_{i 1}, A_{i 2}, \dots, A_{i n})

i = 1, 2, \dots, n

, and

k_{i} (\cdot)

i = 1, 2, \dots, n

, is defined by (2.1).

Proof Rewrite inequality (1.3) for the functions

ϕ_{i j} (x_{j}) = {| x_{j} |}^{A_{i j}}

i, j = 1, 2, \dots, n

. Clearly, the set of the above defined power functions satisfies the condition

\prod_{i, j = 1}^{n} ϕ_{i j} (x_{j}) = \prod_{j = 1}^{n} \prod_{i = 1}^{n} {x_{j}}^{A_{i j}} = \prod_{j = 1}^{n} {x_{j}}^{\sum_{i = 1}^{n} A_{i j}} = 1,

since

\sum_{i = 1}^{n} A_{i j} = 0

Obviously, it is enough to calculate the functions

ω_{i} (x_{i})

i = 1, 2, \dots, n

. Without loss of generality, we will take into account the function

ω_{1} (x_{1})

Now, when we express the function

ω_{1} (x_{1})

in terms of the integral formula (2.1), we will use the following identity:

\begin{array}{rcl} \int_{- \infty}^{\infty} {(ϕ_{11} ω_{1} f_{1})}^{p_{1}} (x_{1}) d x_{1} & = & \int_{- \infty}^{0} {| x_{1} |}^{p_{1} A_{11}} ω_{1}^{p_{1}} (x_{1}) f_{1}^{p_{1}} (x_{1}) d x_{1} \\ + \int_{0}^{\infty} x_{1}^{p_{1} A_{11}} ω_{1}^{p_{1}} (x_{1}) f_{1}^{p_{1}} (x_{1}) d x_{1} . \end{array}

(2.5)

In the case when

x_{1} \leq 0

λ = 2 m

m \in N

, it follows that

x_{1}^{- λ} = {| x_{1} |}^{- λ}

. By using the substitutions

x_{i} = | x_{1} | u_{i}

i \neq 1

, the identity (2.2) and definition (2.1), we obtain the expression

\begin{aligned} ω_{1}^{p_{1}} (x_{1}) & = \int_{R^{n - 1}} K (x) \prod_{j = 2}^{n} {| x_{j} |}^{p_{1} A_{1 j}} {\hat{d}}^{1} x \\ = {| x_{1} |}^{n - 1 - λ + p_{1} (α_{1} - A_{11})} \int_{R^{n - 1}} K ({\hat{u}}^{1}) \prod_{j = 2}^{n} {| u_{j} |}^{p_{1} A_{1 j}} {\hat{d}}^{1} u \\ = {| x_{1} |}^{n - 1 - λ + p_{1} (α_{1} - A_{11})} k_{1} (p_{1} A_{1}) . \end{aligned}

(2.6)

Now, from (2.5) and (2.6) we get

{∥ ϕ_{11} ω_{1} f_{1} ∥}_{p_{1}} = k_{1} (p_{1} A_{1}) \int_{- \infty}^{\infty} {| x_{1} |}^{n - 1 - λ + p_{1} α_{1}} f_{1}^{p_{1}} (x_{1}) d x_{1} .

Similarly to the first part of the proof we obtain the identity

{∥ ϕ_{i i} ω_{i} f_{i} ∥}_{p_{i}} = k_{i} (p_{i} A_{i}) \int_{- \infty}^{\infty} {| x_{i} |}^{n - 1 - λ + p_{i} α_{i}} f_{i}^{p_{i}} (x_{i}) d x_{i}, i = 1, \dots, n .

Finally, inequality (1.3) yields inequality (2.3). In the same way inequality (2.4) follows directly from (1.4). □

The main idea in obtaining the best possible constant factor in inequalities (2.3) and (2.4) is a reduction of the constant in the form without exponents, by an appropriate choice of the parameters

A_{i}

i = 1, \dots, n

. For that reason, we assume

k_{1} (p_{1} A_{1}) = k_{2} (p_{2} A_{2}) = \dots = k_{n} (p_{n} A_{n}) .

(2.7)

If we use the change of variables

u_{1} = 1 / t_{2}, u_{3} = t_{3} / t_{2}, u_{4} = t_{4} / t_{2}, \dots, u_{n} = t_{n} / t_{2}

, which provides the Jacobian of the transformation

| \frac{\partial (u_{1}, u_{3}, \dots, u_{n})}{\partial (t_{2}, t_{3}, \dots, t_{n})} | = t_{2}^{- n},

we have

\begin{aligned} k_{2} (p_{2} A_{2}) & = \int_{R_{+}^{n - 1}} K ({\hat{t}}^{1}) t_{2}^{λ - n - p_{2} (α_{2} - A_{22})} \prod_{j = 3}^{n} t_{j}^{p_{2} A_{2 j}} {\hat{d}}^{1} t \\ = k_{1} (p_{1} A_{11}, λ - n - p_{2} (α_{2} - A_{22}), p_{2} A_{23}, \dots, p_{2} A_{2 n}) . \end{aligned}

According to (2.7), we have

p_{1} A_{12} = λ - n - p_{2} (α_{2} - A_{22}), p_{1} A_{13} = p_{2} A_{23}, \dots, p_{1} A_{1 n} = p_{2} A_{2 n}

. In a similar manner we express

k_{i} (p_{i} A_{i})

i = 3, \dots, n

, in terms of

k_{1} (\cdot)

. To obtain a case of the best inequality it is natural to impose the following conditions on the parameters

A_{i j}

p_{j} A_{j i} = λ - n - p_{i} (α_{i} - A_{i i}), j \neq i, i, j \in {1, 2, \dots, n} .

(2.8)

In that case the constant factor from Theorem 2.1 is simplified to the following form:

L^{*} = k_{1} (\tilde{A}),

(2.9)

where

\tilde{A} = ({\tilde{A}}_{1}, {\tilde{A}}_{2}, \dots, {\tilde{A}}_{n})

and

{\tilde{A}}_{i} = p_{1} A_{1 i} for i \neq 1 and {\tilde{A}}_{1} = p_{n} A_{n 1} .

(2.10)

Further, by using (2.8) and (2.9), inequalities (2.3) and (2.4) with the parameters

A_{i j}

, satisfying (2.8), become

\int_{R^{n}} K (x) \prod_{i = 1}^{n} f_{i} (x_{i}) d x \leq L^{*} \prod_{i = 1}^{n} {∥ {| x_{i} |}^{- {\tilde{A}}_{i} - 1 / p_{i}} f_{i} ∥}_{p_{i}}

(2.11)

and

\begin{matrix} {[\int_{R} {| x_{n} |}^{(1 - q) (- 1 - p_{n} {\tilde{A}}_{n})} {(\int_{R^{n - 1}} K (x) \prod_{i = 1}^{n - 1} f_{i} (x_{i}) {\hat{d}}^{n} x)}^{q} d x_{n}]}^{1 / q} \\ \leq L^{*} \prod_{i = 1}^{n - 1} {∥ {| x_{i} |}^{- {\tilde{A}}_{i} - 1 / p_{i}} f_{i} ∥}_{p_{i}} . \end{matrix}

(2.12)

To prove the main result we need the next lemma.

Lemma 2.2 Let

K : R_{+}^{n} \to R

be a non-negative measurable homogeneous function of degree −λ,

λ = 2 m

m \in N,

such that for every

i = 2, 3, \dots, n

K (1, t_{2}, \dots, t_{i}, \dots, t_{n}) \leq C K (1, t_{2}, \dots, 0, \dots, t_{n}), - 1 \leq t_{i} \leq 1,

(2.13)

where C is a positive constant. Let the parameters

{\tilde{A}}_{i}

i = 1, \dots, n

, be defined by (2.10) and

0 < ε < {min}_{1 \leq i \leq n} {p_{i} + p_{i} {\tilde{A}}_{i}}

. Then we have

\begin{matrix} \int_{| x_{1} | \geq 1} {| x_{1} |}^{{\tilde{A}}_{1} - ε / p_{1}} (\sum_{i = 2}^{n} \int_{D_{i}^{-}} K (x) \prod_{j = 2}^{n} {| x_{j} |}^{{\tilde{A}}_{j} - ε / p_{j}} {\hat{d}}^{1} x) d x_{1} \\ + \int_{| x_{1} | \geq 1} {| x_{1} |}^{{\tilde{A}}_{1} - ε / p_{1}} (\sum_{i = 2}^{n} \int_{D_{i}^{+}} K (x) \prod_{j = 2}^{n} {| x_{j} |}^{{\tilde{A}}_{j} - ε / p_{j}} {\hat{d}}^{1} x) d x_{1} \leq O (1), \end{matrix}

(2.14)

where

\begin{aligned} D_{i}^{-} = {(x_{2}, \dots, x_{n}) : - 1 \leq x_{i} < 0, x_{j} \in R, j \neq i}, \\ D_{i}^{+} = {(x_{2}, \dots, x_{n}) : 0 < x_{i} \leq 1, x_{j} \in R, j \neq i}, i = 2, \dots, n . \end{aligned}

(2.15)

Proof First, we define the integral

I_{j} (x_{1})

j = 2, \dots, n

, by the formulas

I_{j} (x_{1}) = \int_{D_{j}^{-}} K (x) \prod_{i = 2}^{n} {| x_{i} |}^{{\tilde{A}}_{i} - ε / p_{i}} {\hat{d}}^{1} x,

where

D_{j}^{-}

is defined by (2.15). Without loss of generality we only estimate the integral

I_{2} (x_{1})

. By using homogeneity of the function K, the substitutions

t_{i} = x_{i} / | x_{1} |

i \neq 1

, and the condition (2.13), we obtain

\begin{array}{rcl} I_{2} (x_{1}) & = & {| x_{1} |}^{\sum_{i = 2}^{n} ({\tilde{A}}_{i} - ε / p_{i}) + n - 1 - λ} \int_{R^{n - 2}} \int_{0}^{1 / | x_{1} |} K ({\hat{t}}^{1}) \prod_{i = 2}^{n} {| t_{i} |}^{{\tilde{A}}_{i} - ε / p_{i}} {\hat{d}}^{1} t \\ \leq & C {| x_{1} |}^{\sum_{i = 2}^{n} ({\tilde{A}}_{i} - ε / p_{i}) + n - 1 - λ} \int_{R^{n - 2}} K (1, 0, t_{3}, \dots, t_{n}) \prod_{i = 3}^{n} {| t_{i} |}^{{\tilde{A}}_{i} - ε / p_{i}} d t_{3} \dots d t_{n} \\ \times \int_{0}^{1 / | x_{1} |} t_{2}^{{\tilde{A}}_{2} - ε / p_{2}} d t_{2} \\ = & C {(1 - ε / p_{2} + {\tilde{A}}_{2})}^{- 1} {| x_{1} |}^{ε / p_{2} - {\tilde{A}}_{2} - 1} k_{1} ({\tilde{A}}_{1} - ε / p_{1}, {\tilde{A}}_{3} - ε / p_{3}, \dots, {\tilde{A}}_{n} - ε / p_{n}) \\ \times {| x_{1} |}^{\sum_{i = 2}^{n} ({\tilde{A}}_{i} - ε / p_{i}) + n - 1 - λ} . \end{array}

Hence, we have

I_{j} (x_{1}) \leq {| x_{1} |}^{ε / p_{j} - {\tilde{A}}_{j} - 1} {| x_{1} |}^{\sum_{i = 2}^{n} ({\tilde{A}}_{i} - ε / p_{i}) + n - 1 - λ} O_{j} (1)

for

ε \to 0^{+}

j \in {2, \dots, n}

, and consequently

\int_{| x_{1} | \geq 1} {| x_{1} |}^{{\tilde{A}}_{1} - ε / p_{1}} \sum_{j = 2}^{n} I_{j} (x_{1}) d x_{1} \leq O (1) .

(2.16)

In a similar manner we obtain inequality (2.16) when in the definition of the integral

I_{j} (x_{1})

the space is

D_{j}^{-}

replaced by

D_{j}^{+}

. Finally, from (2.16) we get (2.15). □

Now, we are ready to state and prove the main result, concerning the best possible constant factor in inequalities (2.11) and (2.12).

Theorem 2.3 Let the kernel K and the parameters

A_{i j}

i, j = 1, \dots, n

, be defined as in Theorem 2.1. If the kernel K and the parameters

A_{i j}

satisfy the conditions (2.13) and (2.8), respectively, then the constant

L^{*}

is the best possible in inequalities (2.11) and (2.12).

Proof Let us suppose that the constant factor

L^{*}

given by (2.9) is not the best possible in inequality (2.11). Then there exists a positive constant

L_{1} < L^{*}

, such that (2.11) is still valid when we replace

L^{*}

L_{1}

We define the real functions

{\tilde{f}}_{i, ε} : R^{n} \mapsto R

by the formulas

{\tilde{f}}_{i, ε} (x_{i}) = {\begin{cases} 0, & | x_{i} | < 1, \\ {| x_{i} |}^{{\tilde{A}}_{i} - ε / p_{i}}, & | x_{i} | \geq 1, \end{cases} i = 1, \dots, n,

where

0 < ε < {min}_{1 \leq i \leq n} {p_{i} + p_{i} {\tilde{A}}_{i}}

. Now, we shall put these functions in inequality (2.11). Then the right-hand side of inequality (2.11) becomes

L_{1} \prod_{i = 1}^{n} {[\int_{| x_{i} | \geq 1} {| x_{i} |}^{- 1 - ε} d x_{i}]}^{1 / p_{i}} = 2 L_{1} \int_{1}^{\infty} t^{- 1 - ε} d t = \frac{2 L_{1}}{ε} .

(2.17)

Further, let J denotes the left-hand side of inequality (2.11), for the above choice of the functions

{\tilde{f}}_{i, ε}

. Now, it is easy to see that the following inequality holds:

\begin{array}{rcl} J & \geq & \int_{| x_{1} | \geq 1} {| x_{1} |}^{{\tilde{A}}_{1} - ε / p_{1}} (\int_{R^{n - 1}} K (x) \prod_{j = 2}^{n} {| x_{j} |}^{{\tilde{A}}_{j} - ε / p_{j}} {\hat{d}}^{1} x) d x_{1} \\ - \int_{| x_{1} | \geq 1} {| x_{1} |}^{{\tilde{A}}_{1} - ε / p_{1}} (\sum_{i = 2}^{n} \int_{D_{i}^{-}} K (x) \prod_{j = 2}^{n} {| x_{j} |}^{{\tilde{A}}_{j} - ε / p_{j}} {\hat{d}}^{1} x) d x_{1} \\ - \int_{| x_{1} | \geq 1} {| x_{1} |}^{{\tilde{A}}_{1} - ε / p_{1}} (\sum_{i = 2}^{n} \int_{D_{i}^{+}} K (x) \prod_{j = 2}^{n} {| x_{j} |}^{{\tilde{A}}_{j} - ε / p_{j}} {\hat{d}}^{1} x) d x_{1}, \end{array}

where

D_{i}^{-}

D_{i}^{+}

i = 2, \dots, n

, are defined by (2.15). By using the substitutions

u_{i} = x_{i} / | x_{1} |

i \neq 1

, and Lemma 2.2 we obtain

\begin{array}{rcl} J & \geq & \int_{| x_{1} | \geq 1} {| x_{1} |}^{{\tilde{A}}_{1} - ε / p_{1}} (\int_{R^{n - 1}} K ({\hat{u}}^{1}) \prod_{j = 2}^{n} {| u_{j} |}^{{\tilde{A}}_{j} - ε / p_{j}} {\hat{d}}^{1} u) d x_{1} - O (1) \\ = & \frac{2}{ε} k_{1} (\tilde{A} - ε 1 / p) - O (1), \end{array}

(2.18)

where

\tilde{A} - ε 1 / p = ({\tilde{A}}_{1} - ε / p_{1}, {\tilde{A}}_{2} - ε / p_{2}, \dots, {\tilde{A}}_{n} - ε / p_{n})

. From (2.11), (2.17), and (2.18) we get

k_{1} (\tilde{A} - ε 1 / p) - o (1) \leq L_{1} .

Now, by letting

ε \to 0^{+}

we obtain

L^{*} \leq L_{1}

which contradicts with the assumption

L_{1} < L^{*}

. Thus, the constant

L^{*}

is the best possible.

Finally, the equivalence of inequalities (2.11) and (2.12) means that the constant

L^{*}

is also the best possible in inequality (2.12). That completes the proof. □

It is easy to see that the parameters

A_{i j}

i, j = 1, \dots, n

, defined by

A_{i j} = \frac{λ - p_{j}}{p_{i} p_{j}}, i \neq j and A_{i i} = \frac{(λ - p_{i}) (1 - p_{i})}{p_{i}^{2}},

(2.19)

satisfy the conditions (2.8).

Setting

n = 3

and the parameters

{\tilde{A}}_{1} = (λ - p_{1}) / p_{1}

{\tilde{A}}_{2} = (λ - p_{2}) / p_{2}

{\tilde{A}}_{3} = (λ - p_{3}) / p_{3}

in inequalities (2.11) and (2.12) we obtain the following result.

Corollary 2.4 Let

p_{1}

p_{2}

p_{3}

be conjugate parameters such that

p_{i} > 1

i = 1, 2, 3

, and let

1 / q = 1 / p_{1} + 1 / p_{2}

. Let

K : R^{3} \to R

be non-negative measurable homogeneous function of degree −λ,

λ = 2 m

m \in N

, satisfying condition (2.13). If

f_{i} : R \to R

i = 1, 2, 3

, are non-negative measurable functions, then the following inequalities hold and are equivalent:

\int_{R^{3}} K (x_{1}, x_{2}, x_{3}) \prod_{i = 1}^{3} f_{i} (x_{i}) d x_{1} d x_{2} d x_{3} \leq M \prod_{i = 1}^{3} {∥ {| x_{i} |}^{(p_{i} - λ - 1) / p_{i}} f_{i} ∥}_{p_{i}}

(2.20)

and

\begin{matrix} {[\int_{R} {| x_{3} |}^{λ / (p_{3} - 1) - 1} {(\int_{R^{2}} K (x_{1}, x_{2}, x_{3}) f_{1} (x_{1}) f_{2} (x_{2}) d x_{1} d x_{2})}^{q} d x_{3}]}^{1 / q} \\ \leq M \prod_{i = 1}^{2} {∥ {| x_{i} |}^{(p_{i} - λ - 1) / p_{i}} f_{i} ∥}_{p_{i}}, \end{matrix}

(2.21)

where the constant

M = k (\frac{λ - p_{1}}{p_{1}}, \frac{λ - p_{2}}{p_{2}}, \frac{λ - p_{3}}{p_{3}})

is the best possible in inequalities (2.20) and (2.21).

Remark 2.5 Note that

K (x_{1}, x_{2}, x_{3}) = {(| x_{1} | + | x_{2} | + | x_{3} |)}^{- λ}

λ = 2 m

m \in N

, is a homogeneous function of degree −λ. In this case using Corollary 2.4 and the formula (see [8])

\int_{{(0, \infty)}^{n - 1}} \frac{\prod_{i = 1}^{n - 1} u_{i}^{r_{i} - 1}}{{(1 + \sum_{i = 1}^{n - 1} u_{i})}^{\sum_{i = 1}^{n} r_{i}}} d u_{1} \dots d u_{n - 1} = \frac{\prod_{i = 1}^{n} Γ (r_{i})}{Γ (\sum_{i = 1}^{n} r_{i})}, r_{i} > 0, i = 1, \dots, n,

we obtain the best possible constant

M = 4 / Γ (λ) \prod_{i = 1}^{3} Γ (λ / p_{i})

Remark 2.6 The kernel

K_{1} (x, y) = {min}_{i \in {1, 2}} {1 / (x^{2} + 2 x y cos α_{i} + y^{2})}

0 < α_{1} < α_{2} < π

, is homogeneous function of degree −2. By putting the kernel

K_{1} (x, y)

and the parameters

A_{1} = - λ / q

and

A_{2} = λ / p

in inequalities (2.11) and (2.12) we obtain the result of Xin et al. (see also [3]).

Acknowledgements

This research was supported under Research Grants 202339 and 058-1170889-1050.

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 https://creativecommons.org/licenses/by/4.0/.

Competing interests

The author declares that they have no competing interests.

Vorheriger Artikel Some Bonnesen-style Minkowski inequalities

Nächster Artikel On some properties of new paranormed sequence space defined by -convergent sequences

Springer Professional

On a multidimensional version of the Hilbert-type inequality in the whole plane

Abstract

Competing interests

1 Introduction

2 Main results

Acknowledgements

Competing interests

Premium Partner

Springer Professional

Abstract

Competing interests

1 Introduction

2 Main results

Acknowledgements

Competing interests

Weitere Artikel der Ausgabe 1/2014

New extension of p-metric spaces with some fixed-point results on M-metric spaces

On a more accurate multidimensional Mulholland-type inequality

On the -convex function and some integral inequalities

Algorithms with variant anchors for pseudocontractive mappings

On generalized sequence spaces via modulus function

New refinements of generalized Aczél inequality

Premium Partner