A sharp variant of the Marcinkiewicz theorem with multipliers in Sobolev spaces of Lorentz type
Given a bounded measurable function σ on Rn, we let Tσ be the operator obtained by multiplication on the Fourier transform by σ. Let 0<s1≤s2≤⋯≤sn<1 and ψ be a Schwartz function on the real line whose Fourier transform ψ is supported in [−2,−1/2]∪[1/2,2] and which satisfies ∑j∈Zψ(2−jξ)=1 for all ξ=0. In this work we sharpen the known forms of the Marcinkiewicz multiplier theorem by finding an almost optimal function space with the property that, if the function \begin{equation*} (ξ_1,\dots, ξ_n)\mapsto \prod_{i=1}^n (I-\partial_i^2)^{\frac {s_i}2} \Big[ \prod_{i=1}^n \widehatψ(ξ_i) σ(2^{j_1}ξ_1,\dots , 2^{j_n}ξ_n)\Big] \end{equation*} belongs to it uniformly in j1,…,jn∈Z, then Tσ is bounded on Lp(Rn) when ∣p1−21∣<s1 and 1<p<∞. In the case where si=si+1 for all i, it was proved in [Grafakos, Israel J. Math., to appear] that the Lorentz space Ls11,1(Rn) is the function space sought. In this work we address the significantly more difficult general case when for certain indices i we might have si=si+1. We obtain a version of the Marcinkiewicz multiplier theorem in which the space Ls11,1 is replaced by an appropriate Lorentz space associated with a certain concave function related to the number of terms among s2,…,sn that equal s1. Our result is optimal up to an arbitrarily small power of the logarithm in the defining concave function of the Lorentz space.
