Conditions for the absolute convergence of Fourier integrals (Q2431551): Difference between revisions

New sufficient conditions are proved for the representation of a function via an absolutely convergent Fourier integral. In the main Theorem 2.1, this is controlled by the behavior near infinity of both the function and its derivative. As a specimen, we present Corollary 2.2. Suppose \(f\in C_0(\mathbb{R})\), \(f\) is locally absolutely continuous on \(\mathbb{R}\setminus\{0\}\), \(f'\) is essentially bounded out of any neighborhood of zero, and \[ \int^1_0 f_1(t)\ln{2\over t} \,dt< \infty,\quad\text{where}\quad f_1(t):= \operatorname{ess}\sup_{|s|\geq|t|> 0} |f'(s)|. \] If \(f(t)= O(|t|^{-\gamma_0})\) for some \(\gamma_0> 0\) and \(f'(t)= O(|t|^{-\gamma_1})\) for some \(\gamma_1\in\mathbb{R}\) as \(|t|\to\infty\) with \(\gamma_0+ \gamma_1> 1\), then \(f\in A(\mathbb{R})\). If \(\gamma_0+ \gamma_1< 1\), then such an assertion cannot be valid. By \(f\in A(\mathbb{R})\) we mean that \[ f(y)= \int_{\mathbb{R}} g(x) e^{ixy}\,dx,\quad\text{where}\quad g\in L_1(\mathbb{R}). \] The results are extended to any dimension \(d\geq 2\) in Theorem 2.3. In addition, a number of known results are discussed in connection with the new results proved in this paper.