PR

【ウォリス積分】sin,cosのn乗積分の導出と性質

微分積分学(大学)
記事内に広告が含まれています。

ウォリス積分,またはワリス積分と呼ばれる積分 \int_0^{\pi/2} \sin^n x \, dx, \, \int_0^{\pi/2} \cos^n x \, dx について,その導出と性質を紹介しましょう。証明は理系高校生でも理解できるものです。

【ウォリス積分】sin,cosのn乗積分に関する定理

定理(ウォリス積分, Wallis integral)

n \ge 0 に対し,

\color{red} \begin{aligned} &\int_0^{\frac{\pi}{2}} \sin^n x \, dx = \int_0^{\frac{\pi}{2}} \cos^n x \, dx \\ &=\begin{dcases} \frac{(n-1)!!}{n!!} & \text{if } n \text{ is odd,}\\[10pt] \frac{\pi}{2}\frac{(n-1)!!}{n!!} & \text{if }n \text{ is even.}\end{dcases}\\[30pt] &=\begin{dcases} \frac{2^{2k} (k!)^2}{(2k+1)(2k)!} & \text{if }n = 2k+1,\\[10pt] \frac{\pi}{2}\frac{(2k)!}{2^{2k} (k!)^2} & \text{if }n =2k. \end{dcases} \end{aligned}


ただし, \text{odd, even} はそれぞれ奇数・偶数の英語である。また,2重階乗

\small n!! =\begin{cases} n(n-2)(n-4) \dots 3 \cdot 1 & \text{if } n \text{ is odd,} \\ n(n-2)(n-4) \dots 4 \cdot 2 & \text{if } n \text{ is even,} \end{cases}

0!! =(-1)!! = 1 を用いた。

ウォリス積分の積分範囲の図

なお,最初の等式 \displaystyle \int_0^{\frac{\pi}{2}} \sin^n x \, dx = \int_0^{\frac{\pi}{2}} \cos^n x \, dx については,ほぼ自明でしょう。実際 \sin x = \cos(\pi/2 - x) であるため,置換積分により,

\begin{aligned} \int_0^{\frac{\pi}{2}} \sin^n x \, dx &= \int_0^{\frac{\pi}{2}} \cos^n \left(\frac{\pi}{2} - x\right) \, dx\\ &= \int_0^{\frac{\pi}{2}} \cos^n y \, dy\end{aligned}


となることがわかります。

【ウォリス積分】sin,cosのn乗積分の導出

それでは,

\color{red} \begin{aligned} &\int_0^{\frac{\pi}{2}} \sin^n x \, dx \\ &=\begin{dcases} \frac{(n-1)!!}{n!!} & \text{if } n \text{ is odd,}\\ \frac{\pi}{2}\frac{(n-1)!!}{n!!} & \text{if }n \text{ is even.}\end{dcases}\\ &=\begin{dcases} \frac{2^{2k} (k!)^2}{(2k+1)(2k)!} & \text{if }n = 2k+1,\\ \frac{\pi}{2}\frac{(2k)!}{2^{2k} (k!)^2} & \text{if }n =2k. \end{dcases} \end{aligned}


の証明を行いましょう。

証明

I_n = \int_0^{{\pi}/{2}} \sin^n x \, dx とおく。特に,

\begin{aligned} I_0 &= \int_0^{\frac{\pi}{2}} \, dx =\frac{\pi}{2}, \\ I_1 &= \int_0^{\frac{\pi}{2}}\sin x \, dx = [-\cos x]_0^\frac{\pi}{2} = 1 \end{aligned}


となる。ここで,部分積分により n \ge 2 のとき

\begin{aligned} I_n ={}& \int_0^{\frac{\pi}{2}} \sin^{n-1} x \sin x \, dx \\ ={}& [\sin^{n-1} x(-\cos x)]_0^{\frac{\pi}{2}} \\ &+ (n-1) \int_0^{\frac{\pi}{2}} \sin^{n-2} x \cos^2 x \, dx \\ ={}& (n-1) \int_0^{\frac{\pi}{2}} \sin^{n-2} x (1-\sin^2 x) \, dx \\ ={}& (n-1) (I_{n-2} - I_n). \end{aligned}

従って, I_n =\dfrac{n-1}{n} I_{n-2} である。これにより,

\begin{aligned} I_n &= \frac{n-1}{n} I_{n-2} \\ &= \frac{n-1}{n} \frac{n-3}{n-2} I_{n-4}\\ &= \cdots \\ &=\frac{(n-1)!!}{n!!} \times \begin{cases} I_1 &\text{if } n \text{ is odd,} \\ I_0 &\text{if } n \text{ is even.} \end{cases}\\ &= \begin{cases} \frac{(n-1)!!}{n!!} & \text{if } n \text{ is odd,}\\ \frac{\pi}{2}\frac{(n-1)!!}{n!!} & \text{if } n \text{ is even.}\end{cases} \end{aligned}


を得る。後半は

\begin{aligned} (2n)!! &= 2^n n! \\ (2n-1)!! &= \frac{(2n)!}{2^n n! } \end{aligned}


からわかる。

証明終

ウォリス積分の性質

ウォリス積分の性質を挙げておきましょう。

ウォリス積分の基本的な性質

定理(ウォリス積分の性質)

  1. m<n が非負整数のとき,
    \int_0^{\frac{\pi}{2}} \sin^m x \, dx > \int_0^{\frac{\pi}{2}} \sin^n x \, dx.
  2. \lim_{n\to\infty} \int_0^{\frac{\pi}{2}} \sin^n x \, dx =0.

証明しておきます。

証明

1. \int_0^{\frac{\pi}{2}} \sin^m x \, dx > \int_0^{\frac{\pi}{2}} \sin^n x \, dx について

\sin^m x < \sin^n x \,\,(0 < x< \pi/2) であり,かつどちらも連続であるから,積分についても \int_0^{\frac{\pi}{2}} \sin^m x \, dx >\int_0^{\frac{\pi}{2}} \sin^n x \, dx.

2. \lim_{n\to\infty} \int_0^{\frac{\pi}{2}} \sin^n x \, dx =0 について

I_n = \int_0^{{\pi}/{2}} \sin^n x \, dx とおく。1.より, \{I_n\} は非負かつ単調減少であるから,収束先が存在する。よって, \alpha = \lim_{n\to\infty} I_n としよう。ウォリス積分の公式により,

\begin{aligned} I_n I_{n+1}&= \frac{\pi}{2} \frac{(n-1)!!}{n!!}\frac{n!!}{(n+1)!!} \\ &= \frac{\pi}{2}\frac{n!}{(n+1)!} \\ &= \frac{\pi}{2} \frac{1}{n+1} \end{aligned}


であるから,両辺 n\to\infty とすると, \alpha^2 = 0 であり,結局 \alpha=0 となる。

証明終

2.については,極限と積分の交換ができて,

\begin{aligned} \lim_{n\to\infty} \int_0^{\frac{\pi}{2}} \sin^n x \, dx &=\int_0^{\frac{\pi}{2}}\lim_{n\to\infty} \sin^n x \, dx \\ &= \int_0^{\frac{\pi}{2}}0 \, dx \\ &=0. \end{aligned}


でも証明可能です。

ウォリスの公式

ウォリス積分を用いることで,「ウォリスの公式」と呼ばれる,以下の公式を証明することが可能です。

定理(ウォリスの公式; Wallis formula)

\small \color{red} \begin{aligned}\sqrt{\pi} &= \lim_{n\to\infty} \frac{1}{\sqrt{n}} \frac{(2n)!!}{(2n-1)!!} =\lim_{n\to\infty} \frac{2^{2n}}{\sqrt{n}}\frac{(n!)^2}{(2n)!}, \\ \frac{\pi}{2} &= \prod_{n=1}^\infty \frac{(2n)^2}{(2n-1)(2n+1)} = \frac{2^2}{1\cdot 3}\cdot \frac{4^2}{3\cdot 5} \cdots ,\\ \frac{2}{\pi}&= \prod_{n=1}^\infty \left( 1-\frac{1}{(2n)^2}\right) = \left(1-\frac{1}{2^2}\right) \left(1-\frac{1}{4^2}\right)\cdots. \end{aligned}

これについての解説は,以下の記事で行っています。