|
|
| 1行目: |
1行目: |
| − | {{redirect|デルタ関数|ラマヌジャンのデルタ関数|ヴァイエルシュトラスの楕円函数}} | + | {{テンプレート:20180815sk}} __NOINDEX__ |
| − | [[ファイル:Dirac distribution PDF.png|300px|right]]
| |
| − | | |
| − | [[数学]]における[[ポール・ディラック|ディラック]]の'''デルタ関数'''（デルタかんすう、{{lang-en-short|''delta function''}}）、[[制御工学]]における'''インパルス関数''' (インパルスかんすう、{{lang-en-short|''impulse function''}}) とは、任意の実[[連続関数]] {{math|''f'' : '''R''' → '''R'''}} に対し、
| |
| − | : <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>
| |
| − | の自然な拡張になっている。
| |
| − | | |
| − | ディラックのデルタ関数は、'''デルタ超関数''' {{lang|en|(''delta distribution'')}} あるいは単にディラックデルタ {{lang|en|(Dirac's delta)}} とも呼ばれる。これを最初に定義して量子力学の定式化に用いた物理学者[[ポール・ディラック]]に因み、この名称が付いている。デルタ関数は古典的な意味での関数ではないシュワルツ超関数 {{en|(distribution)}} の最初の例になっている。
| |
| − | | |
| − | ディラックのデルタの「関数」としての性質は、形式的に次のように述べることができる。まず、{{math|''f''(''x'')}} として実直線上常に一定の値 {{math|1}} をとる関数をとり、デルタ関数をデルタ関数自身と {{math|''f''(''x'') {{=}} 1}} との積であると見ることにより
| |
| − | : <math>\int^{\infty}_{-\infty} \delta(x)dx = 1</math>
| |
| − | である。一方、積分値が {{mvar|f}} の {{math|''x'' {{=}} 0}} での値にしかよらないことから
| |
| − | : <math>\delta (x) = 0\quad (x\ne 0)</math>
| |
| − | でなければならないが、その上で積分値が {{math|0}} でない有限の値をとるためには
| |
| − | : <math>\delta(0) = \infty</math>
| |
| − | が満たされなければならない。
| |
| − | | |
| − | == 概要 ==
| |
| − | 上記のように特徴付けられるデルタ関数 {{math|''δ''(''x'')}} は、その名前にも現れているように、あたかも通常の関数であるかのように扱われることも珍しくないが、実際には通常の意味の関数と見なすことはできない。
| |
| − | 例えば、デルタ関数を連続関数で表すことができないことは以下のようにして分かる。{{math|''δ''(''x'')}} が連続関数だったとして {{math|''x'' {{=}} 0}} でゼロでない値をとるならば {{math|''x'' {{=}} 0}} を含む小区間で非ゼロでなければならず、{{math|''x'' ≠ 0}} で {{math|''δ''(''x'') {{=}} 0}} という条件を満たせない。したがって {{math|''x'' ≠ 0}} で {{math|''δ''(''x'') {{=}} 0}} ならばそれは常に {{math|0}} の値をとる関数であり、他の関数と掛けて積分しても {{math|0}} 以外の値をとることはない。点 {{math|''x'' {{=}} 0}} においてのみ不連続であることを認めても、デルタ関数の特徴付けに用いられている[[積分]]が、通常の関数の（広義）[[リーマン積分]]や[[ルベーグ積分]]として理解されるならば、このような関数の積分は恒等的に {{math|0}} に等しい関数を積分するのと同じであり積分値は {{math|0}} になる。したがって、このような条件を満たすような通常の関数は存在しない。
| |
| − | | |
| − | しかし、通常の意味ではまったく関数ではないデルタ関数は、適当な枠組みの下では意味を持ち、例えばデルタ分布は[[ヘヴィサイドの階段関数]]の弱微分（[[超関数]]の意味での微分）を与えている。
| |
| − | | |
| − | == 初等関数による近似 ==
| |
| − | デルタ関数は実軸上[[滑らかな関数|滑らか]]で[[有界]]な関数の空間 <math>C^\infty_b(\R)</math> 上の[[汎関数]]になっているが、<math>C^\infty_b(\R)</math> の[[双対空間]]の中でデルタ関数に弱収束するような関数の[[族 (数学)|族]] {{math|''φ''<sub>''t''</sub>}}、つまり
| |
| − | {{Indent|<math>\int_{-\infty}^\infty f(x)\phi_t(x) dx \rightarrow f(0) \quad (t \rightarrow 0)</math>}}
| |
| − | が任意の <math>f \in C^\infty_b(\R)</math> について成り立つような族 {{math|''φ''<sub>''t''</sub>}} がいくつか知られている。同様にして、滑らかかつ有界とは別な条件を満たす関数の空間の上の汎関数としての弱収束の表示も与えられている。以下に代表的例を 2 つ挙げる。
| |
| − | | |
| − | === 正規分布の密度関数による近似 ===
| |
| − | [[期待値|中心]] {{mvar|μ}}, [[分散 (確率論)|分散]] {{math|''σ''<sup>2</sup>}} の[[正規分布]]の密度関数
| |
| − | {{Indent|<math>f_{\mu,\sigma}(x) = \frac{1}{\sqrt{2\pi}\,\sigma}\exp\!\left\{-\frac{(x-\mu)^2}{2\sigma^2}\right\}</math>}}
| |
| − | は、デルタ関数の満たすべき性質
| |
| − | {{Indent|<math>\int^{\infty}_{-\infty}f_{\mu,\sigma}(x)\,dx = 1</math>}}
| |
| − | を満たす。さらに、{{math|''μ'' {{=}} 0}} で {{math|''σ'' → 0}} とすれば {{math|''x'' {{=}} 0}} の近傍の外で一様に {{math|''f''<sub>''σ''</sub>(''x'') → 0 (''x'' ≠ 0)}} かつ {{math|''f''<sub>''σ''</sub>(0) → +∞}} である。これは、{{math|''σ'' → 0}} とすることで、関数族 {{math|''f''<sub>''σ''</sub>}} が汎関数としてデルタ関数に近づくことを意味する。したがって、デルタ関数はある意味で正規分布の密度関数の極限と見なすことができ、
| |
| − | {{Indent|<math>\lim_{\sigma \to 0} \frac{1}{\sqrt{2\pi}\,\sigma} \exp\!\left(-\frac{x^2}{2\sigma^2}\right)=\delta(x)</math>}}
| |
| − | と表現される。デルタ関数の表現に正規分布を用いたが、このことから、デルタ関数は正規分布の一種であると考えることが可能である。デルタ関数は、特殊な[[確率分布]]の表現に有用である。
| |
| − | | |
| − | === Sinc関数による近似 ===
| |
| − | [[Sinc関数]]から変数変換とスケーリングによって得られる関数族
| |
| − | {{Indent|<math>f_k(x) = \frac{\sin kx}{\pi x}\quad (k \in \mathbb{R})</math>}}
| |
| − | は、デルタ関数の満たすべき条件
| |
| − | {{Indent|<math>\int^{\infty}_{-\infty}f_k(x)\,dx = 1</math>}}
| |
| − | を満たす。ただし、これは左辺を[[広義積分]] <math>\lim_{a\rightarrow \infty} \int_{-a}^a</math> として解釈した際に成立する等式である。上記の例と違ってこの関数族は {{math|''k'' → ∞}} としても[[各点収束]]しないが、任意の[[関数の台#コンパクト台付きの函数|コンパクト台]]の滑らかな関数 {{mvar|g}} に対して
| |
| − | {{Indent|<math>\lim_{k\to \infty} \int_{-\infty}^{\infty}f_k(x) g(x)dx = g(0)</math>}}
| |
| − | が成り立っている。これも弱収束の意味でデルタ関数を近似していると考えられ、
| |
| − | {{Indent|<math>\lim_{k \to \infty}\frac{\sin kx}{\pi x}=\delta(x)</math>}}
| |
| − | と表現される。
| |
| − | | |
| − | == 佐藤超関数としての定義 ==
| |
| − | [[佐藤超関数]]の流儀では、ディラックのデルタ関数は複素領域から実軸への抽象的境界値
| |
| − | {{Indent|<math>
| |
| − | \delta(x):=
| |
| − | \frac{-1}{2 \pi i}\left(\frac{1}{x+ i0} -\frac{1}{x- i0}\right)
| |
| − | </math>}}
| |
| − | と定義される。ここで抽象的境界値とは正則関数のある種の同値類を表すが、直感的には {{math|''x'' ≠ 0}} ならば
| |
| − | {{Indent|<math>
| |
| − | \frac{-1}{2 \pi i}\left(\frac{1}{x+ i0} -\frac{1}{x- i0}\right)
| |
| − | = \frac{-1}{2 \pi i}\left(\frac{1}{x} -\frac{1}{x}\right) =0
| |
| − | </math>}}
| |
| − | である。また、デルタ関数の最も重要な性質である
| |
| − | {{Indent|<math>
| |
| − | \int \delta(x)f(x)\,dx= f(0)
| |
| − | </math>}}
| |
| − | は、複素解析学の[[コーシーの積分公式]]から導かれる。厳密な定義には[[層コホモロジー|層係数のコホモロジー]]論を必要とするが、1 変数の場合は比較的容易に理論展開できる。
| |
| − | | |
| − | == ディラック測度 ==
| |
| − | ディラック関数は以下のようにして定まる'''[[ディラック測度]]''' {{en|(Dirac measure)}} {{math|''δ''<sub>0</sub>}} の非形式的な密度関数だと解釈することができる。実直線の[[ボレル集合|ボレル部分集合]] {{mvar|A}} に対して、{{mvar|A}} が {{math|0}} を含む場合 {{math|''δ''<sub>0</sub>(''A'') {{=}} 1}}、そうでない場合 {{math|''δ''<sub>0</sub>(''A'') {{=}} 0}} とすると、{{math|''δ''<sub>0</sub>}} は [[シグマ加法性|{{mvar|σ}}-加法性]]を持っている。この[[測度]]に関する[[可測関数|有界ボレル関数]]の積分は
| |
| − | : <math> \int f(x) d\delta_0(x) = f(0) </math>
| |
| − | であり、形式的に {{math|''dδ''<sub>0</sub>(''x'') {{=}} ''δ''(''x'')''dx''}} が成り立っている。
| |
| − | | |
| − | == 演算子体の単位元 ==
| |
| − | [[ミクシンスキーの演算子法]]に従い、{{math|'''R'''<sub>≥0</sub> {{=}} [0, ∞)}} 上の複素数値連続関数の全体 {{math|''C'' {{=}} ''C''([0, ∞); '''C''')}} が[[畳み込み]]
| |
| − | : <math>(f*g)(x) := \int_0^x f(x-\xi)g(\xi)\,d\xi</math>
| |
| − | に関して[[零因子]]を持たないという{{仮リンク|ティッチマーシュの定理|en|Titchmarsh convolution theorem}}を用いて、（[[単位元]]を持たない[[可換]]な）[[整域]]としての {{mvar|C}} の[[商体]] {{mvar|M}} を構築する {{mvar|M}} は'''ティッチマーシュ・ミクシンスキー代数'''や、'''ミクシンスキー演算子'''（ヘヴィサイド演算子、—超関数）の体などと呼ばれる。{{mvar|M}} には {{mvar|C}} にはなかった乗法の単位元 {{math|''δ'' {{=}} {{(}}δ(''x''){{)}}}} が付加されているが、この {{math|''δ''(''x'')}} はしばしばデルタ関数と看做される。
| |
| − | | |
| − | 実際 {{mvar|δ}} は、特に定数関数 {{math|1}} に対応する積分作用素 {{math|''l'' {{=}} {{(}}1{{)}} ∈ ''C'' ⊂ ''M''}} に対して {{math|''lδ'' {{=}} ''δl'' {{=}} ''l''}} すなわち、形式上は任意の {{mvar|x}} に対して
| |
| − | : <math>\int_0^x \delta(\xi)\,d\xi = 1</math> | |
| − | を満たさなければならない（もし {{math|δ}} が {{math|'''R'''<sub>≥0</sub>}} 上の連続関数ならば、{{math|''x'' {{=}} 0}} とすれば左辺は {{math|0}} となるから、これを {{mvar|C}} の中だけで考えることはできない）。再び形式的な議論だが、この被積分関数を {{math|''δ''(''x'')}} と {{math|[0, ''x'']}} の[[指示関数]]との値ごとの積と見なすことで、無限区間でのデルタ関数の性質が満たされると考えることができる。一方で、十分小さな {{math|''ε'' > 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>
| |
| − | だから、{{math|''x'' ≠ 0}} で {{math|''δ''(''x'') {{=}} 0}} が満たされていると考えることができる。
| |
| − | | |
| − | == 関連項目 ==
| |
| − | *[[ヘヴィサイドの階段関数]]
| |
| − | *[[超関数]]
| |
| − | *[[インパルス応答]]
| |
| − | *[[再生核]]
| |
| − | *[[クロネッカーのデルタ]]
| |
| − | | |
| − | == 参考文献 ==
| |
| − | * {{MathWorld|title=Delta Function|urlname=DeltaFunction}}
| |
| − | * {{cite book|title=Topological Vector Spaces, Distributions and Kernels|author=Francois Treves|year=2006|publisher=Dover Publications}}
| |
| − | | |
| − | {{DEFAULTSORT:ていらつくのてるたかんすう}}
| |
| − | [[Category:超関数]]
| |
| − | [[Category:数学に関する記事]]
| |