[论文解读] $r$-extension of Dunkl operator in one variable and Bessel functions of vector index

Ahmed Fitouhi, Lazhar Dhaouadi+1 more|arXiv (Cornell University)|Sep 24, 2012

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

一句话总结

本文利用循环群 $C_r$ 和 $r$ 次单位根，引入了一元 Dunkl 算子的 $r$-扩展，构造了一个微分差分算子 $D_{\nu}$，其 $r$ 次幂等于广义贝塞尔型微分算子 $\Delta_{\nu}$。关键贡献在于，$D_{\nu}$ 的本征函数由向量指标 $\mu = (\alpha_0, \dots, \alpha_{r-1})$ 的贝塞尔函数给出，当 $r=2$ 时推广了经典 Dunkl 算子。该框架为基于 $r$-对称函数空间和转位算子的新调和分析奠定了基础。

ABSTRACT

In this work we present an operator $D_μ$ constructed with the help of the cyclic group set of the $r^{\small th}$ roots of unity. This operator constitute an $r$-extension of the Dunkl operator in one variable because when $r=2$ it reduces to the classical one and admits as eigenfunctions the Bessel functions of vector index early deeply studied by Klyuchantsev. This paper is argued by specific examples and contains some interesting results which are the prelude of harmonic analysis related to this operator.

研究动机与目标

• 将一元经典 Dunkl 算子推广为使用循环群 $C_r$ 和 $r$ 次单位根的 $r$ 阶扩展。
• 定义一个微分差分算子 $D_{\\mu}$，其 $r$ 次幂生成广义贝塞尔型算子 $\Delta_{\mu}$，从而扩展经典调和分析。
• 建立向量指标 $\mu$ 的贝塞尔函数在 $D_{\mu}$ 下的本征函数性质，推广 $r=2$ 的情形。
• 发展基础工具，如 $r$-偶函数与 $r$-奇函数的分解、投影算子 $T_k$，以及傅里叶变换和转位算子的 $r$-扩展。

提出的方法

• 定义循环群 $C_r = \{1, \omega, \omega^2, \dots, \omega^{r-1}\}$，其中 $\omega = e^{2\pi i / r}$，并利用其构造 $r$-对称函数空间 $F_k$。
• 引入投影算子 $T_k = \frac{1}{r} \sum_{n=0}^{r-1} s_k^n$，其中 $s_k g(x) = \omega^k g(\omega x)$，以将函数空间分解为不变子空间。
• 构造 Dunkl 算子的 $r$-扩展为 $D_{\mu} = \frac{d}{dx} + \frac{1}{x} \sum_{k=0}^{r-1} a_k T_k$，其中系数 $a_k = r\alpha_k + k$。
• 定义广义贝塞尔算子 $\Delta_{\mu} = L_{a_{r-1}} \circ \cdots \circ L_{a_0}$，其中 $L_a(f) = x^{-a} \frac{d}{dx}(x^a f)$，并证明在 $F_k$ 上有 $D_{\mu}^r = \Delta_{\mu}$。
• 建立傅里叶变换的 $r$-扩展 $\mathcal{F}_{\mu}$，并证明其与 $D_{\mu}$ 的交织性质，满足 $\mathcal{F}_{\mu} D_{\mu} g(\lambda) = -\theta \lambda \mathcal{F}_{\mu} g(\lambda)$，在自伴性条件下成立。
• 证明算子 $D_{\mu}$ 通过傅里叶系数的线性系统与一维 Dunkl-Opdam 算子 $T(\kappa)$ 等价，但因其逆问题中存在超定性而严格更一般。

实验结果

研究问题

• RQ1 如何利用循环群 $C_r$ 将一维经典 Dunkl 算子推广为 $r$ 阶微分差分算子？
• RQ2 扩展算子 $D_{\mu}$ 的 $r$ 次幂与广义贝塞尔型算子 $\Delta_{\mu}$ 之间有何关系？
• RQ3 向量指标 $\mu = (\alpha_0, \dots, \alpha_{r-1})$ 的贝塞尔函数是否为 $D_{\mu}$ 的本征函数？它们如何推广经典贝塞尔函数？
• RQ4 能否构造一个转位算子以关联 $D_{\mu}$ 与标准导数？其在傅里叶变换的 $r$-扩展中起何作用？
• RQ5 所提出的 $D_{\mu}$ 与一维 Dunkl-Opdam 算子的特殊化形式有何关系？在何种意义上它是恰当的推广？

主要发现

• 在每个不变子空间 $F_k$ 上，$D_{\mu}$ 的 $r$-扩展满足 $D_{\mu}^r = \Delta_{\mu}$，推广了 $r=2$ 时的经典情形。
• 向量指标 $\mu$ 的贝塞尔函数是 $D_{\mu}$ 的本征函数，本征值方程 $D_{\mu} f = \lambda f$ 在 $F_k$ 分解下成立。
• 傅里叶变换的 $r$-扩展 $\mathcal{F}_{\mu}$ 通过转位算子定义，并满足 $\mathcal{F}_{\mu} D_{\mu} g(\lambda) = -\theta \lambda \mathcal{F}_{\mu} g(\lambda)$，当 $D_{\mu}^* = -D_{\mu}$ 时成立，建立了谱联系。
• $D_{\mu}$ 推广了一维 Dunkl-Opdam 算子 $T(\kappa)$，但严格更一般：虽然 $T(\kappa)$ 可嵌入于 $D_{\mu}$，但反之则需解一个超定系统，通常无解。
• 通过投影算子 $T_k$ 将函数分解为 $r$-偶与 $r$-奇部分，使得 $D_{\mu}$ 可表示为导数与加权移位算子之和，且 $D_{\mu}$ 将 $F_k$ 映射到 $F_{k+1}$。
• 使用黎曼-刘维尔变换及其积分表示来表达本征函数，支持转位框架，为未来调和分析奠定了基础。