ガウス積分の公式とその証明

この記事は, 旧ブログから移植された記事です. よって, その内容として, 旧ブログに依存した文脈が含まれている可能性があります. 予めご了承下さい.

当ブログ内でガウス積分(オイラー=ポアソン積分)の公式を用いる際に self-contained でリファレンスを張るためと, 個人的な学習の記録として, 本エントリにてガウス積分の公式とその証明について書く1.. 筆者自身にとっての分かりやすさを優先しているため, 若干冗長的な記述があるかもしれない点に注意.

ガウス積分の公式

xRx\in\mathbb{R} のとき ex2dx=π\displaystyle\int_{-\infty}^{\infty}e^{-x^2}dx=\sqrt{\pi}

ガウス積分の公式

I=ex2dxI=\displaystyle\int_{-\infty}^{\infty}e^{-x^2}dx とおく. ここで, 最終的に π\pi を出現させるために, 直交座標系から極座標系への移行を行いたい. そのために, まず二乗して

I2=(ex2dx)2=(ex2dx)(ex2dx)I^2=\displaystyle(\int_{-\infty}^{\infty}e^{-x^2}dx)^2= (\int_{-\infty}^{\infty}e^{-x^2}dx)\cdot(\int_{-\infty}^{\infty}e^{-x^2}dx)

文字を変えても積分値に変わりはないから

I2=(ex2dx)(ey2dy)=e(x2+y2)dxdyI^2=(\int_{-\infty}^{\infty}e^{-x^2}dx)\cdot(\int_{-\infty}^{\infty}e^{-y^2}dy)= \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-(x^2+y^2)}dxdy

x=rcosθ, y=rsinθ,dx dy=rdrdθx=r\cos\theta,\ y=r\sin\theta, dx\ dy=rdrd\theta とし2

I2=02π0er2rdrdθ=02πdθ0rer2dr=2π[12er2]0=π\begin{aligned} I^2&=&\int_{0}^{2\pi}\int_{0}^{\infty}e^{-r^2}rdrd\theta \\ &=&\int_{0}^{2\pi}d\theta\int_{0}^{\infty}re^{-r^2}dr \\ &=&2\pi\left[\dfrac{1}{2}e^{-r^2}\right]^{\infty}_{0} \\ &=&\pi \end{aligned} もともと II は被積分関数の関数形であり, 定義域は I>0I > 0 だから, I=πI=\sqrt{\pi}.

2 乗して x2+y2=r2x^2+y^2=r^23 を出現させ, 極座標での表現を開始する流れは, 胸熱であった. さて, 以下はガウス積分の公式に関連した, いくつかの等式について示すこととする.

ガウス積分の類似形 1

xR,aR+x\in\mathbb{R}, a\in\mathbb{R}^{+} のとき, eax2dx=πa\displaystyle\int_{-\infty}^{\infty}e^{-ax^2}dx=\sqrt{\dfrac{\pi}{a}}

ガウス積分の類似形 1

y=ax,dy=adxy=\sqrt{a}x, dy=\sqrt{a}dx とし,

eax2dx=ey21ady=1aey2dy(1)\int_{-\infty}^{\infty}e^{-ax^2}dx=\int_{-\infty}^{\infty}e^{-y^2}\cdot\dfrac{1}{\sqrt{a}}dy=\dfrac{1}{\sqrt{a}}\int_{-\infty}^{\infty}e^{-y^2}dy\tag{1} \(\) の最右辺をみるとガウス積分の公式と全く同じなので, =πa=\sqrt{\dfrac{\pi}{a}}.

ガウス積分の類似形 2

xR,aR+x\in\mathbb{R}, a\in\mathbb{R}^{+} のとき, 0eax2dx=12πa\displaystyle\int_{0}^{\infty}e^{-ax^2}dx=\dfrac{1}{2}\sqrt{\dfrac{\pi}{a}}

ガウス積分の類似形 2

単にガウス積分の類似形 1の半分の領域となるだけなので, 0eax2dx=12πa\displaystyle\int_{0}^{\infty}e^{-ax^2}dx=\dfrac{1}{2}\sqrt{\dfrac{\pi}{a}}.

参考文献


  1. 証明内では, フビニの定理を暗黙に使っている. 恥ずかしながら, 筆者は測度論について全くの素人であるので, これを暗に用いることはあまりよくないと思うのだが, これがシグマの二重和が分解できることの一般形であると理解して, 今回はこれを用いた.↩︎

  2. 補足: 極座標系において, θ\theta の変域は [0,2π][0,2\pi], rr の変域は [0,][0,\infty] である. また, 極座標での微小面積は drdθdrd\theta ではなく rdrdθrdrd\theta であることに注意. これについては, 後日のエントリ, ヤコビアンにて取り扱っている.↩︎

  3. 一応書いておくと, この裏付けは三平方の定理より cos2+sin2=1\cos^2+\sin^2=1.↩︎