[論文レビュー] The Hörmander multiplier theorem I: The Linear Case

Loukas Grafakos, Danqing He+2 more|arXiv (Cornell University)|Jul 9, 2016

Mathematical Analysis and Transform Methods参考文献 10被引用数 4

ひとこと要約

この論文は、線形フーリエ乗数作用素のホルマンダー乗数定理を再考し、$L^p$有界性が $\left|\frac{1}{p} - \frac{1}{2}\right| < \frac{s}{n}$ であることに正確に一致することを証明している。ここで $s$ は乗数のソボレフ滑らかさである。著者らは、新たな反例を用いてこの条件の最適性を確立し、与えられた仮定の下で、端点 $\left|\frac{1}{p} - \frac{1}{2}\right| = \frac{s}{n}$ に対しても最適であることを示している。

ABSTRACT

We discuss $L^p(\mathbb R^n)$ boundedness for Fourier multiplier operators that satisfy the hypotheses of the Hörmander multiplier theorem in terms of an optimal condition that relates the distance $|\frac 1p-\frac12|$ to the smoothness $s$ of the associated multiplier measured in some Sobolev norm. We provide new counterexamples to justify the optimality of the condition $|\frac 1p-\frac12|

研究の動機と目的

• 自己完結的で初等的な証明を用いて、線形作用素に対する古典的なホルマンダー乗数定理を再導出し、強化すること。
• 乗数が $L^r$-ソボレフノルムで $s$-滑らかさを示す場合の、$L^p$ 有界性の条件 $\left|\frac{1}{p} - \frac{1}{2}\right| < \frac{s}{n}$ の最適性を確立すること。
• ホルマンダーの均一なダイアディックなアニュラス状ソボレフ条件を満たす乗数に対しても、$\left|\frac{1}{p} - \frac{1}{2}\right| \leq \frac{s}{n}$ が有界性に必要であることを示すこと。
• 端点 $\left|\frac{1}{p} - \frac{1}{2}\right| = \frac{s}{n}$ の場合を分析し、弱型およびローレンツ空間の推定値に関する既知の結果と関連付けること。
• ソボレフ滑らかさの仮定の下で、$L^p$ 範囲の最適性を示す新たな反例を提供すること。

提案手法

• 周波数支持がアニュラス内にあるシュワーツ関数 $\Psi$ を用いたダイアディック分解と、分割の単位性の性質。
• 滑らかさ条件 $\|\widehat{\Psi}\sigma(2^k\cdot)\|_{L^r_s} < \infty$ が $k$ に対して一様に成り立つ場合に、カルデロン–トーチンスキーの補間法を適用して、$L^2$ と $L^1$ の推定から $L^p$ 有界性を導出すること。
• 実補間理論と複素補間を用いて、ローレンツ空間とレベーグ空間の間を橋渡しし、特に $p=1$ および $1<p<2$ の端点を扱うこと。
• ホルマンダーの均一なソボレフ条件を満たしても、$\left|\frac{1}{p} - \frac{1}{2}\right| \geq \frac{s}{n}$ の場合に $L^p$ 有界性が成立しないことを示す、明示的な反例の構成。
• リトルウッド–パレー分解と周波数局在化を用いて、ダイアディック周波数ブロックと局在化された乗数成分の $L^q$ ノルムによる作用素ノルムの推定。
• リース–トーリン補間定理と重み付き減衰を伴う $L^1(H^1)$-型推定を用いて、局在化された作用素の $L^1$ ノルムを制御すること。

実験結果

リサーチクエスチョン

• RQ1 ホルマンダーの均一なソボレフ条件を満たす乗数に対して、$\left|\frac{1}{p} - \frac{1}{2}\right| < \frac{s}{n}$ が $L^p$ 有界性のための最適条件であるか。
• RQ2 追加の $L^r$-ベースの条件 $\left|\frac{1}{p} - \frac{1}{2}\right| \leq \frac{1}{r}$ を要求せずに、$\left|\frac{1}{p} - \frac{1}{2}\right| < \frac{s}{n}$ のみの条件下で $T_\sigma$ の $L^p$ 有界性を確立できるか。
• RQ3 端点 $\left|\frac{1}{p} - \frac{1}{2}\right| = \frac{s}{n}$ における乗数作用素の振る舞いは何か。有界性は依然として可能か。
• RQ4 ホルマンダーの均一なソボレフ条件を満たしても、$\left|\frac{1}{p} - \frac{1}{2}\right| \geq \frac{s}{n}$ の場合に $L^p$ 有界性が成立しないことを示す新たな反例を構成できるか。
• RQ5 $p=1$ および $1<p<2$ の結果が補間によってどのように関連するか。また、端点ケースは直接的な補間技法によって回復可能か。

主な発見

• 乗数がホルマンダーの均一なソボレフ条件 $\sup_k \|\widehat{\Psi}\sigma(2^k\cdot)\|_{L^r_s} < \infty$ を満たす場合、$1<r<\infty$, $s>0$, $rs>n$ に対して、$L^p$ 有界性のための条件 $\left|\frac{1}{p} - \frac{1}{2}\right| < \frac{s}{n}$ が十分かつ必要であることが示された。
• 著者らは、条件 $\left|\frac{1}{p} - \frac{1}{2}\right| < \frac{s}{n}$ の最適性を示す新たな反例を構成し、この不等式が満たされない場合に $L^p$ 有界性が成立しないことを示した。
• 端点ケース $\left|\frac{1}{p} - \frac{1}{2}\right| = \frac{s}{n}$ が最適であることが示され、$1<p<2$ では有界性が成り立ち、$p=1$ ではセーガーが確立した弱型 $(1,1)$ 推定が成り立つ。
• $\left|\frac{1}{p} - \frac{1}{2}\right| \leq \frac{1}{r}$ は $L^p$ 有界性に必要ではない。ソボレフ埋め込みと補間により、$\frac{1}{r_0} < \frac{s}{n}$ を満たすより小さい $r_0$ に置き換え可能である。
• 本論文は、$\left|\frac{1}{p} - \frac{1}{2}\right| < \frac{s}{n}$ のみの条件下で $T_\sigma$ の $L^p$ 有界性を自己完結的に証明し、追加の $L^r$-ベースの制約を回避した。
• 著者らは、ホルマンダーの均一なソボレフ条件を満たすすべての乗数に対して、条件 $\left|\frac{1}{p} - \frac{1}{2}\right| \leq \frac{s}{n}$ の最適性が一様に成り立つことを確立し、範囲の最適性を確認した。