logo

超関数によって厳密に定義されるディラックのデルタ関数 📂シュワルツ超函数

超関数によって厳密に定義されるディラックのデルタ関数

定義1

テスト関数空間 D(Rn)\mathcal{D}(\mathbb{R}^{n})汎関数 δa:DC\delta_{a} : \mathcal{D} \to \mathbb{C}を下記のように定義し、ディラックデルタ関数と呼ぼう。

δa(ϕ):=ϕ(a) \delta_{a}(\phi):=\phi (a)

すると、ディラックデルタ関数は超関数になる。 a=0a=0の時、下記のように簡単に示せる。

δ=δ0 \delta=\delta_{0}

説明

発散する値を持っており、関数ではないけれども大雑把に関数として扱われていたディラックデルタ関数が、上の定義によって厳密に定義された。

δa(ϕ)=δ(xa)ϕ(x)dx=ϕ(a) \delta_{a} (\phi) = \int \delta (x-a)\phi (x)dx=\phi (a)

ただし、局所積分可能関数に定義されないため正則超関数ではない。既存のディラックデルタ関数との混同を避けるため、超関数としてのデルタ関数はデルタ超関数と呼ぶことにする。

証明

  • Part 1. 線形性

    α,βC\alpha, \beta \in \mathbb{C}ϕ,ψD\phi, \psi \in \mathcal{D}に対して、

    δa(αϕ+βψ)=(αϕ+βψ)(a)=αψ(a)+βψ(a)=αδa+βδ(a) \begin{align*} \delta_{a}(\alpha \phi + \beta \psi) &= (\alpha \phi+\beta\psi)(a) \\ &=\alpha \psi (a) +\beta \psi (a) \\ &= \alpha\delta_{a}+\beta \delta (a) \end{align*} であるため、デルタ超関数は線形である。

  • Part 2. 連続性

    ϕjϕ in D\phi_{j} \to \phi \text{ in } \mathcal{D}と仮定しよう。すると、次が成立する。

    δa(ϕj)δa(ϕ)=ϕj(a)ϕ(a) \begin{align*} \left| \delta_{a}(\phi _{j}) -\delta_{a}(\phi) \right| &= \left| \phi_{j}(a)-\phi (a)\right| \end{align*}

    ϕjϕ in D\phi_{j} \to \phi \text{ in } \mathcal{D}の時、limjϕj(a)ϕ(a)=0\lim \limits_{j \to \infty}\left| \phi_{j}(a)-\phi (a) \right|=0で、従ってδa(ϕj)δa(ϕ)\delta_{a}(\phi_{j}) \to \delta_{a}(\phi)である。

δa\delta_{a}が線形であり連続であるため、超関数である。


  1. Gerald B. Folland, Fourier Analysis and Its Applications (1992), p307 ↩︎