ディラックのデルタ関数
数学におけるディラックのデルタ関数（デルタかんすう、テンプレート:Lang-en-short）、制御工学におけるインパルス関数 (インパルスかんすう、テンプレート:Lang-en-short) とは、任意の実連続関数 テンプレート:Math に対し、
- <math>\int^{\infty}_{-\infty} f(x)\delta(x)\,dx = f(0)</math>
を満たす実数値シュワルツ超関数 テンプレート:Mvar のことである。これはクロネッカーのデルタ
- <math>\sum_{i=-\infty}^{+\infty} f_i\delta_{i,j} = f_j</math>
の自然な拡張になっている。
ディラックのデルタ関数は、デルタ超関数 (delta distribution) あるいは単にディラックデルタ (Dirac's delta) とも呼ばれる。これを最初に定義して量子力学の定式化に用いた物理学者ポール・ディラックに因み、この名称が付いている。デルタ関数は古典的な意味での関数ではないシュワルツ超関数 テンプレート:En の最初の例になっている。
ディラックのデルタの「関数」としての性質は、形式的に次のように述べることができる。まず、テンプレート:Math として実直線上常に一定の値 テンプレート:Math をとる関数をとり、デルタ関数をデルタ関数自身と テンプレート:Math との積であると見ることにより
- <math>\int^{\infty}_{-\infty} \delta(x)dx = 1</math>
である。一方、積分値が テンプレート:Mvar の テンプレート:Math での値にしかよらないことから
- <math>\delta (x) = 0\quad (x\ne 0)</math>
でなければならないが、その上で積分値が テンプレート:Math でない有限の値をとるためには
- <math>\delta(0) = \infty</math>
が満たされなければならない。
目次
概要
上記のように特徴付けられるデルタ関数 テンプレート:Math は、その名前にも現れているように、あたかも通常の関数であるかのように扱われることも珍しくないが、実際には通常の意味の関数と見なすことはできない。 例えば、デルタ関数を連続関数で表すことができないことは以下のようにして分かる。テンプレート:Math が連続関数だったとして {{math|x {{=} 0}} でゼロでない値をとるならば テンプレート:Math を含む小区間で非ゼロでなければならず、テンプレート:Math で テンプレート:Math という条件を満たせない。したがって テンプレート:Math で テンプレート:Math ならばそれは常に テンプレート:Math の値をとる関数であり、他の関数と掛けて積分しても テンプレート:Math 以外の値をとることはない。点 テンプレート:Math においてのみ不連続であることを認めても、デルタ関数の特徴付けに用いられている積分が、通常の関数の（広義）リーマン積分やルベーグ積分として理解されるならば、このような関数の積分は恒等的に テンプレート:Math に等しい関数を積分するのと同じであり積分値は テンプレート:Math になる。したがって、このような条件を満たすような通常の関数は存在しない。
しかし、通常の意味ではまったく関数ではないデルタ関数は、適当な枠組みの下では意味を持ち、例えばデルタ分布はヘヴィサイドの階段関数の弱微分（超関数の意味での微分）を与えている。
初等関数による近似
デルタ関数は実軸上滑らかで有界な関数の空間 <math>C^\infty_b(\R)</math> 上の汎関数になっているが、<math>C^\infty_b(\R)</math> の双対空間の中でデルタ関数に弱収束するような関数の族 テンプレート:Math、つまり テンプレート:Indent が任意の <math>f \in C^\infty_b(\R)</math> について成り立つような族 テンプレート:Math がいくつか知られている。同様にして、滑らかかつ有界とは別な条件を満たす関数の空間の上の汎関数としての弱収束の表示も与えられている。以下に代表的例を 2 つ挙げる。
正規分布の密度関数による近似
中心 テンプレート:Mvar、分散 テンプレート:Math の正規分布の密度関数 テンプレート:Indent は、デルタ関数の満たすべき性質 テンプレート:Indent を満たす。さらに、テンプレート:Math で テンプレート:Math とすれば テンプレート:Math の近傍の外で一様に テンプレート:Math かつ テンプレート:Math である。これは、テンプレート:Math とすることで、関数族 テンプレート:Math が汎関数としてデルタ関数に近づくことを意味する。したがって、デルタ関数はある意味で正規分布の密度関数の極限と見なすことができ、 テンプレート:Indent と表現される。デルタ関数の表現に正規分布を用いたが、このことから、デルタ関数は正規分布の一種であると考えることが可能である。デルタ関数は、特殊な確率分布の表現に有用である。
Sinc関数による近似
Sinc関数から変数変換とスケーリングによって得られる関数族 テンプレート:Indent は、デルタ関数の満たすべき条件 テンプレート:Indent を満たす。ただし、これは左辺を広義積分 <math>\lim_{a\rightarrow \infty} \int_{-a}^a</math> として解釈した際に成立する等式である。上記の例と違ってこの関数族は テンプレート:Math としても各点収束しないが、任意のコンパクト台の滑らかな関数 テンプレート:Mvar に対して テンプレート:Indent が成り立っている。これも弱収束の意味でデルタ関数を近似していると考えられ、 テンプレート:Indent と表現される。
佐藤超関数としての定義
佐藤超関数の流儀では、ディラックのデルタ関数は複素領域から実軸への抽象的境界値 テンプレート:Indent と定義される。ここで抽象的境界値とは正則関数のある種の同値類を表すが、直感的には テンプレート:Math ならば テンプレート:Indent である。また、デルタ関数の最も重要な性質である テンプレート:Indent は、複素解析学のコーシーの積分公式から導かれる。厳密な定義には層係数のコホモロジー論を必要とするが、1 変数の場合は比較的容易に理論展開できる。
ディラック測度
ディラック関数は以下のようにして定まるディラック測度 テンプレート:En テンプレート:Math の非形式的な密度関数だと解釈することができる。実直線のボレル部分集合 テンプレート:Mvar に対して、テンプレート:Mvar が テンプレート:Math を含む場合 テンプレート:Math、そうでない場合 テンプレート:Math とすると、テンプレート:Math は [[シグマ加法性|テンプレート:Mvar-加法性]]を持っている。この測度に関する有界ボレル関数の積分は
- <math> \int f(x) d\delta_0(x) = f(0) </math>
であり、形式的に テンプレート:Math が成り立っている。
演算子体の単位元
ミクシンスキーの演算子法に従い、テンプレート:Math 上の複素数値連続関数の全体 テンプレート:Math が畳み込み
- <math>(f*g)(x) := \int_0^x f(x-\xi)g(\xi)\,d\xi</math>
に関して零因子を持たないというテンプレート:仮リンクを用いて、（単位元を持たない可換な）整域としての テンプレート:Mvar の商体 テンプレート:Mvar を構築する テンプレート:Mvar はティッチマーシュ・ミクシンスキー代数や、ミクシンスキー演算子（ヘヴィサイド演算子、—超関数）の体などと呼ばれる。テンプレート:Mvar には テンプレート:Mvar にはなかった乗法の単位元 テンプレート:Math が付加されているが、この テンプレート:Math はしばしばデルタ関数と看做される。
実際 テンプレート:Mvar は、特に定数関数 テンプレート:Math に対応する積分作用素 テンプレート:Math に対して テンプレート:Math すなわち、形式上は任意の テンプレート:Mvar に対して
- <math>\int_0^x \delta(\xi)\,d\xi = 1</math>
を満たさなければならない（もし テンプレート:Math が テンプレート:Math 上の連続関数ならば、テンプレート:Math とすれば左辺は テンプレート:Math となるから、これを テンプレート:Mvar の中だけで考えることはできない）。再び形式的な議論だが、この被積分関数を テンプレート:Math と テンプレート:Math の指示関数との値ごとの積と見なすことで、無限区間でのデルタ関数の性質が満たされると考えることができる。一方で、十分小さな テンプレート:Math に対し
- <math>\int_\varepsilon^x \delta(\xi)\,d\xi = \int_0^x \delta(\xi)\,d\xi - \int_0^\varepsilon \delta(\xi)\,d\xi = 0</math>
だから、テンプレート:Math で テンプレート:Math が満たされていると考えることができる。
