[論文レビュー] 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$ 曲線上におけるフーリエ変換の最大制限定理を確立し、$p < \frac{8}{7}$ に対して $f \in L^p(\mathbb{R}^2)$ であるとき、$\widehat{f}$ の正則化平均が、アフィン弧長測度に関して $\mu$-ほとんど everywhere で制限作用素 $\mathcal{R}f$ に点wise 収束することを示している。さらに、このような曲線上の非退化点のほとんどすべてが $\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}$ の間の点wise 関係を理解すること。
• 非ゼロ曲率を持つ $C^2$ 曲線上で、$\widehat{f}$ の正則化平均が $\mu$-ほとんど everywhere に $\mathcal{R}f$ に点wise 収束する条件を特定すること。
• このような曲線上における $\widehat{f}$ のリーマン点の集合を特徴付け、それらを制限作用素に関連付けること。
• 曲線上のフーリエ変換に関連する切り捨てられた二パラメータ最大関数の $L^p$-$L^q$ 有界性を確立すること。

提案手法

• 著者らは、曲線の接線方向および法線方向に整列した周波数平面内の長方形上で $\widehat{f}$ を平均化することによって定義される二パラメータ最大関数 $\mathcal{M}^+$ を導入する。
• Kolmogorov-Seliverstov-Plessner の線形化法を用いて、$1 \leq p < \frac{8}{7}$ および $p' \geq 3q$ に対して、この最大作用素の $L^p$-$L^q$ 有界性を証明する。
• 証明は、制限問題から導かれる線形作用素族に対する一様推定式に依存しており、非ゼロ曲率を持つ $C^2$ 曲線に対して Carleson および Sjölin が開発した技法を応用している。
• Hardy-Littlewood-Sobolev の不等式を用いて、元の関数の $L^s$ ノルムによって切り捨てられた最大関数の $L^r$ ノルムを制御する。
• 双対性と恒等式 $\|\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 非ゼロ曲率を持つ $C^2$ 曲線上で、$f \in L^p(\mathbb{R}^2)$ かつ $p < \frac{8}{7}$ のとき、制限 $\mathcal{R}f$ は $\mu$-ほとんど everywhere の点で $\widehat{f}$ のリーマン値と等しいか。
• RQ2 $\chi_\varepsilon$-平均の極限は、このような曲線上で $\mu$-ほとんど everywhere に存在するか。また、その極限は $\mathcal{R}f$ に等しいか。
• RQ3 制限不等式が成り立つ指数の全範囲において、$\widehat{f}$ の切り捨てられた強い最大関数が $L^p(\mathbb{R}^2)$ から $L^q(S,\mu)$ に有界であるか。
• RQ4 アフィン弧長測度が点wise 収束性およびリーマン点の性質を保証するために果たす役割は何か。

主な発見

• $1 \leq p < \frac{4}{3}$ のとき、$\chi_\varepsilon$-平均は、非ゼロ曲率を持つ $C^2$ 曲線上の点で $\mu$-ほとんど everywhere に $\mathcal{R}f$ に点wise 収束する。
• $1 \leq p < \frac{8}{7}$ のとき、非ゼロ曲率を持つ $C^2$ 曲線上のほとんどすべての点が $\widehat{f}$ のリーマン点であり、そのリーマン値はその点で $\mathcal{R}f$ に等しい。
• 切り捨てられた二パラメータ最大関数 $\mathcal{M}^+$ は、$1 \leq p < \frac{8}{7}$ および $p' \geq 3q$ に対して $\|\mathcal{M}^+f\|_{L^q(I,\mu)} \leq C_p \|f\|_{L^p(\mathbb{R}^2)}$ を満たす。
• $L^p$-$L^q$ 有界性は、Kolmogorov-Seliverstov-Plessner 法と線形作用素族に対する一様推定式を用いて確立された。
• 結果は、$\mathbb{R}^2$ に限らず、より高次元における $\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$ の最大関数に関連付けることで示しており、双対性と Hardy-Littlewood-Sobolev の不等式を活用している。