ディラックのデルタ関数

数学におけるディラックのデルタ関数、または制御工学におけるインパルス関数とは、任意の実連続関数 に対し、

を満たす実数値シュワルツ超関数 δ}} のことである。これはクロネッカーのデルタ

の自然な拡張になっている。

ディラックのデルタ関数はデルタ超関数あるいは単にディラックデルタとも呼ばれる。これを最初に定義して量子力学の定式化に用いた物理学者ポール・ディラックに因み、この名称が付いている。デルタ関数は古典的な意味での関数ではないシュワルツ超関数の最初の例になっている。

ディラックのデルタの「関数」としての性質は、形式的に次のように述べることができる。まず、//f//}} として実直線上常に一定の値 1}} をとる関数をとり、デルタ関数をデルタ関数自身と //f// =}} 1}} との積であると見ることにより

である。一方、積分値が f}} の //x// =}} 0}} での値にしかよらないことから

でなければならないが、その上で積分値が 0}} でない有限の値をとるためには

が満たされなければならない。

1. 概要
-----

上記のように特徴付けられるデルタ関数 //δ//}} は、その名前にも現れているように、あたかも通常の関数であるかのように扱われることも珍しくないが、実際には通常の意味の関数と見なすことはできない。 例えば、デルタ関数を連続関数で表すことができないことは以下のようにして分かる。//δ//}} が連続関数だったとして //x// =}} 0}} でゼロでない値をとるならば //x// =}} 0}} を含む小区間で非ゼロでなければならず、//x// ≠ 0}} で //δ// =}} 0}} という条件を満たせない。したがって //x// ≠ 0}} で //δ// =}} 0}} ならばそれは常に 0}} の値をとる関数であり、他の関数と掛けて積分しても 0}} 以外の値をとることはない。点 //x// =}} 0}} においてのみ不連続であることを認めても、デルタ関数の特徴付けに用いられている積分が、通常の関数のリーマン積分やルベーグ積分として理解されるならば、このような関数の積分は恒等的に 0}} に等しい関数を積分するのと同じであり積分値は 0}} になる。したがって、このような条件を満たすような通常の関数は存在しない。

しかし、通常の意味ではまったく関数ではないデルタ関数は、適当な枠組みの下では意味を持ち、例えばデルタ分布はヘヴィサイドの階段関数の弱微分を与えている。

2. 初等関数による近似
------------

デルタ関数は実軸上滑らかで有界な関数の空間 上の汎関数になっているが、 の双対空間の中でデルタ関数に弱収束するような関数の族 //φ////t//}}、つまり が任意の について成り立つような族 //φ////t//}} がいくつか知られている。同様にして、滑らかかつ有界とは別な条件を満たす関数の空間の上の汎関数としての弱収束の表示も与えられている。以下に代表的例を 2 つ挙げる。

2.1. 正規分布の密度関数による近似
-------------------

中心 μ}}, 分散 //σ//2}} の正規分布の密度関数

は、デルタ関数の満たすべき性質

を満たす。さらに、//μ// =}} 0}} で //σ// → 0}} とすれば //x// =}} 0}} の近傍の外で一様に //φ////σ// → 0 }} かつ //f////σ// → +∞}} である。これは、//σ// → 0}} とすることで、関数族 //φ////σ//}} が汎関数としてデルタ関数に近づくことを意味する。したがって、デルタ関数はある意味で正規分布の密度関数の極限と見なすことができて、 と表現される。デルタ関数の表現に正規分布を用いたが、このことから、デルタ関数は正規分布の一種であると考えることが可能である。デルタ関数は、特殊な確率分布の表現に有用である。

2.2. Sinc関数による近似
----------------

Sinc関数から変数変換とスケーリングによって得られる関数族 は、デルタ関数の満たすべき条件 を満たす。ただし、これは左辺を広義積分 として解釈した際に成立する等式である。上記の例と違ってこの関数族は //k// → ∞}} としても各点収束しないが、任意のコンパクト台の滑らかな関数 f}} に対して が成り立っている。これも弱収束の意味でデルタ関数を近似していると考えられ、 と表現される。

3. フーリエ変換の基礎付け
--------------

Sink関数による近似の形をオイラーの公式を用いて変形すれば

であり、フーリエ変換における基本的な関係式

が得られる。この表式は量子場の理論で非常によく利用される。 フーリエ変換とその逆変換

は、以下の関係式により正当化される。

4. 佐藤超関数としての定義
--------------

佐藤超関数の流儀では、ディラックのデルタ関数は複素領域から実軸への抽象的境界値 と定義される。ここで抽象的境界値とは正則関数のある種の同値類を表すが、直感的には //x// ≠ 0}} ならば である。また、デルタ関数の最も重要な性質である は、複素解析学のコーシーの積分公式から導かれる。厳密な定義には層係数のコホモロジー論を必要とするが、1 変数の場合は比較的容易に理論展開できる。

5. ディラック測度
----------

ディラック関数は以下のようにして定まるディラック測度//δ//0}} の非形式的な密度関数だと解釈することができる。実直線のボレル部分集合 A}} に対して、A}} が 0}} を含む場合 //δ//0 =}} 1}}、そうでない場合 //δ//0 =}} 0}} とすると、//δ//0}} は σ}}-加法性を持っている。この測度に関する有界ボレル関数の積分は

であり、形式的に //dδ//0 =}} //δ////dx//}} が成り立っている。

6. 演算子体の単位元
-----------

ミクシンスキーの演算子法に従い、R≥0 =}} [0, ∞)}} 上の複素数値連続関数の全体 //C// =}} //C//; C)}} が畳み込み

に関して零因子を持たないというティッチマーシュの定理を用いて、整域としての C}} の商体 M}} を構築する M}} はティッチマーシュ・ミクシンスキー代数や、ミクシンスキー演算子の体などと呼ばれる。M}} には C}} にはなかった乗法の単位元 //δ// =}} )}}}} が付加されているが、この //δ//}} はしばしばデルタ関数と看做される。

実際 δ}} は、特に定数関数 1}} に対応する積分作用素 //l// =}} }} ∈ //C// ⊂ //M//}} に対して //lδ// =}} //δl// =}} //l//}} すなわち、形式上は任意の x}} に対して

を満たさなければならない。再び形式的な議論だが、この被積分関数を //δ//}} と [0, //x//]}} の指示関数との値ごとの積と見なすことで、無限区間でのデルタ関数の性質が満たされると考えることができる。一方で、十分小さな //ε// > 0}} に対し

だから、//x// ≠ 0}} で //δ// =}} 0}} が満たされていると考えることができる。

7. 性質
-----

において以下の公式が成り立つ。

//n//}} 階微分 //δ//sup については以下が成り立つ：

ここで //n,m//}} は非負の整数である。特に1階微分の場合は

であるが、//xf// =}} −//δ//}} を満たす超関数 //f//}} は //α//}} を任意定数として

である。

8. 関連項目
-------

ヘヴィサイドの階段関数
超関数
インパルス応答
再生核
クロネッカーのデルタ

9. 脚注
-----

10. 参考文献
--------