Funció signe: diferència entre les revisions

Contingut suprimit Contingut afegit

En línia

Revisió del 08:40, 19 ago 2016

En matemàtiques, la funció signe és la funció que assigna a cada nombre real el seu signe (+1, -1 o 0). És una funció definida a trossos, que obté el signe de qualsevol nombre real que es prengui com entrada. Es representa generalment mitjançant $\operatorname {sgn}(x)$ , i no s'ha de confondre amb la funció sinus $\sin(x)$ o la funció sinus hiperbòlic $\sinh(x)$ o $sh(x)$ .

Definicions

Funció signe representada en un pla cartesià.

La funció signe té com a domini de definició $\mathbb {R}$ (el conjuint dels nombres reals) i com a imatge el conjunt $\{-1,0,1\}$ .

{\begin{array}{rccl}\operatorname {sgn} :&\mathbb {R} &\to &\{-1,0,1\}\\&x&\to &y=\operatorname {sgn}(x)\end{array}}

A partir d'aquí, i per tal d'obtenir la funció signe, trobem entre les definicions possibles les següents.

Definició directa

La definició més usual és per trossos:^[1]

\operatorname {sgn}(x)=\left\{{\begin{matrix}1,&{\mbox{si }}x>0\\0,&{\mbox{si }}x=0\\-1,&{\mbox{si }}x<0\end{matrix}}\right.

A partir de la funció valor absolut

Com a derivada

Sigui ${|x|}$ la funció valor absolut sobre $x$ (que recordem està definida sobre $\mathbb {R} \backslash \{0\}$ i no pas sobre $\mathbb {R}$ ) i sigui ${\dfrac {d|x|}{dx}}$ la seva derivada. Aleshores podem definir

\operatorname {sgn}(x)=\left\{{\begin{matrix}{\dfrac {d|x|}{dx}},&{\mbox{si }}x\neq 0\\0,&{\mbox{si }}x=0\end{matrix}}\right.

Com a quocient

Sigui ${|x|}$ la funció valor absolut sobre $x$ (que recordem està definida sobre $\mathbb {R} \backslash \{0\}$ i no pas sobre $\mathbb {R}$ ). Aleshores podem definir^[1]

\operatorname {sgn} (x)=\left\{{\begin{matrix}{\dfrac {x}{|x|}},&{\mbox{si }}x\neq 0\\0,&{\mbox{si }}x=0\end{matrix}}\right.

A partir de la funció esglaó unitari

Sigui ${u(x)}$ la funció esglaó de Heaviside o funció esglaó unitari (coneguda en anglès com Heaviside Step) que pren els valors

u(x)=\left\{{\begin{matrix}1,&{\mbox{si }}x>0\\{\frac {1}{2}},&{\mbox{si }}x=0\\0,&{\mbox{si }}x<0\end{matrix}}\right.

Aleshores, podem definir^[1]

\operatorname {sgn}(x)=2u(x)-1

Propietats

La funció signe és una funció imparella, és a dir:

\operatorname {sgn}(-x)=-\operatorname {sgn}(x)\qquad \forall {x}\in \mathbb {R} \,.

Tot nombre real $x$ es pot expressar com a producte del seu valor absolut i la funció signe avaluada en $x$ , és a dir:

x=\operatorname {sgn}(x)\cdot |x|\,\qquad \forall x\in \mathbb {R} \,.

La funció signe és la derivada de la funció valor absolut en $\mathbb {R} \backslash \{0\}$ , és a dir

{d|x| \over dx}=\operatorname {sgn}(x)\qquad \forall x\neq 0\,.

La funció signe és derivable amb derivada 0 per tot el seu domini excepte en el valor 0. No és derivable en 0 en el sentit ordinari de derivada, però sota una noció més general de derivada dins de la teoria de distribucions, la derivada de la funció signe és dues vegades la funció delta de Dirac,^[2] és a dir

{d\ \operatorname {sgn}(x) \over dx}=2\delta (x)\,.

on

\delta (x)

és l'esmentada funcìó delta de Dirac.

La funció signe és el límit de la següent successió de funcions

{f}_{k}=\tanh(kx)

on

\tanh(x)

és la funció tangent hiperbòlica de

x

. Per tant, podem expressar

\lim _{k\to \infty }\tanh(kx)=\operatorname {sgn}(x)\,.

Òbviament la convergència en aquest últim cas no és uniforme, és només puntual.

La funicó signe és també el producte de l'arrel quadrada de tot nombre real diferent de zero per l'arrel quadrada del seu invers,^[1] és a dir:

\operatorname {sgn}(x)={\sqrt {x}}\cdot {\sqrt {1 \over x}}\qquad \forall x\neq 0\,.

Generalitzacions a $\mathbb {C}$

Generalització de la funció signe a $\mathbb {C}$ . A la imatge es pot apreciar que $\operatorname {sgn} {(z)}$ coincideix amb el punt del cercle unitat del pla complex més proper a $z$ .

La funció signe se sol generalitzar al conjunt dels nombres complexos com a:^[1]

\operatorname {sgn}(x)=\left\{{\begin{matrix}{\frac {z}{|z|}},&{\mbox{si }}z\neq 0\\0,&{\mbox{si }}z=0\end{matrix}}\right.

D'aquesta manera, per tot $z\neq 0$ , el signe d'un nombre complex $z$ és el punt del cercle unitat del pla complex més proper a $z$ . Per tant, tenim que

\operatorname {sgn}(z)=e^{i\arg {(z)}}\qquad \forall z\in \mathbb {C} \backslash \{0\}\,,

on $\arg {(z)}$ és la funció argument complex.

La tria de $\operatorname {sgn}(0)=0$ en la generalització pels nombres complexos es basa fonamentalment en dotar la funció de coherència amb la seva versió sobre els nombres reals. De no fer-ho, Rich i Jeffrey proposen interpretar $\operatorname {sgn}(0)$ com un punt no especificat del cercle unitat del pla complex.^[3]

Una altra generalització de la funció signe a $\mathbb {C}$ és la funció $\operatorname {csgn} (z)$ per $z\in \mathbb {C}$ que es defineix com:^[4]

\operatorname {csgn} (z)={\begin{cases}\operatorname {sgn}(\mathrm {Re} (z))&{\text{si }}\mathrm {Re} (z)\neq 0,\\\operatorname {sgn}(\mathrm {Im} (z))&{\text{si }}\mathrm {Re} (z)=0\end{cases}}\qquad ={\begin{cases}1&{\text{si }}\mathrm {Re} (z)>0,\\-1&{\text{si }}\mathrm {Re} (z)<0,\\\operatorname {sgn}(\mathrm {Im} (z))&{\text{si }}\mathrm {Re} (z)=0\end{cases}}

on $\mathrm {Re} (z)$ és la part real de $z$ i $\mathrm {Im} (z)$ és la part imaginària de $z$ .

Amb aquesta definició tenim les següents propietats:

Coincidència amb la funció signe sobre els reals, és a dir:

\operatorname {csgn} (x)=\operatorname {sgn}(x)\qquad \forall x\in \mathbb {R}

$\operatorname {csgn} (z)={\frac {z}{\sqrt {z^{2}}}}={\frac {\sqrt {z^{2}}}{z}}\qquad \forall z\in \mathbb {C} \backslash \{0\}$ .

Distribució signe

En el context de les funcions generalitzades o distribucions, es pot definir la distribució signe $\varepsilon {(x)}$ tal que ${\varepsilon {(x)}}^{2}=1\quad \forall x\in \mathbb {R}$ , per tant també en $x=0$ (a diferència del que passa amb la funció signe, que pren valor $\operatorname {sgn} {(0)}=0$ ). La construcció d'aquesta funció signe generalitzada $\varepsilon {(x)}$ permet la construcció d'una àlgebra de funcions generalitzades, però a costa de perdre la commutativitat. En particular, la funció sigma generalitzada $\varepsilon {(x)}$ anticommuta amb la funció delta de Dirac:^[5]

\varepsilon {(x)}\delta {(x)}+\delta {(x)}\varepsilon {(x)}=0~

.

Una altra contrapartida és que $\varepsilon {(x)}$ no pot avaluar-se en $x=0$ mentre que la funció signe sí, amb $\operatorname {sgn} {(0)}=0$ .

Referències

↑ ^1,0 ^1,1 ^1,2 ^1,3 ^1,4 Weisstein, Eric W., «Funció signe» a MathWorld (en anglès).
↑ Bracewell, Ronald N. «The Sign Function, sgnx.». A: The Fourier Transform and Its Applications (en anglès). 3ra edició. Nova York: McGraw-Hill, 1999, pàgs. 61-62.
↑ Rich, A.; Jeffrey, D. «Function Evaluation on Branch Cuts» (en anglès). SIGSAM Bull., No. 116, 25-27, juny 1996.
↑ Maple V documentation (en anglès), 21 de maig de 1998.
↑ Shirokov, Yuri Mijailovich «Algebra of one-dimensional generalized functions» (en anglès). TMF, 39, 3, 1979, pàgs. 471–477. DOI: 10.1007/BF01017992.

Vegeu també

Funció esglaonada
Funció esglaó de Heaviside
Nombre negatiu
Funció sigmoide
Funció contínua
Complement a dos, complement a u enfocaments de resta de nombres en el sistema binari

[MathWorld-1] 1,0 ^1,1 ^1,2 ^1,3 ^1,4 Weisstein, Eric W., «Funció signe» a MathWorld (en anglès).

[Bracewell-2] Bracewell, Ronald N. «The Sign Function, sgnx.». A: The Fourier Transform and Its Applications (en anglès). 3ra edició. Nova York: McGraw-Hill, 1999, pàgs. 61-62.

[3] Rich, A.; Jeffrey, D. «Function Evaluation on Branch Cuts» (en anglès). SIGSAM Bull., No. 116, 25-27, juny 1996.

[4] Maple V documentation (en anglès), 21 de maig de 1998.

[Shirokov-5] Shirokov, Yuri Mijailovich «Algebra of one-dimensional generalized functions» (en anglès). TMF, 39, 3, 1979, pàgs. 471–477. DOI: 10.1007/BF01017992.

[1]

[2]

[3]

[4]

[5]

@@ Línia 84: / Línia 84: @@
 :<math>\operatorname{csgn}(x) = \sgn(x) \qquad \forall x \in \mathbb {R}</math>
 * <math>\operatorname{csgn}(z) = \frac{z}{\sqrt{z^2}} = \frac{\sqrt{z^2}}{z} \qquad \forall z \in \mathbb {C} \backslash \{ 0 \} </math>.
+== Distribució signe ==
+En el context de les [[Funció generalitzada|funcions generalitzades]] o distribucions, es pot definir la distribució signe <math> \varepsilon{ (x) } </math> tal que <math> { \varepsilon{(x)} } ^ {2} = 1 \quad \forall x \in \mathbb {R} </math>, per tant també en <math> x = 0 </math> (a diferència del que passa amb la funció signe, que pren valor <math> \sgn {(0)} = 0 </math>). La construcció d'aquesta funció signe generalitzada <math> \varepsilon{ (x) } </math> permet la construcció d'una [[Estructura algebraica|àlgebra]] de funcions generalitzades, però a costa de perdre la [[commutativitat]]. En particular, la funció sigma generalitzada <math> \varepsilon{ (x) } </math> anticommuta amb la [[funció delta de Dirac]]:<ref name = "Shirokov">{{citar publicació | enllaçautor = Yuri Shirokov | nom = Yuri Mijailovich | cognom = Shirokov | títol = Algebra of one-dimensional generalized functions | publicació = [[Theoretical and Mathematical Physics|TMF]] | any = 1979 | volum = 39 | edició = 3 | pàgines = pàgs. 471–477 | url = http://springerlink.metapress.com/content/w3010821x8267824/?p=5bb23f98d846495c808e0a2e642b983a&pi=3 | doi = 10.1007/BF01017992 | llengua = anglès }}</ref>
+:<math>\varepsilon { (x) } \delta { (x) } + \delta { (x) } \varepsilon { (x) } = 0 ~ </math>.
+Una altra contrapartida és que <math> \varepsilon{ (x) } </math> no pot avaluar-se en <math> x = 0 </math> mentre que la funció signe sí, amb <math> \sgn {(0)} = 0 </math>.
 == Referències ==