Signum (wiskunde)

Het signum, als functie vaak aangeduid als sgn, is een eenvoudige wiskundige functie die, zoals de naam min of meer zegt, het teken van het argument aangeeft. Een negatief getal heeft het teken $-1$, het getal $0$ het teken $0$ en een positief getal heeft het teken $+1$:

Grafiek van de signumfunctie (let op de nulwaarde in de oorsprong)

$\operatorname {sgn}(x)={\begin{cases}-1&{\mbox{als }}x<0\\\ \ \;0&{\mbox{als }}x=0\\\ \ \;1&{\mbox{als }}x>0\end{cases}}$

Het gebruik van de functie signum maakt het in sommige gevallen mogelijk één uitdrukking te hanteren in plaats van de diverse gevallen te onderscheiden. In plaats van te schrijven:

$f(x)={\begin{cases}f_{\text{–}}(x)&{\mbox{als }}x<0\\f_{\text{0}}(x)&{\mbox{als }}x=0\\f_{\text{+}}(x)&{\mbox{als }}x>0\end{cases}}$

kan volstaan worden met de uitdrukking:

$f(x)={\tfrac {1}{2}}(1-\operatorname {sgn}(x))|\operatorname {sgn}(x)|f_{\text{–}}(x)+$

$+(1-|\operatorname {sgn}(x)|)f_{\text{0}}(x)+$

$+{\tfrac {1}{2}}(1+\operatorname {sgn}(x))|\operatorname {sgn}(x)|f_{\text{+}}(x)$

Eigenschappen

Elk reëel getal kan worden uitgedrukt als het product van de absolute waarde en de signumfunctie ervan:

$x=|x|\cdot \operatorname {sgn}(x)$

Voor $x\neq 0$ geldt:

$\operatorname {sgn}(x)={\frac {x}{|x|}}={\frac {|x|}{x}}$

en dan dus ook:

$\operatorname {sgn}(x)={\frac {\sqrt {x^{2}}}{x}}$

Voor $x\neq 0$ is de signumfunctie de afgeleide van de absolutewaardefunctie.

Voor alle reële waarden van $x\neq 0$ is de signumfunctie differentieerbaar, met afgeleide 0.

Voorbeeld

Grafiek van de functie $f$

Een voorbeeld van het gebruik van het signum is de volgende functie (de grafiek ervan staat in de hiernaast staande figuur):

$f(x)=h_{1}(x)\cdot h_{2}(x)-2\operatorname {sgn}(x)-2$

met:

$h_{1}(x)=(-\operatorname {sgn}(x)+x-1)^{0{,}5\cdot \operatorname {sgn}(x)+1{,}5}$

$h_{2}(x)=2{,}5-1{,}5\cdot \operatorname {sgn}(x)$

Subsitutie van $x=0$ in de functie $h_{1}$ geeft:

$h_{1}(0)=(-\operatorname {sgn}(0)+0-1)^{{\frac {1}{2}}\operatorname {sgn}(0)+{\frac {3}{2}}}=(-1)^{\frac {3}{2}}$

Deze laatste uitdrukking heeft geen reële waarde. De functie $f$ bestaat daarmee niet voor $x=0$.

Deze functie kan ook beschreven worden met het voorschrift:

$f(x)={\begin{cases}4x&{\mbox{als }}x<0\\(x-2)^{2}-4&{\mbox{als }}x>0\end{cases}}$

Hierna volgt de afleiding daarvan.

Afleiding

Allereerst is:

• $-\operatorname {sgn}(x)+x-1=x-0\quad$ voor $x<0$

$-\operatorname {sgn}(x)+x-1=x-2\quad$ voor $x>0$

• $0{,}5\cdot \operatorname {sgn}(x)+1{,}5=1\quad$ voor $x<0$

$0{,}5\cdot \operatorname {sgn}(x)+1{,}5=2\quad$ voor $x>0$

• $2{,}5-1{,}5\cdot \operatorname {sgn}(x)=4\quad$ voor $x<0$

$2{,}5-1{,}5\cdot \operatorname {sgn}(x)=1\quad$ voor $x>0$

• $2\cdot \operatorname {sgn}(x)=-2\quad$ voor $x<0$

$2\cdot \operatorname {sgn}(x)=2\quad$ voor $x>0$

Het functievoorschrift kan hiermee nu worden geïnterpreteerd als:

• $f(x)=(x-{\mbox{(0 of 2)}})^{\mbox{(1 of 2)}}\cdot ({\mbox{4 of 1}})-{\mbox{(−2 of 2)}}-2$

Als $x$ negatief is, geldt:

$f(x)=(x-0)^{1}\cdot 4+2-2=x\cdot 4$

Is $x$ positief, dan is:

$f(x)=(x-2)^{2}\cdot 1-2-2=(x-2)^{2}-4$

Dus is het voorschrift van $f$ inderdaad te schrijven als:

$f(x)={\begin{cases}4x&{\mbox{als }}x<0\\(x-2)^{2}-4&{\mbox{als }}x>0\end{cases}}$

Verder is, en zie ook de grafiek van $f$ hierboven:

$\lim _{x\uparrow 0}f(x)=(1+0-1)^{1}\cdot (2{,}5+1{,}5)+2-2=0$

$\lim _{x\downarrow 0}f(x)=(-1+0-1)^{2}\cdot (2{,}5-1{,}5)-2-2=0$

Daarmee kan dan de functie $f$ voor $x=0$ continu gemaakt worden door te definiëren:

$f(0)=0$

De continumakende waarde voor $x=0$ is dus gelijk aan $0$. Hier is er dus sprake van ophefbare discontinuïteit.

Toepassing

Kromme van Lamé met $k={\tfrac {1}{2}}$

Een lid van de familie krommen van Lamé (de zogenoemde superellipsen) wordt in een cartesisch coördinatenstelsel gedefinieerd door:

$\left|{\frac {x}{a}}\right|^{k}+\left|{\frac {y}{b}}\right|^{k}=1\quad$ met $k={\tfrac {1}{2}}$ en $a,b>0$

Deze kromme is, evenals een ellips die met $k=2$ ook tot die familie behoort, symmetrisch in de x- en de y-as. Met $a=3,b=2$ is de lengte van de grote as gelijk aan 6; die van de kleine as is 4. Wordt deze vergelijking geschreven als:

$\left(\left|{\frac {x}{3}}\right|^{\frac {1}{4}}\right)^{\!2}+\left(\left|{\frac {y}{2}}\right|^{\frac {1}{4}}\right)^{\!2}=1$

dan ligt het, ten behoeve van een parametervergelijking met de parameter $t\in [0,2\pi ]$, voor de hand te stellen:

${\begin{cases}\left|{\frac {x}{3}}\right|^{\frac {1}{4}}=\cos(t)\\\left|{\frac {y}{2}}\right|^{\frac {1}{4}}=\sin(t)\end{cases}}\quad$ of $\quad {\begin{cases}\left|x\right|=3\cos ^{4}(t)\\\left|y\right|=2\sin ^{4}(t)\end{cases}}$

Met de signumfunctie zijn beide laatste relaties dan te schrijven als:

${\begin{cases}x=3\cos ^{4}(t)\cdot \operatorname {sgn}(\cos(t))\\y=2\sin ^{4}(t)\cdot \operatorname {sgn}(\sin(t))\end{cases}}$