2025-11-25T04:58:16.614555

Approximating the coefficients of the Bessel functions

Yao
For the type A, BC, and D root systems, we determine equivalent conditions between the coefficients of an exponential holomorphic function and the asymptotic values taken by the Dunkl bilinear form when one of its entries is the function. We establish these conditions over the $|θN| \rightarrow\infty$ regime for the type A and D root systems and over the $|θ_0 N|\rightarrow \infty, \frac{θ_1}{θ_0 N}\rightarrow c\in\mathbb{C}$ regime for the type BC root system. We also generalize existing equivalent conditions over the $θN \rightarrow c\in\mathbb{C}$ regime for the type A root system and over the $θ_0 N\rightarrow c_0\in\mathbb{C}, \frac{θ_1}{θ_0 N}\rightarrow c_1\in\mathbb{C}$ regime for the type BC root system and prove new equivalent conditions over the $θN \rightarrow c\in\mathbb{C}$ regime for the type D root system. Furthermore, we determine the asymptotics of the coefficients of the Bessel functions over the regimes that we have mentioned.
academic

Approximating the coefficients of the Bessel functions

基本信息

  • 论文ID: 2510.10370
  • 标题: Approximating the coefficients of the Bessel functions
  • 作者: Andrew Yao (MIT)
  • 分类: math.CA math-ph math.CO math.MP math.OA math.PR
  • 发表时间: 2024年10月14日 (arXiv v2)
  • 论文链接: https://arxiv.org/abs/2510.10370

摘要

本文针对A型、BC型和D型根系统，确定了指数全纯函数的系数与Dunkl双线性形式渐近值之间的等价条件。研究建立了在∣θN∣→∞|θN| → ∞渐近制度下A型和D型根系统的条件，以及在∣θ0N∣→∞,θ1θ0N→c∈C|θ_0N| → ∞, \frac{θ_1}{θ_0N} → c ∈ ℂ渐近制度下BC型根系统的条件。同时推广了现有的等价条件并确定了相应渐近制度下Bessel函数系数的渐近性质。

研究背景与动机

问题背景

  1. Dunkl算子理论：Dunkl算子是由Charles Dunkl在1989年引入的微分-差分算子，与有限反射群相关联，在调和分析、特殊函数理论和数学物理中具有重要应用。
  2. Bessel函数的渐近行为：与根系统相关的Bessel函数是Dunkl算子的对称本征函数，其系数的渐近行为对理解相关概率测度的收敛性质至关重要。
  3. 自由卷积理论：研究发现Bessel函数的渐近行为与自由概率论中的自由卷积密切相关，特别是在高温极限下。

研究动机

  1. 理论完善：现有研究主要集中在A型根系统，对BC型和D型根系统的完整理论框架尚不完善。
  2. 方法统一：需要发展统一的方法来处理不同类型根系统在各种渐近制度下的行为。
  3. 应用拓展：为随机矩阵理论、自由概率论和数学物理中的相关问题提供理论基础。

核心贡献

  1. 统一框架：建立了处理A型、BC型、D型根系统Bessel函数系数渐近性的统一理论框架。
  2. 新渐近制度：首次完整分析了D型根系统在θN→c∈CθN → c ∈ ℂ制度下的等价条件。
  3. 等价性定理：证明了指数函数系数与Dunkl双线性形式渐近值之间的等价关系（主定理1.1）。
  4. 自由卷积收敛：建立了相关概率测度弱收敛到自由卷积的结果。
  5. Bessel函数一致收敛：在特定条件下证明了Bessel函数的一致收敛性。
  6. 算子理论推广：发展了分次算子环作用于分次向量场的一般理论框架。

方法详解

主要理论框架

根系统和Dunkl算子

文章考虑三类不可约根系统：

  • A_型：AN−1={ei−ej:i,j∈[N],i≠j}A^{N-1} = \{e_i - e_j : i,j ∈ [N], i ≠ j\}
  • BC_N型：包含长根和短根的根系统
  • D_N型：DN={ei±ej:i,j∈[N],i<j}D^N = \{e_i ± e_j : i,j ∈ [N], i < j\}

对应的Dunkl算子分别为： Di(AN−1(θ))=∂i+θ∑j≠i1−sijxi−xjD_i(A^{N-1}(θ)) = ∂_i + θ \sum_{j≠i} \frac{1-s_{ij}}{x_i - x_j}

Di(BCN(θ0,θ1))=∂i+θ11−τixi+θ0∑j≠i(1−sijxi−xj+1−τiτjsijxi+xj)D_i(BC^N(θ_0,θ_1)) = ∂_i + θ_1\frac{1-τ_i}{x_i} + θ_0\sum_{j≠i}\left(\frac{1-s_{ij}}{x_i-x_j} + \frac{1-τ_iτ_js_{ij}}{x_i+x_j}\right)

主要定理结构

定理1.1建立了三个等价性结果：

(A) A型根系统：在lim⁡N→∞∣θN∣=∞\lim_{N→∞}|θN| = ∞下，

  • 条件(a)：系数的特定渐近行为
  • 条件(b)：Dunkl双线性形式的渐近值

(B) BC型根系统：在lim⁡N→∞∣θ0N∣=∞,lim⁡N→∞θ1θ0N=c\lim_{N→∞}|θ_0N| = ∞, \lim_{N→∞}\frac{θ_1}{θ_0N} = c下的等价条件

(C) D型根系统：包含偶次项和奇次项的完整分析

技术创新点

1. 统一的证明方法

发展了适用于所有根系统类型的证明策略，避免了依赖特定于A型的Jack多项式理论。

2. 分次算子环理论

建立了分次算子环R=⊕i≥0RiR = ⊕_{i≥0}R_i作用于分次向量空间V=⊕i≥0ViV = ⊕_{i≥0}V_i的一般框架，其中关键概念包括：

  • 可逆性定义
  • 本征向量存在性
  • 交换性条件

3. 非交叉分割的组合学

利用非交叉分割NC(k)NC(k)和NCeven(k)NC_{even}(k)的组合性质来表达渐近系数：

∏i=1ℓ(ν)∑π∈NC(νi)∏B∈π∣B∣c∣B∣\prod_{i=1}^{ℓ(ν)} \sum_{π∈NC(ν_i)} \prod_{B∈π} |B|c_{|B|}

实验设置

理论验证

本文主要是理论工作，通过以下方式验证结果：

  1. 特殊情况检验：验证已知的A型根系统结果
  2. 极限情况分析：检查各种参数极限下的行为
  3. 组合恒等式验证：确认涉及的组合公式

应用示例

文章提供了几个重要应用：

  1. Vershik-Kerov序列：重现了AN21, BR25的结果并推广到D型
  2. 指数衰减测度：推广了Yao25的Bessel生成函数理论
  3. 自由卷积收敛：建立了测度的弱收敛结果

实验结果

主要理论结果

A型根系统 (∣θN∣→∞|θN| → ∞)

定理6.1：对于k≥1,λ,ν∈Γ[k],ℓ(λ)≤ℓ(ν)k ≥ 1, λ,ν ∈ Γ[k], ℓ(λ) ≤ ℓ(ν)：

[pλ,pν]AN−1(θ)=θk−ℓ(ν)∏l=1ℓ(ν)νlπ(ν)(∏l=1ℓ(ν)xνl)∏i=1ℓ(λ)∑π∈NC(λi)∏B∈πx∣B∣Nk+ℓ(λ)−ℓ(ν)+R(N,θ)[p_λ, p_ν]_{A^{N-1}(θ)} = θ^{k-ℓ(ν)} \prod_{l=1}^{ℓ(ν)} ν_l π(ν) \left(\prod_{l=1}^{ℓ(ν)} x^{ν_l}\right) \prod_{i=1}^{ℓ(λ)} \sum_{π∈NC(λ_i)} \prod_{B∈π} x^{|B|} N^{k+ℓ(λ)-ℓ(ν)} + R(N,θ)

BC型根系统

定理7.1：在相应渐近制度下得到类似结果，但涉及因子(1+c)o(π)(1+c)^{o(π)}，其中o(π)o(π)计算特定的奇偶性。

D型根系统的完整分析

定理8.16：D型根系统的奇次项分析涉及Gamma函数：

[epλ,epν]DN(θ)=∏i=1N−k(1+2(i−1)θ)×(主要项+R(N,θ))[ep_λ, ep_ν]_{D^N(θ)} = \prod_{i=1}^{N-k} (1+2(i-1)θ) \times (\text{主要项} + R(N,θ))

收敛性结果

自由卷积收敛 (推论1.5)

在适当条件下： lim⁡N→∞Ea∼μa(N),b(N)AN−1(θ)[∑i=1N1Nδ(aiθN)]=μ\lim_{N→∞} E_{a∼μ^{A^{N-1}(θ)}_{a^{(N)},b^{(N)}}} \left[\sum_{i=1}^N \frac{1}{N}δ\left(\frac{a_i}{θN}\right)\right] = μ 其中μμ是μaμ_a和μbμ_b的自由卷积。

一致收敛性 (定理10.9)

在Vershik-Kerov序列条件下，Bessel函数在紧集上一致收敛到显式极限函数。

相关工作

历史发展

  1. Dunkl算子理论：Dun89, Opd93 建立了基础理论
  2. A型结果：BGCG22, Yao25 处理了A型根系统
  3. BC型结果：Xu25 研究了BC型的特定情况
  4. Jack多项式方法：BF97, BF98, OO97 使用Jack多项式技术

本文创新

  1. 方法统一：避免依赖Jack多项式，发展了适用于所有类型的方法
  2. D型完整理论：首次给出D型根系统的完整分析
  3. 一般框架：建立了分次算子环的一般理论

结论与讨论

主要结论

  1. 建立了三类根系统Bessel函数系数渐近性的完整理论
  2. 证明了系数条件与Dunkl双线性形式渐近值的等价性
  3. 确立了与自由卷积理论的深层联系
  4. 发展了具有广泛适用性的技术框架

局限性

  1. 非负性假设：某些结果需要重数函数非负的假设
  2. 收敛条件：一致收敛结果需要较强的矩条件
  3. 计算复杂性：实际计算渐近系数仍然复杂

未来方向

  1. 推广到其他根系统：扩展到例外根系统
  2. 去除非负性限制：发展适用于复数参数的理论
  3. 数值方法：开发高效的数值计算方法
  4. 物理应用：探索在统计力学和量子多体系统中的应用

深度评价

优点

  1. 理论深度：建立了完整而深入的理论框架
  2. 方法创新：发展了不依赖特定多项式理论的统一方法
  3. 结果完整：涵盖了所有主要根系统类型和渐近制度
  4. 技术严谨：证明详细且技术上无懈可击
  5. 应用广泛：结果在多个数学分支中有重要应用

不足

  1. 技术门槛高：需要深厚的调和分析和特殊函数理论背景
  2. 计算复杂：实际应用中的计算仍然具有挑战性
  3. 物理直觉：缺乏对结果物理意义的直观解释

影响力

  1. 理论贡献：为Dunkl算子理论提供了重要推进
  2. 方法论价值：发展的技术框架具有广泛适用性
  3. 跨领域影响：连接了调和分析、概率论和数学物理
  4. 后续研究：为相关领域的进一步研究奠定了基础

适用场景

  1. 随机矩阵理论：高温极限下的渐近分析
  2. 自由概率论：非交换概率空间的极限定理
  3. 数学物理：可积系统和量子多体理论
  4. 组合数学：非交叉分割和相关组合结构的研究

这篇论文代表了Dunkl算子理论和相关Bessel函数渐近分析的重要进展，通过建立统一的理论框架，不仅解决了已有的问题，还为未来的研究开辟了新的方向。其技术创新和理论深度使其成为该领域的重要贡献。