三角関数の無限乗積展開

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "三角関数の無限乗積展開" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年7月)

数学において、三角関数と双曲線関数について無限乗積を用いた以下の恒等式が成立する。

${\displaystyle \sin {({\pi }z)}={\pi }z\prod _{n=1}^{\infty }{\left(1-{\frac {z^{2}}{n^{2}}}\right)}}$

${\displaystyle \cos {({\pi }z)}=\prod _{n=1}^{\infty }{\left(1-{\frac {z^{2}}{(n-{\frac {1}{2}})^{2}}}\right)}}$

${\displaystyle \sinh {({\pi }z)}={\frac {\sin({\pi }iz)}{i}}={\pi }z\prod _{n=1}^{\infty }{\left(1+{\frac {z^{2}}{n^{2}}}\right)}}$

${\displaystyle \cosh {({\pi }z)}=\cos({\pi }iz)=\prod _{n=1}^{\infty }{\left(1+{\frac {z^{2}}{(n-{\frac {1}{2}})^{2}}}\right)}}$

${\displaystyle \sin({\pi }z)}$は複素平面全体で正則(マクローリン展開の収束半径が無限大)であるから無限次の多項式で表される。${\displaystyle \sin({\pi }z)}$の零点は${\displaystyle z=\dotsc ,-1,0,+1,\dotsc }$であるから、${\displaystyle c}$を定数として

${\displaystyle \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)}}$

微分して

${\displaystyle \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)}}$

${\displaystyle z=0}$を代入すれば${\displaystyle c=\pi }$を得る。同様に

${\displaystyle \cos({\pi }z)=c'\prod _{n=1}^{\infty }{\left(1+{\frac {z}{n-1/2}}\right)}{\left(1-{\frac {z}{n-1/2}}\right)}}$

${\displaystyle z=0}$を代入すれば${\displaystyle c'=1}$を得る。但し、これは厳密な証明ではない。何故ならば${\displaystyle z\to \infty }$を考慮していないからである。同じ方法で${\displaystyle e^{z}}$の無限乗積展開を求めようとすると失敗するであろう。一般にはワイエルシュトラスの因数分解定理が必要になる。

正弦関数の乗積展開を証明するには

${\displaystyle f(z)={\frac {{\pi }z\prod _{n=1}^{\infty }{\left(1-{\frac {z^{2}}{n^{2}}}\right)}}{\sin({\pi }z)}}}$

として、恒等的に${\displaystyle f(z)=1}$であることを示せば良い。そのために${\displaystyle f(z)}$の対数微分

${\displaystyle {\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}}}}$

を考える。余接関数の部分分数展開

${\displaystyle \pi \cot {{\pi }z}={\frac {1}{z}}+\sum _{n=1}^{\infty }{\frac {2z}{z^{2}-n^{2}}}}$

を用いて${\displaystyle {\frac {d}{dz}}\log {f(z)}=0}$となるから${\displaystyle f(z)}$は定数であり、${\displaystyle f(z)=f(0)=1}$が得られる。

${\displaystyle \alpha \in (0,1)}$ とし、区間 ${\displaystyle [-\pi ,\pi ]}$ で定義された関数 ${\displaystyle f(x)=\cos(\alpha x)}$ を考える。

これを周期 ${\displaystyle 2\pi }$ で延長した関数のフーリエ級数は区間 ${\displaystyle [-\pi ,\pi ]}$ において ${\displaystyle f}$ に各点収束する。

${\displaystyle f(x)={\frac {2\alpha \sin \pi \alpha }{\pi }}\left({\frac {1}{2\alpha ^{2}}}+\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{\alpha ^{2}-n^{2}}}\cos nx\right)}$

${\displaystyle x=\pi }$ を代入すると

${\displaystyle \cot \pi \alpha -{\frac {1}{\pi \alpha }}={\frac {2\alpha }{\pi }}\sum _{n=1}^{\infty }{\frac {1}{\alpha ^{2}-n^{2}}}}$

ここで ${\displaystyle z\in (0,1)}$ をとる。${\displaystyle \alpha \in (0,z)}$であるとき、${\displaystyle \left|{\frac {1}{\alpha ^{2}-n^{2}}}\right|\leq {\frac {1}{n^{2}-z^{2}}}}$であり、また ${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}-z^{2}}}}$ は収束することから、

ワイエルシュトラスのM判定法より上式は ${\displaystyle \alpha \in (0,z)}$ において一様収束する。よって上式は区間 ${\displaystyle [0,z]}$ において積分できる。

${\displaystyle \ln {\frac {\sin \pi z}{\pi z}}=\sum _{n=1}^{\infty }\ln \left(1-{\frac {z^{2}}{n^{2}}}\right)}$

これより ${\displaystyle \sin \pi z=\pi z\prod _{n=1}^{\infty }\left(1-{\frac {z^{2}}{n^{2}}}\right)}$ が得られる。

正弦関数の乗積展開

${\displaystyle {\frac {\pi {z}}{\sin \pi {z}}}=\prod _{n=1}^{\infty }{\left({\frac {n^{2}}{n^{2}-z^{2}}}\right)}}$

に${\displaystyle z=\textstyle {\frac {1}{2}}}$を代入すると

${\displaystyle {\frac {\pi }{2}}=\prod _{n=1}^{\infty }{\frac {4n^{2}}{4n^{2}-1}}=\prod _{n=1}^{\infty }{\frac {(2n)^{2}}{(2n-1)(2n+1)}}}$

が得られる。これはウォリス積と呼ばれるものである。

• 三角関数の無限乗積展開 - 理系ノート
• 部分分数展開 - 理系ノート
• 複素関数論における無限積の公式 (PDF)
• Weisstein, Eric W. "Infinite Product". mathworld.wolfram.com (英語).