AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Embeddings of Decomposition Spaces

About this Title

Felix Voigtlaender

Publication: Memoirs of the American Mathematical Society
Publication Year: 2023; Volume 287, Number 1426
ISBNs: 978-1-4704-5990-1 (print); 978-1-4704-7542-0 (online)
DOI: https://doi.org/10.1090/memo/1426
Published electronically: June 28, 2023
Keywords: Function spaces, smoothness spaces, decomposition spaces, embeddings, frequency coverings, Besov spaces, $\alpha$-modulation spaces, Coorbit spaces

View full volume as PDF

Table of Contents

Chapters

• 1. Introduction
• 2. Different classes of coverings and their relations
• 3. (Fourier-side) decomposition spaces
• 4. Nested sequence spaces
• 5. Sufficient conditions for embeddings
• 6. Necessary conditions for embeddings
• 7. An overview of the derived embedding results
• 8. Decomposition spaces as spaces of tempered distributions
• 9. Applications

Abstract

Many smoothness spaces in harmonic analysis are decomposition spaces. In this paper we ask: Given two such spaces, is there an embedding between the two?

A decomposition space $\mathcal {D}(\mathcal {Q}, L^p, Y)$ is determined by a covering $\mathcal {Q} = (Q_i)_{i \in I}$ of the frequency domain, an integrability exponent $p$, and a sequence space ${Y \subset \mathbb {C}^I}$. Given these ingredients, the decomposition space norm of a distribution $g$ is defined as ${ \left \Vert g \right \Vert _{\mathcal {D}(\mathcal {Q}, L^p, Y)} = \left \Vert \left ( \left \Vert \mathcal {F}^{-1} \left ( \varphi _{i} \cdot \widehat {g} \right ) \right \Vert _{L^{p}} \right )_{i \in I} \right \Vert _{Y} } ,$ where $(\varphi _i)_{i \in I}$ is a suitable partition of unity for $\mathcal {Q}$.

We establish readily verifiable criteria which ensure the existence of a continuous inclusion (“an embedding”) $\mathcal {D}(\mathcal {Q},L^{p_1},Y) \hookrightarrow \mathcal {D}(\mathcal {P},L^{p_2},Z)$, mostly concentrating on the case where $Y = \ell _{w}^{q_{1}} ( I )$ and $Z = \ell _{v}^{q_{2}} (J)$. Under suitable assumptions on $\mathcal {Q}, \mathcal {P}$, we will see that the relevant sufficient conditions are $p_{1} \leq p_{2}$ and finiteness of a nested norm of the form \[ \left \Vert \left ( \left \Vert \left ( \alpha _{i} \beta _{j} \cdot v_{j} / w_{i} \right )_{ i \in I_{j}} \right \Vert _{\ell ^{t}} \right )_{j\in J} \right \Vert _{\ell ^{s}} \, , \quad \text {with} \quad I_{j} = \left \{ i \in I \,:\, Q_{i} \cap P_{j} \neq \varnothing \right \} \quad \text {for } j \in J \,. \] Like the sets $I_j$, the exponents $t, s$ and the weights $\alpha , \beta$ only depend on the quantities used to define the decomposition spaces.

In a nutshell, in order to apply the embedding results presented in this article, no knowledge of Fourier analysis is required; instead, one only has to study the geometric properties of the involved coverings, so that one can decide the finiteness of certain sequence space norms defined in terms of the coverings.

These sufficient criteria are quite sharp: For almost arbitrary coverings and certain ranges of $p_1, p_2$, our criteria yield a complete characterization for the existence of the embedding. The same holds for arbitrary values of $p_1, p_2$ under more strict assumptions on the coverings.

We also prove a rigidity result, namely that—for $(p_{1}, q_{1}) \neq (2, 2)$—two decomposition spaces $\mathcal {D}(\mathcal {Q}, L^{p_1}, \ell _w^{q_1})$ and $\mathcal {D}(\mathcal {P}, L^{p_2}, \ell _v^{q_2})$ can only coincide if their “ingredients” are equivalent, that is, if $p_{1} = p_{2}$ and $q_{1} = q_{2}$ and if the coverings $\mathcal {Q}, \mathcal {P}$ and the weights $w, v$ are equivalent in a suitable sense.

The resulting embedding theory is illustrated by applications to $\alpha$-modulation and Besov spaces. All known embedding results for these spaces are special cases of our approach; often, we improve considerably upon the state of the art.