正弦と余弦のべき乗の積の積分の超幾何関数表示
正弦と余弦のべき乗の積の積分の超幾何関数表示
正弦と余弦のべき乗の積の積は超幾何関数\(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ボタン |
三角関数と双曲線関数の積分
\[
\int f(\cos x,\sin x)dx=\int f\left(\frac{1-t^{2}}{1+t^{2}},\frac{2t}{1+t^{2}}\right)\frac{2}{1+t^{2}}dt\cmt{t=\tan\frac{x}{2}}
\]
逆三角関数の三角関数と逆双曲線関数の双曲線関数
\[
\sin\Cos^{\bullet}z=\sqrt{1-z^{2}}
\]
三角関数の合成
\[
a\sin\theta+b\cos\theta =\sqrt{a^{2}+b^{2}}\sin(\theta+\alpha)
\]
三角関数の部分分数展開
\[
\pi\tan\pi x =-\sum_{k=-\infty}^{\infty}\frac{1}{x+\frac{1}{2}+k}
\]