logo

ディラックのデルタ関数 📂関数

ディラックのデルタ関数

定義

以下の二つの条件を満たす関数をディラックデルタ関数という。

δ(x)={0,x0,x=0 \delta (x) = \begin{cases} 0, & x\neq 0 \\ \infty , & x=0 \end{cases}

δ(x)dx=1 \int_{-\infty}^{\infty}{\delta (x) dx}=1

説明

※クロネッカーデルタと間違えないように注意が必要だ。

工学では、単位インパルス関数unit impulse functionと呼ばれる。正確に言うと、数学的にディラックデルタ関数は関数ではない。それは0で無限大に発散するからだが、グリフィスの教科書ではこのように説明されている。「デルタ関数はx=0x=0で値が無限大になるため、技術的には関数ではない。数学文献では、一般化した関数generalized functionまたは分布distributionと呼ばれる」上の式だけを見てもデルタ関数が何かを一度に理解するのは難しい。以下の図を見れば、その幾何学的な意味を把握するのに役立つだろう。1.jpg もう少し直感的に説明すると以下のようだ。高さがnn、幅が1n\displaystyle \frac{1}{n}の長方形Rn(x)R_{n}(x)、または高さがnn、底辺が2n\displaystyle \frac{2}{n}の二等辺三角形Tn(x)T_{n}(x)のような関数列の極限

2.PNG

3.PNG

デルタ関数が何か理解できたら、デルタ関数の特性を見てみよう。関数f(x)f(x)がデルタ関数ではない一般的な関数だとすると、f(x)δ(x)f(x)\delta (x)の値はx=0x=0を除くすべての場所で00である。(\because δ(x)\delta (x)x=0x=0を除くすべての場で00だから)つまり、x=0x=0でのみ値が存在する。したがって、下記の式が成り立つ。

f(x)δ(x)=f(0)δ(x) f(x)\delta (x) = f(0) \delta (x)

積分形で表すと

f(x)δ(x)dx=f(0)δ(x)dx=f(0) \displaystyle{ \int_{-\infty}^{\infty} f(x) \delta (x) dx = f(0) \int_{-\infty}^{\infty} \delta (x) dx = f(0)}

一般的な場合を表すために、デルタ関数の峰をx=0x=0からx=ax=aに移すと、以下のようになる。

δ(xa)={0,xa,x=a \delta (x-a) = \begin{cases} 0, & x\neq a \\ \infty , & x=a \end{cases}

δ(xa)dx=1 \displaystyle{ \int_{-\infty}^{\infty}{\delta (x-a) dx}=1 }

f(x)δ(xa)=f(a)δ(xa) f(x)\delta (x-a) = f(a) \delta (x-a)

f(x)δ(xa)dx=f(a) \displaystyle{ \int_{-\infty}^{\infty} f(x) \delta (x-a) dx = f(a)}

3次元では、デルタ関数は以下のようになる。

f(r)δ3(ra)dτ=f(a) \int f( \mathbf{r} ) \delta ^3 (\mathbf{r}-\mathbf{a}) d\tau = f(\mathbf{a})

この時、

δ3(r)dτ=1 \int \delta ^3 (\mathbf{r} ) d\tau =1

δ3(r)=δ(x)δ(y)δ(z) \delta ^3 (\mathbf{r})=\delta (\mathbf{x}) \delta (\mathbf{y}) \delta (\mathbf{z})