2φ1
此条目包含过多行话或专业术语,可能需要简化或提出进一步解释。 (2016年10月1日) |
2φ1是高斯超几何函数2F12F1延伸而来(hypergeometric analogue)[1],最初由德国数学家海因里希·爱德华·海涅(Heinrich Eduard Heine)在19世纪提出。
2φ1也可以用级数定义,可用差分方程(微分方程的q-模拟)描述,可用“积分”表达。
级数定义
假设
- a 是自然数
- {a} := (1-qa) / (1-q)
- {a}! := {a} {a-1} ......{3}{2}{1}
定义[2]
- 2φ1 (qa , qb; qc ; q, z)
- :=Σn=0∞(Πj=0n-1{a+j}{b+j} / {c+j}{1+j})zn
差分方程
假设运算子[3]
- ∂= z 2d/z
- {∂+Y}K(a) := [(1-q∂qx) / (1-p) ] f(c) = ( a(z) - qt f(qz) ) / (1-q)
这样 2φ1 (qa , qb; qc ; q, z) 符合二次差分方程(高斯超几何方程的推广):
- (z{∂+y}{∂+x} - {∂}{∂+d-1})2φ1=0
Jackson积分表示
设
这样
- 2φ1 (qa , qb; qc ; q, z) = Γq(c) /Fq(b)Γq(c-b) .∫[ tb-1{(1-tz)-a} / {(1-t)b-c} ] . dqt / (1-t)
参考来源
参考书目
- "EFK": Pavel I. Etingof / Igor B. Frenkel / Alexander A. Kirillov (1998) : Lectures on Representation Theory and Knizhnik-Zamolodchikov Equations , ISBN 0-8218-0496-0
- G. Gasper / M. Rahman (1990) : Basic hypergeometric series, Cambridge University Press