超関数の畳み込みの補題
📂シュワルツ超函数超関数の畳み込みの補題
概説
Fを超関数、ϕ,ψをテスト関数としよう。するとF∗ϕは実数空間で定義された関数であり、局所可積分である。従って、F∗ϕに対応する正則超関数 Tが次のように存在する。
TF∗ϕ(ψ)=F(ϕ~∗ψ)
ここで、ϕ~(x)=ϕ(−x)である。
説明
‘超関数の畳み込み補助定理’という名前は、上記の内容に特につけられた名称がないため、適当に付けたものである。
証明
ケース1. Fが正則超関数である場合
Fに対応するf∈Lloc1が存在する。
F(ϕ)=Ff(ϕ)=∫f(x)ϕ(x)dx
従って、次の式が成り立つ。
TF∗ϕ(ψ)=∫(F∗ϕ)(x)ψ(x)dx=∫F(ϕ~x)ψ(x)dx=∫∫f(y)ϕ~(y−x)dyψ(x)dx=∫f(y)∫ϕ~(y−x)ψ(x)dxdy=∫f(y)(ϕ~∗ψ)(y)dy=F(ϕ~∗ψ)
ケース2. Fが正則超関数ではない場合
ϕ~,ψ∈C∞であるため、ϕ~∗ψはリーマン積分可能である。すると、以下のように積分を無限級数で近似することができる。
ϕ~∗ψ(y)=∫ϕ~(x−y)ψ(x)dy=n→∞limi=1∑nϕ(xi−y)ψxiΔxi
したがって、次が成り立つ:
F(ϕ~∗ψ)=F(n→∞limi=1∑nϕ(xi−⋅)ψxiΔxi)=n→∞limF(i=1∑nϕ(xi−⋅)ψxiΔxi)=n→∞limi=1∑nF(ϕ(xi−⋅))ψxiΔxi=n→∞limi=1∑n(F∗ϕ)(xi)∗ψxiΔxi=∫F∗ϕ(x)ψ(x)dx=TF∗ϕ(ψ)
2番目の等号は超関数の連続性により、3番目の等号は線形性により成り立つ。
■