[論文レビュー] Oscillating multipliers on rank one locally symmetric spaces

Papageorgiou, Effie|arXiv (Cornell University)|Sep 24, 2018

Advanced Harmonic Analysis Research参考文献 49被引用数 3

ひとこと要約

本稿は、一様対称空間における振動型乗数の Lp 有界性を、ユークリッド空間からの古典的結果の拡張として確立する。Kunze-Stein 現象とスペクトル論を用いて、α ∈ (0,1) のとき、Re β > αn|1/p − 1/2| ならば Lp(M) 上で乗数が有界であることを証明し、α = 1 のときは群 Γ の収束型条件が成り立つ場合に有界性が成立し、鋭い減衰閾値が得られる。

ABSTRACT

We prove $L^{p}$-boundedness of oscillating multipliers on some classes of rank one locally symmetric spaces.

研究の動機と目的

• ユークリッド空間から一様対称空間への振動型乗数の Lp 有界性理論を拡張すること。
• 特に臨界指数 δ(Γ) および収束型といった幾何学的・力学的性質が乗数の有界性に与える影響を調査すること。
• α ∈ (0,1)、α = 1、α > 1 の各場合における β に対する Lp 有界性の鋭い条件を確立すること。
• 商空間 Γ\G/K の設定に合わせて Kunze-Stein 現象およびスペクトル乗数技法を適応すること。

提案手法

• 局所一様対称空間上での Kunze-Stein 現象を用い、K-両側不変核に関する積分的評価により Lp 作用素ノルムの推定を行う。
• スペクトル論を適用し、α > 0 のとき乗数作用素 bTα,β を熱に類似た半群 e^{(i−σ)Δ^{α/2}_M} に関する積分として表現する。
• Riesz-Thorin 補間定理を用いて L2 と L∞ の境界の間を補間し、核 qσ における減衰推定を活用する。
• Cartan 分解と Patterson-Sullivan 測度を用いて、核級数内での Γ-軌道和の収束を制御する。
• 逆球面フーリエ変換および球面関数 ϕλ の性質を用いて、乗数 mα,β(λ) を分析する。
• Clerc–Stein 乗数定理の必要条件部分を適用し、α > 1 のとき、有界性が L2 のみに成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 一様対称空間上での α ∈ (0,1) のとき、bTα,β が Lp(M) 上で有界となる β に関する条件は何か？
• RQ2 離散群 Γ の力学的性質、特に δ(Γ) と収束型が bT1,β の Lp 有界性に与える影響は何か？
• RQ3 α > 1 のとき、bTα,β の Lp 有界性が L2 を除いて失敗する理由は何か？何がそのスペクトル的・解析的障害となっているのか？
• RQ4 Kunze-Stein 現象を対称空間からその局所対称商に Lp 評価を拡張するためにどの程度利用可能か？
• RQ5 n, p, α に関して Re β の正確な閾値は何か？この閾値は鋭いか？

主な発見

• α ∈ (0,1) のとき、M が Kunze-Stein 現象が成り立つクラス (KS) 属する限り、Re β > αn|1/p − 1/2| ならば bTα,β は Lp(M) 上で有界である。
• α = 1 のとき、bT1,β は p ∈ (1, ∞) に対して、δ(Γ) < 2ρ または Γ が δ(Γ) = 2ρ の収束型である場合に有界であり、閾値は Re β > (n−1)|1/p − 1/2| である。
• α > 1 のとき、bTα,β は L2(M) 上でのみ有界であり、作用素ノルムは一様に有界であるが、p ≠ 2 のとき Lp 有界性は成立しない。これは複素平面内のいかなる帯状領域でも乗数が有界でないことに起因する。
• bTqσ の Lp 作用素ノルムは、σ ≥ 1 のとき ∥bTqσ∥_{Lp→Lp} ≤ cp e^{−kpσ}、σ < 1 のとき ∥bTqσ∥_{Lp→Lp} ≤ cp σ^{(1−n)(1/2−1/p)} と推定され、これは bT1,β の積分表現において中心的役割を果たす。
• Γ-不変核級数 bqσ(x,y) = ∑_{γ∈Γ} qσ(x, γy) は同じ条件下で収束することが確立され、bTqσ が M 上で適切に定義されることを保証する。
• 補間と双対性を用いて Lp 有界性の鋭さが確認され、α = 1 の場合、Re β = (n−1)|1/p − 1/2| が閾値であることが判明。同様に α ∈ (0,1) の場合にも同様の閾値が成立する。