2025-11-24T12:22:17.375783

$m$-step rational extensions of the trigonometric Darboux-Pöschl-Teller potential based on para-Jacobi polynomials

Grandati, Quesne
A previous construction of regular rational extensions of the trigonometric Darboux-Pöschl-Teller potential, obtained by one-step Darboux transformations using seed functions associated with the para-Jacobi polynomials of Calogero and Yi, is generalized by considering $m$-step Darboux transformations. As a result, some novel families of exceptional orthogonal polynomials depending on $m$ discrete parameters, as well as $m$ continuous real ones $λ_1$, $λ_2$, \ldots, $λ_m$, are obtained. The restrictions imposed on these parameters by the rational extensions regularity conditions are studied in detail.
academic

mm-step rational extensions of the trigonometric Darboux-Pöschl-Teller potential based on para-Jacobi polynomials

基本信息

  • 论文ID: 2410.05003
  • 标题: mm-step rational extensions of the trigonometric Darboux-Pöschl-Teller potential based on para-Jacobi polynomials
  • 作者: Y. Grandati (LPCT UMR 7019, Université de Lorraine), C. Quesne (Université Libre de Bruxelles)
  • 分类: math-ph math.MP nlin.SI quant-ph
  • 提交时间: 2024年10月
  • 论文链接: https://arxiv.org/abs/2410.05003

摘要

本文将之前通过单步Darboux变换构造的三角Darboux-Pöschl-Teller势的正则有理扩展推广到mm步情形。该构造使用与Calogero和Yi的准Jacobi多项式相关的种子函数。结果获得了依赖于mm个离散参数以及mm个连续实参数λ1,λ2,…,λm\lambda_1, \lambda_2, \ldots, \lambda_m的新型异常正交多项式族。文章详细研究了有理扩展正则性条件对这些参数施加的限制。

研究背景与动机

问题背景

  1. 异常正交多项式(EOPs)的重要性: EOPs是作为Sturm-Liouville特征值问题特征函数出现的完整正交多项式族，与经典的Jacobi、Laguerre和Hermite多项式的主要区别在于其度数序列存在间隙，对应的微分方程包含有理系数而非多项式系数。
  2. 参数依赖性的发展: 2015年之前，人们认为EOPs的构造中除了对应经典正交多项式的参数外，只出现离散参数。但后来发现了依赖连续参数的更一般EOP族的可能性。
  3. 现有方法的局限性: 之前的研究主要集中在单步Darboux变换，限制了所能构造的EOP族的复杂性和一般性。

研究动机

本文的核心动机是完成文献24中的研究，该研究局限于单步DT。通过研究多步版本，可以导出依赖任意数量自由连续参数的新型异常准Jacobi多项式族。

核心贡献

  1. 推广单步构造到mm步: 将基于准Jacobi多项式的单步Darboux变换推广到mm步情形，显著扩展了构造的一般性。
  2. 新型EOP族的构造: 获得了依赖于mm个离散参数和mm个连续实参数的异常正交多项式新族。
  3. 正则性条件的完整分析: 详细研究了有理扩展正则性条件对参数施加的限制，为每种情况提供了明确的条件。
  4. 显式表达式: 提供了扩展势、本征函数和正交多项式的显式Wronskian表达式。

方法详解

任务定义

构造三角Darboux-Pöschl-Teller势的mm步有理扩展，使得：

  • 扩展势在区间]0,π/2[]0, \pi/2[上正则
  • 对应的本征函数构成完整的正交函数族
  • 相关的异常正交多项式依赖于连续参数

核心方法框架

1. Darboux变换链

对于mm步DT链Nm=(−n1−1,−n2−1,…,−nm−1)N_m = (-n_1-1, -n_2-1, \ldots, -n_m-1)，变换序列为： V(x;N,M)→A(ψ−n1−1)V(−n1−1)→A(ψ−n2−1(−n1−1))⋯→A(ψ−nm−1(Nm−1))V(Nm)V(x;N,M) \xrightarrow{A(\psi_{-n_1-1})} V^{(-n_1-1)} \xrightarrow{A(\psi_{-n_2-1}^{(-n_1-1)})} \cdots \xrightarrow{A(\psi_{-n_m-1}^{(N_{m-1})})} V^{(N_m)}

2. 准Jacobi多项式种子函数

使用准Jacobi多项式构造的种子函数： ψ−n−1(z;N,M;λ)=ψ−1(z;N,M)pn(−N,−M)(z;λ)\psi_{-n-1}(z;N,M;\lambda) = \psi_{-1}(z;N,M) p_n^{(-N,-M)}(z;\lambda)

其中pn(−N,−M)(z;λ)p_n^{(-N,-M)}(z;\lambda)是依赖实参数λ\lambda的准Jacobi多项式： pn(−N,−M)(z;λ)=(−2)n(n−M)!n!(2n−M−N)!Θn,1(−N,−M)(z)+λ(−2)n(2n−M−N+1)!(M+N−n−1)!(n−N)!Θn,2(−N,−M)(z)p_n^{(-N,-M)}(z;\lambda) = \frac{(-2)^n (n-M)!n!}{(2n-M-N)!} \Theta_{n,1}^{(-N,-M)}(z) + \lambda \frac{(-2)^n (2n-M-N+1)! (M+N-n-1)!}{(n-N)!} \Theta_{n,2}^{(-N,-M)}(z)

3. 正则性条件

mm步扩展的正则性要求： sign(λ1⋯λm)=(−1)m(m−1)/2∏j=1msign((−1)nj−N−M+1λj+(−1)Mλnj(N,M))\text{sign}(\lambda_1\cdots\lambda_m) = (-1)^{m(m-1)/2} \prod_{j=1}^m \text{sign}\left((-1)^{n_j-N-M+1}\lambda_j + (-1)^M \lambda_{n_j}^{(N,M)}\right)

通过递推关系，第mm步的条件简化为： sign(λm)=(−1)m−1sign((−1)nm−N−M+1λm+(−1)Mλnm(N,M))\text{sign}(\lambda_m) = (-1)^{m-1}\text{sign}\left((-1)^{n_m-N-M+1}\lambda_m + (-1)^M \lambda_{n_m}^{(N,M)}\right)

技术创新点

  1. 多步Wronskian表示: 使用Wronskian行列式的性质，将mm步扩展的势和本征函数表示为准Jacobi多项式的Wronskian。
  2. 参数约束的系统分析: 通过边界行为分析，导出了保证正则性的参数约束条件的完整分类。
  3. 递推构造: 建立了从(m−1)(m-1)步到mm步扩展的递推关系，简化了高阶情况的分析。

实验设置

理论验证

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

  1. 显式计算: 对N=M=3N=M=3的情况进行详细计算，验证公式的正确性。
  2. 边界条件检验: 验证构造的势在边界处的行为满足物理要求。
  3. 正交性验证: 确认构造的多项式满足正交关系。

具体例子

以N=M=3N=M=3，(n1,n2)=(4,3)(n_1,n_2)=(4,3)为例：

  • 准Jacobi多项式：p3(−3,−3)(z;λ)=z3+(3−2λ)z2+3z+1−23λp_3^{(-3,-3)}(z;\lambda) = z^3 + (3-2\lambda)z^2 + 3z + 1-\frac{2}{3}\lambda
  • 正则性条件：−2<λ1<0,0<λ2<3-2 < \lambda_1 < 0, 0 < \lambda_2 < 3
  • 扩展势的显式表达式通过Wronskian给出

实验结果

主要结果

  1. 完整的参数分类: 根据MM、ni−Nn_i-N的奇偶性，给出了所有情况下的正则性条件：
    • 偶数情况：(M,nm−N)∈(2N)2(M,n_m-N) \in (2\mathbb{N})^2时，λm>λnm(N,M)\lambda_m > \lambda_{n_m}^{(N,M)}或λm<0\lambda_m < 0
    • 奇数情况：(M,nm−N)∈(2N+1)2(M,n_m-N) \in (2\mathbb{N}+1)^2时，−λnm(N,M)<λm<0-\lambda_{n_m}^{(N,M)} < \lambda_m < 0
  2. 扩展势的显式形式: V(Nm)(x;N,M;λ1,…,λm)=V(x;N−m,M−m)+E−m(N,M)+ΔVV^{(N_m)}(x;N,M;\lambda_1,\ldots,\lambda_m) = V(x;N-m,M-m) + E_{-m}(N,M) + \Delta V

其中ΔV\Delta V由准Jacobi多项式的Wronskian行列式的对数导数给出。

  1. 正交多项式族: 构造的Qk(n1,…,nm)(z;N,M;λ1,…,λm)Q_k^{(n_1,\ldots,n_m)}(z;N,M;\lambda_1,\ldots,\lambda_m)在]−1,1[]-1,1[上关于测度 μn1⋯nm(−N,−M)(z;λ1,…,λm)=(1−z)N−m(1+z)M−m(det⁡[R(z;λ1,…,λm)])2\mu_{n_1\cdots n_m}^{(-N,-M)}(z;\lambda_1,\ldots,\lambda_m) = \frac{(1-z)^{N-m}(1+z)^{M-m}}{(\det[R(z;\lambda_1,\ldots,\lambda_m)])^2} 正交。

可视化结果

论文提供了V(−5,−4)(z;3,3;λ1,λ2)V^{(-5,-4)}(z;3,3;\lambda_1,\lambda_2)的三维图形，展示了势随参数的连续变化。

相关工作

历史发展

  1. EOPs的早期研究: 从数学角度研究零点性质、递推关系和分类问题
  2. 物理应用: 与精确可解量子势、Dirac方程、超可积系统的联系
  3. 连续参数的出现: 2015年后发现的依赖连续参数的EOP族

本文的定位

本文是文献24的自然推广，完成了从单步到多步Darboux变换的理论框架，与合流Darboux变换25-27和对偶化方法28-29形成互补。

结论与讨论

主要结论

  1. 成功将单步准Jacobi多项式构造推广到任意mm步情形
  2. 获得了依赖mm个连续参数的新EOP族
  3. 完整确定了保证正则性的参数约束条件
  4. 提供了所有相关量的显式Wronskian表达式

局限性

  1. 参数约束的复杂性: 正则性条件依赖于多个参数的奇偶性，实际应用中需要仔细检验
  2. 计算复杂度: 高阶Wronskian行列式的计算在mm较大时变得复杂
  3. 物理解释: 虽然数学上严格，但多参数族的物理意义有待进一步探索

未来方向

论文提出寻找本结果与其他生成依赖任意数量连续参数的EOP方法之间可能关系的开放问题。

深度评价

优点

  1. 理论完整性: 提供了从单步到mm步的完整理论框架，数学推导严格
  2. 方法系统性: 通过Wronskian技术统一处理不同阶数的情况
  3. 结果的一般性: 获得的EOP族具有很高的一般性，包含多个连续参数
  4. 技术创新: 巧妙利用准Jacobi多项式的性质和Darboux变换的递推结构

不足

  1. 计算复杂性: 高阶情况的显式计算变得非常复杂
  2. 应用导向不足: 主要是理论构造，缺乏具体的物理或数值应用
  3. 与其他方法的比较: 未充分比较与合流方法等其他构造EOP的途径

影响力

  1. 理论贡献: 为异常正交多项式理论提供了重要的新构造方法
  2. 方法论价值: Wronskian技术的系统应用为相关研究提供了范式
  3. 开放性: 提出的开放问题为后续研究指明了方向

适用场景

  1. 数学物理: 精确可解量子系统的研究
  2. 特殊函数理论: 正交多项式的分类和性质研究
  3. 可积系统: 与Painlevé方程等可积系统的联系

参考文献

论文引用了35篇相关文献，主要包括：

  • EOPs的奠基性工作 1,20,21
  • Darboux变换的经典理论 30
  • 准Jacobi多项式的原始工作 22,23
  • 合流Darboux变换的相关研究 25-27

这篇论文在异常正交多项式和精确可解量子系统的交叉领域做出了重要的理论贡献，为该领域的进一步发展奠定了坚实基础。