[论文解读] 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

一句话总结

本文建立了关于一维 Cherednik–Opdam 变换及其逆变换的 Hausdorff–Young 不等式，并证明了该逆变换的一个实 Paley–Wiener 定理，推广了 Jacobi 分析中的结果。关键贡献在于证明了扩展变换 $ \mathscr{H}_p $ 的逆几乎处处（$ \nu $-a.e.）与 $ \mathscr{I}_{p'} $ 重合，且该逆变换像中的函数是具有紧支集 Fourier 变换的指数型整函数。

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.

研究动机与目标

• 将 Cherednik–Opdam 变换 $ \mathcal{H} $ 从 $ L^2(\mathbb{R}, d\mu) $ 扩展到 $ L^p(\mathbb{R}, d\mu) $（$ 1 \leq p \leq 2 $），通过 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 $-a.e.）与 $ \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) $。
• 使用 Plancherel 测度及对 $ \mathbf{c} $-函数的渐近估计，特别是 $ |\mathbf{c}_{\alpha,\beta}(\lambda)|^{-2} \asymp |\lambda|^{2\alpha+1} $。
• 将函数 $ g $ 分解为偶部与奇部，以处理非对称测度 $ d\nu $，并应用 [And03] 中的已知结果。
• 利用 Harish-Chandra 级数展开与 Gangolli 型估计控制 Jacobi 函数的衰减与 $ L^2(\mathbb{R}, d\mu) $ 中的可积性。

实验结果

研究问题

• RQ1 扩展的 Cherednik–Opdam 变换 $ \mathscr{H}_p $ 的逆是否几乎处处（$ \nu $-a.e.）与 $ \mathscr{I}_{p'} $ 重合？
• RQ2 能否为 Cherednik–Opdam 变换的逆建立一个类似于 Jacobi 与 Dunkl 分析中的实 Paley–Wiener 定理？
• RQ3 $ \mathbf{c} $-函数与特征函数 $ \operatorname{G}_\lambda^{(\alpha,\beta)} $ 的行为如何影响逆变换的 $ L^p $-有界性与衰减性质？
• RQ4 逆变换像中函数的精确衰减与增长行为是什么，特别是与指数型及紧支集的关系如何？

主要发现

• 扩展变换 $ \mathscr{H}_p $ 的逆几乎处处（$ \nu $-a.e.）与 $ \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 $。
• 函数 $ 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} $ 对所有 $ m,n \in \mathbb{N}_0 $ 属于 $ 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 $ 的控制。