[论文解读] A unified approach to $q$-special functions of the Laplace type

Yousuke Ohyama|arXiv (Cornell University)|Mar 27, 2011

Mathematical functions and polynomials参考文献 11被引用 11

一句话总结

本文通过拉普拉斯型 $q$-差分方程框架，从基本超几何函数 ${}_2ﴝﴝ(a,b;c;q,x)$ 的退化出发，提出了一套统一的 $q$-特殊函数分类方法。它识别出七个不同的类别，通过剪切变换和规范变换建立了双 $q$-艾尔米特函数之间的联系，并将其与 $q$-Painlevé 方程及特殊解关联起来。

ABSTRACT

We propose a unified approach to $q$-special functions, which are degenerations of basic hypergeometric functions ${}_2ϕ_1(a,b;c;q,x)$. We obtain a list of seven different class of $q$-special functions: ${}_2ϕ_1, {}_1ϕ_1$, two different types of the $q$-Bessel functions, the $q$-Hermite-Weber functions, two different types of the $q$-Airy functions. We show that there exist a relation between two types of the $q$-Airy functions.

研究动机与目标

• 建立 $q$-特殊函数的统一理论，尽管已有大量文献，但目前尚缺乏系统分类。
• 解决难以判断不同 $q$-特殊函数（如多重 $q$-贝塞尔函数或 $q$-艾尔米特函数）是否本质上不同或彼此关联的难题。
• 将经典特殊函数中使用的合流与变量分离方法，通过 $q$-差分方程推广至 $q$-情形。
• 通过拉普拉斯型 $q$-差分方程的矩阵形式，对 $q$-超几何函数进行分类，识别出七种典型类型。
• 建立不同 $q$-特殊函数之间的联系，特别是通过剪切与规范变换，证明两种 $q$-艾尔米特函数的等价性。

提出的方法

• 将经典的拉普拉斯型微分方程分类方法适配至 $q$-差分方程，考虑具有线性系数的二阶方程：$(a_0 + b_0 x)u(xq^2) + (a_1 + b_1 x)u(xq) + (a_2 + b_2 x)u(x) = 0$。
• 引入 $2 \times 2$ 系统的矩阵形式 $Y(xq) = (A_0 + A_1 x)Y(x)$，以处理具有更多参数和对称性的高阶 $q$-差分方程。
• 应用两种关键变换：利用 $q$-乘积和 theta 函数的剪切变换与规范变换，以简化并关联解。
• 通过分析矩阵 $A(x) = A_0 + A_1 x$ 的结构，对 $q$-差分方程进行分类，基于 $A_0$ 和 $A_1$ 的代数性质，得出七种不同情形。
• 利用 $q$-超几何级数（如 ${}_2\varphi_1$、${}_1\varphi_1$、${}_0\varphi_1$ 和 ${}_2\varphi_0$）推导每种情形的基本解矩阵。
• 通过比较 $q$-差分方程的结构与已知特殊解，建立 $q$-特殊函数与 $q$-Painlevé 方程之间的联系。

实验结果

研究问题

• RQ1 能否建立一个类似于经典合流与变量分离方法的 $q$-特殊函数统一分类框架？
• RQ2 两种已知的 $q$-艾尔米特函数之间存在何种关系？尽管其级数表示不同，它们是否本质上等价？
• RQ3 在单一分类体系中，不同 $q$-贝塞尔函数（如 Jackson 的、Hahn-Exton 的）之间有何关联？
• RQ4 $q$-差分方程的矩阵形式在多大程度上能揭示经典标量形式中不可见的隐藏对称性与约化？
• RQ5 哪些 $q$-超几何函数对应于 $q$-Painlevé 方程的特殊解，它们通过变换理论如何相互关联？

主要发现

• 识别出七种不同的 $q$-特殊函数类别：${}_2\varphi_1$、${}_1\varphi_1$、${}_1\varphi_1(a;0)$、两种类型的 $q$-贝塞尔函数（$J_\nu^{(1)}$ 和 $J_\nu^{(3)}$）、$q$-艾尔米特函数，以及拉马努金函数 ${}_0\varphi_1(-;0)$。
• 通过剪切变换表明，两种 $q$-艾尔米特函数本质上是等价的，尽管其作为 $q$-级数的形式不同，且通过 Morita 的结果确认了连接公式。
• $q$-贝塞尔函数 $J_\nu^{(3)}(x;q)$（即 Hahn-Exton 的 $q$-贝塞尔函数）被确认为最自然的典型 $q$-贝塞尔函数候选。
• 通过剪切变换，拉马努金函数 ${}_0\varphi_1(-;0)$ 与 $q$-艾尔米特函数相联系，将两个看似不同的函数联系起来。
• 七种 $q$-超几何函数中的五种对应于 $q$-Painlevé 方程的特殊解，其中 Jackson 的第一类 $q$-贝塞尔函数 ${}_2\varphi_1(0,0;c)$ 与 $q$-$P_{\textrm{III}}$ 相关。
• $q$-艾尔米特函数 $\mathrm{Ai}_q(x)$（由 Hamamoto-Kajiwara-Witte 引入）被确认为经典艾尔米特函数最合适的 $q$-类比。