بیشینه و کمینه

بیشینه و کمینه نسبی و مطلق برای cos(3πx)/x, 0.1≤ x ≤1.1

در آنالیز ریاضی، بیشینه (ماکسیمم)[Maximum] و کمینهٔ (مینیمم)[Minimum] یک تابع (که به طور جمعی به آنها اکسترمم‌ یا کرانگینه های آن تابع گویند) به ترتیب، به بزرگترین مقدار و کوچکترین مقدار تابع (در صورت وجود)، یا در یک بازهٔ خاص (اکسترمم نسبی) و یا در کلّ دامنه (اکسترمم مطلق) گفته می‌شود.

فرما، یکی از اوّلین کسانی بود که روشی کلّی برای پیدا کردن اکسترمم‌ها پیشنهاد کردند.

برای تعیین و حل کردن ماکسیمم و مینیمم یک تابع،باید مشتق را به خوبی بلد باشید،چون اصلی ترین راه تعیین بیشینه و کمینه، روش مشتق و مشتق گیری است

تعریف

اکسترمم مطلق

نقطهٔ بیشینهٔ مطلق $a$ (که با $max(f(x))$ نشان می‌دهند) در یک تابع حقیقی $f$ با دامنهٔ $D$، نقطه‌ای است که $f(a)⩾f(x);\mathrm{\forall }x\in D$.

به شکل مشابه، نقطهٔ کمینهٔ مطلق $b$ (که با $min(f(x))$ نشان می‌دهند) در یک تابع حقیقی $f$ با دامنهٔ $D$، نقطه‌ای است که $f(b)⩽f(x);\mathrm{\forall }x\in D$.

در بیشتر اوقات، صفت «مطلق» برای اکسترمم مطلق ذکر نمی‌شود.

اکسترمم نسبی

نقطهٔ بیشینهٔ نسبی $a$ در یک تابع حقیقی $f$ با دامنهٔ $D$، نقطه‌ای است که $\mathrm{\exists }\epsilon \in {ℝ}_{*}^{+}:(\mathrm{\forall }x\in D,d(a,x)<\epsilon )f(a)⩾f(x)$.

تابع فاصله $d$ در فضای متریک برای اعداد حقیقی به صورت $d(x,y)=|x-y|$ تعریف می‌شود.

به شکل مشابه، نقطهٔ کمینهٔ نسبی $b$ در یک تابع حقیقی $f$ با دامنهٔ $D$، نقطه‌ای است که $\mathrm{\exists }\epsilon \in {ℝ}_{*}^{+}:(\mathrm{\forall }x\in D,d(b,x)<\epsilon )f(b)⩽f(x)$.

اکسترمم اکید

مفهوم اکید را می‌توان برای هر دو اکسترمم مطلق و نسبی تعریف کرد. به عنوان مثال:

نقطهٔ بیشینهٔ مطلق اکید $a$ در یک تابع حقیقی $f$ با دامنهٔ $D$، نقطه‌ای است که $f(a)>f(x);\mathrm{\forall }x\in D,x\ne a$.

نقطهٔ بیشینهٔ نسبی اکید $a$ در یک تابع حقیقی $f$ با دامنهٔ $D$، نقطه‌ای است که $\mathrm{\exists }\epsilon \in {ℝ}_{*}^{+}:(\mathrm{\forall }x\in D,x\ne a,d(a,x)<\epsilon )f(a)>f(x)$.

یافتن اکسترمم‌های تابع

یافتن اکسترمم‌ها هدف بهینه‌سازی است.

قضیهٔ مقدار اکسترمم

• اگر تابع $f$ در بازهٔ $[a,b]$ پیوسته باشد، آن گاه $f$ روی $[a,b]$ دارای حدّاقل یک مقدار بیشینهٔ مطلق و یک مقدار کمینهٔ مطلق است.

همان طور که از صورت قضیهٔ اکسترمم ملاحظه می‌شود شرط کافی برای وجود اکسترمم مطلق، پیوسته بودن تابع در فاصلهٔ $[a,b]$ است؛ ولی با این وجود، این شرط لازم نیست، چون تابعی می‌توان نشان داد که در فاصله‌ای پیوسته نباشد ولی دارای بیشینه و کمینهٔ مطلق باشد. به عبارت دیگر نمی‌توان گفت که چون تابعی در بازه‌ای ناپیوسته است، بیشینه و کمینهٔ مطلق ندارد. اما اگر تابعی در بازهٔ بسته‌ای پیوسته باشد، آن گاه حتماً دارای بیشینه و کمینهٔ مطلق هست.

نقاط بحرانی

یک اکسترمم مطلق در یک بازه (در صورت وجود) یا یکی از اکسترمم‌های نسبی و یا ابتدا و انتهای بازه است.

طبق قضیهٔ فرما، هر اکسترمم نسبی، یک نقطهٔ بحرانی است.

پس با بررسی نقاط بحرانی و ابتدا و انتهای بازه و پیدا کردن بیشترین و کمترینشان می‌توان اکسترمم‌ها را پیدا کرد.

جستارهای وابسته

• مشتق

منابع

• الگو:یادکرد