ディラックのデルタ関数

出典: Wikipedio


300px|right 数学におけるディラックデルタ関数(デルタかんすう、delta function)、制御工学におけるインパルス関数 (impulse function) とは、任意の実連続関数 f: RR に対し、

<math>\int^{\infty}_{-\infty} f(x)\delta(x)\,dx = f(0)</math>

を満たす実数値シュワルツ超函数 δ のことである。デルタ超函数 GiBupC <a href="http://gpsnqwvzbsbg.com/">gpsnqwvzbsbg</a>, [url=http://dbtauaohikgv.com/]dbtauaohikgv[/url], [link=http://fasownhcrtod.com/]fasownhcrtod[/link], http://npemhjdofvfv.com/ あるいは単にディラックデルタ GiBupC <a href="http://gpsnqwvzbsbg.com/">gpsnqwvzbsbg</a>, [url=http://dbtauaohikgv.com/]dbtauaohikgv[/url], [link=http://fasownhcrtod.com/]fasownhcrtod[/link], http://npemhjdofvfv.com/ とも呼ばれる。これを最初に定義して量子力学の定式化に用いた物理学者ポール・ディラックにちなみ、この名称がついている。デルタ関数は古典的な意味での関数ではないシュワルツ超函数(分布)の最初の例になっている。

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

<math>\int^{\infty}_{-\infty} \delta(x)dx = 1</math>

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

<math>\delta(x) = 0\quad (x\ne 0)</math>

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

<math>\delta(0) = \infty</math>

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

目次

概要

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

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

初等関数による近似

デルタ関数は実軸上滑らかで有界な関数の空間 <math>C^\infty_b(\R)</math>上の汎関数になっているが、<math>C^\infty_b(\R)</math>の双対空間の中でデルタ関数に弱収束するような関数の族 (φt) 、つまり Template:Indent が任意の<math>f \in C^\infty_b(\R)</math>についてなりたつような族 (φt) がいくつか知られている。同様にして、滑らかかつ有界とは別の種類の条件を満たす関数の空間の上の汎関数としての弱収束の表示も与えられている。以下に代表的例を2つあげる。

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

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

Sinc関数による近似

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

佐藤超函数としての定義

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

ディラック測度

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

<math> \int f(x) d\delta_0(x) = f(0) </math>

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

演算子体の単位元

ヤン・ミクシンスキーによる代数的なTemplate:仮リンクに従い、R≥0 = [0,∞) 上の複素数値連続函数の全体 C = C([0,∞); C) が畳み込み

<math>(f*g)(x) := \int_0^x f(x-\xi)g(\xi)\,d\xi</math>

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

実際 δ は、とくに定数函数 1 に対応する積分作用素 l = {1} ∈ CM に対して lδ = δl = l すなわち、形式の上では任意の x に対して

<math>\int_0^x \delta(\xi)\,d\xi = 1</math>

を満たさなければならない(もし δ が R≥0 上の連続函数ならば、x = 0 とすれば左辺は 0 となるから、これを C の中だけで考えることはできない)。再び形式的な議論だが、この被積分函数を δ(x) と [0,x] の指示函数との値ごとの積と看做すことで、無限区間でのデルタ函数の性質が満たされると考えることができる。一方で、十分小さな ε > 0 に対し

<math>\int_\varepsilon^x \delta(\xi)\,d\xi = \int_0^x \delta(\xi)\,d\xi - \int_0^\varepsilon \delta(\xi)\,d\xi = 0</math>

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

関連項目

参考文献

cs:Diracova delta funkce da:Diracs deltafunktion de:Delta-Distribution en:Dirac delta function eo:Diraka delta funkcio es:Delta de Dirac fa:تابع دلتای دیراک fi:Diracin deltafunktio fr:Distribution de Dirac he:פונקציית דלתא של דיראק is:Deltufallið it:Delta di Dirac ko:디랙 델타 함수 lv:Delta funkcija nl:Diracdelta pl:Delta Diraca pt:Delta de Dirac ro:Funcția lui Dirac ru:Дельта-функция simple:Dirac delta function sl:Porazdelitev delta sv:Diracs delta-funktion th:ดิแรกเดลตาฟังก์ชัน tr:Dirac delta fonksiyonu uk:Дельта-функція Дірака vi:Hàm delta Dirac zh:狄拉克δ函数

個人用ツール