اکسترمم مطلق در نقطهٔ ناپیوستگی یا مشتق‌ناپذیری

اکسترمم مطلق در نقطهٔ ناپیوستگی یا مشتق‌ناپذیری

تفاوت اکسترمم نسبی و مطلق

اکسترمم نسبی (نسبی) به بیشترین یا کمترین مقدار یک تابع در یک همسایگی کوچک گفته می‌شود. اما اکسترمم مطلق به مقادیر سراسری بر روی کل دامنه تعریف اشاره دارد. برای توضیح بهتر، جدول زیر تفاوت‌های کلیدی را نشان می‌دهد:

نکته مهم: یک تابع ممکن است در نقطه‌ای اکسترمم مطلق داشته باشد اما در آن نقطه نه پیوسته باشد و نه مشتق‌پذیر. این موضوع برخلاف تصور بسیاری از دانش‌آموزان دبیرستانی است که گمان می‌کنند اکسترمم مطلق فقط در نقاطی رخ می‌دهد که مشتق برابر صفر است.

نقاط ناپیوستگی و اکسترمم مطلق

تابع در نقطهٔ ناپیوستگی می‌تواند به مقدار ماکزیمم یا مینیمم سراسری برسد. برای نمونه، تابع پله را در بازهٔ $[0,2] در نظر بگیرید:

در این تابع، مقدار $5 در تمام نقاط بازهٔ $[0,1] به دست می‌آید. به ویژه در نقطهٔ $x=1، تابع مقدار $5 را دارد اما در همسایگی راست آن (نقاط بزرگتر از $1) مقدار تابع به $2 می‌پرد. نقطهٔ $x=1 محل ناپیوستگی تابع است (پرش ناپیوستگی)، با این حال تابع در همین نقطه به ماکزیمم مطلق خود یعنی $5 رسیده است.

مثال ملموس دیگر: فرض کنید نمرهٔ یک آزمون را بر اساس نمرهٔ خام به صورت زیر تعریف می‌کنیم: اگر نمرهٔ خام کمتر از $10 باشد، نمرهٔ نهایی $0، و اگر نمرهٔ خام بین $10 تا $20 باشد، نمرهٔ نهایی معادل نمرهٔ خام است. این تابع در نقطهٔ $x=10 ناپیوستگی دارد (از چپ حد $0 و مقدار تابع $10 است). با این حال، اگر دامنه را بازهٔ $[0,20] در نظر بگیریم، مینیمم مطلق در نقطهٔ $x=10 رخ نمی‌دهد، اما ماکزیمم مطلق ممکن است در نقطهٔ ناپیوستهٔ دیگری باشد.

نقاط مشتق‌ناپذیر و رسیدن به اکسترمم مطلق

یکی از شناخته‌شده‌ترین توابع مشتق‌ناپذیر که در نقطهٔ راس خود به مینیمم مطلق می‌رسد، تابع قدر مطلق است. تابع $f(x) = |x| در نقطهٔ $x=0 مشتق‌پذیر نیست (چون مشتق چپ و راست برابر نیستند)، اما به وضوح مینیمم مطلق آن در همین نقطه برابر صفر است.

به طور مشابه، تابع $f(x) = \sqrt[3]{x^2} که در $x=0 مشتق بی‌نهایت دارد (مشتق‌ناپذیر به معنای معمول)، در همین نقطه به مینیمم مطلق خود می‌رسد. همچنین تابع جزء صحیح²$f(x) = \lfloor x \rfloor در بازهٔ بسته مانند $[0,2) در نقاط صحیح ناپیوسته است و در هر پله، اکسترمم‌های نسبی دارد اما اکسترمم مطلق آن در ابتدای بازه رخ می‌دهد.

کاربرد عملی: بهینه‌سازی در مسائل گسسته و هزینه‌های ثابت

در دنیای واقعی، بسیاری از مسائل بهینه‌سازی با توابع ناپیوسته یا مشتق‌ناپذیر سروکار دارند. فرض کنید هزینهٔ تولید یک کارخانه به صورت زیر تعریف شده است:

تابع هزینه در نقطهٔ $x=50 ناپیوسته است (چون حد چپ برابر $100+250=350 و مقدار تابع از چپ $350 و از راست $200+150=350 است - در اینجا اتفاقاً پیوسته است، اما اگر مقادیر متفاوت باشند ناپیوستگی ایجاد می‌شود). برای ایجاد ناپیوستگی، فرض کنید تابع به صورت زیر اصلاح شود:

در این حالت، حد راست در $x \to 50^+ برابر $180+150=330 و مقدار تابع در خود نقطه از چپ برابر $350 است. بنابراین تابع در نقطهٔ $x=50 ناپیوسته است و مقدار $350 را دارد. اگر به دنبال کمینهٔ مطلق هزینه بر روی دامنهٔ $[0,100] باشیم، باید نقاط مرزی و نقطهٔ ناپیوستگی را بررسی کنیم. در این مثال، هزینه در $x=50 برابر $350 و در $x=100 برابر $180+300=480 و در $x=0 برابر $100 است. مینیمم مطلق در $x=0 رخ می‌دهد، اما اگر دامنه از $x=20 شروع شود، ممکن است نقطهٔ ناپیوستگی کاندیدای مینیمم باشد.

چالش‌های مفهومی

نقاط کاندید برای اکسترمم مطلق

بر اساس آنچه گفته شد، نقاط زیر باید برای یافتن اکسترمم مطلق بررسی شوند:

پاورقی

¹ اکسترمم مطلق (Absolute Extremum): بزرگترین (ماکزیمم مطلق) یا کوچکترین (مینیمم مطلق) مقدار یک تابع در کل دامنهٔ تعریف آن.

² تابع جزء صحیح (Floor Function): تابعی که هر عدد حقیقی را به بزرگترین عدد صحیح کوچکتر یا مساوی آن عدد نگاشت می‌کند و با نماد $\lfloor x \rfloor$ نشان داده می‌شود.

³ قضیهٔ وایرشتراس (Extreme Value Theorem): اگر تابعی روی یک بازهٔ بسته و کراندار پیوسته باشد، آنگاه به ماکزیمم و مینیمم مطلق می‌رسد.