Точки экстремума функции

Достаточное условие экстремума функции одной переменной

Пусть дважды дифференцируемая по , принадлежащему множеству . Если в точке выполняется условие:

= 0
> 0

то точка является точкой локального (глобального) минимума функции.

Если в точке выполняется условие:

= 0
< 0

то точка — локальный (глобальный) максимум.

Пример №1. Найти наибольшее и наименьшее значения функции: на отрезке .
Решение.

Критическая точка одна x1 = 2 (f’(x)=0). Эта точка принадлежит отрезку . (Точка не является критической, так как 0∉).
Вычисляем значения функции на концах отрезка и в критической точке.
f(1)=9, f(2)=5/2, f(3)=3 8/81
Ответ: fmin=5/2 при x=2; fmax=9 при x=1

Пример №2. С помощью производных высших порядков найти экстремум функции .
Решение.
Находим производную функции: . Найдем критические точки: 1-cos(x)=2, cos(x)=½, x=±π/3+2πk, k∈Z. Находим y’’=2sin(x), вычисляем , значит x=π/3+2πk, k∈Z – точки минимума функции; , значит x=-π/3+2πk, k∈Z – точки максимума функции.

Пример №3. Исследовать на экстремум фцнкцию в окрестностях точки x=0.
Решение. Здесь необходимо найти экстремумы функции. Если экстремум , то выяснить его тип (минимум или максимум).

Если среди найденных точек нет x = 0, то вычислить значение функции f(x=0).
Следует обратить внимание, что когда производная с каждой стороны от данной точки не меняет своего знака, не исчерпываются возможные ситуации даже для дифференцируемых функций: может случиться, что для сколь угодно малой окрестности по одну из сторон от точки x0 или по обе стороны производная меняет знак. В этих точках приходится применять другие методы для исследования функций на экстремум.

Высшая математика » Функции нескольких переменных » Экстремум функции двух переменных

Алгоритм исследования функции $z=f(x,y)$ на экстремум

  1. Найти частные производные $\frac{\partial z}{\partial x}$ и $\frac{\partial z}{\partial y}$. Составить и решить систему уравнений $ \left \{ \begin{aligned} & \frac{\partial z}{\partial x}=0;\\ & \frac{\partial z}{\partial y}=0. \end{aligned} \right.$. Точки, координаты которых удовлетворяют указанной системе, называют стационарными.
  2. Найти $\frac{\partial^2z}{\partial x^2}$, $\frac{\partial^2z}{\partial x\partial y}$, $\frac{\partial^2z}{\partial y^2}$ и вычислить значение $\Delta=\frac{\partial^2z}{\partial x^2}\cdot \frac{\partial^2z}{\partial y^2}-\left(\frac{\partial^2z}{\partial x\partial y} \right)^2$ в каждой стационарной точке. После этого использовать следующую схему:
    1. Если $\Delta > 0$ и $\frac{\partial^2z}{\partial x^2} > 0$ (или $\frac{\partial^2z}{\partial y^2} > 0$), то в исследуемая точка есть точкой минимума.
    2. Если $\Delta > 0$ и $\frac{\partial^2z}{\partial x^2} < 0$ (или $\frac{\partial^2z}{\partial y^2} < 0$), то в исследуемая точка есть точкой максимума.
    3. Если $\Delta < 0$, то в расматриваемой стационарной точке экстремума нет.
    4. Если $\Delta = 0$, то ничего определённого про наличие экстремума сказать нельзя; требуется дополнительное исследование.

Примечание (желательное для более полного понимания текста): показать\скрыть

Если $\Delta > 0$, то $\frac{\partial^2z}{\partial x^2}\cdot \frac{\partial^2z}{\partial y^2}-\left(\frac{\partial^2z}{\partial x\partial y} \right)^2 > 0$. А отсюда следует, что $\frac{\partial^2z}{\partial x^2}\cdot \frac{\partial^2z}{\partial y^2} > \left(\frac{\partial^2z}{\partial x\partial y} \right)^2 ≥ 0$. Т.е. $\frac{\partial^2z}{\partial x^2}\cdot \frac{\partial^2z}{\partial y^2} > 0$. Если произведение неких величин больше нуля, то эти величины одного знака. Т.е., например, если $\frac{\partial^2z}{\partial x^2} > 0$, то и $\frac{\partial^2z}{\partial y^2} > 0$. Короче говоря, если $\Delta > 0$ то знаки $\frac{\partial^2z}{\partial x^2}$ и $\frac{\partial^2z}{\partial y^2}$ совпадают.

Пример №1

Исследовать на экстремум функцию $z=4x^2-6xy-34x+5y^2+42y+7$.

Решение

Будем следовать указанному выше алгоритму. Для начала найдём частные производные первого порядка:

$$ \frac{\partial z}{\partial x}=8x-6y-34; \frac{\partial z}{\partial y}=-6x+10y+42. $$

Составим систему уравнений $ \left \{ \begin{aligned} & \frac{\partial z}{\partial x}=0;\\ & \frac{\partial z}{\partial y}=0. \end{aligned} \right.$:

$$ \left \{ \begin{aligned} & 8x-6y-34=0;\\ & -6x+10y+42=0. \end{aligned} \right. $$

Сократим каждое уравнение этой системы на $2$ и перенесём числа в правые части уравнений:

$$ \left \{ \begin{aligned} & 4x-3y=17;\\ & -3x+5y=-21. \end{aligned} \right. $$

Мы получили систему линейных алгебраических уравнений. Мне в этой ситуации кажется наиболее удобным применение метода Крамера для решения полученной системы.

$$ \begin{aligned} & \Delta=\left| \begin{array} {cc} 4 & -3\\ -3 & 5 \end{array}\right|=4\cdot 5-(-3)\cdot (-3)=20-9=11;\\ & \Delta_x=\left| \begin{array} {cc} 17 & -3\\ -21 & 5 \end{array}\right|=17\cdot 5-(-3)\cdot (-21)=85-63=22;\\ & \Delta_y=\left| \begin{array} {cc} 4 & 17\\ -3 & -21 \end{array}\right|=4\cdot (-21)-17\cdot (-3)=-84+51=-33.\end{aligned} \\ x=\frac{\Delta_{x}}{\Delta}=\frac{22}{11}=2; \; y=\frac{\Delta_{y}}{\Delta}=\frac{-33}{11}=-3. $$

Значения $x=2$, $y=-3$ – это координаты стационарной точки $(2;-3)$. Теперь приступим ко второму шагу алгоритма. Найдём частные производные второго порядка:

$$ \frac{\partial^2 z}{\partial x^2}=8; \frac{\partial^2 z}{\partial y^2}=10; \frac{\partial^2 z}{\partial x \partial y}=-6. $$

Вычислим значение $\Delta$:

$$ \Delta=\frac{\partial^2z}{\partial x^2}\cdot \frac{\partial^2z}{\partial y^2}-\left(\frac{\partial^2z}{\partial x\partial y} \right)^2= 8\cdot 10-(-6)^2=80-36=44. $$

Так как $\Delta > 0$ и $\frac{\partial^2 z}{\partial x^2} > 0$, то согласно алгоритму точка $(2;-3)$ есть точкой минимума функции $z$. Минимум функции $z$ найдём, подставив в заданную функцию координаты точки $(2;-3)$:

$$ z_{min}=z(2;-3)=4\cdot 2^2-6\cdot 2 \cdot (-3)-34\cdot 2+5\cdot (-3)^2+42\cdot (-3)+7=-90. $$

Ответ: $(2;-3)$ – точка минимума; $z_{min}=-90$.

Пример №2

Исследовать на экстремум функцию $z=x^3+3xy^2-15x-12y+1$.

Решение

Будем следовать указанному выше алгоритму. Для начала найдём частные производные первого порядка:

$$ \frac{\partial z}{\partial x}=3x^2+3y^2-15; \frac{\partial z}{\partial y}=6xy-12. $$

Составим систему уравнений $ \left \{ \begin{aligned} & \frac{\partial z}{\partial x}=0;\\ & \frac{\partial z}{\partial y}=0. \end{aligned} \right.$:

$$ \left \{ \begin{aligned} & 3x^2+3y^2-15=0;\\ & 6xy-12=0. \end{aligned} \right. $$

Сократим первое уравнение на 3, а второе – на 6.

$$ \left \{ \begin{aligned} & x^2+y^2-5=0;\\ & xy-2=0. \end{aligned} \right.

Если $x=0$, то второе уравнение приведёт нас к противоречию: $0\cdot y-2=0$, $-2=0$. Отсюда вывод: $x\neq 0$. Тогда из второго уравнения имеем: $xy=2$, $y=\frac{2}{x}$. Подставляя $y=\frac{2}{x}$ в первое уравнение, будем иметь:

$$ x^2+\left(\frac{2}{x} \right)^2-5=0;\\ x^2+\frac{4}{x^2}-5=0;\\ x^4-5x^2+4=0. $$

Получили биквадратное уравнение. Делаем замену $t=x^2$ (при этом имеем в виду, что $t > 0$):

$$ t^2-5t+4=0;\\ \begin{aligned} & D=(-5)^2-4\cdot 1 \cdot 4=9;\\ & t_1=\frac{-(-5)-\sqrt{9}}{2}=\frac{5-3}{2}=1;\\ & t_2=\frac{-(-5)+\sqrt{9}}{2}=\frac{5+3}{2}=4.\end{aligned} $$

Если $t=1$, то $x^2=1$. Отсюда имеем два значения $x$: $x_1=1$, $x_2=-1$. Если $t=4$, то $x^2=4$, т.е. $x_3=2$, $x_4=-2$. Вспоминая, что $y=\frac{2}{x}$, получим:

\begin{aligned} & y_1=\frac{2}{x_1}=\frac{2}{1}=2;\\ & y_2=\frac{2}{x_2}=\frac{2}{-1}=-2;\\ & y_3=\frac{2}{x_3}=\frac{2}{2}=1;\\ & y_4=\frac{2}{x_4}=\frac{2}{-2}=-1. \end{aligned}

Итак, у нас есть четыре стационарные точки: $M_1(1;2)$, $M_2(-1;-2)$, $M_3(2;1)$, $M_4(-2;-1)$. На этом первый шаг алгоритма закончен.

Теперь приступим ко второму шагу алгоритма. Найдём частные производные второго порядка:

$$ \frac{\partial^2 z}{\partial x^2}=6x; \frac{\partial^2 z}{\partial y^2}=6x; \frac{\partial^2 z}{\partial x \partial y}=6y. $$

Найдём $\Delta$:

$$ \Delta=\frac{\partial^2z}{\partial x^2}\cdot \frac{\partial^2z}{\partial y^2}-\left(\frac{\partial^2z}{\partial x\partial y} \right)^2= 6x\cdot 6x-(6y)^2=36x^2-36y^2=36(x^2-y^2). $$

Теперь будем вычислять значение $\Delta$ в каждой из найденных ранее стационарных точек. Начнём с точки $M_1(1;2)$. В этой точке имеем: $\Delta(M_1)=36(1^2-2^2)=-108$. Так как $\Delta(M_1) < 0$, то согласно алгоритму в точке $M_1$ экстремума нет.

Исследуем точку $M_2(-1;-2)$. В этой точке имеем: $\Delta(M_2)=36((-1)^2-(-2)^2)=-108$. Так как $\Delta(M_2) < 0$, то согласно алгоритму в точке $M_2$ экстремума нет.

Исследуем точку $M_3(2;1)$. В этой точке получим:

$$ \Delta(M_3)=36(2^2-1^2)=108;\;\; \left.\frac{\partial^2 z}{\partial x^2}\right|_{M_3}=6\cdot 2=12. $$

Так как $\Delta(M_3) > 0$ и $\left.\frac{\partial^2 z}{\partial x^2}\right|_{M_3} > 0$, то согласно алгоритму $M_3(2;1)$ есть точкой минимума функции $z$. Минимум функции $z$ найдём, подставив в заданную функцию координаты точки $M_3$:

$$ z_{min}=z(2;1)=2^3+3\cdot 2\cdot 1^2-15\cdot 2-12\cdot 1+1=-27. $$

Осталось исследовать точку $M_4(-2;-1)$. В этой точке получим:

$$ \Delta(M_4)=36((-2)^2-(-1)^2)=108;\;\; \left.\frac{\partial^2 z}{\partial x^2}\right|_{M_4}=6\cdot (-2)=-12. $$

Так как $\Delta(M_4) > 0$ и $\left.\frac{\partial^2 z}{\partial x^2}\right|_{M_4} < 0$, то согласно алгоритму $M_4(-2;-1)$ есть точкой максимума функции $z$. Максимум функции $z$ найдём, подставив в заданную функцию координаты точки $M_4$:

$$ z_{max}=z(-2;-1)=(-2)^3+3\cdot (-2)\cdot (-1)^2-15\cdot (-2)-12\cdot (-1)+1=29. $$

Исследование на экстремум завершено. Осталось лишь записать ответ.

Ответ:

  • $(2;1)$ – точка минимума, $z_{min}=-27$;
  • $(-2;-1)$ – точка максимума, $z_{max}=29$.

Примечание

Вычислять значение $\Delta$ в общем случае нет необходимости, потому что нас интересует лишь знак, а не конкретное значение данного параметра. Например, для рассмотренного выше примера №2 в точке $M_3(2;1)$ имеем $\Delta=36\cdot(2^2-1^2)$. Здесь очевидно, что $\Delta > 0$ (так как оба сомножителя $36$ и $(2^2-1^2)$ положительны) и можно не находить конкретное значение $\Delta$. Правда, для типовых расчётов это замечание бесполезно, – там требуют довести вычисления до числа 🙂

Пример №3

Исследовать на экстремум функцию $z=x^4+y^4-2x^2+4xy-2y^2+3$.

Решение

Будем следовать алгоритму. Для начала найдём частные производные первого порядка:

$$ \frac{\partial z}{\partial x}=4x^3-4x+4y; \frac{\partial z}{\partial y}=4y^3+4x-4y. $$

Составим систему уравнений $ \left \{ \begin{aligned} & \frac{\partial z}{\partial x}=0;\\ & \frac{\partial z}{\partial y}=0. \end{aligned} \right.$:

$$ \left \{ \begin{aligned} & 4x^3-4x+4y=0;\\ & 4y^3+4x-4y=0. \end{aligned} \right. $$

Сократим оба уравнения на $4$:

$$ \left \{ \begin{aligned} & x^3-x+y=0;\\ & y^3+x-y=0. \end{aligned} \right. $$

Добавим к второму уравнению первое и выразим $y$ через $x$:

$$ y^3+x-y+(x^3-x+y)=0;\\ y^3+x^3=0; y^3=-x^3; y=-x. $$

Подставляя $y=-x$ в первое уравнение системы, будем иметь:

$$ x^3-x-x=0;\\ x^3-2x=0;\\ x(x^2-2)=0. $$

Из полученного уравнения имеем: $x=0$ или $x^2-2=0$. Из уравнения $x^2-2=0$ следует, что $x=-\sqrt{2}$ или $x=\sqrt{2}$. Итак, найдены три значения $x$, а именно: $x_1=0$, $x_2=-\sqrt{2}$, $x_3=\sqrt{2}$. Так как $y=-x$, то $y_1=-x_1=0$, $y_2=-x_2=\sqrt{2}$, $y_3=-x_3=-\sqrt{2}$.

Первый шаг решения окончен. Мы получили три стационарные точки: $M_1(0;0)$, $M_2(-\sqrt{2},\sqrt{2})$, $M_3(\sqrt{2},-\sqrt{2})$.

Теперь приступим ко второму шагу алгоритма. Найдём частные производные второго порядка:

$$ \frac{\partial^2 z}{\partial x^2}=12x^2-4; \frac{\partial^2 z}{\partial y^2}=12y^2-4; \frac{\partial^2 z}{\partial x \partial y}=4. $$

Найдём $\Delta$:

$$ \Delta=\frac{\partial^2z}{\partial x^2}\cdot \frac{\partial^2z}{\partial y^2}-\left(\frac{\partial^2z}{\partial x\partial y} \right)^2= (12x^2-4)(12y^2-4)-4^2=\\ =4(3x^2-1)\cdot 4(3y^2-1)-16=16(3x^2-1)(3y^2-1)-16=16\cdot((3x^2-1)(3y^2-1)-1). $$

Теперь будем вычислять значение $\Delta$ в каждой из найденных ранее стационарных точек. Начнём с точки $M_1(0;0)$. В этой точке имеем: $\Delta(M_1)=16\cdot((3\cdot 0^2-1)(3\cdot 0^2-1)-1)=16\cdot 0=0$. Так как $\Delta(M_1) = 0$, то согласно алгоритму требуется дополнительное исследование, ибо ничего определённого про наличие экстремума в рассматриваемой точке сказать нельзя. Оставим покамест эту точку в покое и перейдём в иным точкам.

Исследуем точку $M_2(-\sqrt{2},\sqrt{2})$. В этой точке получим:

\begin{aligned} & \Delta(M_2)=16\cdot((3\cdot (-\sqrt{2})^2-1)(3\cdot (\sqrt{2})^2-1)-1)=16\cdot 24=384;\\ & \left.\frac{\partial^2 z}{\partial x^2}\right|_{M_2}=12\cdot (-\sqrt{2})^2-4=24-4=20. \end{aligned}

Так как $\Delta(M_2) > 0$ и $\left.\frac{\partial^2 z}{\partial x^2}\right|_{M_2} > 0$, то согласно алгоритму $M_2(-\sqrt{2},\sqrt{2})$ есть точкой минимума функции $z$. Минимум функции $z$ найдём, подставив в заданную функцию координаты точки $M_2$:

$$ z_{min}=z(-\sqrt{2},\sqrt{2})=(-\sqrt{2})^4+(\sqrt{2})^4-2(-\sqrt{2})^2+4\cdot (-\sqrt{2})\sqrt{2}-2(\sqrt{2})^2+3=-5. $$

Аналогично предыдущему пункту исследуем точку $M_3(\sqrt{2},-\sqrt{2})$. В этой точке получим:

\begin{aligned} & \Delta(M_3)=16\cdot((3\cdot (\sqrt{2})^2-1)(3\cdot (-\sqrt{2})^2-1)-1)=16\cdot 24=384;\\ & \left.\frac{\partial^2 z}{\partial x^2}\right|_{M_3}=12\cdot (\sqrt{2})^2-4=24-4=20. \end{aligned}

Так как $\Delta(M_3) > 0$ и $\left.\frac{\partial^2 z}{\partial x^2}\right|_{M_3} > 0$, то согласно алгоритму $M_3(\sqrt{2},-\sqrt{2})$ есть точкой минимума функции $z$. Минимум функции $z$ найдём, подставив в заданную функцию координаты точки $M_3$:

$$ z_{min}=z(\sqrt{2},-\sqrt{2})=(\sqrt{2})^4+(-\sqrt{2})^4-2(\sqrt{2})^2+4\cdot \sqrt{2}(-\sqrt{2})-2(-\sqrt{2})^2+3=-5. $$

Настал черёд вернуться к точке $M_1(0;0)$, в которой $\Delta(M_1) = 0$. Согласно алгоритму требуется дополнительное исследование. Под этой уклончивой фразой подразумевается «делайте, что хотите» :). Общего способа разрешения таких ситуаций нет, – и это понятно. Если бы такой способ был, то он давно бы вошёл во все учебники. А покамест приходится искать особый подход к каждой точке, в которой $\Delta = 0$. Ну что же, поисследуем поведение функции в окрестности точки $M_1(0;0)$. Сразу отметим, что $z(M_1)=z(0;0)=3$. Предположим, что $M_1(0;0)$ – точка минимума. Тогда для любой точки $M$ из некоторой окрестности точки $M_1(0;0)$ получим $z(M) > z(M_1) $, т.е. $z(M) > 3$. А вдруг любая окрестность содержит точки, в которых $z(M) < 3$? Тогда в точке $M_1$ уж точно не будет минимума.

Рассмотрим точки, у которых $y=0$, т.е. точки вида $(x,0)$. В этих точках функция $z$ будет принимать такие значения:

$$ z(x,0)=x^4+0^4-2x^2+4x\cdot 0-2\cdot 0^2+3=x^4-2x^2+3=x^2(x^2-2)+3. $$

В всех достаточно малых окрестностях $M_1(0;0)$ имеем $x^2-2 < 0$, посему $x^2(x^2-2) < 0$, откуда следует $x^2(x^2-2)+3 < 3$. Вывод: любая окрестность точки $M_1(0;0)$ содержит точки, в которых $z < 3$, посему точка $M_1(0;0)$ не может быть точкой минимума.

Но, может быть, точка $M_1(0;0)$ – точка максимума? Если это так, то для любой точки $M$ из некоторой окрестности точки $M_1(0;0)$ получим $z(M) < z(M_1) $, т.е. $z(M) < 3$. А вдруг любая окрестность содержит точки, в которых $z(M) > 3$? Тогда в точке $M_1$ точно не будет максимума.

Рассмотрим точки, у которых $y=x$, т.е. точки вида $(x,x)$. В этих точках функция $z$ будет принимать такие значения:

$$ z(x,x)=x^4+x^4-2x^2+4x\cdot x-2\cdot x^2+3=2x^4+3. $$

Так как в любой окрестности точки $M_1(0;0)$ имеем $2x^4 > 0$, то $2x^4+3 > 3$. Вывод: любая окрестность точки $M_1(0;0)$ содержит точки, в которых $z > 3$, посему точка $M_1(0;0)$ не может быть точкой максимума.

Точка $M_1(0;0)$ не является ни точкой максимума, ни точкой минимума. Вывод: $M_1$ вообще не является точкой экстремума.

Ответ: $(-\sqrt{2},\sqrt{2})$, $(\sqrt{2},-\sqrt{2})$ – точки минимума функции $z$. В обеих точках $z_{min}=-5$.

Онлайн-занятия по высшей математике

Добавить комментарий

Закрыть меню