ماکزیمم تابع: بیشترین مقدار تابع در یک بازه یا در کل دامنه
۱. تعریف ماکزیمم مطلق و ماکزیمم نسبی
در ریاضیات، وقتی از ماکزیمم تابع صحبت میکنیم، به بزرگترین مقدار خروجی تابع در یک بازهٔ مشخص یا در کل دامنهٔ تابع اشاره داریم. اگر این مقدار در کل دامنهٔ تابع به دست آید، آن را ماکزیمم مطلق (Global Maximum) و اگر فقط در یک بازهٔ خاص به دست آید، ماکزیمم نسبی (Local Maximum) مینامیم.
به عبارت دیگر، نقطهٔ c در دامنهٔ تابع f، یک نقطهٔ ماکزیمم نسبی است اگر بازهای مانند (a,b) حول c وجود داشته باشد که برای همهٔ xها در آن بازه داشته باشیم $f(c) \ge f(x)$. اما برای ماکزیمم مطلق باید $f(c) \ge f(x)$ برای همهٔ xها در کل دامنه برقرار باشد.
$f(c) \ge f(x)$ به ازای xها در یک بازهٔ کوچک اطراف c ← ماکزیمم نسبی در نقطهٔ c
مثال عملی: فرض کنید تابع $f(x) = -x^2 + 4$ را در نظر بگیرید. این تابع یک سهمی رو به پایین است. مقدار تابع در نقطهٔ $x=0$ برابر $4$ است. برای هر x دیگر، $-x^2+4 \le 4$. بنابراین $4$ ماکزیمم مطلق تابع در کل دامنهٔ اعداد حقیقی است. حالا اگر فقط بازهٔ $[-2,1]$ را در نظر بگیریم، باز هم ماکزیمم در $x=0$ با مقدار $4$ رخ میدهد و این همان ماکزیمم مطلق در آن بازه است.
۲. قضیهٔ مقدار ماکزیمم و شرایط وجود ماکزیمم
همهٔ توابع دارای ماکزیمم نیستند. برای مثال تابع $f(x)=x$ روی اعداد حقیقی هیچ ماکزیمم مطلقی ندارد زیرا هرچقدر x بزرگتر شود، مقدار تابع نیز بدون کران افزایش مییابد. اما قضیهٔ مقدار ماکزیمم1 میگوید: اگر تابعی روی یک بازهٔ بسته و کراندار $[a,b]$ پیوسته2 باشد، آنگاه حتماً در آن بازه یک ماکزیمم مطلق و یک مینیمم مطلق وجود دارد.
| نوع تابع و بازه | آیا ماکزیمم مطلق وجود دارد؟ | مثال |
|---|---|---|
| تابع پیوسته روی بازهٔ بسته $[a,b]$ | بله | $f(x)=x^2$ در $[-1,2]$ |
| تابع پیوسته روی بازهٔ باز $(a,b)$ | نه لزوماً | $f(x)=x$ در $(0,1)$ |
| تابع ناپیوسته روی بازهٔ بسته | ممکن است نباشد | تابع پلهای در $[0,1]$ با نقاط جهش |
بنابراین برای اطمینان از وجود ماکزیمم در یک بازه، بهتر است تابع پیوسته و بازه بسته باشد. در غیر این صورت باید دامنه را با دقت بررسی کنیم.
۳. روش یافتن ماکزیمم با استفاده از مشتق
برای توابع مشتقپذیر3، نقاط نامزد برای ماکزیمم معمولاً نقاط بحرانی4 هستند. نقطهٔ بحرانی نقطهای است که مشتق تابع در آن صفر شود یا مشتق وجود نداشته باشد. الگوریتم گامبهگام برای یافتن ماکزیمم مطلق در بازهٔ بسته $[a,b]$:
- گام ۱: مشتق تابع یعنی $f'(x)$ را محاسبه کنید.
- گام ۲: معادلهٔ $f'(x)=0$ را حل کرده و نقاطی که مشتق در آنها صفر میشود را بیابید. همچنین نقاطی که مشتق در آنها ناموجود است (مانند گوشهها یا نوک تیزیها) را مشخص کنید.
- گام ۳: از میان نقاط بحرانی، آنهایی که در بازهٔ $[a,b]$ قرار دارند را نگه دارید.
- گام ۴: مقدار تابع را در نقاط مرزی a و b و همچنین در تمام نقاط بحرانی داخل بازه محاسبه کنید.
- گام ۵: بزرگترین مقدار به دست آمده، ماکزیمم مطلق در آن بازه است.
$f'(x)=3x^2-6x$ ← $3x(x-2)=0$ ← نقاط بحرانی: $x=0$ و $x=2$ که هر دو در بازه هستند.
مقادیر: $f(-1)=-1-3+2=-2$ ، $f(0)=2$ ، $f(2)=8-12+2=-2$ ، $f(3)=27-27+2=2$
بزرگترین مقدار $2$ است که در $x=0$ و $x=3$ رخ میدهد. بنابراین ماکزیمم مطلق در این بازه برابر $2$ است.
۴. آزمون اول و دوم مشتق برای ماکزیمم نسبی
برای تشخیص این که یک نقطهٔ بحرانی ماکزیمم نسبی است یا مینیمم نسبی، از دو آزمون استفاده میکنیم:
آزمون اول مشتق: اگر مشتق تابع در نقطهٔ بحرانی c از مثبت به منفی تغییر علامت دهد، آن نقطه ماکزیمم نسبی است. اگر از منفی به مثبت شود، مینیمم نسبی است. اگر علامت تغییر نکند، نقطه عطف5 است.
آزمون دوم مشتق: اگر $f'(c)=0$ و $f''(c) \lt 0$ آنگاه c نقطهٔ ماکزیمم نسبی است. اگر $f''(c) \gt 0$ باشد، مینیمم نسبی است و اگر $f''(c)=0$ باشد، آزمون نامشخص است.
| آزمون | شرط ماکزیمم نسبی | مزایا |
|---|---|---|
| آزمون اول مشتق | تغییر علامت $f'$ از + به - | برای هر تابعی کار میکند حتی اگر مشتق دوم وجود نداشته باشد. |
| آزمون دوم مشتق | $f'(c)=0$ و $f''(c) \lt 0$ | سریعتر است و نیازی به بررسی اطراف نقطه ندارد. |
۵. کاربرد عملی: بیشینهسازی مساحت در قالب یک مسئلهٔ بهینهسازی
فرض کنید میخواهیم با استفاده از یک تکه مقوا به طول $20$ سانتیمتر، یک جعبهٔ بدون درب به شکل مکعب مستطیل بسازیم. برای این کار از چهار گوشهٔ مقوا مربعهایی به ضلع x بریده و کنارهها را بالا میزنیم. تابع حجم جعبه برابر است با:
$V(x)=x(20-2x)^2 = 4x^3 - 80x^2 + 400x$
بازهٔ ممکن برای x برابر $(0,10)$ است (چون نمیتوانیم بیش از نصف طول مقوا ببریم). برای یافتن ماکزیمم حجم، مشتق میگیریم:
$V'(x)=12x^2 - 160x + 400$ ← حل معادله $12x^2-160x+400=0$ ← تقسیم بر $4$: $3x^2-40x+100=0$ → $x=\frac{40 \pm \sqrt{1600-1200}}{6} = \frac{40 \pm 20}{6}$ → $x=10$ یا $x=\frac{10}{3} \approx 3.33$. نقطهٔ $x=10$ در بازه نیست (چون مقوا کاملاً بریده میشود و حجم صفر میشود). با آزمون دوم مشتق: $V''(x)=24x-160$ و $V''(10/3)=80-160=-80 \lt 0$ پس ماکزیمم نسبی در $x=10/3$ داریم. مقدار حجم در این نقطه برابر ماکزیمم مطلق در بازهٔ باز است.
۶. چالشهای مفهومی
پاسخ: بله. اگر تابع در آن نقطه مشتقپذیر نباشد (مثلاً تابع قدرمطلق در $x=0$)، آن نقطه همچنان میتواند ماکزیمم نسبی باشد. به همین دلیل در گام دوم الگوریتم، نقاطی که مشتق ندارند را نیز بررسی میکنیم.
پاسخ: طبق قضیهٔ فرما6، اگر تابعی درون یک بازه دارای ماکزیمم نسبی باشد و در آن نقطه مشتقپذیر باشد، مشتق باید صفر شود. بنابراین نقاط نامزد برای ماکزیمم درون بازه فقط نقاط بحرانی هستند. همچنین مرزهای بازه نیز باید بررسی شوند زیرا ممکن است ماکزیمم مطلق روی مرز رخ دهد بدون آنکه مشتق صفر شود.
پاسخ: اگر تابع در آن نقطه مشتقپذیر باشد، بله. ولی اگر تابع مثلاً $f(x)= -|x|$ را در نظر بگیرید، ماکزیمم آن در $x=0$ با مقدار $0$ رخ میدهد اما مشتق در آن نقطه وجود ندارد (چون از چپ و راست متفاوت است). بنابراین پاسخ مثبت است ولی شرط مشتقپذیری لازم است.
پاورقی
1 قضیهٔ مقدار ماکزیمم (Extreme Value Theorem): اگر تابع f روی بازهٔ بسته [a,b] پیوسته باشد، آنگاه f روی آن بازه دارای یک ماکزیمم مطلق و یک مینیمم مطلق است.
2 تابع پیوسته (Continuous Function): تابعی که در هر نقطه از دامنهی خود، حد چپ و راست با مقدار تابع برابر باشد و پرش ناگهانی نداشته باشد.
3 تابع مشتقپذیر (Differentiable Function): تابعی که مشتق آن در نقطهٔ مورد نظر وجود داشته باشد و تابع در آن نقطه پیوسته باشد.
4 نقطهٔ بحرانی (Critical Point): نقطهای در دامنه که مشتق تابع در آن صفر است یا مشتق وجود ندارد.
5 نقطهٔ عطف (Inflection Point): نقطهای که تابع در آن تغییر تحدب (از محدب به مقعر یا برعکس) میدهد و مشتق اول لزوماً صفر نیست.
6 قضیهٔ فرما (Fermat's Theorem): اگر تابع f در نقطهٔ c دارای ماکزیمم یا مینیمم نسبی باشد و f در c مشتقپذیر باشد، آنگاه $f'(c)=0$.