Herz versus Fefferman: Symmetric and asymmetric Bochner--Riesz theory

技術要約：Herz対Fefferman：対称および非対称なボホナー–リースの理論

問題設定
本論文は、端（ends）を持つ非コンパクト多様体の特定の一次元モデルにおける、ボホナー–リースの総和可能性およびスペクトル射影の$L^p$有界性を調査するものである。このモデルは、中央領域で結合された2つのユークリッド的な端、$(-\infty, -1]$ および $[1, \infty)$ から構成され、各端はそれぞれ異なる有効ユークリッド次元 $d_1$ および $d_2$ （ただし $d_1, d_2 > 2$）を持つ。中心となる問題は、ボホナー–リースの平均 $\sigma^\delta_R(\Delta_{d_1,d_2})$ が $L^p(\tilde{\mathbb{R}})$ 上で一様に有界となる臨界指数 $\delta$ を決定すること、および端の次元の非対称性（$d_1 \neq d_2$）が古典的な理論をどのように変化させるかを理解することである。

著者らは以下の2つのレジームを対比させている：

1. 対称なケース ($d_1 = d_2 = d$): このモデルは、ユークリッド・ラプラシアンに対するHerzの古典的な径方向理論に従うことが予想される。
2. 非対称なケース ($d_1 \neq d_2$): 著者らは、高次元フーリエ解析における球マルチプライヤーの障害と同様に、たとえ基礎となる空間が一次元であっても、異なる体積成長を持つ端の間の相互作用によって、「フェフェルマン型の障害」が生じる可能性があると仮定している。

手法
解析は、二次形式 $\langle \cdot, \cdot \rangle_{L^2(\tilde{\mathbb{R}}, \sigma_{d_1,d_2}(r)dr)}$ を通じて定義される自己共役作用素 $\Delta_{d_1,d_2}$ のスペクトル分解に基づいている。手法は以下のステップを通じて進行する：

1. レゾルベント構成およびスペクトル測度の分解: 著者らは、変形ベッセル関数（$I_\nu$ および $K_\nu$）を用いてレゾルベント核を構成する。そして、特殊関数の漸近挙動に基づいて、スペクトル測度核を2つの異なる成分に分解する：

   • **$kl$成分:**$k(\cdot)$と$l(\cdot)$の積を含む項（ここで$k$は減衰するベッセル関数$K_\nu$に、$l$は増大するベッセル関数$I_\nu$ に対応する）。
   • **$kk$成分:**$k(\cdot)$と$k(\cdot)$の積を含む項。この部分は、さらに**オン・ダイアゴナル（対角上）項**（$x$と$y$が同じ端にある場合）と**オフ・ダイアゴナル（非対角）項**（$x$と$y$ が異なる端にある場合）に分割される。

2. 正の評価（十分条件）:

   • $kl$成分に対して: 著者らはHerzの元の径方向の議論を適用し、問題を重み付き特異積分の問題へと還元し、ハーディ–リトルウッド–ポリアの不等式を利用する。
   • **$kk$成分に対して:** 彼らは低エネルギー（$R \le 1$）と高エネルギー（$R > 1$）のレジームを個別に分析する。高エネルギー領域における打ち消しを扱うために、振動積分評価（補題4.1）と部分積分を用いる。オフ・ダイアゴナル項は、$d_1$と$d_2$ の相互作用から導かれる条件の下で有界であることが示される。

3. 反例（必要条件および鋭さ）:

   • 鋭さを確立するために、著者らは一方の端（通常はより大きな次元 $D = \max(d_1, d_2)$ を持つ端）に支持を持つ特定のテスト関数を構成し、他方の端における出力を測定する。
   • 彼らは、オフ・ダイアゴナルな相互作用が、核の形式 $|x|^{-d_\ell-1/2}|y|^{-d_j-1/2}(|x|+|y|)^{-1}e^{\mp i(|x|+|y|)}$ を生成することを実証する。
   • これらのテスト関数のスケーリング特性を分析することにより、次元が異なる場合、特定の追加の制約条件を満たさない限り、$L^p$ 有界性が成立しないことを示す。このメカニズムは、フェフェルマンのカケヤ/ニコディム集合の障害に類似したものとして特定されている。

主要な貢献および結果

1. 対称なケースにおける完全な特徴付け:
   $d_1 = d_2 = d$ のとき、著者らは古典的なHerzの範囲を回収する。スペクトル射影およびボホナー–リースの平均は、以下の場合に限り $L^p$ 上で有界である：
   $$\left| \frac{1}{p} - \frac{1}{2} \right| < \frac{1}{2d} \quad \text{および} \quad \delta > \max\left( d\left| \frac{1}{p} - \frac{1}{2} \right| - \frac{1}{2}, 0 \right).$$

2. 非対称な障害の発見:
   $d_1 \neq d_2$ のとき、有界性の範囲はHerzの範囲よりも厳密に小さくなる。著者らは、ボホナー–リースの平均 $\sigma^\delta_R(\Delta_{d_1,d_2})$ が $L^p$ 上で一様に有界であるための必要十分条件が以下であることを証明する：
   $$\delta > \max\left( D\left| \frac{1}{p} - \frac{1}{2} \right| - \frac{1}{2}, 0 \right) \quad \text{および} \quad \delta \ge |d_1 - d_2| \left| \frac{1}{p} - \frac{1}{2} \right|,$$
   ここで $D = \max(d_1, d_2)$ であり、$d = \min(d_1, d_2)$ である。

3. 一次元におけるフェフェルマン型の現象:
   本論文は、$\delta \ge |d_1 - d_2| |1/p - 1/2|$ という条件が、2つの端の間の体積成長の不一致から純粋に生じる、必要的な障害であることを確立している。これは、高次元の方向幾何学（カケヤ集合）に関連するフェフェルマン型の障害が、この一次元モデルにおいて、端の間の幾何学的相互作用を通じて現れることを示しており、非常に重要である。

4. スペクトル射影 ($\delta=0$):
   （次数0の）スペクトル射影について、著者らは $d_1 \neq d_2$ の場合、作用素が $L^p$ 上で有界となるのは $p=2$ のときに限られることを示している。これは、$p$ の値の範囲が許容される対称なケースとは対照的である。

5. ヘルダー型のマルチプライヤー定理:
   ボホナー–リースの評価の結果として、著者らはヘルダー型のスペクトルマルチプライヤー定理を導出する。彼らは、マルチプライヤー $F$ がコンパクトな台と十分なソボレフ正則性 $s > \max(D|1/p - 1/2| + 1/2, |d_1 - d_2||1/p - 1/2| + 1)$ を持つ場合、$F(t\Delta_{d_1,d_2})$ が $t$ に関して $L^p$ 上で一様に有界であることを示している。

意義および主張
本論文は、この種の端を持つ多様体に対するボホナー–リースの総和可能性の完全な特徴付けを提供すると主張している。その主な意義は、異なる体積成長を持つ「端」の幾何学が、Herzの径方向理論とは異なる、新しい非自明な $L^p$ 有界性への障害を導入することを実証している点にある。

著者らは、自らの反例が「フェフェルマンの障害の背後にあるカケヤ/ニコディム・メカニズムの、径方向の2端モデルの類似物」を提供していると断言している。彼らは、端を持つ一般的な多様性に対する十分条件の証明は依然として困難な未解決問題であるが、ここで導出された必要条件（特に $|d_1 - d_2|$ に依存する追加の制限）は幾何学的な性質を持つものであり、不等な端を持つ真の多様体においても成立するはずであると示唆している。本論文は、もしこれらの必要条件が正しいならば、このような多様体に対する残りの正の理論は、ユークリッド空間における古典的なボナー–リース予想よりもアクセスしやすいものになるであろうと仮定している。

本研究は、異なる体積成長率の相互作用がスペクトルマルチプライヤーにどのように影響するかを理解するための第一歩として位置づけられており、Herzの径方向理論とフェフェルマンの球マルチプライヤーの障害との間の架け橋となっている。