ここでは、
上の超関数について解説する。
上のものに限るのは単に説明を簡潔にするための方便であり、ここに書かれる内容の多くは
や
、あるいは一般の多様体上に容易に拡張できる。
超関数とは[編集]
超関数とは、普通の意味では関数ではないが、関数に準じたものとして扱うことができる、いわば「関数もどき」である。例えば次のような条件を満たす関数を考える。
![{\displaystyle \delta (x)=0\ (\forall x\in \mathbb {R} \setminus \{0\})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f67bddc62c47545f3ee48a5904f94d2db03ef68)
![{\displaystyle \int _{-\infty }^{\infty }\delta (x)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3849f04e2e1a9b8ba9237e904474b3f65abaee1a)
このような関数は、実際には存在しないことはすぐにわかる。なぜならば、1の式を満たす関数はほとんどいたるところで0なのだから、積分しても0であり、2の式を同時に満たすことはできない。
しかしここでは、もしこのような関数が存在したらどのような性質を示すか、ということを少し強引に考えてみる。適当なよい関数
を取ってきて、次のような積分を計算をしてみる。
![{\displaystyle F(\varphi )=\int _{-\infty }^{\infty }\varphi (x)\delta (x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3361c4e94996b907bce744c7782a3344ed40fe32)
は0以外では0なのだから、積分に寄与するのは0での値だけである。したがって、
![{\displaystyle F(\varphi )=\int _{-\infty }^{\infty }\varphi (0)\delta (x)dx=\varphi (0)\int _{-\infty }^{\infty }\delta (x)dx=\varphi (0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eec7b95b9e2bb5c33c8927dbe864dc07bb7af9cd)
このような積分を考えると、
は関数に対してある実数値を与えるような汎関数を与えることがわかる。
この汎関数こそ
の実体である、ということにすれば、この
に数学的な位置づけを与えることができる。このようにして定義される汎関数のことを超関数という。
次節以降で、超関数を厳密に定義することを考える。
急減少関数[編集]
超関数を定義する前に、まずは急減少関数という概念を定義する。先ほど
を取るときに「よい関数」と表現したが、具体的にどのような「よい」関数を選べばよいのかというひとつのめやすである。
定義 無限回微分可能な実数値関数fが次の条件を満たすとき、この関数は急減少であるという。
に対し、![{\displaystyle \sup _{x}|x^{m}{\frac {d^{n}}{dx^{n}}}f(x)|<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/81b76b33ac9b805357deed90fc2a91f5da35232d)
この定義を見てもどのような関数かよくわからないかもしれない。直感的な言い方をすれば、どんなに高い次数の多項式をかけてもsupが有限なのであるから、xを大きくしたときにどんな多項式が発散する速度よりも速く0に近づいていく、ということである。いくつか例を挙げる。
例 無限回微分可能であってサポートがコンパクトな関数は急減少である。
なぜならば、どんなに高い次数の多項式をかけてもその関数のサポートはコンパクトであり、コンパクト集合上の連続関数は最大・最小を持つ。
しかし、サポートがコンパクトでない急減少関数もある。ひとつ挙げておく。急減少であることの証明は練習問題としよう。
例
は急減少である。
さて、実数上の急減少関数の全体をここでは
と書くことにする。この集合は通常の和と積によって
線型空間の構造を持つことはすぐにわかる。しかし実はそれだけでなく、距離空間としての構造も持つ。
命題+定義
に対して
![{\displaystyle \rho (f,g)=\sum _{N=1}^{\infty }{\frac {\|f-g\|_{L^{N}}}{2^{N}(1+\|f-g\|_{L^{N}})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/461ff9a52e3fc74535fb6168b3119db8fe807e66)
と定めるとこれは距離の公理を満たす。これを
における距離とする。
超関数の定義と例[編集]
急減少関数という言葉を用意したことで、超関数は次のように簡潔に定義できる。
定義
が連続写像でありかつ線型写像であるとき、Fは
上の緩増加超関数であるという。
上の緩増加超関数全体という集合を
と書くことにする。また、表記上の慣習として、緩増加超関数Fと急減少関数
に対して
のことを
と書く。
超関数の例をいくつか挙げる。以下特に断りなければ
とする。
まず、通常の意味での関数は超関数とみなすこともできる。
例
とする。
![{\displaystyle \langle F_{f},\varphi \rangle =\int _{-\infty }^{\infty }f(x)\varphi (x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76391257c489d36e584fe9a32e83b1122a9ddf4c)
と定めると、
は緩増加超関数である。
この場合、さらに写像
は(ほとんど至るところ等しい関数を同一視すれば)1対1なので、しばしば
とfを同一視する。
なお、ここでは簡単のため
であることを仮定したが、同様の超関数を考えることができる関数の条件はこれだけではない。たとえば、大雑把に言って各点での増大が高々多項式程度の関数は同様にして超関数とみなすことができる。直感的には急減少関数の定義から容易にわかるだろう。
次に挙げる2つは、通常の意味での関数をかけて積分するという形では表せない超関数である。
例
![{\displaystyle \langle \delta ,\varphi \rangle =\varphi (0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b8019dd4aa70c7521067f0a2290f47e1503508f)
で定められる
は緩増加超関数である。これをDiracのデルタ関数と呼ぶ。
例
![{\displaystyle \langle p.v.{\frac {1}{x}},\varphi \rangle =\lim _{\epsilon \searrow 0}\int _{|x|>\epsilon }{\frac {\varphi (x)}{x}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1360b0922be8a39c123a48386dcc654e5df83cb)
で定められる
は緩増加超関数である。これをCauchyの主値という。
超関数の演算[編集]
超関数の空間は線型空間の双対空間なので、和と定数倍は自然に定義される。しかし、通常の関数には他にも微分やフーリエ変換のような演算が定義される。この節では、超関数に対してもこれらの演算を定義することを考える。当然、その定義の妥当性の根拠は通常の関数に関する性質に求められる。
とすると、部分積分の公式から
![{\displaystyle \int _{-\infty }^{\infty }f'(x)\varphi (x)dx=-\int _{-\infty }^{\infty }f(x)\varphi '(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30fdd2265d8030675706eba5e344be7ab401fe1b)
という関係が成り立つ。(急減少関数は十分大きいところでは0なので、部分積分公式のもうひとつの項は0であることに注意)
つまり、
![{\displaystyle \langle F_{f'},\varphi \rangle =\langle F_{f},-\varphi '\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4730725ba0159cfa4d142234d3f2837b57e1fc3b)
である。この性質をもとに、一般の超関数の微分を次のように定義する。
定義 Fを緩増加超関数とするとき、次で定義される新しい超関数F'をFの微分という。
![{\displaystyle \langle F',\varphi \rangle :=\langle F,-\varphi '\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdb9b0162ec148ebfff4e8de724b23083d583db6)
同様にして二階微分、三階微分...も定義される。急減少関数は無限回微分可能なので、超関数は微分の定義より無限回微分可能である。
特に、普通の意味では微分不可能な通常の関数に対しても、超関数としてはその微分というものを考えることができる。
問
![{\displaystyle f(x)={\begin{cases}x&x\geq 0\\0&x<0\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e42b4201442e0985b0f2da29622706db43569e2b)
の超関数の意味での微分と二階微分を計算せよ。
- (解)
![{\displaystyle {\begin{aligned}\langle F_{f}',\varphi \rangle &=-\int _{-\infty }^{\infty }f(x)\varphi '(x)dx\\&=-\int _{0}^{\infty }x\varphi '(x)dx\\&=[-x\varphi (x)]_{0}^{\infty }+\int _{0}^{\infty }\varphi (x)dx\\&=\int _{0}^{\infty }\varphi (x)dx\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/129c679b5c43cd606e8a10fe80b856e3b0e026d8)
である。ここで、
![{\displaystyle g(x)={\begin{cases}1&x\geq 0\\0&x<0\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a99c6d966f4492988d4b46b01fe4e8f4d2931e1)
とすると、
![{\displaystyle \int _{0}^{\infty }\varphi (x)dx=\int _{-\infty }^{\infty }g(x)\varphi (x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee6d8768880e95a7822e760f3355364f12d32611)
なので、
の超関数の意味での微分は
である。この
をHeavisideの階段関数という。
階段関数の微分を考える。
![{\displaystyle {\begin{aligned}\langle F_{g}',\varphi \rangle &=-\int _{-\infty }^{\infty }g(x)\varphi '(x)dx\\&=-\int _{0}^{\infty }\varphi '(x)dx\\&=[-\varphi (x)]_{0}^{\infty }\\&=\varphi (0)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80ea05155e48d08ef1cd72a5b33a38397696360b)
なので、Heavisideの階段関数の微分はDiracのデルタ関数である。
Fourier変換[編集]
とする。Fourier変換を
で表すことにすると、
![{\displaystyle {\begin{aligned}\int _{-\infty }^{\infty }{\mathcal {F}}[f](\xi )\varphi (\xi )d\xi &=\int _{-\infty }^{\infty }(\int _{-\infty }^{\infty }f(x)e^{-ix\xi }dx)\varphi (\xi )d\xi \\&=\int _{-\infty }^{\infty }f(x)(\int _{-\infty }^{\infty }\varphi (\xi )e^{-ix\xi }d\xi )dx\\&=\int _{-\infty }^{\infty }f(x){\mathcal {F}}[\varphi ](x)dx\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a833ed27eb3817e0c487a6f01f5e5604e7c84aa5)
という関係が成り立つ。(途中Fubiniの定理を用いた)
つまり、
![{\displaystyle \langle F_{{\mathcal {F}}[f]},\varphi \rangle =\langle F_{f},{\mathcal {F}}[\varphi ]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fb97070fd4698cb9dd14cff2e197fd779027542)
である。この性質をもとに、一般の超関数のFourier変換を次のように定義する。
定義 Fを緩増加超関数とするとき、次で定義される新しい超関数
をFのFourier変換という。
![{\displaystyle \langle {\mathcal {F}}[F],\varphi \rangle :=\langle F,{\mathcal {F}}[\varphi ]\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5671275d3c7828ca360a473f34ca0cf47509229)
問 これまでに例として挙げた超関数をFourier変換せよ。