دامنهٔ تابع مشتق: جستجوی نقاط مشتقپذیر در دامنهٔ تابع
بررسی مفهوم دامنهٔ مشتق، تفاوت آن با دامنهٔ اصلی تابع، و شرط لازم و کافی برای وجود مشتق در یک نقطه
خلاصهٔ مقاله: دامنهٔ تابع مشتق ($f'$) به مجموعهٔ تمام نقاطی از دامنهٔ تابع اصلی ($f$) گفته میشود که در آنها مشتق تابع موجود باشد. در این مقاله میآموزیم که چگونه دامنهٔ مشتق را تعیین کنیم، چه نقاطی از دامنهٔ اصلی ممکن است در دامنهٔ مشتق نباشند (ناپیوستگی، گوشگی، قائم شدگی)، و با مثالهای گوناگون این مفهوم را در توابع چندضابطهای، قدرمطلقی و رادیکالی بررسی خواهیم کرد.
۱. مفهوم دامنهٔ مشتق و تفاوت آن با دامنهٔ تابع اصلی
هر تابع $f$ دارای دامنهٔ مشخصی است. اما وقتی صحبت از مشتق میشود، برای هر نقطه از دامنهٔ تابع، ممکن است مشتق وجود داشته باشد یا خیر. دامنهٔ تابع مشتق که با نماد $D_{f'}$ نشان داده میشود، زیرمجموعهٔ دامنهٔ اصلی $D_f$ است.
نکتهٔ مهم: دامنهٔ مشتق از طریق حد $f'(x_0) = \lim_{h \to 0} \frac{f(x_0+h)-f(x_0)}{h}$ تعریف میشود. شرط موجود بودن این حد متناهی، معادل با مشتقپذیری تابع در نقطهٔ $x_0$ است.
برای مشتقپذیری در یک نقطه، دو شرط لازم است: نخست اینکه تابع در آن نقطه پیوسته باشد، و دوم اینکه حد چپ و راست تفاضلات (نسبت تفاضلی) برابر و متناهی باشند. اگر تابع در نقطهای ناپیوسته باشد، به طور خودکار مشتقناپذیر است.
| نوع تابع | دامنهٔ اصلی $D_f$ | دامنهٔ مشتق $D_{f'}$ | نقاط حذف شده از دامنهٔ مشتق |
|---|---|---|---|
| چندجملهای | $\mathbb{R}$ | $\mathbb{R}$ | هیچکدام |
| قدرمطلق $|x|$ | $\mathbb{R}$ | $\mathbb{R} - \{0\}$ | نقطۀ گوشه در $x=0$ |
| رادیکالی $\sqrt{x}$ | $[0, +\infty)$ | $(0, +\infty)$ | نقطۀ مرزی با مماس قائم (مشتق بینهایت مشمول تعریف نمیشود) |
۲. دستهبندی نقاط غیرقابل قبول برای دامنهٔ مشتق
نقاطی که در دامنهٔ اصلی تابع هستند اما به دامنهٔ مشتق راه نمییابند، معمولاً در سه دسته قرار میگیرند:
- ناپیوستگی: اگر تابع در نقطهای ناپیوسته باشد، مشتق وجود ندارد. مانند تابع پلّهای در نقطهٔ پرش.
- گوشگی (نقطهٔ گوشه): تابع پیوسته است اما مشتق راست و چپ متفاوت و متناهی هستند. مثال: تابع $f(x)=|x|$ در نقطهٔ صفر.
- مماس قائم (قائم شدگی): حد نسبت تفاضلی بینهایت میشود. هرچند در برخی منابع مماس قائم را مشتق نمیدانند، زیرا مشتق باید عددی متناهی باشد. مثال: $f(x)=\sqrt[3]{x}$ در $x=0$.
مثال عینی: فرض کنید تابع سرعت یک متحرک به صورت $f(t)=|t-2|$ تعریف شده باشد (سرعت بر حسب زمان). در لحظۀ $t=2$ شتاب (مشتق سرعت) وجود ندارد زیرا جهت حرکت ناگهانی عوض میشود و نمودار یک گوشه دارد. بنابراین دامنهٔ تابع شتاب، تمام لحظات بجز $t=2$ است.
۳. روش گامبهگام یافتن دامنهٔ مشتق در توابع چندضابطهای
برای یافتن دامنهٔ مشتق در توابع چندضابطهای، باید:
- ابتدا دامنهٔ اصلی تابع را تعیین کنیم.
- نقاط مرزی بین ضابطهها را مشخص کنیم.
- در هر نقطهٔ مرزی، پیوستگی و سپس مشتقپذیری را با استفاده از تعریف حد بررسی کنیم.
- نقاطی که تابع در آنها مشتق ندارد (شامل ناپیوستگی، گوشگی یا قائم شدگی) از دامنهٔ مشتق حذف میشوند.
فرمول کلیدی برای بررسی مشتقپذیری در نقطهٔ $c$:
$f'(c) = \lim_{h \to 0^-} \frac{f(c+h)-f(c)}{h} = \lim_{h \to 0^+} \frac{f(c+h)-f(c)}{h}$ (هر دو یک عدد متناهی باشند)
$f'(c) = \lim_{h \to 0^-} \frac{f(c+h)-f(c)}{h} = \lim_{h \to 0^+} \frac{f(c+h)-f(c)}{h}$ (هر دو یک عدد متناهی باشند)
۴. کاربرد عملی: یافتن نقاط مشتقناپذیر در توابع قدرمطلقی و جزء صحیح
توابع قدرمطلق معمولاً در نقاطی که عبارت داخل قدرمطلق صفر میشود، گوشه دارند. تابع جزء صحیح $f(x)=[x]$ در تمام اعداد صحیح ناپیوسته است، بنابراین مشتق در آن نقاط وجود ندارد.
مثال عددی: تابع $f(x)=|x^2 - 4|$ را در نظر بگیرید. نقاط $x=2$ و $x=-2$ محل صفر شدن عبارت داخل قدرمطلق هستند. با بررسی حد چپ و راست نسبت تفاضلی مشخص میشود که مشتق چپ و راست در این نقاط برابری نمیکنند (به ترتیب $-4$ و $+4$ در $x=2$). بنابراین این دو نقطه در دامنهٔ مشتق قرار ندارند. سایر نقاط حقیقی مشتقپذیرند.
۵. چالشهای مفهومی (پرسش و پاسخ)
پرسش ۱: آیا ممکن است تابعی در نقطهای پیوسته باشد اما مشتقناپذیر، ولی آن نقطه در دامنهٔ مشتق قرار نگیرد؟
پاسخ: بله، این رایجترین حالت است. برای نمونه تابع $f(x)=|x|$ در $x=0$ پیوسته است اما مشتق ندارد. بنابراین نقطهٔ صفر در $D_f$ هست ولی در $D_{f'}$ نیست.
پاسخ: بله، این رایجترین حالت است. برای نمونه تابع $f(x)=|x|$ در $x=0$ پیوسته است اما مشتق ندارد. بنابراین نقطهٔ صفر در $D_f$ هست ولی در $D_{f'}$ نیست.
پرسش ۲: اگر تابعی در نقطهای مماس قائم داشته باشد، آیا آن نقطه در دامنهٔ مشتق محسوب میشود؟
پاسخ: در تعریف استاندارد حساب دیفرانسیل در سطح دبیرستان، مشتق باید عددی متناهی باشد؛ بنابراین مماس قائم (مشتق بینهایت) را مشتق نمیشناسیم. از این رو نقطهٔ مماس قائم در دامنهٔ مشتق قرار نمیگیرد. مثال: تابع $f(x)=\sqrt{x}$ در $x=0$.
پاسخ: در تعریف استاندارد حساب دیفرانسیل در سطح دبیرستان، مشتق باید عددی متناهی باشد؛ بنابراین مماس قائم (مشتق بینهایت) را مشتق نمیشناسیم. از این رو نقطهٔ مماس قائم در دامنهٔ مشتق قرار نمیگیرد. مثال: تابع $f(x)=\sqrt{x}$ در $x=0$.
پرسش ۳: آیا دامنهٔ مشتق همیشه یک مجموعهٔ باز است؟
پاسخ: خیر، دامنهٔ مشتق میتواند هر نوع مجموعهای از اعداد حقیقی باشد. برای مثال تابع $f(x)=x^2 \sin(1/x)$ برای $x \neq 0$ و $f(0)=0$ در تمام نقاط مشتقپذیر است، پس دامنهٔ مشتق آن کل $\mathbb{R}$ است (بسته و باز هر دو). برخی توابع فقط روی یک مجموعهٔ بسته مشتقپذیرند، مانند $f(x)=x\sqrt{x}$ روی $[0,\infty)$ که در صفر مشتقپذیر است (مشتق صفر).
پاسخ: خیر، دامنهٔ مشتق میتواند هر نوع مجموعهای از اعداد حقیقی باشد. برای مثال تابع $f(x)=x^2 \sin(1/x)$ برای $x \neq 0$ و $f(0)=0$ در تمام نقاط مشتقپذیر است، پس دامنهٔ مشتق آن کل $\mathbb{R}$ است (بسته و باز هر دو). برخی توابع فقط روی یک مجموعهٔ بسته مشتقپذیرند، مانند $f(x)=x\sqrt{x}$ روی $[0,\infty)$ که در صفر مشتقپذیر است (مشتق صفر).
جمعبندی: دامنهٔ تابع مشتق، زیرمجموعهٔ مهمی از دامنهٔ اصلی است که تنها شامل نقاطی میشود که تابع در آنها هم پیوسته است و هم حد راست و چپ نسبت تفاضلی برابر و متناهی است. نقاط ناپیوستگی، گوشهها و نقاط دارای مماس قائم از دامنهٔ مشتق خارج میشوند. یافتن این دامنه نیازمند بررسی نقطهبهنقطه به ویژه در توابع چندضابطهای و قدرمطلقی است. تسلط بر این مفهوم پایهای برای مطالعهٔ رفتار توابع در حساب دیفرانسیل و کاربردهایی مانند بهینهیابی و رسم نمودار ضروری است.
پاورقی
1 مشتق (Derivative): حد نسبت تغییرات تابع به تغییرات متغیر مستقل هنگامی که تغییرات متغیر مستقل به صفر میل میکند، در صورت موجود بودن و متناهی بودن.
2 پیوستگی (Continuity): تابع در نقطهٔ $c$ پیوسته است اگر مقدار تابع در آن نقطه با حد تابع وقتی متغیر به $c$ نزدیک میشود برابر باشد.
3 نقطهٔ گوشه (Corner Point): نقطهای در نمودار تابع که مشتق راست و چپ هر دو وجود دارند ولی با هم برابر نیستند.
4 مماس قائم (Vertical Tangent): خط عمودی که در یک نقطه با نمودار تابع مماس میشود و شیب آن بینهایت است.
2 پیوستگی (Continuity): تابع در نقطهٔ $c$ پیوسته است اگر مقدار تابع در آن نقطه با حد تابع وقتی متغیر به $c$ نزدیک میشود برابر باشد.
3 نقطهٔ گوشه (Corner Point): نقطهای در نمودار تابع که مشتق راست و چپ هر دو وجود دارند ولی با هم برابر نیستند.
4 مماس قائم (Vertical Tangent): خط عمودی که در یک نقطه با نمودار تابع مماس میشود و شیب آن بینهایت است.
