A unified approach to fractal Hilbert-type inequalities

Abstract

In the present study we provide a unified treatment of fractal Hilbert-type inequalities. Our main result is a pair of equivalent fractal Hilbert-type inequalities including a general kernel and weight functions. A particular emphasis is devoted to a class of homogeneous kernels. In addition, we impose appropriate conditions for which the constants appearing on the right-hand sides of the established inequalities are the best possible. As an application, our results are compared with some previously known ones from the literature.

1 Introduction

The celebrated Hilbert inequality (see [8]) in its integral form asserts that

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

(1)

where $f,g:(0,\infty )\rightarrow \mathbb{R}$ are non-negative integrable functions and p, q is a pair of non-negative conjugate exponents, i.e., $\frac{1}{p}+\frac{1}{q}=1$, $p>1$. In addition, the constant $\frac{\pi }{\sin \frac{\pi }{p}}$ is the best possible in the sense that it cannot be replaced by a smaller positive constant so that the inequality remains valid. Hardy et al. [8], noticed that one can assign to (1) its equivalent form

$$ \int _{0}^{\infty } \biggl[ \int _{0}^{\infty }\frac{f(x)}{x+y}\,dx \biggr] ^{p}\,dy \leq \biggl( \frac{\pi }{\sin \frac{\pi }{p}} \biggr)^{p} \int _{0}^{\infty }f^{p}(x) \,dx, $$

(2)

in the sense that (1) implies (2) and vice versa. During decades, Hilbert-type inequalities (1) and (2) have been extensively studied by numerous authors. A rich variety of extensions included inequalities with more general kernels, weight functions, and integration domains, as well as refinements of initial Hilbert-type inequalities (1) and (2). It is important to point out that these inequalities are still of interest to numerous authors. For an initial development of the Hilbert-type inequalities, the reader is referred to [8], while some recent results are collected in monographs [3] and [10].

Nowadays, an interesting topic in connection to classical inequalities is their extension on certain fractal spaces via the local fractional calculus. The local fractional calculus is primarily utilized to handle various non-differentiable problems that appear in complex systems of the real-world phenomena. In particular, the non-differentiability occurring in science and engineering has been modeled by the local fractional ordinary or partial differential equations.

On the other hand, local fractional calculus is also an important tool in pure mathematics. Recently, by virtue of the local fractional calculus, a whole series of classical real inequalities have been extended to hold on certain fractal spaces. For the reader’s convenience, denote by ${}_{a}I_{b}^{\alpha }f(x)$ and ${}_{a}I_{b}^{ \alpha }[{}_{a}I_{b}^{\alpha }h(x,y)]$ local fractional integrals

$$ {}_{a}I_{b}^{\alpha }f(x)= \frac{1}{\varGamma (1+\alpha )} \int _{a}^{b}f(x) (dx)^{ \alpha } $$

and

$$ {}_{a}I_{b}^{\alpha }\bigl[{}_{a}I_{b}^{\alpha }h(x,y) \bigr]=\frac{1}{\varGamma ^{2}(1+ \alpha )} \int _{a}^{b} \int _{a}^{b}h(x,y) (dx)^{\alpha }(dy)^{\alpha }, $$

where $0<\alpha \leq 1$ and where Γ stands for a usual gamma function defined by $\varGamma (a)=\int _{0}^{\infty }t^{a-1}e^{-t}\,dt$, $a>0$. Further, let $C_{\alpha }(a,b)$ stand for a set of local fractional continuous functions on the interval $(a,b)$.

Recently, Liu and Sun [13] established a pair of equivalent fractal Hilbert-type inequalities expressed in terms of the above fractional integrals. Namely, they showed that if $\frac{1}{p}+ \frac{1}{q}=1$, $p>1$, $0<\alpha \leq 1$, and if $f,g\in C_{\alpha }(a,b)$ are non-negative functions, then the following inequalities hold:

$$\begin{aligned} &{}_{0}I_{\infty }^{\alpha } \biggl[{}_{0}I_{\infty }^{\alpha } \frac{f(x)g(y)}{ \max \{x^{\alpha },y^{\alpha }\}} \biggr] \\ &\quad \leq \eta (\alpha ) \bigl[{}_{0}I_{\infty }^{\alpha } \bigl(x^{\frac{ \alpha }{2}(p-2)}f^{p}(x) \bigr) \bigr]^{\frac{1}{p}} \bigl[{}_{0}I _{\infty }^{\alpha } \bigl(y^{\frac{\alpha }{2}(q-2)}g^{q}(y) \bigr) \bigr] ^{\frac{1}{q}} \end{aligned}$$

(3)

and

$$ {}_{0}I_{\infty }^{\alpha } \biggl[ y^{\frac{\alpha (2-q)}{2(q-1)}} \biggl[{}_{0}I_{\infty }^{\alpha } \frac{f(x)}{\max \{x^{\alpha },y^{ \alpha }\}} \biggr]^{p} \biggr] < \eta ^{p}(\alpha )_{0}I_{\infty } ^{\alpha } \bigl(x^{\frac{\alpha }{2}(p-2)}f^{p}(x) \bigr), $$

(4)

where $\eta (\alpha )=\frac{2^{\alpha +1}}{\varGamma (1+\alpha )}$ and provided that the integrals on the right-hand sides of (3) and (4) are convergent. In addition, it has been also shown that the constants $\eta (\alpha )$ and $\eta ^{p}(\alpha )$ are the best possible.

For some related extensions of classical inequalities to fractal spaces the reader is referred to recent papers [4,5,6, 9, 11,12,13, 16, 17]. In addition, for some recent results closely connected to this topic the reader is referred to [1, 2, 7, 15] and the references therein.

The main objective of the present paper is a unified treatment of fractal Hilbert-type inequalities. In other words, we will establish a pair of fractal Hilbert-type inequalities with a general kernel and general weight functions that cover the above presented Hilbert-type inequalities. The paper is divided into four sections as follows: After this introductory part, in Sect. 2 we give a brief overview of basic definitions and properties of the local fractional calculus that will be the main tools in establishing our results. In Sect. 3, we derive our main result, i.e., a pair of equivalent fractal Hilbert-type inequalities with a general kernel and weight functions. A particular emphasis is devoted to a class of homogeneous kernels. In addition, we impose conditions for which the constants appearing on the right-hand sides of the corresponding Hilbert-type inequalities are the best possible. As an application, in Sect. 4 we discuss some particular choices of homogeneous kernels and power weight functions. In such a way, we show that the fractal Hilbert-type inequalities presented in this introduction are consequences of our general results.

2 Preliminaries on local fractional calculus

For the reader’s convenience, in this section we give a brief overview of the local fractional calculus. More precisely, we give basic definitions and properties of the local fractional derivative and integral developed in [19] (see also [18]).

Let $\mathbb{R}^{\alpha }$, $0<\alpha \leq 1$, be an α-type fractal set of real line numbers. For $a^{\alpha }, b^{\alpha } \in \mathbb{R}^{\alpha }$, we define addition and multiplication by

$$ a^{\alpha }+b^{\alpha }:=(a+b)^{\alpha }, \qquad a^{\alpha } \cdot b ^{\alpha }=a^{\alpha }b^{\alpha }:=(ab)^{\alpha }. $$

With these two binary operations, $\mathbb{R}^{\alpha }$ becomes a field with an additive identity $0^{\alpha }$ and a multiplicative identity $1^{\alpha }$.

The starting point in introducing the local fractional calculus on $\mathbb{R}^{\alpha }$ is the concept of the local fractional continuity. A non-differentiable function $f:\mathbb{R}\to \mathbb{R} ^{\alpha }$ is said to be local fractional continuous at $x_{0}$ if, for any $\varepsilon >0$, there exists $\delta >0$ such that $|x-x_{0}|< \delta$ implies that

$$ \bigl\vert f(x)-f(x_{0}) \bigr\vert < \varepsilon ^{\alpha }. $$

The set of local fractional continuous functions on interval I is denoted by $C_{\alpha }(I)$.

The local fractional derivative of f of order α at $x=x_{0}$ is defined by

$$ f^{(\alpha )}(x_{0})=\frac{d^{\alpha }f(x)}{dx^{\alpha }}\bigg| _{x=x_{0}}= \lim_{x\to x_{0}}\frac{\varGamma (1+\alpha )(f(x)-f(x_{0}))}{(x-x _{0})^{\alpha }}, $$

where Γ stands for a usual gamma function. Now, let $f^{(\alpha )}(x)=D_{x}^{\alpha }f(x)$. If there exists $f^{(k+1) \alpha }(x)=\overbrace{D_{x}^{\alpha }\cdots D_{x}^{\alpha }}^{k+1}f(x)$ for every $x\in I$, then we denote $f\in D_{(k+1)\alpha }(I)$, where $k=0,1,2,\ldots$ .

The local fractional integral is defined for a class of local fractional continuous functions. Let $f\in C_{\alpha }[a,b]$ and let $P=\{t_{0},t _{1}, \ldots , t_{N}\}$, $N\in \mathbb{N}$, be a partition of interval $[a,b]$ such that $a=t_{0}< t_{1}<\cdots <t_{N-1}<t_{N}=b$. Further, for this partition P, let $\Delta t_{j}=t_{j+1}-t_{j}$, $j=0,\ldots ,N-1$, and $\Delta t=\max \{\Delta t_{1},\Delta t_{2},\ldots , \Delta t_{N-1} \}$. Then the local fractional integral of f on the interval $[a,b]$ of order α (denoted by ${}_{a}I_{b}^{\alpha }f(x)$) is defined by

$$ {}_{a}I_{b}^{\alpha }f(x)=\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b}f(t) (dt)^{ \alpha }= \frac{1}{\varGamma (1+\alpha )}\lim_{\Delta t\to 0}\sum_{j=0} ^{N-1}f(t_{j}) (\Delta t_{j})^{\alpha }. $$

The above definition implies that ${}_{a}I_{b}^{\alpha }f(x)=0$ if $a=b$ and ${}_{a}I_{b}^{\alpha }f(x)=-{_{b}I_{a}^{\alpha }}f(x)$ if $a< b$.

Similar to the Riemann integral, we have the following analogue of the Newton–Leibnitz formula on the fractal space. Namely, if $f=g^{( \alpha )}\in C_{\alpha }[a,b]$, then

$$ {}_{a}I_{b}^{\alpha }f(x)=g(b)-g(a). $$

In particular, if $f(x)=x^{k\alpha }$, $k\in \mathbb{R}$, then

$$ \frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} x^{k\alpha }(dx)^{\alpha }= \frac{ \varGamma (1+k\alpha )}{\varGamma (1+(k+1)\alpha )}\bigl(b^{(k+1)\alpha }-a^{(k+1) \alpha }\bigr). $$

(5)

In order to conclude our discussion regarding fractional integrals, we give a variant of the change of variables theorem in the present setting. Namely, if $g\in D_{\alpha }[a,b ]$ and $(f\circ g)\in C_{ \alpha }[g(a),g(b)]$, then the following relation holds:

$$ {}_{a}I_{b}^{\alpha }(f\circ g) (s) \bigl[g'(s)\bigr]^{\alpha }={{}_{g(a)}I_{g(b)} ^{\alpha }}f(x). $$

(6)

It should be noticed here that if $\alpha =1$, then the local fractional calculus reduces to the classical real calculus. For more details about the above presented concept of fractional differentiability and integrability, the reader is referred to [19] and the references therein.

The crucial step in establishing Hilbert-type inequalities is the well-known Hölder inequality. A fractal version of the Hölder inequality asserts that if $\frac{1}{p}+\frac{1}{q}=1$, $p>1$, then the inequality

$$\begin{aligned} \frac{1}{\varGamma (1+\alpha )} \int _{a}^{b}f(x)g(x) (dx)^{\alpha } \leq & \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} f^{p}(x) (dx)^{\alpha } \biggr]^{\frac{1}{p}} \\ &{}\times \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} g^{q}(x) (dx)^{ \alpha } \biggr]^{\frac{1}{q}} \end{aligned}$$

holds for all $f,g\in C_{\alpha }(a,b)$. However, we will utilize a two-variable version of the fractal Hölder inequality which claims that

$$\begin{aligned}& \frac{1}{\varGamma ^{2}(1+\alpha )} \iint _{S^{(\beta )}}h(x,y)F(x,y)G(x, y) (dx)^{\alpha }(dy)^{\alpha } \\& \quad \leq \biggl[\frac{1}{\varGamma ^{2}(1+\alpha )} \iint _{S^{(\beta )}}h(x,y)F^{p}(x,y) (dx)^{\alpha }(dy)^{\alpha } \biggr] ^{\frac{1}{p}} \\& \qquad {} \times \biggl[\frac{1}{\varGamma ^{2}(1+\alpha )} \iint _{S^{(\beta )}}h(x,y)G ^{q}(x, y) (dx)^{\alpha }(dy)^{\alpha } \biggr]^{\frac{1}{q}} \end{aligned}$$

(7)

holds for all $F,G,h\in C_{\alpha }(S^{(\beta )})$, where $S^{(\beta )}$ is a fractal surface. For the proofs of the above inequalities, the reader is also referred to [19].

Finally, to conclude this section we give a definition of a fractal beta function. Recall that the usual beta function is defined by $B(a,b)=\int _{0}^{1} t^{a-1}(1-t)^{b-1}\,dt$, $a,b>0$. On the other hand, the fractal beta function (see [9]) is defined by

$$ B_{\alpha }(a,b)=\frac{1}{\varGamma (1+\alpha )} \int _{0}^{1} t^{\alpha (a-1)}(1-t)^{ \alpha (b-1)}(dt)^{\alpha }. $$

Utilizing the substitution $t=1/(x+1)$, the above formula can be rewritten as

$$ B_{\alpha }(a,b)=\frac{1}{\varGamma (1+\alpha )} \int _{0}^{\infty }\frac{x ^{\alpha (b-1)}}{(1^{\alpha }+x^{\alpha })^{a+b}}(dx)^{\alpha }, $$

(8)

which will be a more suitable form for our further investigation.

3 Main results

In this section, we develop a unified treatment of fractal Hilbert-type inequalities. In other words, we will establish a pair of general Hilbert-type inequalities that covers particular fractal inequalities presented in the introduction.

Our main result refers to a general kernel which is local fractional continuous on the fractal surface $(a,b)^{2}:=(a,b)\times (a,b)$.

Theorem 1

Let $\frac{1}{p}+\frac{1}{q}=1$, $p>1$, $0<\alpha \leq 1$, and let $K\in C_{\alpha }(a,b)^{2}$, $\varphi ,\psi \in C_{\alpha }(a,b)$ be non-negative functions. If the functions F and G are defined by

$$ F^{p} (x)= {}_{a}I_{b}^{\alpha } \bigl(K(x,y)\psi ^{-p}(y)\bigr), \qquad G^{q} (y)= {}_{a}I_{b}^{\alpha }\bigl(K(x,y)\phi ^{-q}(x)\bigr), $$

(9)

then, for all non-negative functions $f,g\in C_{\alpha }(a,b)$, the inequalities

$$ {}_{a}I_{b}^{\alpha } \bigl({}_{a}I_{b}^{\alpha }\bigl(K(x,y)f(x)g(y)\bigr) \bigr)\leq \bigl[ {}_{a}I_{b}^{\alpha }({\varphi }Ff)^{p} (x) \bigr]^{\frac{1}{p}} \bigl[{}_{a}I_{b}^{\alpha } \bigl( ({\psi }Gg)^{q} (y)\bigr) \bigr]^{\frac{1}{q}} $$

(10)

and

$$ {}_{a}I_{b}^{\alpha } \bigl( (G {\psi })^{-p}(y) \bigl[{}_{a}I_{b}^{ \alpha } \bigl(K(x,y)f(x)\bigr) \bigr]^{p} \bigr)\leq {{}_{a}I_{b}^{\alpha }} ( {\varphi }Ff)^{p} (x) $$

(11)

hold and are equivalent.

Proof

The left-hand side of inequality (10) can be rewritten as

$$\begin{aligned} &\frac{1}{\varGamma ^{2} (1+\alpha )} \int _{a}^{b} \int _{a}^{b} K(x,y)f(x)g(y) (dx)^{ \alpha }(dy)^{\alpha } \\ &\quad =\frac{1}{\varGamma ^{2} (1+\alpha )} \int _{a}^{b} \int _{a}^{b} K(x,y)f(x)\frac{ \varphi (x)}{\psi (y)}g(y) \frac{\psi (y)}{\varphi (x)}(dx)^{\alpha }(dy)^{ \alpha }, \end{aligned}$$

which is now suitable for the application of the Hölder inequality (7). Hence, we obtain

$$\begin{aligned} &\frac{1}{\varGamma ^{2} (1+\alpha )} \int _{a}^{b} \int _{a}^{b} K(x,y)f(x)g(y) (dx)^{ \alpha }(dy)^{\alpha } \\ &\quad \leq \biggl[\frac{1}{\varGamma ^{2} (1+\alpha )} \int _{a}^{b} \int _{a} ^{b} K(x,y)f^{p}(x) \frac{\varphi ^{p} (x)}{\psi ^{p} (y)}(dx)^{\alpha }(dy)^{ \alpha } \biggr]^{\frac{1}{p}} \\ &\qquad {}\times \biggl[\frac{1}{\varGamma ^{2} (1+\alpha )} \int _{a}^{b} \int _{a}^{b} K(x,y)g^{q}(y) \frac{\psi ^{q} (y)}{\varphi ^{q} (x)}(dx)^{ \alpha }(dy)^{\alpha } \biggr]^{\frac{1}{q}}. \end{aligned}$$

Now, by virtue of the Fubini theorem (see, e.g., [14]), we can switch the order of integration in the double integral, so by taking into account the definitions of functions F and G, we obtain (10), as claimed.

Our next step is to show the equivalence of inequalities (10) and (11). Therefore, suppose that inequality (10) holds and define the function g by

$$ g(y)= G^{-p}(y){\psi }^{-p}(y) \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} K(x,y)f(x) (dx)^{\alpha } \biggr]^{p-1}. $$

Now, since $\frac{1}{p}+\frac{1}{q}=1$, relation (10) implies the inequality

$$\begin{aligned}& \frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} G^{-p}(y){\psi }^{-p}(y) \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} K(x,y)f(x) (dx)^{ \alpha } \biggr]^{p} (dy)^{\alpha } \\& \quad = \frac{1}{\varGamma ^{2} (1+\alpha )} \int _{a}^{b} \int _{a}^{b} K(x,y)f(x)g(y) (dx)^{ \alpha }(dy)^{\alpha } \\& \quad \leq \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} ({\varphi }Ff)^{p} (x) (dx)^{\alpha } \biggr]^{\frac{1}{p}} \biggl[ \frac{1}{ \varGamma (1+\alpha )} \int _{a}^{b} ({\psi }Gg)^{q} (y) (dy)^{\alpha } \biggr] ^{\frac{1}{q}} \\& \quad = \biggl[ \frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} ({\varphi }Ff)^{p} (x) (dx)^{\alpha } \biggr]^{\frac{1}{p}} \\& \qquad {}\times \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} (G \psi )^{q-pq}(y) \biggl[ \frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} K(x,y)f(x) (dx)^{ \alpha } \biggr]^{q(p-1)} (dy)^{\alpha } \biggr]^{\frac{1}{q}}, \end{aligned}$$

which reduces to (11).

On the other hand, suppose that inequality (11) holds. Then yet another application of the Hölder inequality yields

$$\begin{aligned}& \frac{1}{\varGamma ^{2} (1+\alpha )} \int _{a}^{b} \int _{a}^{b} K(x,y)f(x)g(y) (dx)^{ \alpha }(dy)^{\alpha } \\& \quad = \frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} \biggl[{\psi }^{-1}(y)G ^{-1}(y) \int _{a}^{b} K(x,y)f(x) (dx)^{\alpha } \biggr] \psi (y)G(y)g(y) (dy)^{ \alpha } \\& \quad \leq \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} {\psi }^{-p}(y) G^{-p}(y) \biggl(\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} K(x,y)f(x) (dx)^{ \alpha } \biggr)^{p} (dy)^{\alpha } \biggr]^{\frac{1}{p}} \\& \qquad {} \times \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} (\psi Gg)^{q}(y) (dy)^{\alpha } \biggr]^{\frac{1}{q}} \\& \quad \leq \biggl[\frac{1}{\varGamma (1+\alpha )} \int _{a}^{b} ({\varphi }Ff)^{p} (x) (dx)^{\alpha } \biggr]^{\frac{1}{p}} \biggl[ \frac{1}{ \varGamma (1+\alpha )} \int _{a}^{b} ({\psi }Gg)^{q} (y) (dy)^{\alpha } \biggr] ^{\frac{1}{q}}, \end{aligned}$$

which provides (10). Consequently, inequalities (10) and (11) are equivalent. □

It is not hard to see that our Theorem 1 covers fractal Hilbert-type inequalities (3) and (4) presented in the introduction. This follows by choosing a suitable power functions φ, ψ appearing in relations (10) and (11). However, this will not be done at this moment. Namely, considering kernels $K_{1}(x,y)=1/\max \{x^{\alpha }, y^{\alpha }\}$ and appearing in (3) and (4), we see that they possess a common property, they are both homogeneous functions. Therefore, our next step is to derive consequence of Theorem 1 which refers to homogeneous kernels. The fractal Hilbert-type inequalities presented in the introduction will then follow as simple consequences of our next result.

Recall that the function $K\in C_{\alpha }(0,\infty )^{2}$ is said to be homogeneous of degree $-\alpha \lambda$, $\lambda >0$, if $K(tx,ty)=t^{-\alpha \lambda }K(x,y)$ for all $t>0$. In order to formulate and prove the corresponding result, we need the following definition. For a non-negative function $K\in C_{\alpha }(0,\infty )^{2}$, we define

$$ k_{\alpha }(\eta )= {}_{0}I_{\infty }^{\alpha } K(1,t)t^{-\alpha \eta }. $$

(12)

If nothing else is explicitly stated, we assume that the integral $k_{\alpha }(\eta )$ converges for considered values of η. Now, we are ready to establish a pair of fractal Hilbert-type inequalities that correspond to a class of homogeneous kernels.

Theorem 2

Let $\frac{1}{p}+\frac{1}{q}=1$, $p>1$, and let $f,g\in C_{\alpha }(0, \infty )$ be non-negative functions. If $K\in C_{\alpha }(0,\infty )^{2}$ is a non-negative homogeneous function of degree $-\alpha \lambda$, $\lambda >0$, then the following inequalities hold:

$$\begin{aligned}& {{}_{0}I_{\infty }^{\alpha }} \bigl( {{}_{0}I_{\infty }^{\alpha }} \bigl(K(x,y)f(x)g(y)\bigr)\bigr) \\& \quad \leq L \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( x^{\alpha -\alpha \lambda +\alpha p(A_{1}-A_{2})} f^{p} (x) \bigr) \bigr]^{ \frac{1}{p}} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( y^{\alpha - \alpha \lambda +\alpha q(A_{2}-A_{1})} g^{q}(y) \bigr) \bigr]^{ \frac{1}{q}} \end{aligned}$$

(13)

and

$$\begin{aligned}& {{}_{0}I_{\infty }^{\alpha }} \bigl[ y^{\alpha (p-1)(\lambda -1)+ \alpha p(A_{1}-A_{2})} \bigl({{}_{0}I_{\infty }^{\alpha }}\bigl(K(x,y)f(x)\bigr) \bigr) ^{p} \bigr] \\& \quad \leq L^{p} \bigl[ {{}_{0}I_{\infty }^{\alpha }} x^{\alpha -\alpha \lambda +\alpha p(A_{1}-A_{2})} f^{p} (x) \bigr], \end{aligned}$$

(14)

where $L=k_{\alpha }^{1/p}(pA_{2})k_{\alpha }^{1/q}(2-\lambda -qA_{1})$. In addition, relations (13) and (14) are equivalent.

Proof

We employ inequalities (10) and (11) with power functions $\varphi (x)=x^{\alpha A_{1}}$ and $\psi (y)=y^{\alpha A _{2}}$. Furthermore, making use of (9), it follows that

$$ F^{p} (x)=\frac{1}{\varGamma (1+\alpha )} \int _{0}^{\infty }K(x,y)y^{- \alpha pA_{2}}(dy)^{\alpha } $$

and

$$ G^{q} (x)=\frac{1}{\varGamma (1+\alpha )} \int _{0}^{\infty }K(x,y)x^{- \alpha qA_{1}}(dx)^{\alpha }. $$

In addition, since K is a homogeneous function of degree $-\alpha \lambda$, $\lambda >0$, a change of variables $t=y/x$ provides

$$\begin{aligned} F^{p} (x)&=x^{\alpha -\alpha \lambda -\alpha pA_{2}} \frac{1}{\varGamma (1+\alpha )} \int _{0}^{\infty }K \biggl(1,\frac{y}{x} \biggr) \biggl(\frac{y}{x} \biggr) ^{-\alpha pA_{2}}\frac{1}{x^{\alpha }} (dy)^{\alpha } \\ &= x^{\alpha -\alpha \lambda -\alpha pA_{2}} \frac{1}{\varGamma (1+ \alpha )} \int _{0}^{\infty }K(1,t)t^{-\alpha pA_{2}}(dt)^{\alpha } \\ &=x^{\alpha -\alpha \lambda -\alpha pA_{2}}k_{\alpha }(pA_{2}) \end{aligned}$$

(15)

due to (6). Following the lines as in the previous step, we also obtain

$$ G^{q} (y)=y^{\alpha -\alpha \lambda -\alpha qA_{1}} \frac{1}{\varGamma (1+ \alpha )} \int _{0}^{\infty }K (t,1 )t^{-\alpha qA_{1}}(dt)^{ \alpha }. $$

Now, yet another application of the change of variables rule (6) with $u=t^{-1}$, gives

$$\begin{aligned} G^{q} (y)&=-y^{\alpha -\alpha \lambda -\alpha qA_{1}}\frac{1}{\varGamma (1+\alpha )} \int _{0}^{\infty }K \biggl( 1,\frac{1}{t} \biggr) \biggl(\frac{1}{t} \biggr) ^{\alpha \lambda +\alpha qA_{1}-2\alpha } \bigl(-t^{-2\alpha }\bigr) (dt)^{ \alpha } \\ &=y^{\alpha -\alpha \lambda -\alpha qA_{1}}\frac{1}{\varGamma (1+\alpha )} \int _{0}^{\infty }K( 1,u) u^{\alpha \lambda +\alpha qA_{1}-2\alpha }(du)^{\alpha } \\ &= y^{\alpha -\alpha \lambda -\alpha qA_{1}}k_{\alpha }(2-\lambda -qA _{1}). \end{aligned}$$

(16)

Finally, inequalities (13) and (14) follow from relations (10), (11), (15), and (16). □

It should be noticed here that Theorem 2 holds for arbitrary parameters $A_{1}$ and $A_{2}$ such that the constant L and the integrals on the right-hand sides of (13) and (14) are convergent.

Generally speaking, we are not able to prove whether or not the constants L and $L^{p}$ appearing on the right-hand sides of (13) and (14) are the best possible. However, it turns out that these constants are the best possible for a wide set of parameters $A_{1}$, $A_{2}$ and a weak condition on the kernel K. In order to establish the corresponding result, we first need the following lemma.

Lemma 1

Let $\lambda >0$, and let $\frac{1}{p}+\frac{1}{q}=1$, $p>1$. If $K\in C_{\alpha }(0,\infty )^{2}$ is a non-negative function such that $K(1,t)$ is bounded on $(0,1)$, then the following relation holds:

$$ {{}_{1}I_{\infty }^{\alpha }} \bigl[ x^{-\alpha (1+\varepsilon )} {{{}_{0}I_{1/x}^{\alpha }}} \bigl(t^{-\alpha pA_{2}-\frac{\varepsilon \alpha }{q}}K(1,t) \bigr) \bigr]\leq O(1),\quad \varepsilon \rightarrow 0^{+}, $$

(17)

where $A_{2}\leq \frac{1}{2p}$.

Proof

From the hypotheses, we have $K(1,t)\leq C$ for some $C>0$ and every $t\in (0,1)$. Then it follows that

$$\begin{aligned} &{{}_{1}I_{\infty }^{\alpha }} \bigl[x^{-\alpha (1+\varepsilon )} {{{}_{0}I_{1/x}^{\alpha }}} \bigl(t^{-\alpha pA_{2}-\frac{\varepsilon \alpha }{q}}K(1,t) \bigr) \bigr] \\ &\quad \leq C {{}_{1}I_{\infty }^{\alpha }} \bigl[x^{-\alpha } {{{}_{0}I _{1/x}^{\alpha }} } \bigl(t^{-\frac{\alpha }{2}-\frac{\varepsilon \alpha }{q}} \bigr) \bigr]. \end{aligned}$$

(18)

Furthermore, utilizing the change of variables rule (6) with $g(t)=t^{\frac{1}{2}-\frac{\varepsilon }{q}}$, $[g'(t)]^{\alpha }= (\frac{1}{2}-\frac{\varepsilon }{q} )^{\alpha }t^{-\frac{ \alpha }{2}-\frac{\varepsilon \alpha }{q}}$, we obtain

$$\begin{aligned} &{{}_{1}I_{\infty }^{\alpha }} \bigl[x^{-\alpha } \bigl({{{}_{0}I_{1/x} ^{\alpha }}} \bigl(t^{-\frac{\alpha }{2}- \frac{\varepsilon \alpha }{q}} \bigr) \bigr) \bigr] \\ &\quad =\frac{1}{\varGamma ^{2} (1+\alpha )} \int _{1}^{\infty }x^{-\alpha } \biggl( \int _{0}^{1/x}t^{-\frac{\alpha }{2}- \frac{\varepsilon \alpha }{q}} (dt)^{\alpha } \biggr) (dx)^{\alpha } \\ &\quad =\frac{1}{\varGamma ^{2} (1+\alpha )} \int _{1}^{\infty }x^{-\alpha } \biggl( \frac{1}{ (\frac{1}{2}-\frac{\varepsilon }{q} ) ^{\alpha }} \int _{0}^{x^{-\frac{1}{2}+\frac{\varepsilon }{q}}}(du)^{ \alpha } \biggr) (dx)^{\alpha } \\ &\quad =\frac{1}{\varGamma ^{2} (1+\alpha ) (\frac{1}{2}-\frac{\varepsilon }{q} )^{\alpha }} \int _{1}^{\infty }x^{-\frac{3\alpha }{2}+\frac{ \varepsilon \alpha }{q}}(dx)^{\alpha }. \end{aligned}$$

Now, if $g(x)=x^{-\frac{1}{2}+\frac{\varepsilon }{q}}$, then $[g'(x)]^{\alpha }=- (\frac{1}{2}-\frac{\varepsilon }{q} ) ^{-\alpha } x^{-\frac{3\alpha }{2}+\frac{\varepsilon \alpha }{q}}$, so by (6), we have

$$ {{}_{1}I_{\infty }^{\alpha }} \bigl[x^{-\alpha } {{{}_{0}I_{1/x}^{\alpha }} } \bigl(t^{-\frac{\alpha }{2}-\frac{\varepsilon \alpha }{q}} \bigr) \bigr] =\frac{1}{ \varGamma ^{2} (1+\alpha ) (\frac{1}{2}-\frac{\varepsilon }{q} ) ^{2\alpha }}. $$

(19)

Finally, combining (18) and (19), we obtain (17), as claimed. □

Our next intention is to impose the condition on parameters $A_{1}$ and $A_{2}$ for which the constants appearing on the right-hand sides of inequalities (13) and (14) are the best possible. It should be noticed here that if

$$ pA_{2}+qA_{1}=2-\lambda , $$

(20)

then the constant L from Theorem 2 reduces to the form without exponents, i.e.,

$$ L^{*}=k_{\alpha }(pA_{2}). $$

(21)

We will show that if the parameters $A_{1}$ and $A_{2}$ are related by (20), then the constants appearing on the right-hand sides of (13) and (14) are the best possible. In fact, if (20) holds, inequalities (13) and (14) reduce to

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \bigl( {{}_{0}I_{\infty }^{\alpha }} \bigl(K(x,y)f(x)g(y)\bigr)\bigr) \\ &\quad \leq L^{*} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( x^{\alpha pqA _{1}-\alpha } f^{p} (x) \bigr) \bigr]^{\frac{1}{p}} \bigl[ {{}_{0}I _{\infty }^{\alpha }} \bigl( y^{\alpha pqA_{2}-\alpha } g^{q}(y) \bigr) \bigr]^{\frac{1}{q}} \end{aligned}$$

(22)

and

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \bigl[ y^{\alpha p(\lambda -1)+\alpha pqA_{1}} \bigl({{}_{0}I_{\infty }^{\alpha }} \bigl(K(x,y)f(x)\bigr) \bigr)^{p} \bigr] \\ &\quad \leq \bigl(L^{*}\bigr)^{p} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl(x^{\alpha pqA _{1}-\alpha } f^{p} (x)\bigr) \bigr], \end{aligned}$$

(23)

where $L^{*}$ is defined by (21).

Theorem 3

Suppose that $\frac{1}{p}+\frac{1}{q}=1$, $p>1$, and let $f,g\in C _{\alpha }(0,\infty )$ be non-negative functions. Further, let $K\in C_{\alpha }(0,\infty )^{2}$ be a non-negative homogeneous function of degree $-\alpha \lambda$, $\lambda >0$, such that $K(1,t)$ is bounded on $(0,1)$. If the parameters $A_{1}$ and $A_{2}$ satisfy relation $pA_{2}+qA_{1}=2-\lambda$, then the constants $L^{*}$ and $(L^{*})^{p}$ appearing on the right-hand sides of (22) and (23) are the best possible.

Proof

Let $f(x)=x^{-\alpha qA_{1}-\frac{\varepsilon \alpha }{p}} \chi _{[1,\infty )}(x)$ and $g(y)=y^{-\alpha pA_{2}-\frac{\varepsilon \alpha }{q}}\chi _{[1,\infty )}(y)$, where $\chi _{A}$ stands for a characteristic function of a set A. Now, let us suppose that there exists a smaller constant $0< M< L^{\ast }$ such that inequality (22) holds. Denote by J the right-hand side of inequality (22). Then, with the above defined functions f and g, we have

$$\begin{aligned} J&=M \biggl(\frac{1}{\varGamma (1+\alpha )} \int _{1}^{\infty }x^{-\alpha \varepsilon -\alpha }(dx)^{\alpha } \biggr)^{\frac{1}{p}} \biggl(\frac{1}{ \varGamma (1+\alpha )} \int _{1}^{\infty }y^{-\alpha \varepsilon -\alpha }(dy)^{ \alpha } \biggr)^{\frac{1}{q}} \\ &=\frac{M}{\varepsilon ^{\alpha }\varGamma (1+\alpha )}. \end{aligned}$$

(24)

Further, utilizing substitution $t=\frac{y}{x}$ and taking into account Lemma 1, we obtain the following estimate:

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \bigl( {{}_{0}I_{\infty }^{\alpha }} \bigl(K(x,y)f(x)g(y)\bigr)\bigr) \\ &\quad = {{}_{1}I_{\infty }^{\alpha }} \bigl[ x^{-\alpha qA_{1}-\frac{ \alpha \varepsilon }{p}} {}_{1}I_{\infty }^{\alpha } \bigl(y^{-\alpha pA_{2}-\frac{\alpha \varepsilon }{q}}K(x,y)\bigr) \bigr] \\ &\quad = {{}_{1}I_{\infty }^{\alpha }} \bigl[ x^{-\alpha (1+\varepsilon )} \bigl( {{}_{0}I_{\infty }^{\alpha }} \bigl(t^{-\alpha pA_{2}-\frac{\alpha \varepsilon }{q}}K(1,t)\bigr) - {} _{0}I_{1/x}^{\alpha } \bigl(t^{-\alpha pA_{2}-\frac{\alpha \varepsilon }{q}}K(1,t)\bigr) \bigr) \bigr] \\ &\quad \geq \frac{1}{\varepsilon ^{\alpha }\varGamma (1+\alpha )} \biggl( k _{\alpha } \biggl(pA_{2}+ \frac{\varepsilon }{q} \biggr)+o(1) \biggr). \end{aligned}$$

(25)

Moreover, from (22), (24), and (25), we get

$$ k_{\alpha } \biggl(pA_{2}+\frac{\varepsilon }{q} \biggr)+o(1)\leq M. $$

(26)

Now, by letting $\varepsilon \rightarrow 0^{+}$, it follows that relation (26) contradicts with our assumption $M< L^{*}=k_{ \alpha }(pA_{2})$.

Finally, equivalence of inequalities (22) and (23) means that the constant $(L^{\ast })^{p} = [k_{\alpha }(pA_{2}) ] ^{p}$ is also the best possible in (23). The proof is now completed. □

4 Applications

In this section, we apply our Theorems 2 and 3 to some particular settings. More precisely, we will consider derived fractal Hilbert-type inequalities for some particular choices of homogeneous kernels and parameters $A_{1}$ and $A_{2}$ related by (20).

Our first example refers to the kernel $K_{1}(x,y)=1/\max \{x^{\alpha \lambda }, y^{\alpha \lambda }\}$, $\lambda >0$, and the parameters $A_{1}=\frac{2-\lambda }{2q}$, $A_{2}=\frac{2-\lambda }{2p}$. Obviously, $K_{1}$ is a homogeneous function of degree $-\alpha \lambda$ and $K_{1}(1,t)$ is bounded on $(0,1)$. Moreover, the parameters $A_{1}$ and $A_{2}$ satisfy condition (20), so the hypotheses of Theorem 3 are satisfied. In addition, the constant in inequality (22), denoted here by $L_{1}^{*}$, reduces to

$$ L_{1}^{*}=k_{\alpha } \biggl(1-\frac{\lambda }{2} \biggr)=\frac{2^{ \alpha +1}}{\lambda ^{\alpha }\varGamma (1+\alpha )}. $$

This follows by virtue of (5), after a straightforward calculation. The corresponding result covers fractal Hilbert-type inequalities presented in the introduction.

Corollary 1

Let $\frac{1}{p}+\frac{1}{q}=1$, $p>1$, $\lambda >0$, and let $f,g\in C_{\alpha }(0,\infty )$ be non-negative functions. Then the inequalities

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \biggl( {{}_{0}I_{\infty }^{\alpha }} \biggl(\frac{f(x)g(y)}{\max \{x^{\alpha \lambda }, y^{\alpha \lambda }\}} \biggr) \biggr) \\ &\quad \leq \frac{2^{\alpha +1}}{\lambda ^{\alpha }\varGamma (1+\alpha )} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( x^{\alpha (p-1)-\frac{ \alpha \lambda p}{2}} f^{p} (x) \bigr) \bigr]^{\frac{1}{p}} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( y^{\alpha (q-1)-\frac{\alpha \lambda q}{2}} g^{q}(y) \bigr) \bigr]^{\frac{1}{q}} \end{aligned}$$

(27)

and

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \biggl( y^{\frac{\alpha p\lambda }{2}} \biggl[{{}_{0}I_{\infty }^{\alpha }} \biggl(\frac{f(x)}{\max \{x^{ \alpha \lambda }, y^{\alpha \lambda }\}} \biggr) \biggr]^{p} \biggr) \\ &\quad \leq \biggl(\frac{2^{\alpha +1}}{\lambda ^{\alpha }\varGamma (1+\alpha )} \biggr)^{p} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( x^{\alpha (p-1)-\frac{ \alpha \lambda p}{2}} f^{p} (x) \bigr) \bigr] \end{aligned}$$

(28)

hold and the constants appearing on their right-hand sides are the best possible.

Remark 1

It should be noticed here that our Corollary 1 is an extension of fractal Hilbert-type inequalities discussed in the introduction. More precisely, by substituting $\lambda =1$ in inequalities (27) and (28), we obtain relations (3) and (4).

Our next example deals with a homogeneous kernel $K_{2}(x,y)=1/(x^{ \alpha }+y^{\alpha })^{\lambda }$, $\lambda >0$, and the parameters $A_{1}=\frac{2-\lambda }{2q}$, $A_{2}=\frac{2-\lambda }{2p}$. Clearly, $K_{2}$ is a homogeneous function of degree $-\alpha \lambda$ and $K_{2}(1,t)$ is bounded on $(0,1)$. Now, if the parameters $A_{1}$ and $A_{2}$ are related by (20), then the constant in inequality (22), denoted here by $L_{2}^{*}$, can be expressed in terms of the fractal beta function $B_{\alpha }$. More precisely, utilizing the integral representation (8), it follows that

$$ L_{2}^{*}=B_{\alpha } \biggl(\frac{\lambda }{2}, \frac{\lambda }{2} \biggr), $$

so we have the following consequence.

Corollary 2

Let $\frac{1}{p}+\frac{1}{q}=1$, $p>1$, and let $f,g\in C_{\alpha }(0, \infty )$ be non-negative functions. Then the inequalities

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \biggl( {{}_{0}I_{\infty }^{\alpha }} \biggl(\frac{f(x)g(y)}{(x^{\alpha }+y^{\alpha })^{\lambda }} \biggr) \biggr) \\ &\quad \leq B_{\alpha } \biggl(\frac{\lambda }{2},\frac{\lambda }{2} \biggr) \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( x^{\alpha (p-1)-\frac{ \alpha \lambda p}{2}} f^{p} (x) \bigr) \bigr]^{\frac{1}{p}} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( y^{\alpha (q-1)-\frac{\alpha \lambda q}{2}} g^{q}(y) \bigr) \bigr]^{\frac{1}{q}} \end{aligned}$$

(29)

and

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \biggl( y^{\frac{\alpha p\lambda }{2}} \biggl[{{}_{0}I_{\infty }^{\alpha }} \biggl(\frac{f(x)}{(x^{\alpha }+y ^{\alpha })^{\lambda }} \biggr) \biggr]^{p} \biggr) \\ &\quad \leq \biggl(B_{\alpha } \biggl(\frac{\lambda }{2}, \frac{\lambda }{2} \biggr) \biggr)^{p} \bigl[ {{}_{0}I_{\infty }^{ \alpha }} \bigl( x^{\alpha (p-1)-\frac{\alpha \lambda p}{2}} f^{p} (x) \bigr) \bigr] \end{aligned}$$

(30)

hold and the constants appearing on their right-hand sides are the best possible.

At the end of the paper, we discuss the case of the kernel $K_{3}(x,y)=1/(x ^{\alpha }+y^{\alpha })$. In this setting, the constant in inequality (22), denoted here by $L_{3}^{*}$, becomes

$$ L_{3}^{*}=B_{\alpha } (pA_{2},1-pA_{2} ), $$

provided that $pA_{2}+qA_{1}=1$. The resulting pair of relations is given in the following result.

Corollary 3

Let $\frac{1}{p}+\frac{1}{q}=1$, $p>1$, and let $f,g\in C_{\alpha }(0, \infty )$ be non-negative functions. If $A_{1}$ and $A_{2}$ are real parameters such that $pA_{2}+qA_{1}=2\alpha -1$, then the inequalities

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \biggl( {{}_{0}I_{\infty }^{\alpha }} \biggl(\frac{f(x)g(y)}{x^{\alpha }+y^{\alpha }} \biggr) \biggr) \\ &\quad \leq B_{\alpha } (pA_{2},1-pA_{2} ) \bigl[ {{}_{0}I_{ \infty }^{\alpha }} \bigl( x^{\alpha pqA_{1}-\alpha } f^{p} (x) \bigr) \bigr] ^{\frac{1}{p}} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( y^{\alpha pqA _{2}-\alpha } g^{q}(y) \bigr) \bigr]^{\frac{1}{q}} \end{aligned}$$

(31)

and

$$\begin{aligned} &{{}_{0}I_{\infty }^{\alpha }} \biggl( y^{\alpha pqA_{1}-\alpha } \biggl[{{}_{0}I _{\infty }^{\alpha }} \biggl( \frac{f(x)}{x^{\alpha }+y^{\alpha }} \biggr) \biggr]^{p} \biggr) \\ &\quad \leq \bigl(B_{\alpha } (pA_{2},1-pA_{2} ) \bigr)^{p} \bigl[ {{}_{0}I_{\infty }^{\alpha }} \bigl( x^{\alpha pqA_{1}-\alpha } f^{p} (x) \bigr) \bigr] \end{aligned}$$

(32)

hold and the constants appearing on their right-hand sides are the best possible.

Remark 2

In particular, if $A_{1}=A_{2}=\frac{1}{pq}$, then the constant $L_{2}^{*}$ from Corollary 2 reduces to the form $L_{2}^{*}=B _{\alpha } (\frac{1}{q}, \frac{1}{p} )$. In this case, the weight functions $x\rightarrow x^{\alpha pqA_{1}-\alpha }$ and $y\rightarrow y^{\alpha pqA_{2}-\alpha }$ in inequalities (29) and (30) disappear. The resulting pair of non-weighted inequalities is an immediate fractal extension of the initial Hilbert-type inequalities (1) and (2). It should be noticed here that if $\alpha =1$, then $B_{\alpha } ( \frac{1}{q}, \frac{1}{p} )=B (\frac{1}{q}, \frac{1}{p} )=\frac{ \pi }{\sin \frac{\pi }{p}}$.

5 Conclusion

In the present study, we have established a unified treatment of fractal Hilbert-type inequalities. First, we have derived a pair of equivalent Hilbert-type inequalities with a general kernel and weight functions. A particular emphasis has been devoted to a class of homogeneous kernels. In addition, we have established conditions under which the constants appearing in the corresponding inequalities are the best possible. As an application, our results have been compared with some previously known ones from the literature.