ガウス積分

概要

ガウス積分は、確率密度関数が正規分布（ガウス分布）に従う場合の積分を指す。
積分範囲が $\infty$ に及ぶ広義積分である。

一般的には、次の形式で表される。
これは、極座標変換や留数定理を使用して解くことができる。

$\int _{-\infty }^{\infty }{e^{-x^{2}}}\ dx$

ガウス積分は、その広範な応用と解析的な特性から、物理学、統計学、工学、数学等の様々な分野で基本的な概念として利用されている。

• 確率論と統計学

  ガウス積分は、確率密度関数が正規分布に従う確率変数の期待値や分散などの計算に使用される。

  多くの自然現象や社会現象は、中心極限定理により正規分布に従うことが知られており、そのためガウス積分は統計モデリングやデータ解析において広く使用される。

• 物理学

  量子力学や統計力学等の物理学の分野でも、ガウス積分は重要な役割を果たす。

  例えば、量子力学における波動関数の規格化や、統計力学における粒子の分布関数などの計算に使用される。

• 電磁気学

  電場や磁場のポテンシャルの計算等にガウス積分が適用される。

  ガウスの法則やアンペールの法則等、電磁気学の基本的な法則の導出にも使用される。

• 数学

  特に、留数定理や複素解析の中で使用され、複素関数の特性を理解する上で重要である。

極座標の広義積分

$\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }e^{-x^{2}-y^{2}}\ dxdy\qquad D=\{(x,y)\ |\ 0\leq x^{2}+y^{2}\leq \infty ,-\infty \leq x\leq \infty ,\ -\infty \leq y\leq \infty \}$

直交直線座標から円座標への変換

直交直線座標 $(x,y)$ から円座標 $(r,\theta )$ への変換は次式で与えられる。
${\begin{cases}x&=r\cos \theta \\y&=r\sin \theta \\\end{cases}}$

ヤコビアン

2重積分に応用するには、変数変換を行うことにより、ヤコビアンを計算して $dxdy$ と $drd\theta$ の関係式を求める必要がある。
${\begin{aligned}J&={\begin{vmatrix}{\frac {\partial x}{\partial r}}&{\frac {\partial x}{\partial \theta }}\\{\frac {\partial y}{\partial r}}&{\frac {\partial y}{\partial \theta }}\end{vmatrix}}\\&={\begin{vmatrix}\cos {\theta }&-r\sin {\theta }\\\sin {\theta }&r\cos {\theta }\end{vmatrix}}\\&=r\cos ^{2}{\theta }+r\sin ^{2}{\theta }\\&=r\end{aligned}}$
したがって、$dxdy=rdrd\theta$となる。

求め方

円が含まれる場合は、極座標変換 $x=r\cos {\theta },\,y=r\sin {\theta }(r\geq 0,\,0\leq \theta \leq 2\pi )$とおく。
変換後の積分範囲D'は、$D'=\{(r,\theta )\,|\,0\leq r\leq \infty ,\ 0\leq \theta \leq 2\pi \}$ の形に変形でき、2重積分を計算することができる。

${\begin{aligned}&\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }e^{-x^{2}-y^{2}}\ dxdy\\=&\iint _{D'}e^{-r^{2}\cos ^{2}{\theta }-r^{2}\sin ^{2}\theta }r\ drd\theta \\=&\iint _{D'}e^{-r^{2}}r\ drd\theta \qquad \because \cos ^{2}{\theta }+\sin ^{2}\theta =1\\=&\int _{0}^{2\pi }d\theta \int _{0}^{\infty }{e^{-r^{2}}}r\ dr\\=&2\pi \int _{0}^{\infty }{e^{-r^{2}}}r\ dr\qquad \cdots (1)\end{aligned}}$

ここで、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t = r^{2}} として変数変換を行う。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dt}{dr} = 2r} より、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{2} dt = r dr} となる。
また、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r = 0, \, r = \infty} の時、積分範囲は次式となる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} r = 0 &\implies t = 0 \\ r = \infty &\implies t = \infty \\ \end{cases} }

上記の変数変換により、上式(1)は次のように計算することができる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} & \pi \int_{0}^{\infty} {e^{-t}} \ dt \\ =& - \pi \big[ e^{-t} \Big]_{0}^{\infty} \\ =& - \pi (0 - 1) \\ =& \pi \end{align} }

ガウス積分 1

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{- \infty}^{\infty} {e^{- x^{2}}} \ dx}

極座標における広義積分 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- x^{2} - y^{2}} \ dxdy = \pi} より、次式のように分けることができる。
この時、積分変数の文字は何でもよい。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} & \int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- x^{2} - y^{2}} \ dxdy \\ =& \int_{- \infty}^{\infty} {e^{-x^{2}}} \ dx \int_{- \infty}^{\infty} {e^{-y^{2}}} \ dy \qquad \cdots (1) \end{align} }

上式(1)より、次式のように考えることができる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} & \int_{- \infty}^{\infty} {e^{-x^{2}}} \ dx \int_{- \infty}^{\infty} {e^{-y^{2}}} \ dy \\ =& \left( \int_{- \infty}^{\infty} {e^{-x^{2}}} \ dx \right)^{2} = \pi \qquad \cdots (2) \end{align} }

上式(2)より、次式が求められる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{- \infty}^{\infty} {e^{-x^{2}}} \ dx = \sqrt{\pi}}

この関数は、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x = 0} を原点とした偶関数であるため、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{0}^{\infty} {e^{-x^{2}}} \ dx = \frac{\sqrt{\pi}}{2}, \quad \int_{- \infty}^{0} {e^{-x^{2}}} \ dx = \frac{\sqrt{\pi}}{2}} となる。

ガウス積分 2

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{- \infty}^{\infty} {e^{- ax^{2}}} \ dx}

まず、次式を考える。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- a (x^{2} + y^{2})} \ dxdy \qquad D = \{ (x, y) \ | \ 0 < a, \ 0 \le x^{2} + y^{2} \le \infty, - \infty \le x \le \infty, \ - \infty \le y \le \infty \}}

円が含まれる場合は、極座標変換 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x = r \cos{\theta}, \, y = r \sin{\theta}(r \ge 0, \, 0 \le \theta \le 2 \pi)} とおく。
変換後の積分範囲D'は、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle D' = \{ (r, \theta) \, | \, 0 \le r \le \infty, \ 0 \le \theta \le 2 \pi \}} の形に変形でき、2重積分を計算することができる。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} & \int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- a (x^{2} + y^{2})} \ dxdy \\ =& \iint_{D'} e^{- a (r^2 \cos^{2}{\theta} + r^2 \sin^{2} \theta)} r \ drd \theta \\ =& \iint_{D'} e^{-ar^2} r \ drd \theta \qquad \because \cos^{2}{\theta} + \sin^{2} \theta = 1 \\ =& \int_{0}^{2 \pi} d \theta \int_{0}^{\infty} {e^{-ar^2}} r \ dr \\ =& 2 \pi \int_{0}^{\infty} {e^{-ar^2}} r \ dr \qquad \cdots (1) \end{align} }

ここで、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t = r^{2}} として変数変換を行う。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dt}{dr} = 2r} より、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{1}{2} dt = r dr} となる。
また、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r = 0, \, r = \infty} の時、積分範囲は次式となる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} r = 0 &\implies t = 0 \\ r = \infty &\implies t = \infty \\ \end{cases} }

上記の変数変換により、上式(1)は次のように計算することができる。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} & \pi \int_{0}^{\infty} {e^{-at}} \ dt \\ =& - \frac{\pi}{a} \big[ e^{-at} \Big]_{0}^{\infty} \\ =& - \frac{\pi}{a} (0 - 1) \\ =& \frac{\pi}{a} \qquad \cdots (2) \end{align} }

次に、上式(2)の極座標における広義積分 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- a (x^{2} + y^{2})} \ dxdy = \frac{\pi}{a}} より、次式のように分けることができる。
この時、積分変数の文字は何でもよい。

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} & \int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- a (x^{2} + y^{2})} \ dxdy \\ =& \int_{- \infty}^{\infty} {e^{-ax^{2}}} \ dx \int_{- \infty}^{\infty} {e^{-ay^{2}}} \ dy \qquad \cdots (3) \end{align} }

上式(3)より、次式のように考えることができる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} & \int_{- \infty}^{\infty} {e^{-ax^{2}}} \ dx \int_{- \infty}^{\infty} {e^{-ay^{2}}} \ dy \\ =& \left( \int_{- \infty}^{\infty} {e^{-ax^{2}}} \ dx \right)^{2} = \frac{\pi}{a} \qquad \cdots (4) \end{align} }

上式(4)より、次式が求められる。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{- \infty}^{\infty} {e^{-ax^{2}}} \ dx = \sqrt{\frac{\pi}{a}}}

この関数は、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x = 0} を原点とした偶関数であるため、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int_{0}^{\infty} {e^{-ax^{2}}} \ dx = \frac{1}{2} \sqrt{\frac{\pi}{a}}, \quad \int_{- \infty}^{0} {e^{-x^{2}}} \ dx = \frac{1}{2} \sqrt{\frac{\pi}{a}}} となる。