2-microlocal Besov and Triebel-Lizorkin spaces of variable integrability (Q1009466)

From MaRDI portal
Revision as of 01:54, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
2-microlocal Besov and Triebel-Lizorkin spaces of variable integrability
scientific article

    Statements

    2-microlocal Besov and Triebel-Lizorkin spaces of variable integrability (English)
    0 references
    0 references
    2 April 2009
    0 references
    Let \(\alpha\geq 0\), \(\alpha_1,\, \alpha_2\in \mathbb{R}\) and \(\alpha_1 \leq \alpha_2.\) A sequence of non-negative measurable functions \(w=\{w_j\}_{j=0}^{\infty}\) belongs to the class \({\mathcal W}^\alpha_{\alpha_1,\alpha_2}\) if and only if (i) There exists a positive constant \(C\) such that \(0<w_j(x)\leq Cw_j(y) (1+2^j|x-y|)^\alpha\) for all \(j\in \mathbb{N}\cup \{0\}\) and \(x,y\in \mathbb{R}^n;\) (ii) For all \(j\in \mathbb{N}\cup \{0\}\) and \(x\in \mathbb{R}^n,\) \(2^{\alpha_1}w_j(x)\leq w_{j+1}(x) \leq 2^{\alpha_2}w_j(x).\) Let \(\varphi_0 \in \mathcal{S}(\mathbb{R}^n)\) with \(\varphi_0(x)=1\) for \(|x|\leq 1\) and \({\text{supp}}\, {\varphi_0} \subseteq \{x\in \mathbb{R}^n:\, |x|\leq2 \}\). For all \(j\in \mathbb{N},\) let \(\varphi_j(x)=\varphi_0(2^{-j}x)\;- \;\varphi_0(2^{-j+1}x) \) for all \(x \in \mathbb{R}^n.\) Denote by \(\mathcal{P}(\mathbb{R}^n)\) the class of all measurable \(p:\, \mathbb{R}^n\to(0,\infty]\) such that \(p^->0\), where \(p^-={\text{essinf}}_{x\in \mathbb{R}^n}p(x)\). Let \(w\in \mathcal{W}_{\alpha_1,\alpha_2}^\alpha\), \(p\in \mathcal{P}(\mathbb{R}^n)\) with \(0<p^-\leq p^+={\text{esssup}}_{x\in\mathbb{R}^n}p(x)\leq \infty,\) and \(0<q \leq \infty.\) The space \(B_{p(\cdot),q}^w(\mathbb{R}^n)\) is defined as \(B_{p(\cdot),q}^w(\mathbb{R}^n)= \{ f\in\mathcal{S}^\prime(\mathbb{R}^n):\, \|f\,|B_{p(\cdot),q}^w(\mathbb{R}^n)\|_\varphi < \infty \},\) where \(\| f\,|B_{p(\cdot),q}^w(\mathbb{R}^n) \|_\varphi= \{\sum_{j=0}^{ \infty } \| w_j(\varphi_j \widehat{f})^{\vee} \,|L_{p(\cdot)}(\mathbb{R}^n)\|^q\}^{1/q}.\) If \(p^+ < \infty,\) the space \(F_{p(\cdot),q}^w(\mathbb{R}^n)\) is defined by \(F_{p(\cdot),q}^w(\mathbb{R}^n)= \{ f\in\mathcal{S}^\prime(\mathbb{R}^n):\, \| f\,|F_{p(\cdot),q}^w(\mathbb{R}^n) \|_\varphi < \infty \},\) where \(\| f|F_{p(\cdot),q}^w(\mathbb{R}^n) \|_\varphi= \| \{\sum_{j=0}^{ \infty }|w_j(\varphi_j \widehat{f} )^{\vee}|^q\}^{1/q} \mid L_{p(\cdot)}(\mathbb{R}^n) \|\). In this paper, the author presents the local means characterization of these spaces. Moreover, the author also obtains a similar characterization of the space \(F_{p(\cdot),q(\cdot)}^w(\mathbb{R}^n).\)
    0 references
    Besov space
    0 references
    Triebel-Lizorkin space
    0 references
    2-microlocal space
    0 references
    variable smoothness
    0 references
    variable integrability
    0 references
    local mean
    0 references
    0 references

    Identifiers