Atomic decomposition for Morrey spaces (Q2453200)

Let \(0<q\leq p<\infty\) and \(\mathcal D(\mathbb R^n)\) be the set of all dyadic cubes. The Morrey spaces are defined by the norm given by \[ \|f\|_{\mathcal M^p_q}\equiv \sup_{Q\in\mathcal D(\mathbb R^n)}|Q|^{\frac1p-\frac1q} \left (\int_Q|f(y)|^q\,dy\right)^{\frac1q} \] for measurable functions \(f:\mathbb R^n\to \mathbb C\). Denote by \(\mathcal Q(\mathbb R^n)\) the set of all cubes whose edges are parallel to the coordinate axes. Under the assumptions \(1<q\leq p<\infty,\,\,1<t\leq s<\infty,\,\, q<t,\,\,p<s,\) \(\{Q_j\}_{j=1}^\infty\subset \mathcal Q(\mathbb R^n)\), \(\{a_j\}_{j=1}^\infty\subset \mathcal M^s_t(\mathbb R^n)\), \(\{\lambda_j\}_{j=1}^\infty\subset[0, \infty)\) and \[ \|a_j\|_{\mathcal M^s_t}\leq |Q_j|^{\frac1s},\,{\text{supp}}(a_j)\subset Q_j,\,\,\left\|\sum_{j=1}^\infty\lambda_j\chi_{Q_j}\right\|_{\mathcal M^p_q}<\infty, \] the authors show that \(f\equiv\sum_{j=1}^\infty\lambda_ja_j\) converges in \(\mathcal S'(\mathbb R^n)\cap L^q_{\text{loc}}(\mathbb R^n)\) and satisfies \[ \|f\|_{\mathcal M^p_q}\leq C_{p,\,q,\,s,\,t}\left\|\sum_{j=1}^\infty\lambda_j\chi_{Q_j}\right\|_{\mathcal M^p_q}. \] The authors also show that if \(1<q\leq p<\infty,\,\, L\in\mathbb N\cup\{0\}\) and \(f\in \mathcal M^p_q(\mathbb R^n)\), then there exists a triplet \(\{\lambda_j\}_{j=1}^\infty\subset [0, \infty)\), \(\{Q_j\}_{j=1}^\infty\subset \mathcal Q(\mathbb R^n)\) and \(\{a_j\}_{j=1}^\infty\subset L^\infty(\mathbb R^n)\) such that \(f=\sum_{j=1}^\infty \lambda_ja_j\) in \(\mathcal S'(\mathbb R^n)\) and that, for all \(v>0\), \[ |a_j|\leq \chi_{Q_j}, \, \int_{\mathbb R^n}x^\alpha a_j(x)\,dx=0,\,\,\left\|\left(\sum_{j=1}^\infty(\lambda_j\chi_{Q_j})^v\right)^{\frac1v}\right\|_{\mathcal M^p_q} \leq C_v\|f\|_{\mathcal M^p_q} \] for all multi-indices \(\alpha\) with \(|\alpha|\leq L\). Moreover, the authors further establish the decomposition of the Hardy-Morrey space \(H\mathcal M^p_q(\mathbb R^n)\).