Максимум в математике и анализе¶

Максимум — наибольшее значение величины в рассматриваемой области: функции на заданном множестве, набора чисел, физической или экономической характеристики. В математике термин применяется к функциям, последовательностям, множествам и оптимизационным задачам; в прикладных дисциплинах — к любым измеримым показателям, у которых существует верхняя граница.

¶Определение

Для функции \(f(x)\), заданной на множестве \(D\), точка \(x_0 \in D\) называется точкой максимума, если для всех \(x \in D\) выполняется неравенство \(f(x) \le f(x_0)\). Значение \(f(x_0)\) при этом называют максимумом функции на \(D\). Различают:

• глобальный (абсолютный) максимум — наибольшее значение на всём множестве определения;
• локальный максимум — наибольшее значение в некоторой окрестности точки;
• строгий максимум — когда неравенство выполняется строго (\(f(x) < f(x_0)\) для всех \(x \ne x_0\)).

Для числового множества максимум — наибольший его элемент; он существует не всегда (например, у открытого интервала \((0;1)\) наибольшего элемента нет, хотя верхняя грань равна 1).

¶Условия существования

Гарантию существования глобального максимума даёт теорема Вейерштрасса: непрерывная функция на замкнутом ограниченном множестве (компакте) обязательно достигает и максимума, и минимума. Если множество не замкнуто или не ограничено, максимум может не достигаться, даже если верхняя грань конечна.

Существуют также теоремы о достижении максимума для полунепрерывных сверху функций и в бесконечномерных пространствах, где условия формулируются через компактность в слабой топологии.

¶Необходимые и достаточные условия

В классическом анализе для дифференцируемой функции внутренняя точка максимума является стационарной: первая производная обращается в нуль (\(f'(x_0) = 0\)). Это необходимое, но не достаточное условие — стационарная точка может оказаться точкой минимума или точкой перегиба.

Достаточные признаки:

• смена знака производной с «плюс» на «минус» при переходе через точку;
• отрицательность второй производной: \(f''(x_0) < 0\);
• для функций многих переменных — отрицательная определённость матрицы Гессе (гессиана) в стационарной точке.

Максимум может достигаться и на границе области, и в точках недифференцируемости (например, у функции \(y = -|x|\) максимум в нуле, где производная не существует).

¶Максимум и экстремум

Экстремум — общее название для максимума и минимума. Точка максимума всегда является точкой экстремума, но не наоборот: экстремум может быть минимумом. Локальный максимум не обязан быть глобальным, а функция может иметь несколько локальных максимумов с разными значениями.

¶Задачи оптимизации

Поиск максимума — центральная задача математического программирования. Формулировка включает целевую функцию и ограничения; требуется найти точку, в которой целевая функция максимальна. Методы решения:

• аналитические (приравнивание производных к нулю, метод множителей Лагранжа при ограничениях-равенствах, условия Каруша — Куна — Таккера);
• численные (градиентный подъём, метод Ньютона, симплекс-метод для линейных задач);
• дискретные (перебор, динамическое программирование, метод ветвей и границ).

¶Применение

Понятие максимума используется в физике (максимум интенсивности, амплитуды, КПД), экономике (максимизация прибыли и полезности), технике (оптимальные режимы работы), статистике (метод максимального правдоподобия), теории игр (максиминные стратегии). В инженерных расчётах отыскание максимума нагрузки определяет требования к прочности конструкций.

¶Максимум в школьном курсе

В российской школьной программе тема изучается в курсе алгебры и начал анализа: исследуются функции на наибольшее и наименьшее значение на отрезке, применяются производная и её знаки. Типовые задачи — нахождение наибольшего значения функции на заданном промежутке, задачи на оптимизацию с прикладным содержанием.

¶Обозначения и терминология

В записи используют символы \(\max\) и \(\max\limits_{x \in D}\). Для верхней грани, которая может не достигаться, применяют \(\sup\). В дискретной математике и информатике термин «максимум» часто означает наибольший элемент массива или кортежа, а соответствующая задача — поиск максимума за линейное время.

Источники: учебники по математическому анализу, справочники по высшей математике, материалы по методам оптимизации.