超関数によって厳密に定義されるディラックのデルタ関数
📂シュワルツ超函数超関数によって厳密に定義されるディラックのデルタ関数
定義
テスト関数空間 D(Rn)の汎関数 δa:D→Cを下記のように定義し、ディラックデルタ関数と呼ぼう。
δa(ϕ):=ϕ(a)
すると、ディラックデルタ関数は超関数になる。 a=0の時、下記のように簡単に示せる。
δ=δ0
説明
発散する値を持っており、関数ではないけれども大雑把に関数として扱われていたディラックデルタ関数が、上の定義によって厳密に定義された。
δa(ϕ)=∫δ(x−a)ϕ(x)dx=ϕ(a)
ただし、局所積分可能な関数に定義されないため、正則超関数ではない。既存のディラックデルタ関数との混同を避けるため、超関数としてのデルタ関数はデルタ超関数と呼ぶことにする。
証明
Part 1. 線形性
α,β∈C、ϕ,ψ∈Dに対して、
δa(αϕ+βψ)=(αϕ+βψ)(a)=αψ(a)+βψ(a)=αδa+βδ(a)
であるため、デルタ超関数は線形である。
Part 2. 連続性
ϕj→ϕ in Dと仮定しよう。すると、次が成立する。
∣δa(ϕj)−δa(ϕ)∣=∣ϕj(a)−ϕ(a)∣
ϕj→ϕ in Dの時、j→∞lim∣ϕj(a)−ϕ(a)∣=0で、従ってδa(ϕj)→δa(ϕ)である。
δaが線形であり連続であるため、超関数である。
■