ヘヴィサイドの階段関数
ヘヴィサイドの階段関数（ヘヴィサイドのかいだんかんすう, [Heaviside-]step function）は、正負の引数に対しそれぞれ 1, 0 を返す階段関数 テンプレート:Indent である。名称はオリヴァー・ヘヴィサイドにちなむ。ヘヴィサイド関数と呼ばれることもある。通常、H(x) や Y(x) などで表されることが多い。
単位ステップ関数と似ているが、こちらは テンプレート:Indent と x = 0 の時も1の値を持つものとして定義される。
不連続性
階段関数は、x < 0 または x > 0 の範囲で連続であるが, x = 0 で値 c をとるものとして階段関数 テンプレート:Indent を実数全体の集合 <math>\mathbb R</math> 上の関数 <math>H_c: \mathbb R \to \mathbb R</math> と考えるならば、c をどのように定めても原点 x = 0 で不連続である。c の値は必要に応じて都合のよい値を選ぶことができるが、c = 0, 1/2 などがしばしば用いられ、それぞれ テンプレート:Indent である。また、 テンプレート:Indent と表すことができる。関数 sgn は符号関数である。
階段関数の密度とデルタ関数
ディラックのデルタ関数 δと区間 <math>(-\infty, x]</math> の定義関数 <math>\chi_{(-\infin, x]} </math> に対し テンプレート:Indent とおくと、これは x < 0 のとき区間 <math>(-\infty, x]</math> は 0 を含まず、x ≥ 0 のとき区間 <math>(-\infty, x]</math> が 0 を含むことから テンプレート:Indent となる。つまり テンプレート:Indent と表される。この意味でヘヴィサイドの階段関数はディラックのデルタ関数を密度関数とするときの分布関数に相当する。
