[論文レビュー] Estimates for maximal functions associated to hypersurfaces in $\Bbb R^3$ with height $h<2:$ Part I

Stefan Buschenhenke, Spyridon Dendrinos+2 more|arXiv (Cornell University)|Apr 21, 2017

Advanced Harmonic Analysis Research参考文献 14被引用数 3

ひとこと要約

本稿は、$\ mathbb{R}^3$ 内の滑らかな超曲面の等方的スケーリングに関連する最大作用素の $L^p$-有界性を、高さ $h<2$ の場合に確立する。特に、ある点における主曲率が消え、横断的条件を満たす超曲面に注目する。ニュートン図やdyadic分解、および振動積分推定に基づく新規な技法を用いて、有界性の臨界指数が $p_c = h$ のまま保たれることを証明し、以前の $h \geq 2$ の場合の結果を、より繊細な $h < 2$ の領域へと拡張する。

ABSTRACT

In this article, we continue the study of the problem of $L^p$-boundedness of the maximal operator $M$ associated to averages along isotropic dilates of a given, smooth hypersurface $S$ of finite type in 3-dimensional Euclidean space. An essentially complete answer to this problem had been given about seven years ago by the last named two authors in joint work with M. Kempe for the case where the height h of the given surface is at least two. In the present article, we turn to the case $h&lt;2.$ More precisely, in this Part I, we study the case where $h&lt;2,$ assuming that $S$ is contained in a sufficiently small neighborhood of a given point $x^0\in S$ at which both principal curvatures of $S$ vanish. Under these assumptions and a natural transversality assumption, we show that, as in the case where $h\ge 2,$ the critical Lebesgue exponent for the boundedness of $M$ remains to be $p_c=h,$ even though the proof of this result turns out to require new methods, some of which are inspired by the more recent work by the last named two authors on Fourier restriction to S. Results on the case where $h&lt;2$ and exactly one principal curvature of $S$ does not vanish at $x^0$ will appear elsewhere.

研究の動機と目的

• 滑らかな超曲面の等方的スケーリングに関連する最大作用素の $L^p$-有界性理論を、$\ mathbb{R}^3$ において高さ $h<2$ の場合にまで拡張すること。
• 両方の主曲率が基点で消える場合の最大作用素の振る舞いを、横断的仮定の下で分析すること。
• $h<2$ の領域においても、$L^p$-有界性の臨界Lebesgue指数が $p_c = h$ のまま保たれることを確立すること。
• 特にニュートン図やdyadic分解を含む、$h<2$ の設定に特化した新規な手法を開発すること。これらは最近のFourier制限理論にインspiredされている。

提案手法

• 著者たちは、局所的に超曲面を原点で2次に消える滑らかな関数 $\phi$ のグラフとして表現できるように、線形座標変換を適用し、適切な座標系の使用を可能にする。
• 彼らは、位相関数 $\phi$ の特異性の型を分類するためにニュートン図を用い、特に $A_2$ および $D_4^+$ 特異性に注目し、線形変換の下での標準形を導出する。
• 空気のアイリーコーンからの距離および主根ジェットからの距離に関してdyadic分解を適用し、最大作用素の局所化を、取り扱いやすい周波数および空間領域に分ける。
• 最大作用素はdyadic周波数部分 $\mathcal{M}_k$ に分解され、$k$ および $\lambda$ に関して多項式的増加を示す $L^2$ と $L^{1+\varepsilon}$ の境界の間の補間を用いて推定が得られる。
• 主根ジェットおよびアイリーコーンの近傍と遠方の領域からの寄与を分析することで、鍵となる推定が得られる。
• $D_4^+$-型特異性の場合は、線形座標変換により問題が $A_2$-型特異性に還元され、小パラメータを伴う $A_2$-型超曲面に関する以前の結果の適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 高さ $h<2$ の場合に、$\ mathbb{R}^3$ 内の超曲面に関連する最大作用素の臨界 $L^p$-有界性指数は何か？
• RQ2 両方の主曲率が基点で消える場合、少なくとも一方が非ゼロである場合と比較して、$L^p$-有界性理論はどのように変化するか？
• RQ3 $h<2$ の領域においても臨界指数 $p_c = h$ が保たれるか。その場合、それを証明するためにどのような新しい解析的道具が必要となるか？
• RQ4 振動積分の文脈において、ニュートン図とdyadic分解は、退化特異点付近の最大作用素推定にどのように寄与するか？
• RQ5 パラメータ依存推定と座標変換を用いて、$A_2$-型特異性の解析をどの程度 $D_4^+$-型特異性にまで拡張できるか？

主な発見

• 高さ $h<2$ であっても、最大作用素 $\mathcal{M}$ の $L^p$-有界性の臨界Lebesgue指数は $p_c = h$ のまま保たれ、$h \geq 2$ の場合の結果が拡張される。
• 基点に $D_4^+$-型特異性を持つ超曲面に対して、任意の $p > 3/2$ および $\delta > 0$ に対して、$\|\mathcal{M}_k\|_{L^p \to L^p} \lesssim 2^{k(\frac{1}{p} + \delta)}$ が、$k$ に関して一様に成り立つ。
• $L^2$ 作用素ノルム推定は $\|\mathcal{M}_k\|_{L^2 \to L^2} \lesssim T^{1/2} 2^{-k/6} \lambda^{-1/3}$ で、$L^{1+\varepsilon}$ ノルムは $\|\mathcal{M}_k\|_{L^{1+\varepsilon} \to L^{1+\varepsilon}} \lesssim T \lambda^{2/3 + \delta} 2^{k(1/3 - \delta)}$ で与えられ、これらから補間による $L^p$ 界が得られる。
• 証明は、線形座標変換による $A_2$-型特異性への還元に依拠しており、小パラメータを伴う $A_2$-型超曲面に関する以前の結果の適用が可能になる。
• アイリーコーンからの距離に関するdyadic分解により、特にコーンの近傍および遠方領域からの寄与が、空間的および周波数的領域にわたって一様に制御可能になる。
• dyadic周波数ブロックに関する和を用いて最大作用素 $\mathcal{M}$ の一様推定を確立し、$\|\mathcal{M}\|_{L^p \to L^p} \lesssim \sum_{k=k_0}^\infty 2^{-2k/3} \|\mathcal{M}_k\|_{L^p \to L^p}$ を得る。この和は $p > 3/2$ に対して収束する。