分布の翻訳
📂シュワルツ超函数分布の翻訳
ビルドアップ
超関数は、その定義域が関数空間であるため、実数空間で定義された関数と同じ方法でトランスレーションを行うことはできない。しかし、正則超関数の場合、対応する局所積分可能な関数 u∈Lloc1が存在し、以下のように表される。
Tu(ϕ)=∫u(x)ϕ(x)dx,ϕ∈D(Rn)
したがって、uに対するある作用 Sによって Su=u′を得ることができるが、依然としてu′が局所積分可能な関数であれば、それに対応する超関数 Tu′が存在する。したがって、uに対する作用 SをTuに対する作用と考えるのである。このアイデアを超関数全体に拡張し、超関数のトランスレーションを定義しようとしている。

u∈Lloc1とそれに対応する正則超関数 Tuが与えられたとしよう。トランスレーションの記号としてTを使っているが、Tはすでに超関数の記号として使用しているため、シフトのSを取り、a∈Rに対するトランスレーションをSaとしよう。そして、uのトランスレーションをu′(x)=(Sau)(x)=u(x−a)とする。すると、依然としてu′∈Lloc1である。したがって、u′にも対応する正則超関数 Tu′が存在し、ϕ∈D(Rn)に対しては以下のようになる。
Tu′(ϕ)=∫u′(x)ϕ(x)dx=∫u(x−a)ϕ(x)dx=∫u(x)ϕ(x+a)dx=∫u(x)S−aϕ(x)dx=Tu(S−aϕ)
テスト関数 ϕは、対称移動しても引き続きテスト関数であるため、上記の計算に問題はない。したがって、Tを対称移動させることをuを対称移動させることと理解できる。さらに、結果的にテスト関数を逆方向に対称移動させるのと同じ作用であることがわかる。
定義
超関数 Tのトランスレーションを以下のように定義する。
(SaT)(ϕ):=T(S−aϕ)