Экстремумы многомерных функций и оптимизация с ограничениями
Введено| English | Значение |
|---|---|
| Hessian/ˈheʃn/ | гессиан |
| Lagrange multiplier/ˈlæɡreɪndʒ ˌmʌltɪˈplaɪə/ | множитель Лагранжа |
Решение перед ответом
- Нулевой градиент может указывать на минимум, максимум или седло. Он также может не классифицировать абсолютно обычный локальный минимум.
- Ваша цель: классифицировать критические точки двух переменных с помощью гессиана.
Прочитайте соотношение
- Для дифференцируемой функции на открытом множестве локальный экстремум во внутренней точке имеет нулевой градиент. Это необходимое, но не достаточное условие. Для двух переменных в критической точке положим D=f_xx f_yy−(f_xy)². Если D>0, то f_xx>0 дает строгий локальный минимум, а f_xx<0 — строгий локальный максимум; при D<0 получается седловая точка. Эти признаки требуют подходящей регулярности вторых производных в окрестности точки.
- Используйте множители Лагранжа с регулярным ограничением.
At a critical point f_xx=2, f_yy=−2 and f_xy=0. What does the second-derivative test give?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
D=2(−2)−0²=−4, so the point is a saddle.
Используйте определяющее правило
- При D=0 признак вторых производных не дает ответа и не является доказательством наличия седловой точки. Функции x⁴+y⁴ и x⁴−y⁴ имеют одинаковый нулевой гессиан в начале координат, однако одна из них имеет строгий минимум, а другая меняет знак. Оценивайте вдоль различных направлений или используйте прямое неравенство. Для квадратичной формы положительная определенность дает более общее истолкование гессиана.
- Сравнивайте экстремумы и достижимые значения при регулярных ограничениях.
What is the maximum of xy subject to x²+y²=2?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
(x−y)²≥0 implies 2xy≤x²+y²=2. Equality occurs at (1,1) and (−1,−1).
Проверьте условия
- На гладком равенстве-ограничении g(x,y)=c с ненулевым градиентом g решите систему gradient f=lambda gradient g совместно с g=c. Эти уравнения порождают кандидаты, но не классифицируют их и не гарантируют глобальный экстремум. Если градиент ограничения обращается в ноль, условие регулярности нарушается, и уравнения с множителем могут пропустить ограниченный экстремум. Рассматривайте такие точки отдельно. Для x²+y²=a и xy=b>0, (x−y)²=a−2b показывает необходимость a≥2b. Это также достаточно: возьмите s=√(a+2b), d=√(a−2b), x=(s+d)/2 и y=(s−d)/2. Эти действительные значения удовлетворяют xy=b и x²+y²=a. Условие минимума само по себе требует этой проверки достижимости для установления разрешимости.
- Сравнивайте экстремумы и достижимые значения при регулярных ограничениях.
Минимизируйте x²+y² при условии x+y=6. Градиент ограничения равен (1,1), поэтому 2x=lambda и 2y=lambda. Отсюда x=y, и ограничение дает x=y=3, со значением 18. Выделение полного квадрата на прямой дает x²+(6−x)²=2(x−3)²+18, что доказывает наличие глобального минимума. На этой неограниченной прямой нет максимума, несмотря на существование кандидата из метода множителей Лагранжа.
The minimum value of x²+y² on x+y=4 is ____.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
The minimising point is (2,2), giving 4+4=8, or complete the square.
Применяйте формат задания
- Непрерывная функция на компактном допустимом множестве достигает глобальных экстремумов. Для их нахождения сравните все кандидаты из внутренней области и все куски границы, включая углы и концы отрезков. Для прямоугольника оптимизируйте ограничения на каждом ребре. Для круга круговая граница может быть параметризована или исследована методом множителей Лагранжа. Решение только задачи без ограничений игнорирует возможных победителей на границе.
- Сравнивайте экстремумы и достижимые значения при регулярных ограничениях.
Решение с использованием множителя Лагранжа является лишь кандидатом, а не автоматически максимумом или минимумом. Проверьте регулярность и полное допустимое множество.
Какой ответ подходит к данному случаю?
Классифицировать критические точки функции двух переменных с помощью матрицы Гессе
D=0 at a critical point proves that point is a saddle.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
The test is inconclusive; x⁴+y⁴ has D=0 at a strict minimum.
Сохраняйте различия
- Гессиан — Матрица вторых частных производных, используемая для изучения локальной кривизны.
- Множитель Лагранжа — Скаляр, связывающий градиенты целевой функции и регулярного ограничения в точке ограниченного экстремума.
- Классифицируйте критические точки двух переменных с помощью гессиана.
- Используйте множители Лагранжа с регулярным ограничением.
- Сравнивайте экстремумы и достижимые значения при регулярных ограничениях.
Match each term with its precise meaning in this lesson.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Keep the distinctions stated in the teaching example.
Put this lesson’s reasoning or event sequence in order.
Difficulty 3/5 · 200 coins + a small bonus on first completion today
The order follows the stated process; check each stage before the next.