[论文解读] 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

一句话总结

本文建立了 $$L^p$$-有界性，针对 $$\mathbb{R}^3$$ 中高度 $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.

研究动机与目标

• 将 $$\mathbb{R}^3$$ 中光滑曲面的各向同性膨胀所关联的极大算子的 $L^p$-有界性理论，推广至高度 $h<2$ 的情形。
• 在横截性假设下，分析极大算子在两个主曲率均消失的点附近的性质。
• 证明在 $h<2$ 范畴中，$L^p$-有界性的临界 Lebesgue 指数仍为 $p_c = h$，尽管分析复杂度增加。
• 开发新方法——特别是涉及牛顿图和 dyadic 分解——以适配 $h<2$ 的情形，受近期 Fourier 限制理论的启发。

提出的方法

• 作者采用线性坐标变换，将曲面在局部表示为在原点二阶为零的光滑函数 $\phi$ 的图像，从而可使用适配的坐标系。
• 他们利用牛顿图对相位函数 $\phi$ 的奇点类型进行分类，特别关注 $A_2$ 和 $D_4^+$ 奇点，并在线性变换下导出标准型。
• 针对到 Airy 锥面的距离和主根喷射，应用 dyadic 分解，将极大算子局部化至可管理的频率和空间区域。
• 将极大算子分解为 dyadic 频率部分 $\mathcal{M}_k$，并通过 $L^2$ 与 $L^{1+\varepsilon}$ 估计之间的插值，获得关于 $k$ 和 $\lambda$ 呈多项式增长的估计。
• 通过 Hardy-Littlewood 极大算子的变体以及对主根喷射和 Airy 锥面附近与远离区域的贡献分析，获得关键估计。
• 对于 $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^+$-型奇点的曲面，极大算子 $\mathcal{M}_k$ 满足估计 $\|\mathcal{M}_k\|_{L^p \to L^p} \lesssim 2^{k(\frac{1}{p} + \delta)}$，对所有 $p > 3/2$ 和 $\delta > 0$ 成立，且对 $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$-型曲面的早期成果。
• 对到 Airy 锥面距离的 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$ 时该级数收敛。