- Research
- Open access
- Published:
A note on the boundedness of sublinear operators on grand variable Herz spaces
Journal of Inequalities and Applications volume 2020, Article number: 1 (2020)
Abstract
In this paper, we introduce grand variable Herz type spaces using discrete grand spaces and prove the boundedness of sublinear operators on these spaces.
1 Introduction
The Herz spaces \(\dot{K}^{\alpha,p}_{q}(\mathbb{R}^{n}) \) and \(K^{\alpha ,p}_{q}(\mathbb{R}^{n}) \) were introduced in [10] being known under the names of homogeneous and non-homogeneous Herz spaces and they are defined by the norms
respectively, where \(R_{t,\tau}\) stands for the annulus \(R_{t,\tau}:= B(0,\tau)\setminus B(0,t)\). These spaces were studied in many papers; see for instance [5, 7, 9, 12,13,14,15, 22] and the references therein.
Last two decades, under the influence of some applications revealed in [32], there was a vast boom of research in the so called variable exponent spaces (see e.g. [30]). For the time being, the theory of such variable exponent Lebesgue, Orlicz, Lorentz, and Sobolev function spaces is widely developed, we refer to the books [2,3,4, 20, 21]. Herz spaces with variables exponent have been recently introduced in [1, 12, 13]. Samko in [33] used variable exponent Herz spaces (with variable parameters), known as continual Herz spaces. Another approach regarding variable smoothness and integrability to study Herz type Hardy spaces was used in [29].
Grand Lebesgue spaces on bounded sets have been widely studied. They were introduced in [8, 11], cf. [2]. Grand spaces proved to be useful in application to partial differential equations. Various operators of harmonic analysis were intensively studied in the last years, cf. [6, 16,17,18,19,20, 27, 28] and the references therein.
Grand Lebesgue sequence spaces were introduced in [31], where various operators of harmonic analysis were studied in these spaces, e.g. maximal, convolutions, Hardy, Hilbert, and fractional operators, among others.
The aim of this paper is to introduce grand variable Herz spaces \(\dot {K}^{\alpha,p),\theta}_{q}(\mathbb{R}^{n})\) and obtain the boundedness of sublinear operators on \(\dot{K}^{\alpha,p),\theta}_{q}(\mathbb{R}^{n})\). The present article has three sections apart from the Introduction. Section 2 deals with some basic notions regarding grand Lebesgue sequence spaces. In Sect. 3 we give the definition of grand variable Herz spaces and prove Hölder’s inequality. In Sect. 4 we discuss boundedness of sublinear operators on grand variable Herz spaces. Throughout the paper, constants (often different constant in the same series of inequalities) will mainly be denoted by c or C. \(f\lesssim g\) means that \(f\le Cg\) and \(f\approx g\) means that \(f\lesssim g\lesssim f\).
2 Preliminaries
2.1 Lebesgue space with variable exponent
For the current section we refer to [4, 23] unless and until stated otherwise. Let \(X\subseteq\mathbb{R}^{n}\) be an open set and \(p(\cdot) \) be a real-valued measurable function on X with values in \([1,\infty) \). We suppose that
where \(p_{-}(X):= \operatorname{ess} \inf_{x\in X}p(x)\) and \(p_{+}(X):= \operatorname{ess} \sup_{x\in X}p(x) \). By \(L^{p(\cdot)}(X) \) we denote the space of measurable function f on X such that
It is a Banach space equipped with the norm (see e.g. [4]):
By \(p'(x)=p(x)/(p(x)-1) \), we denote the conjugate exponent of \(p(\cdot )\). For the following lemma we refer to e.g. [3].
Lemma 2.1
(Generalized Hölder’s inequality)
LetXbe a measurable subset of \(\mathbb{R}^{n}\). Suppose that \(1\le p_{-}(X)\le p_{+}(X)<\infty\). Then
holds, where \(f\in L^{p(\cdot)}(X) \), \(g\in L^{q(\cdot)}(X) \)and \(\frac{1}{r(x)}=\frac{1}{p(x)}+\frac{1}{q(x)} \)for every \(x\in X \).
In the sequel we use the well known log-condition
where \(A=A(q)>0 \) does not depend on x, y, and the decay condition: there exists a number \(q_{\infty}\in(1,\infty) \), such that
and also the decay condition
holds for some \(q_{0}\in(1,\infty) \) in the case of homogeneous Herz spaces.
With respect to classes of variable exponents used in this paper, we adopt the following notations:
- (i)
Given a function \(f\in L^{1}_{\text{loc}}(X)\), the Hardy–Littlewood maximal operator M is defined by
$$\begin{aligned} Mf(x):=\sup_{r>0}r^{-n} \int_{B(x,r)} \bigl\vert f(y) \bigr\vert \,dy \quad(x\in X), \end{aligned}$$where
$$\begin{aligned} B(x,r):= \bigl\{ y\in X : \vert x-y \vert < r \bigr\} . \end{aligned}$$ - (ii)
\(L_{\text{loc}}^{q(\cdot)}(X):= \{f: f\in L^{q(\cdot)}(K)\text{ for all compact subsets }K\subset X \}\).
- (iii)
The set \(\mathcal{P}(X)\) consists of all \(q(\cdot)\) satisfying \(q_{-}>1\) and \(q_{+}<\infty\).
- (iv)
\(\mathcal{P}^{\log}=\mathcal{P}^{\log}(X)\) is the class of functions \(q\in\mathcal{P}(X)\) satisfying the conditions (3) and (4).
- (v)
In the case X is unbounded, \(\mathcal{P}_{\infty}(X)\) and \(\mathcal{P}_{0,\infty}(X)\) are subsets of exponents in \(\mathcal {P}(X)\) with values in \([1,\infty) \) which satisfy condition (5) and the two conditions (5) and (6), respectively.
- (vi)
\(\mathcal{B}(X)\) is the set of \(q(\cdot)\in\mathcal{P}(X)\) satisfying the condition that M is bounded on \(L^{q(\cdot)}(X)\).
The following lemma appears in [33].
Lemma 2.2
Let \(D>1\)and \(q\in\mathcal{P}_{0,\infty}(\mathbb{R}^{n})\). Then
and
respectively, where \(c_{0}\ge1\)and \(c_{\infty}\ge1\)depend onD, but do not depend onr.
2.2 Herz spaces with variable exponent
In this subsection, we introduce variable exponent Herz spaces. In what follows, we denote \(\chi_{k}=\chi_{{R}_{k}}\), \(R_{k}=B_{k}\setminus B_{k-1}\) and \(B_{k}=\{x\in\mathbb{R}^{n}: |x|\le 2^{k}\}\) for all \(k\in\mathbb{Z}\).
Definition 2.1
Let \(1< p<\infty\), \(\alpha\in\mathbb{R} \) and \(q(\cdot) \in\mathcal {P}(\mathbb{R}^{n})\). The homogeneous Herz space \({\dot{K}}_{q(\cdot )}^{\alpha,p} (\mathbb{R}^{n} )\) is defined by
where
Definition 2.2
Let \(1< p<\infty\), \(\alpha\in\mathbb{R} \) and \(q(\cdot) \in\mathcal {P}(\mathbb{R}^{n})\). The non-homogeneous Herz space \(K_{q(\cdot)}^{\alpha ,p} (\mathbb{R}^{n} )\) is defined by
where
2.3 Grand Lebesgue sequence space
In this subsection we introduce grand Lebesgue sequence space. For the following definitions and statements, see [31]. The letter \(\mathbb {X}\) stands for one of the sets \(\mathbb{Z}^{n}\), \(\mathbb{Z}\), \(\mathbb{N}\) and \(\mathbb{N}_{0}\).
Definition 2.3
Let \(1\le p<\infty\) and \(\theta>0\). The grand Lebesgue sequence space \(l^{p),\theta}\) is defined by the norm
where \(\mathbf{x}=\{x_{k}\}_{k\in\mathbb {X}}\).
Note that the following nesting properties hold:
for \(0<\varepsilon<\frac{1}{p}\), \(\delta>0\) and \(0<\theta_{1}\le\theta_{2}\).
3 Grand variable Herz space
In this section, we introduce grand variable Herz space in a natural way using the discrete space from Definition 2.3.
Definition 3.1
Let \(\alpha\in\mathbb{R}\), \(1\le p<\infty\), \(q:\mathbb{R}^{n}\rightarrow [1,\infty)\), \(\theta>0\). We define the homogeneous grand variable Herz space by
where
In a similar way, non-homogeneous grand variable Herz spaces can be introduced.
In the following theorem, we prove that Herz space is contained in grand variable Herz space.
Theorem 3.1
For \(p>1\), we have \(\dot{K}^{\alpha,p}_{q(\cdot)}(\mathbb{R}^{n})\subset \dot{K}^{\alpha,p),\theta}_{q(\cdot)}(\mathbb{R}^{n})\), \(\theta>0\).
Proof
Let \(f\in\dot{K}^{\alpha,p}_{q(\cdot)}(\mathbb{R}^{n})\). Then
where we used (9). □
Now we prove the Hölder inequality for a grand variable Herz space.
Theorem 3.2
If \(0< p_{i}\le\infty\), \(1\le q_{-}\le q_{+}<\infty\), \(-\infty<\alpha _{i}<\infty\), \(i=1,2\), \(\frac{1}{p}=\frac{1}{p_{1}}+\frac{1}{p_{2}}\), \(1=\frac {1}{q(\cdot)}+\frac{1}{q'(\cdot)}\)and \(\alpha=\alpha_{1}+\alpha_{2}\). Then
Proof
We have
By using Hölder’s inequality
by generalized Hölder’s inequality
□
4 Boundedness of sublinear operators
In this section, we show that sublinear operators are bounded on \(\dot{K}^{\alpha,p),\theta}_{q(\cdot)}(\mathbb{R}^{n})\). Hernandez, Li, Lu and Yang [9, 24, 26] have proved that if a sublinear operator T is bounded on \(L^{p}(\mathbb{R}^{n})\) and satisfies the size condition
for all \(f\in L^{1}(\mathbb{R}^{n})\) with compact support then T is bounded on the homogeneous Herz space \({\dot{K}}_{q}^{\alpha,p}\) and on the non-homogeneous Herz space \({K}_{q}^{\alpha,p}\). The condition (11) is satisfied by many interesting operators in harmonic analysis, such as Calderón–Zygmund operators, Carleson’s maximal operator, the Hardy–Littlewood maximal operator, Fefferman’s singular multipliers, Fefferman’s singular integrals, Ricci–Stein’s oscillatory singular integrals, and the Bochner–Riesz means (for details see [25, 34]).
Theorem 4.1
Let \(1< p<\infty\), \(q(\cdot)\in\mathcal{P}_{0,\infty}(\mathbb{R}^{n})\)such that \({-n}/{q(0)}<\alpha<{n}/{q'(0)}\)and \({-n}/{q_{\infty}}<\alpha <{n}/{q'_{\infty}}\). Suppose thatTis a sublinear operator and bounded on \(L^{q(\cdot)}(\mathbb{R}^{n}) \)satisfying the size condition (10). ThenTis bounded on \(\dot{K}^{\alpha ,p),\theta}_{q(\cdot)}(\mathbb{R}^{n})\).
Proof
Since T is sublinear, we have for every \(f\in\dot{K}^{\alpha ,p),\theta}_{q(\cdot)}(\mathbb{R}^{n})\)
For \(E_{2} \), using the \(L^{q(\cdot)}(\mathbb{R}^{n}) \) boundedness of T we obtain
For \(E_{1}\), we use the facts that, for each \(k\in\mathbb{Z}\) and \(l\le k-2 \) and a.e. \(x\in R_{k}\), size condition (10) and Hölder’s inequality imply
Moreover, splitting \(E_{1}\) by means of Minkowski’s inequality we have
For \(E_{11}\) by Lemma 2.2 we have
Applying (11) and (12) to \(E_{11}\), we get
where \(b:=\frac{n}{q'(0)}-\alpha>0\). Then we use Hölder’s inequality, Fubini’s theorem for series and \(2^{-p(1+\varepsilon)}< 2^{-p}\) to obtain
Now for \(E_{12}\) using Minkowski’s inequality we have
The estimate for \(A_{2}\) follows in a similar manner to \(E_{11}\) with \(q'(0)\) replaced by \(q'_{\infty}\) and using the fact that \(\frac {n}{q'_{\infty}}-\alpha>0\). For \(A_{1}\) using Lemma 2.2 we have
Now using (11) and (14) and the fact that \(\alpha-\frac{n}{q'_{\infty }}<0\) we have
Now applying Hölder’s inequality and using the fact that \(\frac {n}{q'(0)}-\alpha>0\) we have
Next, we estimate \(E_{3}\). For each \(k\in\mathbb{Z}\) and \(l\ge k+2 \) and a.e. \(x\in R_{k}\); the size condition (11) and Hölder’s inequality imply
Similar to \(E_{1}\), splitting \(E_{3}\) by means of Minkowski’s inequality we have
For \(E_{32}\) Lemma 2.2 yields
Using (15) and (16) for \(E_{32}\), we get
where \(d:=\frac{n}{q_{\infty}}+\alpha>0\). Then we use Hölder’s inequality, Fubini’s theorem for series and \(2^{-p(1+\varepsilon)}< 2^{-p}\) to obtain
Now for \(E_{31}\) using Minkowski’s inequality we have
The estimate for \(B_{1}\) follows in a similar manner to \(E_{32}\) with \(q_{\infty}\) replaced by \(q(0)\) and using the fact that \(\frac {n}{q(0)}+\alpha>0\). For \(B_{2}\) using Lemma 2.2 we have
Now using (15) and (17) and the fact that \(\alpha+\frac{n}{q(0)}>0\) we have
Now applying Hölder’s inequality and using the fact that \(\frac {n}{q_{\infty}}+\alpha>0\) we have
Combining the estimates for \(E_{1}\), \(E_{2}\) and \(E_{3}\) yields
which ends the proof. □
References
Almeida, A., Drihem, D.: Maximal, potential and singular type operators on Herz spaces with variable exponents. J. Math. Anal. Appl. 394(2), 781–795 (2012)
Castillo, R.E., Rafeiro, H.: An Introductory Course in Lebesgue Spaces. Springer, Berlin (2016)
Cruz-Uribe, D., Fiorenza, A.: Variable Lebesgue Space: Foundations and Harmonic Analysis. Birkhäuser, Basel (2013)
Diening, L., Harjulehto, P., Hästö, P., Růžička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Math., vol. 2017. Springer, Berlin (2011)
Feichtinger, H.G., Weisz, F.: Herz spaces and summability of Fourier transforms. Math. Nachr. 281(3), 309–324 (2008)
Fiorenza, A., Gupta, B., Jain, P.: The maximal theorem for weighted grand Lebesgue spaces. Stud. Math. 188(2), 123–133 (2008)
Grafakos, L., Li, X., Yang, D.: Bilinear operators on Herz-type Hardy spaces. Trans. Am. Math. Soc. 350(3), 1249–1275 (1998)
Greco, L., Iwaniec, T., Sbordone, C.: Inverting the p-harmonic operator. Manuscr. Math. 92(2), 249–258 (1997)
Hernandez, E., Yang, D.: Interpolation of Herz spaces and application. Math. Nachr. 205(1), 69–87 (1999)
Herz, C.: Lipschitz spaces and Bernstein’s theorem on absolutely convergent Fourier transform. J. Math. Mech. 18, 283–323 (1968)
Iwaniec, T., Sbordone, C.: On the integrability of the Jacobian under minimal hypotheses. Arch. Ration. Mech. Anal. 119(2), 129–143 (1992)
Izuki, M.: Boundedness of vector-valued sublinear operators on Herz–Morrey spaces with variable exponent. Math. Sci. Res. J. 13(10), 243–253 (2009)
Izuki, M.: Boundedness of sublinear operators on Herz spaces with variable exponent and application to wavelet characterization. Anal. Math. 13(36), 33–50 (2010)
Johnson, R.: Temperature, Riesz potenial and the Lipschitz spaces of Herz. Proc. Lond. Math. Soc. 27(2), 290–316 (1973)
Johnson, R.: Lipschitz spaces, Littlewood–Paley spaces and convoluteurs. Proc. Lond. Math. Soc. 29(1), 127–141 (1974)
Kokilashvili, V.: Boundedness criteria for singular integrals in weighted grand Lebesgue spaces. J. Math. Sci. (N.Y.) 170(1), 20–33 (2010)
Kokilashvili, V., Meskhi, A.: A note on the boundedness of the Hilbert transform in weighted grand Lebesgue spaces. Georgian Math. J. 16(3), 547–551 (2009)
Kokilashvili, V., Meskhi, A.: Trace inequalities for fractional integrals in grand Lebesgue spaces. Stud. Math. 210(2), 159–176 (2012)
Kokilashvili, V., Meskhi, A.: Potentials with product kernels in grand Lebesgue spaces: one-weight criteria. Lith. Math. J. 23(1), 27–39 (2013)
Kokilashvili, V., Meskhi, A., Rafeiro, H., Samko, S.: Integral Operators in Non-Standard Function Spaces, vol. 1. Oper. Theory Adv. Appl., vol. 248. Birkhäuser, Basel (2016)
Kokilashvili, V., Meskhi, A., Rafeiro, H., Samko, S.: Integral Operators in Non-Standard Function Spaces, vol. 2. Oper. Theory Adv. Appl., vol. 249. Birkhäuser, Basel (2016)
Komori, Y.: Notes on singular integrals on some inhomogeneous Herz spaces. Taiwan. J. Math. 8(3), 547–556 (2004)
Kováčik, O., Rákosník, J.: On spaces \(L^{p(x)}\) and \(W^{k,p(x)}\). Czechoslov. Math. J. 41(4), 592–618 (1991)
Li, X., Yang, D.: Boundedness of some sublinear operators on Herz spaces. Ill. J. Math. 40, 484–501 (1996)
Lu, G., Lu, S., Yang, D.: Singular integrals and commutators on homogeneous groups. Anal. Math. 28(2), 103–134 (2002)
Lu, S., Yang, S.: The decomposition of the weighted Herz spaces and its application. Sci. China Ser. A 38, 147–158 (1995)
Meskhi, A.: Weighted criteria for the Hardy transform under the \(B_{p}\) condition in grand Lebesgue spaces and some application. J. Math. Sci. (N.Y.) 178(6), 622–636 (2011)
Meskhi, A.: Criteria for the boundedness of potential operators in grand Lebesgue spaces. Proc. A. Razmadze Math. Inst. 169, 119–132 (2015)
Meskhi, A., Rafeiro, H., Zaighum, M.A.: Central Calderón–Zygmund operators on Herz-type Hardy spaces of variable smoothness and integrability. Ann. Funct. Anal. 9(3), 310–321 (2018)
Rădulescu, V.D., Repovš, D.: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. Chapman & Hall/CRC, Boca Raton (2015)
Rafeiro, H., Samko, S., Umarkhadzhiev, S.: Grand Lebesgue sequence spaces. Georgian Math. J. 25(2), 291–302 (2018)
Ruzicka, M.: Electroreological Fluids: Modeling and Mathematical Theory. Lecture Notes in Math., vol. 1748. Springer, Berlin (2000)
Samko, S.G.: Variable exponents Herz space. Mediterr. J. Math. 10(4), 2007–2025 (2013)
Soria, F., Weiss, G.: A remark on singular integrals and power weights. Indiana Univ. Math. J. 43(1), 187–204 (1994)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
The research of H. Rafeiro was supported by a Research Start-Up Grant of United Arab Emirates University, Al Ain, United Arab Emirates via Grant No. G00002994.
Author information
Authors and Affiliations
Contributions
There was an equal amount of contributions from all three authors. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there are no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nafis, H., Rafeiro, H. & Zaighum, M.A. A note on the boundedness of sublinear operators on grand variable Herz spaces. J Inequal Appl 2020, 1 (2020). https://doi.org/10.1186/s13660-019-2265-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2265-6