Two characterizations of Sheffer-Dunkl sequences

基本信息

• 论文ID: 2501.01364
• 标题: Two characterizations of Sheffer-Dunkl sequences
• 作者: Alejandro Gil Asensi, Judit Mínguez Ceniceros (Universidad de La Rioja)
• 分类: math.CA (Classical Analysis and ODEs)
• 发表时间: 2025年1月2日
• 论文链接: https://arxiv.org/abs/2501.01364

摘要

Sheffer多项式可以通过不同的Stieltjes积分来刻画。这些多项式族最近被推广到Dunkl上下文中，其中一些经典算子如导数算子或差分算子被Dunkl宇宙中的类似算子所替代。本文建立了两个有助于刻画Sheffer-Dunkl多项式的Stieltjes积分。

研究背景与动机

问题背景

1. 经典Sheffer多项式理论：Sheffer多项式是一类重要的多项式序列，可以通过生成函数或线性算子来定义，在组合数学和特殊函数理论中有广泛应用。
2. Dunkl理论的兴起：Dunkl算子是经典导数算子的推广，定义为： $\Lambda_\nu f(x) = \frac{d}{dx}f(x) + \frac{2\nu + 1}{2}\left(\frac{f(x) - f(-x)}{x}\right)$ 其中$\nu > -1$是固定参数，当$\nu = -1/2$时退化为经典导数算子。
3. Sheffer-Dunkl多项式的提出：在Dunkl框架下，经典的Sheffer多项式被推广为Sheffer-Dunkl多项式，其中阶乘$n!$被$\gamma_{n,\nu}$替代，指数函数被Dunkl指数函数$E_\nu(t)$替代。

研究动机

1. 理论完整性：虽然Sheffer-Dunkl多项式已被定义和研究，但缺乏类似经典情况下的积分刻画定理。
2. 方法统一性：经典Sheffer多项式有Thorne定理和Sheffer定理两种积分刻画，需要将这些结果推广到Dunkl情况。
3. 应用需求：积分刻画对于构造具体的多项式族和解决矩问题具有重要意义。

核心贡献

1. 建立了Sheffer-Dunkl多项式的Thorne型刻画：将经典的Thorne定理推广到Dunkl框架，给出了基于有界变分函数$\alpha_\nu(x)$的积分刻画。
2. 建立了Sheffer-Dunkl多项式的Sheffer型刻画：将经典的Sheffer定理推广到Dunkl框架，通过Dunkl平移算子和关联多项式给出积分表示。
3. 提供了丰富的具体例子：构造了多个重要Sheffer-Dunkl多项式族的相应测度，包括截断多项式、Bernoulli-Dunkl多项式、Euler-Dunkl多项式等。
4. 揭示了Dunkl理论中的新现象：发现某些矩问题仅在特定参数范围内有正测度解。

方法详解

任务定义

本文的核心任务是为Sheffer-Dunkl多项式建立两种积分刻画：

• 输入：形式幂级数$g(t)$和$f(t)$
• 输出：相应的Sheffer-Dunkl多项式序列$\{s_{n,\nu}(x)\}_{n=0}^{\infty}$
• 约束：通过Stieltjes积分和有界变分函数来刻画

理论框架

Dunkl基础理论

1. Dunkl算子： $\Lambda_\nu f(x) = \frac{d}{dx}f(x) + \frac{2\nu + 1}{2}\left(\frac{f(x) - f(-x)}{x}\right)$
2. 广义阶乘：2^{2k}k!(\nu + 1)_k, & \text{if } n = 2k \\ 2^{2k+1}k!(\nu + 1)_{k+1}, & \text{if } n = 2k + 1 \end{cases}$$
3. Dunkl指数函数： $E_\nu(t) = \sum_{n=0}^{\infty} \frac{t^n}{\gamma_{n,\nu}} = I_\nu(t) + \frac{1}{2(\nu + 1)}G_\nu(t)$
4. Dunkl平移算子： $\tau_y f(x) = \sum_{n=0}^{\infty} \frac{\Lambda_\nu^n f(x) y^n}{\gamma_{n,\nu}}$

Sheffer-Dunkl多项式定义

对于形式幂级数： $g(t) = \sum_{n=0}^{\infty} \frac{b_n}{\gamma_{n,\nu}} t^n, \quad f(t) = \sum_{n=1}^{\infty} \frac{a_n}{\gamma_{n,\nu}} t^n$

Sheffer-Dunkl多项式$\{s_{n,\nu}(x)\}_{n=0}^{\infty}$满足： $\frac{1}{g(\bar{f}(t))} E_\nu(x\bar{f}(t)) = \sum_{n=0}^{\infty} s_{n,\nu}(x) \frac{t^n}{\gamma_{n,\nu}}$

主要定理

定理1（Thorne型刻画）

多项式序列$\{s_{n,\nu}(x)\}_{n=0}^{\infty}$是Sheffer-Dunkl序列当且仅当存在有界变分函数$\alpha_\nu(x)$使得：

1. 矩积分存在：$\mu_{n,\nu} = \int_{-\infty}^{\infty} x^n d\alpha_\nu(x)$且$\mu_{0,\nu} \neq 0$
2. 正交性条件：$\int_{-\infty}^{\infty} L_f^r s_{n,\nu}(x) d\alpha_\nu(x) = \gamma_{n,\nu}\delta_{n,r}$

此时：$g(t) = \int_{-\infty}^{\infty} E_\nu(xt) d\alpha_\nu(x)$

定理3（Sheffer型刻画）

多项式序列$\{s_{n,\nu}(x)\}_{n=0}^{\infty}$是Sheffer-Dunkl序列当且仅当存在有界变分函数$\beta_\nu(x)$使得：

1. 矩积分存在：$\omega_{n,\nu} = \int_{-\infty}^{\infty} x^n d\beta_\nu(x)$且$\omega_{0,\nu} \neq 0$
2. 积分表示：$s_{n,\nu}(x) = \int_{-\infty}^{\infty} \tau_t(p_{n,\nu})(x) d\beta_\nu(t)$

其中$\{p_{n,\nu}(x)\}_{n=0}^{\infty}$是$f(t)$的关联Dunkl多项式。

技术创新点

1. 算子推广的一致性：巧妙地将经典的导数算子、平移算子统一推广为相应的Dunkl算子，保持了理论结构的完整性。
2. 测度构造技术：采用Fourier变换方法构造相应的有界变分函数，特别是利用辅助函数： $F(t) = \sum_{n=0}^{\infty} \frac{i^n}{2\pi n!} \mu_{n,\nu} t^n$
3. 参数约束的发现：揭示了某些矩问题仅在特定参数范围内有解，如$-1 < \nu \leq -1/2$的约束条件。

实验设置

研究对象

论文研究了以下几类重要的Sheffer-Dunkl多项式：

1. 截断Appell-Dunkl多项式
2. 离散截断Appell-Dunkl多项式
3. Bernoulli-Dunkl多项式
4. Euler-Dunkl多项式
5. Boole-Dunkl多项式

方法验证

对每类多项式，论文：

1. 计算相应的矩序列$\{\mu_{n,\nu}\}$或$\{\omega_{n,\nu}\}$
2. 构造辅助函数$F(t)$
3. 通过Fourier变换得到测度函数
4. 验证积分条件的满足性

实验结果

主要结果

截断多项式

• 生成函数：$\frac{E_\nu(xt)}{1-t} = \sum_{n=0}^{\infty} A_{n,\nu}(x) \frac{t^n}{\gamma_{n,\nu}}$
• 矩序列：$\mu_{0,\nu} = 1, \mu_{1,\nu} = -\gamma_{1,\nu}, \mu_{n,\nu} = 0$ (n≥2)
• 测度函数：$\alpha_\nu(x) = \delta_0(x) + \gamma_{1,\nu}\delta_0'(x)$
• 正测度条件：$-1 < \nu \leq -1/2$时，$\beta_\nu(x) = \frac{|x|^{\nu+1}(K_\nu(|x|) + \text{sgn}K_{\nu+1}(|x|))}{2^{\nu+1}\Gamma(\nu+1)}$

Bernoulli-Dunkl多项式

• 生成函数：$\frac{E_\nu(xt)}{I_{\nu+1}(t)} = \sum_{n=0}^{\infty} B_{n,\nu}(x) \frac{t^n}{\gamma_{n,\nu}}$
• 矩序列：$\mu_{n,\nu} = \begin{cases} \frac{\gamma_{2k,\nu}}{\gamma_{2k,\nu+1}} = \frac{\nu+1}{\nu+k+1}, & n=2k \\ 0, & n=2k+1 \end{cases}$
• 测度函数：$\alpha_\nu(x) = \begin{cases} 0, & x < -1 \\ (\nu+1)|x|^{2\nu+1}, & -1 < x < 1 \\ 0, & x > 1 \end{cases}$

Euler-Dunkl多项式

• 生成函数：$\frac{E_\nu(xt)}{I_\nu(t)} = \sum_{n=0}^{\infty} E_{n,\nu}(x) \frac{t^n}{\gamma_{n,\nu}}$
• 矩序列：$\mu_{n,\nu} = \begin{cases} 1, & n=2k \\ 0, & n=2k+1 \end{cases}$
• 测度函数：$\alpha_\nu(x) = \frac{1}{2}(\delta_{-1}(x) + \delta_1(x))$

重要发现

1. 参数约束的必要性：发现某些矩问题仅在特定参数范围内有正测度解，这是Dunkl理论特有的现象。
2. 测度的具体形式：成功构造了多个重要多项式族的显式测度表达式，涉及修正Bessel函数等特殊函数。
3. 理论的完整性：验证了两种刻画定理在具体例子中的一致性和有效性。

相关工作

经典理论基础

1. Thorne (1945)：建立了Appell多项式的积分刻画
2. Sheffer (1945)：给出了Sheffer多项式的一般积分刻画
3. Roman & Rota (1978-1984)：发展了Umbral演算理论

Dunkl理论发展

1. Dunkl (1989)：引入Dunkl算子
2. Rosenblum (1994)：研究Dunkl平移算子
3. Gil Asensi等 (2024)：建立Sheffer-Dunkl多项式的Umbral演算理论

相关应用

1. Ciaurri等 (2018-2019)：研究Bernoulli-Dunkl和Euler-Dunkl多项式
2. Durán等 (2023)：研究Dunkl阶乘的矩问题

结论与讨论

主要结论

1. 成功建立了Sheffer-Dunkl多项式的两种积分刻画定理，完善了Dunkl理论框架
2. 构造了多个重要多项式族的显式测度，解决了相应的矩问题
3. 揭示了Dunkl参数对矩问题可解性的影响

局限性

1. 计算复杂性：某些矩问题的测度构造仍然困难，如一般Bernoulli-Dunkl多项式的Sheffer型刻画
2. 参数限制：正测度的存在性往往受到参数$\nu$的严格限制
3. 特殊函数依赖：结果涉及大量特殊函数，增加了应用的技术门槛

未来方向

1. 研究更一般的Sheffer-Dunkl多项式族的矩问题
2. 探索多变量Dunkl情况下的积分刻画
3. 发展更有效的测度构造算法

深度评价

优点

1. 理论贡献显著：将经典的积分刻画理论完整地推广到Dunkl框架，填补了重要理论空白
2. 方法系统性强：两种刻画定理相互补充，提供了完整的理论图景
3. 例子丰富具体：通过大量具体例子验证了理论的有效性和实用性
4. 技术处理精细：在测度构造和Fourier变换应用方面展现了高超的技术水平

不足

1. 部分问题未解决：某些重要多项式族的完整刻画仍然缺失
2. 计算方法有限：对于复杂的矩问题，缺乏系统的求解算法
3. 应用场景不够明确：理论结果的实际应用价值需要进一步探索

影响力

1. 理论价值高：为Dunkl理论的发展提供了重要的理论工具
2. 方法可推广：所用技术可能适用于其他广义正交多项式理论
3. 启发性强：为相关领域的研究提供了新的思路和方法

适用场景

1. 特殊函数理论研究
2. 广义正交多项式构造
3. 矩问题和测度理论应用
4. 数学物理中的Dunkl算子应用

参考文献

论文引用了25篇重要文献，涵盖了Umbral演算、Dunkl理论、特殊函数和矩问题等多个相关领域的经典和最新研究成果，体现了作者对相关文献的深入了解和全面掌握。