30 Экстремумы функций многих переменных. Условные экстремумы и множители Лагранжа.
Ошибка.
Попробуйте повторить позже
Исследовать на экстремум функцию
Заметим, что наша функция всюду дифференцируема сколько угодно раз. Таким образом, все её
критические точки будут точками, в которых все её частные производные равны нулю.
1. Сначала найдём кандидатов на экстремум, то есть такие точки, в которых обе частные производные
функции равны 0. То есть, надо решить систему:
В данном случае получается система
Первое уравнение преобразуется в , и в силу того, что экспонента никогда не
равна 0, получается уравнение .
Из второго уравнения, опять же, в силу того, что экспонента никогда не равна нулю, следует, что
. Тогда из того, что , получаем, что . Таким образом, единственная
подозрительная точка на экстремум - это .
2. Проверим эту точку по достаточному условию экстремума. Составим гессиан в точке (матрицу
вторых частных производных в точке )
В нашем случае получается такая матрица:
Таким образом, поскольку и , по критерию Сильвестра гессиан в точке положительно определен, следовательно, - точка локального минимума.
Ошибка.
Попробуйте повторить позже
Исследовать на экстремум функцию
Заметим, что наша функция представляет из себя многочлен от двух переменных, то есть она всюду
дифференцируема сколько угодно раз. Таким образом, все её критические точки будут точками, в
которых все её частные производные равны нулю.
1. Сначала найдём кандидатов на экстремум, то есть такие точки, в которых обе частные производные
функции равны 0. То есть, надо решить систему:
В данном случае получается система
Решением которой, очевидно, является единственная подозрительная точка .
2. Проверим эту точку по достаточному условию экстремума. Составим гессиан в точке (матрицу
вторых частных производных в точке )
В нашем случае получается такая матрица:
И поскольку , то неприменим критерий Сильвестра.
Однако понятно, что форма
не будет знакопеременной, и поэтому так задаром получить, что эта точка не является экстремумом
не получится. Таким образом, требуется дополнительное непосредственное исследование поведения
нашей функции в окрестности точки .
Мы утверждаем, что точка - не будет локальным экстремумом.
Действительно, если двигаться к ней вдоль траекторий , , то , т.е.
функция будет больше нуля.
А если же вдоль траекторий , , то . Таким образом, в любой
окрестности точки есть как точки, в которых больше нуля, так и точки, где она
меньше нуля. А при этом , т.е. в самой точке функция равна нулю.
Значит не может быть ни локальным минимумом, ни локальным максимумом.
Ошибка.
Попробуйте повторить позже
Исследовать на экстремум функцию
Заметим, что наша функция представляет из себя многочлен от двух переменных, то есть она всюду
дифференцируема сколько угодно раз. Таким образом, все её критические точки будут точками, в
которых все её частные производные равны нулю.
1. Сначала найдём кандидатов на экстремум, то есть такие точки, в которых обе частные производные
функции равны 0. То есть, надо решить систему:
В данном случае получается система
Из второго уравнения с учётом того, что получается, что , то есть
равен либо 0, либо 1, а тогда из того, что , получаем, что . Таким образом,
имеем двух кандидатов на экстремум: и .
2. Проверим эти точки по достаточному условию экстремума. Составим гессианы:
В нашем случае получаются такие матрицы:
То что они в обеих точках получились одинаковые - это лишь совпадение, конечно, могли получиться и разные матрицы. Но хотя гессианы и в точке и в точке получились одинаковые - радоваться тут мало чему, ведь это не сокращает нам работы а только добавляет. Действительно, , а значит ни в случае , ни в случае не применим критерий Сильвестра. Более того, видно, что форма, задаваемая матрицей не будет знакопеременной. Действительно, если выписать эту форму явно, то это будет вот такая форма от двух переменных:
То есть эта форма незнакопеременна (она не умеет принимать на разных векторах значения разных
знаков). Но при этом она и не положительно определена, потому что даже на ненулевых направлениях
(когда ) она будет равна нулю. А поэтому в окрестности и требуется
непосредственное исследование поведения функции.
3. Непосредственное исследование для точки . . Однако если стремиться к
точке вдоль луча , где , то . Если же стремиться к точке
по направлению , то и при получим, что
. Таким образом, в произвольной сколь угодно малой окрестности точки есть как
точки, в которых больше нуля, как и точки, где меньше нуля. В то время как в самой точке
значение функции равно нулю. Следовательно, точка не является локальным
экстремумом.
4. Непосредственное исследование для точки . . Но нетрудно видеть, что
в любой другой точке, отличной от функция строго больше - ведь имеет вид суммы
четных степеней из которой вычетается единица. Ясно, что в любой точке, в которой сумма
четных степеней не равна нулю, будет строго больше . Но
только в точке . Таким образом, - локальный минимум функции
.
Ошибка.
Попробуйте повторить позже
Доказать следующую теорему:
Многомерное необходимое условие локального экстремума.
Пусть функция имеет в точке все частные производные. Тогда, если -
локальный экстремум функции , то обязательно все её частные производные в этой
точке равны 0. То есть
Проведем доказательство того, что обязательно должно быть . По остальным переменным
доказательство будет аналогичным.
Пусть точка имеет координаты
Рассмотрим вспомогательную функцию . То есть мы фиксировали все
переменные, кроме первой, в точке у функции , и тогда получилась функция одного переменного
.
Ясно, что раз имела экстремум в точке , то будет иметь экстремум в точке .
Но по одномерной лемме Ферма для получаем, что .
Далее, поскольку , то имеем и .
Для частных производных по остальным переменным проверяется аналогично.
Ошибка.
Попробуйте повторить позже
Исследовать на экстремум функцию
Исследовать на экстремум функцию
Решение.
Поскольку перед нами рациональная функция, знаменатель которой никогда не обращается в ноль,
то она будет всюду сколько угодно раз дифференцируема, и следовательно, ее критические точки будут
только точками, в которых все ее частные производные равны нулю.
1. Поиск критических точек (=кандидатов на экстремум).
Необходимо решить систему
Она принимает вид
Решениями этой системы является точка и все точки вида , то есть две
гиперболы.
Таким образом, множество всех критических точек представляют из себя следующую картинку:
2. Попробуем применить достаточное условие. Посчитаем гессиан в общем виде:
Посмотрим, что происходит с этим гессианом на первой гиперболе :
(в последнем равенстве мы воспользовались тем, что ).
Таким образом, эта форма (давайте, чтобы не путаться, распишем её в координатах ) имеет
вид
(опять мы пользуемся тем, что ).
К сожалению, у нас не получилось, чтобы эта форма была знакопеременна.
Она конечно и не знакопостоянна, поскольку
Поэтому на этой гиперболе (нетрудно убедиться, что и на другой гиперболе тоже) исследование
через гессиан ничего не дает - поскольку критерий Сильвестра ничего не дал, а проверив всё руками
мы видим, что у нас не получается знакопеременной формы (иначе бы мы сразу поняли, что на
гиперболе нет экстремумов).
Поэтому на гиперболе требуется непосредственное исследование поведения функции в окрестности
каждой точки гиперболы.
Итак, в каждой точке гиперболы имеем
В то же самое время, в произвольной окреостности точки гиперболы получим
Поэтому всюду на гиперболе функция испытывает локальный максимум.
Наоборот, в каждой точке гиперболы имеет , и аналогично показывается, что в
любой окрестности любой точки этой второй гиперболы . Поэтому каждая точка гиперболы
является локальным минимумом.
Осталась для исследования только точка .
Видим, что
А это, очевидно, матрица знакопеременной формы, поскольку форма
конечно знакопеременна - при она больше нуля, а при она меньше
нуля.
Следовательно, - не экстремум. (заметим, что тут критерий Сильвестра неприменим, но мы сами
поняли, что форма знакопеременна).
Ошибка.
Попробуйте повторить позже
Исследовать функцию на условные экстремумы с условием
1. Составим функцию Лагранжа:
Далее, необходимое условие того, что точка является условным локальным экстремумом функции :
Таким образом, получаем следующую систему уравнений:
Получаем 2 кандидата на условный локальный экстремум:
2. Проверим достаточное условие экстремума.
Гессиан функции Лагранжа в точке имеет вид:
Подставим в гессиан первого кандидата :
Его главные миноры .
Мы не попали ни в случай положительной определенности, ни в случай отрицательной определенности.
Значит, требуется дополнительное исследование с учетом условий связи.
Итак, выпишем явно второй дифференциал функции Лагранжа в точке :
Наше уравнение связи:
Продифференцируем его:
То есть . А в точке получается
то есть
Подставим это соотношение во второй дифференциал:
Получается, что в этой точке с учетом уравнения связи второй дифференциал функции Лагранжа
отрицательно определен. Следовательно, точка - точка условного локального максимума
функции .
Проверим теперь второго кандидата - точку .
Подставим её в гессиан функции Лагранжа:
Его главные миноры
Мы не попали ни в случай положительной определенности, ни в случай отрицательной
определенности.
Значит, требуется дополнительное исследование с учетом условий связи.
Итак, выпишем явно второй дифференциал функции Лагранжа в точке :
Наше уравнение связи:
Продифференцируем его:
То есть . А в точке получается
то есть
Подставим это соотношение во второй дифференциал:
Получается, что в этой точке с учетом уравнения связи второй дифференциал функции Лагранжа
положительно определен. Следовательно, точка - точка условного локального минимума
функции .
Ошибка.
Попробуйте повторить позже
Исследовать функцию на условные экстремумы с условиями . Считать, что исследование проводится в области .
1. Составим функцию Лагранжа:
Далее, необходимое условие того, что точка является условным локальным экстремумом функции :
Таким образом, получаем следующую систему уравнений:
Поскольку мы исследуем лишь при положительных , единственным решением
системы при таких ограничениях будет набор .
Выясним теперь по достаточному условию, является ли точка условным локальным
экстремумом функции .
В этой точке гессиан функции Лагранжа равен
Его главные миноры
Дальше проверять не имеет смысла, потому что уже второй главный минор получился вырожден, и
критерий Сильвестра неприменим.
Выпишем явно второй дифференциал функции Лагранжа в точке с учетом условий
связи.
У нас два условия связи:
Дифференцируя их, получим:
В точке получаем
Следовательно, .
Получаем в итоге:
И видно, что с учетом уравнений связи второй дифференциал функции Лагранжа отрицательно определен. Следовательно, точка - точка локального максимума функции .
Ошибка.
Попробуйте повторить позже
Исследовать функцию на условные экстремумы с условием
1. Составим функцию Лагранжа:
Далее, необходимое условие того, что точка является условным локальным экстремумом функции :
Таким образом, получаем следующую систему уравнений:
Если не рассматривать случаи, когда (а их нет смысла рассматривать, потому что
тогда функция Лагранжа превращается в саму функцию и мы исследуем просто саму
функцию без учета уравнений связи, что нам сейчас не интересно. Но при желании и такое
исследование можно провести), то мы получаем одно единственное решение данной системы - набор
Выясним, является ли точка условным локальным экстремумом функции .
Вычислим гессиан в общем виде:
В этой точке гессиан функции Лагранжа равен
Первый же главный минор равен нулю, поэтому критерий Сильвестра неприменим.
Второй дифференциал функции Лагранжа в этой точке будет равен
С учетом уравнения связи , то есть получим и поэтому
Какая же у нас получилась квадратичная форма с учетом уравнения связи? Она имеет матрицу
И видно, и поэтому второй дифференциал функции Лагранжа в точке с учетом уравнения связи отрицательно определен по критерию Сильвестра. Следовательно, точка - точка условного локального максимума функции .