[論文レビュー] $\ell^p$-improving inequalities for Discrete Spherical Averages

Robert Kesler, Michael T. Lacey|arXiv (Cornell University)|Apr 26, 2018

Limits and Structures in Graph Theory参考文献 20被引用数 5

ひとこと要約

本稿は、$\mathbb{Z}^d$ 上の離散球的平均 $A_\lambda$ に対して、鋭い $\pi^p$-向上不等式を確立し、$\frac{d+1}{d-1} < p \leq 2$ および $d \geq 4$ の場合に、$\|A_\lambda\|_{\ell^p \to \ell^{p'}} \lesssim C_{d,p,\omega(\lambda^2)} \lambda^{d(1-2/p)}$ が成り立つことを証明する。定数は $\lambda^2$ の異なる素因数の個数に依存する。結果はスケールフリーであり、乗数の分解と端点推定を用いて、古典的な Littman–Strichartz 不等式を離散設定に拡張する。

ABSTRACT

Let $ λ^2 \in \mathbb N $, and in dimensions $ d\geq 5$, let $ A_{λ} f (x)$ denote the average of $ f \;:\; \mathbb Z ^{d} o \mathbb R $ over the lattice points on the sphere of radius $λ$ centered at $x$. We prove $ \ell ^{p}$ improving properties of $ A_{λ}$. \begin{equation*} \lVert A_{λ} Vert_{\ell ^{p} o \ell ^{p'}} \leq C_{d,p, ω(λ^2 )} λ^{d ( 1-\frac{2}p)}, \qquad frac{d-1}{d+1} &lt; p \leq \frac{d} {d-2}. \end{equation*} It holds in dimension $ d =4$ for odd $ λ^2 $. The dependence is in terms of $ ω(λ^2 )$, the number of distinct prime factors of $ λ^2 $. These inequalities are discrete versions of a classical inequality of Littman and Strichartz on the $ L ^{p}$ improving property of spherical averages on $ \mathbb R ^{d}$, in particular they are scale free, in a natural sense. The proof uses the decomposition of the corresponding multiplier whose properties were established by Magyar-Stein-Wainger, and Magyar. We then use a proof strategy of Bourgain, which dominates each part of the decomposition by an endpoint estimate.

研究の動機と目的

• 次元 $d \geq 4$ における $\mathbb{Z}^d$ 上の離散球的平均 $A_\lambda$ の $\ell^p$-向上推定を確立し、$\lambda^2$ が奇数の $d=4$ を含む。
• Littman と Strichartz の古典的な $L^p$-向上不等式を離散格子設定に拡張する。
• $\lambda^2$ の異なる素因数の個数 $\omega(\lambda^2)$ に依存する演算子ノルムの依存関係を特定し、スケールフリーな推定を達成する。
• 次元 $d=4$ における算術的障害を克服するため、$\lambda^2 \notin 4\mathbb{N}$ に制限し、球面上の格子点数が十分に多いことを保証する。
• 連続的球的平均作用素の滑らかさの性質の離散的類似を提示し、明示的かつ最適な境界を与える。

提案手法

• 格子点の球面上の算術的構造を活用し、Magyar, Stein, および Wainger の手法を用いて $A_\lambda$ の乗数を分解する。
• Bourgain の戦略を模倣し、作用素を二重周波数領域に分解し、各成分を端点推定によって支配する。
• 定常位相法と Kloosterman の精密化推定を用いて、乗数分解における振動的成分を制御する。
• アニュラス上での平均作用素の $\ell^p$-有界性と局所化されたノルムを用いて、$L^p$-向上の挙動を制御する。
• $\rho(\lambda^2, q)$ を、指数和に関連する関数として用い、$\sigma_{-1/2}(\lambda^2)$（$\lambda^2$ を2つの平方数の和として表す方法の個数）を用いて算術的寄与を制御する。
• 補間法と $\ell^p$-分解技術を用いて、$\omega(\lambda^2)$ に明示的な依存関係を持つ $\ell^p \to \ell^{p'}$ 演算子ノルムの上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 次元 $d \geq 4$ における $\mathbb{Z}^d$ 上の離散球的平均作用素 $A_\lambda$ の鋭い $\ell^p$-向上ノルムは何か？
• RQ2 作用素ノルム $A_\lambda$ は $\lambda^2$ の算術的構造、特にその異なる素因数の個数にどのように依存するか？
• RQ3 Littman と Strichartz の古典的な $L^p$-向上不等式を、一様でスケールフリーな境界を持つ離散設定に拡張できるか？
• RQ4 離散設定において $A_\lambda$ が $\ell^p$ から $\ell^{p'}$ への可積分性を向上させるために必要な $p$ の最適範囲は何か？
• RQ5 このような $\ell^p$-向上推定が成り立つための $p$ の下界を決定する鋭い反例は何か？

主な発見

• $\frac{d+1}{d-1} < p \leq 2$ および $d \geq 4$ の場合に、$A_\lambda$ の $\ell^p$-向上作用素ノルムは $\|A_\lambda\|_{\ell^p \to \ell^{p'}} \lesssim C_{d,p,\omega(\lambda^2)} \lambda^{d(1-2/p)}$ を満たす。ここで $\omega(\lambda^2)$ は $\lambda^2$ の異なる素因数の個数を表す。
• この不等式は $d=4$ において $\lambda^2$ が奇数の場合に成立し、球面上の格子点数が疎であるという算術的障害を回避する。
• この推定はスケールフリーである。すなわち、$A_\lambda f$ の局所的 $\ell^p$-ノルムは、$f$ の局所的 $\ell^p$-ノルムに対して、$\lambda$ に依存しない一様な形で制御される。
• $\omega(\lambda^2)$ への依存関係は鋭い。これは球面の表現関数の算術的構造から自然に生じる。
• 反例により、不等式がすべての $\lambda$ に対して一様に成り立つためには $p \geq \frac{d+2}{d}$ が必要であることが示され、$p > \frac{d+1}{d-1}$ の範囲が鋭いことが裏付けられる。
• レベル集合の大きさに関する推定 $|\{x : A_\lambda \mathbf{1}_{\mathbb{S}_\lambda}(x) > c/\lambda\}| \lesssim \lambda^{\frac{d+3}{2}+\epsilon}$ が得られ、これはレベル集合のサイズが球面の算術的性質によって制御されることを示唆する。