On the order of magnitude of Fourier transforms (Q1375705)

Let \(\hat f\) be the (complex) Fourier transform of the function \(f\in L^1({\mathbb R})\). It is easy to see that the function \(\hat f\) is continuous on \({\mathbb R}\) and also by the Riemann-Lebesgue lemma that \(\hat f(t)\to 0\) as \(|t|\to\infty\). However, as examples show, this convergence can be arbitrary slow. In spite of this fact, one can expect better rate of convergence in certain weaker sense. Denote by \((C,\alpha)-\lim_{t\to\infty}f(t)\) the limit of the function \(f\in L^1_{\operatorname{loc}}({\mathbb R})\) \((\alpha>0)\) at infinity in the sense of Cesàro [see \textit{G. H. Hardy}: ``Divergent series'' (1949; Zbl 0032.05801)]. Given a function \(f\in L^1_{\operatorname{loc}}({\mathbb R_+})\) and numbers \(\alpha>0\) and \(l\), \((C,\alpha)-\lim_{t\to\infty}f(t) = l\) if \[ \lim_{\lambda\to\infty}\frac{\alpha}{\lambda}\int_0^{\lambda} \left(1-\frac{t}{\lambda}\right)^{\alpha-1}f(t) dt =l. \] The authors prove \smallskip\noindent \textbf{Theorem 1.} (i) If \(f\in L^1\cap L^p({\mathbb R})\) for some \(1<p\leq 2\) and \(\alpha\in (0,1/q)\), \(1/p + 1/q =1\), then \[ (C,1/q)-\lim_{|t|\to\infty}|t^{\alpha}|\hat f(t) = 0. \] (ii) If \(f\in L^p({\mathbb R})\) for some \(1<p\leq 2\) and \(\alpha\in (1/q,\infty)\), then \[ (C,\alpha)-\lim_{|t|\to\infty}|t^{1/q}|\hat f(t) = 0. \] In particular, for \(\alpha=1\) they show that for a function \(f\in L^1\cap L^p({\mathbb R})\) (for some \(1<p\leq 2\)) \(|t^{(p-1)/p}|\hat f(t)\) tends to \(0\) as \(|t|\to\infty\) in sense \((C,1)\). Moreover, \smallskip\noindent \textbf{Theorem 2.} (i) If \(f\in L^1\cap L^{\infty}({\mathbb R})\) and \(\alpha\in (0,1)\), then \[ (C,1)-\lim_{|t|\to\infty}|t^{\alpha}|\hat f(t) = 0. \] (ii) If \(f\in L^1({\mathbb R})\), \(x=0\) is a Lebesgue point of \(f\) and \(\alpha\in (1,\infty)\), then \[ (C,\alpha)-\lim_{|t|\to\infty}t\hat f(t) = 0. \]