Abstract
In this paper, we mainly consider the real interpolation spaces for variable Lebesgue spaces defined by the decreasing rearrangement function and for the corresponding martingale Hardy spaces. Let \(0<q\le \infty \) and \(0<\theta <1\). Our three main results are the following:
and
where the variable exponent \(p(\cdot )\) is a measurable function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the past three decades, as a generalization of the classical Lebesgue spaces \(L_p({\mathbb {R}}^n)\), the variable exponent Lebesgue spaces \(L_{p(\cdot )}({\mathbb {R}}^n)\) have attracted much attention. Here, we refer the interested readers to the monographs [4, 5] for more information. Kempka and Vybíral investigated the Lorentz spaces \(L_{p(\cdot ),q}({\mathbb {R}}^n)\) and \(L_{p(\cdot ),q(\cdot )}({\mathbb {R}}^n)\) with variable exponents in [19]. Recently, a new kind of variable Lebesgue spaces and variable Lorentz spaces, which are defined by rearrangement functions, came into sight: Kokilashvili et al. [20] introduced the variable Lebesgue spaces \({\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n)\); Ephremidze et al. [7] studied the variable Lorentz spaces \({\mathfrak {L}}_{p(\cdot ),q(\cdot )}({\mathbb {R}}^n)\).
The classical martingale theory was systematically studied by Garsia [9], Long [21], Weisz [27] and many others. With the development of variable Lebesgue spaces in harmonic analysis, variable martingale spaces have gained a steadily increasing interest. Let \((\Omega ,{\mathcal {F}},{\mathbb {P}})\) be a complete probability space and let \(p(\cdot )\) be a measurable function on \(\Omega \). Similar to \(L_{p(\cdot )}({\mathbb {R}}^n)\) and \(L_{p(\cdot ),q}({\mathbb {R}}^n)\), we can define \(L_{p(\cdot )}(\Omega )\) and \(L_{p(\cdot ),q}(\Omega )\) (see the definitions of these spaces in Sect. 2.1). Aoyama [1] proved the boundedness of the Doob maximal operator on \(L_{p(\cdot )}(\Omega )\) as \(p(\cdot )\) meets certain condition, which was pointed out to be quite strong by Nakai and Sadasue [22]. Jiao et al. [17] introduced variable martingale Hardy spaces associated with \(L_{p(\cdot )}(\Omega )\). Very recently, Jiao et al. provided a relatively complete research on variable Hardy–Lorentz spaces relative to \(L_{p(\cdot ),q}(\Omega )\) in [14]. Now let \(p(\cdot )\) be a variable exponent on [0, 1]. With the emergence of variable Lebesgue spaces defined by the rearrangement function, Jiao et al. [16] introduced new variable martingale Hardy spaces associated with \({\mathcal {L}}_{p(\cdot )}(\Omega )\) and Zeng [28] investigated variable martingale Hardy–Lorentz spaces relative to \({\mathcal {L}}_{p(\cdot ),q}(\Omega )\) (for the definitions of these spaces, see Sects. 2.2 and 2.3). The readers may consult the articles [11, 15] for more results about variable martingale spaces.
The real interpolation of variable Lebesgue spaces defined on \({\mathbb {R}}^n\) has been studied in several papers. In [19], the authors proved that the Lorentz spaces \(L_{p(\cdot ),q}({\mathbb {R}}^n)\) serve as the intermediate spaces between \(L_{p(\cdot )}({\mathbb {R}}^n)\) and \(L_{\infty }({\mathbb {R}}^n)\) via the real interpolation. To be precise,
Very recently, the real interpolation between variable Hardy spaces \(H_{p(\cdot )}({\mathbb {R}}^n)\) and \(L_{\infty }({\mathbb {R}}^n)\) was investigated in [18, 29], where the authors obtained that, if \(p(\cdot )\) satisfies the log-Hölder continuous condition, then
This extends Fefferman’s corresponding interpolation results on the classical \(H_p({\mathbb {R}}^n)\) spaces in [8]. The real interpolation for martingale Hardy spaces is also fruitful. Weisz [27] firstly studied the real interpolation spaces of martingale Hardy spaces. Indeed, he proved that
Recently, Jiao et al. [13] extended Weisz’s result above to variable martingale setting, that is, they achieved that
With the help of a new sharp maximal function and a new BMO space, Weisz identified the real interpolation spaces between martingale Hardy and BMO spaces in [26]. For more results about the real interpolation of martingale Hardy spaces, we refer to [12, 23,24,25].
Based on the works of Jiao et al. [16] and Zeng [28], our main purpose of this article is to establish the real interpolation spaces between variable martingale Hardy spaces \({\mathcal {H}}_{p(\cdot )}^s(\Omega )\) defined in [16] and martingale BMO spaces \(BMO_2(\Omega )\). To this end, we firstly identify the interpolation spaces between variable Lebesgue spaces \({\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n)\) and \(L_{\infty }({\mathbb {R}}^n)\) spaces as variable Lorentz \({\mathcal {L}}_{p(\cdot ),q}({\mathbb {R}}^n)\) spaces, and then via formulating the real interpolation spaces between variable martingale Hardy spaces and applying the sharp maximal functions of martingales, we further prove that the real interpolation spaces between variable martingale Hardy and BMO spaces are just the variable martingale Hardy–Lorentz spaces. More precisely, we obtain the following results:
and
see the definitions in Sect. 2.
This paper is organized as follows. In Sect. 2, we present the necessary background and some basic facts that will be used later. Section 3 is devoted to establishing the real interpolation between \({\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n)\) spaces and \(L_{\infty }({\mathbb {R}}^n)\) spaces. In Sect. 4, we aim at identifying the real interpolation spaces between variable martingale Hardy spaces. Finally, we formulate the real interpolation between variable martingale Hardy spaces and martingale BMO spaces in Sect. 5.
Now, let us make some conventions to end this section. In the whole article, we use \({\mathbb {Z}}\) and \({\mathbb {N}}\) to denote the integer set and nonnegative integer set, respectively. We denote by C an absolute positive constant that is independent of the main parameters but whose value may differ from line to line, and denote by \(C_{p(\cdot )}\) the constant depending only on \(p(\cdot )\). The symbol \(a\lesssim b\) stands for the inequality \(a\le Cb\) or \(a\le C_{p(\cdot )}b\). If we write \(a\thickapprox b\), it means that \(a\lesssim b \lesssim a\). The characteristic function of a measurable set A is written as \(\chi _{A}\).
2 Preliminaries
In this section, we mainly provide some preparations for the follow-up work. We divide this section into four subsections. Throughout the paper, we always assume that \((\Omega ,{\mathcal {F}},{\mathbb {P}})\) is a complete probability space. Let \((R,\mu )\) be a complete measure space. In this section, \((R,\mu )\) could be \((\Omega ,{\mathcal {F}},{\mathbb {P}})\) or the Euclidean space \(({\mathbb {R}}^n,m)\;(n\ge 1)\), where m denotes the Lebesgue measure. In Sect. 2.1, we give the definitions of variable Lebesgue spaces \(L_{p(\cdot )}(R)\) and variable Lorentz spaces \(L_{p(\cdot ),q}(R)\). In Sect. 2.2, we introduce the variable Lebesgue spaces \({\mathcal {L}}_{p(\cdot )}(R)\), the variable Lorentz spaces \({\mathcal {L}}_{p(\cdot ),q}(R)\) and \({\mathfrak {L}}_{p(\cdot ),q}(R)\), which are defined by rearrangement function, and give some useful properties about these spaces. To our surprise, the variable Lorentz space \({\mathcal {L}}_{p(\cdot ),q}(\Omega )\) is equivalent to the classical Lorentz space \(L_{p(0),q}(\Omega )\) if \(p(\cdot )\) satisfies the locally log-Hölder condition. In Sect. 2.3, we introduce the variable martingale Hardy spaces and variable martingale Hardy–Lorentz spaces associated with variable Lebesgue spaces \({\mathcal {L}}_{p(\cdot )}(\Omega )\) and variable Lorentz spaces \({\mathcal {L}}_{p(\cdot ),q}(\Omega )\), respectively. Finally, we recall some basic notations and results about real interpolation in Sect. 2.4.
2.1 Variable Lebesgue spaces \(L_{p(\cdot )}(R)\) and variable Lorentz spaces \(L_{p(\cdot ),q}(R)\)
The so-called variable exponent function (or simply variable exponent) on R is a measurable function \(p(\cdot ):R\rightarrow (0,\infty )\). Let \({\mathcal {P}}(R)\) be the collection of all variable exponents on R. For a variable exponent \(p(\cdot )\in {\mathcal {P}}(R)\) and a set \(E\subset R\), we denote
and
For simplicity, we adopt the following notation in the sequel:
Moreover, we recall the definition of locally log-Hölder continuous condition for the variable exponent \(p(\cdot )\) defined on \({\mathbb {R}}^n\).
Definition 2.1
([4, Definition 2.2]) Given \(p(\cdot )\in {\mathcal {P}}({\mathbb {R}}^n)\), we say that \(p(\cdot )\) is locally log-Hölder continuous if there exists a constant \(C>0\) such that for all \(x,y\in {\mathbb {R}}^n,|x-y|<\frac{1}{2}\),
Remark 2.2
Let \(p(\cdot )\in {\mathcal {B}}({\mathbb {R}}^n)\). It was proved in [4, Proposition 2.3] that \(p(\cdot )\) satisfies the locally log-Hölder continuous condition is equivalent to \(\frac{1}{p(\cdot )}\) satisfies the locally log-Hölder continuous condition.
Now the definitions of variable Lebesgue spaces \(L_{p(\cdot )}(R)\) and variable Lorentz spaces \(L_{p(\cdot ),q}(R)\) are given as follows.
Definition 2.3
Given \(p(\cdot )\in {\mathcal {B}}(R)\), the variable Lebesgue space \(L_{p(\cdot )}(R)\) is defined to be the collection of all measurable functions f on R such that \(\Vert f\Vert _{L_{p(\cdot )}(R)}<\infty \), where
Definition 2.4
Let \(p(\cdot )\in {\mathcal {B}}(R)\) and \(0<q\le \infty \). Then the variable Lorentz space \(L_{p(\cdot ),q}(R)\) is defined as the set of all measurable functions f on R such that \(\Vert f\Vert _{L_{p(\cdot ),q}(R)}<\infty \), where
If \(p(\cdot )\equiv p\;(0<p<\infty )\), then the variable Lebesgue space \(L_{p(\cdot )}(R)\) and variable Lorentz space \(L_{p(\cdot ),q}(R)\) reduce to the classical Lebesgue space \(L_p(R)\) and Lorentz space \(L_{p,q}(R)\), respectively.
2.2 Variable Lebesgue spaces \({\mathcal {L}}_{p(\cdot )}(R)\) and variable Lorentz spaces \({\mathcal {L}}_{p(\cdot ),q}(R)\), \({\mathfrak {L}}_{p(\cdot ),q}(R)\)
Let f be a measurable function defined on \((R,\mu )\). The distribution function of f is given by
While the decreasing rearrangement function of f is defined as
In addition, as the maximal function of \(f^*\), the function \(f^{**}\) is defined by
It is well known that \(f^{**}\) is non-negative, non-increasing and continuous on \((0,\infty )\). Moreover,
We refer to [2] for these properties.
Next, we use the rearrangement function to define respectively the variable Lebesgue spaces \({\mathcal {L}}_{p(\cdot )}(R)\) and variable Lorentz spaces \({\mathcal {L}}_{p(\cdot ),q}(R)\).
Definition 2.5
Let \(p(\cdot )\in {\mathcal {B}}([0,\infty ))\). We define the variable Lebesgue space \({\mathcal {L}}_{p(\cdot )}(R)\) as the collection of all measurable functions f on R such that
This is a quasi-Banach space with respect to the quasi-norm
If \(R=\Omega \), then \(f^{*}(t)=0\) for \(t \ge 1\), so it is enough to suppose that \(p(\cdot )\in {\mathcal {B}}([0,1])\) in this case. It is clear that \(\Vert f\Vert _{{\mathcal {L}}_{p(\cdot )}(R)}=\Vert f^{*}\Vert _{L_{p(\cdot )}([0,\infty ))}\).
Definition 2.6
Let \(p(\cdot )\in {\mathcal {B}}([0,\infty ))\) and \(0<q\le \infty \). Then the variable Lorentz space \({\mathcal {L}}_{p(\cdot ),q}(R)\) is defined as the set of all measurable functions f on R such that \(\Vert f\Vert _{{\mathcal {L}}_{p(\cdot ),q}(R)}<\infty \), where
Obviously, when \(p(\cdot )\equiv p\;(0<p<\infty )\), the variable Lebesgue spaces \({\mathcal {L}}_{p(\cdot )}(R)\) and variable Lorentz spaces \({\mathcal {L}}_{p(\cdot ),q}(R)\) respectively go back to the classical Lebesgue spaces \(L_p(R)\) and Lorentz spaces \(L_{p,q}(R)\).
The following two useful lemmas can be founded in [16] and [28], respectively.
Lemma 2.7
Given \(p(\cdot )\in {\mathcal {B}}([0,\infty ))\) and \(f\in {\mathcal {L}}_{p(\cdot )}(R)\), we have
Lemma 2.8
Let \(p(\cdot )\in {\mathcal {B}}([0,\infty ))\) and \(0<q\le \infty \). If \(f\in {\mathcal {L}}_{p(\cdot ),q}(R)\), then
The following result tells us that \(\Vert \cdot \Vert _{{\mathcal {L}}_{p(\cdot )}(R)}\) is a b-norm (\(0<b< {\underline{p}}\)) in some sense if \(p(\cdot )\in {\mathcal {B}}([0,\infty ))\) is locally log-Hölder continuous.
Proposition 2.9
If \(p(\cdot )\in {\mathcal {B}}([0,\infty ))\) satisfies the locally log-Hölder continuous condition, \(f_k\in {\mathcal {L}}_{p(\cdot )}(R)\;(k\in {\mathbb {Z}})\) and \(0<b< {\underline{p}}\), then
Proof
According to (2.3) and (2.2), we find that
Since \(p(\cdot )/b>1\), \(\Vert \cdot \Vert _{L_{p(\cdot )/b}([0,\infty ))}\) is a norm. Moreover, it follows from [6, Theorem 3.1] that
Again, by (2.3), we deduce that
The proof is complete. \(\square \)
Inspired by Ephremidze et al. [7], Zeng [28] gave another way to define the variable Lorentz space \({\mathfrak {L}}_{p(\cdot ),q}(\Omega )\) as follows. Furthermore, the author in [28] showed that \({\mathcal {L}}_{p(\cdot ),q}(\Omega )={\mathfrak {L}}_{p(\cdot ),q}(\Omega )\) with equivalent quasi-norms if \(p(\cdot )\) satisfies the locally log-Hölder continuous condition.
Definition 2.10
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) and \(0<q\le \infty \). Then we define the variable Lorentz space \({\mathfrak {L}}_{p(\cdot ),q}(\Omega )\) as the space of all measurable functions f on \(\Omega \) such that \(\Vert f\Vert _{{\mathfrak {L}}_{p(\cdot ),q}(\Omega )}<\infty \), where
Lemma 2.11
[28, Proposition 2.15] Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition and let \(0<q\le \infty \). If \(f\in {\mathcal {L}}_{p(\cdot ),q}(\Omega )\), then
that is, \({\mathcal {L}}_{p(\cdot ),q}(\Omega )={\mathfrak {L}}_{p(\cdot ),q}(\Omega )\) with equivalent quasi-norms.
Based on this, we further prove that \({\mathcal {L}}_{p(\cdot ),q}(\Omega )=L_{p(0),q}(\Omega )\) with equivalent quasi-norms under the same condition as in the lemma above.
Proposition 2.12
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition and \(0<q\le \infty \). If \(f\in {\mathcal {L}}_{p(\cdot ),q}(\Omega )\), then
namely, \({\mathcal {L}}_{p(\cdot ),q}(\Omega )=L_{p(0),q}(\Omega )\) with equivalent quasi-norms.
Proof
From Lemma 2.11, it suffices to show that \(\Vert f\Vert _{{\mathfrak {L}}_{p(\cdot ),q}(\Omega )}\approx \Vert f\Vert _{L_{p(0),q}(\Omega )}\). Since \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfies the locally log-Hölder continuous condition, we assert that
Indeed, if \(t\in [1/2,1]\), then
which means that (2.5) holds for \(t\in [1/2,1]\).
By (2.1), it is easy to see that
Now let us consider the functions
and
Then \(g(t)=\exp h(t),\;t\in [0,1/2)\). From Remark 2.2 and (2.6), it is clear that h(t) is bounded on [0, 1/2). Hence, there exist two positive constants C and \(C'\) such that \(C \le g(t) \le C'\), \(t\in [0,1/2)\). Thus, (2.5) holds. Consequently,
for \(0<q <\infty \) and
Now the proof is complete. \(\square \)
2.3 Variable martingale Hardy spaces
In this subsection, we give some basic notions and notations for martingales. We refer the interested readers to monographs [9, 21, 27] for further study. Let \((\Omega ,{\mathcal {F}},{\mathbb {P}})\) be a complete probability space and \(({\mathcal {F}}_n)_{n\ge 0}\) be an increasing sequence of sub-\(\sigma \)-algebras of \({\mathcal {F}}\) such that \({\mathcal {F}}=\sigma \big (\bigcup _{n\ge 0}{\mathcal {F}}_n\big )\). The expectation operator and the conditional expectation operator relative to \({\mathcal {F}}_n\) are written as \({\mathbb {E}}\) and \({\mathbb {E}}_n\), respectively. A sequence \(f=(f_n)_{n\ge 0}\) of adapted and integrable functions is said to be a martingale with respect to \(({\mathcal {F}}_n)_{n\ge 0}\) if \({\mathbb {E}}_n(f_{n+1})=f_n\) for all \(n\ge 0\). For a martingale \(f=(f_n)_{n\ge 0}\), the martingale differences are given by \(d_nf=f_n-f_{n-1}\) (with the convention \(d_0f=0\) and \(f_{-1}=0\)). Let \({\mathcal {T}}\) be the set of all stopping times with respect to \(({\mathcal {F}}_n)_{n\ge 0}\). For a martingale \(f=(f_n)_{n\ge 0}\) and a stopping time \(\tau \in {\mathcal {T}}\), we denote the stopped martingale by \(f^{\tau }=(f_n^{\tau })_{n\ge 0}=(f_{n\wedge {\tau }})_{n\ge 0}\), where \(a\wedge b=\min (a,b)\). Let \(p(\cdot )\in {\mathcal {B}}\big ([0,1]\big )\). If \(f_n\in {\mathcal {L}}_{p(\cdot )}(\Omega )\) for every \(n\ge 0\), f is called an \({\mathcal {L}}_{p(\cdot )}\)-martingale. In this case, we set
If \(\Vert f\Vert _{{\mathcal {L}}_{p(\cdot )}(\Omega )}<\infty \), f is called a bounded \({\mathcal {L}}_{p(\cdot )}\)-martingale and denote it by \(f\in {\mathcal {L}}_{p(\cdot )}(\Omega )\).
The maximal function, the square function and the conditional square function of a martingale \(f=(f_n)_{n\ge 0}\) are defined respectively as follows:
Denote by \(\Gamma \) the set of all sequences \((\lambda _n)_{n\ge 0}\) of non-negative, non-decreasing and adapted functions with \(\lambda _{\infty }=\lim _{n\rightarrow \infty }\lambda _n\). Let \(p(\cdot )\in {\mathcal {B}}\big ([0,1]\big )\) and let \(0<q\le \infty \). Denote variable exponent \(p(\cdot )\) or \((p(\cdot ),q)\) by \(\theta \). Define the variable martingale Hardy spaces associated with the variable Lebesgue spaces \({\mathcal {L}}_{\theta }(\Omega )\) as follows:
In [16, Theorem 2.22], the authors obtained the Doob’s inequality for variable martingale spaces \({\mathcal {L}}_{p(\cdot )}(\Omega )\).
Lemma 2.13
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition. Then there exists a positive constant \(C_{p(\cdot )}\) such that, for every martingale \(f\in {\mathcal {L}}_{p(\cdot )}(\Omega )\),
To establish the interpolation theorems, we need the atomic characterizations of variable martingale Hardy–Lorentz spaces. First, let us recall the definition of an atom.
Definition 2.14
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\). A measurable function a is said to be a \((1,p(\cdot ),\infty )\)-atom (or \((2,p(\cdot ),\infty )\)-atom, \((3,p(\cdot ),\infty )\)-atom, respectively), if there exists a stopping time \(\tau \in {\mathcal {T}}\) such that
-
(i)
\(a_n:={\mathbb {E}}_na=0\), if \(n\le \tau \);
-
(ii)
\(\big \Vert s(a)\big \Vert _{\infty }\;(\text {or}\; \big \Vert S(a)\big \Vert _{\infty },\big \Vert M(a)\big \Vert _{\infty },\;\text {respectively}) \le \big \Vert \chi _{\{\tau <\infty \}}\big \Vert _{{\mathcal {L}}_{p(\cdot )}(\Omega )}^{-1}\).
Definition 2.15
Given \(p(\cdot )\in {\mathcal {B}}([0,1])\) and \(0<q\le \infty \). Assume that \(i=1,2\;\text {or}\;3\). Denote by \({\mathcal {H}}^{at,i,\infty }_{p(\cdot ),q}(\Omega )\) the space of all martingales \(f=(f_n)_{n\ge 0}\) such that, for any \(n\ge 0\)
where \((a^k)_{k\in {\mathbb {Z}}}\) is a sequence of \((i,p(\cdot ),\infty )\)-atoms with respect to the stopping time sequence \((\tau _k)_{k \in {\mathbb {Z}}}\) and \(\mu _k=3\cdot 2^k\Vert \chi _{\{\tau _k<\infty \}}\Vert _{{\mathcal {L}}_{p(\cdot )}(\Omega )} \;(k\in {\mathbb {Z}})\). Endow this space with the following quasi-norm
where the infimum is taken over all the decompositions of f by the form (2.7).
Lemma 2.16
[28, Theorem 3.3] Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) and \(0<q\le \infty \). Then
with equivalent quasi-norms.
Lemma 2.17
[28, Theorem 3.4] Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) and \(0<q\le \infty \). Then
with equivalent quasi-norms.
2.4 Real interpolation
In this subsection, we collect some basic concepts and results about real interpolation theory. For the details, we refer to the monographs [2, 3]. Let \((Y_0,Y_1)\) be a compatible couple of quasi-normed spaces, namely, \(Y_0\) and \(Y_1\) can be embedded continuously into a topological vector space Y. Define the sum of \(Y_0\) and \(Y_1\) as
For any \(t\in (0,\infty )\) and \(f\in Y_0+Y_1\), the Peetre K-functional is defined by
For every \(0<\theta<1,0<q\le \infty \), define the real interpolation space \((Y_0,Y_1)_{\theta ,q}\) as the set of all functions \(f\in Y_0+Y_1\) such that
is finite. We adopt the conventions \((Y_0,Y_1)_{0,q}=Y_0\) and \((Y_0,Y_1)_{1,q}=Y_1\) for each \(0<q\le \infty \). Now we give two basic properties of K and \((Y_0,Y_1)_{\theta ,q}\), which may be used in the sequel.
-
1.
\(|f|\le |g|\Rightarrow K(t,f,Y_0,Y_1)\le K(t,g,Y_0,Y_1)\);
-
2.
\(Y_0\hookrightarrow {\tilde{Y}}_0\Rightarrow (Y_0,Y_1)_{\theta ,q}\hookrightarrow ({\tilde{Y}}_0,Y_1)_{\theta ,q}\), where \(\hookrightarrow \) denotes the continuous embedding relationship.
We take the following reiteration lemma and Wolff’s lemma from [2].
Lemma 2.18
Suppose that \((Y_0,Y_1)\) is a compatible couple of quasi-normed spaces. Let \(0\le \theta _0,\theta _1\le 1,0<q_0,q_1\le \infty \) and let \(Z_i=(Y_0,Y_1)_{\theta _i,q_i}\;(i=0,1)\). If \(\theta _0\ne \theta _1,0<\eta <1\) and \(0<q\le \infty \), then
where \(\theta =(1-\eta )\theta _0+\eta \theta _1\). In addition, if \(Y_0\) and \(Y_1\) are complete and \(0<\theta _0=\theta _1=\theta <1\), then
Lemma 2.19
Suppose that \(Y_1,Y_2,Y_3\) and \(Y_4\) are four quasi-normed spaces continuously embedded in some quasi-normed space. Let \(0<\lambda ,\mu <1\) and \(0<p,q\le \infty \). If
then
where
3 Interpolation between \({\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n)\) and \(L_{\infty }({\mathbb {R}}^n)\)
Before we formulate the interpolation between variable martingale Hardy spaces, we need to establish the real interpolation between \({\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n)\) and \(L_{\infty }({\mathbb {R}}^n)\) spaces. The main result of this section is stated as follows.
Theorem 3.1
Let \(p(\cdot )\in {\mathcal {B}}([0,\infty ))\) be locally log-Hölder continuous and let \(0<\theta<1,0<q\le \infty \). Put
Then
Remark 3.2
With only minor modifications to the following proof of Theorem 3.1, we can easily find that Theorem 3.1 is also true for general measure spaces \((R,\mu )\).
To prove the theorem above, we need the following technical lemma.
Lemma 3.3
For any \(t\in (0,\infty )\) and \(f\in {\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n)+L_{\infty }({\mathbb {R}}^n)\), we have
where
Proof
We show the above inequality in two steps.
Step 1: In this step, we show that
Let \(f=f_0+f_1\) with \(f_0\in {\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n),f_1\in L_{\infty }({\mathbb {R}}^n)\). Then we have \(f_0^{*}\in L_{p(\cdot )}([0,\infty ))\) and
From the property of the K-functional, we obtain
Taking the infimum over all decompositions \(f=f_0+f_1\in {\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n)+L_{\infty }({\mathbb {R}}^n)\), we get (3.1).
Step 2: By Step 1, it is enough to prove that
We can show easily (see also the proof of [19, Theorem 4.1]) that
First, we note that, for every \(g\in L_{p(\cdot )}([0,\infty ))\),
In fact, Definition 2.4 gives that
Furthermore, by (3.3), one can conclude that
Obviously, \(f_{*}(t)\le \Vert f\Vert _{L_{\infty }({\mathbb {R}}^n)}\) for any \(t>0\). For a given \(t>0\), divide the interval \((0,\infty )\) into the subintervals
when \(f \in {L_{\infty }({\mathbb {R}}^n)}\) and into the subintervals
when \(f \notin {L_{\infty }({\mathbb {R}}^n)}\). Further on, we estimate the last infimum of (3.4) on each subinterval.
For the estimation on the first interval \((0,f_{*}(t))\), denote
Then we have
Moreover,
Note that \(\{f^{*}>s\}=[0,d_f(s))\); see [10, Proposition 1.4.5(3)]. Since \(\chi _E^*=\chi _{[0,m(E))}\) for any measurable set \(E \subset {\mathbb {R}}^n\), we have
Thus
Since h is left-continuous, we conclude that \(h(f_{*}(t))\ge t\) for all \(t>0\). Moreover, we can take all \(0<\lambda <f_{*}(t)-\mu \) as \(0<\mu <f_{*}(t)\). Hence,
Now suppose that \(f \notin L_{\infty }({\mathbb {R}}^n)\). Since \(\lim _{t \rightarrow 0+0} f^*(t)=\infty \), we estimate (3.4) further by
Now suppose that \(f \in L_{\infty }({\mathbb {R}}^n)\). The same estimation holds on the second interval \([f_{*}(t),\Vert f\Vert _{L_{\infty }([0,\infty ))}]\) as in (3.6), because \(f^*(0)=\Vert f\Vert _{L_\infty ({\mathbb {R}}^n)} \ge \mu \) and \(f^*\) is right-continuous.
Finally, on the last interval,
Combining this with (3.2), (3.4), (3.5) and (3.6), we finish the proof of Lemma 3.3. \(\square \)
Now we are ready to prove Theorem 3.1.
Proof of Theorem 3.1
Step 1: In this step, we shall prove
For this, it suffices to show that
By (2.3), we find that
where the last inequality is referred to [19, p. 948]. On the other hand, it follows from Lemma 3.3 that
see also [19, p. 948] for the details. Thus (3.7) is valid.
Step 2: In this step, let us verify the reverse embedding, that is,
By (2.4), it is enough to check the following inequality:
To this end, we begin with a reformulation of \(K(t,f,{\mathcal {L}}_{p(\cdot )}({\mathbb {R}}^n),L_{\infty }({\mathbb {R}}^n))\). Similarly to (3.3),
By Proposition 2.9, we have
where
For fixed \(t>0\), we choose \(\mu =\mu (t)\) by
Since \(g(\cdot )\) is right-continuous, we have
Thus,
Applying (3.9), one can deduce that
Since
we conclude that
Set \(l=i+k\). If \((1-\theta )q\le b\), then
If \((1-\theta )q>b\), then we set \(r=\frac{(1-\theta )q}{b}\) and choose \(\delta \in \left( 0,\frac{\theta }{1-\theta }\right) \). A similar approach combined with Hölder’s inequality gives that
On the other hand, using (2.3), we find that
Hence, (3.8) holds. The proof is complete. \(\square \)
4 Interpolation between variable martingale Hardy spaces
This section is devoted to identifying the interpolation spaces between variable martingale Hardy spaces. The following theorem is the main result of this section.
Theorem 4.1
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition, \(0<\theta<1,0<q\le \infty \). Put
Then
and
Remark 4.2
According to Proposition 2.12, we can see that the real interpolation spaces between variable martingale Hardy \({\mathcal {H}}_{p(\cdot )}^s(\Omega )\) and \(H_{\infty }^s(\Omega )\) are just the classical Hardy–Lorentz martingale spaces \(H_ {{\tilde{p}}(0),q}^s(\Omega )\). The same holds for the other two types of spaces.
To prove this theorem, we state the following lemma first.
Lemma 4.3
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition, \(0<\theta<1,0<q\le \infty \) and \({\tilde{p}}(\cdot )\) be defined as (4.1). Then, for every \(f\in {\mathcal {H}}_{{\tilde{p}}(\cdot ),q}^s(\Omega )\) and \(t>0\), we have
where \(0<b<{\underline{p}}\).
Proof
Assume that \(f\in {\mathcal {H}}_{{\tilde{p}}(\cdot ),q}^s(\Omega )\). It follows from Lemma 2.16 that f can be decomposed as
where \((a^k)_{k\in {\mathbb {Z}}}\) is a sequence of \((1,{\tilde{p}}(\cdot ),\infty )\)-atoms with respect to the stopping time sequence \((\tau _k)_{k \in {\mathbb {Z}}}\) and \(\mu _k=3\cdot 2^k\Vert \chi _{\{\tau _k<\infty \}}\Vert _{{\mathcal {L}}_{{\tilde{p}}(\cdot )}(\Omega )}\; (k\in {\mathbb {Z}})\). Moreover, by the definition of \((1,{\tilde{p}}(\cdot ),\infty )\)-atom \(a^k\), we find that,
For any \(\lambda >0\), there exists a \(k_0\in {\mathbb {Z}}\) such that \(2^{k_0}<\lambda \le 2^{k_0+1}\). Denote
Then
Note that
(see [13, Lemma 3.5]). Therefore,
We obtain by Proposition 2.9 that
where \(0<b<{\underline{p}}\). This finishes the proof. \(\square \)
Remark 4.4
Similarly, by Lemma 2.17, one can deduce that
and
where \(0<b<{\underline{p}}\) and \((\lambda _n)\in \Gamma \) with \(\lim _{n\rightarrow \infty }\lambda _n=\lambda _{\infty }\).
Proof of Theorem 4.1
We are going to show the theorem for \({\mathcal {H}}_{p(\cdot )}^s(\Omega )\) only, since the proofs for the other two spaces are similar. Firstly, let us prove
Consider the operator \(T:f\rightarrow s(f)\). Note that both \(T:{\mathcal {H}}_{p(\cdot )}^s(\Omega )\rightarrow {\mathcal {L}}_{p(\cdot )}(\Omega )\) and \(H_{\infty }^s(\Omega )\rightarrow L_{\infty }(\Omega )\) are bounded. It follows from the interpolation theorem and Theorem 3.1 that
is bounded as well, which means that
Conversely, we show that
or, equivalently,
Let \(f\in {\mathcal {H}}_{{\tilde{p}}(\cdot ),q}^s(\Omega )\). Applying Lemma 4.3, we have, for every \(t>0\),
where \(0<b<{\underline{p}}\). Denote \(g(\lambda )=\Vert \chi _{\{s(f)>\lambda \}}\Vert _{{\mathcal {L}}_{p(\cdot )}(\Omega )}\). Then
Now an argument similar to Step 2 of the proof in Theorem 3.1 allows us to prove (4.2) as well as the theorem. \(\square \)
Remark 4.5
If \(p(\cdot )\equiv p\;(0<p<\infty )\), then the theorem above reduces to [27, Theorem 5.11].
5 Interpolation between variable martingale Hardy spaces and BMO spaces
In this section, we aim at formulating the real interpolation between variable martingale Hardy spaces and martingale BMO spaces. Recall that, for any \(r\in [1,\infty )\), the space \(BMO_r(\Omega )\) is defined to be the collection of all martingales \(f\in L_r(\Omega )\) such that
To be precise, we mainly obtain the following theorem.
Theorem 5.1
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition and let \(0<q\le \infty ,0<\theta <1\) with \(\theta +p_{-}>1\). Then
where \({\tilde{p}}(\cdot )\) was defined in (4.1).
Remark 5.2
According to Proposition 2.12, we can see that the real interpolation spaces between variable martingale Hardy \({\mathcal {H}}_{p(\cdot )}^s(\Omega )\) and \(BMO_2(\Omega )\) are just the classical Hardy–Lorentz martingale spaces \(H_ {{\tilde{p}}(0),q}^s(\Omega )\).
In order to prove the theorem above, we also introduce the sharp maximal function \(f_r^s\) and BMO space \(BMO_r^s(\Omega )\), which were developed by Weisz [27]. For any \(r>0\), the sharp maximal function \(f_r^s\) of a martingale \(f=(f_n)_{n\ge 0}\) is defined by
and \(BMO_r^s(\Omega )\) denotes the set of all martingales \(f=(f_n)_{n\ge 0}\) for which
Obviously, \(\Vert f\Vert _{BMO_r^s(\Omega )}=\Vert f_r^s\Vert _{L_{\infty }(\Omega )}\). It was proved in [27, Theorem 2.50] that, for every \(r>0\),
with equivalent quasi-norms.
Before proving Theorem 5.1, we first give the following technical results.
Proposition 5.3
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition and let \(r\in (0,p_{-})\). Then
Proof
Note that
Since \(r\in (0,p_{-})\), it follows immediately from (2.3) and Lemma 2.13 that
which completes the proof. \(\square \)
Proposition 5.4
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition and let \(q\in (0,\infty ]\). If \(r\in [1,\infty )\), then there exists a positive constant C such that, for every martingale f,
To prove this proposition, we need the following lemma.
Lemma 5.5
[23, Lemma 1] If \(r\in [1,\infty )\), then, for any martingale \(f=(f_n)_{n\ge 0}\), we have
Now we provide the proof of Proposition 5.4.
Proof of Proposition 5.4
Since \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfies the locally log-Hölder continuous condition, by Proposition 2.12, we know that the quasi-norm \(\Vert \cdot \Vert _{{\mathcal {L}}_{p(\cdot ),q}(\Omega )}\) is equivalent to the quasi-norm \(\Vert \cdot \Vert _{L_{p(0),q}(\Omega )}\). Hence, to prove Proposition 5.4, it suffices to show that
Recall that \(\Vert s(f)\Vert _{L_{p,\infty }(\Omega )}\lesssim \Vert f_r^s\Vert _{L_{p,\infty }(\Omega )}\) for any \(0<r,p<\infty \) (see [24, Theorem 2.3]) and \(\Vert s(f)\Vert _{L_{p,q}(\Omega )}\lesssim \Vert f_r^s\Vert _{L_{p,q}(\Omega )}\) for any \(0<p<\infty ,1\le q,r<\infty \) (see [23, Theorem 1]). It remains to verify (5.2) for the case \(0<q<1\). Applying Lemma 5.5, we find that
which implies that (5.2) is valid for \(0<q<1\). Now the proof is complete. \(\square \)
Based on the results above, we are ready to prove Theorem 5.1.
Proof of Theorem 5.1
Let us prove this theorem in two steps.
Step 1: In this step, we verify Theorem 5.1 for the case \(p_{-}>1\). From (5.1) and the boundedness of the Doob maximal operator on \(L_{\infty }(\Omega )\), it follows that
Combining this with Theorem 4.1, we deduce that
where \({\tilde{p}}(\cdot )\) was defined in (4.1).
Conversely, for any \(r\in [1,p_{-})\), consider the operator \(T_r^s:f\rightarrow f_r^s\). Obviously, \(T_r^s\) is sublinear. By (5.1), it is easy to see that \(T_r^s:BMO_2(\Omega )\rightarrow L_{\infty }(\Omega )\) is bounded. Since \(r<p_{-}\), we deduce from Proposition 5.3 that \(T_r^s:{\mathcal {H}}_{p(\cdot )}^s(\Omega )\rightarrow {\mathcal {L}}_{p(\cdot )}(\Omega )\) is bounded as well. Applying Theorem 3.1, we find that
is bounded. In other words,
Since \(r\ge 1\), from this and Proposition 5.4, one can conclude that
Consequently, \(({\mathcal {H}}_{p(\cdot )}^s(\Omega ),BMO_2(\Omega ))_{\theta ,q}={\mathcal {H}}_{{\tilde{p}} (\cdot ),q}^s(\Omega )\) for the case \(p_{-}>1\), which finishes the proof of Step 1.
Step 2: In this step, we show Theorem 5.1 for the case \(p_{-}\le 1\) with \(\theta +p_{-}>1\). Since \(\theta +p_{-}>1\), there exists \(\lambda \in (0,1)\) such that \(p_{-}>1-\theta \lambda \). Let \(\eta \in (0,1)\) with \(\eta =\lambda \theta \) and let \(0<q,{\bar{q}}\le \infty \). It then follows from Lemma 2.18 and Theorem 4.1 that
Moreover, we can find a number \(\beta \in (1,\infty )\) such that \(\frac{1}{p_{-}}<\beta <\frac{1}{1-\eta }\), and choose \(\alpha \in (0,1)\) such that \(1-\alpha =\beta (1-\eta )\). We know that \(1- \eta < p_-\), thus \(\beta p_{-}>1\). By Step 1 of this proof, we have
Take \(\mu \in (0,1)\) satisfying \((1-\mu )(1-\alpha )=\beta (1-\theta )\). Using the preceding equality and Lemma 2.18, we further get
Now, set
and
From the argument above, it follows immediately that
Therefore, applying Lemma 2.19, we obtain
that is, \(({\mathcal {H}}_{p(\cdot )}^s(\Omega ),BMO_2(\Omega ))_{\theta ,q}={\mathcal {H}}_{{\tilde{p}} (\cdot ),q}^s(\Omega )\). Now the proof is complete. \(\square \)
Recall that the stochastic basis \(({\mathcal {F}}_n)_{n\ge 0}\) is said to be regular, if for every \(n\ge 0\) and \(A\in {\mathcal {F}}_n\), there exists \(B\in {\mathcal {F}}_{n-1}\) such that
where K is a positive constant independent of n and the choices A and B; see [21]. From [16, Theorem 5.4], it follows that, if \(({\mathcal {F}}_n)_{n\ge 0}\) is regular and \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfies the locally log-Hölder continuous condition, then,
with equivalent quasi-norms. Furthermore, for any \(q\in (0,\infty ]\),
with equivalent quasi-norms; see [28, Theorem 4.4]. A combination of these results and Theorem 5.1 immediately yields the following corollary.
Corollary 5.6
Let \(p(\cdot )\in {\mathcal {B}}([0,1])\) satisfy the locally log-Hölder continuous condition and let \(0<q\le \infty ,0<\theta <1\) with \(\theta +p_{-}>1\). If \(({\mathcal {F}}_n)_{n\ge 0}\) is regular, then
where \({\tilde{p}}(\cdot )\) was defined in (4.1). Here X denotes one of the spaces \({\mathcal {H}}^S,{\mathcal {H}}^M,{\mathcal {P}}\) and \({\mathcal {Q}}\).
Applying Lemma 2.18 together with Theorem 5.1 and Corollary 5.6, one can further obtain the real interpolation between variable martingale Hardy–Lorentz spaces and martingale BMO spaces.
References
Aoyama, H.: Lebesgue spaces with variable exponent on a probability space. Hiroshima Math. J. 39, 207–216 (2009)
Bennett, C., Sharpley, R.: Interpolation of Operators. Academic Press Inc, Boston, MA (1988)
Bergh, J., Löfström, J.: Interpolation Spaces. An Introduction. Springer-Verlag, Berlin, New York (1976)
Cruz-Uribe, D., Fiorenza, A.: Variable Lebesgue Spaces. Birkhäuser/Springer, Heidelberg (2013)
Diening, L., Harjulehto, P., Hästö, P., Råužička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Heidelberg (2011)
Diening, L., Samko, S.: Hardy inequality in variable exponent Lebesgue spaces. Fract. Calc. Appl. Anal. 10, 1–18 (2007)
Ephremidze, L., Kokilashvili, V., Samko, S.: Fractional, maximal and singular operators in variable exponent Lorentz spaces. Fract. Calc. Appl. Anal. 11, 407–420 (2008)
Fefferman, C., Rivière, N., Sagher, Y.: Interpolation between \(H^{p}\) spaces: the real method. Trans. Am. Math. Soc. 191, 75–81 (1974)
Garsia, A.: Martingale Inequalities: Seminar Notes on Recent Progress. Mathematics Lecture Note Series. W. A. Benjamin Inc., Reading, MA (1973)
Grafakos, L.: Classical Fourier Analysis. Graduate Texts in Mathematics, 2nd edn. Springer, New York (2008)
Hao, Z., Jiao, Y.: Fractional integral on martingale Hardy spaces with variable exponents. Fract. Calc. Appl. Anal. 18, 1128–1145 (2015)
Ho, K.: Atomic decompositions, dual spaces and interpolations of martingale Hardy–Lorentz–Karamata spaces. Q. J. Math. 65, 985–1009 (2014)
Jiao, Y., Weisz, F., Wu, L., Zhou, D.: Real interpolation for variable martingale Hardy spaces. J. Math. Anal. Appl. 491, 124267 (2020)
Jiao, Y., Weisz, F., Wu, L., Zhou, D.: Variable martingale Hardy spaces and their applications in Fourier analysis. Dissertation. Math. 550, 67 (2020)
Jiao, Y., Weisz, F., Wu, L., Zhou, D.: Dual spaces for variable martingale Lorentz–Hardy spaces. Banach J. Math. Anal. 15, 31 (2021)
Jiao, Y., Zeng, D., Zhou, D.: New variable martingale Hardy spaces. Proc. Roy. Soc. Edinburgh Sect. A 152, 450–478 (2022)
Jiao, Y., Zhou, D., Hao, Z., Chen, W.: Martingale Hardy spaces with variable exponents. Banach J. Math. Anal. 10, 750–770 (2016)
Jiao, Y., Zuo, Y., Zhou, D., Wu, L.: Variable Hardy–Lorentz spaces \(H^{p(\cdot ), q}({\mathbb{R} }^n)\). Math. Nachr. 292, 309–349 (2019)
Kempka, H., Vybíral, J.: Lorentz spaces with variable exponents. Math. Nachr. 287, 938–954 (2014)
Kokilashvili, V., Samko, S.: Singular integrals and potentials in some Banach function spaces with variable exponent. J. Funct. Spaces Appl. 1, 45–59 (2003)
Long, R.: Martingale Spaces and Inequalities. Peking University Press, Beijing (1993)
Nakai, E., Sadasue, G.: Maximal function on generalized martingale Lebesgue spaces with variable exponent. Stat. Prob. Lett. 83, 2168–2171 (2013)
Ren, Y.: A note on some inequalities of martingale sharp functions. Math. Inequal. Appl. 16, 153–157 (2013)
Ren, Y.: Real interpolation with a function parameter for martingale Hardy–Lorentz and BMO spaces. J. Math. Inequal. 14, 1055–1066 (2020)
Ren, Y., Guo, T.: Interpolation of Lorentz martingale spaces. Sci. China Math. 55, 1951–1959 (2012)
Weisz, F.: Interpolation between martingale Hardy and BMO spaces, the real method. Bull. Sci. Math. 116, 145–158 (1992)
Weisz, F.: Martingale Hardy Spaces and Their Applications in Fourier Analysis. Lecture Notes in Mathematics, vol. 1568. Springer-Verlag, Berlin (1994)
Zeng, D.: Martingale inequalities and fractional integral operator in variable Hardy–Lorentz spaces. J. Math. Anal. Appl. 500, 125169 (2021)
Zhuo, C., Yang, D., Yuan, W.: Interpolation between \(H^{p(\cdot )}({\mathbb{R} }^n)\) and \(L^\infty ({\mathbb{R} }^n)\): real method. J. Geom. Anal. 28, 2288–2311 (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Quanhua Xu.
Jianzhong Lu is supported by the Fundamental Research Funds for the Central University of Central South University (No. 2021zzts0032).
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
Lu, J., Weisz, F. & Zhou, D. Real interpolation of variable martingale Hardy spaces and BMO spaces. Banach J. Math. Anal. 17, 47 (2023). https://doi.org/10.1007/s43037-023-00270-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43037-023-00270-5