On Fejér and Bochner-Riesz means (Q818511): Difference between revisions

For the Fejér and the Bochner-Riesz means, the following equivalence results between the rate of convergence and appropriate K-functionals are established. Let \(F_\lambda(f,x)\), \(\lambda>0\), denote the Fejér means of a function \(f\) and \(Hf(x)\) its Hilbert transform. Theorem 1. For \(f \in L_p({\mathbb R})\), \(1 \leq p < \infty\), or \(C_0({\mathbb R})\) for \(p=\infty\), we have \[ \frac{1}{2} K\left(f,\frac{1}{\lambda}\right)_p \leq \| F_\lambda(f,\cdot) - f(\cdot)\| _p \leq 3 K\left(f,\frac{1}{\lambda}\right)_p, \] where \[ K\left(f,\frac{1}{\lambda}\right)_p = \inf\left( \| f-g\| _p + \frac{1}{\lambda} \left\| \frac{d}{dx} Hg(x) \right\| _p \right). \] Let \(R_{\lambda,b,d}f(x)\) denote the Bochner-Riesz means of a function \(f\). Theorem 2. Let \(f \in L_p({\mathbb R}^d)\), \(1 \leq p < \infty\), or \(C_0({\mathbb R}^d)\) for \(p=\infty\), and let \(b > \frac{d-1}{2}\) for \(d = 1,2,\ldots\). Then \[ C_1(b,d) K_d\left(f,\frac{1}{\lambda^2}\right)_p \leq \| R_{\lambda,b,d}f - f\| _p \leq C_2(b,d) K_d\left(f,\frac{1}{\lambda^2}\right)_p, \] where \(C_1(b,d) > 0\), \[ K_d\left(f,t^2 \right)_p = \inf (\| f-g\| _p + t^2\| \Delta g\| _p) \] and \(\Delta\) is the Laplacian.