几个常见的矩阵超几何函数

超几何函数的一般形式为 p F q _pF_q pFq, 超几何函数的一般形式定义为:
p F q ( a 1 , … , a p ; b 1 , ⋯   , b q ; X ) = ∑ k = 0 ∞ ∑ κ ( a 1 ) κ ⋯ ( a p ) κ ( b 1 ) κ ⋯ ( b q ) κ C κ ( X ) k ! _pF_q(a_1,\dots ,a_p;b_1,\cdots,b_q;\mathrm X)=\sum_{k=0}^\infty\sum_\kappa \frac{(a_1)_\kappa \cdots (a_p)_\kappa}{(b_1)_\kappa \cdots (b_q)_\kappa}\frac{C_\kappa (\mathrm X)}{k!} pFq(a1,,ap;b1,,bq;X)=k=0κ(b1)κ(bq)κ(a1)κ(ap)κk!Cκ(X)
比较常见的超几何函数包括 0 F 0 _0F_0 0F0 1 F 0 _1F_0 1F0 0 F 1 _0F_1 0F1 1 F 1 _1F_1 1F1 2 F 1 _2F_1 2F1 等,下面给出这些函数和矩阵之间的关系。
(1) 0 F 0 _0F_0 0F0
0 F 0 ( X ) = ∑ k = 0 ∞ ∑ κ C κ ( X ) k ! = ∑ k = 0 ∞ ( tr X ) k k ! = etr ( X ) \begin{aligned} _0F_0(\mathrm X)&=\sum_{k=0}^\infty \sum_\kappa \frac{C_\kappa(\mathrm X)}{k!}\\ &=\sum_{k=0}^\infty \frac{(\textrm{tr} \mathrm X)^k}{k!}\\ &=\textrm{etr}( \mathrm X)\end{aligned} 0F0(X)=k=0κk!Cκ(X)=k=0k!(trX)k=etr(X)
(2) 1 F 0 _1F_0 1F0
1 F 0 ( X ) = ∑ k = 0 ∞ ∑ κ ( a ) κ C κ ( X ) k ! ( ∣ ∣ X ∣ ∣ < 1 ) = det ⁡ ( I − X ) − a \begin{aligned} _1F_0(\mathrm X)&=\sum_{k=0}^\infty \sum_\kappa (a)_\kappa \frac{C_\kappa(\mathrm X)}{k!} \hspace {2em} (||\mathrm X||<1)\\ \\&=\det (I- \mathrm X) ^{-a}\end{aligned} 1F0(X)=k=0κ(a)κk!Cκ(X)(X<1)=det(IX)a
(3) 0 F 1 _0F_1 0F1
0 F 1 ( 1 2 n ; 1 4 X X ′ ) = ∫ O ( n ) etr ( X H 1 ) ( d H ) _0F_1({1\over 2}n;{1\over 4}XX')=\int_{O(n)} \textrm{etr}(XH_1) (dH) 0F1(21n;41XX)=O(n)etr(XH1)(dH)

(4) 1 F 1 _1F_1 1F1 (Classical “confluent” hypergeometric function)
1 F 1 ( a ; c ; X ) = Γ m ( c ) Γ m ( a ) Γ m ( c − a ) ∫ 0 < Y < I m etr ( X Y ) ( det ⁡ Y ) a − ( m + 1 ) / 2 ⋅ det ⁡ ( I − Y ) c − a − ( m + 1 ) / 2 ( d Y ) \begin{aligned} _1F_1(a;c;X)=& {\Gamma_m(c)\over \Gamma_m(a)\Gamma_m(c-a)}\int_{0<Y<I_m} \textrm{etr}(XY) (\det Y)^{a-(m+1)/2}\\ \\ &\cdot \det (I-Y)^{c-a-(m+1)/2} (dY) \end{aligned} 1F1(a;c;X)=Γm(a)Γm(ca)Γm(c)0<Y<Imetr(XY)(detY)a(m+1)/2det(IY)ca(m+1)/2(dY)

(5) 2 F 1 _2F_1 2F1 (Gaussian hypergeometric function)
2 F 1 ( a ; b ; c ; X ) = Γ m ( c ) Γ m ( a ) Γ m ( c − a ) ∫ 0 < Y < I m det ⁡ ( I − X Y ) − b ( det ⁡ Y ) a − ( m + 1 ) / 2 ⋅ det ⁡ ( I − Y ) c − a − ( m + 1 ) / 2 ( d Y ) \begin{aligned} _2F_1(a;b;c;X)=& {\Gamma_m(c)\over \Gamma_m(a)\Gamma_m(c-a)}\int_{0<Y<I_m} \det (I-XY)^{-b}(\det Y)^{a-(m+1)/2}\\ \\ &\cdot \det (I-Y)^{c-a-(m+1)/2} (dY) \end{aligned} 2F1(a;b;c;X)=Γm(a)Γm(ca)Γm(c)0<Y<Imdet(IXY)b(detY)a(m+1)/2det(IY)ca(m+1)/2(dY)

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值