符号関数

提供: miniwiki
移動先:案内検索
ファイル:Signum function.svg
実数に対する符号関数 [math]y = \sgn x[/math]

符号関数 (ふごうかんすう、: sign function, signum function) は、実数に対しその符号に応じて1−10のいずれかを返す関数

[math] \sgn x = \begin{cases} 1 & :\ x \gt 0 \\ 0 & :\ x = 0 \\ -1 & :\ x \lt 0 \end{cases}[/math]

およびそれを拡張した複素関数。

記号は sgn x のほかに、sgn(x), Sgn x, sign x なども使われる。

英語から「サイン関数」とも呼ぶが、この名は正弦関数 sin と非常に紛らわしい。区別するために sign のラテン語形の signum(シグヌム、英語読みはシグナム)から「シグナム関数」(signum function) と呼ぶことがある。英語以外でもドイツ語などいくつかの言語で signum 系の名前で呼ばれる。

複素数への拡張

実数に対する符号関数は

[math]\sgn x = \begin{cases} {x}/{|x|} & :\ x \ne 0 \\ 0 & :\ x = 0 \end{cases}[/math]

と書くこともできる。符号関数の複素数への拡張は、この式を複素数へも適用することで得られる。複素数に対する符号関数は、複素数平面上でベクトルに対し同方向の単位ベクトルを求める操作と同等である(ただし零ベクトル以外のとき)。

なおこのほかに、gnuplotでは、複素数に対し符号関数を

[math] \sgn x = \sgn \operatorname{Re}\,x [/math]

と定義している。またMaple Vでは

[math]\operatorname{csgn}\,x = \begin{cases} \sgn \operatorname{Re}\,x & :\ \operatorname{Re}\,x \ne 0 \\ \sgn \operatorname{Im}\,x & :\ \operatorname{Re}\,x = 0 \end{cases}[/math]

という関数を定義している([math]\operatorname{Re}[/math][math]\operatorname{Im}[/math] はそれぞれ複素数の実部と虚部)。しかしこれ以降は、これらの定義は使わず、最初の定義の符号関数について述べる。

性質

符号関数は、以下のような性質を持つ(これらは複素数に対し成り立つ)。

極形式との関係:

  • [math]|\sgn x| = \begin{cases} 1 & :\ x \neq 0 \\ 0 & :\ x = 0 \end{cases}[/math]
  • [math]\arg \sgn x = \arg x \,[/math] 、ただし [math]\arg[/math] は偏角
  • [math]x = (\sgn x) |x| \,[/math]
  • [math]\sgn x = e^{i \arg x} \quad (x \ne 0)[/math]

符号の演算:

  • [math]\sgn -x = -\sgn x \,[/math]
  • [math]\sgn \frac{1}{x} = \frac{1}{\sgn x} \quad (x \ne 0)[/math]
  • [math]\sgn xy = \sgn x \sgn y \,[/math]
  • [math]\sgn \frac{x}{y} = \frac{\sgn x}{\sgn y} \quad (y \ne 0)[/math]
  • [math]\sgn x^y = (\sgn x)^y\,[/math]

実数に対しては、加えて次のような性質を持つ。

  • [math] \frac d {d x} \sgn x = 2 \operatorname{\delta}(x)[/math] 、ただし [math]\operatorname{\delta}[/math]ディラックのデルタ関数
  • [math]\sgn x = \frac d {d x} |x| \quad (x \ne 0)[/math]
  • [math]\sgn x = 2 \operatorname{H}_{1/2}(x) - 1 \,[/math] 、ただし [math]\operatorname{H_{1/2}}[/math]ヘヴィサイドの階段関数
  • [math]\sgn x = [x \gt 0] - [x \lt 0] \,[/math] 、ただし [math][\,][/math]アイヴァーソンのブラケット
  • [math]\lim_{k \to \infty} \tanh kx = \frac \pi 2 \sgn x[/math]