超関数の畳み込み収束定理
📂シュワルツ超函数超関数の畳み込み収束定理
定理
ϕが∫Rnϕ(x)dx=1を満たすテスト関数だとしよう。そしてϕϵ(x)=ϵ−nϕ(ϵ−1x)とする。そうすると、任意の超関数Fと正則な超関数TF∗ϕϵに対してϵ→0の時、TF∗ϕϵはFに収束する。
TF∗ϕϵ→wFas ϵ→0
説明
‘超関数の畳み込み収束定理’という名前は、上記の内容に特に名付けられた名前がないため、勝手に付けたものだ。
証明
ϕ~(x)=ϕ(−x)としよう。すると、ϕと同じく、ϕ~も∫ϕ~=1である。それにより、畳み込み収束定理によれば、任意のテスト関数ψに対して、以下の式が成り立つ。
ϕ~ϵ∗ψ→unifψand∂α(ϕ~ϵ∗ψ)=ϕ~ϵ∗∂αψ→unif∂αψ
すると、以下の式が成立する。
ϵ→0limTF∗ϕϵ(ψ)=ϵ→0limF(ϕ~ϵ∗ψ)=F(ψ)
この時、最初の等号は超関数の畳み込み補助定理により成立し、二つ目の等号は超関数の連続条件により成立する。そうすると、超関数の収束の定義により、TF∗ϕϵはFに収束する。
■