ガウス積分のソースを表示

== 概要 ==
ガウス積分は、確率密度関数が正規分布（ガウス分布）に従う場合の積分を指す。<br>
積分範囲が <math>\infty</math> に及ぶ<u>広義積分</u>である。<br>
<br>
一般的には、次の形式で表される。<br>
これは、極座標変換や留数定理を使用して解くことができる。<br>
<br>
<math>\int_{- \infty}^{\infty} {e^{- x^{2}}} \ dx</math><br>
<br>
ガウス積分は、その広範な応用と解析的な特性から、物理学、統計学、工学、数学等の様々な分野で基本的な概念として利用されている。<br>
* 確率論と統計学
*: ガウス積分は、確率密度関数が正規分布に従う確率変数の期待値や分散などの計算に使用される。
*: 多くの自然現象や社会現象は、中心極限定理により正規分布に従うことが知られており、そのためガウス積分は統計モデリングやデータ解析において広く使用される。
* 物理学
*: 量子力学や統計力学等の物理学の分野でも、ガウス積分は重要な役割を果たす。
*: 例えば、量子力学における波動関数の規格化や、統計力学における粒子の分布関数などの計算に使用される。
* 電磁気学
*: 電場や磁場のポテンシャルの計算等にガウス積分が適用される。
*: ガウスの法則やアンペールの法則等、電磁気学の基本的な法則の導出にも使用される。
* 数学
*: 特に、留数定理や複素解析の中で使用され、複素関数の特性を理解する上で重要である。
<br><br>

== 極座標の広義積分 ==
<math>\int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- x^{2} - y^{2}} \ dxdy \qquad D = \{ (x, y) \ | \ 0 \le x^{2} + y^{2} \le \infty, - \infty \le x \le \infty, \ - \infty \le y \le \infty \}</math><br>
<br>
==== 直交直線座標から円座標への変換 ====
直交直線座標 <math>(x, y)</math> から円座標 <math>(r, \theta)</math> への変換は次式で与えられる。<br>
<math>
\begin{cases}
x &= r \cos \theta \\
y &= r \sin \theta \\
\end{cases}
</math><br>
<br>
==== ヤコビアン ====
2重積分に応用するには、変数変換を行うことにより、ヤコビアンを計算して <math>dx dy</math> と <math>dr d \theta</math> の関係式を求める必要がある。<br>
<math>
\begin{align}
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{align}
</math><br>
したがって、<math>dxdy = r dr d \theta</math>となる。<br>
<br>
==== 求め方 ====
円が含まれる場合は、極座標変換 <math>x = r \cos{\theta}, \, y = r \sin{\theta}(r \ge 0, \, 0 \le \theta \le 2 \pi)</math>とおく。<br>
変換後の積分範囲D'は、<math>D' = \{ (r, \theta) \, | \, 0 \le r \le \infty, \ 0 \le \theta \le 2 \pi \}</math> の形に変形でき、2重積分を計算することができる。<br>
<br>
<math>
\begin{align}
& \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{align}
</math><br>
<br>
ここで、<math>t = r^{2}</math> として変数変換を行う。<br>
<math>\frac{dt}{dr} = 2r</math> より、<math>\frac{1}{2} dt  = r dr</math> となる。<br>
また、<math>r = 0, \, r = \infty</math> の時、積分範囲は次式となる。<br>
<math>
\begin{cases}
r = 0 &\implies t = 0 \\
r = \infty &\implies t = \infty \\
\end{cases}
</math><br>
<br>
上記の変数変換により、上式(1)は次のように計算することができる。<br>
<math>
\begin{align}
& \pi \int_{0}^{\infty} {e^{-t}} \ dt \\
=& - \pi \big[ e^{-t} \Big]_{0}^{\infty} \\
=& - \pi (0 - 1) \\
=& \pi
\end{align}
</math><br>
<br><br>

== ガウス積分 1 ==
<math>\int_{- \infty}^{\infty} {e^{- x^{2}}} \ dx</math><br>
<br>
極座標における広義積分 <math>\int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- x^{2} - y^{2}} \ dxdy = \pi</math> より、次式のように分けることができる。<br>
この時、積分変数の文字は何でもよい。<br>
<br>
<math>
\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}
</math><br>
<br>
上式(1)より、次式のように考えることができる。<br>
<math>
\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}
</math><br>
<br>
上式(2)より、次式が求められる。<br>
<math>\int_{- \infty}^{\infty} {e^{-x^{2}}} \ dx = \sqrt{\pi}</math><br>
<br>
この関数は、<math>x = 0</math> を原点とした偶関数であるため、<math>\int_{0}^{\infty} {e^{-x^{2}}} \ dx = \frac{\sqrt{\pi}}{2}, \quad \int_{- \infty}^{0} {e^{-x^{2}}} \ dx = \frac{\sqrt{\pi}}{2}</math> となる。<br>
<br><br>

== ガウス積分 2 ==
<math>\int_{- \infty}^{\infty} {e^{- ax^{2}}} \ dx</math><br>
<br>
まず、次式を考える。<br>
<math>\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 \}</math><br>
<br>
円が含まれる場合は、極座標変換 <math>x = r \cos{\theta}, \, y = r \sin{\theta}(r \ge 0, \, 0 \le \theta \le 2 \pi)</math>とおく。<br>
変換後の積分範囲D'は、<math>D' = \{ (r, \theta) \, | \, 0 \le r \le \infty, \ 0 \le \theta \le 2 \pi \}</math> の形に変形でき、2重積分を計算することができる。<br>
<br>
<math>
\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}
</math><br>
<br>
ここで、<math>t = r^{2}</math> として変数変換を行う。<br>
<math>\frac{dt}{dr} = 2r</math> より、<math>\frac{1}{2} dt  = r dr</math> となる。<br>
また、<math>r = 0, \, r = \infty</math> の時、積分範囲は次式となる。<br>
<math>
\begin{cases}
r = 0 &\implies t = 0 \\
r = \infty &\implies t = \infty \\
\end{cases}
</math><br>
<br>
上記の変数変換により、上式(1)は次のように計算することができる。<br>
<br>
<math>
\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}
</math><br>
<br>
次に、上式(2)の極座標における広義積分 <math>\int_{- \infty}^{\infty} \int_{- \infty}^{\infty} e^{- a (x^{2} + y^{2})} \ dxdy = \frac{\pi}{a}</math> より、次式のように分けることができる。<br>
この時、積分変数の文字は何でもよい。<br>
<br>
<math>
\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}
</math><br>
<br>
上式(3)より、次式のように考えることができる。<br>
<math>
\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}
</math><br>
<br>
上式(4)より、次式が求められる。<br>
<math>\int_{- \infty}^{\infty} {e^{-ax^{2}}} \ dx = \sqrt{\frac{\pi}{a}}</math><br>
<br>
この関数は、<math>x = 0</math> を原点とした偶関数であるため、<math>\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}}</math> となる。<br>
<br><br>


__FORCETOC__
[[カテゴリ:解析学]]