[论文解读] A maximal restriction theorem and Lebesgue points of functions in F(L^p)

Detlef Müller, Fulvio Ricci+1 more|arXiv (Cornell University)|Dec 14, 2016

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

一句话总结

本文建立了 $\mathbb{R}^2$ 中 $C^2$ 曲线上的傅里叶变换的最大限制定理，表明对于 $f \in L^p(\mathbb{R}^2)$ 且 $p < \frac{8}{7}$，$\widehat{f}$ 的正则化平均值几乎处处（关于仿射弧长测度 $\mu$）逐点收敛于限制算子 $\mathcal{R}f$。此外，本文证明了此类曲线上几乎所有非退化点都是 $\widehat{f}$ 的勒贝格点，且限制算子与勒贝格值一致。

ABSTRACT

Fourier restriction theorems, whose study had been initiated by E.M. Stein, usually describe a family of a priori estimates of the L^q-norm of the restriction of the Fourier transform of a function f in L^p (say, on Euclidean space) to a given subvariety S, endowed with a suitabel measure. Such estimates allow to define the restriction Rf of the Fourier transform of an L^p-function to S in an operator theoretic sense. In this article, we begin to investigate the question what is the "intrinsic" pointwise relation between Rf and the Fourier transform of f, by looking at curves in the plane, for instance with non-vanishing curvature. To this end, we bound suitable maximal operators, including the Hardy-Littlewood maximal function of the Fourier transform of f restricted to S.

研究动机与目标

• 理解 $L^p(\mathbb{R}^2)$ 函数的限制算子 $\mathcal{R}f$ 与傅里叶变换 $\widehat{f}$ 之间的逐点关系。
• 确定 $\widehat{f}$ 的正则化平均值沿具有非零曲率的 $C^2$ 曲线几乎处处（关于 $\mu$）逐点收敛于 $\mathcal{R}f$ 的条件。
• 刻画此类曲线上 $\widehat{f}$ 的勒贝格点集合，并将其与限制算子关联。
• 建立与傅里叶变换在曲线上相关的截断双参数最大函数的 $L^p$-$L^q$ 有界性。

提出的方法

• 作者引入一个双参数最大函数 $\mathcal{M}^+$，通过在频率平面上沿曲线的切线和法线方向对齐的矩形上对 $\widehat{f}$ 进行平均来定义。
• 他们使用柯尔莫哥洛夫-塞利弗斯托夫-普莱斯纳线性化方法，证明了当 $1 \leq p < \frac{8}{7}$ 且 $p' \geq 3q$ 时，该最大算子的 $L^p$-$L^q$ 有界性。
• 证明依赖于从限制问题导出的一族线性算子的统一估计，借鉴了卡列森和斯约林针对具有非零曲率的 $C^2$ 曲线所采用的技术。
• 作者利用哈代-利特尔伍德-索博列夫不等式，将截断最大函数的 $L^r$ 范数控制在原函数的 $L^s$ 范数之内。
• 通过对偶性将最大函数与限制算子联系起来，并利用恒等式 $\|\mathcal{M}^+f\|_{L^q(I,\mu)} \lesssim \|f\|_{L^p(\mathbb{R}^2)}$（当 $p < \frac{8}{7}$ 时）建立关系。
• 论证被局部化到 $C^2$ 凸函数 $\varphi$ 的图像上，使用仿射弧长测度 $\mu = \kappa^{1/3} dt$ 来加权曲线。

实验结果

研究问题

• RQ1 对于 $f \in L^p(\mathbb{R}^2)$ 且 $p < \frac{8}{7}$，在具有非零曲率的 $C^2$ 曲线上 $\mu$-几乎处处的点上，限制 $\mathcal{R}f$ 是否等于 $\widehat{f}$ 的勒贝格值？
• RQ2 在这样的曲线上，$\chi_\varepsilon$-平均值的极限是否几乎处处（关于 $\mu$）存在，且是否等于 $\mathcal{R}f$？
• RQ3 截断的强最大函数 $\widehat{f}$ 是否可以从 $L^p(\mathbb{R}^2)$ 有界映射到 $L^q(S,\mu)$，覆盖限制不等式成立的完整指数范围？
• RQ4 仿射弧长测度在确保逐点收敛性和勒贝格点性质方面起什么作用？

主要发现

• 当 $1 \leq p < \frac{4}{3}$ 时，$\chi_\varepsilon$-平均值在具有非零曲率的 $C^2$ 曲线上几乎处处（关于 $\mu$）逐点收敛于 $\mathcal{R}f$。
• 当 $1 \leq p < \frac{8}{7}$ 时，具有非零曲率的 $C^2$ 曲线上几乎所有点都是 $\widehat{f}$ 的勒贝格点，且在这些点上勒贝格值等于 $\mathcal{R}f$。
• 截断的双参数最大函数 $\mathcal{M}^+$ 满足 $\|\mathcal{M}^+f\|_{L^q(I,\mu)} \leq C_p \|f\|_{L^p(\mathbb{R}^2)}$，其中 $1 \leq p < \frac{8}{7}$ 且 $p' \geq 3q$。
• 通过柯尔莫哥洛夫-塞利弗斯托夫-普莱斯纳方法和一族线性算子的统一估计，建立了最大算子的 $L^p$-$L^q$ 有界性。
• 该结果可推广至高维空间中的曲线 $\Gamma(t) = (t, t^2, \dots, t^d)$，但当前方法仅适用于 $\mathbb{R}^2$。
• 证明表明 $\|\mathcal{M}^+f\|_{L^q(I,\mu)} \lesssim \|f\|_{L^p(\mathbb{R}^2)}$，通过将 $\mathcal{M}^+f$ 与 $|\widehat{f}|^2$ 的最大函数联系起来，利用对偶性和哈代-利特尔伍德-索博列夫不等式。