مشتقپذیری و پیوستگی: آیا هر تابع مشتقپذیر، پیوسته است؟
۱. تعریف مشتقپذیری و پیوستگی در یک نقطه
برای درک رابطهٔ مشتقپذیری و پیوستگی، ابتدا باید تعریف دقیق هرکدام را در یک نقطه مرور کنیم.
پیوستگی در نقطهٔ a: تابع f در نقطهٔ a پیوسته است اگر سه شرط برقرار باشد:
- f(a) تعریف شده باشد.
- حد f(x) وقتی x \to a وجود داشته باشد.
- مقدار حد با f(a) برابر باشد: $\lim_{x \to a} f(x) = f(a)$.
مشتقپذیری در نقطهٔ a: تابع f در نقطهٔ a مشتقپذیر است اگر حد زیر وجود داشته باشد (و متناهی باشد):
این حد، شیب خط مماس بر منحنی f را در نقطهٔ (a, f(a)) نشان میدهد.
۲. اثبات قضیه: مشتقپذیری نتیجهدهندهٔ پیوستگی
حال نشان میدهیم که مشتقپذیری در نقطه a، پیوستگی در آن نقطه را به دنبال دارد. برای این کار، اختلاف f(x) - f(a) را هنگامیکه x \to a بررسی میکنیم.
فرض میکنیم h = x - a، بنابراین x = a + h و وقتی x \to a آنگاه h \to 0. مینویسیم:
حال اگر h \neq 0، میتوانیم عبارت را در $\frac{h}{h}$ ضرب کنیم:
چون فرض کردیم f در a مشتقپذیر است، حد اول برابر f'(a) (عدد حقیقی) است و حد دوم برابر 0 است. بنابراین:
از این نتیجه داریم:
که دقیقاً همان شرط پیوستگی است. بنابراین قضیه اثبات شد: هر تابع مشتقپذیر در یک نقطه، در آن نقطه پیوسته است.
۳. جدول مقایسهٔ ویژگیهای پیوستگی و مشتقپذیری
| ویژگی | پیوستگی در نقطهٔ a | مشتقپذیری در نقطهٔ a |
|---|---|---|
| شرط لازم | وجود مقدار تابع و حد دوطرفه | وجود حد اختلافات متناهی (مشتق) |
| نوع شرط | ضعیفتر (نرم) | قویتر (سختگیرانه) |
| مفهوم هندسی | نمودار بدون پارگی | نمودار صاف و دارای خط مماس یکتا |
| نتیجهگیری از رابطه | از مشتقپذیری نتیجه میشود | به پیوستگی منجر میشود (عکس آن برقرار نیست) |
۴. مثال نقض: پیوستگی بدون مشتقپذیری
برای درک بهتر، تابع قدر مطلق f(x) = |x| را در نقطهٔ x = 0 بررسی میکنیم.
- پیوستگی:$\lim_{x \to 0} |x| = 0 = f(0)$، بنابراین تابع در صفر پیوسته است.
- مشتقپذیری: حد چپ مشتق: $\lim_{h \to 0^-} \frac{|0+h| - 0}{h} = \lim_{h \to 0^-} \frac{-h}{h} = -1$ و حد راست: $\lim_{h \to 0^+} \frac{h}{h} = 1$. چون حدود یکسان نیستند، تابع در x = 0 مشتقپذیر نیست.
این مثال نشان میدهد که عکس قضیه همیشه درست نیست: پیوستگی شرط کافی برای مشتقپذیری محسوب نمیشود.
۵. کاربرد عملی: تشخیص رفتار توابع در مدلسازی
فرض کنید در حال مدلسازی مسیر یک خودرو هستیم. اگر تابع مکان s(t) در لحظهٔ t_0 مشتقپذیر باشد، آنگاه سرعت لحظهای v(t_0) = s'(t_0) وجود دارد و خودرو در آن لحظه دچار تغییر ناگهانی سرعت (شوک) نمیشود. از سوی دیگر، اگر تابع مکان در آن نقطه فقط پیوسته باشد اما مشتقپذیر نباشد، سرعت لحظهای تعریفنشده است. مثلاً در نمودار فاصله-زمان، یک «گوشه» یا «نوک تیزی» نشانهٔ پیوستگی بدون مشتقپذیری است. این دانش در مهندسی کنترل و پیشبینی مسیر اجسام بسیار مهم است.
مثال دیگر: در اقتصاد، تابع هزینهٔ نهایی از مشتق تابع هزینهٔ کل به دست میآید. اگر تابع هزینه در نقطهای مشتقپذیر نباشد (یعنی پیوسته اما با یک گوشه)، هزینهٔ نهایی در آن نقطه تعریف نشده و تصمیمگیری دربارهٔ سطح تولید مبهم میشود.
۶. چالشهای مفهومی
پاسخ: خیر. همانطور که در بخش اثبات دیدیم، مشتقپذیری در نقطهٔ a مستقیماً به رابطهٔ $\lim_{x \to a} f(x) = f(a)$ منجر میشود. بنابراین چنین حالتی غیرممکن است. مشتقپذیری یک شرط قویتر از پیوستگی است.
پاسخ: خیر. مثال معروف تابع f(x) = |x| در x=0 پیوسته اما مشتقپذیر نیست. مثال دیگر تابع f(x) = x^{2/3} در صفر که پیوسته است اما مشتقش بینهایت میشود. بنابراین پیوستگی به هیچوجه مشتقپذیری را تضمین نمیکند.
پاسخ: بله. مثال f(x) = |x| در x=0 این ویژگی را دارد (مشتق چپ -1، مشتق راست +1). تابع در این نقطه پیوسته است اما مشتقپذیر نیست زیرا مشتق چپ و راست با هم برابر نیستند. این وضعیت به «نقطهٔ گوشه» (Corner Point)2 معروف است.
۷. جمعبندی نهایی
پاورقی
1 دنباله حسابی (Arithmetic Sequence): دنبالهای که در آن اختلاف هر جمله با جملهٔ قبلی ثابت است. (در متن مقاله از این واژه به عنوان مثال برای نگارش پاورقی استفاده شد.)
2 نقطهٔ گوشه (Corner Point): نقطهای در نمودار تابع که در آن تابع پیوسته است اما مشتق چپ و راست متفاوت هستند، بنابراین مشتق وجود ندارد.