تقعر تابع √x: چرا تابع ریشه دوم همواره رو به پایین است؟
واکاوی تقعر: تعریف و اهمیت در توابع جذر
در ریاضیات، مفهوم «تقعر»1 به جهت خمیدگی نمودار یک تابع اشاره دارد. اگر نمودار تابع مانند یک کاسه رو به بالا باشد، میگوییم تابع تقعر رو به بالا دارد (یا محدب2 است). در مقابل، اگر نمودار مانند یک کلاه یا چتر رو به پایین خمیده باشد، تابع تقعر رو به پایین دارد (یا کاو3 است).
برای تعیین تقعر یک تابع قابل مشتقگیری، از مشتق دوم4 استفاده میکنیم. قاعده به این صورت است:
$f''(x) \lt 0$ در یک بازه → تابع تقعر رو به پایین دارد.
تابع $f(x)=\sqrt{x}$ فقط برای اعداد حقیقی نامنفی تعریف شده است، اما از آنجا که در نقطهٔ $x=0$ مشتقپذیری بینهایت است (خط مماس قائم)، معمولاً بازهٔ $(0,+\infty)$ را برای بررسی تقعر در نظر میگیریم. این تابع در بسیاری از پدیدههای علمی مانند قوانین فیزیک (رابطهٔ دورهٔ نوسان آونگ با طول آن)، اقتصاد (مطلوبیت نهایی نزولی) و هندسه ظاهر میشود.
محاسبهٔ گام به گام مشتق اول و دوم تابع √x
برای اثبات تقعر رو به پایین تابع جذر، مشتقگیری را مرحله به مرحله انجام میدهیم.
گام ۱: نوشتن تابع به صورت توانی
$f(x) = \sqrt{x} = x^{1/2}$
گام ۲: محاسبهٔ مشتق اول
با استفاده از قاعدهٔ توان5: $f'(x) = \frac{1}{2} x^{(1/2 - 1)} = \frac{1}{2} x^{-1/2} = \frac{1}{2\sqrt{x}}$
گام ۳: محاسبهٔ مشتق دوم
مشتق اول را به صورت $f'(x) = \frac{1}{2} x^{-1/2}$ مینویسیم. دوباره مشتق میگیریم:
$f''(x) = \frac{1}{2} \times (-\frac{1}{2}) x^{-3/2} = -\frac{1}{4} x^{-3/2} = -\frac{1}{4x^{3/2}}$
از آنجا که $x \gt 0$، مقدار $x^{3/2}$ همواره مثبت است. بنابراین $-\frac{1}{4x^{3/2}}$ همواره منفی خواهد بود. پس:
این نتیجه به روشنی نشان میدهد که تابع جذر در کل دامنهٔ مثبت خود، تقعر رو به پایین دارد. به عبارت دیگر، نرخ رشد تابع به تدریج کاهش مییابد: هرچه $x$ بزرگتر میشود، شیب خط مماس (مقدار مشتق اول) کاهش پیدا میکند.
جدول مقادیر و رفتار عددی تابع جذر
برای درک شهودیتر، مقادیر تابع، مشتق اول و مشتق دوم را در چند نقطه محاسبه میکنیم. مشاهدات نشان میدهد که با افزایش $x$، شیب (مشتق اول) کاهش یافته و مشتق دوم همواره منفی است.
| $x$ | $f(x)=\sqrt{x}$ | $f'(x)=1/(2\sqrt{x})$ (شیب) | $f''(x)$ (علامت) |
|---|---|---|---|
| 0.25 | 0.5 | 1 | منفی |
| 1 | 1 | 0.5 | منفی |
| 4 | 2 | 0.25 | منفی |
| 9 | 3 | 0.166 | منفی |
| 16 | 4 | 0.125 | منفی |
همانطور که در جدول دیده میشود، شیب تابع از $1$ در $x=0.25$ به $0.125$ در $x=16$ کاهش یافته است. این کاهش شیب، مشخصهٔ اصلی تقعر رو به پایین است.
کاربرد عملی: اثر کاهش بازده در اقتصاد و مهندسی
رفتار تابع جذر در مدلهای اقتصادی مانند تابع مطلوبیت6 دیده میشود. فرض کنید «رضایت» یک فرد از مصرف کالایی مانند $x$ واحد شکلات، برابر با $\sqrt{x}$ باشد. با افزایش مصرف، میزان رضایت افزایش مییابد (چون تابع صعودی است) اما هر واحد اضافی شکلات، رضایت کمتری نسبت به واحد قبلی ایجاد میکند (به دلیل تقعر رو به پایین). برای نمونه، از $x=1$ به $x=4$ (افزایش $3$ واحد)، مطلوبیت از $1$ به $2$ میرسد (افزایش $1$ واحد). اما از $x=4$ به $x=7$ (باز هم افزایش $3$ واحد)، مطلوبیت از $2$ به حدود $2.645$ میرسد (افزایش تقریبی $0.645$). این کاهش در افزایش مطلوبیت نهایی، نتیجهٔ مستقیم تقعر رو به پایین تابع است.
در مهندسی، رابطهٔ دورهٔ تناوب یک آونگ ساده با طول آن: $T = 2\pi \sqrt{\frac{L}{g}}$ است. افزایش طول آونگ، دوره را افزایش میدهد، اما نرخ این افزایش با بزرگتر شدن طول، کاهش مییابد؛ یعنی برای تغییر طول یکسان در آونگهای بلند، تغییر دورهٔ ناچیز است. این همان رفتار مقعر رو به پایین است.
چالشهای مفهومی پیرامون تابع √x
سؤال ۱: آیا تابع $f(x)=\sqrt{x}$ در نقطهٔ $x=0$ تقعر رو به پایین دارد؟
خیر. در نقطهٔ $x=0$، تابع پیوسته است اما مشتقپذیر نیست (مشتق بینهایت میشود). مشتق دوم نیز در این نقطه تعریف نشده است. بنابراین تقعر فقط در بازهٔ باز $(0,+\infty)$ بررسی میشود. از نظر نموداری، تابع در مبدأ یک «نقطهٔ بازگشت قائم» دارد.
سؤال ۲: اگر $f''(x) \lt 0$ باشد، آیا حتماً تابع نزولی است؟
خیر. تقعر رو به پایین ربطی به صعودی یا نزولی بودن تابع ندارد. تابع $f(x)=\sqrt{x}$ روی $(0,+\infty)$ اکیداً صعودی است (چون $f'(x) \gt 0$)، اما در عین حال تقعر رو به پایین نیز دارد. صعودی بودن به علامت مشتق اول و تقعر به علامت مشتق دوم وابسته است.
سؤال ۳: چه تفاوتی بین تقعر تابع $\sqrt{x}$ و تابع $\ln x$ وجود دارد؟
هر دو تابع روی بازهٔ $(0,+\infty)$ تقعر رو به پایین دارند. اما تفاوت در نرخ کاهش شیب است. برای $\sqrt{x}$ داریم $f''(x)=-\frac{1}{4}x^{-3/2}$ و برای $\ln x$ داریم $g''(x)=-\frac{1}{x^2}$. در مقادیر بسیار بزرگ $x$، مشتق دوم لگاریتم سریعتر به صفر نزدیک میشود، به این معنا که تابع لگاریتم دیرتر «صاف» میشود.
پاورقی
1 تقعر (Concavity): ویژگی یک تابع مشتقپذیر که نشان میدهد نمودار آن در یک بازه، زیر خط مماس قرار دارد (تقعر رو به پایین) یا بالای خط مماس (تقعر رو به بالا).
2 محدب (Convex): تابعی که تقعر رو به بالا داشته باشد، به طوری که پاره خط هر دو نقطهٔ نمودار بالای نمودار قرار گیرد.
3 کاو (Concave): تابعی که تقعر رو به پایین داشته باشد، به طوری که پاره خط هر دو نقطهٔ نمودار زیر نمودار قرار گیرد.
4 مشتق دوم (Second Derivative): مشتق گرفته شده از مشتق اول تابع که نرخ تغییر شتاب یا همان خمیدگی تابع را نشان میدهد.
5 قاعدهٔ توان (Power Rule): قاعدهٔ مشتقگیری به صورت $\frac{d}{dx}x^n = n x^{n-1}$ که برای هر عدد حقیقی $n$ معتبر است.
6 تابع مطلوبیت (Utility Function): تابعی در علم اقتصاد که میزان رضایت یا خوشایندی یک مصرفکننده را از مصرف سبدی از کالاها نشان میدهد.