\(N\)-widths and average widths of Besov classes in Sobolev spaces (Q882726)

Let \(I^d=[-\pi, \pi]^d\), \(k>\alpha>0\), \(1\leq p, \theta \leq \infty\), and let \(\Omega_k\) denote the \(k\)th modulus of continuity in \(L_p\). The Besov space \(B_{p\theta}^\alpha=B_{p,\theta}^\alpha (I^d)\) is the set of all functions \(f \in L_p =L_p(I^d)\) with the finite norm \[ \| f\| _{B_{p\theta}^\alpha}=\| f\| _{L_p}+| f| _{B_{p\theta}^\alpha}, \] where \[ | f| _{B_{p\theta}^\alpha}=\left (\int_0^\infty \left (\Omega_k (f,t)\over t^\alpha \right )^\theta {dt \over t}\right ) ^{1/\theta}. \] The authors determine the asymptotic order of the \(n\)-widths of the unit ball \(S_{p\theta}^\alpha\) of the space \(B_{p\theta}^\alpha\) in the Sobolev space \(W_p^r(I^d)\). Assuming that \(1 \leq \theta,q,p\leq \infty\) and \(\alpha\) is sufficiently large, they prove the relation \[ d_n(S_{p\theta}^\alpha, W_p^r)\asymp \begin{cases} n^{{r-\alpha \over d}}&{\text{ if }} 1 \leq q \leq p \leq \infty {\text{ or }} 2\leq p \leq q \leq \infty \cr n^{{r-\alpha \over d}+{1 \over p}-{1\over 2}} &{\text{ if }} 1 \leq p \leq 2 \leq q \leq \infty \cr n^{{r-\alpha \over d}+{1 \over p}-{1\over q}} &{\text{ if }} 1 \leq p \leq q \leq 2 \end{cases} \] for the Kolmogorov widths and similar relations for the Gelfand and linear widths. The second part of the paper deals with the classes of functions defined on \({\mathbb R}^d\), in which case the standard definitions of \(n\)-widths are not applicable since then the appropriate approximating spaces (e.g. splines) are infinite-dimensional. Several definitions of infinite-dimensional widths based on the concept of average dimension have been studied. The authors find asymptotic orders of the so-called \(\sigma\)-widths. For \(1\leq p \leq \infty\), \(\max \{r,d\}<\alpha <k\), they prove, in particular, \[ d_\sigma(S_{p\theta}^\alpha ({\mathbb R}^d), W_p^r({\mathbb R}^d))\asymp \sigma^{{r-\alpha \over d}}. \]