3角関数・双曲線関数の無限乗積展開
3角関数・双曲線関数の無限乗積展開
3角関数・双曲線関数を無限乗積展開すると次のようになる。
3角関数・双曲線関数を無限乗積展開すると次のようになる。
(1)
\[ \sin\left(\pi z\right)=\pi z\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right) \](2)
\[ \cos\left(\pi z\right)=\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right) \](3)
\[ \sinh\left(\pi z\right)=\pi z\prod_{k=1}^{\infty}\left(1+\frac{z^{2}}{k^{2}}\right) \](4)
\[ \cosh\left(\pi z\right)=\prod_{k=1}^{\infty}\left(1+\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right) \](1)
\begin{align*} \frac{d}{dz}\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right) & =\frac{d}{dz}\exp\log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)\\ & =\frac{d}{dz}\exp\sum_{k=1}^{\infty}\log\left(1-\frac{z^{2}}{k^{2}}\right)\\ & =\left\{ \exp\sum_{k=1}^{\infty}\log\left(1-\frac{z^{2}}{k^{2}}\right)\right\} \frac{d}{dz}\sum_{k=1}^{\infty}\log\left(1-\frac{z^{2}}{k^{2}}\right)\\ & =\left\{ \exp\log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)\right\} \sum_{k=1}^{\infty}\frac{-\frac{2z}{k^{2}}}{1-\frac{z^{2}}{k^{2}}}\\ & =\left\{ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)\right\} \sum_{k=1}^{\infty}\frac{2z}{z^{2}-k^{2}}\\ & =\left\{ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)\right\} \sum_{k=1}^{\infty}\left(\frac{1}{z-k}+\frac{1}{z+k}\right)\\ & =\left\{ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)\right\} \left(\sum_{k=-\infty}^{\infty}\frac{1}{z+k}-\frac{1}{z}\right)\\ & =\left\{ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)\right\} \left(\pi\tan^{-1}\left(\pi z\right)-\frac{1}{z}\right)\cmt{\because\pi\tan^{-1}\pi x=\sum_{k=-\infty}^{\infty}\frac{1}{x+k}} \end{align*} これより、\[ \left(\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)\right)^{-1}\frac{d}{dz}\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)=\pi\tan^{-1}\left(\pi z\right)-\frac{1}{z} \] となり、
\[ \frac{d}{dz}\log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)=\pi\tan^{-1}\left(\pi z\right)-\frac{1}{z} \] となる。
両辺\(z\)について積分すると、
\begin{align*} \log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right) & =\int\left(\pi\tan^{-1}\left(\pi z\right)-\frac{1}{z}\right)dz\\ & =\log\sin\left(\pi z\right)-\log z+C\\ & =\log\frac{\sin\left(\pi z\right)}{z}+C \end{align*} これより、
\[ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)=e^{C}\frac{\sin\left(\pi z\right)}{z} \] となり\(z\rightarrow0\)を代入すると\(C=\log\frac{1}{\pi}\)が求まるので、
\[ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right)=\frac{\sin\left(\pi z\right)}{\pi z} \] となるので、両辺に\(\pi z\)を掛けてると、
\[ \sin\left(\pi z\right)=\pi z\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{k^{2}}\right) \] となり与式が求まる。
(2)
\begin{align*} \frac{d}{dz}\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right) & =\frac{d}{dz}\exp\log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\\ & =\frac{d}{dz}\exp\sum_{k=1}^{\infty}\log\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\\ & =\left\{ \exp\sum_{k=1}^{\infty}\log\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\right\} \frac{d}{dz}\sum_{k=1}^{\infty}\log\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\\ & =\left\{ \exp\log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\right\} \sum_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)^{-1}\frac{-2z}{\left(k-\frac{1}{2}\right)^{2}}\\ & =\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\sum_{k=1}^{\infty}\frac{2z}{z^{2}-\left(k-\frac{1}{2}\right)^{2}}\\ & =\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\sum_{k=1}^{\infty}\left(\frac{1}{z-\left(k-\frac{1}{2}\right)}+\frac{1}{z+\left(k-\frac{1}{2}\right)}\right)\\ & =\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\sum_{k=-\infty}^{\infty}\left(\frac{1}{z+\left(k-\frac{1}{2}\right)}\right)\\ & =\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\sum_{k=-\infty}^{\infty}\left(\frac{1}{z+\frac{1}{2}+k}\right)\cmt{k\rightarrow k+1}\\ & =-\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\tan\left(\pi z\right)\cmt{\because\pi\tan\pi x=-\sum_{k=-\infty}^{\infty}\frac{1}{x+\frac{1}{2}+k}} \end{align*} これより、\[ \left\{ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\right\} ^{-1}\frac{d}{dz}\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)=-\tan\left(\pi z\right) \] となり、
\[ \frac{d}{dz}\log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)=-\tan\left(\pi z\right) \] 両辺\(z\)について積分すると、
\begin{align*} \log\prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right) & =-\int\tan\left(\pi z\right)dz\\ & =\log\left(\cos\left(\pi z\right)\right)+C \end{align*} となる。
これより、
\[ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)=e^{C}\cos\left(\pi z\right) \] となり、\(z=0\)を代入して\(C=0\)となるので、
\[ \prod_{k=1}^{\infty}\left(1-\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)=\cos\left(\pi z\right) \] となり、与式が求まる。
(3)
(1)より、\begin{align*} \sinh\left(\pi z\right) & =-i\sin\left(i\pi z\right)\\ & =-i\pi\left(iz\right)\prod_{k=1}^{\infty}\left(1-\frac{\left(iz\right)^{2}}{k^{2}}\right)\\ & =\pi z\prod_{k=1}^{\infty}\left(1+\frac{z^{2}}{k^{2}}\right) \end{align*} となるので与式は成り立つ。
(4)
(2)より、\begin{align*} \cosh\left(\pi z\right) & =\cos\left(i\pi z\right)\\ & =\prod_{k=1}^{\infty}\left(1-\frac{\left(iz\right)^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right)\\ & =\prod_{k=1}^{\infty}\left(1+\frac{z^{2}}{\left(k-\frac{1}{2}\right)^{2}}\right) \end{align*} となるので与式は成り立つ。
ページ情報
タイトル | 3角関数・双曲線関数の無限乗積展開 |
URL | https://www.nomuramath.com/i4p63g91/ |
SNSボタン |
正接関数・双曲線正接関数の半角公式の別表示
\[
\tan\frac{z}{2}=\frac{\sin z}{1+\cos z}
\]
逆三角関数と逆双曲線関数の級数表示
\[
\sin^{\bullet}x=\sum_{k=0}^{\infty}\frac{C\left(2k,k\right)}{4^{k}(2k+1)}x^{2k+1}\qquad,(|x|\leq1)
\]
逆三角関数と逆双曲線関数の関係
\[
\Sin^{\bullet}\left(iz\right)=i\Sinh^{\bullet}z
\]
正接関数・双曲線正接関数の多重対数関数表示
\[
\tan^{\pm1}z=i^{\pm1}\left(1+2\Li_{0}\left(\mp e^{2iz}\right)\right)
\]