三角関数の無限乗積展開
提供: miniwiki
数学において、三角関数と双曲線関数について無限乗積を用いた以下の恒等式が成立する。
- [math]\sin{({\pi}z)}={\pi}z\prod_{n=1}^{\infty}{\left(1-\frac{z^2}{n^2}\right)}[/math]
- [math]\cos{({\pi}z)}=\prod_{n=1}^{\infty}{\left(1-\frac{z^2}{(n-\frac{1}{2})^2}\right)}[/math]
- [math]\sinh{({\pi}z)}=\frac{\sin({\pi}iz)}{i}={\pi}z\prod_{n=1}^{\infty}{\left(1+\frac{z^2}{n^2}\right)}[/math]
- [math]\cosh{({\pi}z)}=\cos({\pi}iz)=\prod_{n=1}^{\infty}{\left(1+\frac{z^2}{(n-\frac{1}{2})^2}\right)}[/math]
初等的な考察
[math]\sin({\pi}z)[/math]は複素平面全体で正則(マクローリン展開の収束半径が無限大)であるから無限次の多項式で表される。[math]\sin({\pi}z)[/math]の零点は[math]z={\pm}n[/math]であるから、[math]c[/math]を定数として
- [math]\sin({\pi}z)=cz\prod_{n=1}^{\infty}{\left(1+\frac{z}{n}\right)}{\left(1-\frac{z}{n}\right)}=cz\prod_{n=1}^{\infty}{\left(1-\frac{z^2}{n^2}\right)}[/math]
微分して
- [math]\pi\cos({\pi}z)=c\prod_{n=1}^{\infty}{\left(1-\frac{z^2}{n^2}\right)}+cz\frac{d}{dz}\prod_{n=1}^{\infty}{\left(1-\frac{z^2}{n^2}\right)}[/math]
[math]z=0[/math]を代入すれば[math]c=\pi[/math]を得る。同様に
- [math]\cos({\pi}z)=c'\prod_{n=1}^{\infty}{\left(1+\frac{z}{n-\frac{1}{2}}\right)}{\left(1-\frac{z}{n-\frac{1}{2}}\right)}[/math]
[math]z=0[/math]を代入すれば[math]c'=1[/math]を得る。但し、これは厳密な証明ではない。何故ならば[math]z\to\infty[/math]を考慮していないからである。同じ方法で[math]e^z[/math]の無限乗積展開を求めようとすると失敗するであろう。一般にはワイエルシュトラスの因数分解定理が必要になる。
証明
正弦関数の乗積展開を証明するには
- [math]f(z)=\frac{{\pi}z\prod_{n=1}^{\infty}{\left(1-\frac{z^2}{n^2}\right)}}{\sin({\pi}z)}[/math]
として、恒等的に[math]f(z)=1[/math]であることを示せば良い。そのために[math]f(z)[/math]の対数微分
- [math]\frac{d}{dz}\log{f(z)}=\frac{1}{z}+\sum_{n=1}^{\infty}{\left(\frac{1}{n+z}-\frac{1}{n-z}\right)}-\pi\frac{\cos{{\pi}z}}{\sin{{\pi}z}}[/math]
を考える。余接関数の部分分数展開
- [math]\pi\cot{{\pi}z}=\frac{1}{z}+\sum_{n=1}^{\infty}{\frac{2z}{z^2-n^2}}[/math]
を用いて[math]\frac{d}{dz}\log{f(z)}=0[/math]となるから[math]f(z)[/math]は定数であり、[math]f(z)=f(0)=1[/math]が得られる。
ウォリス積
正弦関数の乗積展開
- [math]\frac{\pi{z}}{\sin\pi{z}}=\prod_{n=1}^{\infty}{\left(\frac{n^2}{n^2-z^2}\right)}[/math]
に[math]z=\textstyle\frac{1}{2}[/math]を代入すると
- [math]\frac{\pi}{2}=\prod_{n=1}^{\infty}\frac{4n^2}{4n^2-1}=\prod_{n=1}^{\infty}\frac{(2n)^2}{(2n-1)(2n+1)}[/math]
が得られる。これはウォリス積と呼ばれるものである。