Optimal Extension of Fourier Multiplier Operators in L p (G)

Given 1 ≤ p < ∞, a compact abelian group G and a p-multiplier ${\psi : \Gamma \to {\mathbb C}}Given 1 ≤ p < ∞, a compact abelian group G and a p-multiplier y: G? \mathbb C{\psi : \Gamma \to {\mathbb C}} (with Γ the dual group), we study the optimal domain of the multiplier operator T^(p)_y : L^p (G) ? L^p (G){T^{(p)}_\psi : L^p (G) \to L^p (G)}. This is the largest Banach function space, denoted by L¹(m^(p)_y){L^1(m^{(p)}_\psi)}, with order continuous norm into which L ^p (G) is embedded and to which T^(p)_y{ T^{(p)}_\psi} has a continuous L ^p (G)-valued extension. Compactness conditions for the optimal extension are given, as well as criteria for those ψ for which L¹(m^(p)_y) = L^p (G){L^1(m^{(p)}_\psi) = L^p (G)} is as small as possible and also for those ψ for which L¹(m^(p)_y) = L¹ (G){L^1(m^{(p)}_\psi) = L^1 (G)} is as large as possible. Several results and examples are presented for cases when L^p (G) \subsetneqq L¹(m^(p)_y) \subsetneqq L¹ (G){L^p (G) \subsetneqq L^1(m^{(p)}_\psi) \subsetneqq L^1 (G)}.