1: \begin{definition}\label{def:EmbeddingSobolev}

2: Let $\Q=(Q_i)_{i\in I}$ be a structured admissible covering of some open set $\mathcal{O}\subset\R^d$ and $(u_i)_{i\in I}$ a $\Q$-moderate weight on $I$. For $p,r\in (0,\infty]$, let $(\phi_i)_{i\in I}$ be a regular partition of unity for $\calQ$.

3: \begin{enumerate}[i)]

4: \item We say that $\calD(\calQ, \mathrm{L}^p, \ell^r_u)$ \textit{admits a partial differential operator} (with respect to $q$) for $\alpha\in \N_0^k$ with $k\in \N_0$ if the map

5: \begin{align*}

6:  & \partial_*^\alpha: \calD(\calQ, \mathrm{L}^p, \ell^r_u) &&\to&& \mathrm{L}^q(\R^d)\\

7:  & \qquad f &&\mapsto&& \sum_{i\in I}\partial^\alpha\left[\F^\inv(\phi_i f)\right]

8: \end{align*}

9: is well-defined, bounded, with unconditional convergence of the series.

10: 

11: \item We write  $\calD(\calQ, \mathrm{L}^p, \ell^r_u) \hookrightarrow W^{k,q}(\R^d)$ if $\calD(\calQ, \mathrm{L}^p, \ell^r_u)$ admits a partial differential operator in the sense of i) and 

12: \begin{align*}

13: \iota^{(k)}_q: &\calD(\calQ, \mathrm{L}^p, \ell^r_u) &&\to&& W^{k,q}(\R^d)\\

14: &f &&\mapsto&& \partial_*^0 f

15: \end{align*}

16: is well-defined, bounded and injective for $q\geq 1$.

17: 

18: In the case $0<q<1$, we require that the map

19: \begin{align*}

20: \iota^{(k)}_q: &\calD(\calQ, \mathrm{L}^p, \ell^r_u) &&\to&& W^{k,q}(\R^d)\\

21: & f &&\mapsto&& (\partial^\alpha_* f )_{\abs{\alpha}_1 \leq k}

22: \end{align*}

23: is well-defined and bounded.

24: 

25: \item We write $\Co\left(\mathrm{L}^{p,r}_m(\R^d\rtimes H)\right)\hookrightarrow W^{k,q}(\R^d)$ for $r, q\in (0,\infty]$, where $H$ is an admissible group with dual orbit $\calO$ and $m$ is a weight on $H$ that is right moderate with respect to a locally bounded weight on $H$ if the associated isomorphic decomposition space in the sense of Theorem \ref{thm: FourierIsoCoorbitDecSpaces} satisfies

26: $\calD(\calQ, \mathrm{L}^p, \ell^r_u)\hookrightarrow W^{k,q}(\R^d).$

27: \end{enumerate}

28: \end{definition}

29: