مشتقناپذیری در اثر ناپیوستگی: چرا تابع در نقطهٔ ناپیوسته مشتقپذیر نیست؟
۱. پیوستگی و مشتق: مرور مفاهیم پایه
برای درک این که چرا ناپیوستگی باعث نبود مشتق میشود، ابتدا باید دو مفهوم پیوستگی1 و مشتق2 را در نقطهٔ $x = a$ مرور کنیم. یک تابع $f(x)$ در نقطهٔ $a$ پیوسته است اگر سه شرط برقرار باشد:
- تابع در $a$ تعریف شده باشد ($f(a)$ وجود داشته باشد).
- حد تابع وقتی $x$ به $a$ نزدیک میشود وجود داشته باشد (حد چپ و راست برابر باشند).
- مقدار تابع در $a$ با آن حد برابر باشد: $\lim_{x \to a} f(x) = f(a)$.
مشتق تابع در نقطهٔ $a$، شیب خط مماس بر منحنی در آن نقطه است و با حد زیر تعریف میشود:
برای این که این حد وجود داشته باشد، باید مقدار حد چپ و راست کسر تفاضلی3 برابر باشد. یک نکتهٔ طلایی: هر تابعی که در نقطهای مشتقپذیر باشد، در آن نقطه پیوسته نیز هست. اما عکس این قضیه همیشه درست نیست. در این مقاله تمرکز ما روی نتیجهٔ معکوس (نقیض) این قضیه است: اگر تابع در نقطهای ناپیوسته باشد، قطعاً در آن نقطه مشتقپذیر نخواهد بود.
۲. دستهبندی ناپیوستگیها و تأثیر آنها بر مشتق
ناپیوستگیها در توابع معمولاً به سه نوع اصلی تقسیم میشوند. در هر سه نوع، شرط اولیه برای مشتقپذیری (یعنی پیوستگی) نقض میشود. جدول زیر این دستهبندی را به همراه مثال و دلیل مشتقناپذیری نشان میدهد:
| نوع ناپیوستگی | تعریف | مثال تابع | دلیل مشتقناپذیری |
|---|---|---|---|
| جهنده (پرشی) | حد چپ و راست وجود دارند اما نابرابرند. | تابع پلهای واحد4 در $x=0$ | حد کسر تفاضلی به بینهایت میرود. |
| حذفشدنی | حد وجود دارد اما با مقدار تابع برابر نیست. | $f(x)=\frac{x^2-1}{x-1}$ در $x=1$ | تابع تعریف نشده یا مقدارش با حد فاصله دارد. |
| بینهایت (عمودی) | حد تابع به سمت بینهایت میل میکند. | $f(x)=\frac{1}{x}$ در $x=0$ | حد کسر تفاضلی بینهایت میشود (مشتق نامحدود). |
در ادامه با مثالهای مشخص نشان میدهیم که چگونه هر یک از این ناپیوستگیها شرط وجود مشتق را نقض میکنند.
۳. مثال گامبهگام: تابع پلهای و ناپیوستگی جهنده
تابع پلهای واحد (تابع هویساید5) را در نظر بگیرید که به صورت زیر تعریف میشود:
این تابع در نقطهٔ $x=0$ دارای ناپیوستگی جهنده است، زیرا حد چپ برابر $0$ و حد راست برابر $1$ است. حال مشتق این تابع را در $x=0$ با استفاده از تعریف حد بررسی میکنیم. برای مشتق چپ داریم:
برای $h \lt 0$، مقدار $u(h)=0$، بنابراین کسر برابر $\frac{0-1}{h} = \frac{-1}{h}$ است. وقتی $h \to 0^-$، مقدار $\frac{-1}{h} \to +\infty$ (زیرا $h$ منفی و کوچک میشود). برای مشتق راست نیز:
از آنجا که حد چپ و راست کسر تفاضلی برابر نیستند (یکی بینهایت و دیگری صفر است)، حد دوطرفه وجود ندارد. بنابراین مشتق در نقطهٔ ناپیوسته جهنده وجود ندارد.
۴. ناپیوستگی حذفشدنی: مثال تابع کسری ساده
تابع $f(x)=\frac{x^2-4}{x-2}$ را در $x=2$ در نظر بگیرید. این تابع در $x=2$ تعریف نشده است (مخرج صفر میشود)، بنابراین یک ناپیوستگی حذفشدنی دارد. حتی اگر مقدار $f(2)$ را به گونهای تعریف کنیم که ناپیوستگی برطرف شود، در حالت طبیعی بدون بازتعریف، تابع در $x=2$ وجود ندارد. برای محاسبهٔ مشتق در $x=2$ طبق تعریف نیاز به $f(2)$ داریم که موجود نیست. بنابراین:
نتیجه: اگر تابع در نقطهای تعریف نشده باشد (ناپیوستگی حذفشدنی ناشی از نبود مقدار)، به طریق اولی مشتق در آن نقطه وجود نخواهد داشت، زیرا خود تابع در آن نقطه وجود خارجی ندارد.
به عنوان یک مثال عملی فرض کنید سرعت یک خودرو در لحظهٔ $t=5$ ثانیه را میخواهید محاسبه کنید، اما دستگاه موقعیتیاب در آن لحظه مختل میشود و هیچ دادهای ثبت نمیکند (ناپیوستگی حذفشدنی در داده). واضح است که نمیتوانید سرعت لحظهای را در آن نقطه محاسبه کنید، زیرا خود موقعیت در آن زمان ناشناخته است.
۵. چالشهای مفهومی: پرسش و پاسخ
پاسخ: خیر. از نظر منطقی، مشتقپذیری همیشه پیوستگی را نتیجه میدهد. اگر تابعی در نقطهای مشتق داشته باشد، حتماً در آن نقطه پیوسته است. بنابراین ناپیوستگی در یک نقطه، یک مانع قطعی برای مشتقپذیری است.
پاسخ: زیرا تغییر ناگهانی در مقدار تابع (پرش از $0$ به $1$) باعث میشود که شیب خط وصلکنندهٔ دو نقطه (قبل و بعد از پرش) هنگام نزدیک شدن از چپ به بینهایت برود، در حالی که از راست صفر میشود. این عدم توازن، نبود مشتق را نشان میدهد.
پاسخ: بله، مشهورترین مثال تابع قدرمطلق در $x=0$ است که پیوسته است اما مشتق چپ و راست برابر نیستند (گوشه تیز). اما برعکس این قضیه (ناپیوستگی منجر به مشتقناپذیری) همواره درست است. یعنی ناپیوستگی شرط کافی برای مشتقناپذیری است.
۶. کاربرد عملی: پیشبینی رفتار توابع در مسائل بهینهسازی
در مسائل بهینهسازی دبیرستان، وقتی نقاط ماکزیمم و مینیمم یک تابع را بررسی میکنیم، معمولاً مشتق را صفر قرار میدهیم. اما اگر تابع در نقطهای ناپیوسته باشد، نمیتوان از مشتق در آن نقطه صحبت کرد. برای مثال، تابع هزینهٔ تلفن همراه را در نظر بگیرید که برای دقایق اولیه نرخ ثابت و بعد از یک آستانه نرخ جهش پیدا میکند (ناپیوستگی جهنده). در نقطهٔ جهش، تابع مشتق ندارد و اگر بخواهیم کمترین هزینه را پیدا کنیم، باید خود تابع را در دو سوی ناپیوستگی بررسی کنیم، نه مشتق را.
همچنین در توابعی که دامنهٔ آنها شامل نقاط حذفشدنی است (مانند توابع گویا با سادهسازی)، به یاد داشته باشید که قبل از مشتقگیری، ابتدا دامنه را تعیین کرده و نقاط ناپیوستگی را حذف کنید. مشتقگیری از تابع در نقاطی که خود تابع وجود ندارد (ناپیوستگی حذفشدنی اصلاحنشده) معنی ندارد.
پاورقی
2 مشتق (Derivative): نرخ تغییر لحظهای تابع نسبت به متغیر ورودی، برابر با شیب خط مماس بر نمودار در آن نقطه.
3 کسر تفاضلی (Difference quotient): عبارت $\frac{f(a+h)-f(a)}{h}$ که شیب خط قاطع بین دو نقطه روی نمودار را نشان میدهد.
4 تابع پلهای واحد (Unit step function): تابعی که برای ورودیهای منفی مقدار صفر و برای ورودیهای نامنفی مقدار یک دارد.
5 تابع هویساید (Heaviside function): نام دیگر تابع پلهای واحد که در مهندسی کنترل و پردازش سیگنال کاربرد دارد.