I'm trying to understand the hypothesis of Marcinkiewiczthe Marcinkiewicz-Mihlin-H"ormanderHörmander multiplier theorem. See for instance Theorem A in following paperthis paper of Elias StainStein.
Theorem A: AssumesAssume that $m: (0, \infty)\to \mathbb R$ satisfies the following (1) equation $$|m^{(j)}(x)| \leq C x^{-j}$$ for $0 \leq j \leq k$ and $k>d/2.$$$ |m^{(j)}(x)| \leq C x^{-j}\quad0 \leq j \leq k,\; k>\frac{d}{2},\label{1}\tag{1} $$ Orrr more generally
(2)
$$ \sup_{t>0} \left\|\chi m(t \cdot)\right\|_{L^2_{\alpha}}< \infty $$ $$ \sup_{t>0} \|\chi m(t \cdot)\|_{L^2_{\alpha}}< \infty \label{2}\tag{2} $$ where $\chi$ is a non-zero smooth cut-off function of compact support whichthat vanishes near the origin.
Then
Then Fourier-multiplier operator $\widehat{Tf}= m(|\xi|^2) \hat{f}$ is bounded on $L^p (\mathbb R^d)$ for $1<p< \infty.$
My questions are:
My questions are: (A)(A) How to define $\|\cdot\|_{L^2_{\alpha}}$? Is it standard notation? (It seems that Stein has not defined this notation in his paper. Thus I guess it must be standard)
(B)(B) Why condition (\eqref{1)} implies (\eqref{2)} in the TheoremTheorem A?
(C) I'm interested to check(C) Does symbol $m(\xi)=e^{i|\xi|^2}$ Satisfies thesatisfy condition (\eqref{2)} of the Theorem A Theorem A? (withI am interested in this problem since, by using this symbol, we have solution to Schrodinger equationscan solve Schrodinger's equation)
(D)(D) How this theorem has been developed historically? (II mean is it correct to say that the first version of this result goes back to Marcinkiewicz theorem 1939, version of Mihim 1957in 1939, and later versions were Mihlin's in 1957 and finally version of Hormander 1960.)Hormander's in 1960?
MyAbout question A above, my heuristic Guessguess is: we can that we can define $\|f\|_{L^2_{\alpha}}^2= \int_{\mathbb R^d} |f(x)|^2 (1+|x|^2)^{\alpha} dx$ or $\|f\|_{L^2_{\alpha}}^2= \int_{\mathbb R^d} |\widehat{f}(\xi)|^2 (1+|\xi|^2)^{\alpha} dx$ Is this$\|f\|_{L^2_{\alpha}}^2$ as
$$
\|f\|_{L^2_{\alpha}}^2= \int_{\mathbb R^d} |f(x)|^2 (1+|x|^2)^{\alpha} \mathrm{d}x
$$
or
$$
\|f\|_{L^2_{\alpha}}^2= \int_{\mathbb R^d} |\widehat{f}(\xi)|^2 (1+|\xi|^2)^{\alpha} \mathrm{d}x
$$
Is my guess correct or am I missing something?