Abstract
By using thefractal theory and the methods of weight function, a Hilbert-type fractal integral inequality and its equivalent form are given. Their constant factors are proved being the best possible, and their applications are discussed briefly.
Similar content being viewed by others
1 Introduction
If \(f, g \geq0\), satisfying \(0 < \int_{0}^{\infty} f^{2} ( x ) \,dx <\infty\), \(0 < \int_{0}^{\infty} g^{2} ( y ) \,dy <\infty\), then there is the following basic Hilbert-type integral inequality and its equivalent form [1]
where the constants are optimal. Inequalities (1) and (2) are important in the analysis and partial differential equations [1, 2]. In 2004 and 2006, respectively, (1) and (2) were generalized and improved by introducing an independent parameter λ and two parameters \(\lambda_{1}\), \(\lambda_{2}\) [3, 4].
In recent years, the fractal theory has been developed rapidly, and it has been widely used in the fields of science and engineering. Some researchers have used the fractal theory to discuss and generalize some classical inequalities on fractal sets [5, 6], but the research into the Hilbert-type integral inequality on the fractal set is still not involved. In this paper, by using the fractal theory and the method of weight function to make a meaningful attempt, a Hilbert-type integral inequality and its equivalent form on a fractal set are established.
2 Preliminaries
Definition 2.1
[7]
A non-differentiable function \(f: \mathbb{R} \rightarrow \mathbb{R}^{\alpha}\) (\(0 <\alpha \leq1\)), \(x \rightarrow f ({x})\) is called local fractional continuous at \(x_{0}\) if for any \(\varepsilon > 0\), there exists \(\delta >0\) such that \(\vert f ( x ) -f( x_{0} ) \vert < \varepsilon^{\alpha}\) whenever \(\vert x- x_{0} \vert < \delta\). If \(f ({x})\) is local fractional continuous on the interval \(( a, b )\), we denote \(f ({x})\in C_{\alpha} (a,b)\).
Definition 2.2
[7]
The local fractional derivative of \(f ({x})\) of order α (\(0 <\alpha\leq1\)) at \(x_{0}\) is defined by
where \(\varGamma ({z} ) = \int_{0}^{\infty} e^{-u} u^{z-1} \, du\) (\(z>0\)) [8]. If for all \(x \in I \subseteq \mathbb{R}\), there exists \(f^{ ( k+1 ) \alpha} ( x ) = \mathop{\overbrace{D_{x}^{\alpha} \cdots D_{x}^{\alpha}}}\limits^{k+1} f(x)\), then we denote \(f \in D_{ ( k+1 ) \alpha} (I)\), where \(k=0,1,2,\ldots\) .
Lemma 2.1
[9]
Suppose that \(f ({x})\in C_{\alpha} (a,b)\) and \(f ({x})\in D_{\alpha} (a,b)\). Then, for \(0 <\alpha \leq1\), we have an α-differential form
Lemma 2.2
[5]
Let I be an interval, \(f,g:I \subseteq \mathbb{R}\rightarrow \mathbb{R}^{\alpha}\) (\(I^{0}\) is the interior of I) such that \(f,g\in D_{\alpha} ( I^{0} )\). Then the following differentiation rules are valid:
-
(i)
\(\frac{d^{\alpha} (f ( x ) \pm g ( x ) )}{d x^{\alpha}} = f^{ ( \alpha )} (x)\pm g^{ ( \alpha )} (x)\);
-
(ii)
\(\frac{d^{\alpha} (f ( x ) g ( x ) )}{ d x^{\alpha}} = f^{ ( \alpha )} ( x ) g ( x ) +f(x) g^{ ( \alpha )} (x)\);
-
(iii)
\(\frac{d^{\alpha} \frac{f(x)}{g(x)}}{d x^{\alpha}} = \frac{f^{ ( \alpha )} ( x ) g(x)- f(x)g^{ ( \alpha )} (x)}{g^{2} (x)}\) (\(g(x)\neq0\));
-
(iv)
\(\frac{d^{\alpha} (Cf ( x ) )}{d x^{\alpha}} =C f^{ ( \alpha )} (x)\), where C is a constant;
-
(v)
If y(x)=(f∘g)(x), then \(\frac{d^{\alpha} y ( x )}{d x^{\alpha}} = f^{ ( \alpha )} (g ( x ) )( g^{ ( 1 )} (x) )^{\alpha}\).
Definition 2.3
[7]
Let \(f ({x})\in C_{\alpha} (a,b)\). Then the local fractional integral is defined by
with \(\Delta t_{i} = t_{i} - t_{i-1}\) (\(i=1,\ldots,N\)) and \(\lambda= \max_{1\leq i\leq N} \{\Delta t_{i} \}\), and \(a = t_{0} < t_{1} <\cdots< t_{N} =b\) is partition of interval \([ a,b ]\). Here, it follows that \({}_{a} I_{b}^{\alpha} =0\) if \(a = b\), \({}_{a} I_{b}^{\alpha} f ( x ) =- {}_{b} I_{a}^{\alpha} f ( x )\) if \(a < b\).
Lemma 2.3
[7]
-
(1)
Suppose that \(f ( x ) = g^{(\alpha)} ( x )\in C_{\alpha} (a,b)\), then we have
$${}_{a} I_{b}^{\alpha} f ( x ) = g ( b ) - g( a ); $$ -
(2)
Suppose that \(f(x),g(x) \in D_{\alpha} (a,b)\), and \(f^{ ( \alpha )} ( x ), g^{ ( \alpha )} ( x ) \in C_{\alpha} ( a,b )\), then we have
$${}_{a} I_{b}^{\alpha} f ( x ) g^{ ( \alpha )} ( x ) =f ( x ) g ( x ) |_{a}^{b} - {}_{a} I_{b}^{\alpha} f^{ ( \alpha )} ( x ) g ( x ). $$
Lemma 2.4
[7]
For \(f ( x ) = x^{\gamma}\) (\(\gamma>0\)), we have the following equations:
Lemma 2.5
If \(f,g\ ( \geq0 ) \in C_{\alpha} ( a,b )\), \(F,G,h\ (\geq 0) \in C_{\alpha} ( S^{(\beta)} )\), \(p>1\), \(\frac{1}{p} + \frac{1}{q} =1\), \(S^{(\beta)}\) is a fractal surface, then we have
-
(i)
Hölder’s inequality on the fractal set
$$\begin{aligned}& \frac{1}{\varGamma (\alpha+1)} \int_{a}^{b} f(x)g(x) (dx )^{\alpha} \\& \quad \leq \biggl\{ \frac{1}{\varGamma ( \alpha+1 )} \int_{a}^{b} f^{p} (x) (dx )^{\alpha} \biggr\} ^{\frac{1}{p}} \biggl\{ \frac{1}{ \varGamma ( \alpha+1 )} \int_{a}^{b} g^{q} (x) (dx )^{\alpha} \biggr\} ^{\frac{1}{q}}; \end{aligned}$$ -
(ii)
Hölder’s weighted inequality on the fractal set
$$\begin{aligned}& \frac{1}{\varGamma ^{2} (\alpha+1)} \iint_{S^{(\beta )}} h(x,y)F(x,y)G(x,y) (dx)^{\alpha} (dy)^{\alpha} \\& \quad \leq \biggl\{ \frac{1}{\varGamma ^{2} ( \alpha+1 )} \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} ( \alpha+1 )} \iint_{S^{(\beta )}} h(x,y)G^{p}(x,y) (dx)^{\alpha} (dy)^{\alpha} \biggr\} ^{\frac{1}{q}}. \end{aligned}$$
The inequality keeps the form of equality, then there exist constants A and B such that they are not all zero and \(AF^{p} ( x,y ) =B G^{q} (x,y)\) a.e. on \(S^{(\beta)}\).
Lemma 2.6
Suppose that \(p > 1\), \(\frac{1}{p} + \frac{1}{q} =1\), \(0 <\alpha \leq1\), and weight functions are defined by
Then
where
Proof
Set \(\frac{y}{x} =u\), then \(( dy)^{\alpha} = x^{\alpha} ( du )^{\alpha}\). Note the following exchange integral, let \(u= \frac{1}{t}\), and \(\sqrt{u} =s\), we have \((du)^{\alpha} = - t^{-2\alpha} ( dt )^{\alpha}\) and \(u^{- \frac{\alpha}{2}} (du)^{\alpha} = 2^{\alpha} (ds)^{\alpha}\). Then we have
Similarly, we obtain \(\omega ( \alpha, q,y ) =\eta ( \alpha ) y^{\frac{\alpha}{2} (q-2)}\). □
Lemma 2.7
Suppose that \(p > 1\), \(\frac{1}{p} + \frac{1}{q} =1\), \(0 <\alpha \leq1\), and \(\varepsilon > 0\) is small enough, let us define the real functions as follows:
then we have
Proof
Note the properties of local fractal space [5, 7]: \(( a+b )^{\alpha} = a^{\alpha} + b^{\alpha}\) and \(( -a )^{\alpha} =- a^{\alpha}\), we easily obtain
Let \(t^{\frac{1}{2} - \frac{\varepsilon}{q}} =u\), \(x^{- \frac{1}{2} + \frac{\varepsilon}{q}} =v\), and from \(( \frac{1}{2} - \frac{\varepsilon}{q} )^{\alpha} t^{- \frac{\alpha}{2} - \frac{\alpha\varepsilon}{q}} ( dt )^{\alpha} = ( du )^{\alpha}\), \(- ( \frac{1}{2} - \frac{\varepsilon}{q} )^{\alpha} x^{- \frac{3\alpha}{2} + \frac{\alpha\varepsilon}{q}} ( dx )^{\alpha} = ( dv )^{\alpha}\), we write
Further, let \(\frac{y}{x} =t\), and by Lemma 2.6, we have
□
3 Main results and applications
Introducing the mark: \({}_{0} I_{\infty}^{\alpha} [ {}_{0} I_{\infty}^{\alpha} F(x,y) ] = \frac{1}{\varGamma ^{2} ( \alpha+1 )} \int_{0}^{\infty} \int_{0}^{\infty} F(x,y) ( dx )^{\alpha} ( dy )^{\alpha}\) (see [7]).
Theorem 3.1
If \(p > 1\), \(\frac{1}{p} + \frac{1}{q} =1\), \(0 <\alpha \leq1\), \(f,g\ (>0)\in C_{\alpha} (0, \infty)\), and \(0 < {}_{0} I_{\infty}^{\alpha} ( x^{\frac{\alpha}{2} ( p-2 )} f^{p} (x) ) <\infty\), \(0 < {}_{0} I_{\infty}^{\alpha} ( y^{\frac{\alpha}{2} ( q-2 )} g^{q} (y) ) <\infty\), then
where the constant factor \(\eta ( \alpha )\) defined in (3) is the best possible.
Proof
By Hölder’s weighted inequality on the fractal set and Lemma 2.6, we obtain
Now assume that equality holds in (7), there exist two nonzero constants A and B such that \(A \frac{y^{- \frac{\alpha}{2}}}{x^{- \frac{p\alpha}{2q}}} f^{p} ( x )= B \frac{x^{- \frac{\alpha}{2}}}{y^{- \frac{q\alpha}{2p}}}\) a.e. in \((0,\infty)\times(0,\infty)\), then there is constant \(C \neq0\) such that \(Ax^{\frac{\alpha}{2} ( p-2 )} f^{p} ( x ) = By^{\frac{\alpha}{2} ( q-2 )} g^{q} ( y ) =C\) a.e. in \((0,\infty)\times(0,\infty)\). Assuming that \(A \neq0\), we have \(x^{\frac{\alpha}{2} ( p-2 )} f^{p} ( x ) = \frac{C}{ A}\) a.e. in \((0,\infty)\). Because \(\frac{1}{\varGamma ( \alpha+1 )} \int_{0}^{\infty} \frac{C}{A} ( dx )^{\alpha} = \frac{C}{A\varGamma ( \alpha+1 )} x^{\alpha} |_{0}^{\infty}\) is diffuse, which contradicts the fact that \(0 < {}_{0} I_{\infty}^{\alpha} ( x^{\frac{\alpha}{2} ( p-2 )} f^{p} (x) ) <\infty\), thus inequality (7) is strict.
If the constant factor \(\eta ( \alpha )\) in (6) is not optimal, then there exists positive \(K<\eta ( \alpha )\) such that inequality (6) is still valid if we replace \(\eta ( \alpha )\) by K. Hence by (4) and (5), we have \(\eta ( \alpha ) ( 1-{o} ( 1 ) ) < K\).
Letting \(\varepsilon\rightarrow 0^{+}\), we get \(K\geq\eta ( \alpha )\), which contradicts the fact that \(K<\eta ( \alpha )\), therefore \(\eta ( \alpha )\) in (6) is the best possible. □
Theorem 3.2
Under the conditions of Theorem 3.1, we have
where the constant factor \(\eta^{p} ( \alpha )\) is the best possible, and inequality (8) is equivalent to inequality (6).
Proof
Define \([ f(x) ]_{n} {:=} \min \{ n, f(x) \}\). Since \(0 < {}_{0} I_{\infty}^{\alpha} ( x^{\frac{\alpha}{2} ( p-2 )} f^{p} (x) ) <\infty\), there exists \(n_{0} \in \mathbb{N}\) such that \(0 < {}_{\frac{1}{n}} I_{n}^{\alpha} ( x^{\frac{\alpha}{2} ( p-2 )} [ f(x) ]_{n}^{p} ) <\infty\) (\(n\geq n_{0} \)). Setting \(g_{n} (y) := y^{\frac{\alpha ( 2-q )}{2 ( q-1 )}} [ {}_{\frac{1}{n}} I_{n}^{\alpha} \frac{ [ f ( x ) ]_{n}}{\max \{ x^{\alpha}, y^{\alpha} \}} ]^{\frac{p}{q}}\) (\(\frac{1}{n} < y< n\), \(n\geq n_{0}\)), when \(n\geq n_{0}\), by (6), we find
Moreover, by (9) we have
For \(n\rightarrow\infty\), it follows that \(0 < {}_{0} I_{\infty}^{\alpha} ( y^{\frac{\alpha}{2} ( q-2 )} g_{\infty}^{q} (y) ) <\infty\), and \(0 < {}_{0} I_{\infty}^{\alpha} ( x^{\frac{\alpha}{2} ( p-2 )} f^{p} (x) ) <\infty\), by (6), both (9) and (10) still keep the form of strict inequalities. Hence we have inequality (8).
On the other hand, by Hölder’s inequality on the fractal set and (8), we find
The above inequality is (6), therefore inequality (8) is equivalent to inequality (6).
If the constant factor in (8) is not optimal, then by (8) we can get a contradiction that the constant factor in (6) is not the optimal too. Thus the constant factor \(\eta ^{p} ( \alpha )\) in (8) is the best possible. □
4 Simple applications
Selecting α values in (6) and (8), and using mathematics software to calculate, some Hilbert-type fractional integral inequalities and their equivalent forms are obtained.
Example 1
Letting \(\alpha =1\), \(p = q =2\), to calculate formula (3), we get \(\eta ( 1 ) =4\), then we obtain inequalities (1) and (2).
Example 2
Letting \(\alpha =0.5\), \(p = q =2\), to calculate formula (3), we get \(\eta ( 0.5 ) =4 \sqrt{\frac{2}{\pi}}\). Suppose that \(f,g \ ( >0 ) \in C_{0.5} ( 0, \infty )\), \(0 < {}_{0} I_{\infty}^{0.5} ( f^{2} ( x ) )<\infty\), \(0 < {}_{0} I_{\infty}^{0.5} ( g^{2} ( y ) ) <\infty\), then we have the following equivalence inequalities:
where the constant factors \(4 \sqrt{\frac{2}{\pi}}\), \(\frac{32}{\pi}\) are the best values.
Example 3
Letting \(\alpha =0.1\), \(p = q =2\), to calculate formula (3), we find \(\eta ( 0.1 ) = \frac{20 \sqrt[10]{2} \varGamma ( \frac{\pi}{10} )}{\pi \operatorname{csc} ( \frac{\pi}{10} )}=2.253161500^{+}\). Suppose that \(f,g\ ( >0 ) \in C_{0.1} ( 0, \infty )\), \(0 < {}_{0} I_{\infty}^{0.1} ( f^{2} ( x ) )<\infty\), \(0 < {}_{0} I_{\infty}^{0.1} ( g^{2} ( y ) ) <\infty\), then we have the following equivalence inequalities:
where the constant factors \(\eta ( 0.1 )\), \(\eta^{2} (0.1 )\) are the best values.
5 Conclusions
In the paper, based on the local fractional calculus theory, a Hilbert-type fractional integral inequality and its equivalent form are tentatively researched. The results show that some methods and skills of the Hilbert-type integral inequality can be transplanted to the research of Hilbert-type fractional integral inequality, which provides a new direction and field to research Hardy-Hilbert’s integral inequalities.
References
Hardy, GH, Littlewood, JE, Pólya, G: Inequalities. Cambridge University Press, Cambridge (1952)
Mitrinović, DS, Pečarić, JE, Fink, AM: Inequalities Involving Functions and Their Integrals and Derivatives. Kluwer Academic, Boston (1991)
Yang, BC: On the extended Hilbert’s integral inequality. Chin. J. Eng. Math. 5(4), 1-8 (2004) (in Chinese)
Liu, Q, Zhang, XJ: A Hardy-Hilbert’s type inequality with two parameters and the best constant factor. J. Nat. Sci. Hunan Norm. Univ. 29(3), 5-8 (2006) (in Chinese)
Samet, E, Mehmet, ZS: Generalized Pompeiu type inequalities for local fractional integrals and its applications. Appl. Math. Comput. 274, 282-291 (2016)
Mo, H, Sui, X, Yu, D: Generalized convex functions on fractal sets and two related inequalities. Abstr. Appl. Anal. 2014, Article ID 636751 (2014)
Yang, XJ: Advanced Local Fractional Calculus and Its Applications. World Science Publisher, New York (2012)
Huang, ZS, Guo, DR: An Introduction to Special Function. Beijing Press, Beijing (2000) (in Chinese)
Yang, J, Baleanu, D, Yang, XJ: Analysis of fractal wave equations by local fractional Fourier series method. Adv. Math. Phys. 2013, Article ID 632309 (2013)
Chen, GS: Generalizations of Hölder’s and some related integral inequalities on fractal space. arXiv:1109.5567v1 [math.GM] (2011)
Acknowledgements
The authors are extremely grateful to the reviewers for a critical reading of the manuscript and making valuable comments and suggestions leading to an overall improvement of the paper. This work was supported by the National Natural Science Foundations of China (No. 11171280) and Scientific Support Project of Hunan Province Education Department of China (No. 10C1186).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The two authors contributed equally to this work. They all read and approved the final version of the manuscript.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liu, Q., Sun, W. A Hilbert-type fractal integral inequality and its applications. J Inequal Appl 2017, 83 (2017). https://doi.org/10.1186/s13660-017-1360-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1360-9