logo

超関数の畳み込み収束定理 📂シュワルツ超函数

超関数の畳み込み収束定理

定理1

ϕ\phiRnϕ(x)dx=1\int_{\mathbb{R}^{n}}\phi (\mathbf{x})d\mathbf{x}=1を満たすテスト関数だとしよう。そしてϕϵ(x)=ϵnϕ(ϵ1x)\phi_{\epsilon}(\mathbf{x})=\epsilon^{-n}\phi (\epsilon^{-1}\mathbf{x})とする。そうすると、任意の超関数FF正則な超関数TFϕϵT_{F*\phi_{\epsilon}}に対してϵ0\epsilon \to 0の時、TFϕϵT_{F*\phi_{\epsilon}}FF収束する。

TFϕϵwFas ϵ0 T_{F * \phi_{\epsilon}} \overset{\text{w}}{\to} F\quad \text{as } \epsilon \to 0

説明

‘超関数の畳み込み収束定理’という名前は、上記の内容に特に名付けられた名前がないため、勝手に付けたものだ。

証明

ϕ~(x)=ϕ(x)\tilde{\phi}(x)=\phi (-x)としよう。すると、ϕ\phiと同じく、ϕ~\tilde{\phi}ϕ~=1\int \tilde{\phi}=1である。それにより、畳み込み収束定理によれば、任意のテスト関数ψ\psiに対して、以下の式が成り立つ。

ϕ~ϵψunifψandα(ϕ~ϵψ)=ϕ~ϵαψunifαψ \tilde{\phi}_{\epsilon} \ast \psi \overset{\text{unif}}{\to} \psi \quad \text{and} \quad \partial ^{\alpha} (\tilde{\phi}_{\epsilon} \ast \psi)=\tilde{\phi}_{\epsilon} \ast \partial^{\alpha}\psi \overset{\text{unif}}{\to} \partial^{\alpha}\psi

すると、以下の式が成立する。

limϵ0TFϕϵ(ψ)=limϵ0F(ϕ~ϵψ)=F(ψ) \begin{align*} \lim \limits_{\epsilon \to 0} T_{F \ast \phi_{\epsilon}}(\psi) &= \lim \limits_{\epsilon \to 0}F(\tilde{\phi}_{\epsilon} \ast \psi) \\ &= F(\psi) \end{align*}

この時、最初の等号は超関数の畳み込み補助定理により成立し、二つ目の等号は超関数の連続条件により成立する。そうすると、超関数の収束の定義により、TFϕϵT_{F*\phi_{\epsilon}}FFに収束する。


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