2025-11-11T15:04:08.833064

Two characterizations of Sheffer-Dunkl sequences

Asensi, Ceniceros

Sheffer polynomials can be characterized using different Stieltjes integrals. These families of polynomials have been recently extended to the Dunkl context. In this way some classical operators as the derivative operator or the difference operator are replaced as analogous operators in the Dunkl universe. In this paper we establish two Stieltjes integrals that help us to characterize the Sheffer-Dunkl polynomials.

academic

Sheffer-Dunkl数列の2つの特性化

基本情報

論文ID: 2501.01364
タイトル: Two characterizations of Sheffer-Dunkl sequences
著者: Alejandro Gil Asensi、Judit Mínguez Ceniceros（ラ・リオハ大学）
分類: math.CA（古典解析と常微分方程式）
発表日: 2025年1月2日
論文リンク: https://arxiv.org/abs/2501.01364

要旨

Sheffer多項式は異なるStieltjes積分を通じて特性化することができます。これらの多項式族は最近Dunkl文脈に一般化されており、導関数演算子や差分演算子などの古典的演算子がDunkl宇宙における類似の演算子に置き換えられています。本論文は、Sheffer-Dunkl多項式の特性化に役立つ2つのStieltjes積分を確立しています。

研究背景と動機

問題背景

古典的Sheffer多項式理論：Sheffer多項式は生成関数または線形演算子を通じて定義される重要な多項式数列であり、組合せ論と特殊関数理論に広く応用されています。
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$ のとき古典的導関数演算子に退化します。
Sheffer-Dunkl多項式の提案：Dunkl枠組みにおいて、古典的なSheffer多項式はSheffer-Dunkl多項式に一般化されており、階乗 $n!$ が $\gamma_{n,\nu}$ に、指数関数がDunkl指数関数 $E_\nu(t)$ に置き換えられています。

研究動機

理論的完全性：Sheffer-Dunkl多項式は定義され研究されていますが、古典的な場合と同様の積分特性化定理が不足しています。
方法の統一性：古典的Sheffer多項式にはThorne定理とSheffer定理という2つの積分特性化があり、これらの結果をDunkl情況に一般化する必要があります。
応用の必要性：積分特性化は具体的な多項式族の構成とモーメント問題の解決に重要な意義を持ちます。

核心的貢献

Sheffer-Dunkl多項式のThorne型特性化の確立：古典的なThorne定理をDunkl枠組みに一般化し、有界変分関数 $\alpha_\nu(x)$ に基づく積分特性化を提供しました。
Sheffer-Dunkl多項式のSheffer型特性化の確立：古典的なSheffer定理をDunkl枠組みに一般化し、Dunkl平移演算子と関連多項式を通じた積分表現を提供しました。
豊富な具体例の提供：切断多項式、Bernoulli-Dunkl多項式、Euler-Dunkl多項式など、複数の重要なSheffer-Dunkl多項式族の対応する測度を構成しました。
Dunkl理論における新現象の発見：特定のパラメータ範囲内でのみ正測度解を持つモーメント問題が存在することを発見しました。

方法の詳細

タスク定義

本論文の核心的タスクはSheffer-Dunkl多項式に対して2つの積分特性化を確立することです：

入力：形式的べき級数 $g(t)$ と $f(t)$
出力：対応するSheffer-Dunkl多項式数列 $\{s_{n,\nu}(x)\}_{n=0}^{\infty}$
制約：Stieltjes積分と有界変分関数を通じた特性化

理論的枠組み

Dunkl基礎理論

Dunkl演算子： $\Lambda_\nu f(x) = \frac{d}{dx}f(x) + \frac{2\nu + 1}{2}\left(\frac{f(x) - f(-x)}{x}\right)$
一般化階乗： $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}$$$
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)$
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)$ が存在して以下を満たすことは同値です：

モーメント積分の存在： $\mu_{n,\nu} = \int_{-\infty}^{\infty} x^n d\alpha_\nu(x)$ かつ $\mu_{0,\nu} \neq 0$
直交性条件： $\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)$ が存在して以下を満たすことは同値です：

モーメント積分の存在： $\omega_{n,\nu} = \int_{-\infty}^{\infty} x^n d\beta_\nu(x)$ かつ $\omega_{0,\nu} \neq 0$
積分表現： $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多項式です。

技術的革新点

演算子一般化の一貫性：古典的な導関数演算子と平移演算子を巧妙に対応するDunkl演算子に一般化し、理論構造の完全性を保持しました。
測度構成技術：Fourier変換法を採用して対応する有界変分関数を構成し、特に補助関数を利用しました： $F(t) = \sum_{n=0}^{\infty} \frac{i^n}{2\pi n!} \mu_{n,\nu} t^n$
パラメータ制約の発見：特定のモーメント問題が特定のパラメータ範囲内でのみ解を持つことを明らかにしました。例えば $-1 < \nu \leq -1/2$ の制約条件があります。

実験設定

研究対象

論文は以下の重要なSheffer-Dunkl多項式族を研究しました：

切断Appell-Dunkl多項式
離散切断Appell-Dunkl多項式
Bernoulli-Dunkl多項式
Euler-Dunkl多項式
Boole-Dunkl多項式

方法検証

各多項式族に対して、論文は以下を実施しました：

対応するモーメント数列 $\{\mu_{n,\nu}\}$ または $\{\omega_{n,\nu}\}$ を計算
補助関数 $F(t)$ を構成
Fourier変換を通じて測度関数を取得
積分条件の充足性を検証

実験結果

主要結果

切断多項式

生成関数： $\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))$