Q二項定理のソースを表示

{{小文字}}
数学において、'''q二項定理'''（{{lang-en-short|q-binomial theorem}}）は[[二項定理]]の[[q-類似]]である<ref>[http://mathworld.wolfram.com/q-BinomialTheorem.html Wolfram Mathworld: q-Binomial Theorem]</ref>。[[超幾何級数]] <math>_1F_0</math>の和は通常の[[二項定理]]
: <math>_1F_0(a;z)=F(a,b,b;z)=\sum_{n=0}^{\infty}\frac{(a)_n}{(1)_n}z^n=(1-z)^{-a}\qquad(|z|<1)</math>
で与えられる。これに倣い、[[q超幾何級数]]<math>_1\phi_0</math>の和を与える公式
: <math>_1\phi_0\left[\begin{matrix}a\\-\end{matrix};q,z\right]=\sum_{n=0}^{\infty}\frac{(a;q)_n}{(q;q)_n}z^n=\frac{(az;q)_\infty}{(z;q)_\infty}\qquad(|q|<1,|z|<1)</math>
をq二項定理と呼ぶ。ただし、<math>(a)_n</math>は[[ポッホハマー記号]]、<math>(a;q)_n</math>は[[qポッホハマー記号]]である。

== 証明 ==
右辺を<math>\ f(a,z;q)</math>として[[関数方程式]]を導く。
: <math>\begin{align}(1-z)f(a,z;q)
&=(1-z)\sum_{n=0}^{\infty}\frac{(a;q)_n}{(q;q)_n}z^n\\
&=\left(1+\sum_{n=1}^{\infty}\frac{(a;q)_n}{(q;q)_n}z^n\right)-z\sum_{n=0}^{\infty}\frac{(a;q)_n}{(q;q)_n}z^n\\
&=1+\sum_{n=1}^{\infty}\left(\frac{(a;q)_n}{(q;q)_n}z^n-z\frac{(a;q)_{n-1}}{(q;q)_{n-1}}z^{n-1}\right)\\
&=1+\sum_{n=1}^{\infty}\frac{(a;q)_{n-1}}{(q;q)_n}\left((1-aq^{n-1})z^n-(1-q^n)z^n\right)\\
&=1+\sum_{n=1}^{\infty}\frac{(a;q)_{n-1}}{(q;q)_n}\left((1-aq^{n-1})q^nz^n-a(1-q^n)q^{n-1}z^n\right)\\
&=1+\sum_{n=1}^{\infty}\left(\frac{(a;q)_n}{(q;q)_n}(qz)^n-az\frac{(a;q)_{n-1}}{(q;q)_{n-1}}(qz)^{n-1}\right)\\
&=\left(1+\sum_{n=1}^{\infty}\frac{(a;q)_n}{(q;q)_n}(qz)^n\right)-az\sum_{n=0}^{\infty}\frac{(a;q)_n}{(q;q)_n}(qz)^n\\
&=(1-az)\sum_{n=0}^{\infty}\frac{(a;q)_n}{(q;q)_n}(qz)^n\\
&=(1-az)f(a,qz;q)
\end{align}</math>
これにより、左辺を得る。
: <math>\begin{align}f(a,z;q)
&=\frac{1-az}{1-z}f(a,qz;q)\\
&=\lim_{n\to\infty}\frac{(az;q)_n}{(z;q)_n}f(a,q^nz;q)\\
&=\frac{(az;q)_\infty}{(z;q)_\infty}f(a,0;q)\\
&=\frac{(az;q)_\infty}{(z;q)_\infty}\\
\end{align}</math>

== 別証明 ==
左辺を<math>\ g(a,z;q)</math>として[[関数方程式]]を導く。
: <math>\begin{align}(1-z)g(a,z;q)
&=(1-z)\prod_{n=0}^{\infty}\frac{1-azq^n}{1-zq^n}\\
&=(1-z)\frac{1-az}{1-z}\prod_{n=1}^{\infty}\frac{1-azq^n}{1-zq^n}\\
&=(1-az)\prod_{n=0}^{\infty}\frac{1-aqzq^n}{1-qzq^n}\\
&=(1-az)g(a,qz;q)\\
\end{align}</math>
<math>g(a,z;q)</math>を[[テイラー級数]]に展開して<math>z^n</math>の係数を比較すると
: <math>\begin{align}
&g(a,qz;q)=\sum_{n=0}^{\infty}c_nz^n\\
&(1-z)\sum_{n=0}^{\infty}c_nz^n=(1-az)\sum_{n=0}^{\infty}c_n(qz)^n\\
&1+\sum_{n=1}^{\infty}(c_n-c_{n-1})z^n=1+\sum_{n=1}^{\infty}(c_n-ac_{n1})(qz)^n\\
&c_n-c_{n-1}=c_nq^n-ac_{n-1}q^{n-1}\\
&c_n=\frac{1-aq^{n-1}}{1-q^n}c_{n-1}\\
\end{align}</math>
となり、<math>c_0=1</math>であるから
: <math>c_n=\frac{(a;q)_n}{(q;q)_n}</math>
となる。これにより、右辺を得る。
: <math>g(a,z;q)=\sum_{n=0}^{\infty}c_nz^n=\sum_{n=0}^{\infty}\frac{(a;q)_n}{(q;q)_n}z^n</math>

== コーシーの二項定理 ==
コーシーの二項定理はq二項定理の特殊な場合である<ref>[http://mathworld.wolfram.com/CauchyBinomialTheorem.html Wolfram Mathworld: Cauchy Binomial Theorem]</ref>。
: <math>\sum_{n=0}^{N}y^nq^{n(n+1)/2}\begin{bmatrix}N\\n\end{bmatrix}_q=\prod_{k=1}^{N}\left(1+yq^k\right)\qquad(|q|<1)</math>
ただし、
: <math>\begin{bmatrix}N\\n\end{bmatrix}_q</math>
はq二項係数である。q二項定理に<math>a=q^{-N},z=-q^{N+1}y</math>を代入すると
: <math>\sum_{n=0}^{\infty}\frac{(q^{-N};q)_n}{(q;q)_n}(-q^{N+1}y)^n=\frac{(-qy;q)_\infty}{(-q^{N+1}y;q)_\infty}=\prod_{k=0}^{\infty}\frac{1+yq^{1+k}}{1+yq^{N+1+k}}</math>
となるが、左辺は<math>n>N</math>で<math>(q^{-N};q)_n=0</math>となり、右辺は<math>k{\ge}N</math>の分子が<math>k-N</math>の分母を打ち消す。従って、
: <math>\sum_{n=0}^{N}\frac{(q^{-N};q)_n}{(q;q)_n}(-q^{N+1}y)^n=\prod_{k=0}^{N-1}\frac{1+yq^{1+k}}{1+yq^{N+1+k}}=\prod_{k=1}^{N}\left(1+yq^{k}\right)</math>
である。左辺は[[qポッホハマー記号#変換式|qポッホハマー記号の変換式]]<math>(aq^{-n+1};q)_n=(-a)^nq^{-n(n-1)/2}\left(a^{-1};q\right)_n</math>により、
: <math>\begin{align}\sum_{n=0}^{\infty}\frac{(q^{-N};q)_n}{(q;q)_n}(-q^{N+1}y)^n
&=\sum_{n=0}^{\infty}\frac{(q^{-N+n-1}q^{-n+1};q)_n}{(q;q)_n}(-1)^nq^{n(N+1)}y^n\\
&=\sum_{n=0}^{\infty}\frac{(-q^{-N+n-1})^nq^{-n(n-1)/2}(q^{N-n+1};q)_n}{(q;q)_n}(-1)^nq^{n(N+1)}y^n\\
&=\sum_{n=0}^{\infty}\frac{(-1)^nq^{-n(N+1)}q^{n(n+1)/2}(q^{N-n+1};q)_n}{(q;q)_n}(-1)^nq^{n(N+1)}y^n\\
&=\sum_{n=0}^{\infty}\frac{y^nq^{n(n+1)/2}(q^{N-n+1};q)_n}{(q;q)_n}\\
&=\sum_{n=0}^{\infty}\frac{y^nq^{n(n+1)/2}(q;q)_N}{(q;q)_{N-n}(q;q)_n}\\
&=\sum_{n=0}^{N}y^nq^{n(n+1)/2}\begin{bmatrix}N\\n\end{bmatrix}_q\\
\end{align}</math>
となる。

== 出典 ==
<references/>

{{DEFAULTSORT:Qにこうていり}}

[[Category:q-解析学]]
[[Category:解析学の定理]]
[[Category:複素解析]]
[[Category:数論]]
[[Category:数学に関する記事|qきゆうにこうていり]]