On exact values of \(n\)-widths in a Hilbert space (Q5930036)

This paper contains the exact values of \(n\)-widths of elliptic cylinders and generalized octahedra in the Hilbert space. Let \(K\) and \(H\) be Hilbert spaces and let \(T: K\to H\) be a linear continuous operator. If \(BK\) denotes the unit ball in \(K\) and \(L\) be a finite-dimensional subspace in \(H\), then \(T(BK)\) and \(T(BK)\oplus L\) are called ellipsoid in \(H\) and elliptic cylinder with base \(T(BK)\) and generalized axis \(L\), respectively. Let \(X\) be a topological homogeneous \(G\)-space with a compact group \(G\) and probability measure \(\mu\) invariant with respect to \(G\). In this case the space \(L_2(X)\) may be represented in the form \(L_2(X)=\sum_{k\geq 1} H_k\), \(\dim H_k = n_k\), where \(H_k\) are shift-invariant spaces of continuous functions. The kernel \(K(t, \tau)= \sum_{k\geq 1}\sum_{j=1}^{n_k} \gamma_{kj}e_{kj}(t)\overline{e_{kj}(\tau)}\), where \(\{e_{kj}\}_1^{n_k}\) is an orthonormal basis for \(H_k\) and \(\gamma_{kj}\in{\mathbf C}\), induces the operator \(Ax(t)=\int_x K(t, \tau)x(\tau)d\mu(\tau)\) which operates from \(L_1(X)\) into \(L_2(x)\). The authors give the exact values of Kolmogorov \(n\)-widths \(d_n(C, H)\) in the cases of ellipic cylinders \(C=T(BK)\oplus L\) with compact base \(BK\) and generalized octahedra \(C=W_1^K(X)=\{y\in L_2(X): y=Ax, \|x\|_{L_1}\leq 1\}\). In particular, general theorems concerning elliptical cylinders and generalized octahedra are proved, various corollaries from these general theorems are considered, and some additional problems (average \(n\)-widths, extremal spaces for ellipsoids and octahedra, etc.) are discussed.