Lower estimates for the widths of classes of sourcewise representable functions (Q2638461)

Let \(L_ p=L_ p[0;2\pi]\) (1\(\leq p\leq \infty)\), be the space of \(2\pi\)- periodic functions f that have absolutely integrable pth power on [0,2\(\pi\) ] with \(1\leq p<\infty\) and are essentially bounded for \(p=\infty\), let \(C_{2\pi}\) be the space of continuous \(2\pi\)-periodic functions, and let C[a,b] be the space of continuous functions on [a,b]. Also, let \(P\subset {\mathbb{Z}}^+\) be a set with card P\(=\mu <\infty\) (P can also be empty), and let \[ T_ P(x)=\sum_{k\in P}(a_ k \cos kx+b_ k \sin kx), \] \[ K(t)=\alpha_ 0/2+\sum^{\infty}_{k=1}(\alpha_ k \cos kt+\beta_ k \sin kt)\in L_ 1[0,2\pi] \] (a\({}_ k,b_ k,\alpha_ k,\beta_ k\in {\mathbb{R}})\). The class \(F=F(K;P)\) of periodic functions f of the form \(f(x)=T_ P(x)+\int^{2\pi}_{0}K(x-t)\Phi (t)dt,\) where \(\Phi \in L_{\infty}[0,2\pi]\), and \[ \int^{2\pi}_{0}\Phi (t)\left\{ \begin{matrix} \sin kt\\ \cos kt\end{matrix} \right\}dt=0,\quad k\in P. \] Let m be a positive integer \(\geq {\bar \mu}\), where \({\bar \mu}\) is equal to \(2\pi\) if \(0\not\in P\) and \(2\mu\)-1 if \(0\in P\) (i.e., \({\bar \mu}\) is the dimension of the space \(T_ P\) of polynomials), \(h=2\pi /m\), and \(g=g(t)\) is a given function with period h that is nonnegative and continuous on [0,h). We define the following sets in the class F: \[ S_ m(F;g)=\{f\in F:\;\Phi (t)=Z_ jg(t),\quad (j-1)h\leq t<jh,\quad Z_{j+m}=Z_ j\},\quad W_{\infty}(F)=\{f\in F:\;\| F\|_{L_{\infty}}\leq 1\}, \] W(F;g)\(=\{f\in F:| \Phi (t)| \leq g(t)\) almost everywhere on [0,2\(\pi\) ]\(\}\). Here we indicate necessary and sufficient conditions on the numbers \(0\leq \theta <1\) and \(m\in {\mathbb{N}}\), the set P, and the functions K and g under which there exists, for an arbitrary sequence \(y=\{y_{\nu}\), \(\nu\in {\mathbb{Z}}\}\) of real numbers with \(y_{\nu +m}=y_{\nu}\) (\(\nu\in {\mathbb{Z}})\), a unique function \(f\in S_ m(F;g)\) such that \(f(\theta h+\nu h)=y_{\nu}\) (\(\nu\in {\mathbb{Z}})\). Under these conditions explicit expressions are written for the parameters \(a_ k\), \(b_ k\), and \(Z_ j\) of a spline \(f\in S_ m(F;g)\) interpolating the sequence y, in terms of the values \(y_{\nu}\). With the help of a theorem of Tikhomirov on the width of a ball, the formulas obtained are used to get lower estimates of the Kolmogorov widths in the uniform metric of the function classes \(W_{\infty}(F)\) and W(F;g).