正弦と余弦のべき乗の積の積分の超幾何関数表示
正弦と余弦のべき乗の積の積分の超幾何関数表示
正弦と余弦のべき乗の積の積は超幾何関数\(F\left(a,b;c;x\right)\)を使って次のようになる。
\(\alpha,\beta\in\mathbb{C}\)とする。
\begin{align*} \int\sin^{\alpha}\left(x\right)\cos^{\beta}\left(x\right)dx & =\frac{\cos^{\beta-1}}{\left(\cos^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}}\frac{\sin^{\alpha+1}\left(x\right)}{\alpha+1}F\left(\frac{1-\beta}{2},\frac{\alpha+1}{2};\frac{\alpha+3}{2};\sin^{2}\left(x\right)\right)+C\\ & =-\frac{\sin^{\alpha-1}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}}\frac{\cos^{\beta+1}\left(x\right)}{\beta+1}F\left(\frac{1-\alpha}{2},\frac{\beta+1}{2};\frac{\beta+3}{2};\cos^{2}\left(x\right)\right)+C\\ & =\frac{\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)}{\left(\cos^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\frac{\tan^{\alpha+1}\left(x\right)}{\alpha+1}F\left(\frac{\alpha+\beta+2}{2},\frac{\alpha+1}{2};\frac{\alpha+3}{2};-\tan^{2}\left(x\right)\right)+C\\ & =-\frac{\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\frac{\tan^{-\left(\beta+1\right)}}{\beta+1}\left(x\right)F\left(\frac{\alpha+\beta+2}{2},\frac{\beta+1}{2};\frac{\beta+3}{2};-\tan^{-2}\left(x\right)\right)+C \end{align*}
正弦と余弦のべき乗の積の積は超幾何関数\(F\left(a,b;c;x\right)\)を使って次のようになる。
\(\alpha,\beta\in\mathbb{C}\)とする。
\begin{align*} \int\sin^{\alpha}\left(x\right)\cos^{\beta}\left(x\right)dx & =\frac{\cos^{\beta-1}}{\left(\cos^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}}\frac{\sin^{\alpha+1}\left(x\right)}{\alpha+1}F\left(\frac{1-\beta}{2},\frac{\alpha+1}{2};\frac{\alpha+3}{2};\sin^{2}\left(x\right)\right)+C\\ & =-\frac{\sin^{\alpha-1}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}}\frac{\cos^{\beta+1}\left(x\right)}{\beta+1}F\left(\frac{1-\alpha}{2},\frac{\beta+1}{2};\frac{\beta+3}{2};\cos^{2}\left(x\right)\right)+C\\ & =\frac{\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)}{\left(\cos^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\frac{\tan^{\alpha+1}\left(x\right)}{\alpha+1}F\left(\frac{\alpha+\beta+2}{2},\frac{\alpha+1}{2};\frac{\alpha+3}{2};-\tan^{2}\left(x\right)\right)+C\\ & =-\frac{\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\frac{\tan^{-\left(\beta+1\right)}}{\beta+1}\left(x\right)F\left(\frac{\alpha+\beta+2}{2},\frac{\beta+1}{2};\frac{\beta+3}{2};-\tan^{-2}\left(x\right)\right)+C \end{align*}
\begin{align*}
\int\sin^{\alpha}\left(x\right)\cos^{\beta}\left(x\right)dx & =\frac{\cos^{\beta-1}}{\left(\cos^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}}\int\sin^{\alpha}\left(x\right)\left(\cos^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}\cos\left(x\right)dx\\
& =\frac{\cos^{\beta-1}}{\left(\cos^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}}\int\sin^{\alpha}\left(x\right)\left(1-\sin^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}\cos\left(x\right)dx\\
& =\frac{\cos^{\beta-1}}{\left(\cos^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}}\int\sin^{\alpha}\left(x\right)F\left(\frac{1-\beta}{2};;\sin^{2}\left(x\right)\right)d\sin\left(x\right)\\
& =\frac{\cos^{\beta-1}}{\left(\cos^{2}\left(x\right)\right)^{\frac{\beta-1}{2}}}\frac{\sin^{\alpha+1}\left(x\right)}{\alpha+1}F\left(\frac{1-\beta}{2},\frac{\alpha+1}{2};\frac{\alpha+3}{2};\sin^{2}\left(x\right)\right)+C
\end{align*}
\begin{align*}
\int\sin^{\alpha}\left(x\right)\cos^{\beta}\left(x\right)dx & =\frac{\sin^{\alpha-1}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}}\int\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}\sin\left(x\right)\cos^{\beta}\left(x\right)dx\\
& =\frac{\sin^{\alpha-1}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}}\int\left(1-\cos^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}\cos^{\beta}\left(x\right)\sin\left(x\right)dx\\
& =-\frac{\sin^{\alpha-1}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}}\int\cos^{\beta}\left(x\right)F\left(\frac{1-\alpha}{2};;\cos^{2}\left(x\right)\right)d\cos\left(x\right)\\
& =-\frac{\sin^{\alpha-1}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha-1}{2}}}\frac{\cos^{\beta+1}\left(x\right)}{\beta+1}F\left(\frac{1-\alpha}{2},\frac{\beta+1}{2};\frac{\beta+3}{2};\cos^{2}\left(x\right)\right)+C
\end{align*}
\begin{align*}
\int\sin^{\alpha}\left(x\right)\cos^{\beta}\left(x\right)dx & =\int\sin^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)\cos^{-2}\left(x\right)dx\\
& =\int\frac{\sin^{\alpha}\left(x\right)}{\cos^{\alpha}\left(x\right)}\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)\cos^{-2}\left(x\right)dx\\
& =\frac{\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)}{\cos^{\alpha+\beta+2}\left(x\right)}\int\tan^{\alpha}\left(x\right)\cos^{\alpha+\beta+2}\left(x\right)d\tan\left(x\right)\\
& =\frac{\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)}{\cos^{\alpha+\beta+2}\left(x\right)}\frac{\cos^{\alpha+\beta+2}\left(x\right)}{\left(\cos^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\int\tan^{\alpha}\left(x\right)\left(\cos^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}d\tan\left(x\right)\\
& =\frac{\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)}{\left(\cos^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\int\tan^{\alpha}\left(x\right)\left(1+\tan^{2}\left(x\right)\right)^{-\frac{\alpha+\beta+2}{2}}d\tan\left(x\right)\\
& =\frac{\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)}{\left(\cos^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\int\tan^{\alpha}\left(x\right)F\left(\frac{\alpha+\beta+2}{2};;-\tan^{2}\left(x\right)\right)d\tan\left(x\right)\\
& =\frac{\cos^{\alpha}\left(x\right)\cos^{\beta+2}\left(x\right)}{\left(\cos^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\frac{\tan^{\alpha+1}\left(x\right)}{\alpha+1}F\left(\frac{\alpha+\beta+2}{2},\frac{\alpha+1}{2};\frac{\alpha+3}{2};-\tan^{2}\left(x\right)\right)+C
\end{align*}
\begin{align*}
\int\sin^{\alpha}\left(x\right)\cos^{\beta}\left(x\right)dx & =\int\sin^{\alpha+2}\left(x\right)\cos^{\beta}\left(x\right)\sin^{-2}\left(x\right)dx\\
& =\int\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)\frac{\cos^{\beta}\left(x\right)}{\sin^{\beta}\left(x\right)}\sin^{-2}\left(x\right)dx\\
& =-\frac{\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)}{\sin^{\alpha+\beta+2}\left(x\right)}\int\sin^{\alpha+\beta+2}\left(x\right)\tan^{-\beta}\left(x\right)d\tan^{-1}\left(x\right)\\
& =-\frac{\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)}{\sin^{\alpha+\beta+2}\left(x\right)}\frac{\sin^{\alpha+\beta+2}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\int\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}\tan^{-\beta}\left(x\right)d\tan^{-1}\left(x\right)\\
& =-\frac{\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\int\left(1+\tan^{-2}\left(x\right)\right)^{-\frac{\alpha+\beta+2}{2}}\tan^{-\beta}\left(x\right)d\tan^{-1}\left(x\right)\\
& =-\frac{\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\int\tan^{-\beta}\left(x\right)F\left(\frac{\alpha+\beta+2}{2};;-\tan^{-2}\left(x\right)\right)d\tan^{-1}\left(x\right)\\
& =-\frac{\sin^{\alpha+2}\left(x\right)\sin^{\beta}\left(x\right)}{\left(\sin^{2}\left(x\right)\right)^{\frac{\alpha+\beta+2}{2}}}\frac{\tan^{-\left(\beta+1\right)}}{\beta+1}\left(x\right)F\left(\frac{\alpha+\beta+2}{2},\frac{\beta+1}{2};\frac{\beta+3}{2};-\tan^{-2}\left(x\right)\right)+C
\end{align*}
ページ情報
| タイトル | 正弦と余弦のべき乗の積の積分の超幾何関数表示 |
| URL | https://www.nomuramath.com/z3m4a36k/ |
| SNSボタン |
偏角の3角関数
\[
\sin\Arg z=\frac{\Im z}{\left|z\right|}
\]
三角関数と双曲線関数のn乗積分
\[
\int\sin^{2n+m_{\pm}}xdx=\frac{\Gamma\left(n+\frac{1}{2}+\frac{m_{\pm}}{2}\right)}{\Gamma\left(n+1+\frac{m_{\pm}}{2}\right)}\left\{ -\frac{1}{2}\sum_{k=0}^{n-1}\left(\frac{\Gamma\left(k+1+\frac{m_{\pm}}{2}\right)}{\Gamma\left(k+\frac{3}{2}+\frac{m_{\pm}}{2}\right)}\cos x\sin^{2k+1+m_{\pm}}x\right)+\frac{\Gamma\left(1+\frac{m_{\pm}}{2}\right)}{\Gamma\left(\frac{1}{2}+\frac{m_{\pm}}{2}\right)}\int\sin^{m_{\pm}}xdx\right\}
\]
三角関数と双曲線関数の実部と虚部
\[
\tan z=\frac{\sin\left(2\Re z\right)+i\sinh\left(2\Im z\right)}{\cos\left(2\Re z\right)+\cosh\left(2\Im z\right)}
\]
三角関数(双曲線関数)の対数とリーマン・ゼータ関数
\[
\log\left(\sin\left(\pi x\right)\right)=\log\left(\pi x\right)-\sum_{k=1}^{\infty}\frac{\zeta\left(2k\right)}{k}x^{2k}
\]