Abstract
This article is devoted to presenting a general interpolation result on mixed-norm function spaces generated by quasi-Banach lattices. Under certain conditions, the authors show that such mixed-norm function spaces are closed under the Calderón product and the ± interpolation method. As applications, the authors obtain some new interpolation results for mixed-norm variable Lebesgue spaces, mixed-norm Lorentz spaces, and mixed-norm Morrey spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
As a generalization of the classical Lebesgue space, the mixed-norm Lebesgue space \(L^{\mathbf {p}}({{\mathbb {R}}^n})\) with \(\mathbf {p}:=(p_1,\dots ,p_n)\in (0,\infty )^n\), which is defined to be the set of all measurable functions f on \({{\mathbb {R}}^n}\) such that
was introduced by Benedek and Panzone [3]. After that, on the mixed-norm Lebesgue spaces as well as their weighted counterparts, the boundedness of some classical operators such as fractional integrals and Calderón–Zygmund operators (see, for instance, [3, 8, 10, 46]), various inequalities such as Hardy–Littlewood–Sobolev inequalities and geometric inequalities (see, for instance, [7, 9, 65]), interpolations (see, for instance, [37, 53]) and convergence problems of summability means (see, for instance, [35]) were considered. In recent years, there also exists an increasing interest in various mixed-norm function spaces based on mixed-norm Lebesgue spaces, including mixed-norm weak Lebesgue spaces (see, for instance, [7,8,9,10]), mixed-norm Morrey spaces (see, for instance, [56, 61]), mixed-norm Hardy spaces (see, for instance, [12, 13, 30,31,32,33,34]), mixed-norm Besov spaces (see, for instance, [20]), and mixed-norm Triebel–Lizorkin spaces (see, for instance, [38, 39]). Moreover, Bennett and Sharpley [4] considered a more general class of mixed-norm function spaces generated by Banach function spaces (see also [5]), which was further studied and developed in [1, 2, 11, 28, 50, 62]. For more developments of mixed-norm function spaces, we refer the reader to the survey [36].
The main purpose of this article is to give a general result on the interpolation properties of mixed-norm function spaces generated by quasi-Banach lattices. Under certain conditions, we show that many mixed-norm function spaces, such as mixed-norm Lebesgue spaces with variable exponent, mixed-norm Lorentz spaces (and hence mixed-norm weak Lebesgue spaces), and mixed-norm Morrey spaces, are closed under the Calderón product and the ± interpolation method. These interpolation results might find potential applications in the study on the boundedness of operators on those mixed-norm function spaces.
Let \(({\mathcal X},\mu )\) be a measure space, namely, \({\mathcal X}\) is a non-empty set and \(\mu \) a non negative measure. Let \(M({\mathcal X})\) be the set of all extended complex-valued measurable functions on \({\mathcal X}\) and \(L^0({\mathcal X})\) the space of all equivalence classes of almost everywhere finite measurable functions on \({\mathcal X}\) with the topology of convergence in measure on sets of finite measure. A quasi-Banach space \(X\subset L^0({\mathcal X})\) is called a quasi-Banach lattice of functions (in short, quasi-Banach lattice) if, for any \(f\in X\) and any \(g \in M({\mathcal X})\) satisfying \(|g|\le |f|\) almost everywhere, it holds true that \(g\in X\) and \(\Vert g\Vert _X\le \Vert f\Vert _X\). Let \((X_0,X_1)\) be a pair of quasi-Banach lattices on \(({\mathcal X},\mu )\) and \(\theta \in (0,1)\). Then, their Calderón product \(X_0^{1-\theta }X_1^\theta \) is defined by setting
and, for any \(f\in X_0^{1-\theta }X_1^\theta \), its norm \(\Vert f\Vert _{X_0^{1-\theta }X_1^\theta }\) is defined by setting
where the infimum is taken over all the presentations as in (1.1). Calderón [6] proved that, if \(X_0\) and \(X_1\) are two quasi-Banach lattices, then \(X_0^{1-\theta }X_1^\theta \) is a quasi-Banach lattice as well.
Let \(X:=X({\mathcal X},\mu )\) and \(Y:=Y({\mathcal Y},\nu )\) be two quasi-Banach lattices. Then, the mixed-norm function space Y(X), in the sense of Benedek and Panzone [3] (see also [5]), is defined to be the set of all measurable functions f on the product space \(({\mathcal X}\times {\mathcal Y},\mu \times \nu )\) satisfying
Here and thereafter, \(\Vert f(x,y)\Vert _{X_x}\) denotes the norm in X of f(x, y) on the variable x and \(\Vert f(x,y)\Vert _{Y_y}\) the norm in Y of f(x, y) on the variable y. Observe that, if \(f\in Y(X)\), then, for almost every \(y\in {\mathcal Y}\), \(f(\cdot ,y)\in X\). It is also known that the mixed-norm function space Y(X) generated by quasi-Banach lattices is still a quasi-Banach lattice with the quasi-norm \(\Vert \cdot \Vert _{Y(X)}\) (see, for instance, [5]).
Recall that a Banach space E on \(({\mathcal X},\mu )\) is called a Banach ideal if there exists a function \(f\in E\) such that \(f\ge 0\) almost everywhere on \({\mathcal X}\), and \(\Vert g\Vert _E\le \Vert h\Vert _E\) whenever \(g,\ h\in E\) satisfying \(|g|\le |h|\) almost everywhere on \({\mathcal X}\) (see, for instance, [50, p. 282]). Clearly, any Banach ideal is a quasi-Banach lattice.
In [50], Maligranda studied the Calderón–Lozanovskiĭ construction for mixed-norm function spaces generated by Banach ideals, which also describes their Calderón product. However, it is unknown how the Calderón product behaves on mixed-norm function spaces generated by quasi-Banach lattices. The first main result of this article answers this question as follows.
Theorem 1.1
Let \(\theta \in (0,1)\). Assume that \((X_0,X_1)\) and \((Y_0,Y_1)\) are two pairs of quasi-Banach lattices, respectively, on \(({\mathcal X},\mu )\) and \(({\mathcal Y},\nu )\). Then,
with equivalent quasi-norms, where \(X:=X_0^{1-\theta }X_1^\theta \) and \(Y:=Y_0^{1-\theta }Y_1^\theta \).
The proof of Theorem 1.1 is given in Sect. 2. Applying Theorem 1.1, we further obtain some interpolation properties of mixed-norm function spaces generated by quasi-Banach lattices via some different interpolation methods.
To see this, we let \(X_0\) and \(X_1\) be two quasi-Banach spaces on \(({\mathcal X},\mu )\), which are continuously embedded into a larger Hausdorff topological space Y. Let
By [6, p. 114], we know that \((X_0\cap X_1, \Vert \cdot \Vert _{X_0\cap X_1})\) is complete. The space \(X_0+X_1\) is defined by setting
equipped with the norm
where the infimum is taken over all the representations as in (1.4). Notice that \(X_0+X_1\) is a quasi-Banach space; see [6, p. 114].
Next, we recall the definitions of the Gagliardo–Peetre interpolation method (see, for instance, [19]) and the ± interpolation method (see, for instance, [55, 60] and also [22, 23]).
Definition 1.2
Let \((X_0,X_1)\) be a pair of quasi-Banach lattices and \(\theta \in (0,1)\).
-
(i)
(The Gagliardo–Peetre method) We say \(a\in \langle X_0,X_1\rangle _\theta \) if there exists a sequence \(\{a_i\}_{i\in {\mathbb Z}}\subset X_0\cap X_1\) such that \(a=\sum _{i\in {\mathbb Z}}a_i\) in \(X_0+X_1\), \(\sum _{i\in {\mathbb Z}}\varepsilon _i2^{i(j-\theta )}a_i\) for any bounded sequence \(\{\varepsilon _i\}_{i\in {\mathbb Z}}\subset {\mathbb C}\) converges in \(X_j\) with \(j\in \{0,1\}\), and, moreover, there exists a nonnegative constant C such that, for any \(j\in \{0,1\}\),
$$\begin{aligned} \left\| \sum _{i\in {\mathbb Z}}\varepsilon _i2^{i(j-\theta )}a_i\right\| _{X_j}\le C\sup _{i\in {\mathbb Z}}|\varepsilon _i|, \end{aligned}$$(1.6)where C is independent of F \(\{a_i\}_{i\in {\mathbb Z}}\) and \(\{\varepsilon _i\}_{i\in {\mathbb Z}}\). Let
$$\begin{aligned} \Vert a\Vert _{\langle X_0,X_1\rangle _\theta }:=\inf \{C\}, \end{aligned}$$where the infimum is taken over all the nonnegative constants satisfying (1.6).
-
(ii)
(The ± method) We say \(a\in \langle X_0,X_1,\theta \rangle \) if there exists a sequence \(\{a_i\}_{i\in {\mathbb Z}}\subset X_0\cap X_1\) such that \(a=\sum _{i\in {\mathbb Z}}a_i\) in \(X_0+X_1\), \(\sum _{i\in F}\varepsilon _i2^{i(j-\theta )}a_i\) for any finite subset \(F\subset {\mathbb Z}\) and any bounded sequence \(\{\varepsilon _i\}_{i\in {\mathbb Z}}\subset {\mathbb C}\) converges in \(X_j\) with \(j\in \{0,1\}\), and, moreover, there exists a nonnegative constant C such that, for any \(j\in \{0,1\}\),
$$\begin{aligned} \left\| \sum _{i\in F}\varepsilon _i2^{i(j-\theta )}a_i\right\| _{X_j}\le C\sup _{i\in {\mathbb Z}}|\varepsilon _i|, \end{aligned}$$(1.7)where C is independent of \(\{a_i\}_{i\in {\mathbb Z}}\) and \(\{\varepsilon _i\}_{i\in {\mathbb Z}}\). Let
$$\begin{aligned} \Vert a\Vert _{\langle X_0,X_1,\theta \rangle }:=\inf \{C\}, \end{aligned}$$where the infimum is taken over all the nonnegative constants satisfying (1.7).
Below, for any two spaces X and Y, \(X\subset Y\) means that X is a subset of Y, and \(X\hookrightarrow Y\) means that X is continuously embedded into Y. It is easy to see that \(\langle X_0,X_1\rangle _\theta \hookrightarrow \langle X_0,X_1,\theta \rangle \) for any \(\theta \in (0,1)\) and any pair \((X_0,X_1)\) of quasi-Banach lattices.
Definition 1.3
Let \((X_0,X_1)\) be a pair of quasi-Banach lattices. Then, a quasi-Banach space X is called an intermediate space with respect to \((X_0,X_1)\) if and only if \(X_0\cap X_1\hookrightarrow X\hookrightarrow X_0+X_1\).
Assume that X is an intermediate space with respect to \((X_0,X_1)\) and \(X^{\circ }\) denotes the closure of \(X_0\cap X_1\) in X. The Gagliardo closure of X with respect to \(X_0+X_1\), denoted by \(X^{\sim }\), is defined in the following sense: \(a\in X^\sim \) if and only if there exists a sequence \(\{a_i\}_{i\in {\mathbb N}}\subset X\) such that \(a_i\rightarrow a\) in \(X_0+X_1\) as \(i\rightarrow \infty \) and there exists a positive constant \(\lambda \) such that, for any \(i\in {\mathbb N}\),
The norm \(\Vert a\Vert _{X^\sim }\) of a in \(X^\sim \) is defined by setting \(\Vert a\Vert _{X^\sim }:=\inf \{\lambda \}\), where the infimum is taken over all \(\lambda \in (0,\infty )\) satisfying (1.8) (see, for instance, [19]).
Let X be a quasi-Banach lattice and \(p\in (0,\infty )\). The p-convexification of X (see, for instance, [55, p. 140]), denoted by \(X^{(p)}\), is defined by setting \(f\in X^{(p)}\) if and only if \(|f|^p\in X\). Moreover, for any \(f\in X^{(p)}\), let
The following definition is just [55, Definition 1.7].
Definition 1.4
A quasi-Banach lattice \(X:=(X,\Vert \cdot \Vert _X)\) is said to be of type\({\mathfrak {C}}\) if there exists an equivalent lattice quasi-norm \(\Vert |\cdot |\Vert _X\) on X such that, for some \(p\in [1,\infty )\), \(X^{(p)}\) is a Banach lattice with respect to the norm defined as in (1.9) with \(\Vert \cdot \Vert _X\) replaced by \(\Vert |\cdot |\Vert _X\).
Let \(({\mathcal X},\mu )\) be a \(\sigma \)-finite measure space. For any sequence \(\{a_j\}_{j\in {\mathbb N}}\subset {\mathbb R}\) and \(a\in {\mathbb R}\), \(a_j\uparrow a\) as \(j\rightarrow \infty \) means that \(\{a_j\}_{j\in {\mathbb N}}\) is a non-decreasing sequence and \(\lim _{j\rightarrow \infty }a_j=a\). Denote by \({\mathbf {1}}_E\) the characteristic function of E for any set \(E\subset {\mathcal X}\).
The following definition of the quasi-Banach function space is from [4, Definitions 1.1 and 1.3] (see also [5, Subsection 3.1]).
Definition 1.5
A quasi-Banach space \(X\subset M({\mathcal X})\) with the quasi-norm \(\Vert \cdot \Vert _X\) is called a quasi-Banach function space if it satisfies the following assertions:
-
(i)
for any \(f\in X\), \(\Vert f\Vert _X=0\) implies \(f=0\) almost everywhere on \({\mathcal X}\);
-
(ii)
\(g,\ f\in X\) and \(|g|\le |f|\) almost everywhere imply \(\Vert g\Vert _X\le \Vert f\Vert _X\);
-
(iii)
if \(\{f_j\}_{j\in {\mathbb N}}\subset M({\mathcal X})\) is a sequence of nonnegative functions and \(f\in M({\mathcal X})\), then \(f_j\uparrow f\) almost everywhere as \(j\rightarrow \infty \) implies \(\Vert f_j\Vert _X\uparrow \Vert f\Vert _X\) as \(j\rightarrow \infty \);
-
(iv)
for any measurable set \(E\subset {\mathcal X}\) with finite measure, \({\mathbf {1}}_E\in X\);
-
(v)
for any measurable set \(E\subset {\mathcal X}\) with finite measure, there exists a positive constant \(C_{(E)}\), depending on E, such that, for any \(f\in X\),
$$\begin{aligned} \int _E|f(x)|\,d\mu (x)\le C_{(E)}\Vert f\Vert _X. \end{aligned}$$(1.10)
Additionally, if \({\mathcal X}\) is a product space, we require \(E\subset I\) for some rectangle \(I\subset {\mathcal X}\) with finite measure in (iv) and (v).
In some situations, the condition (1.10) is a bit restrictive because some classical function spaces, such as Morrey spaces, may violate it (see, for instance, [63]). To overcome this and unify more function spaces, Sawano et al. [64] introduced the following ball quasi-Banach function spaces.
Definition 1.6
A quasi-Banach space \(X\subset M({\mathcal X})\) with the quasi-norm \(\Vert \cdot \Vert _X\) is called a ball quasi-Banach function space if it satisfies the following assertions:
-
(i)
for any \(f\in X\), \(\Vert f\Vert _X=0\) implies \(f=0\) almost everywhere on \({\mathcal X}\);
-
(ii)
\(g,\ f\in X\) and \(|g|\le |f|\) almost everywhere imply \(\Vert g\Vert _X\le \Vert f\Vert _X\);
-
(iii)
if \(\{f_j\}_{j\in {\mathbb N}}\subset M({\mathcal X})\) is a sequence of non negative functions and \(f\in M({\mathcal X})\), then \(f_j\uparrow f\) almost everywhere as \(j\rightarrow \infty \) implies \(\Vert f_j\Vert _X\uparrow \Vert f\Vert _X\) as \(j\rightarrow \infty \);
-
(iv)
for any ball \(B\subset {\mathcal X}\) with finite radius, \({\mathbf {1}}_B\in X\) (if \({\mathcal X}\) is a product space, we require \(B\subset I\) with I being the product of two balls with finite radius).
In addition, a ball quasi-Banach function space X is called a ball Banach function space if its norm satisfies the triangle inequality and, for any ball \(B\subset {\mathcal X}\) with finite radius, there exists a positive constant \(C_{(B)}\), depending on B, such that, for any \(f\in X\),
(if \({\mathcal X}\) is a product space, we require \(B\subset I\) with I being the product of two balls with finite radius).
Remark 1.7
Observe that, in Definition 1.6, if we replace any ball B by any bounded measurable set E, we obtain its another equivalent formulation of ball quasi-Banach function spaces.
Compared with quasi-Banach function spaces, ball quasi-Banach function spaces contain more function spaces. For instance, Morrey spaces, mixed-norm Lebesgue spaces, weighted Lebesgue spaces, and Orlicz-slice spaces are all ball quasi-Banach function spaces, but not quasi-Banach function spaces (see, for instance, [64]).
Bennett and Sharpley established several basic properties of quasi-Banach function spaces in [4, Chapter 1]. With some arguments similar to those used in [4, Chapter 1], we obtain the following properties of ball quasi-Banach function spaces and we omit the details.
Proposition 1.8
Let X be a ball quasi-Banach function space on \(({\mathcal X},\mu )\). Then, for any \(f,\ g\in M({\mathcal X})\) and sequence \(\{f_j\}_{j\in {\mathbb N}}\subset M({\mathcal X})\), the following statements hold true:
-
(i)
(the lattice property) If \(|g|\le |f|\) almost everywhere and \(f\in X\), then \(g\in X\) and \(\Vert g\Vert _X\le \Vert f\Vert _X\).
-
(ii)
(the Fatou property) Assume that \(\{f_j\}_{j\in {\mathbb N}}\subset X\) is a sequence of nonnegative functions satisfying \(f_j\uparrow f\) almost everywhere as \(j\rightarrow \infty \). If \(f\in X\), then \(\Vert f_j\Vert _X\uparrow \Vert f\Vert _X\) as \(j\rightarrow \infty \); whereas, if \(f\notin X\), then \(\Vert f_j\Vert _X\uparrow \infty \) as \(j\rightarrow \infty \).
-
(iii)
(the Fatou lemma) Assume that \(\{f_j\}_{j\in {\mathbb N}}\subset X\) satisfy \(\lim _{j\rightarrow \infty }f_j=f\) almost everywhere and \(\liminf _{j\rightarrow \infty }\Vert f_j\Vert _X<\infty \). Then, \(f\in X\) and \(\Vert f\Vert _X\le \liminf _{j\rightarrow \infty }\Vert f_j\Vert _X\).
Moreover, if X is a ball Banach function space and \(f_j\rightarrow f\) in X as \(j\rightarrow \infty \), then there exists a subsequence \(\{f_{j_k}\}_{k\in {\mathbb N}}\) such that \(\lim _{k\rightarrow \infty }f_{j_k}=f\) almost everywhere on \(({\mathcal X},\mu )\).
Remark 1.9
Let \(X:=X({\mathcal X},\mu )\) and \(Y:=Y({\mathcal Y},\nu )\) be two ball quasi-Banach function spaces and Y(X) the mixed-norm function space generated by X and Y defined as in (1.3). Using iteration, we find that the mixed-norm function space Y(X) is also a ball quasi-Banach function space as well (see [5, p.158] for the case of Banach function spaces).
The following theorem is the second main result of this article.
Theorem 1.10
Let \(\theta \in (0,1)\). Assume that, for any \(i\in \{0,1\}\), \(X_i\) and \(Y_i\) are ball quasi-Banach function spaces defined, respectively, on \(({\mathcal X},\mu )\) and \(({\mathcal Y},\nu )\), and \(Y_i(X_i)\) is of type \({\mathfrak {C}}\). Let \(X:=X_0^{1-\theta }X_1^\theta \) and \(Y:=Y_0^{1-\theta }Y_1^\theta \). Then
with equivalent quasi-norms. Moreover, if \((X_0,X_1)\) and \((Y_0,Y_1)\) are two pairs of ball Banach function spaces, then
with equivalent norms.
The remainder of this article is organized as follows.
In Sect. 2, we give the proofs of Theorems 1.1 and 1.10. In the proof of Theorem 1.10, we need two key tools: one is the relation between the Calderón product and the ±-interpolation space established in [55, Theorem 2.1], and the other one is the behavior of limits of pointwise convergent sequences in ball quasi-Banach function spaces mentioned in Proposition 1.8. In Sect. 3, we show several examples of function spaces falling into the scope of Theorem 1.10, including mixed-norm Lebesgue spaces with variable exponent, mixed-norm Lorentz spaces (and hence mixed-norm weak Lebesgue spaces), and mixed-norm Morrey spaces. Some of them are new even for the classical function spaces, for instance, the Calderón product results for mixed-norm Lebesgue spaces with variable exponent (see Proposition 3.3 below) and mixed-norm Lorentz spaces (see Propositions 3.7 and 3.9 below).
Throughout this article, we always adopt the following notation. Let \({\mathbb N}:=\{1,2,\dots \}\). We always use C to denote a positive constant which is independent of the main parameters. The symbol \(f\lesssim g\) means that there exists a positive constant C such that \(f\le Cg.\) The symbol \(f\sim g\) is used as an abbreviation of \(f\lesssim g\lesssim f\). If \(f\le Cg\) and \(g=h\) or \(g\le h\), we then write \(f\lesssim g\sim h\) or \(f\lesssim g\lesssim h\), rather than \(f\lesssim g=h\) or \(f\lesssim g\le h\). For any set E, let \({\mathbf {1}}_E\) be its characteristic function. For any \(p\in [1,\infty ]\), let \(p'\) be the conjugate index of p, namely, \(1/p+1/p'=1\).
2 Proofs of Theorems 1.1 and 1.10
We begin with proving Theorem 1.1.
Proof
(Proof of Theorem 1.1) We first show that
Indeed, by the definition of the Calderón product, we know that, for any \(f\in [Y_0(X_0)]^{1-\theta }[Y_1(X_1)]^{\theta }\), there exist functions \(f_0\in Y_0(X_0)\) and \(f_1\in Y_1(X_1)\) such that, for almost every \((x,y)\in {\mathcal X}\times {\mathcal Y}\),
and
Since two functions differing only on a set of measure zero are the same in the Calderón product, without loss of generality, we may assume that (2.2) holds true for any \((x,y)\in {\mathcal X}\times {\mathcal Y}\).
Notice that, for almost every \(y\in {\mathcal Y}\), \(f_0(\cdot ,y)\in X_0\) and \(f_1(\cdot ,y)\in X_1\). From this, the definition of the Calderón product, and (2.2), we deduce that, for almost every \(y\in {\mathcal Y}\), \(f(\cdot ,y)\in X_0^{1-\theta }X_1^\theta = X \qquad {and }\)
furthermore, by the fact that \(f_0\in Y_0(X_0)\) and \(f_1\in Y_1(X_1)\), we conclude that \(\Vert f_0(\cdot ,y)\Vert _{X_0}\in Y_0\) and \(\Vert f_1(\cdot ,y)\Vert _{X_1}\in Y_1\), which, together with (2.4) and (2.3), implies that \(\Vert f(\cdot ,y)\Vert _X\in Y_0^{1-\theta }Y_1^\theta =Y\) and
This shows that (2.1) holds true.
Next, we prove
Observe that, for any \(f\in Y(X)\), there exists a set \(E\subset {\mathcal Y}\) with \(\nu (E)=0\) such that, for any given \(y\in {\mathcal Y}\backslash E\), \(f(\cdot ,y)\in X=X_0^{1-\theta }X_1^\theta .\) Then, by the definition of \(X_0^{1-\theta }X_1^\theta \), we know that, for any \(y\in {\mathcal Y}\backslash E\), there exist two functions \(g_0(\cdot ,y)\in X_0\) and \(g_1(\cdot ,y)\in X_1\) such that, for almost every \(x\in {\mathcal X},\)
and
Again, since two functions differing only on a set of measure zero are the same in \(X_0\) and \(X_1\), we may assume that (2.6) holds true for any \((x,y)\in {\mathcal X}\times ({\mathcal Y}\backslash E)\). Similarly, from the fact that \(\Vert f(\cdot ,y)\Vert _{X}\in Y=Y_0^{1-\theta }Y_1^\theta \), it follows that there exist two functions \(h_0\in Y_0\) and \(h_1\in Y_1\) such that, for any \(y\in {\mathcal Y},\)
and
Let
Define
for any \((x,y)\in {\mathcal X}\times ({\mathcal Y}\backslash E)\), and \(f_0(x,y):=0\) and \(f_1(x,y):=0\) for any \((x,y)\in {\mathcal X}\times E\). Clearly, \(f_0\in Y_0(X_0)\), \(f_1\in Y_1(X_1)\), and, moreover,
We claim
holds true almost everywhere on \({\mathcal X}\times {\mathcal Y}\). Assume for the moment that the claim holds true. Then, from the definition of the Calderón product and (2.9), we deduce that
which implies \(f\in [Y_0(X_0)]^{1-\theta }[Y_1(X_1)]^{\theta }\) and hence (2.5) holds true.
It remains to show (2.10). By (2.8) and (2.7), we know that, for any \((x,y)\in {\mathcal X}\times ({\mathcal Y}\backslash E)\),
Observe that, by Definition 1.6(i), we may assume that, for any \(y\in {\mathcal Y}\backslash E\) and \(y\notin A_0\),
similarly, for any \(y\in {\mathcal Y}\backslash E\) and \(y\notin A_1\),
From this, (2.12), and (2.11), it follows that
Thus, by this and (2.6), we conclude that
and hence (2.10) holds true almost everywhere on \(({\mathcal X}\times {\mathcal Y},\mu \times \nu )\). This finishes the proof of Theorem 1.1. \(\square \)
To prove Theorem 1.10, we first recall the following result from [55, Theorem 2.1].
Lemma 2.1
Let \((X_0,X_1)\) be a pair of quasi-Banach lattices which are both of type \({\mathfrak {C}}\). Then, for any \(\theta \in (0,1)\),
and
hold true.
Now, we can show Theorem 1.10.
Proof
(Proof of Theorem 1.10.) Notice that (1.11) is a direct consequence of Proposition 1.8(i), Theorem 1.1, and Lemma 2.1, and we omit its details.
Next, we prove (1.12). By Proposition 1.8(i), Theorem 1.1, and Lemma 2.1, we find that
Thus, to show (1.12), it suffices to prove
From Theorem 1.1 and the discussion in [55, p. 139], we deduce that Y(X) is an intermediate space with respect to \((Y_0(X_0),Y_1(X_1))\). By this and the definition of \((Y(X))^\sim \), we conclude that, for any \(f\in (Y(X))^\sim \), there exists a sequence \(\{f_j\}_{j\in {\mathbb N}}\subset Y(X)\) such that
and, for any \(j\in {\mathbb N}\),
Observe that (2.14) implies that, for any \(j\in {\mathbb N}\), \(f_j-f\in Y_0(X_0)+Y_1(X_1)\). Thus, by (1.4) and (1.5), we find that, for any \(j\in {\mathbb N}\), there exist functions \(f_j^{(0)}\in Y_0(X_0)\) and \(f_j^{(1)}\in Y_1(X_1)\) satisfying
and
On the other hand, by Remark 1.9, we know that \(Y_i(X_i)\) with \(i\in \{0,1\}\) is a ball Banach function space on the product space \(({\mathcal X}\times {\mathcal Y},\mu \times \nu )\). From this, Proposition 1.8, and (2.17), it follows that there exists a subsequence \(\{f_{j_k}^{(0)}\}_{k\in {\mathbb N}}\subset \{f_{j}^{(0)}\}_{j\in {\mathbb N}}\) such that \(\lim _{k\rightarrow \infty }f_{j_k}^{(0)}=0\) almost everywhere on \(({\mathcal X}\times {\mathcal Y},\mu \times \nu )\). Repeating this argument on \(\{f_{j_k}^{(1)}\}_{k\in {\mathbb N}}\), we obtain a subsequence \(\{f_{j_{k_\ell }}^{(1)}\}_{\ell \in {\mathbb N}}\subset \{f_{j_k}^{(1)}\}_{k\in {\mathbb N}}\) such that \(\lim _{\ell \rightarrow \infty }f_{j_{k_\ell }}^{(1)}=0\) almost everywhere on \(({\mathcal X}\times {\mathcal Y},\mu \times \nu )\). Thus, for any \(i\in \{0,1\}\),
which, together with (2.16), implies that \(\lim _{\ell \rightarrow \infty }f_{j_{k_\ell }}=f\) almost everywhere on \(({\mathcal X}\times {\mathcal Y},\mu \times \nu )\). Combining this with Proposition 1.8(iii) and (2.15), we conclude that
This shows \(f\in Y(X)\), which, combined with the arbitrariness of f, implies that (2.13) holds true and hence finishes the proof of Theorem 1.10. \(\square \)
3 Several Examples
In this section, we give several examples of function spaces which fall into the scope of Theorem 1.10.
3.1 Mixed-Norm Lebesgue Spaces with Variable Exponent
The mixed-norm Lebesgue space with variable exponent, which was originally introduced and studied by Ho [29], is a generalization of Lebesgue spaces with variable exponent. First, we recall some notation related to Lebesgue spaces with variable exponent (see, for instance, [15, 17, 44]).
Let \({\mathcal P}({{\mathbb {R}}^n})\) be the set of all measurable functions \(p(\cdot ):\ {{\mathbb {R}}^n}\rightarrow (0,\infty ]\) satisfying
For any given \(p(\cdot )\in {\mathcal P}({{\mathbb {R}}^n})\) and \(x\in {{\mathbb {R}}^n}\), define
Moreover, the variable exponent modular \(\varrho _{p(\cdot )}(f)\) of a measurable function f on \({{\mathbb {R}}^n}\) is given by setting
Now, we recall the definition of Lebesgue spaces with variable exponent.
Definition 3.1
Let \(p(\cdot )\in {\mathcal P}({{\mathbb {R}}^n})\) and E be a measurable subset of \({{\mathbb {R}}^n}\). The Lebesgue space with variable exponent, \(L^{p(\cdot )}(E)\), is defined to be the set of all measurable functions f on E such that
The following definition of mixed-norm Lebesgue spaces with variable exponent (see, for instance, [66]) generalizes [29, Definition 3.1], where a restriction \(p_1(\cdot ),\ p_2(\cdot ):\ {\mathbb R}\rightarrow [1,\infty )\) was needed.
Definition 3.2
Let \(p_1(\cdot ),\ p_2(\cdot )\in {\mathcal P}({{\mathbb {R}}^n})\). The mixed-norm Lebesgue space with variable exponent, \(L^{p_2(\cdot )}(L^{p_1(\cdot )})({{\mathbb {R}}^n}\times {{\mathbb {R}}^n})\), is defined to be the set of all measurable functions f on \({{\mathbb {R}}^n}\times {{\mathbb {R}}^n}\) satisfying
Recall that, in [44], Kopaliani considered the complex interpolation between Lebesgue spaces with variable exponent and Hardy spaces or BMO; furthermore, in [45, Proposition 3.1], Kopaliani and Chelidze obtained the Calderón product of \(L^{p_0(\cdot )}({{\mathbb {R}}^n})\) and \(L^{p_1(\cdot )}({{\mathbb {R}}^n})\) with \(1\le (p_i)_-\le (p_i)_+<\infty \) for any \(i\in \{0,1\}\). Via an argument different from that used in the proof of [45, Proposition 3.1], we get rid of the restriction \(1\le (p_i)_-\le (p_i)_+<\infty \) and prove the following result.
Proposition 3.3
Let \(\theta \in (0,1)\) and \(p(\cdot ),\ p_0(\cdot ),\ p_1(\cdot )\in {\mathcal P}({{\mathbb {R}}^n})\) satisfy \(\frac{1}{p(\cdot )}=\frac{1-\theta }{p_0(\cdot )}+\frac{\theta }{p_1(\cdot )}.\) Then,
with equivalent quasi-norms.
Proof
First, we show that
For any \(f\in [L^{p_0(\cdot )}({{\mathbb {R}}^n})]^{1-\theta }[L^{p_1(\cdot )}({{\mathbb {R}}^n})]^\theta \), there exist \(f_0\in L^{p_0(\cdot )}({{\mathbb {R}}^n})\) and \(f_1\in L^{p_1(\cdot )}({{\mathbb {R}}^n})\) such that, for almost every \(x\in {{\mathbb {R}}^n}\),
and
Let
Then, by (3.3) and the Young inequality, namely, for any \(a,\ b\in [0,\infty )\) and \(q,\ q'\in (1,\infty )\) with \(1/q+1/q'=1\),
we conclude that
We claim that, for any \(\lambda ,\ a\in (0,\infty )\), \(q(\cdot )\in {\mathcal P}({{\mathbb {R}}^n})\), and any measurable function f on \({{\mathbb {R}}^n}\),
Assume for the moment that (3.7) holds true. Then, from (3.6), (3.4), and the definition of \(\lambda _0\) and \(\lambda _1\), we deduce that
Thus, \(f\in L^{p(\cdot )}({{\mathbb {R}}^n})\). Combining this with the arbitrariness of f, we obtain (3.2).
Now, it remains to prove (3.7). Indeed, if \(a\in (0,1]\), then (3.1) directly leads to \(\Vert f\Vert _{L^{q(\cdot )}({{\mathbb {R}}^n})}\le \lambda \). If \(a\in (1,\infty )\), then, for any \(x\in {{\mathbb {R}}^n}\), \((1/a)^{1/q_-}\le (1/a)^{1/q(x)}\). Thus, we have
which, together with (3.1), implies \(\Vert f\Vert _{L^{q(\cdot )}({{\mathbb {R}}^n})}\le \lambda a^{1/q_-}\) and hence (3.7) holds true.
Now, we show that
Let \(f\in L^{p(\cdot )}({{\mathbb {R}}^n})\). Without loss of generality, we may assume \(\Vert f\Vert _{L^{p(\cdot )}({{\mathbb {R}}^n})}=1\). Let
Clearly, \(|f|=|f_0|^{1-\theta }|f_1|^\theta \). Notice that
implies that \(f_0\in L^{p_0(\cdot )}({{\mathbb {R}}^n})\) and \(\Vert f_0\Vert _{L^{p_0(\cdot )}({{\mathbb {R}}^n})}\le 1\). Similarly, we know that \(f_1\in L^{p_1(\cdot )}({{\mathbb {R}}^n})\) and \(\Vert f_1\Vert _{L^{p_1(\cdot )}({{\mathbb {R}}^n})}\le 1\). Thus, by (1.1) and (1.2), we have
which implies \(f\in [L^{p_0(\cdot )}({{\mathbb {R}}^n})]^{1-\theta }[L^{p_1(\cdot )}({{\mathbb {R}}^n})]^\theta \) and hence (3.8) holds true. This, combined with (3.2), then finishes the proof of Proposition 3.3. \(\square \)
By Theorem 1.10 and Proposition 3.3, we obtain the following interpolation properties of mixed-norm Lebesgue spaces with variable exponent.
Corollary 3.4
Let \(\theta \in (0,1)\) and \(p(\cdot ),\ q(\cdot ),\ p_i(\cdot ),\ q_i(\cdot )\in {\mathcal P}({{\mathbb {R}}^n})\) with \(i\in \{0,1\}\) satisfy
Then
Moreover, if, additionally, \(p_-,\ q_-,\ (p_i)_-,\ (q_i)_-\in [1,\infty ]\) with \(i\in \{0,1\}\), then
Proof
By [15, Theorems 2.17 and 2.59, Lemma 2.39, and Proposition 2.41] (see also [17, p. 77]), we know that, for any \(p(\cdot ):{{\mathbb {R}}^n}\rightarrow [1,\infty ]\), \(L^{p(\cdot )}({{\mathbb {R}}^n})\) is a ball Banach function space, which, together with the fact that, for any measurable function f on \({{\mathbb {R}}^n}\),
implies that, for any \(p(\cdot ),\ q(\cdot )\in {\mathcal P}({{\mathbb {R}}^n})\) and \(\delta \in (0,\min \{1,p_-,q_-\})\), the \(1/\delta \)-convexification of the mixed-norm variable Lebesgue space \(L^{q(\cdot )}(L^{p(\cdot )})({{\mathbb {R}}^n}\times {{\mathbb {R}}^n})\) is a Banach space. Namely, the mixed-norm Lebesgue space with variable exponent is of type \({\mathfrak {C}}\). Combining these with Proposition 3.3 and Theorem 1.10, we obtain the desired conclusions and hence complete the proof of Corollary 3.4. \(\square \)
Remark 3.5
(i) As a special case of Corollary 3.4, we obtain the following interpolation properties of classical mixed-norm Lebesgue spaces: for any \(\theta \in (0,1)\) and \(p,\ q,\ p_i,\ q_i\in (0,\infty ]\) with \(i\in \{0,1\}\) satisfying \(\frac{1}{p}=\frac{1-\theta }{p_0}+\frac{\theta }{p_1}\) and \(\frac{1}{q}=\frac{1-\theta }{q_0}+\frac{\theta }{q_1}\), it holds true that
in particular, when \(p,\ q,\ p_i,\ q_i\in [1,\infty ]\) with \(i\in \{0,1\}\), one has
(ii) We also recall that, recently, Tan [66] studied the off-diagonal extrapolation on Lebesgue spaces with variable exponent.
3.2 Mixed-Norm Lorentz Spaces
The mixed-norm Lorentz spaces were originally introduced by Fernandez [18]. Later, Milman [51, 52] studied the properties of interpolations of operators on mixed-norm Lorentz spaces. Recently, Chen and Sun studied the mixed-norm weak Lebesgue spaces intensively (see, for instance, [7, 8, 10]), which are special cases of mixed-norm Lorentz spaces; in particular, Chen and Sun considered the real interpolation properties of mixed-norm (weak) Lebesgue spaces via the K-functional. In this subsection, we consider the interpolation properties on mixed-norm Lorentz spaces via the Calderón product, the Gagliardo–Peetre method, and the ± method.
Recall that, for any given \(p\in (0,\infty )\) and \(q\in (0,\infty ]\), the Lorentz space \(L^{p,q}({{\mathbb {R}}^n})\) is defined to be the set of all Lebesgue measurable functions f on \({{\mathbb {R}}^n}\) such that
with the usual modification made when \(q=\infty \) (see, for instance, [21, Section 1.4]). Notice that, when \(q\in (0,\infty )\) and \(q=\infty \), the Lorentz space \(L^{p,\infty }({{\mathbb {R}}^n})\) is just the weak Lebesgue space.
Also, recall that, for any given \(p_0,\ p_1\in (0,\infty )\) and \(q_0,\ q_1\in (0,\infty ]\), the mixed-norm Lorentz space \(L^{p_0,q_0}(L^{p_1,q_1})({{\mathbb {R}}^n}\times {{\mathbb {R}}^n})\) is defined to be the set of all Lebesgue measurable functions f on \({{\mathbb {R}}^n}\times {{\mathbb {R}}^n}\) such that
Remark 3.6
Clearly, for any given \(p\in (1,\infty )\) and \(q\in (1,\infty ]\), \(L^{p,q}({{\mathbb {R}}^n})\) is a Banach space (see, for instance, [21, Remark 1.4.12]) and, for any given \(p,\ r\in (0,\infty )\) and \(q\in (0,\infty ],\) and for any measurable function f on \({{\mathbb {R}}^n}\),
(see, for instance, [21, Remark 1.4.7]). Thus, for any given \(p_0,\ p_1\in (0,\infty )\), \(q_0,\ q_1\in (0,\infty ]\), and \(\delta \in (0,\min \{1,p_0,q_0,p_1,q_1\})\), the \(1/\delta \)-convexification of \(L^{p_1,q_1}(L^{p_0,q_0})({{\mathbb {R}}^n}\times {{\mathbb {R}}^n})\) is a Banach space, which means that the mixed-norm Lorentz space is of type \({\mathfrak {C}}\).
Recall that Calderón [6, p. 124] showed that, for any \(\theta \in (0,1)\), and \(p_i\in (1,\infty )\) and \(q_i\in [1,\infty ]\) with \(i\in \{0,1\}\) satisfying
it holds true that
in the sense of equivalent norms. Notice that the argument used in [6] depends heavily on the characterization of Lorentz spaces \(L^{p,q}({{\mathbb {R}}^n})\) with \(p\in (1,\infty )\) and \(q\in [1,\infty ]\) that, any measurable function f belongs to \(L^{p,q}({{\mathbb {R}}^n})\) if and only if
(with usual modification made when \(q=\infty \)) is finite, and \(\Vert \cdot \Vert _{L^{(p,q)}({{\mathbb {R}}^n})}\) is equivalent to \(\Vert \cdot \Vert _{L^{p,q}({{\mathbb {R}}^n})}\) on \(L^{p,q}({{\mathbb {R}}^n})\) (see, for instance, [4, Lemma 4.5 in p. 219]).
Via an argument different from that used in [6, p. 124], which does not need the aforementioned equivalence, we establish the Calderón products on Lorentz spaces for some more ranges as follows.
Proposition 3.7
Let \(\theta \in (0,1)\) and \(p_i,\ q_i\in (0,\infty )\) with \(i\in \{0,1\}\) satisfy (3.10). Then,
with equivalent quasi-norms.
Proof
By [16, Theorem 3] and [14, Theorem 3], one knows that, for any couple of quasi-Banach spaces, \((A_0,A_1)\), and for any \(Q_i\in (0,\infty ]\) with \(i\in \{0,1\}\),
with \(\lambda _0,\ \lambda _1,\ \eta \in (0,1)\), \(\lambda =(1-\eta )\lambda _0+\eta \lambda _1\), and \(\frac{1}{Q}=\frac{1-\eta }{Q_0}+\frac{\eta }{Q_1},\) where, for any two quasi-Banach spaces \(X_0\) and \(X_1\), \((X_0,X_1)_{\lambda ,Q}\) denotes their real interpolation and \([X_0,X_1]_\eta \) their complex interpolation. Recall that, for any \(\lambda \in (0,1)\), \(P_0\in (0,\infty )\), and \(Q\in (0,\infty ]\),
where \(1/P=(1-\lambda )/P_0\) (see, for instance, [59] and [43, Theorem 4.1]). Choose \(\theta _0,\ \theta _1\in (0,1)\) and \(r\in (0,\infty )\) such that
From this, (3.11), (3.12), and (3.10), we deduce that, for any \(\theta \in (0,1)\), and \(p_i\in (0,\infty )\) and \(q_i\in (0,\infty ]\) with \(i\in \{0,1\}\),
On the other hand, by [41, Theorem 7.9] (see also [40, Theorem 3.4]) and the fact that, for any \(p,\ q\in (0,\infty )\), the Lorentz space \(L^{p,q}({{\mathbb {R}}^n})\) is separable (see [42, p. 290]), we find that, for any \(\theta \in (0,1)\), and \(p_i\), \(q_i\in (0,\infty )\) with \(i\in \{0,1\}\),
which, together with (3.13), then completes the proof of Proposition 3.7. \(\square \)
Remark 3.8
Notice that, in Proposition 3.7, we exclude the case that \(q_i=\infty \) (namely, the weak Lebesgue space) for at least one \(i\in \{0,1\}\), because the weak Lebesgue space is not separable (see, for instance, [42, p, 296]). So far, it is still unknown how \(\left[ L^{p_0,\infty }({{\mathbb {R}}^n})\right] ^{1-\theta }\left[ L^{p_1,q}({{\mathbb {R}}^n})\right] ^\theta \) behaves for any \(\theta \in (0,1)\), \(p_0,\ p_1\in (0,\infty )\), and \(q\in (0,\infty )\). However, for \(q_0=q_1=\infty ,\) we have the following Calderón product for weak Lebesgue spaces via an argument different from that used in [6, p. 124].
Proposition 3.9
Let \(\theta \in (0,1)\) and \(p_0,\ p_1\in (0,\infty )\) satisfy \(\frac{1}{p}=\frac{1-\theta }{p_0}+\frac{\theta }{p_1}.\) Then
with equivalent quasi-norms.
Proof
The desired conclusion is a consequence of the Young inequality (3.5), (3.9), and the fact that, for any given \(\theta \in (0,1)\), any pair \((X_0,X_1)\) of quasi-Banach lattices, and any \(f\in X_0^{1-\theta }X_1^\theta \),
(see, for instance, [6, Section 13.5] and [67, Lemma 2.3(ii)]), and we omit the details. This finishes the proof of Proposition 3.9. \(\square \)
As a consequence of Theorem 1.10, Remark 3.6, and Propositions 3.7 and 3.9, we obtain the following results, and we omit its details.
Corollary 3.10
Let \(\theta \in (0,1)\) and, for any \(i\in \{0,1\}\), \(p_i,\ r_i\in (0,\infty )\) and, either \(q_i=s_i=\infty \) or \(q_i,\ s_i\in (0,\infty )\) satisfy
Then,
Additionally, if \(p_i,\ r_i\in (1,\infty )\) and, either \(q_i=s_i=\infty \) or \(q_i,\ s_i\in (1,\infty )\) with \(i\in \{0,1\}\), it also holds true that
3.3 Mixed-Norm Morrey Spaces
The study of the Morrey space can be traced to [54]. The Morrey space \({\mathcal {M}}_p^u({{\mathbb {R}}^n})\) with \(0<p\le u\le \infty \) is defined to be the set of all locally p-integrable functions f on \({{\mathbb {R}}^n}\) such that
where the supremum is taken over all balls in \({{\mathbb {R}}^n}\). Clearly, \({\mathcal {M}}_p^p({{\mathbb {R}}^n})=L^p({{\mathbb {R}}^n})\) for any \(p\in (0,\infty ]\).
As is well known, there has been a series of works on the interpolation properties of Morrey type spaces (see, for instance, [24,25,26,27, 47,48,49, 67] and the references therein). In recent years, there also exist an increasing interest in the mixed-norm Morrey spaces in the sense of (1.3). For instance, Ragusa and Scapellato [61] studied the regularity of the solutions of the non-divergence form parabolic equations via the mixed-norm Morrey spaces, and Nogayama et al. [56,57,58] studied the boundedness of several operators and commutators on mixed-norm Morrey spaces, such as the maximal operator, the fractional integral operator, and the Calderón–Zygmund operator.
However, the interpolation properties of mixed-norm Morrey spaces are still unknown. In this section, we establish the interpolation results on mixed-norm Morrey spaces in terms of the Gagliardo–Peetre method and the ± method.
Recall that Lu et al. [49, Proposition 2.1] established the following Calderón product result in Morrey spaces.
Lemma 3.11
Let \({\mathcal X}\) be a quasi-metric measure space, \(\theta \in (0,1)\) and, for any \(i\in \{0,1\}\), \(0<p_i\le u_i\le \infty \). Assume that \(p_0u_1=p_1u_0\),
Then
with equivalent quasi-norms.
From Lemma 3.11 and Theorem 1.10, we immediately deduce the following conclusion.
Corollary 3.12
Let \(\theta \in (0,1)\) and, for any \(i\in \{0,1\}\), \(0<p_i\le u_i\le \infty \) and \(0<q_i\le v_i\le \infty \). Assume that \(v_0q_1=v_1q_0\), \(u_0p_1=u_1p_0\),
Then,
Moreover, if, additionally, \(1\le p_i\le u_i\le \infty \) and \(1\le q_i\le v_i\le \infty \) with \(i\in \{0,1\}\), then
Proof
Observe that, for any \(1\le p\le u\le \infty \), \({\mathcal {M}}_p^u({{\mathbb {R}}^n})\) is a ball Banach function space (see, for instance, [64, Subsection 7.4]). This, together with the fact that, for any given \(r\in (0,\infty )\) and \(0<p\le u\le \infty \), and for any measurable function f, \(\Vert |f|^r\Vert _{{\mathcal {M}}_p^u({{\mathbb {R}}^n})} =\Vert f\Vert ^r_{{\mathcal {M}}_{pr}^{ur}({{\mathbb {R}}^n})},\) shows that the mixed-norm Morrey space is of type \({\mathfrak {C}}\). Thus, from Lemma 3.11 and Theorem 1.10, we immediately deduce the desired conclusions and hence complete the proof of Corollary 3.12. \(\square \)
References
Akishev, G. A.: Approximation of function classes in spaces with mixed norm, (Russian) Mat. Sb. 197, 17–40 (2006); translation in Sb. Math. 197, 1121–1144 (2006)
Akishev, G.A.: Approximation of function classes in Lorentz spaces with mixed norm. East J. Approx. 14, 193–214 (2008)
Benedek, A., Panzone, R.: The space \(L^p\), with mixed norm. Duke Math. J. 28, 301–324 (1961)
Bennett, C., Sharpley, R.: Interpolation of Operators, Pure and Applied Mathematics 129. Academic Press Inc, Boston, MA (1988)
Blozinski, A.P.: Multivariate rearrangements and Banach function spaces with mixed norms. Trans. Am. Math. Soc. 263, 149–167 (1981)
Calderón, A.-P.: Intermediate spaces and interpolation, the complex method. Studia Math. 24, 113–190 (1964)
Chen, T., Sun, W.: Iterated weak and weak mixed-norm spaces with applications to geometric inequalities. J. Geom. Anal. 30, 4268–4323 (2020)
Chen, T., Sun, W.: Extension of multilinear fractional integral operators to linear operators on Lebesgue spaces with mixed norms. Math. Ann. 379, 1089–1172 (2021)
Chen,T., Sun, W.: Hardy–Littlewood–Sobolev inequality on mixed-norm Lebesgue spaces, arXiv: 1912.03712
Chen,T., Sun, W.: Bilinear fractional integral operators, arXiv: 2002.01187
Clavero, N., Soria, J.: Mixed norm spaces and rearrangement invariant estimates. J. Math. Anal. Appl. 419, 878–903 (2014)
Cleanthous, G., Georgiadis, A.G., Nielsen, M.: Anisotropic mixed-norm Hardy spaces. J. Geom. Anal. 27, 2758–2787 (2017)
Cleanthous, G., Georgiadis,A. G., Nielsen, M.: Discrete decomposition of homogeneous mixed-norm Besov spaces. In: Functional Analysis, Harmonic Analysis, and Image Processing: A Collection of Papers in Honor of Björn Jawerth, 167-184, Contemp. Math. 693, Amer. Math. Soc., Providence, RI (2017)
Cobos, F., Peetre, J., Persson, L.E.: On the connection between real and complex interpolation of quasi-Banach spaces. Bull. Sci. Math. 122, 17–37 (1998)
Cruz-Uribe, D.V., Fiorenza, A.: Variable Lebesgue Spaces. Foundations and Harmonic Analysis, Applied and Numerical Harmonic Analysis, Birkhäuser/Springer, Heidelberg (2013)
Cwikel, M., Milman, M., Sagher, Y.: Complex interpolation of some quasi-Banach spaces. J. Funct. Anal. 65, 339–347 (1986)
Diening, L., Harjulehto, P., Hästö,P., R\(\mathring{\rm u}\)žička, M.: Lebesgue and Sobolev Spaces with Variable Exponents, Lecture Notes in Mathematics 2017, Springer, Heidelberg (2011)
Fernandez, D.L.: Lorentz spaces, with mixed norms. J. Funct. Anal. 25, 128–146 (1977)
Gagliardo, E.: Caratterizzazione costruttiva di tutti gli spazi di interpolazione tra spazi di Banach, 1969 Symposia Mathematica Vol. II (INDAM, Rome, 1968), pp. 95-106, Academic Press, London
Georgiadis, A.G., Nielsen, M.: Pseudodifferential operators on mixed-norm Besov and Triebel-Lizorkin spaces. Math. Nachr. 289, 2019–2036 (2016)
Grafakos, L.: Classical Fourier Analysis, Third edition, Graduate Texts in Mathematics 249. Springer, New York (2014)
Gustavsson, J.: On interpolation of weighted \(L^p\)-spaces and Ovchinnikov’s theorem. Stud. Math. 72, 237–251 (1982)
Gustavsson, J., Peetre, J.: Interpolation of Orlicz spaces. Stud. Math. 60, 33–59 (1977)
Hakim, D.I., Nakamura, S., Sawano, Y.: Complex interpolation of smoothness Morrey subspaces. Constr. Approx. 46, 489–563 (2017)
Hakim, D.I., Sawano, Y.: Interpolation of generalized Morrey spaces. Rev. Mat. Complut. 29, 295–340 (2016)
Hakim, D.I., Sawano, Y.: Calderón’s first and second complex interpolations of closed subspaces of Morrey spaces. J. Fourier Anal. Appl. 23, 1195–1226 (2017)
Hakim, D. I., Sawano, Y.: Complex interpolation of Morrey spaces. In: Function Spaces and Inequalities, 85-115, Springer Proc. Math. Stat. 206, Springer, Singapore (2017)
Ho, K.-P.: Strong maximal operator on mixed-norm spaces. Ann. Univ. Ferrara Sez. VII Sci. Mat. 62, 275–291 (2016)
Ho, K.-P.: Mixed norm Lebesgue spaces with variable exponents and applications. Riv. Mat. Univ. Parma (N.S.) 9, 21-44 (2018)
Huang, L., Chang, D.-C., Yang, D.: Fourier transform of anisotropic mixed-norm Hardy spaces. Front. Math. China 16, 119–139 (2021)
Huang, L., Liu, J., Yang, D., Yuan, W.: Atomic and Littlewood-Paley characterizations of anisotropic mixed-norm Hardy spaces and their applications. J. Geom. Anal. 29, 1991–2067 (2019)
Huang, L., Liu, J., Yang, D., Yuan, W.: Dual spaces of anisotropic mixed-norm Hardy spaces. Proc. Am. Math. Soc. 147, 1201–1215 (2019)
Huang, L., Liu, J., Yang, D., Yuan, W.: Identification of anisotropic mixed-norm Hardy spaces and certain homogeneous Triebel-Lizorkin spaces. J. Approx. Theory 258, 105459 (2020)
Huang, L., Liu, J., Yang, D., Yuan, W.: Real-variable characterizations of new anisotropic mixed-norm Hardy spaces. Commun. Pure Appl. Anal. 19, 3033–3082 (2020)
Huang, L., Weisz, F., Yang, D., Yuan, W.: Summability of Fourier transforms on mixed-norm Lebesgue spaces via associated Herz spaces. Anal. Appl. (Singap.) (2021). https://doi.org/10.1142/S0219530521500135
Huang, L., Yang, D.: On function spaces with mixed norms – A survey. J. Math. Study 54, 262–336 (2021)
Igari, S.: Interpolation of operators in Lebesgue spaces with mixed norm and its applications to Fourier analysis. Tohoku Math. J. 38(2), 469–490 (1986)
Johnsen, J., Sickel, W.: A direct proof of Sobolev embeddings for quasi-homogeneous Lizorkin-Triebel spaces with mixed norms. J. Funct. Spaces Appl. 5, 183–198 (2007)
Johnsen, J., Sickel, W.: On the trace problem for Lizorkin-Triebel spaces with mixed norms. Math. Nachr. 281, 669–696 (2008)
Kalton, N., Mitrea, M.: Stability results on interpolation scales of quasi-Banach spaces and applications. Trans. Am. Math. Soc. 350, 3903–3922 (1998)
Kalton, N., Mayboroda,S., Mitrea, M.: Interpolation of Hardy–Sobolev–Besov–Triebel–Lizorkin spaces and applications to problems in partial differential equations. In: Interpolation Theory and Applications, 121-177, Contemp. Math., 445, Amer. Math. Soc., Providence, RI (2007)
Kamińska, A., Maligranda, L.: On Lorentz spaces \(\Gamma _{p, w}\). Israel J. Math. 140, 285–318 (2004)
Kempka, H., Vybíral, J.: Lorentz spaces with variable exponents. Math. Nachr. 287, 938–954 (2014)
Kopaliani, T.: Interpolation theorems for variable exponent Lebesgue spaces. J. Funct. Anal. 257, 3541–3551 (2009)
Kopaliani, T., Chelidze, G.: Gagliardo-Nirenberg type inequality for variable exponent Lebesgue spaces. J. Math. Anal. Appl. 356, 232–236 (2009)
Kurtz, D.: Classical operators on mixed-norm spaces with product weights. Rocky Mt. J. Math. 37, 269–283 (2007)
Lemarié-Rieusset, P.G.: Multipliers and Morrey spaces. Potential Anal. 38, 741–752 (2013)
Liu, Y., Yuan, W.: Interpolation and duality of generalized grand Morrey spaces on quasi-metric measure spaces. Czechoslovak Math. J. 67(142), 715–732 (2017)
Lu, Y., Yang, D., Yuan, W.: Interpolation of Morrey spaces on metric measure spaces. Canad. Math. Bull. 57, 598–608 (2014)
Maligranda, L.: Calderón-Lozanovskiĭ construction for mixed norm spaces. Acta Math. Hungar. 103, 279–302 (2004)
Milman, M.: A note on \(L(p, q)\) spaces and Orlicz spaces with mixed norms. Proc. Am. Math. Soc. 83, 743–746 (1981)
Milman, M.: On interpolation of \(2^n\) Banach spaces and Lorentz spaces with mixed norms. J. Funct. Anal. 41, 1–7 (1981)
Milman, M.: Notes on interpolation of mixed norm spaces and applications. Q. J. Math. 42, 325–334 (1991)
Morrey, C.B.: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 43, 126–166 (1938)
Nilsson, P.: Interpolation of Banach lattices. Stud. Math. 82, 135–154 (1985)
Nogayama, T.: Mixed Morrey spaces. Positivity 23, 961–1000 (2019)
Nogayama, T.: Boundedness of commutators of fractional integral operators on mixed Morrey spaces. Integral Transforms Spec. Funct. 30, 790–816 (2019)
Nogayama, T., Ono, T., Salim,D., Sawano, Y.: Atomic decomposition for mixed Morrey spaces. J. Geom. Anal. 31, 9338–9365 (2021)
Peetre, J.: Espaces intermédiaires et la théorie constructive des fonctions. C. R. Acad. Sci. Paris 256, 54–55 (1963)
Peetre, J.: Sur l’utilisation des suites inconditionellement sommables dans la théorie des espaces d’interpolation, (French) Rend. Sem. Mat. Univ. Padova 46, 173–190 (1971)
Ragusa, M.A., Scapellato, A.: Mixed Morrey spaces and their applications to partial differential equations. Nonlinear Anal. 151, 51–65 (2017)
Sandıkçı, A.: On Lorentz mixed normed modulation spaces. J. Pseudo-Differ. Oper. Appl. 3, 263–281 (2012)
Sawano, Y., Tanaka, H.: The Fatou property of block spaces. J. Math. Sci. Univ. Tokyo 22, 663–683 (2015)
Sawano, Y., Ho, K.-P., Yang, D., Yang, S.: Hardy spaces for ball quasi-Banach function spaces. Dissertationes Math. 525, 1–102 (2017)
Sjödin, T.: Weighted norm inequalities for Riesz potentials and fractional maximal functions in mixed norm Lebesgue spaces. Studia Math. 97, 239–244 (1991)
Tan, J.: Off-diagonal extrapolation on mixed variable Lebesgue spaces and its applications to strong fractional maximal operators. Georgian Math. J. 27, 637–647 (2020)
Yuan, W., Sickel, W., Yang, D.: Interpolation of Morrey-Campanato and related smoothness spaces. Sci China Math 58, 1835–1908 (2015)
Acknowledgements
The authors would like to thank the referees for their carefully reading and helpful comments which indeed improve the presentation of this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rosihan M. Ali.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This project is supported by the National Natural Science Foundation of China (Grant Nos. 11971058, 12071197 and 11871100) and the National Key Research and Development Program of China (Grant No. 2020YFA0712900)
Rights and permissions
About this article
Cite this article
Wu, S., Yang, D. & Yuan, W. Interpolations of Mixed-Norm Function Spaces. Bull. Malays. Math. Sci. Soc. 45, 153–175 (2022). https://doi.org/10.1007/s40840-021-01187-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-021-01187-8
Keywords
- Calderón product
- Gagliardo–Peetre method
- ± Method
- Mixed-norm function space
- Ball quasi-Banach function space