Continuity envelopes of spaces of generalized smoothness in the critical case (Q2655133)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Continuity envelopes of spaces of generalized smoothness in the critical case
scientific article

    Statements

    Continuity envelopes of spaces of generalized smoothness in the critical case (English)
    0 references
    0 references
    0 references
    0 references
    22 January 2010
    0 references
    The paper deals with continuity envelopes for function spaces of generalised smoothness of type \(B^{(s,\Psi)}_{p,q}\) and \(F^{(s,\Psi)}_{p,q}\) on \(\mathbb{R}^n\) in the critical case \(s=\frac{n}{p}\), where \(s\in\mathbb{R}\), \(0<p,q\leq\infty\), and \(\Psi\) is a slowly varying function satisfying some further conditions. The main and quite surprising results are contained in Theorems~3.4 and 3.5 and have remarkable consequences on the `classical' case \(\Psi\equiv 1\). The continuity envelope function of a function space \(X\) is given by \[ \mathcal{E}_{\mathsf{C}}^X(t) := \sup_{\| f |X\|\leq 1} \, \frac{\omega(f,t)}{t},\quad 0<t<1, \] where \(\omega(f,t)\) is the usual modulus of continuity. Together with a fine index \(u_X\), this leads to the continuity envelope \(\mathfrak{E}_{\mathsf{C}} (X) = \left(\mathcal{E}_{\mathsf{C}}^X, u_X\right)\). Since this concept is restricted to situations \(X\hookrightarrow C\setminus \mathrm{Lip}^1\), only situations with \(\frac{n}{p}\leq s \leq \frac{n}{p}+1\) are of interest, where the limiting situations \(s=\frac{n}{p}\) and \(s=\frac{n}{p}+1\) need special care. First results were obtained in [\textit{D.\,D.\thinspace Haroske} and \textit{S.\,D.\thinspace Moura}, ``Continuity envelopes of spaces of generalised smoothness, entropy and approximation numbers.'' J.~Approximation Theory 128, No.\,2, 151--174 (2004; Zbl 1055.46020)] and [\textit{A.\,M.\thinspace Caetano} and \textit{D.\,D.\thinspace Haroske}, ``Continuity envelopes of spaces of generalised smoothness: a limiting case; embeddings and approximation numbers.'' J.~Funct.\ Spaces Appl.\ 3, No.\,1, 33--71 (2005; Zbl 1079.46019)] which cover the cases \(\frac{n}{p}< s\leq \frac{n}{p}+1\), in [\textit{D.\,D.\thinspace Haroske} and \textit{S.\,D.\thinspace Moura}, ``Continuity envelopes and sharp embeddings in spaces of generalized smoothness.'' J.~Funct.\ Anal.\ 254, No.\,6, 1487--1521 (2008; Zbl 1148.46021)] more general situations were studied, whereas [\textit{D.\,D.\thinspace Haroske}, ``Envelopes and sharp embeddings of function spaces'' (Chapman \& Hall/CRC Research Notes in Mathematics 437; Boca Raton/FL: Chapman \& Hall/CRC) (2007; Zbl 1111.46002)] deals with the `classical' case. However, the situation \(s=\frac{n}{p}\) was essentially left open, even in the classical setting. The present paper now covers this tricky limiting case with an astonishing outcome: let the auxiliary function \(\phi_u\) be defined by \[ \phi_u(t) = \frac1t \begin{cases} \left( \int_0^t \Psi(s)^{-u} \frac{\mathrm{d} s}{s} \right)^{1/u}, & 0<u<\infty,\\ \sup_{s\in (0,t)} \Psi(s)^{-1}, & u=\infty.\end{cases} \] Then for \(1<q\leq\infty\) and \(\left(\Psi(2^{-j})^{-1}\right)_{j\in\mathbb{N}}\in \ell_{q'}\), the result reads like \(\mathfrak{E}_{\mathsf{C}} ( B^{(n/p,\Psi)}_{p,q}) = ( \phi_{q'}(t),\infty)\), with the \(F\)-counterpart \(\mathfrak{E}_{\mathsf{C}} ( F^{(n/p,\Psi)}_{p,q}) = ( \phi_{p'}(t),\infty)\) if \(1<p<\infty\) and \(\left(\Psi(2^{-j})^{-1}\right)_{j\in\mathbb{N}}\in \ell_{p'}\). This case does not extend to the classical one \(\Psi\equiv 1\), unlike the second main theorem which covers the situations \(0<q\leq 1\) in the \(B\)-case and \(0<p\leq 1\) in the \(F\)-case: assuming that either \(\Psi\sim 1\) or \(\Psi\) is monotonically decreasing with \(\lim_{t\to 0^+} \Psi(t)=\infty\), then \[ \mathfrak{E}_{\mathsf{C}} ( B^{(n/p,\Psi)}_{p,q}) = \mathfrak{E}_{\mathsf{C}} ( F^{(n/p,\Psi)}_{p,q}) = ( \phi_\infty(t),\infty). \] What makes this result so striking is that it is the first known one where the corresponding indices are different from their `usual' value \(u_X=q\) (in the \(B\)-case) and \(u_X=p\) (in the \(F\)-case). At the end, the authors give some upper estimate for approximation numbers of the compact embedding \(B^{(n/p,\Psi)}_{p,q}(U) \hookrightarrow C(U)\) and a corresponding \(F\)-result, where \(U\) stands for the unit ball in \(\mathbb{R}^n\). This follows immediately from their envelope result.
    0 references
    function spaces of generalized smoothness
    0 references
    continuity envelopes
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers