Применение поверхностей первого и второго порядков в задачах на экстремум функций
Общая постановка задачи поиска экстремума функций приведена здесь. Рассмотрим задачу поиска безусловного экстремума функций двух переменных.
Аналитический метод поиска локального безусловного экстремума
Пусть задана дважды непрерывно дифференцируемая функция двух переменных.
Точка называется точкой локального минимума, если существует такая окрестность этой точки, для всех точек которой выполняется условие
Если знак неравенства заменить на знак , то получится определение локального максимума. Точки локального минимума или максимума называются точками локального экстремума функции.
Требуется найти точки локального экстремума функции .
Порядок решения поставленной задачи содержит два этапа.
На первом этапе при помощи необходимых условий экстремума первого порядка:
 (4.74)
находятся стационарные точки , "подозрительные" на наличие локального экстремума (частные производные первого порядка в точке равны нулю).
На втором этапе проверяются достаточные условия экстремума, а если они не выполняются, то и необходимые условия второго порядка. Они следуют из формулы Тейлора для приращения функции в точке (учитывая члены до второго порядка включительно):
где
а члены с производными первого порядка отсутствуют, так как точка удовлетворяет (4.74).
Равенство ![\Delta f=\frac{1}{2}\Bigl[a_{11}\cdot\Delta x_1^2+2\cdot a_{12}\cdot\Delta x_1\Delta x_2+a_{22}\cdot\Delta x_2^2\Bigr]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAbMAAAAqCAMAAAAOLUWKAAAANlBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADAR2LVAAAAEXRSTlMAIC6g20EQAYHAZpFA8FHBsMTnTgUAAAZHSURBVHja7VuJjusqDA2bAZON///Zh8kGDVnaNKNX3VgaoZk6YM6xjXE6VfXIPybg2APCLwkzovHqweG3OFPu4eznxGScaZIHlJvkW+BmnGnRdZ17wL1H0AbRX+dMolL8Qfemk0gp5W/g7CHs3uz4cPZw9nD2cPbIz3HGanhIigIzEv9zztAZiQ9fORKvnHFYXeEOp1MovTD8GmdQl6IsTIX+L3qZjH1L6QsBVfpjgsQLZ8yLXJdLeXQ91iYKXuPMlNpf3GNV+3p/ea6+kCqk/JbSd5PWQgyGn7bEmfC5V4PE5t3s+RFn0Hhb/qTdjzMurfTm6qGH3uN3lK6H2Q4SvMAZa7o80NDz7l07P+LMBG8p95ntS5xDm2dPqLTwV1tlUnh5Sumc/6oLSfQYiZwzYVQeaCJ8rP+AM5AgfF/cwisdKvVCjd6Ep/3FMw9t8G48VNLNyUAzn7/miEjYMpmlupE1UNks0GT3wfXhA86MCdm6BDzi68mfcRaSP/1qr70L0lKFiQ5i6JTSdc4CM9tIFHKjCD6bBBqYYGNA81POmLMmz2TbOZxRTE/eonrbgrDhURR17eqdOAMka2WJM5qFnXIfmnIJNI1WMN737ECp52ulDc6+gEQbkDD1irMQluEP1k8sgULv5g49qET4Cc54g/pkBRPDfnYvFMC95M5r1vggsBNn8WUSKx1GruG6b8QZJ7MqRuwYQwK1k5bJPFXr7oTSBmcRCf8BEu2AhMmRSDkbQkr5BpbTYlmcmUTwmDOIePkhuY4cpxHDIHeu2b2gI6udJiIKr0/VOtn3zexDbCmyFO0lGgrxY9Zmy6cz6qFei5tFQ9S0ONQ19UqpnZTQtyoqqVWvJucsQQLaqDsOayS0zJCQdFYLTY6SIJFwFsOMHGoOtMpt+cYMpHaJ8JQzQZUpp7mYkTaSbn169VqOBhTjHSS6F6sJ8XZ9vYfoLkLGIck0uFBmpgoSGprekA11eIJINK21sBTES21jVXI0xpqPSq8YVtIfKoFoTTNT20bjrIgDnwo5TpsjJPraBGNhGOarV/MeEgln08m1BJrujo5crUUiKWfROaoYqACGNgpQ++QmvFg6Oleax50v3LhYmTO1bD9AKqYwI04srcEqSzuTGHwW5z7AUmqpTk8XIzUZZKdupz9SCgdbMFzucJYg4YJuSKcme4S9i8TC2RhmaaDptPwu50a9lRt5XFUM05sBg4SzNCPgfOJOeVwvHQeAaj83chuewYk2NZPXLvYPnDm6YS3TvIZZjCE9ojhlmtnibSUMHm78Tm5MkDCSJqhwGHaQYAkSevKfdY/YGD3KHGg8vY68V4PomBXprtBDmbM0h1OqppXjjZ5bxShKVPhpnaz3OeMdhAd7tWoAUVb0CHbijLZQul6FCBqXjzEU4gZiTMSsMVm8pTQeB8Juc5YgEWkYyxZrzyDRAo1KlHvE4QCwk/jJhbauPbtf/RlzY+PIuUwEbZczbOaFJZVGzrcmGABd2CJnfp8zkGT2ujpVwXSQvkZMOHOlKtIu+6aukQ4OawPhvE8t7veUQl3Id+JsRMJFJKp6iIe6YUdIsKEUGpAYesQv9zP0qTT7JciZ+5mSrmuFtPyIM5mtbKpWCoGNsYOBB5yZ4al1re+ks0r2HSycYYkylq0eVnN9h8KKDhKLt5R6mHrue3UjIYFuQCJm8jCh5SeQUCMSaqNHrHMZXfBk68eYwvszzfT0+sI0e7nxdWVglFFGuw44y+zNq0w2n1oDZzVlmKPlx+MFWH6e7SmBYK/zvtzPFiRAAOnSYN5FYqNHnLfX2LnuGliHfdIiK/SuxgO3zNm+rDhj7dtzRM64rWt8t6lzxuK+reuXw6lmW1AFXTENb2+j2CPONDw2p15xmKEscpuc8ZCdab1xuMjZBw3ghvJSbCS8yfcZi+OhYs/NJ0hXDEP/QSfygDON0p5q1mlL4Zhckb/7HZ7rnN0rf/Yt96Vbvh1np41xw1XI/5uc/ZVguUf8satVt8UZGt+bhzB6TVbuEV8R4S9+H+SRoxxc6hFfmZAnb0ofzu6m7yucQWOqh7Of4gyoE6Yfzn6Js9i8vKnWf+QWzoRQqm5Tzp7/zb21FrnOmRtamnbJjecbA4+8K7Epfp2zLgqWytJH7qv5/wN9kk/Kbq5QmwAAAABJRU5ErkJggg==) (4.75)
можно рассматривать как уравнение поверхности второго порядка относительно неизвестных . Уравнение (4.75) можно записать в матричной форме
 (4.76)
где — матрица квадратичной формы, называемая матрицей Гессе.
Она составлена из частных производных второго порядка, вычисленных в стационарной точке 
Как показано в разд.4.4.1, при помощи поворота системы координат вокруг оси можно квадратичную форму в правой части (4.76) привести к каноническому виду
![\Delta f=\frac{1}{2}\Bigl[\lambda_1\cdot(\Delta x'_1)^2+\lambda_2\cdot(\Delta x'_2)^2\Bigr],](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATkAAAAqBAMAAAA6+jFDAAAAMFBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAlTPQ5AAAAD3RSTlMAAX48wF8QIa2g4PDQklHYczaNAAAFjklEQVRYw9WYW2gcVRiA/5nZmdnJZd1tWpBNIMPYqjSFjNmg1tumuVStwq7WPKhIBxuibANdoiBaZGNEpC92KVoordqE0gcxTdNIAnloUxIK3mixeaioNOiTYCnJpsaml/X8Z2Z2z8zupptA1vXAzA5nz5zz/dfznwH4P7emMmYTtyyUM93OcqYDzqILBEq7bMC/Arqa9na9lHQz7dtWQCe2hYxS0oVCcyuh6yu1ZVdGV2p/X0M6+fLHqwd7cn98bek8xi+rdlOpxTu5tnRhNTG7WjrhjpBaWzreSERXbdn7XXSSncs4dw6Ury5pRmG6rjgKyxiRPPqS+LDlrpaVcBzHZFGJXJ34oDgtqyxaD79OudWsaVrcpnvGnZClKdOMmQ7vKXI7iO+1uYa+/aGbrgdnE69nO3bgBKjyJwwHXeKGZZDBebdhLWVSuj1jbgNSNUWy3ZVEaoiRZbu64y4jTLjpUAioWMpYS0IIaZxItr3bQXc4bc4V/KRQIqB0/HVXb4Ia9qusSGEUnd8G0iHBigrR/utLl+IFKtNLwxn/9KXw/jPA+8ZOlk4eiyTN1VRYjk7+x9V7mWaPzpu2j3Gv4pOUgqrpHRbMevuvcNL57r3U7aZ2Ddgd1cdMgaXp9hMsnaKGTce7NrssHVxwmos7jffHAsMZofbT7h+hV9PASQfBEeeM9biW0BLM2KOKzhJUZU1TWbqY4aGO93vkoL4sXaNTtzK1RQfswoXfbeVbYdSMLSbyM3TVTrfgwiipR+fR8YRP1Y3qXmoBb597J9NAoI4X+j5Ef2h7OA/d3nNO1/kbEQcA5Zefjg2GQ5O0vzEfneByCzqo2S+dJY7X3H2rM7XVDLQRF51EzBxBrXDH6bQvatjuy0NXtZjJjXhfhzMoURCJ/N543UAkbqklHx0MGyD8YercpuNI3mkkjneeu+UZN0etm3PR8YQsjBEk3bbr4IBVCl/9DZtq0x29DcIRal0F45THGd7zA0cCT4T65Dt25Nr+8bqmbdYsF1TIoE2vXKQpCF1uI1qUlJh7iHtE5XnZcmnRTRcjBvfgajXujAF/HsZm0ynbJ/yyJ0tH5fyMXDTwMiHF5aOTvk1MSqNm1ogQY3JI5yED+QXyIKYyecVNh28LmBV4c0xByx41SNIy6ahlUXcygtHAu2LYRsvQESus50wr9JzzLMpngMq/27ZsM7mks2S0giy7DdseDJ10IuAPBNDxvHNW1Zw/KpRxuJa06eyoUF4gXrBhyf+m+p2/DnpbC0SF9IMhEr/xLTqi4iN0ocYWub+2Re7z/TSE9mCiQibW4L9pJ22YOF5di1U1Y/Pn0B3RIXiKpcOMksCXn09Hw5cW4At4q7VARukZB2nCzmmmc8ZBXsCXL6T4+XCfolfoqHNvS5aulmi6Ik0bcaR6laHLyXfiHbqXMXTcINmgzLePxWYenyH/IB33LOTQNZCFr+jUSa1WOwuK+e6CPNQ21AGV6j0qZuMsnee0DYM44TxbRS8toKjuMKoeYengQSu+iaY5nXsITDoplUv3BjpCnI8+la2LktmVa6AG1Y01YUJn/I75SiL1N+SecH0dDWec1SdLl8gp4pCOn2SVzmwP8HLoUtYtxnIPsdaVodvEZP4brbmqi+nyzThLJz53PLvbVav56IKFtkMhnc5GBfTn7JaHiIpGGTqJ2Zqk6Yu5dXt4BA6oBWtjbiof3efFFehdbiG2kjTlVRm6DewILs8U+ybNrb9Q5W7k0vmSRZ4qXVMKbU0qvMaeZ+96wCfEB6LFn3qavn5g1YedynRaX+lpG2RaW5fgWwDnyGJF0nlHy/hLBWzWy5hOPA/+8qX7y/CpZUsnnAw9ivub+EFpv98Fivp+ty9txrnoCPe1b5F0MXTNpMT5L75q2xXcv5SIkqJcFt3LAAAAAElFTkSuQmCC) (4.77)
где — собственные значения матрицы Гессе .
В зависимости от знаков собственных значений возможны следующие случаи:
1) если собственные значения одного знака, то поверхность (4.77) представляет собой эллиптический параболоид: выпуклый при (рис.4.58,а), или вогнутый при (рис.4.58,б);
2) если собственные значения имеют разные знаки, то поверхность (4.77) представляет собой гиперболический параболоид (рис.4.58,в при );
3) если одно из собственных значений равно нулю (например, при ), то поверхность (4.77) представляет собой параболический цилиндр: выпуклый при (рис.4.58,2) или вогнутый при (рис.4.58,д).
В случае эллиптического параболоида стационарная точка является либо точкой локального минимума функции при , либо точкой локального максимума функции при . В случае гиперболического параболоида ( и имеют разные знаки) в стационарной точке нет экстремума. В случае выпуклого параболического цилиндра можно сказать, что точка не может быть точкой максимума, но может быть точкой минимума, в случае вогнутого параболического цилиндра точка не может быть точкой минимума, но может быть точкой максимума. Таким образом, если хотя бы одно собственное значение равно нулю, судить о наличии экстремума в точке нельзя, так как нужны дополнительные исследования, учитывающие в формуле Тейлора члены выше второго порядка.
Алгоритм исследования функции на локальный экстремум
1. Составить и решить систему (4.74) — найти стационарные точки . Если система не имеет решения, то точек локального экстремума нет.
2. Составить матрицу Гессе и найти ее собственные значения и , решая характеристическое уравнение
3. Проверить выполнение следующих условий.
а) Если , то — точка локального минимума.
б) Если , то — точка локального максимума.
в) Если , то может быть точкой локального минимума (требуется дополнительное исследование).
г) Если , то может быть точкой локального максимума (требуется дополнительное исследование).
д) Если и разных знаков , то не является точкой локального экстремума.
Пример 4.25. Найти экстремумы функции .
Решение.. Решая систему уравнений
находим стационарные точки и .
Составляем матрицу Гессе .
В стационарной точке матрица Гессе . Найдем собственные значения матрицы Гессе. Характеристическое уравнение
имеет корни разных знаков. Следовательно, точка не является точкой экстремума (см. п.3,"д" алгоритма).
В стационарной точке матрица Гессе . Характеристическое уравнение
имеет два положительных корня . Следовательно, точка является точкой минимума (см. п.3,"а" алгоритма).
Применение графических методов поиска экстремума функции
Рассмотрим постановку задачи поиска условного экстремума функции трех переменных. Пусть заданы:
а) функция трех переменных ; б) множество допустимых решений .
Требуется найти такую точку из множества допустимых решений, которой соответствует минимальное значение функции на этом множестве:
Алгоритм графического метода поиска условного (или безусловного экстремума) функции аналогичен алгоритму, рассмотренному ранее для функции двух переменных. Однако его применение на практике ограничивается возможностями изображения пространственных фигур. Как правило, используется плоское изображение пространственных фигур, т.е. проекции этих фигур на плоскость, что не дает полного представления о взаимном их расположении.
Ниже рассматриваются задачи, в которых минимизируемая функция и функции, задающие ограничения, являются многочленами трех переменных первой или второй степени. Построение множества допустимых решений и поверхностей уровня функции сводится к построению алгебраических поверхностей первого или второго порядков. В этих задачах применение графического метода упрощается.
Напомним, что поверхностью уровня функции называется геометрическое место точек пространства, в которых функция принимает постоянное значение, т.е. .
Если функция является многочленом первой степени, то ее поверхности уровня при разных значениях постоянной представляют собой семейство параллельных плоскостей (несобственный пучок плоскостей).
Если функция является многочленом второй степени, то ее поверхности уровня при разных значениях постоянной представляют собой поверхности второго порядка. Поскольку уравнения разных поверхностей уровня отличаются только свободными членами, то собственные векторы, собственные значения , а также инварианты остаются постоянными для всех поверхностей уровня . Следовательно, тип поверхности и канонический базис остаются постоянными для всех поверхностей уровня квадратичной функции.
Пример 4.26. Графическим методом найти экстремумы:
Решение.
1) 1. Множество допустимых решений строить не нужно, так как оно совпадает со всем пространством: .
2. Поверхность уровня при представляет собой эллипсоид (рис.4.59,а), при — мнимый конус с единственной вещественной точкой , при — мнимый эллипсоид. При увеличении постоянной полуоси эллипсоида пропорционально увеличиваются. На рис.4.59,а изображены эллипсоиды
 и 
Стрелками указаны направления наискорейшего возрастания функции.
3. Из пункта 2 следует, что допустимые значения функции определяются не равенством .
4. В точке достигается безусловный минимум функции, так как в этой точке функция принимает наименьшее значение по сравнению со значениями в других точках пространства, а наибольшего значения функция не достигает.
2) Решается задача поиска условного экстремума с ограничениями типа равенств и неравенств.
1. Строим множество допустимых решений — часть плоскости в первом октанте, т.е. плоский треугольник с вершинами (рис.4.59,б).
2. Поверхности уровня функции представляют собой семейство параллельных плоскостей, каждая из которых перпендикулярна оси аппликат. На рис.4.59,б изображены три плоскости уровня . При или плоскость не имеет общих точек с треугольником ; при плоскость имеет общие точки с треугольником , в частности, при плоскости принадлежит сторона треугольника, при плоскости принадлежит вершина треугольника.
3. Из пункта 2 следует, что допустимые значения функции определяются неравенством .
4. Наименьшее значение на множестве , равное нулю, функция достигает в любой точке отрезка ; наибольшее значение на множестве , равное единице, функция достигает в точке .
3) Решается задача поиска условного экстремума с ограничением типа равенств.
1. Строим множество допустимых решений — сфера единичного радиуса с центром в начале координат (рис.4.60).
2. Поверхности уровня представляют собой либо однополостный гиперболоид вращения при (например, однополостный гиперболоид (рис.4.60,а)), либо круговой конус при (рис.4.60,б), либо двуполостный гиперболоид вращения при (например, двуполостный гиперболоид (рис.4.60,в)). При поперечные полуоси однополостного гиперболоида больше единицы, и он не имеет общих точек со сферой единичного радиуса. При продольная полуось двуполостного гиперболоида больше единицы, и он не имеет общих точек со сферой . При поверхность уровня имеет общие точки с заданной сферой.
3. Из п.2 следует, что допустимые значения функции определяются неравенством .
4. Наименьшее значение на множестве , равное –1, функция достигает в точках — вершинах двуполостного гиперболоида (рис.4.60,в); наибольшее значение на множестве , равное единице, функция достигает в точках окружности т.е. в точках горлового эллипса (в данном случае окружности) однополостного гиперболоида вращения (рис.4.60,а).
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|