تابع علامت

تابع علامت برای عدد حقیقی ${\displaystyle x\!}$ به‌صورت زیر تعریف می‌شود:

هر عدد حقیقی را می‌توان به صورت حاصل ضرب قدر مطلق آن در تابع علامتش نوشت:

${\displaystyle x=\operatorname {sgn}(x)\cdot |x|\,.\qquad \qquad (1)}$

از معادلهٔ بالا چنین بدست می‌آید که هرگاه x ناصفر باشد تابع علامت آن را می‌توان به صورت زیر بازنویسی کرد:

${\displaystyle \operatorname {sgn}(x)={x \over |x|}}$

و البته برای تمامی اعداد حقیقی x می‌توان گفت:

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

تابع علامت مشتق تابع قدر مطلق نیز است (تا سر نامعینی در صفر):

${\displaystyle {d|x| \over dx}=\operatorname {sgn}(x){\mbox{ for }}x\neq 0}$ 

آنچه باقی می‌ماند تنها علامت x است.

تابع علامت در همه جا جز صفر، مشتق‌پذیر است و مقدار مشتق آن برابر صفر است. این تابع در حالت عادی در نقطهٔ صفر مشتق‌پذیر نیست ولی در شرایط مفهوم عمومی مشتق‌گیری در نظریهٔ توزیع، مشتق تابع علامت برابر است با دو برابر تابع دلتای دیراک که برای بیان آن می‌توان از رابطهٔ زیر بهره برد:[1]

${\displaystyle \operatorname {sgn}(x)=2H(x)-1\,}$

که در آن H(x) تابع پله‌ای هویساید است و H(۰) = ۱/۲ می‌باشد. با کمک این برابری دوباره مشتق‌گیری می‌کنیم:[2]

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

می توان تابع علامت را به کمک براکت ایورسون هم نوشت:

${\displaystyle \ \operatorname {sgn}(x)=-[x<0]+[x>0]\,.}$

که در آن ${\displaystyle k\gg 1}$، تقریب مناسبی برای تابع علامت به صورت زیر است:

${\displaystyle \ \operatorname {sgn}(x)\approx \tanh(kx)\,.}$

تقریب دیگر چنین است:

${\displaystyle \ \operatorname {sgn}(x)\approx {\frac {x}{\sqrt {x^{2}+\epsilon ^{2}}}}\,.}$

که برای ${\displaystyle \epsilon \to 0}$ مقدار آن نزدیک‌تر به دقیق می‌شود. یادآوری می‌شود که این رابطه مشتق ${\displaystyle {\sqrt {x^{2}+\epsilon ^{2}}}}$ است. این مطلب از آنجا بدست آمده که: رابطهٔ بالا در صورت صفر بودن ${\displaystyle \epsilon }$ برای تمام xهای ناصفر رابطه‌ای دقیق است و مانند تعمیم دادن تابع علامت در بُعدهای دیگر می‌ماند (مانند مشتق جزئی ${\displaystyle {\sqrt {x^{2}+y^{2}}}}$).

نگاه کنید به مقالهٔ تابع پله‌ای هویساید.

تابع علامت را می‌توان تا مجموعهٔ اعداد مختلط هم گسترش داد؛ به این ترتیب:

${\displaystyle \operatorname {sgn}(z)={\frac {z}{|z|}}}$

که در آن z عضو ${\displaystyle \mathbb {C} }$ است مگر در نقطهٔ صفر. تابع علامت عدد دلخواه z در مجموعهٔ اعداد مختلط، برابر با نقطه‌ای است روی دایره واحد یک صفحهٔ مختلط که در نزدیک‌ترین فاصله به z قرار دارد. پس برای zهای ناصفر داریم:

${\displaystyle \operatorname {sgn}(z)=\exp(i\arg z)\,,}$

در این رابطه arg همان زاویهٔ φ در بیان قطبی عدد مختلط است. توضیح: اگر یک عدد مختلط را به صورت ${\displaystyle r(\cos \phi +i\sin \phi )}$ یا ${\displaystyle re^{i\phi }}$ نمایش دهیم، arg همان زاویهٔ φ است. به دلیل تقارن و همچنین برای آنکه تابع را به تمامی تعمیم داده باشیم، برای نقطهٔ 0 = z تابع را چنین نشان می‌دهیم:

${\displaystyle \operatorname {sgn} (0+0i)=0}$

روش دیگر برای گسترش تابع علامت هم بر روی عددهای حقیقی و هم مختلط، به کار گرفتن csgn است[3] که به صورت زیر تعریف می‌شود:

${\displaystyle \operatorname {csgn} (z)={\begin{cases}1&{\text{if }}\Re (z)>0,\\-1&{\text{if }}\Re (z)<0,\\\operatorname {sgn}(\Im (z))&{\text{if }}\Re (z)=0\end{cases}}}$

که در آن ${\displaystyle \Re (z)}$ بخش حقیقی z و ${\displaystyle \Im (z)}$ بخش موهومی آن است.

در نتیجه در تمام نقطه‌ها جز 0 = z خواهیم داشت:

${\displaystyle \operatorname {csgn} (z)={\frac {z}{\sqrt {z^{2}}}}={\frac {\sqrt {z^{2}}}{z}}.}$

به ازای مقدارهای حقیقی ${\displaystyle ~x~}$ می‌توان نسخهٔ تابع عمومی برای تابع علامت تعریف کرد و نام ${\displaystyle \varepsilon (x),}$ را بر آن گذاشت. که در آن در همه جا ${\displaystyle ~\varepsilon (x)^{2}=1~}$ حتی در نقطهٔ ${\displaystyle ~x=0~}$ (این قسمت برخلاف تابع ${\displaystyle ~\operatorname {sgn} ~}$ است چون ${\displaystyle \operatorname {sgn}(0)^{2}=0~}$) چنین عمومی‌سازی اجازهٔ کار بر روی جبر تابع‌های عمومی را می‌دهد اما این عمومی‌سازی به قیمت از دست رفتن خاصیت جابجایی تمام می‌شود. به ویژه تابع علامت تعمیم یافته با تابع دلتا ویژگی ناجابجایی دارد:[4]

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

همچنین ${\displaystyle ~\varepsilon (x)~}$ در ${\displaystyle ~x=0~}$ تعریف نشده‌است. کاربرد نام ویژهٔ ${\displaystyle \varepsilon }$ در این جا ضروری است تا ${\displaystyle \varepsilon }$ با ${\displaystyle ~\operatorname {sgn} ~}$ اشتباه گرفته نشود. (${\displaystyle \varepsilon (0)}$ تعریف نشده‌است ولی ${\displaystyle ~\operatorname {sgn}(0)=0~}$)

• قدر مطلق (ریاضی)
• تابع پله‌ای هویساید
• اعداد منفی
• تابع مستطیلی

• احمد قندهاری، حمیدرضا امیری. تابع. انتشارات مدرسه. تهران.