[論文レビュー] Extremizers for Fourier restriction on hyperboloids

Emanuel Carneiro, Diogo Oliveira e Silva+1 more|arXiv (Cornell University)|Aug 12, 2017

Advanced Mathematical Physics Problems参考文献 35被引用数 3

ひとこと要約

本稿は、クイロドラーン（2014）における双曲面上の鋭いフーリエ制限不等式に関する2つの未解決問題を解決する。具体的には、(d,p) = (1,6) のエンドポイントケースにおける最適定数を計算し、次元 d ∈ {1,2} のすべての非エンドポイントケースで極値関数の存在を証明する。解析では、集中・コンパクトネス法、ストリカルツ推定、特異測度の畳み込み性質を組み合わせ、ソボレフ空間における弱収束と強収束の議論を通じて極値関数の存在を確立する。

ABSTRACT

The $L^2 o L^p$ adjoint Fourier restriction inequality on the $d$-dimensional hyperboloid $\mathbb{H}^d \subset \mathbb{R}^{d+1}$ holds provided $6 \leq p < \infty$, if $d=1$, and $2(d+2)/d \leq p\leq 2(d+1)/(d-1)$, if $d\geq2$. Quilodrán recently found the values of the optimal constants in the endpoint cases $(d,p)\in\{(2,4),(2,6),(3,4)\}$ and showed that the inequality does not have extremizers in these cases. In this paper we answer two questions posed by Quilodrán, namely: (i) we find the explicit value of the optimal constant in the endpoint case $(d,p) = (1,6)$ (the remaining endpoint for which $p$ is an even integer) and show that there are no extremizers in this case; and (ii) we establish the existence of extremizers in all non-endpoint cases in dimensions $d \in \{1,2\}$. This completes the qualitative description of this problem in low dimensions.

研究の動機と目的

• 双曲面上の鋭いフーリエ制限理論における極値関数と最適定数に関する未解決問題を解決する。
• p が偶数整数で d=1 である残りのエンドポイントケース (d,p) = (1,6) を扱う。
• 次元 d ∈ {1,2} のすべての非エンドポイントケースで極値関数の存在を確立し、低次元における定性的な図画像を完成させる。
• 極値関数列の分析を集中・コンパクトネス法とストリカルツ型推定を用いて拡張する。
• 低次元における双曲面上の L²→Lᵖ 隣接フーリエ制限不等式の極値関数と最適定数を完全に記述する。

提案手法

• 双曲面上のフーリエ拡張作用素に対する極値関数列を分析するため、集中・コンパクトネスの原則を用いる。
• H^{1/2}(ℝᵈ) 上のユニタリ群 e^{it√(1−Δ)} を適用し、ノルムと弱収束を保存する。
• Rellichの定理を用いて、H^{1/2}(B_R) における弱収束をコンパクト集合上での強L²収束に高める。
• 半径 R_j → ∞ における増大する半径の対角線的議論を用いて、ℝᵈ×ℝ 上 almost everywhere 点ごとの収束を有する部分列を抽出する。
• T(g_n) → T(g) が ℝᵈ×ℝ 上 almost everywhere 点ごとの収束および L²(ℝᵈ) 上のノルム収束を満たすことを活用し、ℝᵈ×ℝ 上での強L²収束を結論づける。
• 補題17を適用して、極値関数列が L²(ℝᵈ) で強収束することを示し、極値関数の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 双曲面上のフーリエ制限不等式において、エンドポイントケース (d,p) = (1,6) の最適定数の値は何か？
• RQ2 次元 d ∈ {1,2} の非エンドポイントケースにおいて、L²→Lᵖ フーリエ制限不等式の極値関数は存在するか？
• RQ3 双曲面のローレンツ不変測度および関連する拡張作用素の性質が、極値関数の存在にどのように影響するか？
• RQ4 スケーリング不変性が欠如する、例えば双曲面上のような状況において、集中・コンパクトネス法を極値関数の存在証明に適応可能か？
• RQ5 クライン＝ゴルドン伝搬作用素とストリカルツ推定は、双曲面上の極値関数列の解析において果たす役割は何か？

主な発見

• エンドポイントケース (d,p) = (1,6) における最適定数は、明示的に H_{1,6} = 2^{3/4}π として計算された。
• 不等式が (d,p) = (1,6) の場合に極値関数は存在しない。これはクイロドラーンの以前の非存在結果を拡張する。
• 次元 d = 1 および d = 2 のすべての非エンドポイントケースで極値関数が存在し、低次元における極値関数存在の分類が完成した。
• 証明は、H^{1/2}(ℝᵈ) における弱収束とコンパクト集合上での強L²収束を通じて、ℝᵈ×ℝ 上での極値関数列の L² 収束に依拠している。
• 著者らは、部分列に対して ℝᵈ×ℝ 上 almost everywhere 点ごとの収束 T(g_n) → T(g) および L²(ℝᵈ) 上のノルム収束が成り立つことを確立した。これにより収束定理の適用が可能になった。
• 解析により、極値関数が存在しない唯一のケースは、d > 1 かつ p が偶数整数であるエンドポイントケースであり、今や (d,p) = (1,6) も含まれる。