ヘヴィサイドの階段関数

へヴィサイドの階段関数（かいだんかんすう, [Heaviside-]step function）は、正負の引数に対しそれぞれ 1, 0 を返す関数

$H(x) = \begin{cases} 0 & (x < 0) \\ 1 & (x > 0) \end{cases}$

である。名称はオリヴァー・ヘヴィサイドにちなむ。ヘヴィサイド関数、ステップ関数あるいは単位ステップ関数、単位階段関数などと呼ばれることもある。通常、H(x) や Y(x) などで表されることが多い。

x = 0 で 1/2 の値をとる階段関数

[編集] 不連続性

階段関数は、x < 0 または x > 0 の範囲で連続であるが, x = 0 で値 c をとるものとして階段関数

$H_c(x) = \begin{cases} 0 & (x < 0) \\ c & (x = 0) \\ 1 & (x > 0) \end{cases}$

を実数全体の集合 R 上の関数 H_c: R → R と考えるならば、c をどのように定めても原点 x = 0 で不連続である。c の値は必要に応じて都合のよい値を選ぶことができるが、c = 0, 1/2 などがしばしば用いられる。c = 0 のときは

$H_0(x) = \begin{cases} 0 & (x \le 0) \\ 1 & (x > 0) \end{cases}$

となる。また、原点で 1/2 に値を持つ H_1/2 は

$H_{1/2}(x) = \begin{cases} 0 & (x < 0) \\ 1/2 & (x = 0) \\ 1 & (x > 0) \end{cases} = \frac{1+{\rm sgn}(x)}{2}$

と表すことができる。ここで関数 sgn は符号関数である。

ディラックのデルタ関数 δと区間 (−∞, x] の定義関数 χ_{(−∞, x]} に対し

$\int_{-\infin}^x \delta(t)dt := \int_{-\infin}^{\infin}\chi_{(-\infin, x]}(t)\delta(t)dt = \chi_{(-\infin, x]}(0)$

とおくと、これは x < 0 のとき区間 (−∞, x] は 0 を含まず、x ≥ 0 のとき区間 (−∞, x] が 0 を含むことから

$\chi_{(-\infin, x]}(0) = \begin{cases} 0 & (x < 0) \\ 1 & (x \ge 0) \end{cases}$

となる。つまり

$H_0(x) = \int^{x}_{-\infin} \delta(\xi) d\xi$

と表される。この意味でヘヴィサイドの階段関数はディラックのデルタ関数を密度関数とするときの分布関数に相当する。

この項目「ヘヴィサイドの階段関数」は、数学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。（ポータル数学／ウィキプロジェクト数学）