[論文レビュー] Remarks on the inverse Cherednik-Opdam transform on the real line

Troels Roussau Johansen|arXiv (Cornell University)|Feb 4, 2015

Mathematical Analysis and Transform Methods参考文献 8被引用数 6

ひとこと要約

本稿では、1次元のCherednik–Opdam変換およびその逆変換についてHausdorff–Young不等式を確立し、逆変換に関して実Paley–Wiener定理を証明する。これはジャコビ解析の結果を一般化する。主な貢献は、拡張された変換 $ \mathscr{H}_p $ の逆が $ \nu $-ほとんど everywhere で $ \mathscr{I}_{p'} $ と一致すること、および逆変換の像に属する関数が、コンパクトな台を持つフーリエ変換と指数型の整関数であることを示すことにある。

ABSTRACT

We obtain Hausdorff-Young inequalities for the one-dimensional Cherednik--Opdam transform and its inverse, and we establish a real Paley-Wiener theorem for its inverse that generalizes an analogous result by N. B. Andersen for the Jacobi transform.

研究の動機と目的

• $ L^2(\mathbb{R}, d\mu) $ 上のCherednik–Opdam変換 $ \mathcal{H} $ を $ 1 \leq p \leq 2 $ に対して $ L^p(\mathbb{R}, d\mu) $ にHausdorff–Young不等式を用いて拡張すること。
• 逆変換 $ \mathcal{I} = \mathcal{H}^{-1} $ に対して、同様のHausdorff–Young不等式を $ L^q(\mathbb{R}, d\nu) $ に拡張すること。
• 逆Cherednik–Opdam変換に関して実Paley–Wiener定理を証明し、 $ \mathcal{I} $ によるコンパクトな台を持つ滑らかな関数の像を特徴付けること。
• 拡張された変換 $ \mathscr{H}_p $ の逆が $ \nu $-ほとんど everywhere で $ \mathscr{I}_{p'} $ と一致することを示すこと。これは超群構造が存在しないにもかかわらず成り立つ。

提案手法

• 超群を形成しないにもかかわらず、Cherednik–Opdam変換に関連する一般化された平行移動および畳み込み構造の使用。
• Hausdorff–Young不等式の適用により、 $ \mathcal{H} $ と $ \mathcal{I} $ をそれぞれ $ L^p $ および $ L^q $ 空間に拡張すること。
• 固有関数 $ \operatorname{G}_\lambda^{(\alpha,\beta)}(x) $ の積分公式 $ \operatorname{G}_\lambda(x)\operatorname{G}_\lambda(y) = \int_\mathbb{R} \operatorname{G}_\lambda(z) \, d\mu_{x,y}^{(\alpha,\beta)}(z) $ の利用。
• プランシュレ測度および $ \mathbf{c} $-関数の漸近的評価、特に $ |\mathbf{c}_{\alpha,\beta}(\lambda)|^{-2} \asymp |\lambda|^{2\alpha+1} $ の使用。
• 異方的測度 $ d\nu $ を取り扱うために関数 $ g $ を偶関数部と奇関数部に分解し、[And03] で知られている結果を適用すること。
• ガンゴリ型推定およびジャコビ関数のHarish-Chandra級数展開を用いて、 $ L^2(\mathbb{R}, d\mu) $ 内の減衰性と可積分性を制御すること。

実験結果

リサーチクエスチョン

• RQ1 拡張されたCherednik–Opdam変換 $ \mathscr{H}_p $ の逆が $ \nu $-ほとんど everywhere で $ \mathscr{I}_{p'} $ と一致するか？
• RQ2 ジャコビ解析やDunkl解析におけるものと類似する、逆Cherednik–Opdam変換に関して実Paley–Wiener定理を確立できるか？
• RQ3 $ \mathbf{c} $-関数および固有関数 $ \operatorname{G}_\lambda^{(\alpha,\beta)} $ の振る舞いが、逆変換の $ L^p $-有界性および減衰性にどのように影響するか？
• RQ4 逆変換の像に属する関数の正確な減衰・成長挙動、特に指数型およびコンパクトな台との関係は何か？

主な発見

• 拡張された変換 $ \mathscr{H}_p $ の逆が $ \nu $-ほとんど everywhere で $ \mathscr{I}_{p'} $ と一致し、拡張された変換間の双対性を確立する。
• 逆Cherednik–Opdam変換は $ L^q(\mathbb{R}, d\nu) $ を $ L^p(\mathbb{R}, d\mu) $ に写し、 $ p $ と $ q $ は共役指数であり、Hausdorff–Young不等式を満たす。
• 実Paley–Wiener定理を確立した： $ g \in L^2(\mathbb{R}, d\nu) $ がコンパクトな台を持つならば、 $ \mathcal{I}g $ は $ R_{\mathcal{I}g} = R $ である指数型の整関数である。
• 任意の $ m,n \in \mathbb{N}_0 $ に対して、関数 $ x \mapsto (1+|x|)^m \int_\mathbb{R} \lambda^{2n} \operatorname{G}_\lambda(x) g(\lambda) \left(1 - \frac{\rho}{i\lambda}\right) \frac{d\lambda}{8\pi |\mathbf{c}_{\alpha,\beta}(\lambda)|^2} $ は $ L^2(\mathbb{R}, d\mu) $ に属し、滑らかさと減衰性を保証する。
• 渐近的挙動 $ |\mathbf{c}_{\alpha,\beta}(\lambda)|^{-2} \asymp |\lambda|^{2\alpha+1} $ により、逆変換の $ L^2 $-可積分性に不可欠な減衰推定が可能になる。
• 分解 $ g = g_e + g_o $ と関係式 $ \operatorname{G}_\lambda = \varphi_\lambda^{(\alpha,\beta)} + \frac{\rho}{4(\alpha+1)} \sinh(2x) \varphi_\lambda^{(\alpha+1,\beta+1)} $ の使用により、異方的測度 $ d\nu $ の取り扱いが可能になった。