[論文レビュー] Fourier transform, $L^2$ restriction theorem, and scaling

Alex Iosevich|ArXiv.org|Apr 8, 2001

Advanced Harmonic Analysis Research参考文献 4被引用数 11

ひとこと要約

本稿は、コンパクトな超曲面における表面測度のフーリエ変換の減衰率と、$(L^p, L^2)$ 制限定理との鋭い関係を確立する。Knapp型の同次性に関する議論と、有限多面体型の仮定を用いて、$L^p$ 有界性が最良の $L^2$ 減衰率 $|F_S(\xi)| \lesssim (1+|\xi|)^{-r}$ をもたらすことを証明しており、等号が成立するのはちょうど凸で有限型の超曲面の場合に限る。

ABSTRACT

We show, using a Knapp-type homogeneity argument, that the $(L^p, L^2)$ restriction theorem implies a growth condition on the hypersurface in question. We further use this result to show that the optimal $(L^p, L^2)$ restriction theorem implies the sharp isotropic decay rate for the Fourier transform of the Lebesgue measure carried by compact convex finite hypersurfaces.

研究の動機と目的

• $(L^p, L^2)$ 制限作用素の有界性が、表面測度のフーリエ変換の特定の減衰率を示すかどうかを同定すること。
• 超曲面上の点まわりのチューブ型近傍 $B(x,\delta)$ のサイズについて、減衰指数 $r$ と関連づける必要条件を確立すること。
• 凸で有限型の超曲面に対して、$p = \frac{2(r+1)}{r+2}$ の $(L^p, L^2)$ 制限定理から、最良の $L^2$ 減衰率 $|F_S(\xi)| \lesssim (1+|\xi|)^{-r}$ が導かれることを示すこと。
• 有限多面体型超曲面のクラスを導入・特徴づけ、凸で有限型の超曲面の一般化とすることで、スケーリング議論の適用を可能とすること。

提案手法

• Knapp型の同次性に関する議論を用いて、制限作用素の $L^p$ 有界性とチューブ型近傍 $B(x,\delta)$ のサイズを関連付ける。
• 各点 $x$ と $\delta > 0$ に対して、$B(x,\delta)$ の接平面への射影を含む、一様に有界な多面体 $P(x,\delta)$ の存在を仮定することで、有限多面体型条件を定義する。
• スケーリングと変数変換を適用し、問題を多面体の特性関数のフーリエ変換の $L^p$ ノルムの推定に還元する。
• 三角形分割と標準単体への線形変換を用いて、頂点数が有界な多面体 $P$ に対して $||\widehat{\chi}_P||_p \lesssim |P|^{1/p'}$ を証明する。
• 混合同次多項式 $x_n = Q(x') + R(x') + c$ に対して、レベル集合 $\{Q \leq \delta\}$ の体積は $\approx \delta^{(n-1)/m}$ であることが示され、ここで $m = \sum_{j=1}^{n-1} a_j^{-1}$ である。
• 同次性と単位レベル集合を含むボックス $P_1$ との比較を用いて、$B^\pi(0,\delta) \subset P_\delta$ かつ $|P_\delta| \approx \delta^r$ を満たす多面体 $P_\delta$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 $(L^p, L^2)$ 制限作用素の有界性（$p = \frac{2(r+1)}{r+2}$）が、推定 $|F_S(\xi)| \lesssim (1+|\xi|)^{-r}$ をもたらすか？
• RQ2 制限定理のもとで、チューブ型近傍 $B(x,\delta)$ のサイズが減衰率 $r$ によって制御可能か？
• RQ3 凸性がなくても、有限多面体型条件が制限定理から減衰率を導くのに十分か？
• RQ4 多面体の特性関数のフーリエ変換の $L^p$ ノルムとその体積の正確な関係は何か？
• RQ5 表面測度のフーリエ変換の $L^2$ 減衰率が、最良の $L^p$ 制限推定をもたらすのはどのような条件下か？

主な発見

• $(L^p, L^2)$ 制限定理（$p = \frac{2(r+1)}{r+2}$）が成り立つとき、有限多面体型超曲面 $S$ 上の任意の $x$ に対して、$|B(x,\delta)| \lesssim \delta^r$ が成り立つ。
• 凸で有限型の超曲面に対しては、$|B(x,\delta)| \lesssim \delta^r$ が成り立つならば、最良の減衰推定 $|F_S(\xi)| \lesssim (1+|\xi|)^{-r}$ が成立する。
• 混合同次多項式 $Q$（次数 $(a_1,\dots,a_{n-1})$）に対して、集合 $\{y : Q(y) \leq \delta\}$ の体積は $\approx \delta^{(n-1)/m}$ である。ここで $m = \sum_{j=1}^{n-1} a_j^{-1}$ である。
• 頂点数が有界な多面体 $P$ に対して、特性関数のフーリエ変換の $L^p$ ノルムは $||\widehat{\chi}_P||_p \lesssim |P|^{1/p'}$ を満たす。定数は次元と頂点数にのみ依存する。
• 有限多面体型超曲面は、凸で有限型の超曲面を含む。これは、凸で有限型関数が混合同次項と剰余項の和として表現可能であるという表現定理によって示される。
• 本結果により、凸で有限型超曲面において、$(L^p, L^2)$ 制限定理とフーリエ変換の $L^2$ 減衰率との間に鋭い同値関係が確立された。