首页 > 其他 > 详细

【公式编辑测试】两类斯特林数的对偶

时间:2020-09-12 11:00:16      阅读:49      评论:0      收藏:0      [点我收藏+]

喜闻乐见的公式编辑测试环节,联系太多了,所以肯定写不完

联系下降幂,上升幂,幂

\[(x)^n=x(x+1)...(x+n-1) \(x)_n=x(x-1)...(x-n+1) \]

\[\sum\limits_{k=1}^{n}S_1(n,k)x^k=(x)^n \\sum\limits_{k=1}^{n}(-1)^{n-k}S_1(n,k)x^k=(x)_n \\sum\limits_{k=1}^{n}S_2(n,k)(x)_k=(x)_n=x^n \]

递推关系对偶

\[S_1(n,k)=(n-1)\cdot S_1(n-1,k)+S_1(n-1,k-1) \S_1(0,0)=1 \S_1(n,0)=S_1(0,n)=0 \ for \ n\geq 1 \]

\[S_2(n,k)=k\cdot S_2(n-1,k)+S_2(n-1,k-1)\S_2(0,0)=1 \S_2(n,0)=S_2(0,n)=0 \ for\ n\geq 1 \]

生成函数对偶

\[\sum\limits_{n=0}^{\infty}S_2(n,k)\frac{x^n}{n!}=\frac{(e^x-1)^k}{k!} \]

\[\sum\limits_{n=0}^{\infty}S_1(n,k)\frac{x^n}{n!}=\frac{(ln(x+1))^k}{k!} \]

矩阵

let

\[ A=(a_{ij})_{n\times n}=[\ (-1)^{i-j}S_1(i,j)\ ]_{n\times n}\B=(b_{ij})_{n\times n}=(S_2(i,j))_{n\times n} \]

then

\[AB=BA=I \]

注:这里需要对\(i>n\)的斯特林数做定义,具体的定义方式我这里找不到了

还有一些

\(A(x),B(x)\)分别为\(\{a_n\}_{n=0}^{\infty}\)\(\{b_n\}_{n=0}^{\infty}\)的指数生成函数,以下三命题等价

\[\forall n\geq 0\ \ , b_n=\sum\limits_{i=0}^{\infty}S_2(n,i)a_i\ \forall n\geq 0\ \ , a_n=\sum\limits_{i=0}^{\infty}(-1)^{n-i}S_1(n,i)b_i\ B(x)=A(e^x-1) \ i.e. \ A(x)=B(\ ln(1+x)\ ) \]

\[ \]

【公式编辑测试】两类斯特林数的对偶

原文:https://www.cnblogs.com/yhm138/p/13655950.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!