Banach algebras of Fourier multipliers equivalent at infinity to nice Fourier multipliers (Q2227639)

The authors continue their study of Banach algebras of Fourier multipliers published in a series of recent papers [\textit{A. Karlovich} and \textit{E. Shargorodsky}, Integral Equations Oper. Theory 93, No. 2, Paper No. 16, 24 p. (2021; Zbl 1477.47095); \textit{A. Karlovich}, Stud. Math. 254, No. 2, 149--178 (2020; Zbl 1469.43005); \textit{C. A. Fernandes} et al., Banach Cent. Publ. 119, 157--171 (2019; Zbl 1477.47094); \textit{C. A. Fernandes} et al., Ann. Funct. Anal. 10, No. 4, 553--561 (2019; Zbl 1477.47034)]. For a real locally integrable function \(f\) defined on \(\mathbb{R}\), the Hardy-Littlewood maximal operator \(\mathcal{M}\) defines \((\mathcal{M}f)(x)\) as the supremum of the averages of \(f\) taken over all finite intervals containing \(x\). Let \(X\) be a Banach space of real functions and \(X'\) its associated space. If the convolution operator \(W(a)\) with symbol \(a\in L^\infty\) maps \(L^2\cap X\) to \(X\) and is extendable to a bounded linear operator in \(\mathcal{B}(X)\), then \(a\) is called a Fourier multiplier on \(X\). Let \(\mathcal{M}_X\) be the unital algebra of all Fourier multipliers with norm \(\|a\|_{\mathcal{M}_X}=\|W(a)\|_{\mathcal{B}(X)}\). Two multipliers \(a,b\in\mathcal{M}_X\) are asymptotically equivalent if their difference vanishes in \(L^\infty\) outside \([-N,N]\) as \(N\to\infty\). If \(\Psi,\Omega\subset\mathcal{M}_X\), then \(\Psi_\Omega\) is the set of all \(a\in\Psi\) that is asymptotically equivalent with sime \(b\in\Omega\). Similarly, if \(\Phi,\Theta\subset L^\infty(\mathbb{R})\), then \(\Phi^*_\Theta\) is the set of all \(a\in\Phi\) that are asymptotically equivalent with some \(b\in\Theta\). The Fourier multipliers in an algebra \(Y\) are ``nice'' if \(uY\subset Y\) for all \(u\) that are infinitely differentiable complex-valued functions defined on \(\mathbb{R}\) with compact support. The main results of the paper state that if \(X\) is separable and \(\mathcal{M}\) is bounded on \(X\) and on \(X'\), and if \(\Psi\) and \(\Omega\) are unital subalgebras of \(\mathcal{M}_X\) consisting of ``nice'' functions, then \(\Psi_\Omega\) is also a unital Banach subalgebra of \(\mathcal{M}_X\). This is made more explicit for several particular subalgebras \(\Omega\) consisting, for example, of multipliers continuous on the extended real line or slowly oscillating multipliers, etc., that all consist of ``nice'' multipliers. Similarly, when \(\Phi\) is a unital \(C^*\)-subalgebra of \(L^\infty(\mathbb{R})\), then \(\Phi^*_\Omega\) is a unital \(C^*\)-subalgebra of \(L^\infty(\mathbb{R})\) for a set of specific subalgebras \(\Omega\).