Abstract
We consider mixed-norm Bergman spaces on homogeneous Siegel domains. In the literature, two different approaches have been considered and several results seem difficult to be compared. In this paper, we compare the results available in the literature and complete the existing ones in one of the two settings. The results we present are as follows: natural inclusions, density, completeness, reproducing properties, sampling, atomic decomposition, duality, continuity of Bergman projectors, boundary values, and transference.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper deals with some spaces of holomorphic functions on a homogeneous Siegel domain. In order to illustrate the kind of spaces and problems we are going to consider, we begin with the simplest case.
Let \(\mathbb {C}_+ {:}{=}\{z\in \mathbb {C}:\textrm{Im}\,z>0\}\) be the upper half-plane. We can think of \(\mathbb {C}_+\) as \(\mathbb {R}+i(0,\infty )\), where \((0,\infty )\) is (essentially) the unique open (convex) cone in \(\mathbb {R}\). In several variables, the upper half-plane can be generalized to tube domains over convex cones. Let \(\varOmega \) be an open convex cone in \(\mathbb {R}^m\). Then, the domain \(D=\mathbb {R}^m +i\varOmega \) in \(\mathbb {C}^m\) is called the tube domain over the cone \(\varOmega \). If the group of linear transformations of \(\mathbb {R}^m\) that preserve \(\varOmega \) acts transitively on \(\varOmega \) itself, then \(\varOmega \) is a homogeneous cone and the domain becomes itself homogeneous, that is, the group of biholomorphic self-maps of D (the automorphisms of D) acts transitively on D.
Another classical domain in several variables that extends the definition and some of the main features of \(\mathbb {C}_+\) is the so-called Siegel upper half-space. Consider again the cone \((0,\infty )\subseteq \mathbb {R}\) and the hermitian quadratic map on \(\mathbb {C}^n\) \(\zeta \mapsto \zeta \cdot \overline{\zeta }=|\zeta |^2\). Then, the Siegel upper half-space is the domain \(\mathcal {U}\) in \(\mathbb {C}^n\times \mathbb {C}\)
The homogeneous Siegel domains are then introduced as follows—we refer to Sect. 2 for complete definitions. Let a homogeneous cone \(\varOmega \subset \mathbb {R}^m\) and a suitable hermitian quadratic map \(\varPhi :\mathbb {C}^n\rightarrow \mathbb {C}^m\) be given. Then, the homogeneous Siegel domain \(D\subseteq \mathbb {C}^n\times \mathbb {C}^m\) is
(again, cf. Sect. 2 for definitions). Notice that if \(n=0\), then D is the tube domain over the given cone \(\varOmega \).
On a homogeneous Siegel domain D as above, various (mixed norm) weighted Bergman spaces have been considered in the literature. On the one hand, in [33] (for the upper half-plane) and [16] (for the general case), the following mixed norm weighted Bergman spaces are considered:
where \(\varDelta ^{\mathbf {{s}}}_\varOmega \) are ‘generalized power functions’ on \(\varOmega \) (\(\mathbf {{s}}\in \mathbb {R}^r\)), \(\nu _\varOmega \) is ‘the’ invariant measure on \(\varOmega \), \(\mathcal {N}=\mathbb {C}^n\times \mathbb {R}^m\) and \(f_h:(\zeta ,x)\mapsto f(\zeta ,x+i\varPhi (\zeta )+i h)\). On the other hand, e.g. in [1,2,3,4, 6, 7, 12, 23, 29], the following mixed-norm weighted Bergman spaces are considered:
where \(\mathbf {{b}}\) is a suitable element of \(\mathbb {R}^r\) and \(L^{p,q}(\mathbb {R}^m,\mathbb {C}^n)=\{f:\Vert {\zeta \mapsto \Vert {f(\zeta ,\,\cdot \,)} \Vert _{L^p(\mathbb {R}^m)} } \Vert _{L^q(\mathbb {C}^n)}<\infty \}\).
Two parallel theories then arise, and different conventions have been adopted. For example, the definition of the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) suggests a natural comparison between the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) for a fixed \(\mathbf {{s}}\), which in turn highlights the role played by ‘the’ Bergman projector \(\mathfrak {P}_{\mathbf {{s}}}\), namely the Bergman projector of the corresponding space \(\mathfrak {A}^{2,2}_{\mathbf {{s}}}\). On the other hand, the comparison of the spaces \(A^{p,q}_{\mathbf {{s}}}\) for fixed \(\mathbf {{s}}\) appears to be less natural, so that more general Bergman projectors are naturally investigated. Besides that, in the study of various properties of the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) (such as, for instance, the continuity of \(\mathfrak {P}_{\mathbf {{s}}}\) on the space \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}\), which is defined the same way as \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) replacing holomorphic functions with equivalence classes of measurable functions), greater attention is placed on p and q, rather than \(\mathbf {{s}}\), whereas in the study of the spaces \(A^{p,q}_{\mathbf {{s}}}\), greater attention is placed on \(\mathbf {{s}}\), rather than p or q, so that even when describing the same phenomena, the two parallel theories may appear quite different from one another and hard to compare.
This is the main reason which motivated us to write this work. Our goal is to describe various results for the spaces \(A^{p,q}_{\mathbf {{s}}}\) and prove the direct counterparts in the case of the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) for a direct comparison. Hence, in particular, we deepen the study of the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) proving those results which, to the best of our knowledge, do not appear in the literature in the present generality. In order to tackle these issues, we are naturally led to introduce a new family of spaces \(\mathcal {A}^{p,q}_{\mathbf {{s}}}\), which is defined in the spirit of the spaces \(A^{p,q}_{\mathbf {{s}}}\) (and has, therefore, some technical advantages), but allows to treat also the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) by means of suitable substitutions.
Function theory and analysis of function spaces on homogeneous Siegel domains are the classical areas of research in which complex analysis, harmonic analysis, geometry of convex cones, and representation theory all play a fundamental role, see e.g. [27, 28, 31, 32, 34] and also [24]. In more recent times, it was shown in [5] and then generalized in [4], that in order to prove the \(L^p\)-boundedness of the Bergman projector on some homogeneous Siegel domain of tube-type (see Subsection 2.6), it was necessary to exploit the cancellations of the kernel, a phenomenon that had never been observed before; in fact, these examples seem to remain the only instances of such behaviour. We mention in passing that, in order to exploit the cancellation of the Bergman kernel, the mixed-norm spaces were considered, hence showing their naturality in this context. It is also worth mentioning that the question of the \(L^p\)-boundedness of the Bergman projector on homogeneous Siegel domains is tightly connected to the sharp \(\ell ^2\)-decoupling inequality of Bourgain and Demeter [13], see [6]. We refer also to the Introduction in [19] for a thorough discussion of this and related questions, and to [6,7,8, 16,17,18,19, 29] for some very recent works on the subject of the current paper.
The paper is organized as follows. In Sect. 2, we recall some basic facts and introduce some notation to deal with homogeneous Siegel domains. In order to help readers who are accustomed to different conventions, we introduce our notation axiomatically, allowing the reader to identify the (hopefully minimal) modifications needed. In Sect. 3, we briefly list several known results for the spaces \(A^{p,q}_{\mathbf {{s}}}\) without proofs. In Sect. 4, we deal with the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) for which we prove results which are analogous to the ones which are valid in the case of the spaces \(A^{p,q}_{\mathbf {{s}}}\). Section 4 constitutes the main part of this paper. In order to more easily deal with the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\), we introduce another scale of spaces, denoted by \(\mathcal {A}^{p,q}_{\mathbf {{s}}}\). In fact, the use of these latter spaces allows to simplify the notation and to more easily compare the scale of spaces \(A^{p,q}_{\mathbf {{s}}}\) and \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\). In addition to that, dealing with the spaces \(\mathcal {A}^{p,q}_{\mathbf {{s}}}\) allows for a more comprehensive treatment of some topics (such as duality for \(q\leqslant 1\)) that would otherwise require the introduction of auxiliary spaces (cf., e.g. [1], where a different—yet related—description of the dual of \(\mathfrak {A}^{p,p}_{\mathbf {{s}}}\) is determined for \(p\in (0,1)\)). The topics we shall present include the following: natural inclusions, density, completeness, reproducing properties, sampling, atomic decomposition, duality, continuity of Bergman projectors, boundary values, and transference.
We did our best to acknowledge the previously known results before the statements of the most important results. We apologize for any omission.
2 Homogeneous Siegel domains
We denote by E a complex Hilbert space of dimension n, by F a real Hilbert space of dimension m, by \(\varOmega \) an open convex cone in F not containing affine lines, and by \(\varPhi :E\times E\rightarrow F_\mathbb {C}\) a non-degenerate hermitian map such that \(\varPhi (\zeta ){:}{=}\varPhi (\zeta ,\zeta )\in \overline{\varOmega }\) for every \(\zeta \in E\). Clearly, E and F may be replaced with the standard Euclidean spaces \(\mathbb {C}^n\) and \(\mathbb {R}^m\) with their natural inner products. We prefer the more abstract versions since E and F are in general better described as spaces of (formal) matrices, at least in most examples. Besides that, we believe that this abstract notation better underlines the roles played by the various objects under consideration. In any event, the reader may replace E with \(\mathbb {C}^n\) and F with \(\mathbb {R}^m\), if they find it convenient, without any loss of generality.
We define
and denote by
the Siegel domain associated with \(\varOmega \) and \(\varPhi \). We shall assume that D is homogeneous, that is, that the group of its biholomorphisms acts transitively on it. It is known (cf., e.g. [14, Proposition 1]) that D is homogeneous if and only if there is a triangularFootnote 1 subgroup \(T_+\) of GL(F) which acts simply transitively on \(\varOmega \), and for every \(t\in T_+\) there is \(g\in GL(E)\) such that \(t\circ \varPhi =\varPhi \circ (g\times g)\). In this case, any other triangular subgroup of GL(F) with the same properties is conjugate to \(T_+\) by an element of GL(F) which preserves \(\varOmega \). In addition, \(T_+\) acts simply transitively on the right on the dual cone \(\varOmega '\), by transposition (cf. [38, Theorem 1]). We shall denote this latter action by \(\lambda \cdot t\), for \(\lambda \in \varOmega '\) and \(t\in T_+\); we shall consequently write \(t\cdot h\) instead of th for \(t\in T_+\) and \(h\in \varOmega \). We shall still denote by \(t\,\cdot \) and \(\cdot \, t\) the actions of t on \(F_\mathbb {C}\) and \(F'_\mathbb {C}\), respectively, for every \(t\in T_+\).
2.1 Analysis on \(\varOmega \)
It is possible to describe the structure of \(T_+\) and of its action on \(\varOmega \) using the theory of T-algebras, cf. [38], or the theory of (normal) j-algebras, cf. [32, 34]. In order to keep the exposition as simple as possible, we shall avoid a thorough description of the structure of \(T_+\) and proceed axiomatically. We refer the reader to [16] for a more detailed treatment of the following considerations. We first observe that there are \(r\in \mathbb {N}\) (called the rank of \(\varOmega \)) and a surjective homomorphism of Lie groups
with kernel \([T_+,T_+]\), such that, if we fix base-points \(e_\varOmega \in \varOmega \) and \(e_{\varOmega '}\in \varOmega '\) and define
for every \(\mathbf {{s}}\in \mathbb {C}^r\) and for every \(t\in T_+\), then \(\varDelta _\varOmega ^{\mathbf {{s}}}\) (and \(\varDelta _{\varOmega '}^{\mathbf {{s}}}\)) is bounded on bounded subsets if and only if \(\textrm{Re}\,\mathbf {{s}}\in \mathbb {R}_+^r\) (cf. [16, Lemma 2.34]). We shall further require that \(\varDelta (a\,\cdot \,)=(a,\ldots ,a)\) for every \(a>0\), where \(a\,\cdot \,\) denotes the homothety of ratio a (which necessarily belongs to \(T_+\)). We remark explicitly that these conditions determine \(\varDelta \) up to a permutation of the coordinates (in \((\mathbb {R}_+^*)^r\)).Footnote 2 Consequently, we may apply the results of [16, Chap. 2] without (essential) changes, even if a different choice of \(T_+\) and \(\varDelta \) is made. Notice that \(\varDelta _\varOmega ^{\mathbf {{s}}}\) and \(\varDelta _{\varOmega '}^{\mathbf {{s}}}\) extend to holomorphic functions on \(\varOmega +i F\) and \(\varOmega '+i F'\), respectively, for every \(\mathbf {{s}}\in \mathbb {C}^r\) (cf. [16, Corollary 2.25]).
When \(\varOmega \) is symmetric, that is, self-dual with respect to the scalar product of F, then the functions \(\varDelta _{\mathbf {{s}}}\) considered in [24] coincide with the functions \(\varDelta ^{\mathbf {{s}}}_{\varOmega }\) defined in (1) for an appropriate choice of \(\varDelta \) (cf. [24, Chap. VI, § 3]); in particular, the ‘determinant’ polynomial coincides with \(\varDelta ^{\mathbf {{1}}_r}_\varOmega \). Generally speaking, the works which deal with the case in which \(\varOmega \) is symmetric generally adhere to the conventions of [24], possibly with slightly different notation, whereas the works which deal with general homogeneous cones generally adhere to the conventions described above, possibly with different notation (for example, \(\varDelta _\varOmega ^{\mathbf {{s}}}=Q^{\mathbf {{s}}}\) and \(\varDelta _{\varOmega '}^{\mathbf {{s}}}=(Q^*)^{\mathbf {{s}}}\) in the notation of [6, 8, 29, 30]).
To simplify the notation, we state the following definition.
Definition 2.1
We define two order relations on \(\mathbb {R}^r\). On the one hand, we write \(\mathbf {{s}} \leqslant \mathbf {{s'}}\) to mean \(s_j\leqslant s'_j\) for every \(j=1,\ldots ,r\) (equivalently, \(\mathbf {{s'}}-\mathbf {{s}}\in \mathbb {R}_+^r\)). On the other hand, we write \(\mathbf {{s}} \preceq \mathbf {{s'}}\) to mean \(\mathbf {{s}}=\mathbf {{s'}}\) or \(s_j< s'_j\) for every \(j=1,\ldots ,r\).
Thus, \(\mathbf {{s}}\prec \mathbf {{s'}}\) (that is, \(\mathbf {{s}}\preceq \mathbf {{s}}'\) and \(\mathbf {{s}}\ne \mathbf {{s}}'\)) if and only if \(\mathbf {{s'}}-\mathbf {{s}}\in (\mathbb {R}_+^*)^r\), that is, \(s_j<s'_j\) for every \(j=1,\ldots , r\).
Definition 2.2
We denote by \(\mathcal {H}^{k}\) the k-dimensional Hausdorff measure. There are \(\mathbf {{d}}\prec \mathbf {{0}}\) and \(\mathbf {{b}}\leqslant \mathbf {{0}}\) such that
are the unique measures on \(\varOmega \), \(\varOmega '\), and D (up to a multiplicative constant) which are invariant under all linear automorphisms of \(\varOmega \) and \(\varOmega '\), and all biholomorphisms of D, respectively (cf. [16, Propositions 2.19 and 2.44], and [24, Proposition I.3.1]).
Remark 2.3
Notice that \(\varDelta ^{-\mathbf {{b}}}(t)= \vert {\det _\mathbb {C}g} \vert ^2\) for every \(t\in T_+\) and for every \(g\in GL(E)\) such that \(t\cdot \varPhi =\varPhi \circ (g\times g)\). Further, \(\varDelta ^{-\mathbf {{d}}}(a\,\cdot \,)=a^m\), and \(\varDelta ^{-\mathbf {{b}}}(a\,\cdot \,)=a^n\) for every \(a>0\).
We observe explicitly that \(\mathbf {{d}}=d\) and \(\mathbf {{b}}=-q\) in the notation of [1, 9, 27], whereas \(\mathbf {{d}}=-\tau \) and \(\mathbf {{b}}=-b\) in the notation of [6, 8, 29, 30]. In particular, there is no general agreement on the sign of \(\mathbf {{d}}\).
Definition 2.4
There are \(\mathbf {{m}},\mathbf {{m'}}\geqslant \mathbf {{0}}\) such that \(\varDelta _\varOmega ^{\mathbf {{s}}}\cdot \nu _\varOmega \) and \(\varDelta _{\varOmega '}^{\mathbf {{s}}}\cdot \nu _{\varOmega '}\) induce Radon measures on F and \(F'\), respectively, if and only if \(\textrm{Re}\,\mathbf {{s}}\succ \frac{1}{2} \mathbf {{m}}\) and \(\textrm{Re}\,\mathbf {{s}}\succ \frac{1}{2} \mathbf {{m'}}\), respectively (cf. [16, Proposition 2.19]).
Remark 2.5
Notice that \(\mathbf {{d}}=-(\mathbf {{1}}_r+\frac{1}{2} \mathbf {{m}}+\frac{1}{2} \mathbf {{m}}')\) (cf. [16, Definition 2.8] and the preceding remarks). We observe explicitly that \(\mathbf {{m}}=(m_1,\ldots , m_r)\) and \(\mathbf {{m}}'=(n_1,\ldots ,n_r)\) in the notation of [6,7,8,9, 29, 30].
Definition 2.6
For every \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {C}^r \) such that \(\textrm{Re}\,\mathbf {{s}}\succ \frac{1}{2} \mathbf {{m}}\) and \(\textrm{Re}\,\mathbf {{s}}'\succ \frac{1}{2} \mathbf {{m}}'\), we define \(\varGamma _\varOmega (\mathbf {{s}})\) and \(\varGamma _{\varOmega '}(\mathbf {{s}}')\) so that
respectively, where \(\mathcal {L}\) denotes the Laplace transform.
Remark 2.7
Notice that \(\varGamma _\varOmega (\mathbf {{s}})=\mathcal {L}(\varDelta _\varOmega ^{\mathbf {{s}}}\cdot \nu _\varOmega )(e_{\varOmega '})=c \prod _{j=1}^r \varGamma \big (s_j-\frac{1}{2} m_j\big )\) and \(\varGamma _{\varOmega '}(\mathbf {{s}}')=\mathcal {L}(\varDelta _{\varOmega '}^{\mathbf {{s}}'}\cdot \nu _{\varOmega '})(e_\varOmega )=c' \prod _{j=1}^r \varGamma \big (s'_j-\frac{1}{2}\,m'_j\big )\) for some constants \(c,c'>0\) which depend on the choice of \(e_\varOmega \) and \(e_{\varOmega '}\).
Definition 2.8
There are two uniquely determined holomorphic families \((I^{\mathbf {{s}}}_\varOmega )_{\mathbf {{s}}\in \mathbb {C}^r}\) and \((I^{\mathbf {{s}}}_{\varOmega '})_{\mathbf {{s}}\in \mathbb {C}^r}\) of tempered distributions on F and \(F'\), respectively, such that \(\mathcal {L}I^{\mathbf {{s}}}_\varOmega =\varDelta ^{-\mathbf {{s}}}_{\varOmega '}\) and \(\mathcal {L}I^{\mathbf {{s}}}_{\varOmega '}=\varDelta ^{-\mathbf {{s}}}_\varOmega \) (cf. [16, Lemma 2.26 and Proposition 2.28]).
Remark 2.9
Notice that \(I^{\mathbf {{s}}}_\varOmega =\frac{1}{\varGamma _\varOmega (\mathbf {{s}})}\varDelta _\varOmega ^{\mathbf {{s}}}\cdot \nu _\varOmega \) and \(I^{\mathbf {{s}}}_{\varOmega '}=\frac{1}{\varGamma _{\varOmega '}(\mathbf {{s}})}\varDelta ^{\mathbf {{s}}}_{\varOmega '}\cdot \nu _{\varOmega '}\) when \(\textrm{Re}\,\mathbf {{s}}\succ \frac{1}{2} \mathbf {{m}}\) and \(\textrm{Re}\,\mathbf {{s}}\succ \frac{1}{2} \mathbf {{m'}}\), respectively. In addition, \(I^{\mathbf {{s}}}_\varOmega \) and \(I^{\mathbf {{s}}}_{\varOmega '}\) are supported in \(\overline{\varOmega }\) and \(\overline{\varOmega '}\), respectively, for every \(\mathbf {{s}}\in \mathbb {C}^r\) (cf. [16, Proposition 2.28]).
Definition 2.10
We denote by \(\mathbb {N}_{\varOmega }\) and \(\mathbb {N}_{\varOmega '}\) the sets of \(\mathbf {{s}}\in \mathbb {R}^r\) such that \(\varDelta _\varOmega ^{\mathbf {{s}}}\) and \(\varDelta _{\varOmega }^{\mathbf {{s}}}\) extend to polynomials on F and \(F'\), respectively.
Remark 2.11
Notice that \(I^{\mathbf {{s}}}_{\varOmega }\) and \(I^{\mathbf {{s}}}_{\varOmega '}\) are supported in \(\{0\}\) if and only if \(\mathbf {{s}}\in -\mathbb {N}_{\varOmega '}\) and \(\mathbf {{s}}\in -\mathbb {N}_\varOmega \), respectively. Then, \(\varPhi _*(\mathcal {H}^{2n})=c I^{-\mathbf {{b}}}_{\varOmega }\) for a suitable constant \(c>0\) which depends on the choice of \(e_{\varOmega '}\) (cf. [16, Proposition 2.30]). We observe explicitly that, when \(\varOmega \) is symmetric, then \(\mathbf {{1}}_r\in \mathbb {N}_\varOmega \) and the differential operator \(f\mapsto f*I^{-\mathbf {{1}}_r}_{ \varOmega }\) is simply the differential operator associated with the determinant polynomial \(\varDelta ^{\mathbf {{1}}_r}_\varOmega \) by means of the scalar product. This latter operator is often denoted by \(\square \). In addition, if \(\varOmega \) is symmetric and irreducible, then \(\mathbb {N}_\varOmega =\{\mathbf {{s}}\in \mathbb {N}^r:s_1\geqslant \cdots \geqslant s_r\}\), for an appropriate choice of \(\varDelta \). This latter condition completely determines \(\varDelta \) in this case.
2.2 Fourier analysis on the Šilov boundary
We now pass to the analysis of the Šilov boundary of D (cf. [31] for a more general treatment of this topic). We endow \(E\times F_\mathbb {C}\) with the 2-step nilpotent Lie group structure whose product is given by
for every \((\zeta ,z),(\zeta ',z')\in E\times F_\mathbb {C}\). If we identify \(\mathcal {N}{:}{=}E\times F\) with the Šilov boundary \(\rho ^{-1}(0)\) of D by means of the mapping \((\zeta ,x)\mapsto (\zeta ,x+i\varPhi (\zeta ))\), then \(\mathcal {N}\) becomes a 2-step nilpotent Lie group with product
for every \((\zeta ,x),(\zeta ',x')\in \mathcal {N}\).
Define \(W{:}{=}\{\lambda \in F':\exists v\in E {\setminus } \{0\}\,\, \langle \lambda , \textrm{Im}\,\varPhi (\,\cdot \,,v)\rangle =0\}\), so that W is a proper algebraic variety in \(F'\) since \(\varPhi \) is non-degenerate and \(\overline{\varOmega }\)-positive. Then, for every \(\lambda \in F'{\setminus } W\), the quotient of \(\mathcal {N}\) modulo the central subgroup \(\ker \lambda \) is isomorphic to a Heisenberg group (to \(\mathbb {R}\), if \(E=\{0\}\)), so that the Stone–Von Neumann theorem (cf., e.g. [25, Theorem 1.50]) ensures the existence of a unique (up to unitary equivalence) irreducible continuous unitary representation \(\pi _\lambda \) of \(\mathcal {N}\) in some Hilbert space \(H_\lambda \) such that \(\pi _\lambda (0,x)=\textrm{e}^{-i\langle \lambda , x \rangle }\) for every \(x\in F\). One then has the Plancherel identity (cf. [16, Corollary 1.17 and Proposition 2.30]):
for every \(f\in L^1(\mathcal {N})\cap L^2(\mathcal {N})\), where \(c>0\) is a suitable constant (which depends on the choice of \(e_{\varOmega '}\)) and \(\mathscr {L}^2(H_\lambda )\) denotes the space of Hilbert–Schmidt endomorphisms of \(H_\lambda \). Note that \(\varDelta ^{-\mathbf {{b}}}_{\varOmega '}\) is positive on \(\varOmega '\) and extends to a polynomial on \(F'\), so that the above formula is meaningful (cf. [16, Proposition 2.30]).
2.3 The CR structure of \(\mathcal {N}\)
For every \(v\in E\), denote by \(Z_v\) the left-invariant vector field on \(\mathcal {N}\) which induces the Wirtinger derivative \(\frac{1}{2} (\partial _v-i \partial _{iv})\) at (0, 0). Then, the \(Z_v\), for \(v\in E\), induce a subbundle of the complexified tangent bundle of \(\mathcal {N}\) which endows \(\mathcal {N}\) with the structure of a CR manifold (cf. [11, Sect. 7.4]). In particular, a distribution u on \(\mathcal {N}\) is said to be CR if \(\overline{Z_v}u=0\) for every \(v\in E\) (cf. [11, Sects. 9.1 and 17.2]). Note that an element f of \(L^2(\mathcal {N})\) is CR if and only if
for almost every \(\lambda \in F'\setminus W\), where \(\varLambda _+\) is the interior of the polar of \(\varPhi (E)\), that is, the set
and \(P_{\lambda ,0}\) is an orthoprojector of rank one in \(H_\lambda \), for every \(\lambda \in F'\setminus W\) (cf., e.g. [31] or [16, Proposition 1.19] and [15, Proposition 2.16]).
2.4 Metrics
We endow D with a complete Riemannian metric which is invariant under the action of affine biholomorphisms (for example, the Bergman metric is complete and invariant under all biholomorphisms of D, cf. [16, Proposition 2.44]), and the associated distance d. Since the balls with respect to d will only be used for bounded radii, it will not matter which distance is chosen, as long as it satisfies the preceding conditions.
We endow \(\varOmega \) with the Riemannian metric induced by that on D by means of the submersion \(\rho \) (interpreted as the projection of D onto its quotient modulo the action of \(\mathcal {N}\)), and \(\varOmega '\) with the metric induced by the diffeomorphism \(\varOmega \ni t\cdot e_\varOmega \mapsto e_{\varOmega '}\cdot t^{-1} \in \varOmega '\). We denote by \(d_\varOmega \) and \(d_{\varOmega '}\) the corresponding distances, and by \(B_\varOmega (h,R)\) and \(B_{\varOmega '}(\lambda ,R)\) the corresponding balls of centre \(h\in \varOmega \) and \(\lambda \in \varOmega '\), respectively, and radius \(R>0\). Notice that also in this case one may choose general complete \(T_+\)-invariant Riemannian distances without (essentially) compromising the results which follow. Nonetheless, the relationships between d and \(d_\varOmega \) will be useful in some places (such as in the definition of lattices given below).
Analogously, we endow \(E\times \varOmega \) with the Riemannian metric induced by the one on D by means of the submersion
interpreted as the projection of D onto its quotient modulo the action of the centre F of \( \mathcal {N}\). We denote by \(d_{E\times \varOmega }\) the corresponding distance and by \(B_{E\times \varOmega }((\zeta ,h),R)\) the corresponding ball of centre \((\zeta ,h)\in E\times \varOmega \) and radius \(R>0\).
We observe explicitly that both \(\mathcal {N}\) and its centre F are normal subgroups of the group \(G_\textrm{Aff}\) of affine automorphisms of D (cf. [28, Proposition 2.1]). Hence, \(d_\varOmega \) and \(d_{E\times \varOmega }\) are \((G_\textrm{Aff}/\mathcal {N})\)- and \((G_\textrm{Aff}/F)\)-invariant, respectively. In particular, \(d_\varOmega \) and \(d_{\varOmega '}\) are \(T_+\)-invariant, while \(d_{E\times \varOmega }\) is invariant under the affine automorphisms of the form
with \(\zeta '\in E\), \(t\in T_+\), and \(g\in GL(E)\) such that \(t\cdot \varPhi =\varPhi \circ (g\times g)\). We define \(\nu _{E\times \varOmega }{:}{=}(\varDelta _\varOmega ^{-\mathbf {{b}}-\mathbf {{d}}}\circ {{\,\textrm{pr}\,}}_\varOmega )\cdot \mathcal {H}^{2n+m}\), so that \(\nu _{E\times \varOmega }\) is \((G_\textrm{Aff}/F)\)-invariant.
2.5 Lattices
By a \((\delta ,R)\)-lattice on \(\varOmega \), with \(\delta >0\) and \(R>1\), we mean a family \((h_k)_{k\in K}\) of elements of \(\varOmega \) such that the balls \(B_\varOmega (h_k,\delta )\) are pairwise disjoint while the balls \(B_\varOmega (h_k,R\delta )\) cover \(\varOmega \). We define lattices on \(\varOmega '\) and \(E\times \varOmega \) analogously. Notice that every maximal family of elements of \(\varOmega \) whose mutual distances are \(\geqslant 2 \delta \) is necessarily a \((\delta ,2)\)-lattice (and conversely), so that \((\delta ,2)\)-lattices on \(\varOmega \), \(\varOmega '\), and \(E\times \varOmega \) always exist.
By an \(\mathcal {N}\)-\((\delta ,R)\)-lattice on D, with \(\delta >0\) and \(R>1\), we mean a family \((\zeta _{j,k},z_{j,k})_{j\in J,k\in K}\) of elements of D such that the balls \(B((\zeta _{j,k},z_{j,k}),\delta )\) are pairwise disjoint, the balls \(B((\zeta _{j,k},z_{j,k}),R\delta )\) cover D, and there is a \((\delta ,R)\)-lattice \((h_k)_{k\in K}\) on \(\varOmega \) such that \(\rho (\zeta _{j,k},z_{j,k})=h_k\) for every \(j\in J\) and for every \(k\in K\).
By an F-\((\delta ,R)\)-lattice on D, with \(\delta >0\) and \(R>1\), we mean a family \((\zeta _{k},z_{j,k})_{j\in J,k\in K}\) of elements of D such that the balls \(B((\zeta _{k},z_{j,k}),\delta )\) are pairwise disjoint, the balls \(B((\zeta _{k},z_{j,k}),R\delta )\) cover D, and there is a \((\delta ,R)\)-lattice \((\zeta _k,h_k)_{k\in K}\) on \(E\times \varOmega \) such that \(\rho (\zeta _k,z_{j,k})=h_k\) for every \(j\in J\) and for every \(k\in K\).
By a modification of the previous argument, one may show that \(\mathcal {N}\)- and F-\((\delta ,4)\)-lattices always exist on D (cf. [16, Lemma 2.55]).
2.6 The associated tube domain
We denote by
the tube domain associated with \(\varOmega \). Given a function f on D, we define
for every \(h\in \varOmega \), and
for every \(\zeta \in E\). Thus,
for every \(\zeta \in E\) and for every \(h\in \varOmega \).
2.7 Two families of mixed-norm weighted bergman spaces
We now introduce the different definitions of mixed-norm Bergman spaces.
In [16, 33], mixed-norm weighted Bergman spaces are defined as
On the one hand, this definition highlights the role played by the Šilov boundary of D and gives rise to the usual Hardy spaces when \(q=\infty \) and \(\mathbf {{s}}=\mathbf {{0}}\) (that is, \(\varDelta _\varOmega ^{\mathbf {{s}}}=1\)). In particular, the non-commutative Fourier analysis on \(\mathcal {N}\) comes into play. On the other hand, the weight \(\varDelta _\varOmega ^{\mathbf {{s}}}\circ \rho \) is considered as a multiplier of the function, and not of the measure, and the ‘base measure’ is chosen in such a way that it induces the invariant measures on \(\mathcal {N}\) and \(\varOmega \). When \(q=\infty \), this allows to treat a whole class of spaces which would not appear otherwise, and which play a relevant role in the duality theory of the spaces \(A^{p,q}_{\mathbf {{s}}}(D)\) when \(q\leqslant 1\).
In [6, 29] (to cite only a few), mixed-norm weighted Bergman spaces are defined as
On the one hand, this definition highlights the role played by the centre F of the Šilov boundary of D, so that the usual (commutative) Fourier analysis on F comes into play. In addition, this definition also allows to view D as the union of the translates \((\zeta ,i\varPhi (\zeta ))+T_\varOmega \) of the tube domain \(T_\varOmega \) (identified with \(\{0\}\times T_\varOmega \subseteq D\)), so that some of the analysis on \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) may be reduced to a simpler analysis on \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\). On the other hand, the weight \(\varDelta _\varOmega ^{\mathbf {{s}}}\circ \rho \) is considered as a multiplier of the ‘base measure’ \((\varDelta _\varOmega ^{\mathbf {{b}}/2+\mathbf {{d}}}\circ \rho )\cdot \mathcal {H}^{2n+2\,m}= (\varDelta _\varOmega ^{-\mathbf {{b}}/2-\mathbf {{d}}}\circ \rho )\cdot \nu _D\), and not of the function. In this way, the self-adjoint projector of \(\mathfrak {L}^{2,2}_{\mathbf {{s}}}(D)\) (defined as \(\mathfrak {A}^{2,2}_{\mathbf {{s}}}(D)\), but allowing f to be a measurable function modulo negligible functions) onto \(\mathfrak {A}^{2,2}_{\mathbf {{s}}}(D)\) is highlighted as the ‘canonical choice’ when looking for a projector of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) for different \(p,q\in [1,\infty ]\).
We mention that \(\mathfrak {A}^{p,\infty }_{\mathbf {{s}}}(D)=\mathfrak {A}^{p,\infty }_{\mathbf {{0}}}(D)\) for every \(\mathbf {{s}}\in \mathbb {R}^r\). Because of this fact, the case \(q=\infty \) is somewhat pathological and seldom considered. For similar reasons, the duality theory for the space \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\), when \(q\leqslant 1\), is treated separately (cf., e.g. [1]).
We also observe that
where
for every measurable function \(g:\mathcal {N}\rightarrow \mathbb {C}\).
3 The spaces \(A^{p,q}_{\mathbf {{s}}}\)
In this short section, we collect some of the main results concerning the spaces \(A^{p,q}_{\mathbf {{s}}}(D)\) the analogues of which we wish to prove for the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) in the next section. We recall that the spaces \(A^{p,q}_{\mathbf {{s}}}(D)\), and \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\), are described in Sect. 2. We refer the reader to [16, 19] for the proofs of the statements of this section.
3.1 Elementary properties
The following result is a consequence of [16, Corollary 1.31 and Proposition 3.5].
Proposition 3.1
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). Then, \(A^{p,q}_{\mathbf {{s}}}(D)\ne \{0\}\) if and only if \(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}}\) or \(q=\infty \) and \(\mathbf {{s}} \geqslant \mathbf {{0}}\). In addition, \(A^{p,q}_{\mathbf {{s}}}(D)\) is a quasi-Banach space.
Next, we deal with inclusions among the \(A^{p,q}_{\mathbf {{s}}}(D)\) spaces. The result is a consequence of [16, Proposition 3.2]. It extends [33, Proposition 2.2], which corresponds to the case in which \(D=\mathbb {C}_+\).
Proposition 3.2
Take \(p_1,p_2,q_1,q_2\in (0,\infty ]\) with \(p_1\leqslant p_2, q_1\leqslant q_2\) and \(\mathbf {{s_1}},\mathbf {{s_2}}\in \mathbb {R}^r\) with \(\mathbf {{s_2}}=\mathbf {{s_1}}+\left( \frac{1}{p_2}-\frac{1}{p_1} \right) (\mathbf {{b}}+\mathbf {{d}})\). Then,
continuously.
3.2 Reproducing kernels
Define the auxiliary function
for every \((\zeta ,z),(\zeta ',z')\in (D\times \overline{D})\cup ({\overline{D}}\times D)\), where \({\overline{D}}\) denotes the closure of D in \(E\times F_\mathbb {C}\) (note that conjugation on E is not defined).
Then, by [27, Theorem 5.4] and [9, Theorem II.6] (cf., also, [16, Proposition 3.11]), the following result holds.
Proposition 3.3
If \(\mathbf {{s}} \succ \frac{1}{4} \mathbf {{m}}\), then \(A^{2,2}_{\mathbf {{s}}}(D)\) is a reproducing kernel Hilbert space with reproducing kernel
for a suitable \(c_{\mathbf {{s}}}\ne 0\).
In [16], for notational convenience, the corresponding integral operators are based on \(B^{\mathbf {{s}}}\) rather than \(K^{\mathbf {{s}}}\), so that the operators
are considered.
The following result is a consequence of [16, Proposition 3.13]. It extends [33, Theorem 3.1], which corresponds to the case in which \(D=\mathbb {C}_+\).
Proposition 3.4
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\). If:
-
\(\mathbf {{s}}\succ \frac{1}{p} (\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 q'}\mathbf {{m}}'\);
-
\(\mathbf {{s}}'\prec \frac{1}{p'} (\mathbf {{b}}+\mathbf {{d}})-\frac{1}{2 p'}\mathbf {{m}}',\mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\);
-
\(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{\min (1,p)}(\mathbf {{b}}+\mathbf {{d}})-\frac{1}{2 q'}\mathbf {{m}}'\) or \(q'=\infty \) and \(\mathbf {{s}}+\mathbf {{s}}'\leqslant \frac{1}{\min (1,p)}(\mathbf {{b}}+\mathbf {{d}})\);
then \(P_{\mathbf {{s}}'}f=f\) for every \(f\in A^{p,q}_{\mathbf {{s}}}(D)\).
3.3 Sampling
The following sampling theorem is a consequence of [16, Theorem 3.22], where a more precise version of this result is proved. We denote by \(\ell ^{p,q}(J,K)\) the space of \(\lambda \in \mathbb {C}^{J\times K}\) such that \(\Vert {\Vert {\lambda _{j,k}} \Vert _{\ell ^p(J)}} \Vert _{\ell ^q(K)} < \infty \), with some abuse of notation.
Theorem 3.5
Take \(p,q\in (0,\infty ]\), \(\mathbf {{s}}\in \mathbb {R}^r\) and \(R_0>1\). Then, there is \(\delta _0>0\) such that, for every \(\mathcal {N}\)-\((\delta ,R)\)-lattice \((\zeta _{j,k},z_{j,k})_{j\in J,k\in K}\) on D, with \(\delta \in (0,\delta _0]\) and \(R\in (1,R_0]\), the mapping
induces an isomorphism of \(A^{p,q}_{\mathbf {{s}}}(D)\) onto a closed subspace of \(\ell ^{p,q}(J,K)\).
Here we mention that the transpose of the sampling map defined above is often considered an atomic decomposition map, especially when the duals of \(A^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) may be identified with \(A^{p',q'}_{\mathbf {{s}}'}(D)\) and \(\mathfrak {A}^{p',q'}_{\mathbf {{s}}'}(D)\), respectively, for some \(\mathbf {{s}}'\).
3.4 Atomic decomposition and duality
Definition 3.6
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s'}}\in \mathbb {R}^r\). Then, we say that property \((L)^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\) holds if for every \(\delta _0>0\) there is an \(\mathcal {N}\)-\((\delta ,4)\)-lattice \((\zeta _{j,k},z_{j,k})_{j\in J, k\in K}\), with \(\delta \in (0,\delta _0]\), such that, defining \(h_k{:}{=}\rho (\zeta _{j,k},z_{j,k})\) for every \(j\in J\) and for every \(k\in K\), the mapping
is well defined (with locally uniform convergence of the sum) and maps \(\ell ^{p,q}(J,K) \) into \(A^{p,q}_{\mathbf {{s}}}(D)\) continuously.
If we may take \((\zeta _{j,k},z_{j,k})_{j\in J, k\in K}\), for every \(\delta _0>0\) as above, in such a way that the corresponding mapping \(\varPsi _A\) is onto, then we say that property \((L')^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\) holds.
The next result is a consequence of [16, Theorems 3.33 and 3.34]. This result was first proved in [22, Theorem 2] when D is symmetric, \(p=q<\infty \), and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\).Footnote 3 See also [33, Theorem 1.5], which corresponds to the case in which D is the upper half-plane.
Theorem 3.7
Take \(p,q\in ]0,\infty ]\) and \(\mathbf {{s}}, \mathbf {{s'}}\in \mathbb {R}^r\) such that the following hold:
-
\(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}+\left( \frac{1}{2 \min (1,p)}-\frac{1}{2 q} \right) _+\mathbf {{m'}}\);
-
\(\mathbf {{s'}}\prec \frac{1}{\min (1,p)} (\mathbf {{b}}+\mathbf {{d}})-\frac{1}{2 \min (1,p)} \mathbf {{m'}}\);
-
\(\mathbf {{s}} +\mathbf {{s'}}\prec \frac{1}{\min (1,p)} (\mathbf {{b}}+\mathbf {{d}})-\frac{1}{2 q} \mathbf {{m'}}-\left( \frac{1}{2 \min (1,p)}-\frac{1}{2 q} \right) _+\mathbf {{m}}\);
Then, property \((L')^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\) holds. More precisely, the mapping \(\varPsi _A\) of Definition 3.6 has a continuous linear section for \(\delta \) sufficiently small and R bounded.
By [19, Corollary 4.7], properties \((L)^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\) and \((L')^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\) are actually equivalent when \(p,q\in [1,\infty ]\).
The following result is essentially a consequence of [19, Corollary 4.14]. It extends [33, Theorem 8.2], which deals with the case in which D is the upper half-plane.
Proposition 3.8
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\) such that property \((L)^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) holds. Denote by V the closed vector subspace of \(A^{p,q}_{\mathbf {{s}}}(D)\) generated by the \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\), \((\zeta ,z)\in D\). Then, the sesquilinear form
induces an antilinear isomorphism of \(A^{p',q'}_{(\mathbf {{b}}+\mathbf {{d}})/\min (1,p)-\mathbf {{s}}-\mathbf {{s}}'}(D)\) onto the dual of V.
If property \((L')^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) holds and \(p,q<\infty \), then \(V=A^{p,q}_{\mathbf {{s}}}(D)\).
3.5 Boundary values
We now consider the problem of determining the boundary values of the spaces \(A^{p,q}_{\mathbf {{s}}}(D)\). We recall some definitions and results from [16], with some slight changes motivated by [14, 15].
Definition 3.9
We define \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) as the space of CR \(\phi \in \mathcal {S}(\mathcal {N})\) such that \(\mathcal {F}_F(\phi (\zeta ,\,\cdot \,))\) is supported in \(\overline{\varOmega '}\) for every \(\zeta \in E\), endowed with the topology induced by \(\mathcal {S}(\mathcal {N})\). We define \(\mathcal {S}_{\overline{\varOmega '}}'(\mathcal {N})\) as the dual of the conjugate of \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\). In addition, we define \(\widetilde{\mathcal {S}}_{\overline{\varOmega '}}(\mathcal {N})\) as the space of \(\phi \in \mathcal {S}(\mathcal {N})\) such that \(\pi _\lambda (\phi )=\chi _{\varOmega '}(\lambda ) P_{\lambda ,0}\pi _\lambda (\phi )P_{\lambda ,0}\) for every \(\lambda \in F'{\setminus } W\). We define
Notice that \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) may be equivalently defined as the set of \(\phi \in \mathcal {S}(\mathcal {N})\) such that \(\pi _\lambda (\phi )=\chi _{\varOmega '}(\lambda ) \pi _\lambda (\phi )P_{\lambda ,0}\) for every \(\lambda \in F'{\setminus } W\), thanks to [15, Proposition 2.17]. In addition, \(\mathcal {F}_\mathcal {N}\) induces an isomorphism of \(\widetilde{\mathcal {S}}_{\overline{\varOmega '}}(\mathcal {N})\) onto the space of Schwartz functions on \(F'\) supported in \(\overline{\varOmega '}\) (cf. [15, Proposition 5.2]).
Definition 3.10
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). We define \(B^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) as the space of \(u\in \mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\) such that
where \((\lambda _k)_{k\in K}\) is a \((\delta ,R)\)-lattice on \(\varOmega '\) and \((\psi _k)\) is a family of elements of \(\widetilde{\mathcal {S}}_{\overline{\varOmega '}}(\mathcal {N})\) such that \(((\mathcal {F}_\mathcal {N}\psi _k)(\,\cdot \, t_k))\) is a bounded family of positive elements of \(C^\infty _c(\varOmega ')\),Footnote 4 with \(\lambda _k=e_{\varOmega '}\cdot t_k\), and
on \(\varOmega '\).
The definition of \(B^{p,q}_{\mathbf {{s}}}(\mathcal {N},\varOmega )\) does not depend on the choice of \(\delta \), R, \((\lambda _k)\), and \((\psi _k)\) (cf. [16, Lemma 4.14]). In addition, \(B^{p,q}_{\mathbf {{s}}}(\mathcal {N},\varOmega )\) is a quasi-Banach space (cf. [16, Proposition 4.16] and [14, Proposition 7.12]).
Observe that, by [16, the remarks following the statement of Lemma 5.1], there is a constant \(c>0\) such that
for every \(f\in H^2(D)=A^{2,\infty }_{\mathbf {{0}}}(D)\) and for every \((\zeta ,z)\in D\), where \(f_0\) is the limit of \((f_h)\) in \(L^2(\mathcal {N})\) for \(h\rightarrow 0\), \(h\in \varOmega \). In other words,
is (the boundary values of) the Cauchy–Szegő kernel.
The following result is a consequence of [16, Proposition 4.20, Theorem 4.23, and Lemma 5.1].
Proposition 3.11
Take \((\lambda _k)\) and \((\psi _k)\) as in Definition 3.10, in such a way that \(\sum _k (\mathcal {F}_\mathcal {N}\psi _k)^2=1\) on \(\varOmega '\). Then, there is a continuous sesquilinear form
which induces an antilinear isomorphism of \(B^{{-}\mathbf {{s}}{-}(1/p{-}1)_{+}(\mathbf {{b}}{+}\mathbf {{d}})}_{p',q'} (\mathcal {N},\varOmega )\) onto the dual of the closure of \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) in \(B^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\).
In addition, \(S_{(\zeta ,z)}\in B^{-\mathbf {{s}}-(1/p-1)_+(\mathbf {{b}}+\mathbf {{d}})}_{p',q'}(\mathcal {N},\varOmega )\) for every \((\zeta ,z)\in D\) if \(\mathbf {{s}}\succ \frac{1}{p}(\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 q'}\mathbf {{m'}}\).
Definition 3.12
Given \(\mathbf {{s}}\succ \frac{1}{p}(\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 q'}\mathbf {{m'}} \), we define a continuous linear operator
and denote by \({\widetilde{A}}^{p,q}_{\mathbf {{s}}}(D)\) its image, endowed with the corresponding topology.
Notice that \((\mathcal {E}u)_h\rightarrow u\) in \(\mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\) for \(h\rightarrow 0\), \(h\in \varOmega '\), for every \(u\in B^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) (cf. [16, Theorem 5.2] and [14, Proposition 7.13]), so that \(\mathcal {E}\) is one-to-one and \( B^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) is the space of boundary values of \({\widetilde{A}}^{p,q}_{\mathbf {{s}}}(D)\) (when defined).
The following result is a consequence of [16, Proposition 5.4 and Corollary 5.11]. Notice that the inclusion \(\mathcal {E}(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N}))\subseteq A^{p,q}_{\mathbf {{s}}}(D)\) does not follow from [16, Proposition 5.4], but may be obtained by means of standard arguments, making use of [16, Corollaries 2.22 and 2.35].
Theorem 3.13
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). If \(\mathbf {{s}}\succ \frac{1}{p}(\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 q'}\mathbf {{m'}}\) and either \(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}\) or \(q=\infty \) and \(\mathbf {{s}}\geqslant \mathbf {{0}}\), then
continuously, with equality in the second inclusion if
We also have transference results (cf. [19, Theorems 6.1 and 6.3]).
Proposition 3.14
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). Then the following hold:
-
(1)
if \(\mathbf {{s}}\succ \frac{1}{p} \mathbf {{d}}+\frac{1}{2p'}\mathbf {{m'}} \) and \(A^{p,p}_{\mathbf {{s}} }(T_\varOmega )={\widetilde{A}}^{p,p}_{\mathbf {{s}} }(T_\varOmega )\), then \(A^{p,p}_{\mathbf {{s}}}(D)={\widetilde{A}}^{p,p}_{\mathbf {{s}}}(D)\);
-
(2)
if \(\mathbf {{s}} \succ \frac{1}{p}(\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 q'}\mathbf {{m'}}\) and \(A^{p,q}_{\mathbf {{s}}}(D)={\widetilde{A}}^{p,q}_{\mathbf {{s}}}(D)\), then \(A^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )=\widetilde{A}^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )\).
Notice that, in assertion (1) above, we consider only pure norm spaces; an analogue for mixed-norm spaces holds for the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\), as we shall see below (cf. Proposition 4.26).
3.6 Bergman Projectors
Concerning the boundedness of Bergman projectors, we have the following results (cf. [16, Proposition 5.20]).
Proposition 3.15
Take \(p,q\in [1,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}' \in \mathbb {R}^r\). If \(\mathbf {{s}}'\prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\) and \(P_{\mathbf {{s'}}}\) induces a continuous linear projector of \(L^{p,q}_{\mathbf {{s}}}(D)\) onto \(A^{p,q}_{\mathbf {{s}}}(D)\), then:
-
\(\mathbf {{s}} \succ \frac{1}{p}(\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 q'}\mathbf {{m'}} \), and \(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}\) or \(q=\infty \) and \(\mathbf {{s}} \geqslant \mathbf {{0}}\);
-
\(\mathbf {{s'}}\prec \frac{1}{\min (p,p')}(\mathbf {{b}}+\mathbf {{d}}-\frac{1}{2}\mathbf {{m'}})\);
-
\(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{p} (\mathbf {{b}}+\mathbf {{d}})-\frac{1}{2 q}\mathbf {{m}}'\), and \(\mathbf {{s}}+\mathbf {{s}}'\prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2 q'}\mathbf {{m}}\) or \(q=1\) and \(\mathbf {{s}}+\mathbf {{s}}'\leqslant \mathbf {{b}}+\mathbf {{d}}\).
There are also transference results (cf. [19, Corollary 4.7 and Theorems 6.1 and 6.3]).
Proposition 3.16
Take \(p,q\in [1,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\) such that \(\mathbf {{s'}}\prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\). Then, the following hold:
-
if \(P_{\mathbf {{s'}}}\) induces a continuous linear projector of \(L^{p,q}_{\mathbf {{s}}}(D)\) onto \(A^{p,q}_{\mathbf {{s}}}(D)\), then \(P_{\mathbf {{s'}}}\) induces a continuous linear projector of \(L^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )\) onto \(A^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )\);
-
if \(P_{\mathbf {{s'}}-\mathbf {{b}}}\) induces a continuous linear projector of \(L^{p,p}_{\mathbf {{s}}}(T_\varOmega )\) onto \(A^{p,p}_{\mathbf {{s}}}(T_\varOmega )\), then \(P_{\mathbf {{s'}}}\) induces a continuous linear projector of \(L^{p,p}_{\mathbf {{s}}}(D)\) onto \(A^{p,p}_{\mathbf {{s}}}(D)\).
Notice that, in the second assertion of the preceding result, we consider only pure norm spaces; an analogue for mixed-norm spaces holds for the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\), as we shall see below (cf. Corollary 4.33).
The following result is a consequence of [16, Corollary 5.27] (cf. also [19, Corollary 4.7]).
Theorem 3.17
Take \(p,q\in [1,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\). If:
-
\(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}+\left( \frac{1}{2 \min (p,p')}-\frac{1}{2 q} \right) _+\mathbf {{m'}}\);
-
\(\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s'}}\succ \frac{1}{2 q'}\mathbf {{m}}+\left( \frac{1}{2 \min (p,p')}-\frac{1}{2 q'} \right) _+\mathbf {{m'}}\);
then \(P_{\mathbf {{s'}}}\) induces a continuous linear projector of \(L^{p,q}_{\mathbf {{s}}}(D)\) onto \(A^{p,q}_{\mathbf {{s}}}(D)\).
4 The Spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\)
In this section, we consider the spaces
and prove the appropriate analogues of the results of the previous section valid in the case of the spaces \(A^{p,q}_{\mathbf {{s}}}(D)\).
In order to deal with the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\), we introduce some auxiliary spaces, namely the spaces
and
where \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) denotes the closure of \(C_c(D)\) in \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) (defined as \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) replacing \({{\,\textrm{Hol}\,}}(D)\) with the space of measurable functions modulo negligible functions).
The reason for the introduction of these spaces lies in the fact that they are somewhat similar to the spaces \(A^{p,q}_{\mathbf {{s}}}\) and enjoy similar technical advantages, but may still be easily related to the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) by means of the simple equality
which holds for every p, q and \(\mathbf {{s}}\), as one may readily see from the definitions.
We also observe that the treatment of the smaller spaces \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) is necessary for a reasonably comprehensive treatment of duality, since in general only the dual of \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) may be reasonably described. Since duality cannot be comprehensively studied using only the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\), defining an analogous space \(\mathfrak {A}^{p,q}_{\mathbf {{s}},0}\) seems superfluous (and would only be of use when \(p=\infty \) and \(q<\infty \), since \(\mathfrak {A}^{p,\infty }_{\mathbf {{s}},0}(D)=\{0\}\) for every \(p\in (0,\infty ]\), thanks to Proposition 4.5). Notice that analogous spaces \(A^{p,q}_{\mathbf {{s}},0}(D)\) have also been considered in [16, 19]. Since Sect. 3 is essentially a summary of [16, 19], for the sake of simplicity we avoided the introduction of the spaces \(A^{p,q}_{\mathbf {{s}},0}(D)\). On the contrary, we believe that the proofs of this section will benefit from the parallel treatment of the spaces \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\).
4.1 Elementary Properties
We begin our treatment of the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}}}\) by a direct comparison with the spaces \(A^{p,q}_{\mathbf {{s}}}\).
Lemma 4.1
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). If either \(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}}\), or \(q=\infty \) and \(\mathbf {{s}} \geqslant \mathbf {{0}}\), then
if and only if \(p=q\) or \(E=\{0\}\). In particular, if \(\mathbf {{s}}\succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})\) or \(q=\infty \), then
if and only if \(p=q\) or \(E=\{0\} \).
Note that, as the proof (combined with Proposition 4.5) shows, if \(p\ne q\) and \(E\ne \{0\}\), then \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\not \subseteq A^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\not \supseteq A^{p,q}_{\mathbf {{s}}}(D)\).
Proof
It is clear that \(A^{p,q}_{\mathbf {{s}}}(D)=\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) if \(p=q\) (by Fubini’s theorem) and if \(E=\{0\}\). Conversely, assume that \(p\ne q\) and that \(E\ne \{0\}\), so that \(\mathbf {{b}}\ne \textbf{0}\). Observe that, given \(t\in T_+\) and \(g\in GL(E)\) such that \(t\cdot \varPhi =\varPhi \circ (g\times g)\) and \(f\in {{\,\textrm{Hol}\,}}(D)\), one has
and
so that, letting \(t\rightarrow \infty \), we see that the norms on the quasi-Banach spaces \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and \(A^{p,q}_{\mathbf {{s}}}(D)\) cannot be comparable. The assertion follows from the open mapping and the closed graph theorems, since both \(A^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) are quasi-Banach spaces (cf. Remark 3.1 and Proposition 4.5). \(\square \)
The second assertion of the following result extends: [3, Proposition 3.22], which corresponds to the case in which \( p_1,q_1\geqslant 1\), \(q_2=\infty \), \(n=0\), \(\mathbf {{s}}\in \mathbb {R}\mathbf {{1}}_r\), and \(\varOmega \) is symmetric; [23, Proposition 2.3], which corresponds to the case in which \( p_1,q_1\geqslant 1\), \(q_2=\infty \), \(n=0\), and \(\varOmega \) is symmetric; [30, Lemma 5.2], which corresponds to the case in which \( p_1,q_1\geqslant 1\), \(q_2=\infty \), and \(n=0\).
Proposition 4.2
Take \(p_1, p_2, q_1, q_2\in (0,\infty ]\) and \(\mathbf {{s_1}},\mathbf {{s_2}}\in \mathbb {R}^r\). If
\(p_1\leqslant p_2, \qquad q_1\leqslant q_2, \qquad \text {and}\qquad \quad \mathbf {{s_2}}=\mathbf {{s_1}}+\left( \frac{1}{p_2}-\frac{1}{p_1} \right) \mathbf {{d}}+\left( \frac{1}{q_2}-\frac{1}{q_1} \right) \mathbf {{b}},\)
then \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}}(D)\subseteq \mathcal {A}^{p_2,q_2}_{\mathbf {{s_2}}}(D)\) and \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D)\subseteq \mathcal {A}^{p_2,q_2}_{\mathbf {{s_2}},0}(D)\). In addition, the mappings \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}}(D)\ni f \mapsto f^{(\zeta )}\in \mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}-\mathbf {{b}}/q_1}(T_\varOmega )\), as \(\zeta \) runs through E, are equicontinuous and map \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D)\) into \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}-\mathbf {{b}}/q_1,0}(T_\varOmega )\).
In particular, \(\mathfrak {A}^{p_1,q_1}_{\mathbf {{s_1}}}(D)\subseteq \mathfrak {A}^{p_2,q_2}_{\mathbf {{s_2}}}(D)\) continuously, provided that \(q_2<\infty \) and \(\mathbf {{s_2}}=\frac{q_2}{q_1}\mathbf {{s_1}}+\left( \frac{q_2}{p_2}-\frac{q_2}{p_1} \right) \mathbf {{d}}+\left( \frac{1}{2}-\frac{q_2}{2 q_1} \right) \mathbf {{b}}\). In addition, the mappings \(\mathfrak {A}^{p_1,q_1}_{\mathbf {{s}}_1}(D)\ni f \mapsto f^{(\zeta )}\in \mathfrak {A}^{p_1,q_1}_{\mathbf {{s}}_1-\mathbf {{b}}/2}(T_\varOmega )\), as \(\zeta \) runs through E, are equicontinuous.
Before we pass to the proof, we need an analogue of [16, Lemma 3.26].
Lemma 4.3
There are \(R'_0>0\) and a constant \(C>0\) such that, for every \(p,q \in (0,\infty ]\), for every \({R'}\in (0,R'_0]\), for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \((\zeta ,h)\in E\times \varOmega \),
(modification if \(q=\infty \)).
Proof
Set \(\ell {:}{=}\min (1,p,q)\) to simplify the notation. By [16, Lemma 3.24], there are \(R_0>0\) and \(C'>0\) such that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\), for every \((\zeta ,z)\in D\), and for every \(R\in (0,R_0]\). Then, applying Minkowski’s integral inequality (with exponent \(\frac{p}{\ell }\)) and Young’s inequality,
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \(h\in \varOmega \), where
and
By [16, Corollary 2.49], there is a constant \(C>0\) such that, for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \(h\in \varOmega \),
if \(R\in (0,R_0]\). Then, Jensen’s inequality (with exponent \( \frac{q}{\ell }\)) leads to the first inequality. \(\square \)
First part of the proof of Proposition 4.2
Step I. Let us first show that there are \(R,C_1>0\) such that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \(h\in \varOmega \), where \(\ell {:}{=}\min (1,p_1,q_1)\). By homogeneity, it will suffice to prove (4) for \(h=e_\varOmega \). Observe that, by [16, Lemma 3.24], there are \(R>0\) and \(C_2>0\) such that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \((\zeta ,z)\in D\). Then, applying Minkowski’s integral inequality and Young’s inequality,Footnote 5
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \(h\in \varOmega \), where \(C'_2=\nu _\varOmega (B_\varOmega (e_\varOmega ,R))/\nu _D(B((0, i e_\varOmega ),R))\) and
and \(p_3,q_3\in [1,\infty ]\) are defined so that \(1+\frac{\ell }{p_2}=\frac{\ell }{p_1}+\frac{1}{p_3}\) and \(1+\frac{\ell }{q_2}=\frac{\ell }{q_1}+\frac{1}{q_3}\).
Step II. Applying the \(L^{q_2/\ell }(\nu _\varOmega )\) norm to (4) and using Jensen’s inequality, we see that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\), whence the inclusion \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1}(D)\subseteq \mathcal {A}^{p_2,q_2}_{\mathbf {{s}}_2}(D)\).
Step III. For what concerns the equicontinuity of the mappings \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}}(D)\ni f \mapsto f^{(\zeta )}\in A^{p_1,q_1}_{\mathbf {{s_1}}-\mathbf {{b}}/q_1}(T_\varOmega )\), as \(\zeta \) runs through E, observe that this is obvious when \(q_1=\infty \). Then, assume that \(q_1<\infty \) and observe that, by Lemma 4.3, there are \(R',C_4>0\) such that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \((\zeta ,h)\in E\times \varOmega \). By [16, Corollary 2.49], there is a constant \(C_5>0\) such that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \((\zeta ,h)\in E\times \varOmega \). Applying the \(L^{q_1}(\nu _\varOmega )\) norm, we then see that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \(\zeta \in E\), where \(C_6{:}{=}C_5\nu _\varOmega (B_\varOmega (e_\varOmega ,R')) ^{1/q_1}\). \(\square \)
Corollary 4.4
Take \(p,q\in (0,\infty ]\), \(\mathbf {{s}}\in \mathbb {R}^r\), and \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\). Then, the function \(h\mapsto \Vert {f^{(\zeta )}_h} \Vert _{L^p(F)}\) is decreasing (for the order induced by \(\overline{\varOmega }\)) for every \(\zeta \in E\).
Proof
This follows from Proposition 4.2 and [16, Corollary 3.3]. \(\square \)
The second assertion of the following result extends: [9, Corollary II.3], which corresponds to the case in which \(p=q\); [3, Proposition 3.8], which corresponds to the case in which \(p=q\in [1,\infty )\), \(n=0\), \(\mathbf {{s}}\in \mathbb {R}\mathbf {{1}}_r\), and \(\varOmega \) is symmetric; [23, Theorem 2.15], which corresponds to the case in which \(p\in [1,\infty ]\), \(q\in [1,\infty )\), \(n=0\), and \(\varOmega \) is symmetric.
Proposition 4.5
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). Then, \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\ne \{0\}\) (resp. \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\ne \{0\}\)) if and only if \(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}\) (resp. \(\mathbf {{s}}\geqslant \mathbf {{0}}\) if \(q=\infty \)). In particular, \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\ne \{0\}\) if and only if \(\mathbf {{s}} \succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})\) or \(q=\infty \).
In addition, \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\), \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\), and \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) are quasi-Banach spaces.
Proof
Let \({(\lambda _1,\ldots ,\lambda _m)}\) be a basis of \(F^\prime \) with elements in \(\varOmega ^\prime \). Observe first that the function
is well defined for every \(\varepsilon >0\) and \(\alpha \in (0,1/2)\) and satisfies estimates of the form
for every \(\varepsilon >0\) and for every \((\zeta ,z)\in D\) and for a suitable C (depending only on \(\alpha \)), thanks to [16, Lemma 1.22] (cf., also, [31, Lemma 8.1]). It is then readily verified that, for every \(\varepsilon >0\), there is a constant \(C_\varepsilon >0\) such that \(\Vert {g^{(\varepsilon )}_h} \Vert _{L^{p,q}(F,E)}\leqslant C_\varepsilon \textrm{e}^{-C \varepsilon \vert {h} \vert ^\alpha }\) for every \(h\in \varOmega \), so that \(g^{(\varepsilon )}\) belongs to \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) for \(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}}\) and to \(\mathcal {A}^{p,\infty }_{\mathbf {{s}}}(D)\) for every \(\mathbf {{s}}\geqslant 0\), thanks to [16, Proposition 2.19 and Lemma 2.34].
Conversely, if \(q<\infty \) and \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\), then the mapping \(h\mapsto \Vert {f_h } \Vert _{L^{p,q}(F,E)} \) is decreasing for the ordering induced by \(\overline{\varOmega }\), for every \(\zeta \in E\), by Corollary 4.4. Since \(\varDelta ^{q\mathbf {{s}}}_\varOmega \cdot \nu _\varOmega \) does not induce a Radon measure on \(\overline{\varOmega }\) unless \(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}\) by [16, Proposition 2.19], this proves that \(f=0\) unless \(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}\). If, otherwise, \(f\in \mathcal {A}^{p,\infty }_{\mathbf {{s}},0}(D)\) or \(f\in \mathcal {A}^{p,\infty }_{\mathbf {{s}}}(D)\), then it is clear that \(f^{(\zeta )}\in \mathcal {A}^{p,\infty }_{\mathbf {{s}},0}(T_\varOmega )\) and \(f\in \mathcal {A}^{p,\infty }_{\mathbf {{s}}}(T_\varOmega )\), respectively, for every \(\zeta \in E\), so that \(f=0\) unless \(\mathbf {{s}}\succ \mathbf {{0}}\) and \(\mathbf {{s}} \geqslant \mathbf {{0}}\), respectively, by [16, Proposition 3.5].
In order to show that \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) is a quasi-Banach space, it suffices to observe that there are continuous inclusions \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\subseteq \mathcal {A}^{\infty ,\infty }_{\mathbf {{s}}-\mathbf {{b}}/q-\mathbf {{d}}/p}(D)\subseteq {{\,\textrm{Hol}\,}}(D)\), by Proposition 4.2, and that the quasi-norm of \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) extends to a lower semi-continuous function on \({{\,\textrm{Hol}\,}}(D)\) which is finite only on \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\). \(\square \)
The second assertion of the following result extends: [3, Theorem 3.23], which corresponds to the case in which \(p_1,p_2,q_1,q_2\geqslant 1\), \(\mathbf {{s}}_1,\mathbf {{s}}_2\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric; [23, Proposition 2.14], which corresponds to the case in which \(p_1,p_2,q_1,q_2\geqslant 1\), \(n=0\), and \(\varOmega \) is symmetric; [6, Lemma 3.6], which corresponds to the case in which \(p_1,q_1\geqslant 1\) and \(p_2=q_2=2\); [29, Lemma 4.3], which corresponds to the case in which \(p_1,p_2,q_1,q_2\geqslant 1\).
Proposition 4.6
Take \(p_1,p_2,q_1,q_2\in (0,\infty ]\), and \(\mathbf {{s_1}},\mathbf {{s_2}}\in \mathbb {R}^r\). If \(\mathcal {A}^{p_2,q_2}_{\mathbf {{s_2}}}(D)\ne \{0\}\), then \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D)\cap \mathcal {A}^{p_2,q_2}_{\mathbf {{s_2}}}(D)\) is dense in \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D)\) (resp. \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}}(D)\cap \mathcal {A}^{p_2,q_2}_{\mathbf {{s_2}}}(D)\) is dense in \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}}(D)\) for the weak topology \(\sigma (\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}}}(D), \mathcal {L}^{p_1',q_1'}_{-\mathbf {{s_1}}+(1/q_1-1)_+\mathbf {{b}}+(1/p_1-1)_+\mathbf {{d}}}(D))\)). Analogous assertions hold with \(\mathcal {A}^{p_2,q_2}_{\mathbf {{s_2}},0}(D)\) in place of \(\mathcal {A}^{p_2,q_2}_{\mathbf {{s_2}}}(D)\).
In particular, if \(\mathfrak {A}^{p_2,q_2}_{\mathbf {{s}}_2}(D)\ne \{0\}\) and \(p_1,q_1<\infty \), then \(\mathfrak {A}^{p_1,q_1}_{\mathbf {{s}}_1}(D)\cap \mathfrak {A}^{p_2,q_2}_{\mathbf {{s}}_2}(D)\) is dense in \(\mathfrak {A}^{p_1,q_1}_{\mathbf {{s}}_1}(D)\).
Proof
Define \(g^{(\varepsilon )}\) as in the proof of Proposition 4.5, for some \(\alpha \in (0,1/2)\). Take \(f\in \mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D)\). Using the estimates (6), Proposition 4.2, and Corollary 4.4, one may show that \(f(\,\cdot \,+i h) g^{(\varepsilon )}\) belongs to \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D)\cap \mathcal {A}^{p_2,q_2}_{\mathbf {{s}}_2}(D)\) for every \(h\in \varOmega \) and for every \(\varepsilon >0\). By dominated convergence one then shows that \(f(\,\cdot \,+i h) g^{(\varepsilon )} \) converges to \(f(\,\cdot \,+i h)\) in \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D) \) for \(\varepsilon \rightarrow 0^+\), for every \(h\in \varOmega \). Now, observe that the mapping \(\varOmega \ni h\mapsto (f g^{(\varepsilon )})_h\in L^{p_1,q_1}(F,E)\) is continuous by Corollary 4.4 and dominated convergence, so that the mapping \(\varOmega \ni h\mapsto f_h\in L^{p_1,q_1}(F,E)\) is continuous by the arbitrariness of \(\varepsilon >0\) and the previous arguments (combined with Corollary 4.4 again). Using this fact and Corollary 4.4, we then see that \(f(\,\cdot \,+i h)\) converges to f in \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s_1}},0}(D) \) for \(h\rightarrow 0\). In a similar way, one deals with the other cases. \(\square \)
End of the proof of Proposition 4.2 The inclusion \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1,0}(D)\subseteq \mathcal {A}^{p_2,q_2}_{\mathbf {{s}}_2,0}(D)\) follows from the continuity of the inclusion \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1}(D)\subseteq \mathcal {A}^{p_2,q_2}_{\mathbf {{s}}_2}(D)\) and the density of \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1,0}(D)\cap \mathcal {A}^{p_2,q_2}_{\mathbf {{s}}_2,0}(D)\) in \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1,0}(D)\) (cf. Proposition 4.6).
The fact that the mappings \(f\mapsto f^{(\zeta )}\), \(\zeta \in E\), map \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1,0}(D)\) into \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1-\mathbf {{b}}/q_1,0}(T_\varOmega )\) is proved similarly, using the density of \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1,0}(D)\cap \mathcal {A}^{\min (1,p_1),\min (1,q_1)}_{\mathbf {{s}}_1}(D)\) in \(\mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1,0}(D)\) and observing that \(\mathcal {A}^{\min (1,p_1),\min (1,q_1)}_{\mathbf {{s}}_1-\mathbf {{b}}/\min (1,q_1)}(T_\varOmega )\subseteq \mathcal {A}^{p_1,q_1}_{\mathbf {{s}}_1-\mathbf {{b}}/q_1,0}(T_\varOmega ) \) by the previous remarks (cf. Proposition 4.6). \(\square \)
4.2 Reproducing kernels
Notice that \(\mathcal {A}^{2,2}_{\mathbf {{s}}}(D)=A^{2,2}_{\mathbf {{s}}}(D)\), so that \(P_{\mathbf {{b}}+\mathbf {{d}}-2\mathbf {{s}}}\) is the orthogonal projector of \(\mathcal {L}^{2,2}_{\mathbf {{s}}}(D)\) onto \(\mathcal {A}^{2,2}_{\mathbf {{s}}}(D)\). Analogously, if \(\mathbf {{s}} \succ \frac{1}{2} \mathbf {{m}}\), then \(\mathfrak {A}^{2,2}_{\mathbf {{s}}}(D)=A^{2,2}_{(\mathbf {{s}}+\mathbf {{b}}/2)/2}(D)\) is a reproducing kernel Hilbert space with reproducing kernel (cf. Proposition 3.3)
Then,
is the orthoprojector of \(\mathfrak {L}^{2,2}_{\mathbf {{s}}}(D)\) onto \(\mathfrak {A}^{2,2}_{\mathbf {{s}}}(D)\).
Proposition 4.7
Take \(p,q\in (0,\infty ]\), \(\mathbf {{s}}\in \mathbb {R}^r\), and \(\mathbf {{s}}'\in \mathbb {C}^r\). Then, \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\)) for some/every \((\zeta ,z)\in D\) if and only if the following conditions hold:
-
\(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}} \) (resp. \(\mathbf {{s}} \geqslant \mathbf {{0}}\) if \(q=\infty \));
-
\(\textrm{Re}\,\mathbf {{s}}'\prec \frac{1}{p} \mathbf {{d}}-\frac{1}{2p} \mathbf {{m}}'\) (resp. \(\mathbf {{s}}'\leqslant \mathbf {{0}}\) if \(p=\infty \));
-
\(\mathbf {{s}}+\textrm{Re}\,\mathbf {{s}}'\prec \frac{1}{q} \mathbf {{b}}+\frac{1}{p} \mathbf {{d}}-\frac{1}{2 q}\mathbf {{m}}'\) (resp. \(\mathbf {{s}}+\mathbf {{s}}'\leqslant \frac{1}{p} \mathbf {{d}}\) if \(q=\infty \)).
In this case,
for every \((\zeta ,z)\in D\).
Proof
Set \(f{:}{=}B^{\mathbf {{s}}'}_{(\zeta ,z)}\) for some \((\zeta ,z)\in D\). Assume first that the conditions in the statement are satisfied. Then, for every \(\zeta '\in E\), [16, Proposition 2.41] shows that \(f^{(\zeta ')} \in A^{p,q}_{\mathbf {{s}},0}(T_\varOmega )\) (resp. \(f^{(\zeta ')} \in A^{p,q}_{\mathbf {{s}}}(T_\varOmega )\)), and that
where \(h=\rho (\zeta ,z)\) and \(C_1\) is a suitable constant. In addition, Lemma [16, Lemma 2.32] shows that \(f\in A^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(f\in A^{p,q}_{\mathbf {{s}},0}(D)\)), and that
where \(C_2\) is a suitable constant.Footnote 6
Conversely, assume that \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}} }(D)\)). Then, Proposition 4.2 shows that \(f^{(\zeta )}\in \mathcal {A}^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/q,0} \)\( (T_\varOmega )\) (resp. \(f^{(\zeta )}\in \mathcal {A}^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/q}(T_\varOmega )\)) for every \(\zeta \in E\). Since \(f^{(0)}=B^{\mathbf {{s}}'}_z\) (as a function on \(T_\varOmega \)), [16, Proposition 2.41] leads to the conclusion. \(\square \)
The second part of the following result extends: [9, Theorem II.6], which corresponds to the case in which \(p=q\) and \(\mathbf {{s}}\succ \frac{1}{2} \mathbf {{b}}+\mathbf {{d}} +\frac{q}{2} \mathbf {{m}}'\) and \(\mathbf {{s}}'-\frac{1}{q}\mathbf {{s}}'\succ -\left( \frac{1}{2}+\frac{1}{2 q}\right) \mathbf {{b}} -\frac{1}{q}\mathbf {{d}}+\frac{1}{2} \mathbf {{m}}\) when \(q<1\); [4, Proposition 2.19], which corresponds to the case in which \(p=q\geqslant 1\), \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric; [6, Proposition 3.10 (ii)], which corresponds to the case in which \(\mathfrak {P}_{\mathbf {{s}}'}\) is continuous on \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\).
Proposition 4.8
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\) such that the following hold:
-
\(\mathbf {{s}}\succ \frac{1}{q} \mathbf {{b}}+\frac{1}{p}\mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\);
-
\(\mathbf {{s}}'\prec \frac{1}{p'}\mathbf {{d}}-\frac{1}{2p'}\mathbf {{m}}', \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\);
-
\(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{\min (1,q)}\mathbf {{b}}+\frac{1}{\min (1,p)}\mathbf {{d}}-\frac{1}{2 q'}\mathbf {{m}}\) or \(\mathbf {{s}}+\mathbf {{s}}'\leqslant \frac{1}{q}\mathbf {{b}}+\frac{1}{\min (1,p)}\mathbf {{d}}\) if \(q'=\infty \).
Then, \(P_{\mathbf {{s'}}}f=f\) for every \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\).
In particular, if \(q<\infty \) and:
-
\(\mathbf {{s}}\succ \frac{1}{2} \mathbf {{b}}+\frac{q}{p} \mathbf {{d}}+\frac{q}{2q'}\mathbf {{m}}'\);
-
\(\mathbf {{s}}'\succ \frac{1}{2} \mathbf {{b}} +\frac{1}{\max (1,p)}\mathbf {{d}}+\frac{1}{2p'}\mathbf {{m}}',\frac{1}{2} (\mathbf {{m}}-\mathbf {{b}})\);
-
\(\mathbf {{s}}'-\frac{1}{q}\mathbf {{s}}\succ -\frac{1}{2 q'}\mathbf {{b}}-\left( \frac{1}{p}-1\right) _+\mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}\) or \(q'=\infty \) and \(\mathbf {{s}}'-\frac{1}{q}\mathbf {{s}}\geqslant -\left( \frac{1}{2 q}-\frac{1}{2}\right) \mathbf {{b}}-\left( \frac{1}{p}-1\right) _+\mathbf {{d}} \);
then \(\mathfrak {P}_{\mathbf {{s}}'}f=f\) for every \(f\in \mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\).
Proof
Observe that Proposition 4.8 shows that the mapping
is well defined and continuous for every \((\zeta ,z)\in D\) and obviously induces the mapping \(f\mapsto f(\zeta ,z)\) on \( \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\cap \mathcal {A}^{2,2}_{(\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}')/2}(D)\). The result follows by continuity, thanks to Proposition 4.6. \(\square \)
4.3 Sampling
The following sampling theorem is a consequence of the more general Theorem 4.11 presented below. We single out this result for comparison with the literature. It extends: [3, Theorem 5.6], which corresponds to the case in which \(p=q\geqslant 1\), \(\mathbf {{s}}\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric; [8, Theorem 5.2], which corresponds to the case in which \(p=q>1\); [7, Theorem 3.3], which corresponds to the case in which \(p,q\geqslant 1\), \(n=0\) and \(\varOmega \) is symmetric.
Recall that we denote by \(\ell ^{p,q}(J,K)\) the space of \(\lambda \in \mathbb {C}^{J\times K}\) such that \(\Vert {\Vert {\lambda _{j,k}} \Vert _{\ell ^p(J)}} \Vert _{\ell ^q(K)}<\infty \), with some abuse of notation.
Theorem 4.9
Take \(p,q\in (0,\infty ]\), \(\mathbf {{s}}\in \mathbb {R}^r\) and \(R_0>1\). Then, there is \(\delta _0>0\) such that, for every F-\((\delta ,R)\)-lattice \((\zeta _{k},z_{j,k})_{j\in J,k\in K}\) on D, with \(\delta \in (0,\delta _0]\) and \(R\in (1,R_0]\), the mapping
induces an isomorphism of \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) onto a closed subspace of \(\ell ^{p,q}(J,K)\).
In order to prove the more general version of this result, we need the following definition.
Definition 4.10
For every \(\mathbf {{s}}\in \mathbb {R}^r\), we define \(\mathscr {M}_{\mathbf {{s}}}\) as the space of \(f\in {{\,\textrm{Hol}\,}}(D)\) such that the function \((\zeta ,z)\mapsto \varDelta ^{\mathbf {{s}}}_\varOmega (\rho (\zeta ,z)) \textrm{e}^{-\vert {\zeta } \vert ^{2 \alpha }-\vert {\textrm{Re}\,z} \vert ^\alpha -\vert {\rho (\zeta ,z)} \vert ^{\alpha }} f(\zeta ,z)\) is bounded on D for some \(\alpha \in [0,1/2)\).
Observe that \(\mathscr {M}_{\mathbf {{s}}}\subseteq \mathscr {M}_{\mathbf {{s}}'}\) for \(\mathbf {{s}} \leqslant \mathbf {{s}}'\), and that
for every \(\mathbf {{s}}\in \mathbb {R}^r\), thanks to Proposition 4.2.
Theorem 4.11
Take \(p,q\in (0,\infty ]\), \(\mathbf {{s}}\in \mathbb {R}^r\), \(R_0>1\) and \(\delta _+>0\), and \(\mathbf {{s}}'\geqslant \mathbf {{s}}-\frac{1}{q}\mathbf {{b}}-\frac{1}{p}\mathbf {{d}}\). Then, there are \(\delta _-,C>0\) such that, for every F-\((\delta ,R)\)-lattice \((\zeta _k,z_{j,k})_{j\in J,k\in K}\) on D, with \(R\in (1,R_0]\), if we define
and
where \(h_k{:}{=}\rho (\zeta _k,z_{j,k})\) for every \(j\in J\) and for every \(k\in K\), then
for every \(f\in {{\,\textrm{Hol}\,}}(D)\) and for every \(\delta \in (0,\delta _+]\) if \(\varepsilon =+\), and for every \(f\in \mathscr {M}_{\mathbf {{s}}'}\) and for every \(\delta \in (0,\delta _-]\) if \(\varepsilon =-\). In addition,
where the second equality holds provided that \(\delta \leqslant \delta _-\).
Proof
For the sake of simplicity, we shall generally present the computations as if \(p,q<\infty \). We leave to the reader the (purely formal) modifications which are necessary when \(\max (p,q)=\infty \). Throughout the proof, for every \(t\in T_+\) we shall denote by \(g_t\) an element of GL(E) such that \(t\cdot \varPhi =\varPhi \circ (g_t\times g_t)\).
Step I. Define, for every \(R'>0\), for every \(\zeta \in E\), and for every \(h\in \varOmega \),
Then, for every \(\ell \in (0,\infty ]\), for every \(t'\in T_+ \), and for every \((\zeta ',x')\in \mathcal {N}\),
with the convention \(0^0=0\). In particular,
for every \((\zeta ,h)\in E\times \varOmega \) and for every \(k\in K\), where \(t_k\in T_+\) is such that \(h_k=t_k\cdot e_\varOmega \). In addition,
For every \((\zeta ,h)\in E\times \varOmega \), define
and observe that there is \(N\in \mathbb {N}\) such that \( {{\,\textrm{Card}\,}}(K_{\zeta ,h})\leqslant N\) for every \((\zeta ,h)\in E\times \varOmega \), provided that \(R\leqslant R_0\) and \(\delta \leqslant \delta _+\). We may also assume that every \((\zeta ,h)\in E\times \varOmega \) is contained in at most N balls \(B_{E\times \varOmega }((\zeta _k,h_k),2 R\delta ) \), \(k\in K\), and that every \((\zeta ,z)\in D\) is contained in at most N balls \(B((\zeta _{k},z_{j,k}),2 R\delta )\), \((j,k)\in J\times K\), provided that \(R\leqslant R_0\) and \(\delta \leqslant \delta _+\). Finally, set \(\ell {:}{=}\min (1,p,q)\).
Step II. Let us prove that \(S_+\) maps \( \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) into \(\ell ^{p,q}(J,K)\). Take \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and define
for every \({R'}>0\) to simplify the notation. Then, [16, Lemma 3.24] implies that there are \(R'_0\in (0,1/2]\) and \(C_1>0\) such that
for every \((j,k)\in J\times K\). Therefore, [16, Corollary 2.49] implies that there is a constant \(C_{2}>0\) such that
for every \((j,k)\in J\times K\). Hence,
for every \(k\in K\). Now, Lemma 4.3 shows that there is a constant \(C_{3}>0\) such that
for every \(k\in K\). Therefore, another application of [16, Corollary 2.49] shows that there is a constant \(C_2'>0\) such that
Next, let us prove that \(S_+(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D))\subseteq \ell ^{p,q}_0(J,K)\). Observe that we may assume that \(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}\). Then, take \({\tilde{p}}\in (0,p)\) and \(\tilde{q}\in (0,q)\) so that \( \mathbf {{s''}}{:}{=}\mathbf {{s}}-\big (\frac{1}{q}-\frac{1}{{\tilde{q}}}\big )\mathbf {{b}}-\big (\frac{1}{p}-\frac{1}{\tilde{p}}\big )\mathbf {{d}}\succ \frac{1}{2 {\tilde{q}}}\mathbf {{m}}\) and observe that the preceding computations show that \(S_+(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\cap \mathcal {A}^{{\tilde{p}},{\tilde{q}}}_{\mathbf {{s}}''}(D))\subseteq \ell ^{{\tilde{p}},{\tilde{q}}}(J,K)\subseteq \ell ^{p,q}_0(J,K)\), so that the assertion follows by means of Proposition 4.6.
Step III. Now, take \(f\in {{\,\textrm{Hol}\,}}(D)\) and assume that \(S_+ f\in \ell ^{p,q}_0(J,K)\) (resp. \(S_+ f\in \ell ^{p,q}(J,K)\)), and let us prove that \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\)). Observe first that
on F, for every \((\zeta ,h)\in E\times \varOmega \), so that \(f_h^{(\zeta )}\in L^p_0(F)\) (resp. \(f_h^{(\zeta )}\in L^p(F)\)) for every \((\zeta ,h)\in E\times \varOmega \). In addition,
for every \((\zeta ,h)\in E\times \varOmega \), so that \((\zeta ,h)\mapsto \Vert {f_h^{(\zeta )}} \Vert _{L^p(F)} \) belongs to \(L^q_0(E\times \varOmega )\) and there is a constant \(C_2''>0\) (cf. [16, Corollary 2.49]) such that
Step IV. Observe that, if \((\zeta '_{k'},z'_{j',k'})_{j'\in J',k'\in K'}\) is an F-\((\delta ,R')\)-lattice on D, then there are two mappings \(\iota _1:K'\rightarrow K\) and \(\iota _2:J'\times K' \rightarrow J\) such that, setting \(h'_{k'}{:}{=}\rho (\zeta '_{k'},z'_{j',k'})\) for every \(j'\in J'\) and for every \(k'\in K'\),
and
for every \(j'\in J'\) and for every \(k'\in K'\). Define
and observe that, by [16, Corollary 2.49] and the preceding remarks, there is a constant \(C'>0\) such that
for every \(f\in {{\,\textrm{Hol}\,}}(D)\), for every \(j'\in J'\) and for every \(k'\in K'\). In addition, there is \(N'\in \mathbb {N}\) such that the fibres of \(\iota _1\) and \((j',k')\mapsto (\iota _2(j',k'),\iota _1(k'))\) have at most \(N'\) elements. Consequently,
for every \(f\in {{\,\textrm{Hol}\,}}(D)\). In addition, if \(S_- f\in \ell ^{p,q}_0(J,K)\), then \(S_-' f\in \ell _0^{p,q}(J',K')\).
Observe, furthermore, that if \(R'\geqslant 8\), then we may choose \((\zeta '_{k'},z'_{j',k'})_{j'\in J',k'\in K'}\) such that \(K'=K'_1\times K'_2\), such that \(h'_{(k'_1,k'_2)}=h'_{(k''_1,k'_2)}\) for every \(k'_1,k''_1\in K'_1\) and for every \(k_2'\in K'_2\), and such that \((h'_{(k_1',k'_2)})_{k'_2\in K'_2}\) is a \((\delta ,R')\)-lattice on \(\varOmega \) for some/every \(k'_1\in K_1'\) (argue as in the proof of [16, Lemma 2.55]).
Step V. Take \(f\in \mathscr {M}_{\mathbf {{s}}'}(D)\) such that \(S_- f\in \ell ^{p,q}(J,K)\) and let us prove that
for a suitable constant \(C>0\) (depending only on \(\delta _-\) and \(R_0\)), provided that \(\delta _-\) is sufficiently small. Observe first that, by step IV, up to replacing R with \(R+8\), we may assume that \((\zeta _{k},z_{j,k})\) is an F-\((\delta ,R)\)-lattice, that \(K=K'\times K''\), that \(h_{(k',k'')}\) only depends on \(k''\) (so that we also write \(h_{k''}\) instead of \(h_{(k',k'')}\)), and that \((h_{k''})\) is a \((\delta ,R)\)-lattice in \(\varOmega \). Observe that, for every \((j,k)\in J\times K\), we may find \((\zeta '_{j,k},z'_{j,k})\in \overline{B}((\zeta _{k},z_{j,k}),R\delta )\) such that
Now, [16, Lemmas 3.24 and 3.25] imply that there are \(R'_1\in (0,R_0']\) and \(C_3>0\) such that, for every \(j\in J\), for every \(k\in K\), for every \((\zeta ,x)\in \mathcal {N}\), and for every \(h\in \varOmega \) such that \(d((\zeta _{k},z_{j,k}),(\zeta ,x+i\varPhi (\zeta )+i h) )<R\delta \),
provided that \(R\delta \leqslant R'_1\). Then,
where
Now, set
for every \(h\in \varOmega \) and observe that we may assume that, for every \(h\in \varOmega \),
provided that \(\delta \leqslant \delta _+\), as in step I. Then, [16, Corollary 2.49] implies that there is a constant \(C_4>0\) such that, if \(R\delta \leqslant R'_1\),
where the first inequality follows from the convexity or subadditivity of the mapping \(x\mapsto x^{q/p}\) on \(\mathbb {R}_+\), while the second one follows from Tonelli’s theorem, setting \(C_{E,R\delta }{:}{=}\mathcal {H}^{2n}({{\,\textrm{pr}\,}}_E(B_{E\times \varOmega }((0,e_\varOmega ),R\delta )))\).
Now, observe that
where
In addition, for every \((\zeta ',z')\in D\) and for every \((\zeta ,h)\in E\times \varOmega \), setting \(h'{:}{=}\rho (\zeta ',z')\), one has
provided that \(R\leqslant R_0\) and \(\delta \leqslant \delta _+\), where \(t'\in T_+\) is such that \(h'=t'\cdot e_\varOmega \). Therefore, by step I, we see that
provided that \(R\leqslant R_0\) and \(\delta \leqslant \delta _+\). Then, applying Lemma 4.3 as in step II, we see that there is a constant \(C_5>0\) such that
provided that \(R\leqslant R_0\) and \(\delta \leqslant \delta _+\).
Therefore, there is a constant \(C_6>0\) such that
provided that \(R\leqslant R_0\) and \(\delta \leqslant \min (R_1'/R_0,\delta _+)\).
Now, by assumption, there is \(\alpha '\in (0,1/2)\) such that
Then, take \((g^{(\varepsilon )})_{\varepsilon >0}\) as in [16, Lemma 1.22] (cf. the proof of Proposition 4.5 and formulas (5) and (6)) for some \(\alpha \in (\alpha ',1/2)\), so that \(G(\varepsilon ){:}{=}f g^{(\varepsilon )}\in \mathcal {A}^{p,\infty }_{\mathbf {{s'}}}(D)\) and \(S_- G(\varepsilon )\leqslant S_- f\) for every \(\varepsilon >0\). In particular, the mapping \(h\mapsto \Vert {G(\varepsilon )_h} \Vert _{L^{p,q}(F,E)}\) is (finite and) decreasing on \(\varOmega \), thanks to Corollary 4.4, for every \(\varepsilon >0\). In addition, observe that we may take \(\delta _1\in (0,\min (R'_1/R_0,\delta _+)]\) and \(R'_1\) so small that \(B_\varOmega (e_\varOmega , 2 R_0\delta _1+2R'_1)\subseteq e_\varOmega /2+\varOmega \). Then, by homogeneity,
for every \(h\in \varOmega \). Then, the preceding estimates (applied to \(G(\varepsilon )\)) show that there is a constant \(C_6'>0\) such that
for every \(\varepsilon >0\), provided that \(\delta \leqslant \delta _1\) and \(R\leqslant R_0\). If we define
for every \(\ell \in \mathbb {N}\), then there is a constant \(C_6''>0\) such that
for every \(\varepsilon >0\) and for every \(\ell \in \mathbb {N}\), provided that \(\delta \leqslant \delta _1\) and \(R\leqslant R_0\). Now, define
and observe that
for suitable constants \(C_{7,\varepsilon },C_{7,\varepsilon }',C_{7,\varepsilon }''>0\), since \(\mathbf {{s}}-\mathbf {{s'}}+\mathbf {{d}}/q\leqslant \mathbf {{0}}\) (cf. [16, Corollary 2.36]). Then, fix \(N'> \sum _{j=1}^r(s'_j-s_j)+m/q\) and choose \(\delta _-\in (0,\delta _1]\) so that \( C_6''\delta _- \leqslant 2^{-N'}\). Observe that the preceding computations show that, if \(\delta \in (0,\delta _-]\), then
for every \(\varepsilon >0\) and for every \(\ell \in \mathbb {N}\). Passing to the limit for \(\ell \rightarrow \infty \), we then infer that \(G(\varepsilon )\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and that
for every \(\varepsilon >0\). Then, passing to the limit for \(\varepsilon \rightarrow 0^+\), we infer that \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and that
Step VI. It only remains to prove that \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) for every \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) such that \(S_- f\in \ell ^{p,q}_0(J,K)\), provided that \(\delta _-\) is sufficiently small. Observe first that the preceding computations show that
for every \(\ell \in \mathbb {N}\) and for every \(\varepsilon >0\). Since \(S_-(f-G(\varepsilon ))\leqslant (S_- f) {\widetilde{S}}_+(1-g^{(\varepsilon )})\), where
for every \((j,k)\in J\times K\), and since \(1-g^{(\varepsilon )}\rightarrow 0\) locally uniformly, it is readily seen that \(\chi _\ell (f-G(\varepsilon ))\rightarrow 0\) in \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) for \(\varepsilon \rightarrow 0^+\), for every \(\ell \in \mathbb {N}\). In particular, \(f_h\in L^{p,q}_0(F,E)\) for every \(h\in \varOmega \), and the mapping \(h\mapsto \chi _{e_\varOmega /2^\ell +\varOmega }(h)\varDelta ^{\mathbf {{s}}}_\varOmega (h)\Vert {f_h} \Vert _{L^{p,q}(F,E)} \) belongs to \(L^q_0(\nu _\varOmega )\) for every \(\ell \in \mathbb {N}\). To conclude, it will essentially suffice to show that, if \(q=\infty \), then \(\varDelta ^{\mathbf {{s}}}_\varOmega (h)\Vert {f_h} \Vert _{L^{p,\infty }(F,E)}\rightarrow 0\) as h approaches the boundary of \(\varOmega \). Observe that, by the preceding computations, there is a constant \(C_8>0\) (namely, \(C_6'\max (1,\delta _-^{m/p})\)) such that
for every \(h\in \varOmega \). Observe that
for every \(h\in \varOmega \). Therefore, assuming that \(\delta _-\) is so small that \(\delta _- C_8 2^{\mathbf {{s}}}\leqslant 1/2 \),
for every \(h\in \varOmega \). Now, observe that \(\eta {:}{=}\min _{\ell \in \mathbb {N}} d_\varOmega (e_\varOmega ,e_\varOmega /2^{\ell +1})>0\), and that \(\eta =\min _{\ell \in \mathbb {N}} d_\varOmega (h,h/2^{\ell +1})\) for every \(h\in \varOmega \), by homogeneity. Therefore, if \(\delta _-\) is so small that \(2 R_0\delta _-<\eta \), then the sets \(K''_{h/2^\ell }\), as \(\ell \) runs through \(\mathbb {N}\), are pairwise disjoint for every \(h\in \varOmega \). Hence,
for every \(h\in \varOmega \), where \(K'''_h{:}{=}\bigcup _{\ell \in \mathbb {N}} K''_{h/2^\ell }\). Since \(K'''_h\) is contained in the complement of every fixed finite subset of K if \(h\in \varOmega {\setminus } (e_\varOmega /2^\ell +\varOmega )\) and \(\ell \) is sufficiently large, this and the preceding remarks prove that \(\varDelta _\varOmega ^{\mathbf {{s}}}(h) \Vert {f_h} \Vert _{L^p(\mathcal {N})}\rightarrow 0\) as \(h\rightarrow \infty \) in \(\varOmega \), provided that \(\delta _-\) is sufficiently small (independently of f). The proof is complete. \(\square \)
4.4 Atomic decomposition and duality
Definition 4.12
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s'}}\in \mathbb {R}^r\). Then, we say that property \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}},0}\) (resp. \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\)) holds if for every \(\delta _0>0\) there is an F-\((\delta ,4)\)-lattice \((\zeta _{k},z_{j,k})_{j\in J, k\in K}\), with \(\delta \in (0,\delta _0]\), such that, defining \(h_k{:}{=}\rho (\zeta _{k},z_{j,k})\) for every \(j\in J\) and for every \(k\in K\), the mapping
is well defined (with locally uniform convergence of the sum) and maps \(\ell ^{p,q}_0(J,K) \) into \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) continuously (resp. maps \(\ell ^{p,q}(J,K) \) into \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) continuously).
If we may take \((\zeta _{k},z_{j,k})_{j\in J, k\in K}\), for every \(\delta _0>0\) as above, in such a way that the corresponding mapping \(\varPsi \) is onto, then we say that property \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s'}},0}\) (resp. \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\)) holds.
When \(\mathbf {{s}}'\succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})\), we define also properties \((\mathfrak {L})^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) and \((\mathfrak {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) as properties \((\mathcal {L})^{p,q}_{(\mathbf {{s}}+\mathbf {{b}}/2)/q, \mathbf {{b}}/2+\mathbf {{d}}-\mathbf {{s}}'}\) and \((\mathcal {L}')^{p,q}_{(\mathbf {{s}}+\mathbf {{b}}/2)/q, \mathbf {{b}}/2+\mathbf {{d}}-\mathbf {{s}}'}\), respectively. These properties are therefore related to the continuity (and surjectivity) of the mapping
from \(\ell ^{p,q}(J,K)\) into \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\), where \(\mathfrak {K}^{\mathbf {{s}}'}\) denotes the reproducing kernel of \(\mathfrak {A}^{2,2}_{\mathbf {{s}}'}(D)\).
As we shall see in Theorem 4.31 below, properties \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}},0}\) (resp. \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\)) and \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s'}},0}\) (resp. \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\)) are actually equivalent when \(p,q\in [1,\infty ]\). In addition, arguing as in the proof of Theorem 4.31, one may show that properties \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}},0}\) and \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\) are equivalent when \(\mathbf {{s}} \succ \mathbf {{0}}\) (which is a necessary condition for property \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}},0}\) to hold).
Lemma 4.13
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s'}}\in \mathbb {R}^r\) such that property \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}},0}\) (resp. \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s'}}}\)) holds. Then, the following hold:
-
\(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}} \) (resp. \(\mathbf {{s}}\geqslant \mathbf {{0}}\) if \(q=\infty \)) and \(\mathbf {{s}} \succ \frac{1}{q} \mathbf {{b}}+\frac{1}{p}\mathbf {{d}} +\frac{1}{2 q'} \mathbf {{m'}}\);
-
\(\mathbf {{s'}}\in \frac{1}{\min (p,p')}\mathbf {{d}}-\frac{1}{2 \min (p,p')} \mathbf {{m'}}\);
-
\(\mathbf {{s}}+\mathbf {{s'}}\prec \frac{1}{\min (1,q)}\mathbf {{b}}+\frac{1}{\min (1,p)}\mathbf {{d}}-\frac{1}{2 q'}\mathbf {{m}}\) or \(\mathbf {{s}}+\mathbf {{s'}}\leqslant \frac{1}{q}\mathbf {{b}}+\frac{1}{\min (1,p)}\mathbf {{d}}\) if \(q'=\infty \), and \(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{q} \mathbf {{b}}+\frac{1}{p}\mathbf {{d}}-\frac{1}{2 q} \mathbf {{m'}}\).
In particular, if \(q<\infty \), \(\mathbf {{s}}'\succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})\) and property \((\mathfrak {L})^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) holds, then:
-
\(\mathbf {{s}} \succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}}), \frac{1}{2}\mathbf {{b}}+\frac{q}{p}\mathbf {{d}}+\frac{q}{2 q'}\mathbf {{m}}'\);
-
\(\mathbf {{s}}' \succ \frac{1}{2} \mathbf {{b}}+\left( 1-\frac{1}{\min (p,p')} \right) \mathbf {{d}} +\frac{1}{2 \min (p,p')}\mathbf {{m}}'\);
-
\(\mathbf {{s}}'-\frac{1}{q} \mathbf {{s}} \succ -\Big \vert {\frac{1}{2}-\frac{1}{2 q}} \Big \vert \mathbf {{b}}-\left( \frac{1}{p}-1\right) _+\mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}\) or \(\mathbf {{s}}'-\frac{1}{q} \mathbf {{s}} \geqslant -\Big \vert {\frac{1}{2}-\frac{1}{2 q}} \Big \vert \mathbf {{b}}-\left( \frac{1}{p}-1\right) _+\mathbf {{d}}\) if \(q'=\infty \), and \(\mathbf {{s}}'-\frac{1}{q} \mathbf {{s}} \succ \left( \frac{1}{2}-\frac{1}{2 q}\right) \mathbf {{b}}+\left( 1-\frac{1}{p}\right) \mathbf {{d}}+\frac{1}{2 q}\mathbf {{m}}' \).
Proof
By Proposition 4.7, it will suffice to observe that \( B^{\mathbf {{s'}}}_{(0, i e_\varOmega )}\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \( B^{\mathbf {{s'}}}_{(0, i e_\varOmega )}\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\)), and to show that
Take \(\delta _0>0\). Then, there is an F-\((\delta ,4)\)-lattice \((\zeta _{k},z_{j,k})_{j\in J, k\in K}\), with \(\delta \leqslant \delta _0\), such that the mapping
is well defined and continuous, where \(h_k{:}{=}\rho (\zeta _{k},z_{j,k})\) for every \(j\in J\) and for every \(k\in K\). Observe that the continuity of the mapping \(f\mapsto f(0,i e_\varOmega )\) on \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) implies that there is a constant \(C_1>0\) such that
for every \(\lambda \in \ell ^{p,q}_0(J,K)\). Therefore,
so that the conclusion follows from Theorem 4.11 and [16, Theorem 2.47]. \(\square \)
The second part of the following result extends: [10, Theorem 2.2], which corresponds to the case in which \(p=q>\frac{2 (n+m)}{2(n+m)+1}\), \(\mathbf {{s}}'-\frac{1}{q}\mathbf {{s}}\succ -\left( \frac{1}{2}+\frac{1}{2 q}\right) \mathbf {{b}}-\frac{1}{q} \mathbf {{d}}+\frac{1}{2} \mathbf {{m}}, -\left( \frac{1}{2}-\frac{1}{2 q}\right) \mathbf {{b}}-\left( 1-\frac{1}{q}\right) \mathbf {{d}}+\frac{1}{2 q} \mathbf {{m}}'\), and \( \mathbf {{s}}'-\mathbf {{s}}\succ -\mathbf {{d}}+\frac{1}{2} \mathbf {{m}}'\); [8, Theorem 4.2], which deals with the extension of [10, Theorem 2.2] to the case of general homogeneous domains.Footnote 7
Theorem 4.14
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\) such that the following hold:
-
\(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}+\left( \frac{1}{2 \min (1,p)}-\frac{1}{2q} \right) _+\mathbf {{m}}'\);
-
\(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{\min (1,p,q)}\mathbf {{b}}+\frac{1}{\min (1,p)}\mathbf {{d}}-\frac{1}{2 q}\mathbf {{m}}'-\left( \frac{1}{2 \min (1,p)}-\frac{1}{2 q} \right) _+\mathbf {{m}}\).
Then, properties \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}',0}\) and \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) hold.
In particular, if \(q<\infty \) and:
-
\(\mathbf {{s}} \succ \frac{1}{2} (\mathbf {{m}}-\mathbf {{b}})+\left( \frac{q}{2 \min (1,p)}-\frac{1}{2} \right) _+\mathbf {{m}}'\);
-
\(\mathbf {{s}}'-\frac{1}{q} \mathbf {{s}} \succ \left( \frac{1}{2} +\frac{1}{2 q}-\frac{1}{\min (1,p,q)} \right) \mathbf {{b}}-\left( \frac{1}{p}-1\right) _+\mathbf {{d}} +\frac{1}{2 q}\mathbf {{m}}'+\left( \frac{1}{2 \min (1,p)}-\frac{1}{2 q} \right) _+\mathbf {{m}}\);
then property \((\mathfrak {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) holds.
More precisely, the proof shows that the mapping \(\varPsi \) of Definition 4.12 has a continuous linear section for \(\delta \) sufficiently small and R bounded.
Proof
Take an F-\((\delta ,R)\)-lattice \((\zeta _{k},z_{j,k})_{j\in J,k\in K}\) on D for some \(\delta >0\) and some \(R>1\). We shall further assume, as in the proof of Theorem 4.11, that \(K=K'\times K''\), and that there is a \((\delta ,R)\)-lattice \((h_{k''})_{k''\in K''}\) on \(\varOmega \) such that \(h_{k''}= \rho (\zeta _{(k',k'')}, z_{j,(k',k'')})\) for every \(j\in J\) and for every \((k',k'')\in K'\times K''\). We shall also write \(h_{(k',k'')}\) instead of \(h_{k''}\) when it simplifies the notation.
In addition, define
for every \(\mathbf {{s''}}\in \mathbb {R}^r\) and for every \((j,k)\in J\times K\), in order to simplify the notation. Further, for every \(\lambda \in \mathbb {C}^{J\times K}\) define
and, for every \(\lambda \in \mathbb {C}^{(J\times K)}\),
We shall first prove that \(\lambda \mapsto \Vert {\varPsi _+(\lambda )} \Vert _{\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)}\) is a continuous quasi-norm on \(\ell ^{p,q}(J,K)\). Arguing as in [16, Proposition 3.32] and using Proposition 4.7, this will prove that \(\varPsi \) induces continuous linear mappings \(\ell ^{p,q}_0(J,K)\rightarrow \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) and \(\ell ^{p,q}(J,K)\rightarrow \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\). We shall then prove that these mappings are onto and have continuous linear sections.
Step I. Assume first that \(q\leqslant p\leqslant 1\). Then, for every \(\zeta \in E\) and for every \(h\in \varOmega \),
In addition, [16, Lemma 2.39] shows that there is a constant \(C_1>0\) such that
for every \((j,k)\in J\times K\), for every \(\zeta \in E\), and for every \(h\in \varOmega \). Therefore, using the subadditivity of the mapping \(x\mapsto x^{q/p}\) on \(\mathbb {R}_+\),
Now, [16, Corollary 2.22 and Lemma 2.32] imply that there is a constant \(C_2>0\) such that
for every \(k\in K\). Hence,
whence our claim in this case.
Step II. Assume, now, that \(q\geqslant p\leqslant 1\). For every \(k\in K\), choose \(\tau _k\in C_c(E\times \varOmega )\) such that
Observe that by the computations of step I and [16, Corollary 2.49], there is a constant \(C_1'>0\) such that
where \(\lambda '=\left( \sum _{j}\vert {\lambda _{j,k}} \vert ^p \right) _k\). Hence, by Minkowski’s integral inequality and Young’s inequality, and by [16, Lemma 2.32],
If we define \(f{:}{=}\sum _{k''} \big \Vert {\big (\lambda '_{(k',k'')}\big )_{k'}} \big \Vert _{L^{q/p}(K')}\chi _{B_\varOmega (h_{k''},\delta )}\), then it is clear that
Then, [16, Lemma 3.35] implies that there is a constant \(C_3>0\) such that
which completes the proof of our claim in this case.
Step III. Assume, now, that \(p,q\geqslant 1\). For every \((j,k)\in J\times K\), choose \(\tau _{j,k}\in C_c(\varOmega )\) so that
and define
Define
and let us prove that \(\varPsi '\) maps continuously \(\ell ^{p,q}(J,K)\) into \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\). Indeed, take \(\lambda \in \ell ^{p,q}(J,K)\) and observe that
for every \(h\in \varOmega \), so that by [16, Corollary 2.49], there is a constant \(C_4'>0\) such that
Thus, \(\varPsi '\) induces a continuous linear mapping \(\ell ^{p,q}(J,K)\rightarrow \mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\).
Now, observe that [16, Theorem 2.47 and Corollary 2.49] imply that there is a constant \(C_4''>0\) such that
for every \(\lambda \in \ell ^{p,q}(J,K)\), for every \(h\in \varOmega \), and for every \((\zeta ,x)\in \mathcal {N}\). Therefore, Minkowski’s integral inequality, Young’s inequality (applied twice), and [16, Lemma 2.39] show that there is a constant \(C_5>0\) such that
for every \(\lambda \in \ell ^{p,q}(J,K)\), and for every \(h\in \varOmega \).
Define
so that \(T'\) induces an endomorphism of \(L^q(\nu _\varOmega )\) by [16, Lemma 3.35]. Then,
Our claim then follows also in this case.
Step IV. Finally, assume that \(p\geqslant 1\geqslant q\). For every \((j,k)\in J\times K\), choose \(\tau '_{j,k}\in C_c(F)\) so that
and define
As in Step III, one may show that \(\varPsi ''\) induces a continuous linear mapping of \(\ell ^{p,q}(J,K)\) into \(\ell ^q(K; L^p(F))\). In addition, by means of [16, Theorem 2.47] we see that there is a constant \(C_6>0\) such that
for every \(\lambda \in \ell ^{p,q}(J,K)\), for every \((\zeta ,h)\in E\times \varOmega \), and for every \(x\in F\). Then, by Minkowski’s inequality, Young’s inequality, and [16, Lemma 2.39], there is a constant \(C_6'>0\) such that
for every \(\lambda \in \ell ^{p,q}(J,K)\) and for every \((\zeta ,h)\in E\times \varOmega \). Then, by the subadditivity of the mapping \(x\mapsto x^q\) on \(\mathbb {R}_+\),
Now, by homogeneity,
for every \(k\in K\), and the last integral is finite by [16, Corollary 2.22 and Lemma 2.32]. Therefore, there is a constant \(C_7>0\) such that
whence our claim also in this case.
Step V. Put a well-ordering on \(J\times K\) and define
for every \((j,k)\in J\times K\), so that \((U_{j,k})_{(j,k)\in J\times K}\) is a Borel measurable partition of D (since J and K are countable). In addition, define \(c_{j,k}{:}{=}c \nu _D(U_{j,k})\) for every \((j,k)\in J\times K\), where \(c>0\) is defined so that \(P_{\mathbf {{s}}'} f=c\int _D f(\zeta ,z) B_{(\zeta ,z)}^{\mathbf {{s}}}\varDelta _\varOmega ^{-\mathbf {{s}}'}(\rho (\zeta ,z))\,\text {d}\nu _D(\zeta ,z)\) for every \(f\in C_c(D)\). Then,
for every \((j,k)\in J\times K\). Then, define
so that Theorem 4.11 shows that S is well defined and continuous, and maps \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) into \(\ell ^{p,q}_0(J,K)\). Define \(S'{:}{=}\varPsi S\). Then, Proposition 4.8 implies that, for every \( f\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D) \),
Hence, [16, Theorem 2.47, Corollary 2.49, and Lemma 3.25] imply that there are \(R'_0>0\) and \(C_8>0\) such that
for every \((\zeta ,z)\in D\). Fix an F-(1, 4)-lattice \((\zeta '_{k'},z'_{j',k'})_{j'\in J',k'\in K'}\) on D and observe that the proof of [16, Proposition 2.56], together with [16, Theorem 2.47 and Corollary 2.49] again, implies that there is a constant \(C_9>0\) such that
for every \((\zeta ,z)\in D\), where \(h'_{k'}= \rho (\zeta '_{k'},z'_{j',k'})\) for every \(j'\in J'\) and for every \(k'\in K'\). Hence, Theorem 4.11 and the preceding steps show that there is a constant \(C_{10}>0\) such that, if \(R\leqslant R_0\) and \(\delta \leqslant 1\), then
Take \(\delta _0>0\) so that \(C_{10} \delta _0\leqslant \frac{1}{2}\), and assume that \(\delta \leqslant \delta _0\). Then,
for every \(k\in \mathbb {N}\), so that \(\sum _{j\in \mathbb {N}} (I- S')^j\) induces well defined endomorphisms of \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D) \) and \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\), which are inverses of \(S'\). Hence,
induces well-defined and continuous linear mappings from \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) into \(\ell ^{p,q}_0(J,K)\) and from \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) into \(\ell ^{p,q}(J,K)\), and \(\varPsi \varPsi '''= S'\sum _{j\in \mathbb {N}}(I-S')^j=I\). The proof is complete. \(\square \)
Proposition 4.15
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\) such that property \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}',0}\) holds. Then, the sesquilinear mapping
induces an antilinear isomorphism of \(\mathcal {A}^{p',q'}_{\mathbf {{b}}{/}\min (1,q){+}\mathbf {{d}}/\min (1,p){-}\mathbf {{s}}{-}\mathbf {{s}}'}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)'\).
In particular, if \(q\in (1,\infty )\), \(p<\infty \), \(\mathbf {{s}}' \succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{d}})\) and property \((\mathfrak {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) holds, then the sesquilinear mapping
induces an antilinear isomorphism of \(\mathfrak {A}^{p',q'}_{q'\mathbf {{s}}'+(q'/q)\mathbf {{s}} +q'(1-1/p)_+\mathbf {{d}} }(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)'\).
Proof
By [16, Theorem 2.47], there is a constant \(C>0\) such that
for every \((\zeta ,z),(\zeta ',z')\in D\) such that \(d((\zeta ,z),(\zeta ',z'))\leqslant 1\). Using Proposition 4.7, one then verifies that the mapping \((\zeta ,z)\mapsto B^{\mathbf {{s}}'}_{(\zeta ,z)}\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) is antiholomorphic, so that the mapping
is well defined. In addition, Proposition 4.7 shows that \(G(L)\in A^{\infty ,\infty }_{\mathbf {{b}}/q+\mathbf {{d}}/p-\mathbf {{s}}-\mathbf {{s}}'}(D)\) for every \(L\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)'\). In order to prove that \(G(L)\in \mathcal {A}^{p',q'}_{\mathbf {{s}}''}(D)\), where \(\mathbf {{s}}''{:}{=}\mathbf {{b}}/\min (1,q)+\mathbf {{d}}/\min (1,p)-\mathbf {{s}}-\mathbf {{s}}'\), by Theorem 4.11 it will then suffice to show that \(S(G(L)){:}{=}(\varDelta _\varOmega ^{ \mathbf {{s}}''-\mathbf {{b}}/q'-\mathbf {{d}}/p'}(h_k) G(L)(\zeta _k,z_{j,k}))\in \ell ^{p',q'}(J,K)\) for some F-\((\delta ,4)\)-lattice \((\zeta _k,z_{j,k})_{j\in J,k\in K}\) on D for some sufficiently small \(\delta >0\). We may then choose \((\zeta _k,z_{j,k})_{j\in J,k\in K}\) so that the corresponding map
is well defined, continuous, and onto. Since
for every \(\lambda \in \ell ^{p,q}(J,K)\), our claim follows.
Further, observe that Proposition 4.8 shows that
for every \((\zeta ,z)\in D\). Since the \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\), as \((\zeta ,z)\) run through D, form a total subset of \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (for \(\varPsi \) is onto), by continuity, we see that
for every \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\). To conclude, it suffices to show that if \(g\in \mathcal {A}^{p',q'}_{\mathbf {{s}}''}(D)\) and
for every \(f\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\), then \(g=0\). However, choosing \(f=B^{\mathbf {{s}}'}_{(\zeta ,z)}\) for every \((\zeta ,z)\in D\) and using Proposition 4.8 again, it is readily seen that this is the case, whence the conclusion. \(\square \)
4.5 Boundary values
In order to define the Besov spaces of analytic type which are necessary to describe the boundary values of the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}}}\), we shall need some preliminary results.
Lemma 4.16
The continuous linear mappings \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\ni u \mapsto u(\zeta ,\,\cdot \,)\in \mathcal {S}_{\overline{\varOmega '}}(F)\), \(\zeta \in E\), induce uniquely determined continuous linear mappings \(\mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\ni u \mapsto u(\zeta ,\,\cdot \,)\in \mathcal {S}'_{\overline{\varOmega '}}(F)\) such that the following hold:
-
(1)
for every \(u\in \mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\), for every \(\zeta \in E\), and for every \(\phi \in \mathcal {S}(F')\) supported in \(\overline{\varOmega '}\),
$$\begin{aligned} (u*\mathcal {F}_\mathcal {N}^{-1}(\phi ))(\zeta ,\,\cdot \,)= u(\zeta ,\,\cdot \,)*\mathcal {F}_F^{-1}(\phi ); \end{aligned}$$ -
(2)
for every \(u\in \mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\), the mapping \(E \ni \zeta \mapsto u(\zeta ,\,\cdot \,)\in \mathcal {S}'_{\overline{\varOmega '}}(F)\) is of class \(C^\infty \).
As a consequence, we shall identify each \(u\in \mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\) with a map \(E\ni \zeta \mapsto u(\zeta ,\,\cdot \,)\in \mathcal {S}'_{\overline{\varOmega '}}(F)\) of class \(C^\infty \).
Proof
Fix \(\phi \in \mathcal {S}(F')\) supported in \(\overline{\varOmega '}\) and define \(\psi {:}{=}\mathcal {F}_\mathcal {N}^{-1}(\phi )\) and \(\psi '{:}{=}\mathcal {F}_F^{-1}(\phi )\). Then, \(\pi _\lambda (\psi )=\phi (\lambda ) P_{\lambda ,0}\) and \(\pi _\lambda (\delta _0\otimes \psi ')=\phi (\lambda ) I\) for every \(\lambda \in \varLambda _+\), so that
for every \(u\in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\), that is,
for every \(\zeta \in E\). In particular,
so that, by the arbitrariness of \(\phi \), the mapping \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\ni u \mapsto u(\zeta ,\,\cdot \,)\ni \mathcal {S}_{\overline{\varOmega '}}(F)\) is continuous for the topologies induced by \(\mathcal {S}_{\overline{\varOmega '}}'(\mathcal {N})\) and \(\mathcal {S}_{\overline{\varOmega '}}'(F)\) on \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) and \( \mathcal {S}_{\overline{\varOmega '}}(F)\), respectively. Since \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) is dense in \(\mathcal {S}_{\overline{\varOmega '}}'(\mathcal {N})\) (because the conjugate of \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) is reflexive and the polar of \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) in the conjugate of \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) is \(\{0\}\)), and since \(\mathcal {S}_{\overline{\varOmega '}}'(F)\) is complete, the first assertion follows, as well as (1). Assertion (2) is a consequence of the fact that the mapping \(\zeta \mapsto \langle u(\zeta ,\,\cdot \,)\vert \psi '\rangle =(u*\psi ^*)(\zeta ,0)\) is of class \(C^\infty \) on E for every \(\phi \) (cf. [35, p. 59, Lemma II]). \(\square \)
Lemma 4.17
Take \(p,q,p_2,q_2\in (0,\infty ]\) with \(p\leqslant p_2\) and \(q\leqslant q_2\), and a bounded subset B of \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) such that \(\mathcal {F}_\mathcal {N}B\) is bounded in \(C^\infty _c(\varOmega ')\). For every \(\psi \in B\) and for every \(t\in T_+\), define \(\psi _t{:}{=}\mathcal {F}_\mathcal {N}^{-1}((\mathcal {F}_\mathcal {N}\psi )(\,\cdot \, t^{-1}))\). Then, there is a constant \(C>0\) such that
and
for every \(u\in \mathcal {S}'(\mathcal {N})\), for every \(\phi ,\phi '\in B\), and for every \(t,t'\in T_+\).
Proof
Step I. It will suffice to prove the first assertion when \(p_2=q_2=\infty \) and t is the identity of \(T_+\), by Hölder’s interpolation and homogeneity. Arguing by approximation as in the proof of [16, Corollary 4.7], we may further assume that \(u\in \mathcal {S}(\mathcal {N})\). Then, set \(\ell {:}{=}\min (1,p,q)\) and take \(\tau \in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) so that \(\psi *\tau =\psi \) for every \(\psi \in B\) and observe that
for every \((\zeta ,x)\in \mathcal {N}\), whence the first assertion.
Step II. The second assertion follows from [16, Corollary 4.10] and Lemma 4.16. \(\square \)
Definition 4.18
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). Take a \((\delta ,R)\)-lattice \((\lambda _k)_{k\in K}\) in \(\varOmega '\) for some \(\delta >0\) and some \(R>1\) and fix a bounded family \((\phi _k)_{k\in K}\) of positive elements of \(C^\infty _c(\varOmega ')\) such that \(\sum _k \phi _k(\,\cdot \, t_k^{-1})\geqslant 1\) on \(\varOmega '\), where \(t_k\in T_+\) and \(\lambda _k=e_{\varOmega '}\cdot t_k\) for every \(k\in K\). Define \(\psi _k{:}{=}\mathcal {F}_\mathcal {N}^{-1}(\phi _k(\,\cdot \, t_k^{-1}))\). Then, we define \(\mathring{\mathcal {B}}_{p,q}^{\mathbf {{s}}}(\mathcal {N},\varOmega )\) (resp. \(\mathcal {B}_{p,q}^{\mathbf {{s}}}(\mathcal {N},\varOmega )\)) as the space of the \(u\in \mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\) such that
endowed with the corresponding topology.Footnote 8 We also define \(\mathfrak {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega ){:}{=}\mathcal {B}^{(\mathbf {{s}}-\mathbf {{b}}/2)/q}_{p,q}(\mathcal {N},\varOmega )\).
In particular, \(\mathcal {B}^{\mathbf {{s}}}_{p,p}(\mathcal {N},\varOmega )=B^{\mathbf {{s}}}_{p,p}(\mathcal {N},\varOmega )\) and \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,p}(\mathcal {N},\varOmega )=\mathring{B}^{\mathbf {{s}}}_{p,p}(\mathcal {N},\varOmega )\) for every \(p\in (0,\infty ]\) and for every \(\mathbf {{s}}\in \mathbb {R}\). We now propose a different interpretation of \(\mathcal {B}_{p,q}^{\mathbf {{s}}}(\mathcal {N},\varOmega )\) which is particularly useful in certain situations.
Remark 4.19
By Lemma 4.16, \(\mathcal {B}_{p,q}^{\mathbf {{s}}}(\mathcal {N},\varOmega )\) may be equivalently defined as the space of \(u\in \mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\) such that
where \(\Vert {\,\cdot \,} \Vert _{B_{p,q}^{\mathbf {{s}}}(F,\varOmega )}\) denotes a fixed quasi-norm on \(B_{p,q}^{\mathbf {{s}}}(F,\varOmega )\). A similar description holds also for the space \(\mathfrak {B}^{p,q}_{\mathbf {{s}}}(\mathcal {N},\varOmega )\).
Proposition 4.20
Take \(p_1,p_2,q_1,q_2\in (0,\infty ]\) and \(\mathbf {{s}}_1,\mathbf {{s}}_2\in \mathbb {R}^r\) so that
Then, there are continuous inclusions \(\mathring{\mathcal {B}}^{\mathbf {{s}}_1}_{p_1,q_1}(\mathcal {N},\varOmega )\subseteq \mathring{\mathcal {B}}^{\mathbf {{s}}_2}_{p_2,q_2}(\mathcal {N},\varOmega )\) and \(\mathcal {B}^{\mathbf {{s}}_1}_{p_1,q_1}(\mathcal {N},\varOmega )\subseteq \mathcal {B}^{\mathbf {{s}}_2}_{p_2,q_2}(\mathcal {N},\varOmega )\). In addition, the mappings \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\ni u\mapsto u(\zeta ,\cdot \,)\in B^{\mathbf {{s}}+\mathbf {{b}}/q}_{p,q}(F,\varOmega )\), \(\zeta \in E\), are equicontinuous for every \(p,q\in (0,\infty ]\) and for every \(\mathbf {{s}} \in \mathbb {R}^r\).
In particular, if \(q_2<\infty \) and \(\mathbf {{s}}_3 =\frac{q_2}{q_1}\mathbf {{s}}_1+\left( \frac{q_2}{2 q_1}-\frac{1}{2} \right) \mathbf {{b}}+\left( \frac{q_2}{p_1}-\frac{q_2}{p_2} \right) \mathbf {{d}}\), then \(\mathfrak {B}^{\mathbf {{s}}_1}_{p_1,q_1}(\mathcal {N},\varOmega )\subseteq \mathfrak {B}^{\mathbf {{s}}_3}_{p_2,q_2}(\mathcal {N},\varOmega )\). In addition, the mappings \(\mathfrak {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\ni u\mapsto u(\zeta ,\,\cdot \,)\in \mathfrak {B}^{\mathbf {{s}}+\mathbf {{b}}/2}_{p,q}(F,\varOmega )\), \(\zeta \in E\), are equicontinuous for every \(p,q\in (0,\infty ]\) and for every \(\mathbf {{s}}\in \mathbb {R}^r\).
Proof
This is a consequence of Lemmas 4.16 and 4.17, and of the continuous inclusion \(\ell ^{q_1}(K)\subseteq \ell ^{q_2}(K)\), which holds for every set K. \(\square \)
Proposition 4.21
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). Then, \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\), \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\), and \(\mathfrak {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) are complete and embed continuously into \(\mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\). In addition, \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) is dense in \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\).
Proof
Since \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\subseteq \mathcal {B}_{\infty ,\infty }^{\mathbf {{s}}+\mathbf {{b}}/q+\mathbf {{d}}/p}(\mathcal {N},\varOmega )=B_{\infty ,\infty }^{\mathbf {{s}}+\mathbf {{b}}/q+\mathbf {{d}}/p}(\mathcal {N},\varOmega )\) continuously by Proposition 4.20, by [14, Proposition 7.12], we see that \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) embeds continuously into \( \mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\). Completeness follows from the facts that \(\mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\) is complete, that \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) is closed in \( \mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\), and that the norm of \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) extends to a lower semi-continuous function on \(\mathcal {S}'_{\overline{\varOmega '}}(\mathcal {N})\) which is finite only on \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\).
Next, observe that \({\mathcal {S}}_{\overline{\varOmega ^\prime }}(\mathcal {N}){\subseteq }{\mathcal {B}}_{l,l}^\mathbf{s^\prime }({\mathcal {N}}, \,\varOmega ){\subseteq }\mathring{\mathcal {B}}_{p,q}^\textbf{s}({\mathcal {N}}, \,\varOmega )\) thanks to Theorem 3.13 and Proposition 4.20, where \( l{:}{=}\text {min}(1,\,p,\,q)\;\text {and}\;{\textbf {s}}^\prime ={\textbf {s}}+\left( \frac{1}{q}-\frac{1}{l}\right) {\textbf {b}}+\left( \frac{1}{q}-\frac{1}{l}\right) {\textbf {d}}.\) For what concerns the density of \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) in \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\), take \(u\in \mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) and \((\psi _k)\) as in Definition 4.18. It is not difficult to prove that, if we assume that \(\sum _k \mathcal {F}_\mathcal {N}\psi _k=1\) on \(\varOmega '\), then \(\sum _k u*\psi _k\) converges to u in \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\). In addition, clearly \(u*\psi _k\in L^p_0(\mathcal {N})\) for every \(k\in K\). Then, take \(\psi '_k\in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) so that \(\mathcal {F}_\mathcal {N}\psi '_k\) is compactly supported in \(\varOmega '\) and equals 1 on the support of \(\mathcal {F}_\mathcal {N}\psi _k\). If \((f_j)\) is a sequence of elements of \(C^\infty _c(\mathcal {N})\) which converges locally uniformly to \(u*\psi _k\) and satisfies \(\vert {f_j} \vert \leqslant \vert {u*\psi _k} \vert \) for every \(j\in \mathbb {N}\), then \(f_j*\psi '_k\) belongs to \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) and converges to \(u*\psi _k\) in \(L^p_0(\mathcal {N})\) by dominated convergence, since \(\vert {u*\psi _k} \vert *\vert {\psi '_k} \vert \in L^p_0(\mathcal {N})\) by [14, Corollary 3.6]. It is then readily verified that \(f_j*\psi '_k\) converges to \(u*\psi _k\) in \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) for every \(k\in \mathbb {N}\), whence the conclusion. \(\square \)
Definition 4.22
Take \((\psi _k)\) as in Definition 4.18, and assume further that \(\sum _k (\mathcal {F}_\mathcal {N}\psi _k)^2=1\) on \(\varOmega '\). Then, the mapping
induces a well-defined continuous sesquilinear form on \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega ) \times \mathcal {B}^{-\mathbf {{s}}}_{p',q'}(\mathcal {N},\varOmega )\), for every \(p,q\in [1,\infty ]\) and for every \(\mathbf {{s}}\in \mathbb {R}^r\), which does not depend on the choice of \((\psi _k)\) (cf. [16, the proof of Proposition 4.20]).
In particular, if \(q>1\), then the same expression defines a continuous sesquilinear form on \(\mathfrak {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\times \mathfrak {B}^{-(q'/q)\mathbf {{s}}+(q'/2)\mathbf {{b}}}_{p',q'}(\mathcal {N},\varOmega )\).
In particular, by Proposition 4.20, there is a canonical sesquilinear form on
for every \(p,q\in (0,\infty ]\) and for every \(\mathbf {{s}}\in \mathbb {R}^r\). We denote by \(\sigma ^{\mathbf {{s}}}_{p,q}\) the weak topology
Lemma 4.23
Take \(p,q\in [1,\infty ]\) and \(\mathbf {{s}}\succ \frac{1}{q'}\mathbf {{b}}+\frac{1}{p'}\mathbf {{d}}+\frac{1}{2 q}\mathbf {{m}}'\). For every \((\zeta ,z)\in D\), define \(S_{(\zeta ,z)}{:}{=}c \left( B^{\mathbf {{b}}+\mathbf {{d}}}_{(\zeta ,z)}\right) _0\), where \(c\ne 0\) is chosen so that \(f(\zeta ,z)=\langle f_0\vert S_{(\zeta ,z)}\rangle \) for every \(f\in A^{2,\infty }_{\mathbf {{0}}}(D)\). Then, the following hold:
-
(1)
the \(\varDelta ^{\mathbf {{s}}-\mathbf {{b}}/q'-\mathbf {{d}}/p'}_\varOmega (\rho (\zeta ,z)) S_{(\zeta ,z)}\), as \((\zeta ,z)\) runs through D, stay in a bounded subset of \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\);
-
(2)
for every \(u\in \mathcal {B}^{-\mathbf {{s}}}_{p',q'}(\mathcal {N},\varOmega )\), the mapping \((\zeta ,z)\mapsto \langle u \vert S_{(\zeta ,z)}\rangle \) is holomorphic on D.
Proof
By homogeneity, in order to prove (1), it suffices to show that \(S_{(0,i e_\varOmega )}\in \mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\). To this aim, take \((\lambda _k)\) and \((\psi _k)\) as in Definition 4.18. By [16, The proof of Lemma 5.1 (2)], there is a constant \(C>0\) such that the family \((\textrm{e}^{\langle \lambda _k, e_\varOmega \rangle /C} \varDelta _{\varOmega '}^{\mathbf {{b}}/q'+\mathbf {{d}}/p'}(\lambda _k) S_{(0, i e_\varOmega )}*\psi _k)\) is bounded in \(L^{p,q}_0(F,E)\). Then, [16, Proposition 2.19, Lemmas 2.34 and 2.50, and Corollary 2.49] show that \(S_{(0,i e_\varOmega )}\in \mathring{\mathcal {B}}_{p,q}^{\mathbf {{s}}}(\mathcal {N},\varOmega )\).
For what concerns (2), take \(u\in \mathcal {B}^{-\mathbf {{s}}}_{p',q'}(\mathcal {N},\varOmega )\) and assume further that \((\psi _k)\) satisfies the conditions of Definition 4.22, so that
for every \((\zeta ,z)\in D\). Since (1) shows that the \(S_{(\zeta ,z)}\) are uniformly bounded in \(\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) as long as \((\zeta ,z)\) stays in a bounded subset of D, by dominated convergence, it will suffice to prove that the function \((\zeta ,z)\mapsto \langle u*\psi _k\vert S_{(\zeta ,z)}*\psi _k\rangle \) is holomorphic on D for every \(k\in K\). Since \(u* \psi _k\in L^{\infty }(\mathcal {N}) \) by Lemma 4.17, and since the mapping \(D\ni (\zeta ,z)\mapsto S_{(\zeta ,z)}*\psi _k\in \mathcal {S}(\mathcal {N})\) is holomorphic by [16, (1) of Proposition 4.2 and (1) of Lemma 5.1], the assertion follows. \(\square \)
Proposition 4.24
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}} \succ \frac{1}{q} \mathbf {{b}}+\frac{1}{p} \mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\). Define a continuous linear mapping (cf. Lemma 4.23)
Then, the following hold:
-
(1)
for every \(u\in \mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) and for every \((\zeta ,z)\in D\) (so that \(u(\zeta ,\,\cdot \,)\in B^{-\mathbf {{s}}+\mathbf {{b}}/q}_{p,q}(F,\varOmega )\) with \(\mathbf {{s}}-\frac{1}{q}\mathbf {{b}}\succ \frac{1}{p} \mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\) by Proposition 4.20)
$$\begin{aligned} (\mathcal {E}u)(\zeta ,z)=[\mathcal {E}(u(\zeta ,\,\cdot \,))](z-i\varPhi (\zeta )); \end{aligned}$$ -
(2)
the linear mappings \(u\mapsto (\mathcal {E}u)_h\), as h runs through \(\varOmega \), induce equicontinuous endomorphisms of \(\mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) and \(\mathring{\mathcal {B}}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\);
-
(3)
the mapping
$$\begin{aligned} \varOmega \cup \{0\}\ni h \mapsto (\mathcal {E}u)_h\in \mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega ) \end{aligned}$$is continuous if \(u\in \mathring{\mathcal {B}}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\), and is continuous in the weak topology \(\sigma ^{-\mathbf {{s}}}_{p,q}\) if \(u\in \mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\).
The preceding statement may be also translated in terms of the spaces \(\mathfrak {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) (except for the statements concerning the weak topology \(\sigma ^{-\mathbf {{s}}}_{p,q}\), which may not be properly stated in terms of the spaces \(\mathfrak {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) alone). This latter result extends: [2, Proposition 3.43], which corresponds to the case in which \(p=q\geqslant 1\), \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric; [23, Proposition 4.1], which corresponds to the case in which \(p=q\geqslant 1\), \(n=0\), and \(\varOmega \) is symmetric.
Proof
-
(1)
It will suffice to prove the assertion when u is replaced by \(u*\psi \) for some \(\psi \in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) with \(\mathcal {F}_\mathcal {N}\psi \in C^\infty _c(\varOmega ')\). Then,
$$\begin{aligned}{}[\mathcal {E}(u*\psi )]_h=(u*\psi )*(S_{(0,i h)}*\psi '), \end{aligned}$$where \(\psi '\in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) and \(\psi =\psi *\psi '\). It then suffices to apply Lemma 4.16.
-
(2)
The equicontinuity of the endomorphisms \(u\mapsto (\mathcal {E}u)_h\), \(h\in \varOmega \), of \(\mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) follows from (1), Remark 4.19 and [16, (1) of Theorem 5.2]. The fact that these endomorphisms preserve \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) follows from the fact that they preserve \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\), thanks to Proposition 4.21.
-
(3)
If \(u\in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\), then the mapping \(\varOmega \cup \{0\}\ni h\mapsto (\mathcal {E}u)_h \in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) is continuous by [16, (1) of Lemma 5.1] and [15, Proposition 5.2], so that (2) leads to the conclusion for \(u\in \mathring{\mathcal {B}}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\). The conclusion for \(u\in \mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) follows by transposition, thanks to the formula
$$\begin{aligned} \langle (\mathcal {E}u)_h\vert u'\rangle =\langle u\vert (\mathcal {E}u')_h\rangle \end{aligned}$$which holds for every \(u'\in \mathring{\mathcal {B}}^{\mathbf {{s}}-(1/q-1)_+\mathbf {{b}}-(1/p-1)_+\mathbf {{d}} }_{p',q'}(\mathcal {N},\varOmega )\) and for every \(h\in \varOmega \) and may be proved reducing to the case \(E=\{0\}\) by means of (1), in which case it follows from the proof of [16, (3) of Theorem 5.2].
\(\square \)
Definition 4.25
Take \(\mathbf {{s}}\succ \frac{1}{q}\mathbf {{b}}+\frac{1}{p}\mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\). Then, we define \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) and \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\) as the images of the spaces \(\mathring{\mathcal {B}}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) and \(\mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) under \(\mathcal {E}\), endowed with the corresponding topology.
If \(q<\infty \) and \(\mathbf {{s}}'\succ \frac{1}{2}\mathbf {{b}}+\frac{q}{p}\mathbf {{d}}+\frac{q}{2 q'}\mathbf {{m}}'\), then we shall define \(\widetilde{\mathfrak {A}}^{p,q}_{\mathbf {{s}}}(D){:}{=}\widetilde{\mathcal {A}}^{p,q}_{(\mathbf {{s}}+\mathbf {{b}}/2)/q}(D)\).
Assertions (1), (2), and (5) of the following result extend: [2, Proposition 3.31, Theorem 1.7, and Theorem 1.8], which corresponds to the case in which \(p,q\geqslant 1\), \(\mathbf {{s}}\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric; [23, Remark 3.21, Theorem 1.2, and Theorem 4.8], which corresponds to the case in which \(p,q\geqslant 1\), \(n=0\), and \(\varOmega \) is symmetric.
Proposition 4.26
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). Then, the following hold:
-
(1)
for every \(\mathbf {{s}}'\in \mathbb {C}^r\), the mapping \(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\ni \phi \mapsto \phi *I^{\mathbf {{s}}'}_\varOmega \in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\) induces isomorphisms of \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) and \( \mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) onto \(\mathring{\mathcal {B}}^{\mathbf {{s}}+\textrm{Re}\,\mathbf {{s}}'}_{p,q}(\mathcal {N},\varOmega )\) and \(\mathcal {B}^{\mathbf {{s}}+\textrm{Re}\,\mathbf {{s}}'}_{p,q}(\mathcal {N},\varOmega )\), respectively; in particular, if \(q<\infty \), then it induces an isomorphism of \(\mathfrak {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\) onto \(\mathfrak {B}^{\mathbf {{s}}+q\textrm{Re}\,\mathbf {{s}}'}_{p,q}(\mathcal {N},\varOmega )\);
-
(2)
if \(\mathbf {{s}} \succ \frac{1}{q}\mathbf {{b}}+\frac{1}{p} \mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\) and \(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}}\) (resp. \(\mathbf {{s}} \geqslant \mathbf {{0}}\) if \(q=\infty \)), then there are continuous inclusions
$$\begin{aligned} {}&{} \mathcal {E}(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N}))\subseteq \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\subseteq \widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\\{}&\qquad \quad {} \text{(resp. } \ \mathcal {E}(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N}))\subseteq \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\subseteq \widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)); \end{aligned}$$in particular, if \(q<\infty \) and \(\mathbf {{s}}\succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}}),\frac{1}{2}\mathbf {{b}}+\frac{q}{p}\mathbf {{d}}+\frac{q}{2 q'}\mathbf {{m}}'\), then there are continuous inclusions \(\mathcal {E}(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N}))\subseteq \mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\subseteq \widetilde{\mathfrak {A}}^{p,q}_{\mathbf {{s}}}(D) \);
-
(3)
if \(\mathbf {{s}} \succ \frac{1}{p} \mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\) and \(A^{p,q}_{\mathbf {{s}},0}(T_\varOmega )=\widetilde{A}^{p,q}_{\mathbf {{s}},0}(T_\varOmega )\) (resp. \(A^{p,q}_{\mathbf {{s}}}(T_\varOmega )=\widetilde{A}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\)), then \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\)); in particular, if \(q<\infty \), \(\mathbf {{s}}\succ \frac{q}{p} \mathbf {{d}}+\frac{q}{2 q'}\mathbf {{m}}'\) and \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(T_\varOmega )=\widetilde{\mathfrak {A}}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\), then \(\mathfrak {A}^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/2}(D)=\widetilde{\mathfrak {A}}^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/2,0}(D)\);
-
(4)
if \(\mathbf {{s}} \succ \frac{1}{p} (\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 p'}\mathbf {{m}}'\) and \(\mathcal {A}^{p,p}_{\mathbf {{s}},0}(D)=\widetilde{\mathcal {A}}^{p,p}_{\mathbf {{s}},0}(D)\) (resp. \(\mathcal {A}^{p,p}_{\mathbf {{s}}}(D)=\widetilde{\mathcal {A}}^{p,p}_{\mathbf {{s}}}(D)\)), then \(A^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p,0}(T_\varOmega )=\widetilde{A}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p,0}(T_\varOmega )\) (resp. \(A^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )=\widetilde{A}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )\)); in particular, if \(p<\infty \), \(\mathbf {{s}} \succ \frac{1}{2} \mathbf {{b}}+\mathbf {{d}}+\frac{p}{2 p'}\mathbf {{m}}'\) and \(\mathfrak {A}^{p,p}_{\mathbf {{s}}}(D)=\widetilde{\mathfrak {A}}^{p,p}_{\mathbf {{s}}}(D)\), then \(\mathfrak {A}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/2}(T_\varOmega )=\widetilde{\mathfrak {A}}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/2}(T_\varOmega )\);
-
(5)
if \(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}}+\left( \frac{1}{2 \min (p,p')}-\frac{1}{2 q} \right) _+ \mathbf {{m}}'\), then \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\). In particular, if \(q<\infty \) and \(\mathbf {{s}}\succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})+ \left( \frac{q}{2 \min (p,p')}-\frac{1}{2} \right) _+\mathbf {{m}}'\), then \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)=\widetilde{\mathfrak {A}}^{p,q}_{\mathbf {{s}}}(D)\).
We observe explicitly that in [16, Corollary 5.11] the assumption \(\mathbf {{s}} \succ \frac{1}{p}(\mathbf {{b}}+\mathbf {{d}})+\frac{1}{2 q'}\mathbf {{m}}'\) is redundant (as the assumption \(\mathbf {{s}} \succ \frac{1}{q} \mathbf {{b}} +\frac{1}{p}\mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\) would be redundant in (5) above), as it is implied by the condition \(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}+\left( \frac{1}{2 \min (p,p')}-\frac{1}{2 q} \right) _+ \mathbf {{m}}'\). Indeed, \(\left( \frac{1}{ \min (p,p')}-\frac{1}{ q} \right) _+ \mathbf {{m}}'\geqslant \left( \frac{1}{q'}-\frac{1}{p}\right) \mathbf {{m}}'\geqslant \frac{2}{p} \mathbf {{d}}+\frac{1}{q'}\mathbf {{m}}' \) since \(2\mathbf {{d}} \prec -\mathbf {{m}}-\mathbf {{m}}'\).
We also mention that, if \(r=2\) (so that \(\varOmega \) is isomorphic to either a quadrant or a Lorentz cone), then combining [6, Theorems 6.6 and 6.8] (the latter being a consequence of [13, Theorem 1.2]) with [16, Theorem 5.10] (cf. also [19, remarks following Remark 2.6]), we see that \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(T_\varOmega )=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(T_\varOmega )=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(T_\varOmega )\) if and only if
By transference, under the same condition, we also have \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\).
Proof
- (1)
-
(2)
By [16, Proposition 5.4], there are continuous linear mappings \(\mathcal {B}:\mathcal {A}^{q,q}_{\mathbf {{s}},0}(D)\rightarrow \mathring{\mathcal {B}}^{-\mathbf {{s}}}_{q,q}(\mathcal {N},\varOmega )\) and \(\mathcal {B}':A^{p,q}_{\mathbf {{s}},0}(T_\varOmega )\rightarrow \mathring{\mathcal {B}}^{-\mathbf {{s}}}_{p,q}(F,\varOmega )\) such that \(\mathcal {E}\mathcal {B}=I\) and \(\mathcal {E}\mathcal {B}'=I\). If \(u\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\cap \mathcal {A}^{q,q}_{\mathbf {{s}},0}(D)\), then Lemma 4.16, Remark 4.19, (1) of Proposition 4.24, and Proposition 4.6 imply that \((\mathcal {B}u)(\zeta ,\,\cdot \,)=\mathcal {B}'(u(\zeta ,\,\cdot \,))\) for every \(\zeta \in E\), and that \(\mathcal {B}\) induces a continuous linear mapping of \( \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) into \(\mathring{\mathcal {B}}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\). Thus, \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\subseteq \widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) continuously. The inclusion \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\subseteq \widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\) is proved similarly (cf. the proof of Theorem 4.31). The remaining inclusions are consequences of Lemma 4.16 and Theorem 3.13.
- (3)
-
(4)
This follows from [19, Theorem 6.3].
-
(5)
This follows from (3) and [16, Corollary 5.11].
\(\square \)
Remark 4.27
We observe explicitly that \(\mathbf {{s}} \succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})+\left( \frac{q}{2 \min (p,p')}-\frac{1}{2 }\right) _+\mathbf {{m'}}\) if and only if \(\mathbf {{s}} \succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})\) and
Proposition 4.28
Take \(p,q\in (0,\infty ]\), and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\) such that the following hold:
-
\(\mathbf {{s}}\succ \frac{1}{q}\mathbf {{b}}+\frac{1}{p} \mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\);
-
\(\mathbf {{s}}' \prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\);
-
\(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{q} \mathbf {{b}}+\frac{1}{p}\mathbf {{d}}-\frac{1}{2 \max (1,q)}\mathbf {{m}}'\).
Then, there is a constant \(c\ne 0\) such that
for every \(u,u'\in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\). In particular, the sesquilinear form
induces a continuous sesquilinear form on \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\times \widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}/\min (1,q)+\mathbf {{d}}/\min (1,p)-\mathbf {{s}}-\mathbf {{s}}'}(D)\).
As a consequence of Corollary 4.29, the above sesquilinear form induces an antilinear isomorphism of \(\widetilde{\mathcal {A}}^{ p',q'}_{\mathbf {{b}}/\min (1,q)+\mathbf {{d}}/\min (1,p)-\mathbf {{s}}-\mathbf {{s}}'}(D)\) onto \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)'\).
Proof
Formula (7) follows from [16, Proposition 5.12].Footnote 9 The assertion then follows easily. \(\square \)
Corollary 4.29
Take \(p,q\in (0,\infty ]\) and \(\mathbf {{s}}\in \mathbb {R}^r\). Then, the continuous sesquilinear form \(\langle \,\cdot \,\vert \,\cdot \,\rangle :\mathcal {B}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\times \mathcal {B}^{-\mathbf {{s}}-(1/q-1)_+\mathbf {{b}}-(1/p-1)_+\mathbf {{d}}}_{p',q'}(\mathcal {N},\varOmega )\rightarrow \mathbb {C}\) induces an antilinear isomorphism of \(\mathcal {B}^{-\mathbf {{s}}-(1/q-1)_+\mathbf {{b}}-(1/p-1)_+\mathbf {{d}}}_{p',q'}(\mathcal {N},\varOmega )\) onto \(\mathring{\mathcal {B}}^{\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )' \).
One may also state an analogous result for the spaces \(\mathfrak {B}_{p,q}^{\mathbf {{s}}}\) (necessarily restricting to \(p\in (0,\infty )\) and \(q\in (1,\infty )\)). This latter result extends: [2, Theorem 1.4 (3)], which corresponds to the case in which \(p,q\geqslant 1\), \(\mathbf {{s}}\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric; [23, Theorem 1.1 (3)], which corresponds to the case in which \(p,q\geqslant 1\), \(n=0\), and \(\varOmega \) is symmetric.
Proof
By Proposition 4.26, we may assume that \(-\mathbf {{s}}\) is as large as we please, so that the assertion follows from Proposition 4.28, combined with (5) of Proposition 4.26, Theorem 4.14, and Proposition 4.15. \(\square \)
4.6 Bergman Projectors
The second part of the following result extends: [3, Theorem 4.24], which corresponds to the case in which \(\mathbf {{s}}=\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric; [23, Corollary 1.4], which deals with the case in which \(\mathbf {{s}}=\mathbf {{s}}'\), \(n=0\) and \(\varOmega \) is symmetric; [30, Theorem 3.2 (i)], which corresponds to the case in which \(p=q\), \(\mathbf {{s}}=\mathbf {{s}}' \), and \(n=0\).
Proposition 4.30
Take \(p,q\in [1,\infty ]\), \(\mathbf {{s}}\in \mathbb {R}^r\), and \(\mathbf {{s}}'\prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\). If \(P_{\mathbf {{s}}'}\) induces an endomorphism of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. a continuous linear mapping of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) into \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\)), then the following hold:
-
(1)
\(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}} \) (resp. \(\mathbf {{s}}\geqslant \mathbf {{0}}\) if \(q=\infty \)) and \(\mathbf {{s}} \succ \frac{1}{q} \mathbf {{b}}+\frac{1}{p}\mathbf {{d}} +\frac{1}{2 q'} \mathbf {{m'}}\);
-
(2)
\(\mathbf {{s'}}\prec \frac{1}{\min (p,p')}\mathbf {{d}}-\frac{1}{2 \min (p,p')} \mathbf {{m'}}\);
-
(3)
\(\mathbf {{s}}+\mathbf {{s'}}\prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2 q'}\mathbf {{m}}\) or \(\mathbf {{s}}+\mathbf {{s'}}\leqslant \mathbf {{b}}+\mathbf {{d}}\) if \(q'=\infty \), and \(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{q} \mathbf {{b}}+\frac{1}{p}\mathbf {{d}}-\frac{1}{2 q} \mathbf {{m'}}\);
-
(4)
\(P_{\mathbf {{s}}'}\) induces continuous linear projectors of \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\), respectively, such that
$$\begin{aligned} \int _D f \overline{P_{\mathbf {{s}}'}g} (\varDelta ^{\mathbf {{s}}'}_{ \varOmega }\circ \rho )\,\textrm{d}\nu _D= \int _D (P_{\mathbf {{s}}'} f) \overline{g} (\varDelta ^{\mathbf {{s}}'}_{ \varOmega }\circ \rho )\,\textrm{d}\nu _D \end{aligned}$$(8)for every \(f\in \mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) and for every \(g\in \mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\).
In particular, if \(q<\infty \), \(\mathbf {{s}}'\succ \frac{1}{2} (\mathbf {{m}}-\mathbf {{b}})\), and \(\mathfrak {P}_{\mathbf {{s'}}}\) induces a continuous linear projector of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\), then:
-
\(\mathbf {{s}}\succ \frac{1}{2} (\mathbf {{m}}-\mathbf {{b}}), \frac{1}{2} \mathbf {{b}}+\frac{q}{p} \mathbf {{d}}+\frac{q-1}{2}\mathbf {{m'}}\);
-
\(\mathbf {{s'}}\succ \frac{1}{2} \mathbf {{b}}+\frac{1}{\max (p,p')}\mathbf {{d}}+\frac{1}{2 \min (p,p')}\mathbf {{m'}}\);
-
\(\mathbf {{s'}}-\frac{1}{q}\mathbf {{s}}\succ \frac{1}{2 q'} \mathbf {{b}}+\frac{1}{p'}\mathbf {{d}}+\frac{1}{2 q}\mathbf {{m'}}\) and \(\mathbf {{s'}}-\frac{1}{q}\mathbf {{s}}\succ -\frac{1}{2 q'} \mathbf {{b}}+\frac{1}{2 q'}\mathbf {{m}}\) or \(q=1\) and \(\mathbf {{s'}}-\mathbf {{s}}\geqslant \mathbf {{0}}\).
Notice that (4) uniquely determines \(P_{\mathbf {{s}}'}\) on \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\), since conditions (1)–(3) ensure that \(B^{-\mathbf {{s}}'}_{(\zeta ,z)}\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\cap \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) for every \((\zeta ,z)\in D\) (cf. Proposition 4.8).
In addition, if \(\mathbf {{s}}\succ \frac{1}{2} (\mathbf {{m}}-\mathbf {{b}})\), \(p,q\in (1,\infty )\), and \(\mathfrak {P}_{\mathbf {{s}}}\) induces a continuous linear projector of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\), then:
where
Proof
In order to prove (1)–(3), observe first that \(P_{\mathbf {{s}}'}(C_c(D))\subseteq {{\,\textrm{Hol}\,}}(D)\), so that \(P_{\mathbf {{s}}'}\) maps \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) into \(A^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(A^{p,q}_{\mathbf {{s}}}(D)\)). Therefore, the linear mapping
is continuous for every \((\zeta ,z)\in D\), so that \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\in \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\). By Proposition 4.7, in order to complete the proof of (1)–(3), it will suffice to prove that \(B^{\mathbf {{s}}'}_{(0,i e_\varOmega )}\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(B^{\mathbf {{s}}'}_{(0,i e_\varOmega )}\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\)). This is a consequence of the fact that there is \(f\in C_c(D) \) such that \(P_{\mathbf {{s}}'}(f)=B^{\mathbf {{s}}'}_{(0,i e_\varOmega )}\) (cf. the proof of [16, Proposition 5.20]).
Concerning (4), one first shows that formula (8) holds for every \(f\in \mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) and for every \(g\in C_c(D)\). This, in turn, allows to show that \(P_{\mathbf {{s}}'}\) induces a continuous linear mapping of \(\mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}',0}(D)\) into \(\mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) and to show that formula (8) holds for every \(f\in \mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) and for every \(g\in \mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}',0}(D)\). One then defines
for every \(f\in \mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) (resp. for every \(f\in \mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\)), and for every \((\zeta ,z)\in D\) (as a consequence of the proof of (1)–(3)). The arguments of the proof of Proposition 4.15 then allow to show that the so-defined \(P_{\mathbf {{s}}'} f\) is holomorphic on D. In addition, if \((\tau _j)\) is an increasing sequence of positive elements of \(C_c(D)\) which converges locally uniformly to 1, then \(P_{\mathbf {{s}}'}(\tau _j f)\) converges locally uniformly to \(P_{\mathbf {{s}}'} f\) and has uniformly bounded \( \mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) (resp. \( \mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\)) norm. This, combined with Proposition 4.8, allows to show that \(P_{\mathbf {{s}}'}\) has been correctly extended to continuous linear mappings from \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) and \( \mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and \( \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\), respectively. Formula (8) is then proved by approximation in the general case. \(\square \)
Theorem 4.31
Take \(p,q\in [1,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\). Assume that the following hold:
-
\(\mathbf {{s}} \succ \frac{1}{q} \mathbf {{b}}+\frac{1}{p} \mathbf {{d}}+\frac{1}{2 q'}\mathbf {{m}}'\) and \(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}}\) (resp. \(\mathbf {{s}} \geqslant \mathbf {{0}}\) if \(q=\infty \));
-
\(\mathbf {{s}}'\prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\);
-
\(\mathbf {{s}}+\mathbf {{s}}'\prec \frac{1}{q} \mathbf {{b}}+\frac{1}{p} \mathbf {{d}}-\frac{1}{2 q}\mathbf {{m}}'\).
Then, the following conditions are equivalent:
-
(1)
\(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\)) and \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)=\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\);
-
(2)
\(P_{\mathbf {{s}}'}\) induces a continuous linear mapping of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) into \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathbf {{s}} \succ \mathbf {{0}}\) (resp. \(\mathbf {{s}} \geqslant \mathbf {{0}}\));
-
(3)
\(P_{\mathbf {{s}}'}\) induces a continuous linear projector of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. of \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\)) and of \(\mathcal {L}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) onto \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\);
-
(4)
\(\mathbf {{s}} \succ \frac{1}{2 q}\mathbf {{m}}\) (resp. \(\mathbf {{s}} \geqslant \mathbf {{0}}\) if \(q=\infty \)) and the sesquilinear mapping
$$\begin{aligned} (f,g)\mapsto \int _D f {\overline{g}} (\varDelta ^{-\mathbf {{s}}'}_\varOmega \circ \rho )\,\textrm{d}\nu _D \end{aligned}$$(9)induces an antilinear isomorphism of \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)'\) (resp. onto the dual of the closed vector subspace of \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) generated by the \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\), \((\zeta ,z)\in D\));
-
(5)
properties \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}',0}\) (resp. \((\mathcal {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\)) and \((\mathcal {L}')^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}',\mathbf {{s}}'}\) hold;
-
(6)
property \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s}}',0}\) (resp. \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\)) holds.
For analogous equivalences in the context of the spaces \(A^{p,q}_{\mathbf {{s}}}(D)\), see [19, Sect. 4].
Proof
(1) \(\implies \) (2). Take \(f\in \mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\cap \mathcal {L}^{2,2}_{(\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}')/2}(D)\) and \(\phi \in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\). Then, \(P_{\mathbf {{s}}'} f\in \mathcal {A}^{2,2}_{(\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}')/2}(D)=\widetilde{\mathcal {A}}^{2,2}_{(\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}')/2}(D)\), so that \(P_{\mathbf {{s}}'}f=\mathcal {E}u\) for some \(u\in \mathcal {B}^{(\mathbf {{s}}'-\mathbf {{b}}-\mathbf {{d}})/2}(\mathcal {N},\varOmega )\) by (5) of Proposition 4.26. Then, Proposition 4.28 shows that there is \(c\ne 0\) such that
for a suitable choice of a norm on \(\mathcal {B}^{\mathbf {{s}}}_{p',q'}(\mathcal {N},\varOmega )\), thanks to (1) of Proposition 4.26. By Corollary 4.29, this shows that \(u\in \mathcal {B}^{-\mathbf {{s}}}_{p,q}(\mathcal {N},\varOmega )\), that is, \(P_{\mathbf {{s}}'} f\in \widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)= \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\). The preceding arguments then show that \(P_{\mathbf {{s}}'}\) induces a continuous linear mapping of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) into \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\).
(2) \(\implies \) (3). The only assertion which is not contained in (4) of Proposition 4.30 is the following one: if \(P_{\mathbf {{s}}'}\) induces a continuous linear mapping of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) into \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathbf {{s}}\succ \mathbf {{0}}\), then it induces an endomorphism of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\). However, using (1)–(3) of Proposition 4.30 and Proposition 4.7 (and the assumption \(\mathbf {{s}}\succ \mathbf {{0}}\) when \(q=\infty \)), it is clear that \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\in \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) for every \((\zeta ,z)\in D\), so that \(P_{\mathbf {{s}}'}(C_c(D))\subseteq \mathcal {A}^{p,q}_{\mathbf {{s}}',0}(D)\) and the assertion follows.
(3) \(\implies \) (1). Take \(f\in C_c(D)\) and \(\phi \in \mathcal {S}_{\overline{\varOmega '}}(\mathcal {N})\). By Propositions 4.26 and 4.28,
for a suitable choice of a norm on \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\). By the arbitrariness of f, this implies that \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}',0}(D)\subseteq \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) continuously. Observe that, in order to show that \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)= \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\), it will suffice to prove that, for every \(f\in \widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\), there is a bounded sequence \((f_j)\) of elements of \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}',0}(D)\) which converges pointwise to f (so that \(f\in \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) with controlled norm). Then, take \(u\in \mathcal {B}^{\mathbf {{s}}+\mathbf {{s}}'-\mathbf {{b}}-\mathbf {{d}}}_{p',q'}(\mathcal {N},\varOmega )\) such that \(\mathcal {E}u=f\), and take \((\lambda _k)\), \((t_k)\), \((\phi _k)\), and \((\psi _k)\) as in Definition 4.18. Notice that we may choose \((\psi _k)\) so that \(\sum _k \psi _k=1\) on \(\varOmega '\). In addition, take \(\phi '\in C^\infty _c(\varOmega ')\) so that \(\phi '=1\) on the support of each \(\phi _k\), and set \(\psi '_k{:}{=}\mathcal {F}_{\mathcal {N}}^{-1}( \phi '(\,\cdot \, t_k^{-1}))\) for every \(k\in K\), so that \(\psi _k=\psi _k*\psi '_k\) and \(u=\sum _k u*\psi _k\) with convergence in the weak topology \(\sigma ^{\mathbf {{s}}+\mathbf {{s}}'-\mathbf {{b}}-\mathbf {{d}}}_{p',q'}\). Then, fix \(\tau \in C^\infty _c(\mathcal {N})\) with \(\tau (0)=1\) and set \(\tau _j(\zeta ,x){:}{=}\tau (2^{-j}\zeta ,2^{-2j}x)\) for every \((\zeta ,x)\in \mathcal {N}\) and for every \(j\in \mathbb {N}\). As in the proof of Proposition 4.21, we then see that \([(u*\psi _k)\tau _j]*\psi '_k\) converges to \(u*\psi _k\) in \(\mathcal {B}^{\mathbf {{s}}+\mathbf {{s}}'-\mathbf {{b}}-\mathbf {{d}}}_{p',q'}(\mathcal {N},\varOmega )\) for every \(k\in K\). If \((K_j)\) is an increasing sequence of finite subsets of K whose union is K, then one may set \(f_j= \sum _{k\in K_j}\mathcal {E}( [(u*\psi _k)\tau _j]*\psi '_k )\) and show that the \(f_j\) are uniformly bounded in \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) (using [14, Corollary 3.5]) and converge pointwise to f.
Analogously, one shows that \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\subseteq \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\). Since \(\mathcal {E}(\mathcal {S}_{\overline{\varOmega '}}(\mathcal {N}))\subseteq \mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) by (2) of Proposition 4.26 and (1) of Proposition 4.30, this is sufficient to prove that \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)=\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. as above one shows that \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)=\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\)).
(1) \(\implies \) (4). This follows from Proposition 4.28, once one shows that the closed vector subspace V of \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\) generated by the \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\), \((\zeta ,z)\in D\), is precisely \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\). To see this latter fact, observe first that \(B^{\mathbf {{s}}'}_{(\zeta ,z)}\in \widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) for every \((\zeta ,z)\in D\), since \( B^{-\mathbf {{s}}'}_{(\zeta ,z)}\in \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) by Proposition 4.7 and since \(B^{\mathbf {{s}}'}_{(\zeta ,z)}*I^{-\mathbf {{s}}''}_\varOmega =c B^{\mathbf {{s}}'-\mathbf {{s}}'' }_{(\zeta ,z)}\in \mathcal {A}^{p,q}_{\mathbf {{s}}+\mathbf {{s}}'',0}(D)\) for some \(c\ne 0\) and some sufficiently large \(\mathbf {{s}}''\in \mathbb {N}_{\varOmega '}\), thanks to [16, Proposition 2.29] and (1), (5) of Proposition 4.26. Since the polar of V in \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) with respect to the sesquilinear form (9) is \(\{0\}\) by Proposition 4.8, this shows that \(V=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) by Proposition 4.28.
(4) \(\implies \) (5). It suffices to observe that the adjoints of the sampling maps on \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) (which are isomorphisms onto their images for sufficiently fine lattices, thanks to Theorem 4.11) with respect to the sesquilinear form (9) are the atomic decomposition mappings for the spaces \(\mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) and \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\)) as one verifies without difficulty.
(5) \(\implies \) (6). Obvious.
(6) \(\implies \) (1). The proof is similar to that of the implication (4) \(\implies \) (5). Indeed, one first observes that the adjoint of the atomic decomposition mapping \(\varPsi \) corresponding to property \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s}}',0}\) (resp. \((\mathcal {L})^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\)Footnote 10), with respect to the sesquilinear form of Proposition 4.28, is precisely the sampling mapping on \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\). Since \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\subseteq \mathcal {A}^{\infty ,\infty }_{\mathbf {{b}}/q'+\mathbf {{d}}/p'-\mathbf {{s}}-\mathbf {{s}}' }(D)\) by Proposition 4.24, and since we may consider lattices as fine as we please, Theorem 4.11 shows that \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\subseteq \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\) continuously, that is, \(\widetilde{\mathcal {A}}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)= \mathcal {A}^{p',q'}_{\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s}}'}(D)\). Reversing the argument, we then see that, for sufficiently fine lattices, the atomic decomposition mapping \(\varPsi \) maps \(\ell ^{p,q}_{0}(J,K)\) onto \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) (since its adjoint is an isomorphism onto its image). Hence, \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\subseteq \mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\). Arguing as in the proof of the implication (3) \(\implies \) (1), this leads to the conclusion. \(\square \)
The following result, which is a simple consequence of Theorem 4.31, extends several results known in the literature: the equivalence of (1) and (2) is [2, Theorem 1.9] when \(n=0\), \(\mathbf {{s}}=\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\), and \(\varOmega \) is symmetric, and [23, Theorem 1.3] when \(n=0\), \(\mathbf {{s}}=\mathbf {{s}}'\), and \(\varOmega \) is symmetric; the implication (2) \(\implies \) (4), in this context, is a simple consequence of the duality between \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathfrak {L}^{p',q'}_{q'(\mathbf {{s}}'-\mathbf {{s}}/q)}(D)\), cf. [3, Theorem 5.2] for the case in which \(\mathbf {{s}}=\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\), \( n=0\), and \(\varOmega \) is symmetric; the implication (4) \(\implies \) (5) (first half) is [8, Theorem 5.1] when \(p>1\) and \(\mathbf {{s}}=\mathbf {{s}}'\); the implication (2) \(\implies \) (5) (first half) is [3, Theorem 5.7] when \( p=q\), \(\mathbf {{s}}=\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\), \(n=0\), and \(\varOmega \) is symmetric, and [7, Theorem 3.4] when \(\mathbf {{s}}=\mathbf {{s}}'\), \(n=0\), and \(\varOmega \) is symmetric; the implication (2) \(\implies \) (4) is [4, Theorem 1.6] when \(p=q\) and \(\mathbf {{s}}=\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\).
We also mention that [12] was devoted to a somewhat informal description of this kind of equivalences.
Corollary 4.32
Take \(p\in [1,\infty )\), \(q\in (1,\infty )\), and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\) such that the following hold:
-
\(\mathbf {{s}} \succ \frac{1}{2} (\mathbf {{m}}-\mathbf {{b}}), \frac{1}{2} \mathbf {{b}} +\frac{q}{p} \mathbf {{d}}+\frac{q}{2 q'}\mathbf {{m}}'\);
-
\(\mathbf {{s}}'\succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})\);
-
\(\mathbf {{s}}'-\frac{1}{q} \mathbf {{s}} \succ \frac{1}{2 q'}\mathbf {{b}}+\frac{1}{p'} \mathbf {{d}}+\frac{1}{2 q}\mathbf {{m}}'\).
Then, the following conditions are equivalent:
-
(1)
\(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)=\widetilde{\mathfrak {A}}^{p,q}_{\mathbf {{s}}}(D)\) and \(\mathfrak {A}^{p',q'}_{q'(\mathbf {{s}}'-\mathbf {{s}}/q)}(D)=\widetilde{\mathfrak {A}}^{p',q'}_{q'(\mathbf {{s}}'-\mathbf {{s}}/q)}(D)\);
-
(2)
\(\mathfrak {P}_{\mathbf {{s}}'}\) induces an endomorphism of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\);
-
(3)
\(\mathfrak {P}_{\mathbf {{s}}'}\) induces a continuous linear mapping of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) and of \(\mathfrak {L}^{p',q'}_{q'(\mathbf {{s}}'-\mathbf {{s}}/q)}(D)\) onto \(\mathfrak {A}^{p',q'}_{q'(\mathbf {{s}}'-\mathbf {{s}}/q)}(D)\);
-
(4)
\(\mathbf {{s}} \succ \frac{1}{2} (\mathbf {{m}}-\mathbf {{b}})\) and the sesquilinear mapping
$$\begin{aligned} (f,g)\mapsto \int _D f{\overline{g}} (\varDelta _\varOmega ^{\mathbf {{s}}'-\mathbf {{b}}/2-\mathbf {{d}}}\circ \rho )\,\textrm{d}\nu _D \end{aligned}$$induces an antilinear isomorphism of \(\mathfrak {A}^{p',q'}_{q'(\mathbf {{s}}'-\mathbf {{s}}/q)}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)'\);
-
(5)
properties \((\mathfrak {L}')^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) and \((\mathfrak {L}')^{p,q}_{q'(\mathbf {{s}}'-\mathbf {{s}}/q), \mathbf {{s}}' }\) hold;
-
(6)
property \((\mathfrak {L})^{p,q}_{\mathbf {{s}},\mathbf {{s}}'}\) holds.
Combining (3) and (4) of Proposition 4.26 with Theorem 4.31, we get the following transference result.
Corollary 4.33
Take \(p,q\in [1,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\). Then, the following hold:
-
if \(\mathbf {{s}}'\prec \mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\) and \(P_{\mathbf {{s}}'}\) induces a continuous linear projector of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(T_\varOmega )\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(T_\varOmega )\) (resp. of \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\)), then \(P_{\mathbf {{s}}'+\mathbf {{b}}}\) induces a continuous linear projector of \(\mathcal {L}^{p,q}_{\mathbf {{s}},0}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}},0}(D)\) (resp. of \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\));
-
in particular, if \(\mathbf {{s}}'\succ \frac{1}{2}\mathbf {{m}}\) and \(\mathfrak {P}_{\mathbf {{s}}'}\) induces a continuous linear projector of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(T_\varOmega )\), then \(\mathfrak {P}_{\mathbf {{s}}'-\mathbf {{b}}/2}\) induces a continuous linear projector of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/2}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}-\mathbf {{b}}/2}(D)\);
-
if \(\mathbf {{s}}'\prec \mathbf {{b}}+\mathbf {{d}}-\frac{1}{2} \mathbf {{m}}\) and \(P_{\mathbf {{s}}'}\) induces a continuous linear projector of \(\mathcal {L}^{p,p}_{\mathbf {{s}},0}(D)\) onto \(\mathcal {A}^{p,p}_{\mathbf {{s}},0}(D)\) (resp. of \(\mathcal {L}^{p,p}_{\mathbf {{s}}}(D)\) onto \(\mathcal {A}^{p,p}_{\mathbf {{s}}}(D)\)), then \(P_{\mathbf {{s}}'}\) induces a continuous linear projector of \(\mathcal {L}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p,0}(T_\varOmega )\) onto \(\mathcal {A}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p,0}(T_\varOmega )\) (resp. of \(\mathcal {L}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )\) onto \(\mathcal {A}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/p}(T_\varOmega )\));
-
in particular, if \(\mathbf {{s}}'\prec \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})\) and \(\mathfrak {P}_{\mathbf {{s}}'}\) induces a continuous linear projector of \(\mathfrak {L}^{p,p}_{\mathbf {{s}} }(D)\) onto \(\mathfrak {A}^{p,p}_{\mathbf {{s}}}(D)\), then \(\mathfrak {P}_{\mathbf {{s}}'-\mathbf {{b}}/2}\) induces a continuous linear projector of \(\mathfrak {L}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/2}(T_\varOmega )\) onto \(\mathfrak {A}^{p,p}_{\mathbf {{s}}-\mathbf {{b}}/2}(T_\varOmega )\).
Remark 4.34
We observe that the second assertion of the preceding result extends [6, Theorem 2.1], which corresponds to the case in which \(\mathbf {{s}}=\mathbf {{s}}'\succ \frac{1}{2} (\mathbf {{m}}+\mathbf {{m}}'-\mathbf {{b}})\). In particular, this solves in the affirmative the first of the final remarks of [6].
Combining Theorem 4.31 with (5) of Proposition 4.26, we obtain the following result. It extends: [2, Theorem 1.9], which corresponds to the case in which \(\mathbf {{s}}=\mathbf {{s}}'\), \(\varOmega \) is symmetric, \(n= 0\), and \(\mathbf {{s}}\in \mathbb {R}\mathbf {{1}}_r\); [23, Corollary 1.4], which corresponds to the case in which \(\mathbf {{s}}=\mathbf {{s}}'\), \(n= 0\), and \(\varOmega \) is symmetric; [30, Theorem 3.2 (ii)], which corresponds to the case in which \(p=q\), \(\mathbf {{s}}=\mathbf {{s}}'\), and \(n=0\); [29, Theorem 2.3], which corresponds to the case in which \(\mathbf {{s}}=\mathbf {{s}}'\succ \frac{1}{2}(\mathbf {{m}}+\mathbf {{m}}'-\mathbf {{b}})\).Footnote 11
Corollary 4.35
Take \(p,q\in [1,\infty ]\) and \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}^r\). If:
-
\(\mathbf {{s}}\succ \frac{1}{2 q}\mathbf {{m}}+\left( \frac{1}{2 \min (p,p')}-\frac{1}{2 q} \right) _+\mathbf {{m'}}\);
-
\(\mathbf {{b}}+\mathbf {{d}}-\mathbf {{s}}-\mathbf {{s'}}\succ \frac{1}{2 q'}\mathbf {{m}}+\left( \frac{1}{2 \min (p,p')}-\frac{1}{2 q'} \right) _+\mathbf {{m'}}\);
then \(P_{\mathbf {{s'}}}\) induces a continuous linear projector of \(\mathcal {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathcal {A}^{p,q}_{\mathbf {{s}}}(D)\).
In particular, if \(q<\infty \) and:
-
\(\mathbf {{s}}\succ \frac{1}{2}(\mathbf {{m}}-\mathbf {{b}})+\left( \frac{q}{2 \min (p,p')}-\frac{1}{2} \right) _+\mathbf {{m'}}\);
-
\(\mathbf {{s'}}-\frac{1}{q}\mathbf {{s}}\succ \frac{1}{2 q'}(\mathbf {{m}}-\mathbf {{b}})+\left( \frac{1}{2 \min (p,p')}-\frac{1}{2 q'} \right) _+\mathbf {{m}}'\);
then \(\mathfrak {P}_{\mathbf {{s'}}}\) induces a continuous linear projector of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\).
In particular, if \(\mathbf {{s}}=\mathbf {{s'}}\succ \frac{1}{2} (\mathbf {{m}}-\mathbf {{b}})\) and
then \(\mathfrak {P}_{\mathbf {{s'}}}\) induces a continuous linear projector of \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) onto \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}(D)\) (cf. Remark 4.27).
Notice that this result is more precise than the one which may be proved by means of Schur’s lemma, considering the integral operator \(P_{\mathbf {{s}}',+}\) whose kernel is the absolute value of the kernel of \(P_{\mathbf {{s}}'}\). Cf. [26] for a general treatment of the boundedness of the operator \(P_{\mathbf {{s}}',+}\) when \(n=0\); see also [36] for the case in which \(\mathbf {{s}},\mathbf {{s}}'\in \mathbb {R}\mathbf {{1}}_r\) and \(\varOmega \) is symmetric.
Let us also observe that, combining the characterization of the equality \(\mathcal {A}^{p,q}_{\mathbf {{s}}}=\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}}}(D)\) when \(r=2\) (cf. the remarks following the statement of Proposition 4.26) with Theorem 4.31 and Corollary 4.32, one may characterize the continuity of the Bergman projectors for tube domains over Lorentz cones (that is, for \(r=2\) and \(n=0\)). The characterization of the continuity of \(\mathfrak {P}_{\mathbf {{s}}}\) on \(\mathfrak {L}^{p,q}_{\mathbf {{s}}}(D)\) in this case was previously obtained in [6, Theorem 2.3].
5 Concluding remarks
On the one hand, we have compared two parallel theories of mixed norm Bergman spaces on homogeneous Siegel domains. On the other hand, we have extended part of the theory for the spaces \(A^{p,q}_{\mathbf {{s}}}\) to the spaces \(\mathfrak {A}^{p,q}_{\mathbf {{s}}}\). In doing this, we hope we have shed some light on the technically demanding subject of function theory on such domains. We believe that this is a lively area of research that in recent times has drawn the interest of many scholars. We mention that the Šilov boundary of D naturally appears in the extension of the Paley–Wiener and Bernstein spaces of entire functions to higher complex dimensions, see in particular [15, 20, 21].
Data Availability
There are no data associated with this article.
Notes
This means that all the eigenvalues of every element of \(T_+\) are real. Equivalently, there is a basis of F with respect to which every element of \(T_+\) is represented by an upper triangular matrix, cf. [37].
To see this fact, observe that, if \(\varDelta ':T_+\rightarrow (\mathbb {R}_+^*)^r\) is another homomorphism with the same properties, then there is \(A\in GL(\mathbb {R}^n)\) such that \(\log \varDelta '=A\log \varDelta \). In addition, given \(\mathbf {{s}}\in \mathbb {R}^r\), both \(\sum _j s_j\log \varDelta '_j=\sum _j (\,^{t}{A}\mathbf {{s}})_j \log \varDelta _j\) and \(\sum _j s_j \log \varDelta _j\) induce functions which are bounded on the bounded subsets of \(\varOmega \) if and only if \(\mathbf {{s}} \in \mathbb {R}_+^r\), so that \(\,^{t}{A}\mathbb {R}_+^r=\mathbb {R}_+^r\) and therefore A must be the composition of a permutation of the coordinates and a diagonal dilation \((x_1,\ldots ,x_r)\mapsto (\lambda _1 x_1,\ldots , \lambda _r x_r)\), \(\lambda _1,\ldots , \lambda _r>0\). Since \(\varDelta (a\,\cdot \,)=\varDelta '(a\,\cdot \,)=(a,\ldots ,a)\) for every \(a>0\), we then see that A must induce the identity on the line \(\mathbb {R}\mathbf {{1}}_r\), so that it must be a permutation of the coordinates.
Notice that this means that the \((\mathcal {F}_\mathcal {N}\psi _k)(\,\cdot \, t_k)\) are supported in a fixed compact subset of \(\varOmega '\) and are uniformly bounded with every derivative.
Notice that Young’s inequality may be applied to the spaces \(L^{p,q}(F,E)\) since F is a normal subgroup of \(\mathcal {N}\) and E may be identified with \(\mathcal {N}/F\).
Actually, the cited reference allows to deal with the case \(q<\infty \). The remaining case, though, follows from the fact that \(\varDelta _\varOmega ^{\mathbf {{s}}+\textrm{Re}\,\mathbf {{s}}'-\mathbf {{d}}/p }(h+\,\cdot \,)\) is decreasing on \(\overline{\varOmega }\) thanks to [16, Corollary 2.36], and vanishes at the point at infinity of \(\overline{\varOmega }\) when \(\mathbf {{s}}+\textrm{Re}\,\mathbf {{s}}'-\mathbf {{d}}/p\prec \mathbf {{0}}\), thanks to [16, Lemma 2.35].
We note that the statement of [8, Theorem 4.2] requires far more restrictive (or even uncomparable) conditions than those of [10, Theorem 2.2], despite the fact that its proof is omitted and stated to be formally equal to that of [10, Theorem 2.2]. Concerning this fact,we simply observe that the notation of [10] and [8] are quite different, and that even the statement of [8, Proposition 4.3] does not match the one in the cited reference [10, Theorem B].
One may prove directly that this definition does not depend on the choice of \((\lambda _k)\) and \((\phi _k)\), arguing as in the proof of [16, Lemma 4.14] and using Lemma 4.17. Nonetheless, this follows from Remark 4.19, at least for \(\mathcal {B}_{p,q}^{\mathbf {{s}}}(\mathcal {N},\varOmega )\).
We mention explicitly that the statement of the cited result contains a typo: instead of \(\varDelta ^{\mathbf {{s''}}}_\varOmega \), there should be \(\varDelta ^{\mathbf {{s''}}-(\mathbf {{b}}+\mathbf {{d}})}_\varOmega \) in the first formula in display, as well as in the first line of the formula in display in the proof.
In this case, one has to preliminarily observe that the range of this latter mapping is contained in \(\widetilde{\mathcal {A}}^{p,q}_{\mathbf {{s}},0}(D)\) as in the proof of the implication (1) \(\implies \) (4).
References
Békollé, D.: Bergman spaces with small exponents. Indiana U. Math. J. 49, 973–993 (2000)
Békollé, D., Bonami, A., Garrigós, G., Ricci, F.: Littlewood–Paley decompositions related to symmetric cones and Bergman projections in tube domains. Proc. Lond. Math. Soc. 89, 317–360 (2004)
Békollé, D., Bonami, A., Garrigós, G., Nana, C., Peloso, M.M., Ricci, F.: Lecture notes on Bergman projectors in tube domains over cones: an analytic and geometric viewpoint. IMHOTEP J. Afr. Math. Pures Appl. 5, 1–75 (2004)
Békollé, D., Bonami, A., Garrigós, G., Ricci, F., Sehba, B.: Analytic Besov spaces and Hardy-type inequalities in tube domains over symmetric cones. J. Reine Angew. Math. 647, 25–56 (2010)
Békollé, D., Bonami, A., Peloso, M.M., Ricci, F.: Boundedness of Bergman projections on tube domains over light cones. Math. Z. 237, 31–59 (2001)
Békollé, D., Gonessa, J., Nana, C.: Lebesgue mixed norm estimates for Bergman projectors: from tube domains over homogeneous cones to homogeneous Siegel domains of Type II. Math. Ann. 374, 395–427 (2019)
Békollé, D., Gonessa, J., Nana, C.: Atomic decomposition and interpolation via the complex method for mixed norm Bergman spaces on tube domains over symmetric cones. Ann. Sc. Norm. Super. Pisa Cl. Sci. 21, 801–826 (2020)
Békollé, D., Ishi, H., Nana, C.: Korányi’s lemma for homogeneous Siegel domains of Type II. Applications and extended results. Bull. Austral. Math. Soc. 90, 77–89 (2014)
Békollé, D., Temgoua Kagou, A.: Reproducing properties and \(L^p\)-estimates for Bergman projections in Siegel domains of Type II. Stud. Math. 115, 219–239 (1995)
Békollé, D., Temgoua Kagou, A.: Molecular decompositions and interpolation. Integral Equ. Oper. Theory 31, 150–177 (1998)
Boggess, A.: CR Manifolds and the Tangential Cauchy–Riemann Complex. CRC Press, Boca Raton (1991)
Bonami, A.: Three related problems of Bergman spaces of tube domains over symmetric cones. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei Mat. Appl. (9) 13, 183–197 (2002)
Bourgain, J., Demeter, C.: The proof of the \(\ell ^2\)-decoupling conjecture. Ann. Math. 182, 351–389 (2015)
Calzi, M.: Besov spaces of analytic type: interpolation, convolution, Fourier multipliers, inclusions. J. Math. Anal. Appl. 526, 127285 (2023)
Calzi, M.: Paley–Wiener–Schwartz theorems on quadratic CR manifolds. Math. Z. 305, 8 (2023)
Calzi, M., Peloso, M.M.: Holomorphic function spaces on homogeneous Siegel domains. Diss. Math. 563, 1–168 (2021)
Calzi, M., Peloso, M.M.: Toeplitz and Cesàro-type operators on homogeneous Siegel domains. Complex Var. Elliptic Equ. 68, 167–199 (2023)
Calzi, M., Peloso, M.M.: Carleson and reverse Carleson measures on homogeneous Siegel domains. Complex Anal. Oper. Theory 16, 4 (2022)
Calzi, M., Peloso, M.M.: Boundedness of Bergman projectors on homogeneous Siegel domains. Rend. Circ. Mat. Palermo II Ser. 72, 2653–2701 (2023)
Calzi, M., Peloso, M.M.: Bernstein spaces on Siegel CR manifolds. Anal. Math. Phys. 12(5), 123 (2022)
Calzi, M., Peloso, M.M.: Carleson and sampling measures on Bernstein spaces on Siegel CR manifolds. Math. Nach. 296, 4854–4887 (2023). https://doi.org/10.1002/mana.202200058
Coifman, R.R., Rochberg, R.: Representation theorems for holomorphic and harmonic functions in \(L^p\). Astérisque 77, 11–66 (1980)
Debertol, D.: Besov spaces and the boundedness of weighted Bergman projections over symmetric tube domains. Publ. Mat. 49, 21–72 (2005)
Faraut, J., Korányi, A.: Analysis on Symmetric Cones. Clarendon Press, New York (1994)
Folland, G.B.: Harmonic Analysis in Phase Space. Princeton University Press, Princeton (1989)
Garrigós, G., Nana, C.: Hilbert-type inequalities in homogeneous cones. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 31, 815–838 (2020)
Gindikin, S.G.: Analysis in homogeneous domains. Russ. Math. Surv. 19, 1–89 (1964)
Murakami, S.: On Automorphisms of Siegel Domains. Springer, Berlin (1972)
Nana, C.: \(L^{p, q}\)-boundedness of Bergman projections in homogeneous Siegel domains of Type II. J. Fourier Anal. Appl. 19, 997–1019 (2013)
Nana, C., Trojan, B.: \(L^p\)-boundedness of Bergman projections in tube domains over homogeneous cones. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 10, 477–511 (2011)
Ogden, R.D., Vági, S.: Harmonic analysis of a nilpotent group and function theory on Siegel domains of Type II. Adv. Math. 33, 31–92 (1979)
Pyatetskii-Shapiro, I.I.: Automorphic Functions and the Geometry of Classical Domains. Gordon and Breach, New York (1969)
Ricci, F., Taibleson, M.: Boundary values of harmonic functions in mixed norm spaces and their atomic structure. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 10, 1–54 (1983)
Rossi, H., Vergne, M.: Representations of certain solvable Lie groups on Hilbert spaces of holomorphic functions and the application to the holomorphic discrete series of a semisimple Lie group. J. Funct. Anal. 13, 324–389 (1973)
Schwartz, L.: Espaces de Fonctions Différentiables à Valeurs Vectorielles. J. Anal. Math. 4, 88–148 (1955)
Sehba, B.: Bergman-type operators on tubular domains over symmetric cones. Proc. Edinb. Math. Soc. II Ser. 52, 529–544 (2009)
Vinberg, E.B.: The Morozov–Borel theorem for real Lie groups. Dokl. Akad. Nauk SSSR 141, 270–273 (1961)
Vinberg, E.B.: The theory of convex homogeneous cones. Trans. Moscow Math. Soc. 12, 340–403 (1965)
Acknowledgements
The authors would like to thank the referees for carefully reading the manuscript and making several useful comments and suggestions.
Funding
Open access funding provided by Università degli Studi di Milano within the CRUI-CARE Agreement. The authors were partially funded by the 2022 INdAM-GNAMPA grant Holomorphic functions in One and Several Complex Variables (CUP_E55F22000270001) and the 2023 INdAM-GNAMPA grant Function theory in several complex and quaternionic variables (CUP_E53C22001930001).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). The authors were partially funded by the 2022 INdAM-GNAMPA grant Holomorphic functions in One and Several Complex Variables (CUP_E55F22000270001) and the 2023 INdAM-GNAMPA grant Function theory in several complex and quaternionic variables (CUP_E53C22001930001).
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
Calzi, M., Peloso, M.M. On the theory of Bergman spaces on homogeneous Siegel domains. Complex Anal Synerg 9, 13 (2023). https://doi.org/10.1007/s40627-023-00122-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40627-023-00122-w