logo

超関数の畳み込みの補題 📂シュワルツ超函数

超関数の畳み込みの補題

概説1

FF超関数ϕ,ψ\phi,\psiテスト関数としよう。するとFϕF \ast \phiは実数空間で定義された関数であり、局所可積分である。従って、FϕF \ast \phiに対応する正則超関数 TTが次のように存在する。

TFϕ(ψ)=F(ϕ~ψ) T_{F \ast \phi}(\psi)=F(\tilde{\phi} \ast \psi)

ここで、ϕ~(x)=ϕ(x)\tilde{\phi}(x)=\phi (-x)である。

説明

‘超関数の畳み込み補助定理’という名前は、上記の内容に特につけられた名称がないため、適当に付けたものである。

証明

  • ケース1. FFが正則超関数である場合

    FFに対応するfLloc1f \in L_{\mathrm{loc}}^{1}が存在する。

    F(ϕ)=Ff(ϕ)=f(x)ϕ(x)dx F (\phi) = F_{f} (\phi) = \int f(x)\phi (x) dx

    従って、次の式が成り立つ。

    TFϕ(ψ)=(Fϕ)(x)ψ(x)dx=F(ϕ~x)ψ(x)dx=f(y)ϕ~(yx)dyψ(x)dx=f(y)ϕ~(yx)ψ(x)dxdy=f(y)(ϕ~ψ)(y)dy=F(ϕ~ψ) \begin{align*} T_{F \ast \phi}(\psi) &= \int (F*\phi)(x)\psi (x)dx \\ &=\int F(\tilde{\phi}_{x})\psi (x) dx \\ &= \int \int f(y)\tilde{\phi}(y-x)dy\psi (x)dx \\ &= \int f(y)\int\tilde{\phi}(y-x)\psi (x)dxdy \\ &= \int f(y)(\tilde{\phi} \ast \psi)(y)dy \\ &= F(\tilde{\phi} \ast \psi) \end{align*}

  • ケース2. FF正則超関数ではない場合

    ϕ~,ψC\tilde{\phi}, \psi \in C^{\infty}であるため、ϕ~ψ\tilde{\phi} \ast \psiリーマン積分可能である。すると、以下のように積分を無限級数で近似することができる。

    ϕ~ψ(y)=ϕ~(xy)ψ(x)dy=limni=1nϕ(xiy)ψxiΔxi \tilde{\phi} \ast \psi (y)= \int \tilde{\phi}(x-y)\psi (x)dy=\lim \limits_{n\to \infty} \sum \limits _{i=1} ^{n}\phi (x_{i}-y)\psi_ {x_{i}}\Delta x_{i}

    したがって、次が成り立つ:

    F(ϕ~ψ)=F(limni=1nϕ(xi)ψxiΔxi)=limnF(i=1nϕ(xi)ψxiΔxi)=limni=1nF(ϕ(xi))ψxiΔxi=limni=1n(Fϕ)(xi)ψxiΔxi=Fϕ(x)ψ(x)dx=TFϕ(ψ) \begin{align*} F(\tilde{\phi} \ast \psi) &= F \left( \lim \limits_{n\to \infty} \sum \limits _{i=1} ^{n}\phi (x_{i}-\cdot)\psi_{x_{i}}\Delta x_ {i} \right) \\ &=\lim \limits_{n\to \infty} F \left( \sum \limits _{i=1} ^{n}\phi (x_{i}-\cdot)\psi_{x_{i}}\Delta x_{i} \right) \\ &=\lim \limits_{n\to \infty} \sum \limits _{i=1} ^{n}F \left( \phi (x_{i}-\cdot) \right)\psi_{x_{i}}\Delta x_{i} \\ &=\lim \limits_{n\to \infty} \sum \limits _{i=1} ^{n} (F \ast \phi)(x_{i}) \ast \psi_{x_{i}}\Delta x_{i} \\ &= \int F \ast \phi (x)\psi (x)dx \\ &=T_{F \ast \phi}(\psi) \end{align*}

    2番目の等号は超関数の連続性により、3番目の等号は線形性により成り立つ。


  1. ジェラルド・B・フォランド, フーリエ解析及びその応用 (1992), p318 ↩︎