Generalized coorbit space theory and inhomogeneous function spaces of Besov-Lizorkin-Triebel type (Q537691): Difference between revisions

Let \[ P_a F(x,t) = \sup_{z \in \mathbb R^d} \frac{|F(x+z,t)|}{(1 + |z|/t)^{a}}, \qquad x \in \mathbb R^d, \quad 0<t<1, \] be Peetre's maximal function, \(a>0\). Let \(w(x,t)>0\) be a weight function on \(\mathbb R^d \times (0,1)\) and \(B(\mathbb R^d)\) be a so-called solid Banach function space on \(\mathbb R^d\). The Peetre spaces \(P^w_{B,q,a} (X)\) and the Lebesgue spaces \(L^w_{B,q,a} (X)\) are normed by \[ \Big\| \Big( \int^1_0 \Big[ w(\cdot,t) \, P_a F(\cdot, t ) \Big]^q \frac{dt}{t^{d+1}} \Big)^{1/q} | B(\mathbb R^d) \Big\| + (t = \infty) \] and \[ \Big( \int^1_0 \big\| w(\cdot,t) P_a F(\cdot,t) \, | B(\mathbb R^d) \big\|^q \, \frac{dt}{t^{d+1}} \Big)^{1/q} + (t = \infty) \] where \((t =\infty)\) refers to an inhomogeneous starting term, \(X = \mathbb R^d \times [(0,1) \cup {\infty}]\). Let \(\{ \phi_{x,t} (\cdot) \}\) be related in the usual way (translation, dilation) to an inhomogeneous continuous dyadic resolution of unity in \(\mathbb R^d\) on the Fourier side. Then the coorbit spaces \[ \mathrm{Co}\, P^w_{B,q,a} = \big\{ f \in S': \;\big( f(\cdot), \phi_{x,t} (\cdot) \big) \in P^w_{B,q,a} (X) \big\} \] and \[ \mathrm{Co} \, L^w_{B,q,a} = \big\{ f \in S': \;\big(f (\cdot), \phi_{x,t} (\cdot) \big) \in L^w_{B,q,a} (X) \big\} \] generalize and uniform in many respects the well-known spaces \(F^s_{p,q} (\mathbb R^d)\) and \(B^s_{p,q} (\mathbb R^d)\). The aim of the paper is twofold. Part 1 develops the underlying abstract generalized coorbit theory (including in particular atomic decompositions, wavelet characterizations and Banach frames). Part 2 specifies the abstract setting in the indicated way. It is shown that this approach covers spaces of type \(F^s_{p,q}\) and \(B^s_{p,q}\) with (Muckenhoupt) weights, general 2-microlocal spaces, spaces with dominating mixed smoothness and other generalizations, including fashionable Morrey smoothness spaces. This unifies for example atomic representations in these concrete spaces as special cases of the presented theory. So far this theory is restricted to Banach spaces. But an extension to quasi-Banach spaces covering corresponding parts of the theory of the spaces \(B^s_{p,q}\) and \(F^s_{p,q}\) and their numerous generalization is under way (according to the authors).