Multivariate trigonometric polynomial approximations with frequencies from the hyperbolic cross (Q1905281): Difference between revisions

The authors prove several interesting theorems pertaining to the subject given by the title. The statements and proofs of theorems need a lot of notations and notions, and hence it is not possible for the reviewer to state them succintly. Using their notations and citing their words: ``The main purpose of the present paper is to provide a characterization of the spaces \({\mathcal A}^\alpha_q(L_p(\mathbb{T}^d))\) by introducing new moduli of smoothness for functions in \(L_p(\mathbb{T}^d)\),'' their main result reads as follows: Let \(r= 1,2,\dots\), for \(1< p< \infty\), \(0< q\leq \infty\), \(0< \alpha< r\). Then \(f\in {\mathcal A}^\alpha_q(L_p(\mathbb{T}^d)\), \(({\mathcal T}_n))\) if and only if the quantity \[ \begin{cases} (\sum^\infty_{k= 0} [2^{k\alpha} \Omega^*_r(f, 2^{- k})_p]^q)^{1/q},\quad & 0< q< \infty,\\ \sup_{0\leq k< \infty} 2^{k\alpha} \Omega^*_r(f, 2^{- k})_p,\quad & q= \infty,\end{cases}\tag{\(*\)} \] is finite. Moreover, expression \((*)\) with \(\Omega_r(f, 2^{- k})_p\) in place of \(\Omega^*_r(f, 2^{- k})_p\) after adding \(|f|_p\) is equivalent to \(|f|_{{\mathcal A}^\alpha_q(L_p(\mathbb{T}^d), ({\mathcal T}_n))}\). They also prove direct and inverse theorems which compare the error \(E_{2^n}'(f)_p\) of the approximation by polynomials with harmonics of hyperbolic cross with \(\Omega_r(f, 2^{- n})_p\).